Positivity of the second exterior power of the tangent bundles Kiwamu Watanabe 2 Abstract. Let X be a smooth complex projective variety with nef V TX and dim X ≥ 3. We prove that, up to a finite ´etale cover X˜ → X, the Albanese map X˜ → Alb(X˜) is a locally trivial fibration whose fibers are isomorphic to 2 a smooth Fano variety F with nef V TF . As a bi-product, we see that TX is nef or X is a Fano variety. Moreover we study a contraction of a KX -negative extremal ray ϕ : X → Y . In particular, we prove that X is isomorphic to the blow-up of a projective space at a point if ϕ is of birational type. We also prove that ϕ is a smooth morphism if ϕ is of fiber type. As a consequence, we 2 give a structure theorem of varieties with nef V TX . 1. Introduction The classical uniformization theorem of Riemann surfaces says that every sim- ply connected Riemann surface is biholomorphic to either the Riemann sphere, the complex plain or the open unit disc. As a higher-dimensional analogue, it is natu- ral to ask the structures of compact K¨ahler manifolds with holomorphic bisectional curvature having some positivity properties. An algebro-geometric counterpart of this problem is to study smooth projective varieties whose tangent bundle satisfies certain positivity conditions. The story starts with the Frankel conjecture: the only compact K¨ahler manifold with positive holomorphic bisectional curvature is a projective space. It was proved by S. Mori [38] and Y. T. Siu-S. T. Yau [46] independently. In a seminal paper [38], S. Mori proved the stronger Hartshorne conjecture: a projective space is the only smooth projective variety whose tangent arXiv:2011.01427v2 [math.AG] 19 Apr 2021 bundle is ample. Following [38, 46], N. Mok [36] solved the generalized Frankel conjecture, which gives a classification of compact K¨ahler manifolds with nonnega- tive holomorphic bisectional curvature. As an algebro-geometric analogue of Mok’s result, F. Campana and T. Peternell [5] studied smooth projective varieties with nef tangent bundle. In particular, they classified such varieties in the three dimen- sional case. After that, J. P. Demailly, T. Peternell and M. Schneider obtained a structure theorem of compact K¨ahler manifolds with nef tangent bundle: Theorem 1.1 ([15, Main Theorem]). Let X be a compact K¨ahler manifold with nef tangent bundle TX . Then there exists a finite ´etale cover f : X˜ → X such that 2010 Mathematics Subject Classification. 14J40, 14J45, 14M17, 14E30. The author is partially supported by JSPS KAKENHI Grant Number 17K14153, the Sum- itomo Foundation Grant Number 190170 and Inamori Research Grants. 1 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¨ahler 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´aConde-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 pro- jective 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 ´etale 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¨oring 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 com- plex number field. We will use the basic notation and definitions 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 mor- phism f : Y → X between smooth projective varieties whose fibers 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 va- riety 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)] ).