We study functions on the class group of a toric variety measuring the rates of growth of the cohomology groups of multiples of divisors. We show that these functions are piecewise polynomial with respect to finite polyhedral chamber decompositions. As applications, we express the self-intersection number of a T-Cartier divisor as a linear combination of the volumes of the bounded regions in the corresponding hyperplane arrangement and prove an asymptotic converse to Serre vanishing.
We introduce toric $b$-divisors on complete smooth toric varieties and a notion of integrability of such divisors. We show that under some positivity assumptions toric $b$-divisors are integrable and that their degree is given as the volume of a convex set. Moreover, we show that the dimension of the space of global sections of a nef toric $b$-divisor is equal to the number of lattice points in this convex set and we give a Hilbert--Samuel type formula for its asymptotic growth. This generalizes classical results for classical toric divisors on toric varieties. Finally, we relate convex bodies…
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 totally classify the projective toric varieties whose canonical divisors are divisible by their dimensions. In Appendix, we show that Reid's toric Mori theory implies Mabuchi's characterization of the projective space for toric varieties.
We consider subtorus actions on divisorial toric varieties. Here divisoriality means that the variety has many Cartier divisors like quasiprojective and smooth ones. We characterize when a subtorus action on such a toric variety admits a categorical quotient in the category of divisorial varieties. Our result generalizes previous statements for the quasiprojective case. An important tool for the proof is a universal reduction of an arbitrary toric variety to a divisorial one. This is done in terms of support maps, a notion generalizing support functions on a polytopal fan. A further essential …
In the study of hyperelliptic curve cryptography, presentations of semi-reduced divisors on a hyperelliptic curve play important roles. In this note, we give an interpretation for such presentations from view points of Gröbner bases. As applications, (i) we give a method to construct weak $n$-contact curves and (ii) we study plane curves satisfying quasi-toric relations of type $(2, n, 2)$
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 introduce and develop the theory of Newton nondegenerate local Weil divisors $(X,0)$ in toric affine varieties. We characterize in terms of the toric combinatorics of the Newton diagram different properties of such singular germs: normality, Gorenstein property, or being an Cartier divisor in the ambient space. We discuss certain properties of their (canonical) resolution $\tilde{X}\to X $ and the corresponding canonical divisor. We provide combinatorial formulae for the delta--invariant $δ(X,0)$ and for the cohomology groups $H^i(\tilde X,\mathcal{O}_{\tilde X})$ for $i>0$. In the case $\d…
In this paper we define certain analogues of the volume of a divisor - called asymptotic cohomological functions - and investigate their behaviour on the Neron--Severi space. We establish that asymptotic cohomological functions are invariant with respect to the numerical equivalence of divisors, and that they give rise to continuous functions on the real Neron--Severi space. To illustrate the theory, we work out these invariants for abelian varieties, smooth surfaces, and certain homogeneous spaces.
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…
Toric varieties are a special class of rational varieties defined by equations of the form {\it monomial = monomial}. For a good brief survey of the history and role of toric varieties see [10]. Any toric variety $X$ contains a cover by affine open sets described in terms of arrangements (called fans) of convex bodies in $\Bbb R^r$. The coordinate rings of each of these affine open sets is a graded ring generated over the ground field by monomials. As a consequence, toric varieties provide a good context in which cohomology can be calculated. The purpose of this article is to describe the seco…
Generalizing cones over projective toric varieties, we present arbitrary toric varieties as quotients of quasiaffine toric varieties. Such quotient presentations correspond to groups of Weil divisors generating the topology. Groups comprising Cartier divisors define free quotients, whereas $\QQ$-Cartier divisors define geometric quotients. Each quotient presentation yields homogeneous coordinates. Using homogeneous coordinates, we express quasicoherent sheaves in terms of multigraded modules and describe the set of morphisms into a toric variety.
The purpose of this article is to show how one might compute the étale cohomology groups $H^p_{\acute{e}t}(X,G_m)$ in degrees $p=0$, $1$ and $2$ of a toric variety $X$ with coefficients in the sheaf of units. The method is to reduce the computation down to the problem of diagonalizing a matrix with integral coefficients. The procedure outlined in this article has been fully implemented by the author as a program written in the ``C'' programming language.
We study the greatest common divisor problem for torus invariant blowing-up morphisms of nonsingular toric Fano varieties. Our main result applies the theory of Okounkov bodies together with an arithmetic form of Cartan's Second Main theorem, which has been established by Ru and Vojta. It also builds on Silverman's geometric concept of greatest common divisor. As a special case of our results, we deduce a bound for the generalized greatest common divisor of pairs of nonzero algebraic numbers.
The cohomological rigidity problem for toric manifolds asks whether toric manifolds are diffeomorphic (or homeomorphic) if their integral cohomology rings are isomorphic. Many affirmative partial solutions to the problem have been obtained and no counterexample is known. In this paper, we study the diffeomorphism classification of toric Fano $d$-folds with $d=3,4$ or with Picard number $\ge 2d-2$. In particular, we show that those manifolds except for two toric Fano $4$-folds are diffeomorphic if their integral cohomology rings are isomorphic. The exceptional two toric Fano $4$-folds (their ID…
We compute the divisor class group and the Picard group of projective varieties with Hibi rings as homogeneous coordinate rings. These varieties are precisely the toric varieties associated to order polytopes. We use tools from the theory of toric varieties to get a description of the two groups which only depends on combinatorial properties of the underlying poset.
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}$.
In 2013 Bazhov proved a criterium for two points on a complete toric variety to lie in the same orbit of the neutral component of automorphism group. This criterium is in terms of divisor class group. Arzhantsev-Bazhov (2013) obtained a similar criterium for affine toric varieties. We prove a necessary condition similar this criteria to the cases of affine and projective horospherical varieties.
In this note, we prove combinatorial formulas for $h^{2,1}$ of prime toric divisors in an arbitrary toric hypersurface Calabi-Yau fourfold $Y_4.$ We show that it is possible to find a toric hypersurface Calabi-Yau in which there are more than $h^{1,1}(Y_4)$ non-perturbative superpotential terms with trivial intermediate Jacobian. Hodge numbers of divisors in toric CICYs are the subjects of the part two.
This paper formulates the Nash problem for a pair consisting of a toric variety and an invariant ideal and gives an affirmative answer to the problem. We also prove that the minimal log-discrepacy is computed by a divisor corresponding to a Nash component, if the minimal log-discrepancy is finite. On the other hand there exists a Nash component such that the corresponding divisor has negative log-discrepancy, if the minimal log-discrepancy is $-/infty$.
In this paper we are interested in the isotopy classes of symplectic log Calabi-Yau divisors in a fixed symplectic rational surface. We give several equivalent definitions and prove the stability, finiteness and rigidity results. Motivated by the problem of counting toric actions, we obtain a general counting formula of symplectic log Calabi-Yau divisors in a restrictive region of $c_1$-nef cone. A detailed count in the case of 2- and 3-point blow-ups of complex projective space for all symplectic forms is also given. In our framework the complexity of the combinatorics of analyzing Delzant po…
We address the distribution properties of points of small height on proper toric varieties and applications to the related Bogomolov property. We introduce the notion of monocritical toric metrized divisor and we prove that equidistribution occurs for every generic, small sequence with respect to a toric metrized divisor, for every place if and only if the divisor is monocritical. Furthermore, when this is the case, the limit measure is a translate of the natural measure on the compact torus sitting in the principal orbit of the ambient toric variety. We also study the $v$-adic modulus distrib…
In \cite{botero}, a top intersection product of toric b-divisors on a smooth complete toric variety is defined. It is shown that a nef toric b-divisor corresponds to a convex set and that its top intersection number equals the volume of this convex set. The goal of this article is to extend this result and define an intersection product of sufficiently positive toric b-classes of arbitrary codimension. For this, we extend the polytope algebra of McMullen (\cite{McM1}, \cite{McM2}, \cite{McM3}) to the so called \emph{convex-set algebra} and we show that it embeds in the toric b-Chow group. In t…
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.
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…
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…
Minimal model conjecture for a proper variety $X$ is that if $κ(X)\geq 0$, then $X$ has a minimal model with the abundance and if $κ=-\infty$, then $X$ is birationally equivalent to a variety $Y$ which has a fibration $Y \to Z$ with $-K_Y$ relatively ample. In this paper, we prove this conjecture for a $\D$-regular divisor on a proper toric variety by means of successive contractions of extremal rays and flips of ambient toric variety. Furthermore, for such a divisor $X$ with $κ(X)\geq 0$ we construct a projective minimal model with the abundance in a different way; by means of "puffing up" of…
We compute the (unbounded) Newton-Okounkov body of the Hilbert scheme of points on $\mathbb C^2$. We obtain an upper bound for the Newton-Okounkov body of the Hilbert scheme of points on any smooth toric surface. We conjecture that this upper bound coincides with the exact Newton-Okounkov body for the Hilbert schemes of points on $\mathbb P^2$, $\mathbb P^1\times\mathbb P^1$, and Hirzebruch surfaces. These results imply upper bounds for the effective cones of these Hilbert schemes, which are also conjecturally sharp in the above cases.
We generalize the intersection theory of nef toric (Weil) b-divisors on smooth and complete toric varieties to the case of smooth and complete toroidal embeddings. As a key ingredient we show the existence of a limit measure, supported on the weakly embedded rational conical polyhedral space attached to the toroidal embedding, which arises as a limit of discrete measures defined via tropical intersection theory on the polyhedral space. We prove that the intersection theory of nef toroidal Cartier b-divisors can be extended continuously to nef toroidal Weil b-divisors and that their degree can …
We continue with our study of the arithmetic geometry of toric varieties. In this text, we study the positivity properties of metrized R-divisors in the toric setting. For a toric metrized R-divisor, we give formulae for its arithmetic volume and its chi-arithmetic volume, and we characterize when it is arithmetically ample, nef, big or pseudo-effective, in terms of combinatorial data. As an application, we prove a Dirichlet's unit theorem on toric varieties, we give a characterization for the existence of a Zariski decomposition of a toric metrized R-divisor, and we prove a toric arithmetic F…
We will describe a one-step "Gorensteinization" process for a Schubert variety by blowing-up along its boundary divisor. The local question involves Kazhdan-Lusztig varieties which can be degenerated to affine toric schemes defined using the Stanley-Reisner ideal of a subword complex. The blow-up along the boundary in this toric case is in fact Gorenstein. We show that there exists a degeneration of the blow-up of the Kazhdan-Lusztig variety to this Gorenstein scheme, allowing us to extend this result to Schubert varieties in general. The potential use of this one-step Gorensteinization to des…
We introduce and study several new topological operads that should be regarded as nonsymmetric analogues of the operads of little 2-disks, framed little 2-disks, and Deligne-Mumford compactifications of moduli spaces of genus zero curves with marked points. These operads exhibit all the remarkable algebraic and geometric features that their classical analogues possess; in particular, it is possible to define a noncommutative analogue of the notion of cohomological field theory with similar Givental-type symmetries. This relies on rich geometry of the analogues of the Deligne-Mumford spaces, co…
Given a quiver with potential associated to a toric Calabi-Yau threefold, the numerical Donaldson-Thomas invariants for the moduli space of framed representations can be computed by using toric localization, which reduces the problem to the enumeration of molten crystals. We provide a refinement of this localization procedure, which allows to compute motivic Donaldson-Thomas invariants. Using this approach, we prove a universal formula which gives the BPS invariants of any toric quiver, up to undetermined contributions which are invariant under Poincaré duality. When the toric Calabi-Yau three…
We show that the counting of rational curves on a complete toric variety that are in general position to the toric prime divisors coincides with the counting of certain tropical curves. The proof is algebraic-geometric and relies on degeneration techniques and log deformation theory. This generalizes results of Mikhalkin obtained by different methods in the surface case to arbitrary dimensions.
Consider an n-dimensional projective toric variety X defined by a convex lattice polytope P. David Cox introduced the toric residue map given by a collection of n+1 divisors Z_0,...,Z_n on X. In the case when the Z_i are T-invariant divisors whose sum is X\T the toric residue map is the multiplication by an integer number. We show that this number is the degree of a certain map from the boundary of the polytope P to the boundary of a simplex. This degree can be computed combinatorially. We also study radical monomial ideals I of the homogeneous coordinate ring of X. We give a necessary and suf…
In this paper we show that a smooth toric variety $X$ of Picard number $r\leq 3$ always admits a nef primitive collection supported on a hyperplane admitting non-trivial intersection with the cone $\Nef(X)$ of numerically effective divisors and cutting a facet of the pseudo-effective cone $\Eff(X)$, that is $\Nef(X)\cap\partial\overline{\Eff}(X)\neq\{0\}$. In particular this means that $X$ admits non-trivial and non-big numerically effective divisors. Geometrically this guarantees the existence of a fiber type contraction morphism over a smooth toric variety of dimension and Picard number lowe…
Anderson proved that the finite generation of the value semigroup $Γ_{Y_\bullet}(D)$ in the construction of the Newton-Okounkov body $Δ_{Y_\bullet}(D)$ induces a toric degeneration of the corresponding variety $X$ to some toric variety $X_0$. In this case the normalization of $X_0$ is the normal toric variety corresponding to the rational polytope $Δ_{Y_\bullet}(D)$. Since $X_0$ is not normal in general this correspondence is rather implicit. In this article we investigate in conditions to assure that $X_0$ is normal, by comparing the Hilbert polynomial with the Ehrhart polynomial. In the case…
For a divisor $D$ on a tropical variety $X$, we define two amounts in order to estimate the value of $h^{0}(X,D)$, which are described by terms of global sections and computed more easily than $h^{0}(X,D)$. As an application of its estimation, we show that a Riemann-Roch inequality holds for smooth tropical toric surfaces.
A subset K of R^n gives rise to a formal Laurent series with monomials corresponding to lattice points in K. Under suitable hypotheses, this series represents a rational function R(K). Michel Brion has discovered a surprising formula relating the rational function R(P) of a lattice polytope P to the sum of rational functions corresponding to the supporting cones subtended at the vertices of P. The result is re-phrased and generalised in the language of cohomology of line bundles on complete toric varieties. Brion's formula is the special case of an ample line bundle on a projective toric varie…
For a cycle of codimension 1 in a toric variety, its degree with respect to a nef toric divisor can be understood in terms of the mixed volume of the polytopes associated to the divisor and to the cycle. We prove here that an analogous combinatorial formula holds in the arithmetic setting: the global height of a 1-codimensional cycle with respect to a toric divisor equipped with a semipositive toric metric can be expressed in terms of mixed integrals of the $v$-adic roof functions associated to the metric and the Legendre-Fenchel dual of the $v$-adic Ronkin function of the Laurent polynomial o…
We present a new method to achieve an embedded desingularization of a toric variety. Let $W$ be a regular toric variety defined by a fan $Σ$ and $X\subset W$ be a toric embedding. We construct a finite sequence of combinatorial blowing-ups such that the final strict transforms $X'\subset W'$ are regular and $X'$ has normal crossing with the exceptional divisor.
We present here the K-theoretic version of mirror models of toric manifold. First, we recall the construction of cohomological mirrors for toric manifolds, i.e. representations of the toric hypergeometric functions from quantum cohomology theory by complex oscillating integrals. Then we repeat the construction in the K-theoretic situation, and obtain complex oscillating integrals representing q-hypergeometric functions from quantum K-theory of toric manifolds, bundles, and super-bundles. Finally, we examine the Lagrangian varieties parameterized by critical points of the phase functions of the…
In this article we prove, in a simple way, that for any complete toric variety, and for any Cartier divisor, the ring of global sections of multiples of the line bundle associated to the divisor is finitely 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 study how relative quantum cohomology, defined by Tseng--You and Fan--Wu--You, varies under birational transformations. For toric complete intersections with simple normal crossings divisors that contain the loci of indeterminacy, we prove that their respective relative $I$-functions can be directly identified. For toric complete intersections with smooth divisors, we prove that their respective relative $I$-functions are related by analytic continuation. We also study some connections with extremal transitions and FJRW theory.
We give an interim report on some improvements and generalizations of the Abbott-Kedlaya-Roe method to compute the zeta function of a nondegenerate ample hypersurface in a projectively normal toric variety over $\mathbb{F}_p$ in linear time in $p$. These are illustrated with a number of examples including K3 surfaces, Calabi-Yau threefolds, and a cubic fourfold. The latter example is a non-special cubic fourfold appearing in the Ranestad-Voisin coplanar divisor on moduli space; this verifies that the coplanar divisor is not a Noether-Lefschetz divisor in the sense of Hassett.
