We give a simple combinatorial proof of the toric version of Mori's theorem that the only $n$-dimensional smooth projective varieties with ample tangent bundle are the projective spaces $\mathbb{P}^n$.
In this note we study properties of partially ample line bundles on simplicial projective toric varieties. We prove that the cone of q-ample line bundles is a union of rational polyhedral cones, and calculate these cones in examples. We prove a restriction theorem for big q-ample line bundles, and deduce that q-ampleness of the anticanonical bundle is not invariant under flips. Finally we prove a Kodaira-type vanishing theorem for q-ample line bundles.
Let $\sE$ be an ample rank $r$ bundle on a smooth toric projective surface, $S$, whose topological Euler characteristic is $e(S)$. In this article, we prove a number of surprisingly strong lower bounds for $c_1(\sE)^2$ and $c_2(\sE)$. We also enumerate the exceptions to either the inequality $c_1(\sE)^2\ge 4e(S)$ or the inequality $c_2(\sE)\ge e(S)$ holding.
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.
This paper generalises Mori's famous theorem about "Projective manifolds with ample tangent bundles" to normal projective varieties in the following way: A normal projective variety over $\mathbb{C}$ with ample tangent sheaf is isomorphic to the complex projective space.
We introduce a collection of convex polytopes associated to a torus-equivariant vector bundle on a smooth complete toric variety. We show that the lattice points in these polytopes correspond to generators for the space of global sections and we relate edges to jets. Using the polytopes, we also exhibit toric vector bundles that are ample but not globally generated, and toric vector bundles that are ample and globally generated but not very ample.
When a reductive group acts on an algebraic variety, a linearized ample line bundle induces a stratification on the variety where the strata are ordered by the degrees of instability. In this paper, we study variation of stratifications coming from the group actions in the GIT quotient construction for projective toric varieties. Cox showed that each projective toric variety is a GIT quotient of an affine space by a diagonalizable group with respect to linearizations that come from ample divisors on the toric variety. We provide a sufficient conditions for two ample divisors to induce the same…
We study ample vector bundles on smooth projective stacks. In particular, we prove that the tangent bundle for the weighted projective stack $\mathbb{P}(a_0,...,a_n)$ is ample. A result of Mori shows that the only smooth projective varieties with ample vector bundle are isomorphic to $\mathbb{P}^N$ for some $N$. Extending our geometric spaces from varieties to projective stacks, we are able to provide a new example. This leaves the open question of knowing if the only smooth projective stacks are the weighted projective stacks.
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…
We present a self-contained combinatorial approach to Fujita's conjectures in the toric case. Our main new result is a generalization of Fujita's very ampleness conjecture for toric varieties with arbitrary singularities. In an appendix, we use similar methods to give a new proof of an analogous toric generalization of Fujita's freeness conjecture due to Fujino.
The purpose of this paper is to translate positivity properties of the tangent bundle (and the anti-canonical bundle) of an algebraic manifold into existence and movability properties of rational curves and to investigate the impact on the global geometry of the manifold $X$. Among the results we prove are these: \quad If $X$ is a projective manifold, and ${\cal E} \subset T_X$ is an ample locally free sheaf with $n-2\ge rk {\cal E}\ge n$, then $X \simeq \EP_n$. \quad Let $X$ be a projective manifold. If $X$ is rationally connected, then there exists a free $T_X$-ample family of (rational) cur…
In this paper we construct a degeneration of Bott-Samelson-Demazure-Hansen varieties to toric varieties in an algebraic family and study the geometry of the resulting toric varieties. We give a natural set of torus invariant curves that generate the Chow group of $1$-cycles of the limiting toric variety and express the ample cone of this toric variety as a sub-cone of the ample cone of the corresponding Bott-Samelson-Demazure-Hansen variety. We also give a description of Extremal and Mori rays and determine when this toric variety is Fano.
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.
Jet ampleness of line bundles generalizes very ampleness by requiring the existence of enough global sections to separate not just points and tangent vectors, but also their higher order analogues called jets. We give sharp bounds guaranteeing that a line bundle on a projective toric variety is $k$-jet ample in terms of its intersection numbers with the invariant curves, in terms of the lattice lengths of the edges of its polytope, in terms of the higher concavity of its piecewise linear function and in terms of its Seshadri constant. For example, the tensor power $k+n-2$ of an ample line bund…
In this paper, using Klyachko's classification theorem we study positivity and semi-stability of toric vector bundles on a class of nonsingular projective toric varieties, known as Bott towers. In particular, we give a criterion of $s$-jet ampleness of line bundles and characterize nef and big line bundles on Bott towers using Bott numbers. We obtain a criterion for the ampleness of discriminant zero semi-stable toric vector bundles on nonsingular projective varieties. We also describe toric subbundles of toric vector bundles on nonsingular toric varieties.
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.
We give a combinatorial criterion for the tangent bundle on a smooth toric variety to be stable with respect to a given polarisation in terms of the corresponding lattice polytope. Furthermore, we show that for a smooth toric surface and a smooth toric variety of Picard rank 2, there exists an ample line bundle with respect to which the tangent bundle is stable if and only if it is an iterated blow-up of projective space.
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 prove that special ample line bundles on toric varieties arising from root systems are projectively normal. Here the maximal cones of the fans correspond to the Weyl chambers, and special means that the bundle is torus-equivariant such that the character of the line bundle that corresponds to a maximal Weyl chamber is dominant with respect to that chamber. Moreover, we prove that the associated semigroup rings are quadratic.
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.
We show that the second Chern character of any projective toric manifold of Picard number three is not ample. In connection with this result, we give various examples of the positivity of higher Chern characters of projective toric manifolds.
Let $X$ be a nonsingular complex projective toric variety. We address the question of semi-stability as well as stability for the tangent bundle $T{X}$. In particular, a complete answer is given when $X$ is a Fano toric variety of dimension four with Picard number at most two, complementing earlier work of Nakagawa. We also give an infinite set of examples of Fano toric varieties for which $TX$ is unstable; the dimensions of this collection of varieties are unbounded. Our method is based on the equivariant approach initiated by Klyachko and developed further by Perling and Kool.
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 toric polyhedron is a reduced closed subscheme of a toric variety that are partial unions of the orbits of the torus action. We prove vanishing theorems for toric polyhedra. We also give a proof of the $E_1$-degeneration of Hodge to de Rham type spectral sequence for toric polyhedra in any characteristic. Finally, we give a very powerful extension theorem for ample line bundles.
We give new estimates of lengths of extremal rays of birational type for toric varieties. We can see that our new estimates are the best by constructing some examples explicitly. As applications, we discuss the nefness and pseudo-effectivity of adjoint bundles of projective toric varieties. We also treat some generalizations of Fujita's freeness and very ampleness for toric varieties.
Let $(X, A)$ be a nonsingular polarized toric 3-fold. We show that if the adjoint bundle of $A$ has no glabal section, then all ample line bundles on $X$ are normally generated. Even if the adjoint bundle is effective, if it is not big, then it is shown the normal generation. In particular, we show that all ample line bundles on a nonsingular toric Fano 3-fold are normally generated.
This paper is devoted to settle two still open problems, connected with the existence of ample and nef divisors on a Q-factorial complete toric variety. The first problem is about the existence of ample divisors when the Picard number is 2: we give a positive answer to this question, by studying the secondary fan by means of Z-linear Gale duality. The second problem is about the minimum value of the Picard number allowing the vanishing of the Nef cone: we present a 3-dimensional example showing that this value cannot be greater then 3, which, under the previous result, is also the minimum valu…
We prove several asymptotic vanishing theorems for Frobenius twists of ample vector bundles in positive characteristic. As an application, we prove a generalization of the Bott-Danilov-Steenbrink vanishing theorem for ample vector bundles on toric varieties.
We prove the Integral Hodge Conjecture for curve classes on smooth varieties of dimension at least three with nef anticanonical divisor constructed as a complete intersection of ample hypersurfaces in a smooth toric variety. In particular, this includes the case of smooth anticanonical hypersurfaces in toric Fano varieties. In fact, using results of Casagrande and the toric MMP, we prove that in each case, $H_2(X,\mathbb{Z})$ is generated by classes of rational curves.
Let X be a smooth projective toric surface and L and M two line bundles on X. If L is ample and M is generated by global sections, then we show that the natural map from H^0(X,L) tensor H^0(X,M) to H^0(X, L tensor M) is surjective. We also consider a generalization to the case when M is an arbitrary line bundle with h^0(X,M) > 0.
We study the geometry and cohomology of semiample hypersurfaces in toric varieties. Such hypersurfaces generalize the MPCP-desingularizations of Calabi-Yau ample hypersurfaces in the Batyrev mirror construction. We study the topological cup product on the middle cohomology of semiample hypersurfaces. In particular, we obtain a complete algebraic description of the middle cohomology of regular semiample hypersurfaces in 4-dimensional simplicial toric varieties what would be interesting for physics.
We study holomorphic foliations of aribitrary codimension in smooth complete toric varieties. We show that split foliations are stable if some good behaviour of their singular set is provided. As an application of these results, we exhibit irreducible components of the space of foliations that arise as pullbacks of some special T-invariant divisors.
We propose a new construction which associates to any ample (or big) line bundle $L$ on a projective manifold $X$ a canonical growth condition (i.e. a choice of a psh function well-defined up to a bounded term) on the tangent space $T_p X$ of any given point $p$. We prove that it encodes such classical invariants as the volume and the Seshadri constant. Even stronger, it allows you to recover all the infinitesimal Okounkov bodies of $L$ at $p$. The construction is inspired by toric geometry and the theory of Okounkov bodies; in the toric case the growth condition is "equivalent" to the moment …
We study the subvariety of singular sections, the discriminant, of a base point free linear system $|L|$ on a smooth toric variety $X$. On one hand we describe pairs $(X,L)$ for which the discriminant is of low dimension. Precisely, we collect some bounds on this dimension and classify those pairs whose dimension differs the bound less than or equal to two. On the other hand we study the degree of the discriminant for some relevant families on polarized toric varieties, describing their minimal values and the region of the ample cone where this minimal is attained.
We give a bound of $k$ for a very ample lattice polytope to be $k$-normal. Equivalently, we give a new combinatorial bound for the Castelnuovo-Mumford regularity of normal projective toric varieties.
We give a complete answer to the question of (semi)stability of tangent bundle of any nonsingular projective complex toric variety with Picard number 2 by using combinatorial crietrion of (semi)stability of an equivariant sheaf. We also give a complete answer to the question of (semi)stability of tangent bundle of all toric Fano 4-folds with Picard number (\leq) 3 which are classified by Batyrev \cite{batyrev}. We have constructed a collection of equivariant indecomposable rank 2 vector bundles on Bott tower and pseudo-symmetric toric Fano varieties. Further in case of Bott tower, we have show…
Let $(X, A)$ be a polarized nonsingular toric 3-fold with not effective $A+K_X$. Then for any ample line bundle $L$ on $X$ the image of the embedding by the complete linear system of $L$ is an intersections of quadrics.
Tangent Spaces of V^r_d(L), Specific subschemes of C_d arising from various line bundles on C, are described. Then we proceed to prove Martense Theorem for these schemes, by which we determine curves C, which for some very ample line bundle L on C and some integers r and d with d\leq h^{0}(L)-2, the subscheme V^r_d(L) might attain its maximum dimension.
We shall show that the variety of minimal rational tangents on a complete toric manifold X is linear and minimal components in RatCurves^n(X) corresponds bijectively to some special primitive collections in the fan defining X.
We give a characterization of Gorenstein toric Fano varieties of dimension $n$ with index $n$ among toric varieties. As an application, we give a strong version of Fujita's freeness conjecture and also give a simple proof of Fujita's very ampleness conjecture on Gorenstein toric varieties.
We show that if an ample line bundle L on a nonsingular toric 3-fold satisfies h^0(L+2K)=0, then L is normally generated. As an application, we show that the anti-canonical divisor on a nonsingular toric Fano 4-fold is normally generated.
In this paper, we will outline computations of quantum sheaf cohomology for deformations of tangent bundles of toric varieties, for those deformations describable as deformations of toric Euler sequences. Quantum sheaf cohomology is a heterotic analogue of quantum cohomology, a quantum deformation of the classical product on sheaf cohomology groups, that computes nonperturbative corrections to analogues of (27*)^3 couplings in heterotic string computations. Previous computations have relied on either physics-based GLSM techniques or computation-intensive brute-force Cech cohomology techniques.…
The toric residue is a map depending on n+1 semi-ample divisors on a complete toric variety of dimension n. It appears in a variety of contexts such as sparse polynomial systems, mirror symmetry, and GKZ hypergeometric functions. In this paper we investigate the problem of finding an explicit element whose toric residue is equal to one. Such an element is shown to exist if and only if the associated polytopes are essential. We reduce the problem to finding a collection of partitions of the lattice points in the polytopes satisfying a certain combinatorial property. We use this description to s…
Let A be an ample line bundle on a projective toric variety X of dimension n. We show that if l>=n-1+p, then A^l satisfies the property N_p. Applying similar methods, we obtain a combinatorial theorem: For a given lattice polytope P we give a criterion for an integer m to guarantee that mP is normal.
The purpose of this paper is to give an explicit formula which allows one to compute the dimension of the cohomology groups of the sheaf $Ω_¶^p(D)$ of p-th differential forms of Zariski twisted by an ample invertible sheaf on a complete simplicial toric variety. The formula involves some combinatorial sums of integer points over all faces of the support polytope for ${Ø_X}(D)$. We also introduce a new combinatorial object, the so-called p-th Hilbert-Erhart polynomial, which generalizes the usual notion and behaves similar. Namely, there exists a generalization of the inversion law for a usual …
As an alternative to the description of a toric variety by a fan in the lattice of one parameter subgroups, we present a new language in terms of what we call bunches -- these are certain collections of cones in the vector space of rational divisor classes. The correspondence between these bunches and fans is based on classical Gale duality. The new combinatorial language allows a much more natural description of geometric phenomena around divisors of toric varieties than the usual method by fans does. For example, the numerically effective cone and the ample cone of a toric variety can be rea…
Let $Y$ be a smooth projective surface defined over an algebraically closed field $k$ with ${\rm Char}\ k\nmid n$, and let $π:X\rightarrow Y$ be a $n$-cyclic covering branched along a smooth divisor $B$. We show that under some conditions $\mathscr{T}_X$ is semi-stable with respect to $π^*\mathcal {H}$ if the tangent bundle $\mathscr{T}_Y$ is semi-stable with respect to some ample line bundle $\mathcal {H}$ on $Y$.