A Q-factorial complete toric variety is a quotient of a poly weighted space
Michele Rossi, Lea Terracini
备注：
25+9 pp. Post-final version of our paper published in Ann.Mat.Pur.Appl.(2017),196,325-347: after its publication we realized that Prop.~3.1 contains an error strongly influencing the rest of the paper. Here is a correct revision (first 25 pp.: this version will not be published) and the Erratum appearing soon in Ann. Mat. Pur. Appl. (last 9 pp.) correcting only those parts affected by the error
发表信息：
Annali di Matematica Pura ed Applicata (2017), 196(1), 325-347; Annali di Matematica Pura ed Applicata (2017), 197(3), 989-998;
We prove that every Q-factorial complete toric variety is a finite quotient of a poly weighted space (PWS), as defined in our previous work arXiv:1501.05244. This generalizes the Batyrev-Cox and Conrads description of a Q-factorial complete toric variety of Picard number 1, as a finite quotient of a weighted projective space (WPS) \cite[Lemma~2.11]{BC} and \cite[Prop.~4.7]{Conrads}, to every possible Picard number, by replacing the covering WPS with a PWS. As a consequence we describe the bases of the subgroup of Cartier divisors inside the free group of Weil divisors and the bases of the Picard subgroup inside the class group, respectively, generalizing to every Q-factorial complete toric variety the description given in arXiv:1501.05244, Thm. 2.9, for a PWS.
The present paper is devoted to generalizing, inside the class of projective toric varieties, the classification [Batyrev91], performed by Batyrev in 1991 for smooth complete toric varieties, to the singular $Q$--factorial case. Moreover, in the first part of the paper the Kleinschmidt classification of smooth complete toric varieties of Picard number 2 [Kleinschmidt] is revised.
Let $X$ be a $\Q$-factorial complete toric variety over an algebraic closed field of characteristic $0$. There is a canonical injection of the Picard group ${\rm Pic}(X)$ in the group ${\rm Cl}(X)$ of classes of Weil divisors. These two groups are finitely generated abelian groups; whilst the first one is a free group, the second one may have torsion. We investigate algebraic and geometrical conditions under which the image of ${\rm Pic}(X)$ in ${\rm Cl}(X)$ is contained in a free part of the latter group.
We treat equivariant completions of toric contraction morphisms as an application of the toric Mori theory. For this purpose, we generalize the toric Mori theory for non-$\mathbb Q$-factorial toric varieties. So, our theory seems to be quite different from Reid's original combinatorial toric Mori theory. We also explain various examples of non-$\mathbb Q$-factorial contractions, which imply that the $\mathbb Q$-factoriality plays an important role in the Minimal Model Program. Thus, this paper completes the foundations of the toric Mori theory and show us a new aspect of the Minimal Model Prog…
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…
Q-factorial Gorenstein toric Fano varieties X of dimension d with Picard number rho(X) correspond to simplicial reflexive d-polytopes with rho(X)+d vertices. Casagrande showed that any simplicial reflexive d-polytope has at most 3d vertices, if d is even, respectively, 3d-1, if d is odd. Moreover, it is known that equality for d even implies uniqueness up to unimodular equivalence. In this paper we completely classify all simplicial reflexive d-polytopes having 3d-1 vertices, corresponding to d-dimensional Q-factorial Gorenstein toric Fano varieties with Picard number 2d-1. For d even, there e…
The main result of this paper is a structural theorem for projective Q-factorial toric varieties X in P^N, covered by lines. We prove that there exists a toric fibration f: X -> Z, locally trivial in the Zariski topology, with fiber a product of projective joins. All lines in X intersecting the open subset isomorphic to the torus, are contained in some fiber of f. This characterization has a geometrical application to dual defective toric varieties, and a combinatorial application to discriminants of lattice subsets. We prove that X has positive dual defect if and only if it has an elementary …
We can run the MMP for any divisor on any $\mathbb{Q}$-factorial projective toric variety. We show that two Mori fiber spaces, which are outputs of the above MMP, are connected by finitely many elementary transforms.
A. Borisov classified into finitely many series the set of isomorphism classes of germs of toric $\Q$-factorial singularities, of fixed dimension and with minimal log discrepancy over the special point bounded from below by a fixed real number. We extend this classification to germs of toric Fano fibrations, possibly not $\Q$-factorial. As an application, we verify in the toric setting a conjecture proposed by V. V. Shokurov on the existence of bounded complements.
We completely classify the Q-factorial terminal toric Fano three-folds such that the sum of the squared torus invariant prime divisors is non-negative.
We give various examples of Q-factorial projective toric varieties such that the sum of the squared torus invariant prime divisors is positive. We also determine the generators for the cone of effective $2$-cycles on a toric variety of Picard number two. This result is convenient to explain our examples.
In a first result, we describe all finitely generated factorial algebras over an algebraically closed field of characteristic zero that come with an effective multigrading of complexity one by means of generators and relations. This enables us to construct systematically varieties with free divisor class group and a complexity one torus action via their Cox rings. For the Fano varieties of this type that have a free divisor class group of rank one, we provide explicit bounds for the number of possible deformation types depending on the dimension and the index of the Picard group in the divisor…
We present two algorithms determining all the complete and simplicial fans admitting a fixed non-degenerate set of vectors $V$ as generators of their 1-skeleton. The interplay of the two algorithms allows us to discerning if the associated toric varieties admit a projective embedding, in principle for any values of dimension and Picard number. The first algorithm is slower than the second one, but it computes all complete and simplicial fans supported by $V$ and lead us to formulate a topological-combinatoric conjecture about the definition of a fan. On the other hand, we adapt the Sturmfels' …
In this short note, we investigate the existence of orbifold Kähler-Einstein metrics on toric varieties. In particular, we show that every $\mathbb{Q}$-factorial normal projective toric variety allows an orbifold Kähler-Einstein metric. Moreover, we characterize the K-stability of $\mathbb{Q}$-factorial toric pairs of Picard number one in terms of the log Cox ring and the universal orbifold cover.
Given a smooth Mori dream space $X$ we construct a model dominating all the small $\mathbb{Q}$-factorial modifications via tropicalization. This construction allows us to recover a Minkowski basis for the Newton-Okounkov bodies of divisors on $X$ and hence the movable cone of $X$. The existence of such basis allows us to prove the polyhedrality of the global Newton-Okounkov body and the existence of toric degenerations.
Let $X$ be a complete $\mathbb{Q}$-factorial toric variety. We explicitly describe the space $H^2(X,T_X)$ and the cup product map $H^1(X,T_X)\times H^1(X,T_X)\to H^2(X,T_X)$ in combinatorial terms. Using this, we give an example of a smooth projective toric threefold for which the cup product map does not vanish, showing that in general, smooth complete toric varieties may have obstructed deformations.
We show that the dual of the cone of divisors on a complete Q-factorial toric variety X whose stable base loci have dimension less than k is generated by curves on small modifications that move in families sweeping out the birational transforms of k-dimensional subvarieties of X. We give an example showing that it does not suffice to consider curves on X itself.
The main object of the present paper is a numerical criterion determining when a Weil divisor of a $\Q$--factorial complete toric variety admits a positive multiple Cartier divisor which is either numerically effective (nef) or ample. It is a consequence of $\Z$--linear interpretation of Gale duality and se\-con\-dary fan as developed in several previous papers of us. As a byproduct we get a computation of the Cartier index of a Weil divisor and a numerical characterization of weak $\Q$--Fano, $\Q$--Fano, Gorenstein, weak Fano and Fano toric varieties. Several examples are then given and studi…
Given a smooth projective variety $X$ over a number field $k$ and $P\in X(k)$, the first author conjectured that in a precise sense, any sequence that approximates $P$ sufficiently well must lie on a rational curve. We prove this conjecture for smooth split toric surfaces conditional on Vojta's conjecture. More generally, we show that if $X$ is a $\mathbb{Q}$-factorial terminal split toric variety of arbitrary dimension, then $P$ is better approximated by points on a rational curve than by any Zariski dense sequence.
The main results of this paper are already known (V.V. Shokurov, the non-vanishing theorem, 1985). Moreover, the non-$\mathbb{Q}$-factorial MMP was more recently considered by O~Fujino, in the case of toric varieties (Equivariant completions of toric contraction morphisms, 2006), for klt pairs (Special termination and reduction to pl flips, 2007) and more generally for log-canonical pairs (Foundation of the minimal model program, 2014). Here we rewrite the proofs of some of these results, by following the proofs given by Y. Kawamata, K. Matsuda, and K. Matsuki (Introduction to the minimal mode…
We provide a Hilbert-Mumford Criterion for actions of reductive groups $G$ on $Q$-factorial complex varieties. The result allows to construct open subsets admitting a good quotient by $G$ from certain maximal open subsets admitting a good quotient by a maximal torus of $G$. As an application, we show how to obtain all invariant open subsets with good quotient for a given $G$-action on a complete $Q$-factorial toric variety.
We classify the non-toric, $\mathbb Q$-factorial, Gorenstein, log terminal Fano threefolds of Picard number one that admit an effective action of a two-dimensional algebraic torus.
The space of torus translations and degenerations of a projective toric variety forms a toric variety associated to the secondary fan of the integer points in the polytope corresponding to the toric variety. This is used to identify a moduli space of real degenerations with the secondary polytope. A configuration A of real vectors gives an irrational projective toric variety in a simplex. We identify a space of translations and degenerations of the irrational projective toric variety with the secondary polytope of A. For this, we develop a theory of irrational toric varieties associated to arb…
A horospherical variety is a normal algebraic variety where a reductive algebraic group acts with an open orbit which is a torus bundle over a flag variety. For example, toric varieties and flag varieties are horospherical. In this paper, we classify Fano horospherical varieties in terms of certain rational polytopes that generalize the reflexive polytopes considered by V. Batyrev. Then, we obtain an upper bound on the degree of smooth Fano horospherical varieties, analogus to that given by O. Debarre in the toric case. We extend a recent result of C. Casagrande: the Picard number of any Fano …
We explain a method for calculating the cohomology of line bundles on a toric variety in terms of the cohomology of certain constructible sheaves on the polytope. We show its effective use by means of some examples.
We generalized the construction of deformations of affine toric varieties of K. Altmann and our previous construction of deformations of weak Fano toric varieties to the case of arbitrary toric varieties by introducing the notion of Minkowski sum decompositions of polyhedral complexes. Our construction embeds the original toric variety into a higher dimensional toric variety where the image is given by a prime binomial complete intersection ideal in Cox homogeneous coordinates. The deformations are realized by families of complete intersections. For compact simplicial toric varieties with at w…
For an appropriate class of Fano complete intersections in toric varieties, we prove that there is a concrete relationship between degenerations to specific toric subvarieties and expressions for Givental's Landau-Ginzburg models as Laurent polynomials. As a result, we show that Fano varieties presented as complete intersections in partial flag manifolds admit degenerations to Gorenstein toric weak Fano varieties, and their Givental Landau-Ginzburg models can be expressed as corresponding Laurent polynomials. We also use this to show that all of the Laurent polynomials obtained by Coates, Kasp…
Toric geometry provides a bridge between algebraic geometry and combinatorics of fans and polytopes. For each polarized toric variety (X,L) we have associated a polytope P. In this thesis we use this correspondence to study birational geometry for toric varieties. To this end, we address subjects such as Minimal Model Program, Mori fiber spaces, and chamber structures on the cone of effective divisors. We translate some results from these theories to the combinatorics of polytopes and use them to get structure theorems on space of polytopes. In particular, we treat toric varieties known as 2-F…
This paper is devoted to extend some Hu-Keel results on Mori dream spaces (MDS) beyond the projective setup. Namely, $\Q$-factorial algebraic varieties with finitely generated class group and Cox ring, here called \emph{weak} Mori dream spaces (wMDS), are considered. Conditions guaranteeing the existence of a neat embedding of a (completion of a) wMDS into a complete toric variety are studied, showing that, on the one hand, those which are complete and admitting low Picard number are always projective, hence Mori dream spaces in the sense of Hu-Keel. On the other hand, an example of a wMDS doe…
Let $X$ be a normal projective variety and $f:X\to X$ a non-isomorphic polarized endomorphism. We give two characterizations for $X$ to be a toric variety. First we show that if $X$ is $\mathbb{Q}$-factorial and $G$-almost homogeneous for some linear algebraic group $G$ such that $f$ is $G$-equivariant, then $X$ is a toric variety. Next we give a geometric characterization: if $X$ is of Fano type and smooth in codimension 2 and if there is an $f^{-1}$-invariant reduced divisor $D$ such that $f|_{X\backslash D}$ is quasi-étale and $K_X+D$ is $\mathbb{Q}$-Cartier, then $X$ admits a quasi-étale c…
Toric geometry provides a bridge between the theory of polytopes and algebraic geometry: one can associate to each lattice polytope a polarized toric variety. In this thesis we explore this correspondence to classify smooth lattice polytopes having small degree, extending a classification provided by Dickenstein, Di Rocco and Piene. Our approach consists in interpreting the degree of a polytope as a geometric invariant of the corresponding polarized variety, and then applying techniques from Adjunction Theory and Mori Theory. In the opposite direction, we use the combinatorics of fans to descr…
Let $X$ be a smooth projective complex variety and let $D=D_1+\cdots+D_l$ be a reduced normal crossing divisor on $X$ with each component $D_j$ smooth, irreducible, and nef. The log-local principle of van Garrel-Graber-Ruddat conjectures that the genus 0 log Gromov-Witten theory of maximal tangency of $(X,D)$ is equivalent to the genus 0 local Gromov-Witten theory of $X$ twisted by $\bigoplus_{j=1}^l\mathcal{O}(-D_j)$. We prove that an extension of the log-local principle holds for $X$ a (not necessarily smooth) $\mathbb{Q}$-factorial projective toric variety, $D$ the toric boundary, and desce…
Let X be a complex, Gorenstein, Q-factorial, toric Fano variety. We prove two conjectures on the maximal Picard number of X in terms of its dimension and its pseudo-index, and characterize the boundary cases. Equivalently, we determine the maximal number of vertices of a simplicial reflexive polytope.
We classify projective toric manifolds whose dual variety is not a hypersurface in the dual projective space. Under the standard dictionary between toric geometry and convex geometry, they correspond to certain convex Delzant integer polytopes, P, which we call defect polytopes. Using the geometrical classification we give a detailed description of defect polytopes and prove that they are characterized by the vanishing of a combinatorial invariant, denoted by c(P). We further prove that a related invariant, c*(P), is nonnegative, for any simple convex integral polytope.
Speyer and Sturmfels [SpSt] associated Gröbner toric degenerations $\mathrm{Gr}_2(\C^n)^{\tree}$ of $\mathrm{Gr}_2(\C^n)$ to each trivalent tree $\tree$ with $n$ leaves. These degenerations induce toric degenerations $M_{\br}^{\tree}$ of $M_{\br}$, the space of $n$ ordered, weighted (by $\br$) points on the projective line. Our goal in this paper is to give a geometric (Euclidean polygon) description of the toric fibers as stratified symplectic spaces and describe the action of the compact part of the torus as "bendings of polygons." We prove the conjecture of Foth and Hu [FH] that the toric f…
We introduce the notion of cracked polytope, and - making use of joint work with Coates and Kasprzyk - construct the associated toric variety $X$ as a subvariety of a non-singular toric variety $Y$ under certain conditions. Restricting to the case in which this subvariety is a complete intersection, we present a sufficient condition for a smoothing of $X$ to exist inside $Y$. We exhibit a relative anti-canonical divisor for this smoothing of $X$, and show that the general member is simple normal crossings.
Using Cayley trick, we define the notions of mixed toric residues and mixed Hessians associated with $r$ Laurent polynomials $f_1,...,f_r$.We conjecture that the values of mixed toric residues on the mixed Hessians are determined by mixed volumes of the Newton polytopes of $f_1,...,f_r$. Using mixed toric residues, we generalize our Toric Residue Mirror Conjecture to the case of Calabi-Yau complete intersections in Gorenstein toric Fano varieties obtained from nef-partitions of reflexive polytopes.
The GIT chamber decomposition arising from a subtorus action on a quasiprojective toric variety is a polyhedral complex. Denote by Sigma the fan that is the cone over the polyhedral complex. In this paper we show that the toric variety defined by the fan Sigma is the normalization of the toric Chow quotient of a closely related affine toric variety by a complementary torus.
Let $G$ be a semisimple algebraic group over $\mathbb{C}$. For a reduced word $\bf i$ of the longest element in the Weyl group of $G$ and a dominant integral weight $λ$, one can construct the string polytope $Δ_{\bf i}(λ)$, whose lattice points encode the character of the irreducible representation $V_λ$. The string polytope $Δ_{\bf i}(λ)$ is singular in general and combinatorics of string polytopes heavily depends on the choice of $\mathbf i$. In this paper, we study combinatorics of string polytopes when $G = SL_{n+1}(\mathbb{C})$, and present a sufficient condition on $\mathbf i$ such that …
We introduce the notion of a \emph{conic sequence} of a convex polytope. It is a way of building up a polytope starting from a vertex and attaching faces one by one with certain regulations. We apply this to a toric variety to obtain an iterated cofibration structure on it. This allows us to prove several vanishing results in the rational cohomology of a toric variety and to calculate Poincaré polynomials for a large class of singular toric varieties.
