We prove that the direct image of an anti-ample vector bundle is anti-ample under any finite flat morphism of non-singular projective varieties. In the second part we prove some properties of big and nef vector bundles. In particular it is shown that the tensor product of a nef vector bundle with a nef and big vector bundle is again nef and big. This generalizes a result of Schneider.
Let $\mathcal{E}$ be an ample vector bundle of rank $r\geq 2$ on a smooth complex projective variety $X$ of dimension $n$. The aim of this paper is to describe the structure of pairs $(X,\mathcal{E})$ as above whose adjoint bundles $K_X+\det\mathcal{E}$ are not nef for $r=n-3$. Furthermore, we give some immediate consequences of this result in adjunction theory.
The goal of this work is to study positivity of subvarieties with nef normal bundle in the sense of intersection theory. After Ottem's work on ample subschemes, we introduce the notion of a nef subscheme, which generalizes the notion of a subvariety with nef normal bundle. We show that restriction of a pseudoeffective (resp. big) divisor to a nef subvariety is pseudoeffective (resp. big). We also show that ampleness and nefness are transitive properties. We define the weakly movable cone as the cone generated by the pushforward of cycle classes of nef subvarieties via proper surjective maps. T…
In this short note we will show that every homogeneous strictly nef vector bundle on a complex flag variety is ample. Following this, we consider whether ampleness of a bundle on an abelian variety can be tested on curves.
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.
A necessary and sufficient condition is given for semi-ampleness of a numerically effective (nef) and big line bundle in positive characteristic. One application is to the geometry of the universal stable curve over M_g, specifically, the semi-ampleness of the relative dualizing sheaf, in positive characteristic. An example is given which shows this and the semi-ampleness criterion fail in characteristic zero. A second application is to Mori's program for minimal models of 3-folds in positive characteristic, namely, to the existence of birational extremal contractions.
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.
Serrrano's Conjecture says that if $L$ is a strictly nef line bundle on a smooth projective variety $X$, then $K_X+tL$ is ample for $ t > dim X+1$. In this paper I will prove a few cases of this conjecture. I will also prove a generalized version of this conjecture (due to Campana, Chen and Peternell) for surfaces. In the last section, assuming the SHGH conjecture, I will give a series of examples of strictly nef non ample divisors on surfaces of arbitary Kodaira dimension.
We give a criterion for a nef divisor $D$ to be semiample on a Calabi--Yau threefold $X$ when $D^3=0=c_2(X)\cdot D$ and $c_3(X)\neq 0$. As a direct consequence, we show that on such a variety $X$, if $D$ is strictly nef and $ν(D)\neq 1$, then $D$ is ample; we also show that if there exists a nef non-ample divisor $D$ with $D\not\equiv 0$, then $X$ contains a rational curve when its topological Euler characteristic is not $0$.
We prove that if $(X,A+B)$ is a pair defined over an algebraically closed field of positive characteristic such that $(X,B)$ is strongly $F$-regular, $A$ is ample and $K_X+A+B$ is strictly nef, then $K_X+A+B$ is ample. Similarly, we prove that for a log pair $(X,A+B)$ with $A$ being ample and $B$ effective, $K_X+A+B$ is big if it is nef and of maximal nef dimension. As an application, we establish a rationality theorem for the nef threshold and various results towards the minimal model program in dimension three in positive characteristic.
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 show that a nef and big line bundle whose adjoint bundle has non-zero global sections on a nonsingular toric weak Fano 3-fold is normally generated. As a consequence, we see that all ample line bundles on a nonsingular toric weak Fano 3-fold are normally generated. We also show that an ample line bundle whose adjoint bundle has non-zero global sections on a Gorensein toric Fano 3-fold is normally generated. In our proof we do not use full classifications of Fano polytopes.
In this article we prove new results on projective normality and normal presentation of adjunction bundle associated to an ample and globally generated line bundle on higher dimensional smooth projective varieties with nef canonical bundle. As one of the consequences of the main theorem, we give bounds on very ampleness and projective normality of pluricanonical linear systems on varieties of general type in dimensions three, four and five. These improve known such results.
We investigate the nef cone spanned by the diagonal and the fibre classes of second symmetric product of a curve of genus $g$. This 2-dimensional nef cone gives a characterization of double covers of curves of genus $\le \frac{g-1}{8}$. This is a generalization of a result by Debarre.
In this paper, we classify projective toric birational morphisms from Gorenstein toric 3-folds onto the 3-dimensional affine space with relatively ample anti-canonical divisors.
We show that an equivariant vector bundle on a complete toric variety is nef or ample if and only if its restriction to every invariant curve is nef or ample, respectively. Furthermore, we show that nef toric vector bundles have a nonvanishing global section at every point, and deduce that the underlying vector bundle is trivial if and only if its restriction to every invariant curve is trivial. We apply our methods and results to study, in particular, the vector bundles M_L that arise as the kernel of the evaluation map on sections of L, when L is an ample line bundle. We give examples of twi…
By using classical invariant theory, we reduce the $S_{n}$-invariant F-conjecture to a feasibility problem in polyhedral geometry. We show by computer that for $n \le 19$, every integral $S_{n}$-invariant F-nef divisor on the moduli space of genus zero stable pointed curves is semi-ample, over arbitrary characteristic. Furthermore, for $n \le 16$, we show that for every integral $S_{n}$-invariant nef (resp. ample) divisor $D$ on the moduli space, $2D$ is base-point-free (resp. very ample). As applications, we obtain the nef cone of the moduli space of stable curves without marked points, and t…
In continuation of our paper in Math. Ann. 333 we classify smooth complex projective threefolds X with -K_X big and nef but not ample and Picard number 2, whose anticanonical map is small. We assume also that the Mori contraction of X and of its flop are not both birational.
We study lc pairs polarized by a nef and log big divisor. After proving the minimal model theory for projective lc pairs polarized by a nef and log big divisor, we prove the effectivity of the Iitaka fibrations and some boundedness results for dlt pairs polarized by a nef and log big divisor.
We solve Teissier's proportionality problem for transcendental nef classes over a compact Kähler manifold which says that the equality in the Khovanskii-Teissier inequalities hold for two nef and big classes if and only if the two classes are proportional. This result recovers the previous one of Boucksom-Favre-Jonsson for the case of nef and big line bundles over a (complex) projective algebraic manifold.
We start the classification of smooth projective threefolds X whose anticanonical bundles -K_X are big and nef but not ample. In this paper we treat the case b_2(X) = 2 and the morphism associated with the base point free linear system |-mK_X|, m>>0, is divisorial.
Under some conditions on the deformation type, which we expect to be satisfied for arbitrary irreducible symplectic varieties, we describe which big and nef line bundles on irreducible symplectic varieties have base divisors. In particular, we show that such base divisors are always irreducible and reduced. This is applied to understand the behaviour of divisorial base components of big and nef line bundles under deformations and for K3$^{[n]}$-type and Kum$^n$-type.
Let $E$ be an ample vector bundle of rank $r$ on a projective variety $X$ with only log-terminal singularities. We consider the nefness of adjoint divisors $K_X+(t-r)det(E)$ when $t>=dim(X)$ and $t>r$. As a corollary, we classify pairs $(X,E)$ with $c_r$-sectional genus zero.
We reduce the Abundance Conjecture in dimension 4 to the following numerical statement: if the canonical divisor K is nef and has maximal nef dimension, then K is big. From this point of view, we ``classify'' in dimension 2 nef divisors which have maximal nef dimension, but which are not big.
Any ample Cartier divisor D on a projective variety X is strictly nef (i.e. D.C>0 for any effective curve C on X). In general, the converse statement does not hold. But this is conjectured to be true for anticanonical divisors. The present paper establishes this fact for normal complex projective threefolds with canonical singularities. This result extends several previously known special cases. The proof rests mainly on sophisticated techniques of three dimensional birational geometry developed in the last two decades.
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 …
Let X be a smooth projective threefold, and let A be an ample line bundle such that $K_X+A$ is nef. We show that if $K_X$ or $-K_X$ is pseudoeffective, the adjoint bundle $K_X+A$ has global sections. We also give a very short proof of the Beltrametti-Sommese conjecture in dimension three, recently proven by Fukuma: if A is an ample line bundle such that $K_X+2A$ is nef, the adjoint bundle $K_X+2A$ has global sections.
By proving an integral formula of the curvature tensor of $E\ts \det E$, we observe that the curvature tensor of $E\ts \det E$ is very similar to that of a line bundle and obtain certain new Kodaira-Akizuki-Nakano type vanishing theorems for vector bundles. As special cases, we deduce vanishing theorems for ample, nef and globally generated vector bundles by analytic method instead of the Leray-Borel-Le Potier spectral sequence.
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.
Let X be a smooth projective surface of irregularity 0. The Hilbert scheme of n points on X parameterizes zero-dimensional subschemes of X of length n. In this paper, we discuss general methods for studying the cone of ample divisors on the Hilbert scheme. We then use these techniques to compute the cone of ample divisors on the Hilbert scheme for several surfaces where the cone was previously unknown. Our examples include families of surfaces of general type and del Pezzo surfaces of degree 1. The methods rely on Bridgeland stability and the Positivity Lemma of Bayer and Macri.
In this article, we give a description of the closed cone of curves of the projective bundle $\mathbb{P}(E)$ over a smooth projective variety $X$. Using duality, we then calculate the nef cone of divisors in $\mathbb{P}(E)$ over some special surfaces $X$ and for some special bundles on $X$. As an application, we also calculate the Seshadri constants of semistable ample vector bundles with vanishing discriminant on some special ruled surfaces at special points.
We prove that Seshadri constants of some ample divisors are bigger than 1 on smooth threefolds whose anticanonical bundle is nef or on Fano varieties of small coindice. The main tools are (some known cases of) the Kawamata's effective non-vanishing conjecture and the adjunction theory. We prove the non-vanishing conjecture in dimension 3 in the case of line bundles of "high" volume using Kawamata's subadjunction formula.
Let $X = \mathbb{P}(E_1) \times_C \mathbb{P}(E_2)$ where $C$ is a smooth curve and let $E_1$, $E_2$ be vector bundles over $C$. In this paper, we extend the results in \cite{K-M-R} by computing the nef cone of $X$ without restriction on the rank or semistability of $E_1$ and $E_2$. We also study the Seshadri constants of ample line bundles on $X$. We calculate the Seshadri constants in some cases and give bounds in some of the remaining cases.
Let $L$ be an ample line bundle over a smooth projective toric surface $X$. Then $L$ corresponds to a very ample lattice polytope $P$ that encodes many geometric properties of $L$. In this article, by studying $P$, we will give some necessary and sufficient numerical criteria for the adjoint series $|K_X+L|$ to be either nef or (very) ample.
A $k$-very ample line bundle L on a Del Pezzo Surface is numerically characterized. We find that the set of the exceptional curves and effective divisors with selfintersection zero, $\cal S$, plays a very important rule in checking the nefness and $k$-very ampleness of a line bundle on a Del pezzo Surface. We show that a line bundle L is nef if and only if it is spanned and that L is $k$-very ample if and only if the intersection with all the elements of $\cal S$ is greater or equal than k. In the first part of the paper we give a complete numerical description of the elements of $\cal S$ .
We study tautological vector bundles over the Hilbert scheme of points on surfaces. For each K-trivial surface, we write down a simple criterion ensuring that the tautological bundles are big and nef, and illustrate it by examples. In the K3 case, we extend recent constructions and results of Bini, Boissière and Flamini from the Hilbert scheme of 2 and 3 points to an arbitrary number of points. Among the K-trivial surfaces, the case of Enriques surfaces is the most involved. Our techniques apply to other smooth projective surfaces, including blowups of K3s and minimal surfaces of general type,…
We study torus-equivariant vector bundles $E$ on a complex projective variety $X$ which is either a Bott-Samelson-Demazure-Hansen variety or a wonderful compactification of a complex symmetric variety of minimal rank. We show that $E$ is nef (respectively, ample) if and only if its restriction to every torus--invariant curve in $X$ is nef (respectively, ample). We also compute the Seshadri constants $\varepsilon(E,x)$, where $x\, \in\, X$ is any point fixed by the action of a maximal torus.
Let $X$ be the wonderful compactification of a complex symmetric space $G/H$ of minimal rank. For a point $x\,\in\, G$, denote by $Z$ be the closure of $BxH/H$ in $X$, where $B$ is a Borel subgroup of $G$. The universal cover of $G$ is denoted by $\widetilde{G}$. Given a $\widetilde{G}$ equivariant vector bundle $E$ on $X,$ we prove that $E$ is nef (respectively, ample) if and only if its restriction to $Z$ is nef (respectively, ample). Similarly, $E$ is trivial if and only if its restriction to $Z$ is so.
In this note, we give a brief exposition on the differences and similarities between strictly nef and ample vector bundles, with particular focus on the circle of problems surrounding the geometry of projective manifolds with strictly nef bundles.
Let $(X, Δ)$ be a projective klt three dimensional pair defined over an algebraically closed field characteristic larger than 5. Let $L$ be a nef and big line bundle on $X$ such that $L-K_X-Δ$ is big and nef. We show that $L$ is indeed semi-ample.
Let $X$ be a smooth projective variety over an algebraically closed field $\mathbb{K}$ with arbitrary characteristic. Suppose $L$ is an ample and globally generated line bundle. By Castelnuovo--Mumford regularity, we show that $K_X \otimes L^{\otimes \dim X} \otimes A$ is globally generated and $K_X \otimes L^{\otimes (\dim X+1)} \otimes A$ is very ample, provided the line bundle $A$ is nef but not numerically trivial. On complex projective varieties, by investigating Kawamata-Viehweg-Nadel type vanishing theorems for vector bundles, we also obtain the global generation for adjoint vector bund…
We introduce and study the GIT CONE of $\bar{M}_{0,n}$, which is generated by the pullbacks of the natural ample line bundles on the GIT quotients $(\mathbb P^1)^n//SL(2)$. We give an explicit formula for these line bundles and prove a number of basic results about the GIT cone. As one application, we prove unconditionally that the log canonical models of $\bar{M}_{0,n}$ with a symmetric boundary divisor coincide with the moduli spaces of weighted curves or with the symmetric GIT quotient, extending the result of Matt Simpson arXiv:0709.4037. (Cf. also a different proof by Fedorchuk and Smyth …
It is well known that a smooth projective Fano variety is rationally connected. Recently Zhang (and later Hacon and McKernan as a special case of their work on the Shokurov RC-conjecture) proved that the same conclusion holds for a klt pair $(X,\D)$ such that $-(K_X+\D)$ is big and nef. We prove here a natural generalization of the above result by dropping the nefness assumption. Namely we show that a klt pair $(X,\D)$ such that $-(K_X+\D)$ is big is rationally connected modulo the non-nef locus of $-(K_X+\D)$. This result is a consequence of a more general structure theorem for arbitrary pair…
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 complete algebraic variety over {\bf C}. We consider a log variety $(X,Δ)$ that is weakly Kawamata log terminal. We assume that $K_X+Δ$ is a {\bf Q}-Cartier {\bf Q}-divisor and that every irreducible component of $\lfloor Δ\rfloor$ is {\bf Q}-Cartier. A nef and big Cartier divisor $H$ on $X$ is called {\it nef and log big} on $(X,Δ)$ if $H |_B$ is nef and big for every center $B$ of non-"Kawamata log terminal" singularities for $(X,Δ)$. We prove that, if $L$ is a nef Cartier divisor such that $aL-(K_X+Δ)$ is nef and log big on $(X,Δ)$ for some $a \in$ {\bf N}, then the complete li…
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 the pull back of an ample line bundle by an almost holomorphic Lagrangian fibration is nef. As an application, we show birational semi rigidity of Lagrangian fibrations.
A broadly applicable geometric approach for constructing nef divisors on blow ups of algebraic surfaces at n general points is given; it works for all surfaces in all characteristics for any n. This construction is used to obtain substantial improvements for currently known lower bounds for n point Seshadri constants. Remarks are included about a range of applications to classical problems involving linear systems on P2.
A recent paper of Totaro develops a theory of $q$-ample bundles in characteristic 0. Specifically, a line bundle $L$ on $X$ is $q$-ample if for every coherent sheaf $\mathcal{F}$ on $X$, there exists an integer $m_0$ such that $m\geq m_0$ implies $H^i(X,\mathcal{F}\otimes \mathcal{O}(mL))=0$ for $i>q$. We show that a line bundle $L$ on a complex projective scheme $X$ is $q$-ample if and only if the restriction of $L$ to its augmented base locus is $q$-ample. In particular, when $X$ is a variety and $L$ is big but fails to be $q$-ample, then there exists a codimension 1 subscheme $D$ of $X$ suc…
In this article, we consider the projective bundle $\mathbb{P}_X(E)$ over a smooth complex projective variety $X$, where $E$ is a semistable bundle on $X$ with $c_2(End(E)) =0$. We give a necessary and sufficient condition to get the equality $ Nef^1\bigl(\mathbb{P}_X(E)\bigr) = \overline{Eff}^1\bigl(\mathbb{P}_X(E)\bigr)$ of nef cone and pseudoeffective cone of divisors in $\mathbb{P}_X(E)$. As an application of our result, we show the equality of nef and pseudoeffective cones of divisors of projective bundles over some special varieties. In particular, we show that weak Zariski decomposition…
Let $\Cal E$ be a very ample vector bundle of rank two on a smooth complex projective threefold $X$. An inequality about the third Segre class of $\Cal E$ is provided when $K_X+\det \Cal E$ is nef but not big, and when a suitable positive multiple of $K_X+\det \Cal E$ defines a morphism $X\to B$ with connected fibers onto a smooth projective curve $B$, where $K_X$ is the canonical bundle of $X$. As an application, the case where the genus of $B$ is positive and $\Cal E$ has a global section whose zero locus is a smooth hyperelliptic curve of genus $\geq 2$ is investigated, and our previous res…
