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 extremal contraction of fiber type, whose general fiber is a projective join with dual defect bigger than its codimension in X. Turning to combinatorics, we characterize lattice subsets A with discriminant D_A equal to one, under suitable assumptions on the polytope Conv(A).
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…
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.
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…
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 Pica…
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…
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.
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.
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.
The main purpose of this notes is to supplement the paper reid, which treated Minimal Model Program (also called Mori's Program) on toric varieties. We calculate lengths of negative extremal rays of toric varieties. As an application, we obtain a generalization of Fujita's conjecture for singular toric varieties. We also prove that every toric variety has a small projective toric $\bQ$-factorialization.
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.
It is pretty well-known that toric Fano varieties of dimension k with terminal singularities correspond to convex lattice polytopes P in R^k of positive finite volume, such that intersection of P and Z^k consists of the point 0 and vertices of P. Likewise, Q-factorial terminal toric singularities essentially correspond to lattice simplexes with no lattice points inside or on the boundary (except the vertices). There have been a lot work, especially in the last 20 years or so on classification of these objects. The main goal of this paper is to bring together these and related results, that are…
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.
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 Losev-Manin moduli space parametrizes pointed chains of projective lines. In this paper we study a possible generalization to families of pointed degenerate toric varieties. Geometric properties of these families, such as flatness and reducedness of the fibers, are explored via a combinatorial characterization. We show that such families are described by a specific type of polytope fibration which generalizes the twisted Cayley sums, originally introduced to characterize elementary extremal contractions of fiber type associated to projective $\mathbb{Q}$-factorial toric varieties with posi…
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 construct families of non-toric $\mathbb{Q}$-factorial terminal Fano ($\mathbb{Q}$-Fano) threefolds of codimension $\geq 20$ corresponding to 54 mutation classes of rigid maximally mutable Laurent polynomials. From the point of view of mirror symmetry, they are the highest codimension (non-toric) $\mathbb{Q}$-Fano varieties for which we can currently establish the Fano/Landau-Ginzburg correspondence. We construct 46 additional $\mathbb{Q}$-Fano threefolds with codimensions of new examples ranging between 19 and 10. Some of these varieties will be presented as toric complete intersections, a…
We construct $13$ projective $\mathbb{Q}$-factorial Fano toric varieties and show that for any minimal rational elliptic surface $X$ there is one such toric variety $Z_X$ and a divisor class $δ_X\in {\rm Cl}(Z_X)$ such that the number of $(-1)$-curves of $X$ equals the dimension of the Riemann-Roch space of $δ_X$. As an application we give the number of $(-1)$-curves of any such elliptic fibration of Halphen index $2$.
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.
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 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…
We show that any topological toric manifold can be covered by finitely many open charts so that all the transition functions between these charts are Laurent monomials of $z_j$'s and $\bar{z}_j$'s. In addition, we will describe toric manifolds and some special class of topological toric manifolds in terms of transition functions of charts up to (weakly) equivariant diffeomorphism.
On a Computational Approach to the Nash Blowup Problem
Centro de Investigación en Matemáticas（数学研究中心）；Centro de Ciencias Matematicas, UNAM（墨西哥国立自治大学数学科学中心）；Instituto de Matemáticas, Universidad de Talca（塔尔卡大学数学研究所）
We construct Q-factorial terminal Fano varieties, starting in dimension 4, whose nef cone jumps when the variety is deformed. It follows that de Fernex and Hacon's results on deformations of 3-dimensional Fanos are optimal. The examples are based on the existence of high-dimensional flips which deform to isomorphisms, generalizing the Mukai flop. We also extend de Fernex and Hacon's positive results on deformations of Fano varieties. Toric Fano varieties which are smooth in codimension 2 and Q-factorial in codimension 3 are rigid. The divisor class group is deformation-invariant for klt Fanos …
We study the secant line variety of the Segre product of projective spaces using special cumulant coordinates adapted for secant varieties. We show that the secant variety is covered by open normal toric varieties. We prove that in cumulant coordinates its ideal is generated by binomial quadrics. We present new results on the local structure of the secant variety. In particular, we show that it has rational singularities and we give a description of the singular locus. We also classify all secant varieties that are Gorenstein. Moreover, generalizing (Sturmfels and Zwiernik 2012), we obtain ana…
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 generalize classical results about the topology of toric varieties to the case of projective Q-factorial T-varieties of complexity one using the language of divisorial fans. We describe the Hodge-Deligne polynomial in the smooth case, the cohomology ring and the Chow ring in the contraction-free case.
