Arxiv:2011.01427V2 [Math.AG] 19 Apr 2021 Inlcs.Atrta,J .Dmil,T Eenl N .Schneid M

Home , Fano variety

arXiv:2011.01427v2 [math.AG] 19 Apr 2021 inlcs.Atrta,J .Dmil,T eenl n .Schneid M. and tangent Peternell nef with T. Kähler Demailly, manifolds compact P. t of J. in theorem varieties that, structure such After classified they case. particular, sional In bundle. tangent nef e agn bundle tangent nef eut .CmaaadT eenl [ Peternell T. and a Campana algebro-geometric F. an As result, Kähler curvature. manifold compact bisectional of holomorphic tive classification a gives which conjecture, ojcue rjciesaei h nysot rjcievar [ projective Following smooth only ample. the is is bundle space projective a conjecture: neednl.I eia ae [ paper seminal a In independently. rjciesae twspoe yS oi[ Mori S. by proved was co It Frankel cu bisectional the space. holomorphic with projective positive starts a with story Kähler manifold tangent The compact whose only varieties conditions. projective positivity smooth study certain algebro-geometr to An is problem properties. holomo this analogue, positivity with Kähler higher-dimensional some manifolds compact a having of As curvature structures the disc. ask unit Riemann to open the ral the either or to plain biholomorphic is complex surface Riemann connected ply tm onainGatNme 910adIaoiRsac G Research Inamori and 190170 Number Grant Foundation itomo Theorem h lsia nfriaintermo imn ufcssy tha says surfaces Riemann of theorem uniformization classical The 2010 h uhri atal upre yJP AEH rn Numb Grant KAKENHI JSPS by supported partially is author The oiiiyo h eodetro oe ftetangent the of power exterior second the of Positivity ieasrcuetermo aite ihnef with varieties of theorem structure a give rv that prove lwu fapoetv pc tapitif point a at space projective a of blow-up dim map e or nef xrmlray extremal mohFn variety Fano smooth a Abstract. ahmtc ujc Classification. Subject Mathematics X X ˜ X ≥ → . ([ 1.1 saFn ait.Mroe esuyacnrcino a of contraction a study we Moreover variety. Fano a is .W rv ht pt nt étale cover finite a to up that, prove We 3. Alb( ϕ Let T sasot opimif morphism smooth a is ϕ 15 X X : ˜ X hnteeeit nt étale cover finite a exists there Then . X anTheorem]) Main , salclytiilfirto hs br r smrhcto isomorphic are fibers whose fibration trivial locally a is ) easot ope rjcievreywt nef with variety projective complex smooth a be → Y F npriua,w rv that prove we particular, In . 8 46 38, ihnef with iauWatanabe Kiwamu .Introduction 1. bundles ,N o [ Mok N. ], 38 V 5 2 ,S oipoe h togrHartshorne stronger the proved Mori S. ], 44,1J5 41,14E30. 14M17, 14J45, 14J40, tde mohpoetv aite with varieties projective smooth studied ] . ϕ T 1 F Let so brtp.A osqec,we consequence, a As type. fiber of is sab-rdc,w e that see we bi-product, a As . X ϕ V 36 38 so iainltp.W also We type. birational of is eacmatKalrmnfl with Kähler compact manifold a be 2 T ovdtegnrlzdFrankel generalized the solved ] n .T i-.T a [ Yau T. Siu-S. T. Y. and ] X . X X ˜ rants. sioopi othe to isomorphic is → X f h Albanese the , r1K45,teSum- the 17K14153, er K : eywoetangent whose iety X V X ˜ aou fMok’s of nalogue bundle: ccutratof counterpart ic pi bisectional rphic -negative 2 ihnonnega- with s etredimen- three he udesatisfies bundle → T X rotie a obtained er jcue the njecture: T X vr sim- every t X and pee the sphere, ti natu- is it vtr is rvature is uhthat such 46 ] 2 KIWAMU WATANABE

˜ ˜ the Albanese morphism αX˜ : X → Alb(X) is a locally trivial fibration with fiber F . Moreover F is a smooth Fano variety with nef tangent bundle. By this theorem, the study of compact Kähler manifolds with nef tangent bundle can be reduced to the case of Fano varieties. On the other hand, Campana and Peternell proposed the following conjecture: Conjecture 1.2 (Campana-Peternell Conjecture [5, 11.2]). Any smooth Fano variety with nef tangent bundle is homogeneous. This conjecture is widely open in general. For the recent development of the conjecture, we refer the reader to [24, 40, 48] and references therein. One of the most significant results to approach the Campana-Peternell conjecture is the following result due to Demailly-Peternell-Schneider and L. E. SoláConde-J. A. Wi´sniewski: Theorem 1.3 ([15, Theorem 5.2], [47, Theorem 4.4]). Let X be a smooth projective variety with nef TX and ϕ : X → Y a contraction of a KX -negative extremal ray R of NE(X). Then ϕ is a smooth morphism. Meanwhile, following [5], Campana and Peternell classified smooth projective 2 3-folds with nef TX : 2 Theorem 1.4V ([6]). Let X be a smooth projective 3-fold with nef TX . Then either TX is nef or X is one of the following: V (1) X is the blow-up of P3 at a point, or (2) X is a Fano 3-fold of index 2 and ρX =1 except for those of degree 1. Moreover, in his preprint [50], K. Yasutake classified Fano 4-folds with nef 2 TX and ρX > 1; and he [51] also proved that a smooth Fano variety X with nef 2 T is isomorphic to the blow-up of Pn at a point, provided that X admits V X a birational elementary contraction and dim X ≥ 3. In [45], D. Schmitz classified V 2 smooth toric varieties with nef TX and dim X ≥ 3. Related to these results, following the solution of the Hartshorne conjecture [38], K. Cho and E. Sato [12] V 2 proved that a smooth projective variety X with ample TX is isomorphic to a projective space or a quadric. Recently, D. Li, W. Ou and X. Yang [32, Theorem 1.5] V 2 generalized this result for varieties X with strictly nef TX . The purpose of this paper is to provide a structure theorem of smooth projective 2 V varieties with nef TX , which gives generalizations of some results in [6, 12, 32, 45, 50, 51]. Our first result is an analogue of Theorem 1.1: V 2 Theorem 1.5. Let X be a smooth projective variety with nef TX and n = dim X ≥ 3. Then there exists a finite étale cover f : X˜ → X such that the Albanese ˜ ˜ V morphism αX˜ : X → Alb(X) is a locally trivial fibration whose fibers are isomorphic to a smooth Fano variety F . Moreover one of the following holds:

(1) If dim Alb(X˜) > 0, then the tangent bundle TF is nef. (2) If dim Alb(X˜)=0, then X =∼ X˜ =∼ F and the second exterior power of 2 the tangent bundle TX is nef. Most parts of this theoremV directly follow from the recent result of J. Cao and A. Höring on the structure theorem for varieties with nef anticanonical divisor [8]. The difficulty to prove Theorem 1.5 is to show that F is a Fano variety when POSITIVITY OF THE SECOND EXTERIOR POWER OF THE TANGENT BUNDLES 3 dim Alb(X˜) = 0. This is a consequence of Theorem 1.8 below. As a corollary of Theorem 1.5, we obtain the following: 2 Corollary 1.6. Let X be a smooth projective variety with nef TX and n = dim X ≥ 3. Then TX is nef or X is a Fano variety. V Our second result of this paper is an analogue of Theorem 1.3: 2 Theorem 1.7. Let X be a smooth projective variety with nef TX and n = dim X ≥ 3. Then the following hold: V (1) If X admits a birational contraction of a KX -negative extremal ray, then X is the blow-up of the projective space Pn at a point. (2) If X does not admit a birational contraction of a KX -negative extremal ray, then any contraction of a KX -negative extremal ray ϕ : X → Y is smooth. The first statement of Theorem 1.7 claims that Yasutake’s result [51, Main Theorem 1] holds for not only Fano varieties but also general varieties. Applying Theorem 1.7, we prove the following: 2 Theorem 1.8. Let X be a smooth projective variety with nef TX . If X is a rationally connected variety with n = dim X ≥ 3, then X is a Fano variety whose Kleiman-Mori cone NE(X) is simplicial. V As an application of our main results, we obtain a structure theorem of varieties 2 with nef TX (see Theorem 4.17). Applying the structure theorem, we generalize Schmitz’s result [45, Theorem 4] to any toroidal spherical variety: V Theorem 1.9. Let X be a smooth projective toroidal spherical variety with nef 2 TX and n = dim X ≥ 3. Then X is isomorphic to a rational homogeneous variety or the blow-up of the projective space Pn at a point. V As the second application of the structure theorem, we shall prove that the analogue of Theorem 1.4 holds for varieties of dimension at most six: 2 Theorem 1.10. Let X be a smooth projective n-fold with nef TX . Assume that 4 ≤ n ≤ 6. Then either TX is nef or X is one of the following: V (1) X is the blow-up of Pn at a point, or (2) X is a Fano variety of pseudoindex n − 1 and ρX =1.

2. Preliminaries 2.1. Notation and Conventions. Along this paper, we work over the complex number ﬁeld. We will use the basic notation and deﬁnitions in [18], [27], [29], [30] and [31]. For a projective variety X, we also use the following notation:

• We denote the Picard number of X by ρX . • For a KX -negative extremal ray R of X, we denote the length by ℓ(R). • A curve means a projective variety of dimension 1. • For a smooth projective variety F , an F -bundle means a smooth morphism f : Y → X between smooth projective varieties whose ﬁbers are isomorphic to F . • We use Pn to denote projective n-space and Qn to denote a smooth quadric hypersurface in Pn+1. 4 KIWAMU WATANABE

2.2. Properties of nef vector bundles. Let X be a smooth projective variety and E a vector bundle on X. Then E is nef if the tautological line bundle P OP(E)(1) is nef on (E). We collect properties of nef vector bundles in the following: Proposition 2.1 ([31, Theorem 6.2.12] and [5, Proposition 1.2 (8)] ). Let X be a smooth projective variety and E a vector bundle on X. Then the following hold: (1) If E is nef, then so is any quotient bundle of E. (2) For a surjective morphism f : Y → X, E is nef if and only if f ∗E is nef. (3) If E is nef, then so is any exterior power k E. (4) Let 0 → F → E → G → 0 be an exact sequence of vector bundles. If F and G are nef, then so is E. V (5) Let 0 → F → E → G → 0 be an exact sequence of vector bundles. If E is nef and the ﬁrst Chern class c1(G) is numerically trivial, then F is nef. 2.3. Extremal contractions. We frequently use the following two results: Proposition 2.2 (Ionescu-Wi´sniewski inequality [21, Theorem 0.4], [49, The- orem 1.1] ). Let X be a smooth projective variety and ϕ : X → Y a contraction of a KX -negative extremal ray R and let E be its exceptional locus. Let F be an irreducible component of a (non trivial) ﬁber of ϕ. Then dim E + dim F ≥ dim X + ℓ(R) − 1.

Lemma 2.3. Let X be a smooth projective variety admitting a KX -negative smooth contraction f : X → Y onto a simply connected smooth projective variety Y . We denote by NE(X/Y ) the convex cone in N1(X) generated by classes of curves contracted by f. For a ﬁber F of f, consider the linear map i∗ : N1(F ) → N1(X) induced by the push-forward of 1-cycles deﬁned by the inclusion i : F ֒→ X. Then the following hold:

(1) The linear map i∗ : N1(F ) → N1(X) is injective. (2) i∗(NE(F )) = NE(X/Y ). (3) ρF = ρX − ρY . Proof. See [9, Lemma 3.3] and [9, comments after Remark 3.7]. Remark 2.4. Any smooth projective rationally connected variety is simply connected (see for instance [13, Corollary 4.18 (b)]). Under the setting of Lemma 2.3, assume additionally that X is rationally connected; then so is Y . In particular, Y is simply connected. In this paper, we only use Lemma 2.3 under this setting. 2.4. Families of rational curves. For a smooth Fano variety X, the minimal anticanonical degree of rational curves on X is called the pseudoindex ιX :

ιX := min{−KX · C | C is a rational curve in X}. Theorem 2.5 ([11, 14, 25, 35]). Let X be a smooth Fano variety.

(1) If ιX ≥ dim X +1, then X is isomorphic to a projective space. (2) If ιX = dim X, then X is isomorphic to a smooth quadric. As is well known, a result of Campana [4] and Koll´ar-Miyaoka-Mori [28] say that smooth Fano varieties are rationally connected (see also [27, Chapter V. 2]). Note that, according to [28, Corollary 2.9], given a smooth morphism ϕ : X → Y between smooth projective varieties, if X is a Fano variety, then so is Y . POSITIVITY OF THE SECOND EXTERIOR POWER OF THE TANGENT BUNDLES 5

Let X be a smooth projective variety. A family of rational curves M on X means an irreducible component of RatCurvesn(X). The family M comes equipped with a P1-bundle p : U →M and an evaluation morphism q : U → X. We refer the reader to [27, Section II.2] for a detailed construction. A rational curve parametrized by M is called an M-curve. A rational curve C ⊂ X is free if for 1 ∗ the normalization f : P → C ⊂ X, f TX is nef. For a rational curve C ⊂ X, we denote by [C] ∈ N1(X) the numerical equivalence class of C. By abuse of notation, a point in RatCurvesn(X) which corresponds to C is also denoted by [C] ∈ RatCurvesn(X). Since the family M determines a numerical class, we denote it by [M] ∈ N1(X). The anticanonical degree of the family M means the intersection number deg(−KX ) M := −KX · C for any curve [C] ∈ M. A half line spanned by [M] ∈ N1(X) is denoted by RM. We denote by Locus(M) the union of all M-curves. For a point x ∈ X, the normalization of p(q−1(x)) is denoted by Mx, and by Locus(Mx) the union of all Mx-curves. Definition 2.6. Under the above notation, (1) M is a dominating family (resp. covering family) if the evaluation morphism q : U → X is dominant (resp. surjective); (2) M is a minimal rational component if it contains a free rational curve with minimal anticanonical degree; (3) M is locally unsplit if for a general point x ∈ Locus(M), Mx is proper; (4) M is unsplit if M is proper. A family of rational curves M is locally unsplit if M is a dominating family with minimal degree with respect to some ample line bundle on X. A family of rational curves M is a dominating family if and only if there exists a free M-curve (see for instance [27, IV Theorem 1.9]). Lemma 2.7. Let X be a smooth projective variety and M⊂ RatCurvesn(X) a family of rational curves. If M is not proper, then there exists a rational 1-cycle s Z = i=1 aiZi which satisﬁes the following: P(1) Z is algebraically equivalent to M-curves, where each ai is a positive integer and each Zi is a rational curve; (2) a1 > 1 provided that s =1. s We call this rational 1-cycle Z = i=1 aiZi a degeneration of M-curves. Proof. By construction of RatCurvesP n(X), one has a morphism from M to the Chow scheme of 1-cycles on X: h : M → Chow1(X). The Chow scheme Chow1(X) is projective [27, I. Theorem 3.21.3] and h : M → h(M) is ﬁnite; then M is not closed in Chow1(X), because M is not proper. Thus there exists a 1- cycle Z ∈ M\M. By [27, II, Proposition 2.2], the 1-cycle Z can be written as Z = aiZi, where each ai is a positive integer and each Zi is a rational curve. PropositionP 2.8 ([27, IV Corollary 2.6]). Let X be a smooth projective variety and M a locally unsplit family of rational curves on X. For a general point x ∈ Locus(M),

dim Locus(Mx) ≥ deg(−KX ) M + codimX Locus(M) − 1. Let M be an unsplit covering family of rational curves on X. We say that two points x1, x2 ∈ X are M-equivalent if these two points can be joined by a connected 6 KIWAMU WATANABE chain of M-curves. It is known that there exists a rationally connected fibration with respect to an unsplit family M: Theorem 2.9 ([4, 28] (see also [13, Chapter 5] and [27, IV Theorem 4.16])). There exists a nonempty open subset X0 ⊂ X and a projective morphism π : X0 → Y 0 whose fibers are M-equivalent classes. Definition 2.10 (see for instance [2, 1. Introduction]). Let X be a smooth projective variety and M its unsplit covering family of rational curves. A morphism π : X → Y onto a normal projective variety is called a geometric quotient for M if every fiber of π is an M-equivalence class. Theorem 2.11 ([15, Theorem 5.2], [47, Theorem 4.4], [23, Theorem 2.2, 2.3]). Let X be a smooth projective variety and M its unsplit covering family of rational curves. If any M-curve is free, then there exists a geometric quotient for M. Moreover the quotient is a smooth morphism.

2 3. Properties of varieties with nef TX 3.1. Basic properties. In this subsection, we collectV basic results on varieties 2 with nef TX . Although Lemmata 3.1, 3.2 and 3.5 were contained in some papers such as [6, 50, 51], we give proofs for reader’s convenience. V 2 Lemma 3.1. Let X be a smooth projective variety with nef TX . Then −KX is nef. V 2 1−n Proof. This follows from det TX = ωX , where n = dim X. V Lemma 3.2 ([6, Lemma 1.3], [50, Lemma 2.9]). Let X be an n-dimensional 2 smooth projective variety with nef TX and n = dim X ≥ 3. If C is a non-free rational curve, then −KX · C ≥ n − 1. V Proof. Denoting by f : P1 → X the normalization of C, there exists integers ai such that n ∗ f TX =∼ OP1 (ai) (a1 ≥ a2 ≥ ... ≥ an). i=1 M By the assumption C is not free, an is negative. Since we have the natural inclusion ∗ 2 TP1 → f TX , we have a1 ≥ 2. Meanwhile, the nefness of TX implies that an−1 + an ≥ 0. Hence an−1 ≥−an > 0. As a consequence, we have V n −KX · C = ai = a1 + (a2 + ... + an−2) + (an−1 + an) ≥ 2 + (n − 3)+0= n − 1. i=1 X

2 Proposition 3.3. Let X be a smooth projective variety with nef TX . As- sume that ϕ : X → Y is a smooth morphism with irreducible ﬁbers. Then the following hold: V 2 (1) If dim Y ≥ 2, then TY is nef. (2) If dim Y ≥ 1, then any ﬁber F of ϕ admits nef TF . V POSITIVITY OF THE SECOND EXTERIOR POWER OF THE TANGENT BUNDLES 7

Proof. We have an exact sequence ∗ (1) 0 → TX/Y → TX → ϕ TY → 0. Applying [18, Chapter II, Exercise 5.16 (d)], we obtain the following exact sequences: 2 ∗ (2) 0 → TX/Y → E → TX/Y ⊗ ϕ TY → 0 ^ 2 2 ∗ (3) 0 → E → TX → ϕ TY → 0 ! ^ ^ 2 ∗ 2 for some vector bundle E on X. Since TX is nef, so is ϕ ( TY ) by Proposi- tion 2.1 (1). Thus the ﬁrst assertion follows from Proposition 2.1 (2). Restricting the above exact sequences (2) and (3) toV the ﬁber F , one hasV the following exact sequences: 2 ⊕ dim Y (4) 0 → TF → E|F → TF → 0 ^ 2 2 ∗ (5) 0 → E|F → TX |F → ϕ TY |F → 0. ! ! ^ ^ ∗ 2 If dim Y = 1, then ϕ TY |F = 0; thus it follows from the exact sequence dim Y ∼ 2 ∗ 2 ∼ ⊕( 2 ) (5) that E|F = (TX ) |VF is nef. If dim Y > 1, then ϕ TY |F = OF : thus it follows fromV the exact sequence (5) and PropositionV 2.1 (5) that E|F is nef. As a consequence, in any case E|F is nef. Then the exact sequence (4) and Proposition 2.1 (1) concludes that TF is nef. Corollary 3.4. Let X be a product of positive-dimensional smooth projective 2 varieties Y and Z. If TX is nef, then so is TX .

Proof. ApplyingV Proposition 3.3 (2) to projections p1 : X → Y and p2 : X → ∗ ∗ Z, the tangent bundles TY and TZ are nef. Hence TX = p1TY ⊕ p2TZ is also nef. Lemma 3.5 (A special case of [50, Theorem 1.1]). Let X be a smooth projective 2 variety with nef TX . Assume that ωX =∼ OX . Then there exists a finite étale cover f : X˜ → X such that X˜ is an Abelian variety. V Proof. By Yau’s Theorem [52, Theorem 1], X admits a Kähler-Einstein met- ric. Then the result of Kobayashi [26, Section 5.8] and Lübke [34] shows that the tangent bundle TX is H-semistable (in the sense of Mumford-Takemoto) with re- 2 spect to any ample divisor H on X. On the other hand, since TX is numerically flat, the second Chern class V 2 n − 1 c ( T )= c2(X) + (n − 2)c (X) 2 X 2 1 2 ^ n−2 is numerically trivial. This yields that c2(X) · H = 0. Applying [41, IV, Theorem 4.1], TX is nef. Thus our assertion follows from [15]. 8 KIWAMU WATANABE

3.2. Families of minimal sections. We often use the following notation: Definition 3.6. Let X be a smooth projective variety and ϕ : X → Y a KX -negative contraction. Given a rational curve ℓ ⊂ Y with normalization f : 1 1 P → ℓ ⊂ Y , let Xℓ be the ﬁber product P ×Y X, and we denote by ϕℓ the ﬁrst 1 1 projection P ×Y X → P : i / Xℓ / X

ϕℓ ϕ f P1 / Y Since general fibers of ϕ are smooth Fano varieties, these are rationally connected. Then the theorem of Graber-Harris-Starr [17, Theorem 1.1] yields that ϕℓ admits a section ℓ˜⊂ Xℓ. A section ℓ˜ is a minimal section of ϕℓ if the anticanonical degree deg ℓ˜ is minimal among sections of ϕ . We denote by ℓ˜ the image of ℓ˜ by (−KXℓ ) ℓ X i : Xℓ → X. Whereas a rational curve C ⊂ X is called a birational section of ϕ over ℓ if ϕ(C) = ℓ and ϕ|C : C → ℓ is birational. In the above notation, ℓ˜X , which is the image of a minimal section of ϕℓ by i, is a birational section of ϕ over ℓ. Moreover a birational section C of ϕ over ℓ is minimal if deg(−KX ) C is minimal among birational sections of ϕ over ℓ. Note that a minimal birational section of ϕ over ℓ exists if the anticanonical degree of sections are bounded from below. In particular, 2 if TX is nef, then by Lemma 3.1 −KX is nef; thus a minimal birational section of ϕ over ℓ exists. V 2 Proposition 3.7. Let X be a smooth projective variety with nef TX and 1 n = dim X ≥ 3. If X admits a KX -negative contraction onto P , then X is a 1 V product of P and a variety Z. In this case, TX is nef. Proof. By [6, Theorem], we may assume that n ≥ 4. Let ϕ : X → P1 be a KX -negative contraction. We take a minimal section ℓ˜⊂ X of ϕ as in Definition 3.6 1 (In this case, Xℓ = X if we put P = ℓ). Let us take a family of rational curves M ⊂ RatCurvesn(X) containing [ℓ˜]; then we claim that the family M is unsplit. If M were not unsplit, by Lemma 2.7 we may find a rational 1-cycle Z = aiZi as a degeneration of M-curves, where each ai is a positive integer and each Zi is P a rational curve. Then there exists a section of ϕ among Zi’s. This contradicts to the minimality of ℓ˜. Thus M is unsplit. For a general point x ∈ Locus(M), it follows from [27, II Corollary 4.21] 1 that the restriction of ϕ to Locus(Mx) is a finite morphism onto P . This implies that dim Locus(Mx) = 1. Meanwhile, it follows from Proposition 2.8 that dim Locus(Mx) ≥ deg(−KX ) M− 1. If there exists a non-free M-curve, then by Lemma 3.2, we have

1 = dimLocus(Mx) ≥ deg(−KX ) M− 1 ≥ n − 2. This contradicts to our assumption n ≥ 4. Thus any M-curve is free. As a consequence, M is an unsplit covering family such that any M-curve is free. Applying Theorem 2.11, there exists a geometric quotient ψ : X → Z for M and it is a smooth morphism. Since any M-curve is a section of ϕ : X → P1, we see that ϕ × ψ : X → P1 × Z is bijective; then by Zariski’s main theorem, we see that ϕ × ψ : X → P1 × Z is an isomorphism. The remaining part follows from Corol- lary 3.4. POSITIVITY OF THE SECOND EXTERIOR POWER OF THE TANGENT BUNDLES 9

4. Proof of Theorem 1.5 and 1.7 2 4.1. Weaker structure theorem of varieties with nef TX . We begin with recalling the result of Cao and H¨oring on the structure theorem for varieties with nef anticanonical divisor: V

Theorem 4.1 ([8]). Let X be a smooth projective variety with nef −KX . Then there exists a finite étale cover f : X˜ → X such that X˜ =∼ Y × Z where ωY =∼ OY and the Albanese morphism αZ : Z → Alb(Z) is a locally trivial fibration such that the fiber F is rationally connected. By using this theorem, we shall prove a weaker version of Theorem 1.5:

2 Proposition 4.2. Let X be a smooth projective variety with nef TX and n = dim X ≥ 3. Then there exists a finite étale cover f : X˜ → X such that the ˜ ˜ V Albanese morphism αX˜ : X → Alb(X) is a locally trivial fibration with fiber F . Moreover one of the following hold: (1) If dim Alb(X˜) > 0, then F is a smooth Fano variety with nef tangent bundle. (2) If dim Alb(X˜)=0, then X =∼ X˜ =∼ F is a smooth rationally connected 2 variety with nef TX . Remark 4.3. In PropositionV 4.2 (2), we do not claim that F is a Fano variety. This is the only difference between Theorem 1.5 and Proposition 4.2. In Theo- rem 4.16 below, we shall prove that a smooth rationally connected variety with nef 2 TX is a Fano variety. V Proof of Proposition 4.2. Let X be a smooth projective variety with nef 2 TX . By Theorem 4.1, there exists a finite étale cover f : X˜ → X such that X˜ =∼ Y × Z where ω =∼ O and the Albanese morphism α : Z → Alb(Z) is a V Y Y Z locally trivial fibration such that the fiber F is rationally connected. If Y and Z are positive-dimensional, then it follows from Corollary 3.4 that TX is nef. Thus our assertion follows from Theorem 1.1. Hence we assume that one of varieties Y and Z is a point. If X˜ =∼ Y , then our assertion holds thanks to Lemma 3.5. Thus assume that X˜ =∼ Z. If dim Alb(X˜) = 0, then X˜ =∼ F is rationally connected; thus so is X. Since any smooth projective rationally connected variety is simply connected (see [13, Corollary 4.18 (b)]), we have X =∼ X˜. So consider the case dim Alb(X˜) > 0. In this case, by Proposition 3.3 (2), F is a rationally connected variety with nef TF . Applying [15, Proposition 3.10], we see that F is a Fano variety.

2 4.2. Contractions of varieties with nef TX . 2 Theorem 4.4. Let X be a smooth projectiveV variety with nef TX and ϕ : X → Y a contraction of a KX -negative extremal ray R of NE(X). If n = dim X ≥ V 3,ρX ≥ 2 and ϕ is of ﬁber type, then ϕ is a smooth morphism. We ﬁrst prove a special case: Proposition 4.5. Theorem 4.4 holds if dim Y = 1. Proof. We employ the notation as in the statement of Theorem 4.4. By [13, Corollary 3.15], Y is an elliptic curve or a projective line P1. If Y is P1, then our 10 KIWAMU WATANABE assertion follows from Proposition 3.7. Thus we assume that Y is an elliptic curve. In this case, ϕ : X → Y factors through the Albanese map αX : X → Alb(X):

αX X / Alb(X) ✇✇ ✇✇ ϕ ✇✇ ✇✇ {✇ Y

Since ϕ is a KX -negative contraction, the morphism Alb(X) → Y should be an isomorphism which in turn implies ϕ is the Albanese map. Then by applying [7, Theorem 1.2], ϕ is smooth as desired. Proof of Theorem 4.4. By Proposition 4.5, we may assume dim Y > 1. Since general fibers of ϕ : X → Y are smooth Fano varieties, there exists a dominating family M of RatCurvesn(X) such that any M-curve is contracted by ϕ. By replacing if necessary, we may assume the anticanonical degree of the family M is minimal among such families; then we claim that M is locally unsplit. To prove this, fix an ample divisor H on Y . Then, for sufficiently large m ≫ 0, ∗ −KX + mϕ H is ample and M is a dominating family with minimal degree with ∗ respect to an ample divisor −KX + mϕ H, so that M is locally unsplit. Applying

Mori’s bend and break lemma, one has n +1 ≥ deg(−KX ) M ≥ ℓ(R). If moreover deg(−KX ) M = n + 1, then it follows from Proposition 2.8 that Locus(Mx) = X for a general point x ∈ X. Applying [27, II Corollary 4.21], we see that ρX = 1; this is a contradiction. Thus we obtain an inequality

n ≥ deg(−KX ) M≥ ℓ(R). Here we claim the following:

Claim 4.6. deg(−KX ) M = ℓ(R).

Assume the contrary, that is, deg(−KX ) M >ℓ(R). Choosing a rational curve C in R such that ℓ(R)= −KX · C, C is not free. In fact, if C were free, then we could ﬁnd a dominating family M′ of RatCurvesn(X) such that any M′-curve is contracted by ϕ. However it contradicts to the minimality of the anticanonical degree of M. Thus by Lemma 3.2 we have deg(−KX ) M = n. Applying Proposition 2.8, for a general point x ∈ X,

dim Locus(Mx) ≥ deg(−KX ) M− 1= n − 1.

As a general fiber of ϕ contains Locus(Mx), the relative dimension of ϕ is n−1 which in turn implies dim Y = 1. This contradicts to our assumption that dim Y > 1. As a consequence, we see that deg(−KX ) M = ℓ(R). One can show that the family M is unsplit. If not, by Lemma 2.7 we could s find a rational 1-cycle Z = i=1 aiZi as a degeneration of M-curves, where each ai is a positive integer and each Zi is a rational curve. Then it follows from the P extremality of the ray R that each [Zi] is contained in R. However this contradicts to the minimality of C. Thus the family M is an unsplit covering family. Being ′ M unsplit, we may consider a rationally connected fibration ϕM : X···→ Y with respect to M. If any M-curve is free, then, applying Theorem 2.11, we see that ′ ϕM : X → Y is the geometric quotient of X for M and it is a smooth morphism. By construction, the quotient morphism ϕM is nothing but ϕ. Hence in this case our assertion holds. Thus it is enough to show the following: POSITIVITY OF THE SECOND EXTERIOR POWER OF THE TANGENT BUNDLES 11

Claim 4.7. Any M-curve is free.

To prove this, assume the contrary; there would exist a non-free M-curve C0. By Lemma 3.2, one has ℓ(R)= −KX · C0 ≥ n − 1. Applying Proposition 2.8, for a general point x ∈ X,

dim Locus(Mx) ≥−KX · C0 − 1 ≥ n − 2.

Thus the relative dimension of ϕM is at least n − 2. By [2, Theorem 1 and its ′ proof, Theorem 2], we see that ϕM : X → Y is the geometric quotient and it ′ is equidimensional. Being ϕM : X → Y a contraction of a geometric extremal ray RM, ϕM is nothing but ϕ. In particular, ϕ is equidimensional and one has inequalities n − 1 ≥ n − dim Y ≥ ℓ(R) − 1 ≥ n − 2. If n − dim Y = ℓ(R) − 1, then [19, Theorem 1.3] tells us that ϕ : X → Y is a projective bundle. This contradicts to the existence of a non-free rational curve C0. Hence we obtain dim Y = 1; however this contradicts to our assumption that dim Y > 1.

2 Remark 4.8. Let X be a smooth projective variety with nef TX and ϕ : X → Y a contraction of a KX -negative extremal ray R of NE(X). Assume that V n = dim X ≥ 3,ρX ≥ 2 and ϕ is of ﬁber type. Then we may choose a free rational curve C of minimal anticanonical degree among those spanning the corresponding ray R and take a family of rational curves M ⊂ RatCurvesn(X) containing [C]. Then as in the proof of Theorem 4.4, one can check that M is unsplit. 2 Corollary 4.9. Let X be a smooth projective variety with nef TX and n = dim X ≥ 3. If X admits an unsplit covering family of rational curves M, then there exists a smooth geometric quotient ϕ : X → Y for M. V

Proof. If deg(−KX ) M ≤ n − 2, then our assertion follows from Lemma 2.7,

Lemma 3.2 and Theorem 2.11; thus suppose deg(−KX ) M > n − 2. Then, for a general point x ∈ X, by Proposition 2.8 we have dim Locus(Mx) ≥ n−2. Applying [2, Theorem 1 and 2], we see that there exists a geometric quotient ϕ : X → Y for M, which is a contraction of a KX -negative extremal ray RM. The smoothness of ϕ follows from Theorem 4.4.

2 Theorem 4.10. Let X be a smooth projective variety with nef TX and ϕ : X → Y a contraction of a KX -negative extremal ray R of NE(X). If n = dim X ≥ V 3,ρX ≥ 2 and ϕ is of birational type, then X is isomorphic to the blow-up of the projective space Pn at a point. Proof. Let E be an irreducible component of the ϕ-exceptional locus and F an irreducible component of any nontrivial ﬁber of ϕ. Then Proposition 2.2 shows that 2(n − 1) ≥ dim E + dim F ≥ n + ℓ(R) − 1. By Lemma 3.2, one has ℓ(R) ≥ n − 1 which in turn implies dim E = dim F = n − 1 and ℓ(R)= n − 1. This means that ϕ is a divisorial contraction such that ϕ(E) is a point. This argument tells us that any birational contraction of a KX -negative extremal ray is a divisorial contraction which contracts its exceptional divisor to a point. 12 KIWAMU WATANABE

Let us remark that X is uniruled. In fact one has an étale cover X˜ of X as in Proposition 4.2. By the existence of a KX -negative extremal ray, the Albanese map αX : X˜ → Alb(X˜) is a nontrivial Fano fibration; thus X˜ is uniruled. This yields that X is also uniruled. Hence there exists a free rational curve on X. Thus we may take a minimal rational component M⊂ RatCurvesn(X). We claim that M is unsplit. To prove this, assume the contrary; if not, by Lemma 2.7, we s might find a rational 1-cycle Z = i=1 aiZi as a degeneration of M-curves, where each ai is a positive integer and each Zi is a rational curve. Since Zi is not free thanks to the minimality of the anticanonicalP degree of M, Lemma 3.2 implies that −KX · Zi ≥ n − 1. Thus one obtains

−KX · Z = ai (−KX · Zi) ≥ 2(n − 1). By the same way as in the proofX of Theorem 4.4, Mori’s bend and break lemma and [27, II Corollary 4.21] yield that −KX · Z is at most n. This contradicts to our assumption that n ≥ 3. Applying Corollary 4.9, we obtain a smooth geometric quotient ψ : X → Z for M. Since any ﬁber of ψ should has dimension at most one, ψ is a P1-bundle. By [16, Proposition 2.2 and its proof], ψ : X =∼ P(OZ ⊕ OZ (m)) → Z and E is its section, where Z is an (n − 1)-dimensional Fano manifold of ρZ = 1 and ∼ ∼ NE/X = OE (m) (m < 0). For any rational curve D ⊂ E = Z, it is not free as a curve on X; thus by Lemma 3.2

−KE · D = −KX |E · D − E · D ≥ (n − 1) − mOZ (1) · D ≥ n. By Theorem 2.5 (1), E =∼ Z is isomorphic to Pn−1. Moreover taking a line on E =∼ Pn−1 as a rational curve D as in the above inequality, we obtain m = −1. As a consequence, X is isomorphic to P(OPn−1 ⊕ OPn−1 (−1)), that is, X is isomorphic to the blow-up of the projective space Pn at a point as desired. 2 Proposition 4.11. Let X be a smooth projective variety with nef TX . If n = dim X ≥ 3, then X does not admit a KX -negative smooth contraction onto the blow-up of the projective space Pm at a point. V Proof. To prove our assertion, let us assume the contrary; then there exists a KX -negative smooth contraction ϕ : X → Y =∼ P(OPm ⊕ OPm (−1)). We denote by β : Y → Pm+1 the blow-up of Pm+1 at a point and by E its exceptional divisor, which is a section E = P(OPm (−1)) of a P1-bundle P(OPm ⊕ OPm (−1)) → Pm. m 1 Denoting by ℓ a line on E =∼ P , let us consider ϕℓ : Xℓ → ℓ = P and its section −1 ℓ˜⊂ Xℓ as in Deﬁnition 3.6. Note that Xℓ coincides with ϕ (ℓ); thus ℓ˜= ℓ˜X under the notation as in Deﬁnition 3.6. We have an exact sequence of normal bundles:

(1) 0 → Nℓ/X˜ ℓ → Nℓ/X˜ → NXℓ/X |ℓ˜ → 0. By [18, II, Proposition 8.10], we obtain

∼ ∗ ∼ 1 ⊕m−1 1 (2) NXℓ/X |ℓ˜ = ϕℓ (Nℓ/Y )|ℓ˜ = OP (1) ⊕ OP (−1). By (1) and (2), we obtain ˜ ˜ (3) −KXℓ · ℓ = −KX · ℓ + (2 − m) ≥ 2 − m. ˜ Since −KXℓ · ℓ is bounded from below, by replacing if necessary, we may assume that ℓ˜ is a minimal section of ϕℓ. We then take a family of rational curves N ⊂ RatCurvesn X containing [ℓ˜]. According to the minimality of deg ℓ˜, by the ℓ (−KXℓ ) POSITIVITY OF THE SECOND EXTERIOR POWER OF THE TANGENT BUNDLES 13 same way as in the proof of Proposition 3.7, we can check that N is unsplit. Then we claim that −KX · ℓ˜≤ n − 2. If not, the inequality (3) would imply ˜ ˜ (4) −KXℓ · ℓ = −KX · ℓ + (2 − m) ≥ (n − 1)+(2 − m) = dim Xℓ +1.

By Proposition 2.8, for a general point x ∈ Xℓ, Locus(Nx) = Xℓ. Then applying

[27, II Corollary 4.21], we see that ρXℓ = 1; this is a contradiction. Thus we have −KX · ℓ˜ ≤ n − 2; then by Lemma 3.2, ℓ˜ is a free rational curve in X. Since ϕ is smooth, this implies that ℓ is also free; however this is a contradiction, because ℓ is contained in the exceptional divisor E of the blow-up β : Y → Pm+1. By applying the same method as in the proof of Proposition 4.11, we can prove the following: Proposition 4.12. Let X be a smooth rationally connected projective variety 2 with nef TX and n = dim X ≥ 3. If X admits a KX -negative smooth contraction ϕ : X → Y onto a projective surface Y , then Y is isomorphic to P2 or P1 × P1. V Proof. To prove our assertion, assume the contrary, that is, assume Y is not isomorphic to P2 or P1 × P1. Since X is rationally connected, so is Y . By Proposition 3.3, −KY is nef. Then it follows from [6, Proposition 1.1] that Y contains a curve ℓ with negative self-intersection number ℓ2 < 0. For ϕ : X → Y and ℓ, we can take a minimal section ℓ˜⊂ Xℓ as in Deﬁnition 3.6; then we can prove that ℓ˜ is free in X; thus so is ℓ in Y . This is a contradiction. 2 Proposition 4.13. Let X be a smooth projective variety with nef TX . If X is a rationally connected variety with n = dim X ≥ 3, then there exists a smooth V KX -negative contraction ϕ : X → Y satisfying one of the following: (1) Y is isomorphic to P1; (2) Y is isomorphic to P2; (3) dim Y ≥ 3 and ρY =1.

Proof. We prove this by induction on the Picard number ρX . By Mori’s cone theorem and Theorem 4.4, we have a smooth contraction of a KX -negative 1 extremal ray ϕ1 : X → X1. If dim X1 = 1, then X1 is P ; thus there is nothing to 2 1 1 prove. If dim X = 2, then by Proposition 4.12 X1 is P or P × P . In the former case, our claim holds. In the later case, the composition of ϕ1 and a projection 1 1 1 p1 : P × P → P is a smooth contraction. It follows from Proposition 3.3 and [15, Chapter 0, Proposition] that p1 ◦ ϕ1 is a KX -negative contraction. Thus we assume that dim X1 ≥ 3. If ρX1 = 1, our claim holds. So we assume that ρX1 > 1. Then Proposition 3.3 implies that X1 is a smooth rationally connected projective variety 2 with nef TX1 . The inductive assumption tells us that there exists a smooth

KX1 -negative contraction ϕ2 : X1 → Y such that Y satisfies one of (1)-(3). By V Proposition 3.3 and [15, Chapter 0, Proposition], the composition ϕ2 ◦ ϕ1 : X → Y is a KX -negative smooth contraction. As a consequence, our claim holds. 4.3. A geometric quotient for a family of minimal sections. We start 2 with setting up our notation: Let X be a smooth projective variety with nef TX and n = dim X ≥ 3. Assume that X admits a smooth KX -negative contraction V ϕ : X → Y onto a smooth Fano variety Y with dim Y ≥ 2 and ρY =1. Let us fix a rational curve ℓ ⊂ Y such that −KY · ℓ = ιY . By Definition 3.6, we may construct a minimal birational section of ϕ over ℓ, which is denoted by ℓ˜X ⊂ X. Then we 14 KIWAMU WATANABE

˜ may ﬁnd a rational curve ℓ0 ⊂ Y and its minimal birational section ℓ0X ⊂ X of ϕ over ℓ0 which satisfy

• −KY · ℓ0 = ιY and ˜ ˜ • deg(−KX ) ℓ0X = min deg(−KX ) ℓX |−KY · ℓ = ιY . n n o ˜ Let M⊂ RatCurves (X) be a family of rational curves containing [ℓ0X ]. Proposition 4.14. Under the above setting, we have the following: (1) M is unsplit. (2) There exists a smooth geometric quotient ψ : X → Z for M. Proof. (1) Assume the contrary; then, by Lemma 2.7, we might ﬁnd a rational s 1-cycle Z = i=1 aiZi as a degeneration of M-curves, where each ai is a positive integer and each Zi is a rational curve. Remark that a1 ≥ 2 provided that s = 1. Since we haveP s ˜ [ℓ0]= ϕ∗(ℓ0X )= ai[ϕ∗(Zi)] ∈ N1(Y ), i=1 X there exists at least one Zi such that ϕ(Zi) is not contracted by ϕ. Without loss of generality, we may assume Z1 is not contracted by ϕ and the anticanonical degree of Z1 is minimal among such curves. Then we prove the following:

(3) a1 = deg(ϕ|Z1 )= 1, and (4) for any i 6= 1, Zi is contracted by ϕ. To prove this, assume the contrary; then we have s (5) ιY = −KY · ℓ0 = ai(−KY · ϕ∗(Zi)) ≥ 2ιY . i=1 X This is a contradiction. Thus (3) and (4) hold. Moreover we see that −KY ·ϕ(Z0)= ιY . It follows from (3) that Z1 is a minimal birational section over ϕ(Z1). One can show that s = 1. In fact, if s> 1, then we have s −KX · Z1 < −KX · Zi = −KX · ℓ˜0. i=1 X ˜ This contradicts to the minimality of the anticanonical degree of ℓ0X . Hence we obtain s = 1 and a1 = 1. However this is a contradiction. As a consequence, M is unsplit as desired. (2) By Corollary 4.9, it is enough to prove that M is an unsplit covering family. To prove this, assume otherwise; then M is not a dominating family. This turns out that codimX Locus(M) ≥ 1. Moreover, by Lemma 3.2, we have deg(−KX ) M≥ n − 1. Let x ∈ Locus(M) be a general point. By [27, II Corollary 4.21], the restriction of ϕ to Locus(Mx) is a ﬁnite morphism. Thus, applying Proposition 2.8, we have dim X > dim Y ≥ dim Locus(Mx) ≥−KX ·M + codimX Locus(M) − 1 ≥ n − 1. Then we see that ϕ is a P1-bundle. For any rational curve ℓ ⊂ Y such that −KY · ℓ = ιY , let ℓ˜X be a minimal birational section of ϕ over ℓ. Then we have ˜ ∗ ˜ ˜ (6) n − 1 ≤−KX · ℓX = ϕ (−KY ) · ℓX − KX/Y · ℓX ≤−KY · ℓ = ιY . By Theorem 2.5, ϕ : X → Y is either a P1-bundle over Pn−1 or a P1-bundle over Qn−1. Since the Brauer group of Y is trivial, ϕ : X → Y is the projectivization POSITIVITY OF THE SECOND EXTERIOR POWER OF THE TANGENT BUNDLES 15 of a rank 2 vector bundle E on Y . Moreover, we see that the above ℓ ⊂ Y is a line. Twisting by a suitable line bundle on Y , the inequality (6) yields that E|ℓ is isomorphic to n−1 Oℓ ⊕ Oℓ or Oℓ ⊕ Oℓ(−1) if Y = P ; n−1 (Oℓ ⊕ Oℓ if Y = Q ; n−1 Note that E|ℓ is not isomorphic to Oℓ ⊕ Oℓ(−1) provided that Y = P . If E|ℓ were isomorphic to Oℓ ⊕ Oℓ(−1), then [44, Main Theorem] would imply that n E = OPn−1 ⊕ OPn−1 (−1). Then X is the blow-up of a point at P . This contradicts to our assumption that X does not admit a birational contraction. Thus, E|ℓ is trivial, so that ϕ−1(ℓ)= ℓ × P1 for any line ℓ ⊂ Y . Thus M consists of horizontal lines in ϕ−1(ℓ)= ℓ × P1, which are free in X. This contradicts to our assumption that M is not a covering family. Thus M is an unsplit covering family as desired.

2 4.4. Rationally connected varieties with nef TX . 2 Lemma 4.15. Let X be a smooth projective varietyV with nef TX . If X is a Fano variety, then the Kleiman-Mori cone NE(X) is simplicial, that is, the convex hull of linearly independent rays. V Proof. If X is the blow-up of the projective space at a point, it is a Fano variety with ρX = 2. Thus our assertion holds. By Theorem 4.4 and Theorem 4.10, we may assume that any contraction of an extremal ray is a smooth morphism. By slightly modifying the argument as in [39, Proposition 4-4], one can obtain our assertion. We shall give the proof for the reader’s convenience. To prove our assertion, assume the contrary; assume the existence of extremal rays R1,...,Rk such that k>ρ(X) = m. Then we may choose a free rational curve Ci of minimal anticanonical degree among those spanning the corresponding ray Ri. Then there exist rational numbers a1,...,am such that m [Ck]= ai[Ci] ∈ N1(X). i=1 X By the extremality of Rk, without loss of generality, we can assume that a1 < 0. n For any i 6= 1, we take a family of rational curves Mi ⊂ RatCurves (X) containing [Ci]. Then by Remark 4.8, Mi is unsplit. Applying to these families [10, 1, Lemma 2.4] and Theorem 4.10, the classes [M2],..., [Mm] must lie in an (m − 1)-dimensional extremal face of NE(X). A supporting divisor H of this face provides a contradiction: H · Ci = 0 for i =2,...,m, H · C1 > 0 so that H · Ck < 0, contradicting that H is nef. 2 Theorem 4.16. Let X be a smooth projective variety with nef TX . If X is a rationally connected variety of n = dim X ≥ 3, then X is a Fano variety. V Proof. By [6, Theorem], we may assume that n ≥ 4. Any smooth projective rationally connected variety of Picard number one is a Fano variety; thus we may assume that ρX > 1. By Proposition 4.11, we may assume that any contraction of a KX -negative extremal ray is a smooth morphism. We proceed by induction on the Picard number ρX . Suppose that our assertion is proved for all varieties whose Picard number is less than ρX . By Proposition 4.13, there exists a smooth KX -negative contraction ϕ : X → Y satisfying one of the following: 16 KIWAMU WATANABE

(1) Y is isomorphic to P1; (2) dim Y ≥ 2 and ρY = 1. 1 If Y is P , then Proposition 3.7 implies that TX is nef; thus by [15, Chapter 0, Proposition] X is a Fano variety. So we assume that dim Y > 1. Applying Proposition 4.14, we obtain an unsplit covering family of rational curves M ⊂ RatCurvesn(X) which satisﬁes ∗ • ϕ (−KY ) · ℓ˜= ιY for any [ℓ˜] ∈M and • there exists a smooth geometric quotient ψ : X → Z for M.

Note that a smooth geometric quotient ψ : X → Z for M is a KX -negative contraction of an extremal ray R≥0[M]; then Z is a smooth projective rationally 2 connected variety with nef TZ . Let F be a ﬁber of ϕ : X → Y . By Theorem 1.7, F is a smooth Fano variety with nef TF and ρF = ρX −1; in particular, the Kleiman- Mori cone NE(F ) is simplicialV (see Lemma 4.15), and there exist extremal rays

R1,...,RρX −1 such that

i∗ (NE(F )) = NE(X/Y )= R1 + R2 + ... + RρX −1, where each Ri is generated by an extremal rational curve Ci: Ri = R≥0[Ci]. By Lemma 2.3, we have an injection i∗ : N1(F ) → N1(X). On the other hand, any curve contained in F is not contracted by ψ∗ : N1(X) → N1(Z). This yields that the composition ψ∗ ◦i∗ : N1(F ) → N1(Z) has a trivial kernel. Since the Picard numbers of F and Z coincide with each other, the composition ψ∗ ◦ i∗ : N1(F ) → N1(Z) is an isomorphism. We claim that ψ∗ ◦ i∗ (NE(F )) = NE(Z). To conﬁrm this, note that the Kleiman-Mori cone NE(Z) is simplicial. In fact, this follows from the induction hypothesis, provided that dim Z ≥ 3. If dim Z < 3, then by Proposition 4.12 Z is isomorphic to P1, P2 or P1 × P1; in particular, NE(Z) is simplicial. By [23, Theorem 2.2], each extremal ray Ri goes to an extremal ray of NE(Z) via the pushforward ψ∗ : N1(X) → N1(Z). This shows our claim. Let C be a curve on X. Since we have R R [ψ∗(C)] ∈ NE(Z)= ψ∗ ◦ i∗ (NE(F )) = ≥0[ψ∗(C1)] + ... + ≥0[ψ∗(CρX −1)], there exist nonnegative real numbers b1,...,bρX −1 such that

ρX −1

[ψ∗(C)] = bi[ψ∗(Ci)]. i=1 X This implies that ρX −1

[C] − bi[Ci] ∈ Ker(ψ∗)= h[ℓ˜0]iR. i=1 X Thus we have b ∈ R such that

ρX −1

[C]= bi[Ci]+ b[ℓ˜0] ∈ N1(X). i=1 X For an ample divisor H on Y , we have

ρX −1 ∗ ∗ ∗ 0 ≤ ϕ H · C = biϕ H · Ci + bϕ H · ℓ˜0 = bH · ℓ0. i=1 X POSITIVITY OF THE SECOND EXTERIOR POWER OF THE TANGENT BUNDLES 17

Since H · ℓ0 > 0, we see that b ≥ 0. As a consequence, we obtain R R R ˜ NE(X)= ≥0[C1]+ ... + ≥0[CρX −1]+ ≥0[ℓ0].

Thus, applying Kleiman’s ampleness criterion [29, Theorem 1.8], −KX is ample. 4.5. Conclusions.

Proof of Theorem 1.5. Theorem 1.5 is a direct consequence of Proposi- tion 4.2 and Theorem 4.16.

Proof of Corollary 1.6. Let X be as in Corollary 1.6. By Theorem 1.5, there exists a finite étale cover f : X˜ → X such that the Albanese morphism ˜ ˜ αX˜ : X → Alb(X) is a locally trivial fibration whose fibers are isomorphic to a smooth Fano variety F . If Alb(X˜) = 0, then X˜ =∼ F is a smooth Fano variety. Since a smooth Fano variety is simply connected, X˜ is isomorphic to X. Thus it is sufficient to prove that TX is nef provided that Alb(X˜) > 0. Since f is étale, the nefness of TX is equivalent to that of TX˜ . By the same argument as in the proof of Proposition 3.3, we obtain exact sequences ∗ (1) 0 → TX/˜ Alb(X˜ ) → TX˜ → αX˜ TAlb(X˜ ) → 0.

2 ∗ (2) 0 → TX/˜ Alb(X˜ ) → E → TX/˜ Alb(X˜) ⊗ αX˜ TAlb(X˜ ) → 0 ^ 2 2 ∗ (3) 0 → E → TX˜ → αX˜ TAlb(X˜ ) → 0 ! ^ ^ for some vector bundle E on X. Remark that the tangent bundle TAlb(X˜) is trivial; thus the exact sequence (3) and Proposition 2.1 (5) tell us that E is nef. Com- bining with Proposition 2.1 (1), this implies that TX/˜ Alb(X˜ ) is nef. Then, applying Proposition 2.1 (5) again, we see that TX˜ is nef. As a consequence, we see that TX is nef provided that Alb(X˜) > 0.

Proof of Theorem 1.7. (1) is nothing but Theorem 4.10; thus we check (2). Assume that X does not admit a birational contraction of a KX -negative extremal ray. Then by Theorem 4.4 any contraction of a KX -negative extremal ray ϕ : X → Y is smooth.

Proof of Theorem 1.8. Theorem 1.8 is a direct consequence of Lemma 4.15 and Theorem 4.16.

2 To end this section, we give a structure theorem of varieties with nef TX : 2 Theorem 4.17. Let X be a smooth projective variety with nef TX Vand n = dim X ≥ 3. Then either TX is nef or X is one of the following: V (1) X is the blow-up of the projective space Pn at a point; (2) X is a Fano variety of pseudoindex n − 1 and Picard number 1; (3) X is a Fano variety of Picard number 1 which satisﬁes the following: (*) there exists a minimal rational component M⊂ RatCurvesn(X) such that M is unsplit and any M-curve is free; 18 KIWAMU WATANABE

(4) X is a Fano variety of Picard number m> 1 such that its Kleiman-Mori cone is simplicial: NE(X)= R1 + ... + Rm. Moreover given any proper subset I ⊂ {1, 2,...,m}, we denote by ϕI : X → XI a contraction of an extremal face i∈I Ri. Then the contraction ϕI : X → XI satisfies the following: P (a) ϕI is a smooth morphism whose fibers are Fano varieties with nef tangent bundle and Picard number ♯I; 2 (b) if ♯I ≤ m − 2, then XI is a smooth Fano variety with nef TXI and Picard number m − ♯I such that its Kleiman-Mori cone is described V as NE(XI )= i6∈I (ϕI )∗Ri; (c) if ♯I = m − 1, then X is a smooth Fano variety of Picard number 1 P I which satisfies the above condition (∗) or ιXI = dim XI − 1. Proof. By Corollary 1.6, we may assume that X is a Fano variety. Suppose that ρX = 1. Taking a rational curve C ⊂ X whose anticanonical degree is equal n to the pseudoindex ιX , let M ⊂ RatCurves (X) be a family of rational curves containing [C]. By Lemma 2.7, M is unsplit. If any M-curve is free, then X satisfies the condition (∗). Otherwise there is a non-free M-curve. Then Lemma 3.2 implies that ιX = deg(−KX ) M ≥ n − 1. By Theorem 2.5, we see that either X n n n n is P , Q or a Fano variety with ιX = n − 1. Since P and Q have nef tangent bundle, our assertion holds. We assume that ρX > 1. By Theorem 1.7 (1), if X admits a birational contraction of an extremal ray, then X is isomorphic to the blow-up of Pn at a point. Hence we assume that any contraction of an extremal ray is of fiber type; applying Theorem 1.7 (2), it is a smooth morphism. By Lemma 4.15, the Kleiman-Mori cone is simplicial: NE(X)= R1 + ... + Rm. Given any proper subset I ⊂{1, 2,...,m}, Mori’s cone theorem tells us that there is a contraction of an extremal face i∈I Ri, which is denoted by ϕI : X → XI . We claim that ϕI : X → XI satisfies (a)- (c). Indeed, by using Theorem 1.7 (2), Proposition 3.3 (1), PropositionP 4.11 and Lemma 4.15 repeatedly, one can show that ϕI can be described as a composition of smooth contractions of an extremal ray; thus it is a smooth morphism. Then (a) and (b) follow from Lemma 2.3 and Proposition 3.3. To prove (c), assume that ♯I = m − 1. Then by Lemma 2.3 XI is a smooth Fano variety of Picard number 1 2 1. We may assume dim XI > 2; otherwise XI is P or P which in turn implies 2 XI satisfies the condition (∗). Thus XI is a smooth Fano variety with nef TXI ,

ρXI = 1 and dim XI ≥ 3. As we have seen in the former part of this proof, we see V that such XI satisﬁes either the condition (∗) or ιXI = dim XI − 1.

5. Special varieties 5.1. Toroidal case. Definition 5.1. (1) Let G be a reductive linear algebraic group and B a Borel subgroup of G. A G-variety X is (G-)spherical if it has a dense B-orbit. A spherical G-variety X is (G-)toroidal if every B-stable but not G-stable divisor contains no G-orbit. (2) Let G be a connected algebraic group and X a smooth G-variety; let D ⊂ X be a G-stable eﬀective reduced divisor with normal crossings. We denote by TX (− log D) the sheaf of logarithmic vector ﬁelds which is by POSITIVITY OF THE SECOND EXTERIOR POWER OF THE TANGENT BUNDLES 19

deﬁnition the subsheaf of the tangent sheaf TX consisting of derivations that preserve the ideal sheaf of D. We say that X is log homogeneous with boundary D if the logarithmic tangent bundle TX (− log D) is generated by its global sections. We say that X is log homogeneous if X is log homogeneous with some boundary D. Remark that any smooth projective toric variety is toroidal. Furthermore we have the following: Proposition 5.2 ([3, Proposition 2.2.1] and [1, Corollary 2.1.4 and Corollary 3.2.2]). Let G be a reductive linear algebraic group and X a smooth complete G- variety. Then X is toroidal if and only if it is log homogeneous. Proof of Theorem 1.9. We assume that X is not isomorphic to the blow-up of a projective space at a point. According to the result of Q. Li [33, Theorem 1.2], it is enough to prove that any curve on X is nef as a cycle. By Theorem 4.17, the Kleiman-Mori cone NE(X) can be described as follows: R R R NE(X)= ≥0[C1]+ ≥0[C2]+ ... + ≥0[CρX ], where each Ci is an extremal rational curve. Moreover a contraction of each ray Ri is smooth; this concludes that each extremal rational curve Ci is free. In particular, Ci is nef. As a consequence, any curve on X is nef as desired. 5.2. The case dim X ≤ 6. In this subsection, we shall prove Theorem 1.10. We begin with recalling some results on the Campana-Peternell conjecture (=Con- jecture 1.2):

Theorem 5.3. Let X be a smooth Fano variety of dim X = n and ρX = 1. Assume X admits a minimal rational component M ⊂ RatCurvesn(X) such that M is unsplit and any M-curve is free. Assume moreover either (1) n ≤ 5 or (2) n =6 and ιX 6=5. Then X is a rational homogeneous variety. In particular, the Campana-Peternell conjecture holds for the cases (1) and (2). Proof. This follows from arguments as in [11, 14, 37, 20, 22]. We sketch the proof for the reader’s convenience. Since the later follows from the former, we only explain the former part. Under the assumption of the theorem, we have an associated universal family: q U / X

p M We denote by d the anticanonical degree of the family M. By Mori’s bend and break lemma, d is at most n +1. Furthermore, the same proofs as in [11] (see also [25]) and [14] shows that X is isomorphic to Pn or a quadric, provided that d ≥ n. Thus we may assume that d ≤ n − 1. Since any M-curve is free, one obtain that q is a smooth morphism and M is a smooth variety of dimension n + d − 3 by [27, II. Theorem 1.7, Theorem 2.15, Corollary 3.5.3]; moreover [27, II. Corollary 2.12] implies that p is a P1-bundle. Since the dimension of Mx is non-negative, we see that d is at least 2. We claim 20 KIWAMU WATANABE that d is greater than 2. If d = 2, then q would be ´etale; however q should be an isomorphism, because a smooth Fano variety is simply connected. Thus we have 3 ≤ d. Suppose that d = 3. The hyperbolicity of the moduli space of curves yields that q is a P1-bundle (see [37, Lemma 1.2.2]). Thus the universal family U admits two P1-bundle structures, and the result follows from [42] (or more generally [43, Theorem 1.1]). Since the case where d = 4 is more complicated, so we omit the details. We refer the reader to [22] and [48, Theorem 2.4]. Theorem 5.4 ([24, Theorem 0.2]). Let X be a smooth Fano variety with dimension n and ρX >n − 6. For any sequence of contractions of an extremal ray

f1 f2 f3 fm−1 fm X −→ X1 −→ X2 −→ ... −−−→ Xm−1 −−→ Xm, assume that each fi is a rational homogeneous bundle. Then X is either (1) a rational homogeneous variety or 1 n−7 (2) (P ) × X0, where X0 is a Fano 7-fold with Picard number 2 (we omit the detailed description of X0). 2 Proposition 5.5. Let X be a smooth projective variety with nef TX and F a rational homogeneous variety. Assume that X admits an F -bundle structure V ϕ : X → Y onto a smooth Fano variety Y with dim Y ≥ 2 and ρY = 1. Let n M⊂ RatCurves (Y ) be a family of rational curves with deg(−KY ) M = ιY . Then M is an unsplit covering family such that any M-curve is free.

Proof. By Lemma 2.7 and the minimality of ιY , it is enough to prove any rational curve ℓ ⊂ Y with −KY · ℓ = ιY is free. Consider an F -bundle ϕℓ : Xℓ → 1 ℓ = P and its section ℓ˜ ⊂ Xℓ as in Deﬁnition 3.6. Then by [43, Lemma 2.3] (see 1 ˜ also [43, Remark 3.18]), we obtain −KXℓ/P · ℓ ≤ 0. Then it turns out

˜ ˜ 1 ˜ −KX · ℓX = −KX/Y · ℓX + (−KY ) · ℓ = −KXℓ/P · ℓ + (−KY ) · ℓ ≤−KY · ℓ = ιY .

If ιY ≤ dim X − 2, then it follows from Lemma 3.2 that ℓ˜X is free in X; thus ℓ is free in Y . If ιY ≥ dim X − 1 ≥ dim Y , then by Theorem 2.5 we see that Y is isomorphic to a quadric or a projective space; in particular, Y is homogeneous. Hence our assertion holds. Proof of Theorem 1.10. By Theorem 4.17, we may assume that X satisfies either (3) or (4) in Theorem 4.17. Then Theorem 5.3, Theorem 5.4 and Proposi- tion 5.5 imply that X is a rational homogeneous variety; thus TX is nef. Similar to Theorem 5.3 and Theorem 5.4, we predicts most varieties X satisfing either (3) or (4) in Theorem 4.17 admit a nef tangent bundle. Then it is natural to ask the following: 2 Problem 5.6. Let X be a smooth Fano variety with nef TX and n = dim X ≥ 3. Assume that TX is not nef. Then is X a Fano variety with ρX = 1 and V ιX = n − 1? Acknowledgements. Some parts of this paper were influenced by the author’s joint work with Sho Ejiri and Akihiro Kanemitsu on the study of varieties with nef tangent bundle in positive characteristic. The author would like to thank them for fruitful discussions. The author is grateful to Taku Suzuki for his careful reading POSITIVITY OF THE SECOND EXTERIOR POWER OF THE TANGENT BUNDLES 21 of the earlier draft and for his valuable comments. Thanks to his comments, the proof of Proposition 4.14 was simplified.

References

[1] Frédéric Bien and Michel Brion. Automorphisms and local rigidity of regular varieties. Com- positio Math., 104(1):1–26, 1996. [2] Laurent Bonavero, Cinzia Casagrande, and Stéphane Druel. On covering and quasi-unsplit families of curves. J. Eur. Math. Soc. (JEMS), 9(1):45–57, 2007. [3] Michel Brion. Log homogeneous varieties. In Proceedings of the XVIth Latin American Alge- bra Colloquium (Spanish), Bibl. Rev. Mat. Iberoamericana, pages 1–39. Rev. Mat. Iberoamer- icana, Madrid, 2007. [4] Frédéric Campana. Connexitérationnelle des variétés de Fano. Ann. Sci. Ecole´ Norm. Sup. (4), 25(5):539–545, 1992. [5] Frédéric Campana and Thomas Peternell. Projective manifolds whose tangent bundles are numerically effective. Math. Ann., 289(1):169–187, 1991. [6] Frédéric Campana and Thomas Peternell. On the second exterior power of tangent bundles of threefolds. Compositio Math., 83(3):329–346, 1992. [7] Junyan Cao. Albanese maps of projective manifolds with nef anticanonical bundles. Ann. Sci. Ec.´ Norm. Supér. (4), 52(5):1137–1154, 2019. [8] Junyan Cao and Andreas Höring. A decomposition theorem for projective manifolds with nef anticanonical bundle. J. Algebraic Geom., 28(3):567–597, 2019. [9] Cinzia Casagrande. Quasi-elementary contractions of Fano manifolds. Compos. Math., 144(6):1429–1460, 2008. [10] Elena Chierici and Gianluca Occhetta. The cone of curves of Fano varieties of coindex four. Internat. J. Math., 17(10):1195–1221, 2006. [11] Koji Cho, Yoichi Miyaoka, and Nicholas I. Shepherd-Barron. Characterizations of projective space and applications to complex symplectic manifolds. In Higher dimensional birational geometry (Kyoto, 1997), volume 35 of Adv. Stud. Pure Math., pages 1–88. Math. Soc. Japan, Tokyo, 2002. 2 [12] Koji Cho and Ei-ichi Sato. Smooth projective varieties with the ample vector bundle V TX in any characteristic. J. Math. Kyoto Univ., 35(1):1–33, 1995. [13] Olivier Debarre. Higher-dimensional algebraic geometry. Universitext. Springer-Verlag, New York, 2001. [14] Thomas Dedieu and Andreas Höring. Numerical characterisation of quadrics. Algebr. Geom., 4(1):120–135, 2017. [15] Jean-Pierre Demailly, Thomas Peternell, and Michael Schneider. Compact complex manifolds with numerically effective tangent bundles. J. Algebraic Geom., 3(2):295–345, 1994. [16] Kento Fujita. Fano manifolds having (n-1,0)-type extremal rays with large picard number. Preprint arXiv:1212.4977, 2012. [17] Tom Graber, Joe Harris, and Jason Starr. Families of rationally connected varieties. J. Amer. Math. Soc., 16(1):57–67, 2003. [18] Robin Hartshorne. Algebraic geometry. Springer-Verlag, New York-Heidelberg, 1977. Gradu- ate Texts in Mathematics, No. 52. [19] Andreas Höring and Carla Novelli. Mori contractions of maximal length. Publ. Res. Inst. Math. Sci., 49(1):215–228, 2013. [20] Jun-Muk Hwang. Rigidity of rational homogeneous spaces. In International Congress of Mathematicians. Vol. II, pages 613–626. Eur. Math. Soc., Zürich, 2006. [21] Paltin Ionescu. Generalized adjunction and applications. Math. Proc. Cambridge Philos. Soc., 99(3):457–472, 1986. [22] Akihiro Kanemitsu. Fano 5-folds with nef tangent bundles. Math. Res. Lett., 24(5):1453–1475, 2017. [23] Akihiro Kanemitsu. Mukai pairs and simple k-equivalence. Preprint arXiv:1812.05392, 2018. [24] Akihiro Kanemitsu. Extremal rays and nefness of tangent bundles. Michigan Math. J., 68(2):301–322, 2019. [25] Stefan Kebekus. Characterizing the projective space after Cho, Miyaoka and Shepherd- Barron. In Complex geometry (Göttingen, 2000), pages 147–155. Springer, Berlin, 2002. 22 KIWAMU WATANABE

[26] Shoshichi Kobayashi. Differential geometry of complex vector bundles, volume 15 of Publi- cations of the Mathematical Society of Japan. Princeton University Press, Princeton, NJ; Princeton University Press, Princeton, NJ, 1987. KanôMemorial Lectures, 5. [27] János Kollár. Rational curves on algebraic varieties, volume 32 of Ergebnisse der Mathematik und ihrer Grenzgebiete. 3. Folge. A Series of Modern Surveys in Mathematics [Results in Mathematics and Related Areas. 3rd Series. A Series of Modern Surveys in Mathematics]. Springer-Verlag, Berlin, 1996. [28] János Kollár, Yoichi Miyaoka, and Shigefumi Mori. Rational connectedness and boundedness of Fano manifolds. J. Differential Geom., 36(3):765–779, 1992. [29] János Kollár and Shigefumi Mori. Birational geometry of algebraic varieties, volume 134 of Cambridge Tracts in Mathematics. Cambridge University Press, Cambridge, 1998. With the collaboration of C. H. Clemens and A. Corti, Translated from the 1998 Japanese original. [30] Robert Lazarsfeld. Positivity in algebraic geometry. I, volume 48 of Ergebnisse der Mathe- matik und ihrer Grenzgebiete. 3. Folge. A Series of Modern Surveys in Mathematics [Results in Mathematics and Related Areas. 3rd Series. A Series of Modern Surveys in Mathematics]. Springer-Verlag, Berlin, 2004. Classical setting: line bundles and linear series. [31] Robert Lazarsfeld. Positivity in algebraic geometry. II, volume 49 of Ergebnisse der Mathe- matik und ihrer Grenzgebiete. 3. Folge. A Series of Modern Surveys in Mathematics [Results in Mathematics and Related Areas. 3rd Series. A Series of Modern Surveys in Mathematics]. Springer-Verlag, Berlin, 2004. Positivity for vector bundles, and multiplier ideals. [32] Duo Li, Wenhao Ou, and Xiaokui Yang. On projective varieties with strictly nef tangent bundles. J. Math. Pures Appl. (9), 128:140–151, 2019. [33] Qifeng Li. Pseudo-effective and nef cones on spherical varieties. Math. Z., 280(3-4):945–979, 2015. [34] Martin Lübke. Stability of Einstein-Hermitian vector bundles. Manuscripta Math., 42(2- 3):245–257, 1983. [35] Yoichi Miyaoka. Numerical characterisations of hyperquadrics. In Complex analysis in several variables—Memorial Conference of Kiyoshi Oka’s Centennial Birthday, volume 42 of Adv. Stud. Pure Math., pages 209–235. Math. Soc. Japan, Tokyo, 2004. [36] Ngaiming Mok. The uniformization theorem for compact Kähler manifolds of nonnegative holomorphic bisectional curvature. J. Differential Geom., 27(2):179–214, 1988. [37] Ngaiming Mok. On Fano manifolds with nef tangent bundles admitting 1-dimensional varieties of minimal rational tangents. Trans. Amer. Math. Soc., 354(7):2639–2658 (electronic), 2002. [38] Shigefumi Mori. Projective manifolds with ample tangent bundles. Ann. of Math. (2), 110(3):593–606, 1979. [39] Roberto Muñoz, Gianluca Occhetta, Luis E. SoláConde, and Kiwamu Watanabe. Rational curves, Dynkin diagrams and Fano manifolds with nef tangent bundle. Math. Ann., 361(3- 4):583–609, 2015. [40] Roberto Muñoz, Gianluca Occhetta, Luis E. SoláConde, Kiwamu Watanabe, and Jaroslaw A. Wi´sniewski. A survey on the Campana-Peternell conjecture. Rend. Istit. Mat. Univ. Trieste, 47:127–185, 2015. [41] Noboru Nakayama. Zariski-decomposition and abundance, volume 14 of MSJ Memoirs. Math- ematical Society of Japan, Tokyo, 2004. [42] Gianluca Occhetta, Luis E. SoláConde, Kiwamu Watanabe, and Jaroslaw A. Wi´sniewski. Fano manifolds whose elementary contractions are smooth P1-fibrations: a geometric char- acterization of flag varieties. Ann. Sc. Norm. Super. Pisa Cl. Sci. (5), 17(2):573–607, 2017. [43] Gianluca Occhetta, Luis E. SoláConde, and Jaroslaw A. Wi´sniewski. Flag bundles on Fano manifolds. J. Math. Pures Appl. (9), 106(4):651–669, 2016. [44] Ei-ichi Sato. Uniform vector bundles on a projective space. J. Math. Soc. Japan, 28(1):123– 132, 1976. [45] David Schmitz. On exterior powers of tangent bundle on toric varieties. Preprint arXiv:1811.02603, 2018. [46] Yum Tong Siu and Shing Tung Yau. Compact Kähler manifolds of positive bisectional curvature. Invent. Math., 59(2):189–204, 1980. [47] Luis E. SoláConde and Jaroslaw A. Wi´sniewski. On manifolds whose tangent bundle is big and 1-ample. Proc. London Math. Soc. (3), 89(2):273–290, 2004. POSITIVITY OF THE SECOND EXTERIOR POWER OF THE TANGENT BUNDLES 23

[48] Kiwamu Watanabe. Fano manifolds of coindex three admitting nef tangent bundle. Geom. Dedicata, 210:165–178, 2021. [49] Jaroslaw A. Wi´sniewski. On contractions of extremal rays of Fano manifolds. J. Reine Angew. Math., 417:141–157, 1991. [50] Kazunori Yasutake. On the second exterior power of tangent bundles of fano fourfolds with picard number ρx ≥ 2. Preprint arXiv:1212.0685, 2012. [51] Kazunori Yasutake. On the second and third exterior power of tangent bundles of fano manifolds with birational contractions. Preprint arXiv:1403.5304 , 2014. [52] Shing Tung Yau. Calabi’s conjecture and some new results in algebraic geometry. Proc. Nat. Acad. Sci. U.S.A., 74(5):1798–1799, 1977.

Department of Mathematics, Faculty of Science and Engineering, Chuo University. 1-13-27 Kasuga, Bunkyo-ku, Tokyo 112-8551, Japan Email address: [email protected]