We study the geometry of projective manifolds whose tangent bundles are nef on sufficiently general curves (i.e. the tangent bundle is generically nef) and show that manifolds whose anticanonical bundles are semi-ample have this property. Furthermore we introduce a notion of sufficient nefness and investigate the relation with manifolds whose anticanonical bundles are nef.
The cotangent bundle of a non-uniruled projective manifold is generically nef, due to a theorem of Miyaoka. We show that the cotangent bundle is actually generically ample, if the manifold is of general type and study in detail the case of intermediate Kodaira dimension. Moreover, manifolds with generically nef and ample tangent bundles are investigated as well as connections to classical theorems on vector fields on projective manifolds.
In characteristic $0$, the Campana-Peternell conjecture claims that the only smooth Fano variety with nef tangent bundle should be homogeneous. In this paper, we study the positive characteristic version of the Campana-Peternell conjecture. In particular, we give an affirmative answer for Fano $4$-folds with nef tangent bundle and Picard number greater than one.
The present paper concerns the invariants of generically nef vector bundles on ruled surfaces. By Mehta - Ramanathan Restriction Theorem and by Miyaoka characterization of semistable vector bundles on a curve, the generic nefness can be considered as a weak form of semistability. We establish a Bogomolov type inequality for generically nef vector bundles with nef general fiber restriction on ruled surfaces with no negative section. This gives an affermative answer in this case to a problem posed by Th. Peternell. Concerning ruled surfaces with a negative section, we prove a a similar result fo…
Suppose that $X$ is a projective manifold whose tangent bundle $T_X$ contains a locally free strictly nef subsheaf. We prove that $X$ is isomorphic to a projective bundle over a hyperbolic manifold. Moreover, if the fundamental group $π_1(X)$ is virtually abelian, then $X$ is isomorphic to a projective space.
In this note we prove that any toric Fano manifold with nef tangent bundle is a product of projective spaces. In particular, it implies that Campana-Peternell conjecture hold for toric manifolds.
In this paper, we prove the Bogomolov-Gieseker type inequality conjecture for threefolds with nef tangent bundles. As a corollary, there exist Bridgeland stability conditions on these threefolds.
We show that the tangent bundle of a projective manifold with nef anticanonical class is generically nef. That is, its restriction to a curve cut out by general sufficiently ample divisors is a nef vector bundle. This confirms a conjecture of Peternell. As a consequence, the second Chern class of such a manifold has non-negative intersections with ample divisors. We also investigate under which conditions these positivities are strict, and answer a question of Yau.
Let $X$ be a smooth projective variety defined over an algebraically closed field of positive characteristic $p$ whose tangent bundle is nef. We prove that $X$ admits a smooth morphism $X \to M$ such that the fibers are Fano varieties with nef tangent bundle and $T_M$ is numerically flat. We also prove that extremal contractions exist as smooth morphisms. As an application, we prove that, if the Frobenius morphism can be lifted modulo $p^2$, then $X$ admits, up to a finite étale Galois cover, a smooth morphism onto an ordinary abelian variety whose fibers are products of projective spaces.
Let $X$ be a complex smooth projective variety such that the exterior power of the tangent bundle $\bigwedge^{r} T_X$ is nef for some $1\leq r<\dim X$. We prove that, up to an étale cover, $X$ is a Fano fiber space over an Abelian variety. This gives generalizations of the structure theorem of varieties with nef tangent bundle by Demailly, Peternell and Schneider and that of varieties with nef $\bigwedge^{2} T_X$ by the author. Our result also gives an answer to a question raised by Li, Ou and Yang for varieties with strictly nef $\bigwedge^{r} T_X$ when $r < \dim X$.
In view of Mori theory, rational homogenous manifolds satisfy a recursive condition: every elementary contraction is a rational homogeneous fibration and the image of any elementary contraction also satisfies the same property. In this paper, we show that a smooth Fano $n$-fold with the same condition and Picard number greater than $n-6$ is either a rational homogeneous manifold or the product of $n-7$ copies of $\mathbb{P}^1$ and a Fano $7$-fold $X_0$ constructed by G. Ottaviani. We also clarify that $X_0$ has non-nef tangent bundle and in particular is not rational homogeneous.
In this paper, we study smooth complex projective varieties $X$ such that some exterior power $\bigwedge^r T_X$ of the tangent bundle is strictly nef. We prove that such varieties are rationally connected. We also classify the following two cases. If $T_X$ is strictly nef, then $X$ isomorphic to the projective space $\mathrm{P}^n$. If $\bigwedge^2 T_X$ is strictly nef and if $X$ has dimension at least $3$, then $X$ is either isomorphic to $\mathrm{P}^n$ or a quadric $\mathrm{Q}^n$.
A Fano manifold $X$ with nef tangent bundle is of flag-type if it has the same type of elementary contractions as a complete flag manifold. In this paper we present a method to associate a Dynkin diagram $\mathcal{D}(X)$ with any such $X$, based on the numerical properties of its contractions. We then show that $\mathcal{D}(X)$ is the Dynkin diagram of a semisimple Lie group. As an application we prove that Campana-Peternell conjecture holds when $X$ is a flag-type manifold whose Dynkin diagram is $A_n$ ($X$ is shown to be the complete flag in $\mathbb{P}^n$).
In this paper, we study almost nef regular foliations. We give a structure theorem of a smooth projective variety $X$ with an almost nef regular foliation $\mathcal{F}$: $X$ admits a smooth morphism $f: X \rightarrow Y$ with rationally connected fibers such that $\mathcal{F}$ is a pullback of a numerically flat regular foliation on $Y$. Moreover, $f$ is characterized as a relative MRC fibration of an algebraic part of $\mathcal{F}$. As a corollary, an almost nef tangent bundle of a rationally connected variety is generically ample. For the proof, we generalize Fujita's decomposition theorem. A…
Let $X$ be a smooth complex projective variety with nef $\bigwedge^2 T_X$ and $\dim X \geq 3$. We prove that, up to a finite étale cover $\tilde{X} \to X$, the Albanese map $\tilde{X} \to {\rm Alb}(\tilde{X})$ is a locally trivial fibration whose fibers are isomorphic to a smooth Fano variety $F$ with nef $\bigwedge^2 T_F$. As a bi-product, we see that either $T_X$ is nef or $X$ is a Fano variety. Moreover we study a contraction of a $K_X$-negative extremal ray $φ: X \to Y$. In particular, we prove that $X$ is isomorphic to the blow-up of a projective space at a point if $φ$ is of birational t…
In this paper we study holomorphic vector bundles with singular Hermitian metrics whose curvature are Hermitian matrix currents. We obtain an extension theorem for holomorphic jet sections of nef holomorphic vector bundle on compact Kähler manifolds. Using it we prove that Fano manifolds with strong Griffiths nef tangent bundles are rational homogeneous spaces.
We prove a canonical bundle formula for generically finite morphisms in the setting of generalized pairs (with $\mathbb{R}$-coefficients). This complements Filipazzi's canonical bundle formula for morphisms with connected fibres. It is then applied to obtain a subadjunction formula for log canonical centers of generalized pairs. As another application, we show that the image of an anti-nef log canonical generalized pair has the structure of a numerically trivial log canonical generalized pair. This readily implies a result of Chen--Zhang. Along the way we prove that the Shokurov type convex se…
We study the positivity of exterior powers of the tangent sheaf on toric varieties in order to generalize results by Campana and Peternell about 3-folds with nef second exterior power of the tangent bundle. Using the theory of equivariant vector bundles and the toric MMP, we establish in the smooth case a criterion for the positivity of $Λ^m\mathcal T_X$ in terms of wall relations. As an application, we classify smooth toric varieties of arbitrary dimension $n\ge3$ with $Λ^2\mathcal T_X$ nef and those of dimension $n\ge 4$ with $Λ^3\mathcal T_X$ ample.
To a generically big adelic divisor, we can associate an arithmetic Okounkov body, which is a pair of the geometric Okounkov body and the concave transform of the Green functions. In this paper, we show that the infimum of the concave transform is given by the absolute minimum provided that the divisor is vertically nef. This is a partial generalization of results of Moriwaki (in the curve case) and of Burgos Gil-Moriwaki-Philippon-Sombra (in the toric case).
Let $(X, ω_X)$ be a compact Kähler manifold such that the anticanonical bundle $-K_X$ is nef. We prove that the slopes of the Harder-Narasimhan filtration of the tangent bundle with respect to a polarization of the form $ω_X^{n-1}$ are semi-positive. As an application, we give a characterization of rationally connected compact Kähler manifolds with nef anticanonical bundles. As another application, we give a simple proof of the surjectivity of the Albanese map.
In this paper, we prove that given a flat generically smooth morphism between smooth projective varieties with $F$-pure closed fibers, if the source space is Fano, weak Fano or a variety with the nef anti-canonical divisor, then so is the target space. We also show that relative anti-canonical divisors of generically smooth surjective nonconstant morphisms are not nef and big in arbitrary characteristic.
We approach non-divisorial base loci of big and nef line bundles on irreducible symplectic varieties. While for K3 surfaces, only divisorial base loci can occur, nothing was known about the behaviour of non-divisorial base loci for more general irreducible symplectic varieties. We determine the base loci of all big and nef line bundles on the Hilbert scheme of two points on very general K3 surfaces of genus two and on their birational models. Remarkably, we find an ample line bundle with a non-trivial base locus in codimension two. We deduce that, generically in the moduli spaces of polarized …
We use Totaro's examples of non-semiample nef line bundles on smooth projective surfaces over finite fields to construct nef line bundles for which the first cohomology group cannot be killed by any generically finite covers. This is used to show a similar example of a nef and big line bundle on a smooth projective threefold over a finite field. This improves some examples of Bhatt and answers some of his questions. Finally, we prove a new vanishing theorem for the first cohomology group of strictly nef line bundles on projective varieties defined over finite fields.
In this paper, we show that if the tangent bundle of a smooth projective variety is strictly nef, then it is isomorphic to a projective space; if a projective variety $X^n$ $(n>4)$ has strictly nef $Λ^2 TX$, then it is isomorphic to $\mathbb{P}^n$ or quadric $\mathbb{Q}^n$. We also prove that on elliptic curves, strictly nef vector bundles are ample, whereas there exist Hermitian flat and strictly nef vector bundles on any smooth curve with genus $g\geq 2$.
We prove that a projective contact manifold X with second Betti number at least 2 whose canonical bundle K_X is not nef, is always the projectivised tangent bundle P(T_Y) of a projective manifold Y. It is expected that the canonical bundle of a projective contact manifold is never nef; we prove this unless possibly K_X^2 = 0 and K_X is not numerically trivial. Moreover we study more generally nef subsheaves of rank 1 in the cotangent bundle which are proportional to the canonical bundle.
Given a covering f: X \to Y of projective manifolds, we consider the vector bundle E on Y given as the dual of f_*(Ø_X) / Ø_Y. This vector bundles often has positivity properties, e.g. E is ample when Y is projective space by a theorem of Lazarsfeld. In general however E will not be ample due to the geometry of Y. We prove various results when E is spanned, nef or generically nef, under some assumptions on the base Y.
We consider dominant, generically algebraic, and tamely ramified (if the characteristic is positive) morphisms $π: X/S \to Y/S$, where Y,S are Noetherian and integral and X is a Krull scheme (e.g. normal Noetherian), and study the sheaf of tangent vector fields on Y that lift to tangent vector fields on X. We give an easily computable description of these vector fields using valuations along the critical locus. We generalise to positive characteristic Seidenberg's theorem on lifting tangent vector fields to the normalisation. If $π$ is a blow-up of a coherent ideal I we show that tangent vecto…
We give a criterion for the projectivisation of a reflexive sheaf on a klt space to be induced by a projective representation of the fundamental group of the smooth locus. This criterion is then applied to give a characterisation of finite quotients of projective spaces and Abelian varieties by $\mathbb{Q}$-Chern class (in)equalities and a suitable stability condition. This stability condition is formulated in terms of a naturally defined extension of the tangent sheaf by the structure sheaf. We further examine cases in which this stability condition is satisfied, comparing it to K-semistabili…
Let $(X, D)$ be a logarithmic pair, and let $h$ be a singular metric on the tangent bundle, smooth on the open part of $X$. We give sufficient conditions on the curvature of $h$ for the logarithmic and the standard cotangent bundles to be big. As an application, we give a metric proof of the bigness of logarithmic cotangent bundle on any toroidal compactification of a bounded symmetric domain. Then, we use this singular metric approach to study the bigness and the nefness of the standard tangent bundle in the more specific case of the ball. We obtain effective ramification orders for a cover $…
We prove the Lipman-Zariski conjecture for complex surface singularities of genus one, and also for those of genus two whose link is not a rational homology sphere. As an application, we characterize complex $2$-tori as the only normal compact complex surfaces whose smooth locus has trivial tangent bundle. We also deduce that all complex-projective surfaces with locally free and generically nef tangent sheaf are smooth, and we classify them.
In this note, we continue the investigation of a projective Kähler manifold $M$ of semi-negative holomorphic sectional curvature $H$. We introduce a new differential geometric numerical rank invariant which measures the number of linearly independent {\it truly flat} directions of $H$ in the tangent spaces. We prove that this invariant is bounded above by the nef dimension and bounded below by the numerical Kodaira dimension of $M$. We also prove a splitting theorem for $M$ in terms of the nef dimension and, under some additional hypotheses, in terms of the new rank invariant.
We compute Seshadri constants of a torus equivariant nef vector bundle on a projective space satisfying certain conditions. As an application, we compute Seshadri constants of tangent bundles on projective spaces. We also consider equivariant nef vector bundles on Bott towers of height 2 (i.e. Hirzebruch surfaces) and Bott towers of height 3 respectively. Assuming some conditions on the minimal slope of the restrictions of these bundles to invariant curves, we give precise values of Seshadri constant at an arbitrary point. We also give several examples illustrating our results.
We provide supplements and open problems related to structure theorems for maximal rationally connected fibrations of certain positively curved projective varieties, including smooth projective varieties with semi-positive holomorphic sectional curvature, pseudo-effective tangent bundle, and nef anti-canonical divisor.
Let $M$ and $N$ be two compact complex manifolds. We show that if the tautological line bundle $\mathscr{O}_{T_M^*}(1)$ is not pseudo-effective and $\mathscr{O}_{T_N^*}(1)$ is nef, then there is no non-constant holomorphic map from $M$ to $N$. In particular, we prove that any holomorphic map from a compact complex manifold $M$ with RC-positive tangent bundle to a compact complex manifold $N$ with nef cotangent bundle must be a constant map. As an application, we obtain that there is no non-constant holomorphic map from a compact Hermitian manifold with positive holomorphic sectional curvature …
For a class of monadic deformations of the tangent bundles over nef-Fano smooth projective toric varieties, we study the correlators using quantum sheaf cohomology. We prove a summation formula for the correlators, confirming a conjecture by McOrist and Melnikov in physics literature. This generalizes the Szenes-Vergne proof of Toric Residue Mirror Conjecture for hypersurfaces.
A well known result of Miyaoka asserts that a complex projective manifold is uniruled if its cotangent bundle restricted to a general complete intersection curve is not nef. Using the Harder-Narasimhan filtration of the tangent bundle, it can moreover be shown that the choice of such a curve gives rise to a rationally connected foliation of the manifold. In this note we show that, conversely, a movable curve can be found so that the maximal rationally connected fibration of the manifold may be recovered as a term of the associated Harder-Narasimhan filtration of the tangent bundle.
Let $C$ be a Petri general curve of genus $g$ and $E$ a general stable vector bundle of rank $r$ and slope $g-1$ over $C$ with $h^0 (C, E) = r+1$. For $g > (2r+2)(2r+1)$, we show how the bundle $E$ can be recovered from the tangent cone to the theta divisor $Θ_E$ at ${\mathcal O}_C$. We use this to give a constructive proof and a sharpening of Brivio and Verra's theorem that the theta map $SU_C (r) -rightarrow |r Θ|$ is generically injective for large values of $g$.
In this paper we classify rank two Fano bundles $\cE$ on Fano manifolds satisfying $H^2(X,\Z)\cong H^4(X,\Z)\cong\Z$. The classification is obtained via the computation of the nef and pseudoeffective cones of the projectivization ${\mathbb{P}}(\cE)$, that allows us to obtain the cohomological invariants of $X$ and $\cE$. As a by-product we discuss Fano bundles associated to congruences of lines, showing that their varieties of minimal rational tangents may have several linear components.
For a smooth, projective family of homogeneous varieties defined over a number field, we show that if potential density holds for the rational points of the base, then it also holds for the total space. A conjecture of Campana and Peternell, known in dimension at most 4 and for certain higher dimensional cases, would then imply potential density for the rational points of smooth projective varieties over number fields whose tangent bundle is nef.
Given a complex projective manifold $X$ and a divisor $D$ with normal crossings, we say that the logarithmic tangent bundle $T_X(-\log D)$ is R-flat if its pull-back to the normalization of any rational curve contained in $X$ is the trivial vector bundle. If moreover $-(K_X+D)$ is nef, then the log canonical divisor $K_X+D$ is torsion and the maximally rationally chain connected fibration turns out to be a smooth locally trivial fibration with typical fiber $F$ being a toric variety with boundary divisor $D_{|F}$.
We consider a complete nonsingular variety $X$ over $\bC$, having a normal crossing divisor $D$ such that the associated logarithmic tangent bundle is generated by its global sections. We show that $H^i\big(X, L^{-1} \otimes Ω_X^j(\log D)\big) = 0$ for any nef line bundle $L$ on $X$ and all $i < j - c$, where $c$ is an explicit function of $(X,D,L)$. This implies e.g. the vanishing of $H^i(X, L \otimes Ω_X^j)$ for $L$ ample and $i > j$, and gives back a vanishing theorem of Broer when $X$ is a flag variety.