arXiv++ Combinatorics

We consider a $d$-dimensional well-formed weighted projective space $\mathbb{P}(\overline{w})$ as a toric variety associated with a fan $Σ(\overline{w})$ in $N_{\overline{w}} \otimes \mathbb{N}$ whose $1$-dimensional cones are spanned by primitive vectors $v_0, v_1, \ldots, v_d \in N_{\overline{w}}$ generating a lattice $N_{\overline{w}}$ and satisfying the linear relation $\sum_i w_i v_i =0$. For any fixed dimension $d$, there exist only finitely many weight vectors $\overline{w} = (w_0, \ldots, w_d)$ such that $\mathbb{P}(\overline{w})$ contains a quasi-smooth Calabi-Yau hypersurface $X_w$ defined by a transverse weighted homogeneous polynomial $W$ of degree $w = \sum_{i=0}^d w_i$. Using a formula of Vafa for the orbifold Euler number $χ_{\rm orb}(X_w)$, we show that for any quasi-smooth Calabi-Yau hypersurface $X_w$ the number $(-1)^{d-1}χ_{\rm orb}(X_w)$ equals the stringy Euler number $χ_{\rm str}(X_{\overline{w}}^*)$ of Calabi-Yau compactifications $X_{\overline{w}}^*$ of affine toric hypersurfaces $Z_{\overline{w}}$ defined by non-degenerate Laurent polynomials $f_{\overline{w}} \in \mathbb{C}[N_{\overline{w}}]$ with Newton polytope $\text{conv}(\{v_0, \ldots, v_d\})$. In the moduli space of Laurent polynomials $f_{\overline{w}}$ there always exists a special point $f_{\overline{w}}^0$ defining a mirror $X_{\overline{w}}^*$ with a $\mathbb{Z}/w\mathbb{Z}$-symmetry group such that $X_{\overline{w}}^*$ is birational to a quotient of a Fermat hypersurface via a Shioda map.

The Fine interior $Δ^{\text{FI}}$ of a $d$-dimensional lattice polytope $Δ$ is a rational subpolytope of $Δ$ which is important for constructing minimal birational models of non-degenerate hypersurfaces defined by Laurent polynomials with Newton polytope $Δ$. This paper presents some computational results on the Fine interior of all $674,\!688$ three-dimensional canonical Fano polytopes.

Let $Δ$ be a $3$-dimensional lattice polytope containing exactly one interior lattice point. We give a simple combinatorial formula for computing the stringy $E$-function of the $3$-dimensional canonical toric Fano variety $X_Δ$ associated with the polytope $Δ$. Using the stringy Libgober-Wood identity and our formula, we generalize the well-known combinatorial identity $\sum_{θ\preceq Δ\atop \dim (θ) =1} v(θ) \cdot v(θ^*) = 24$ holding in the case of $3$-dimensional reflexive polytopes $Δ$.

We show that minimal models of nondegenerated hypersufaces defined by Laurent polynomials with a $d$-dimensional Newton polytope $Δ$ are Calabi-Yau varieties $X$ if and only if the Fine interior of $Δ$ consists of a single lattice point. We give a combinatorial formula for computing the stringy Euler number of $X$. This formula allows to test mirror symmetry in cases when $Δ$ is not a reflexive polytope. In particular we apply this formula to pairs of lattice polytopes $(Δ, Δ^{\vee})$ that appear in the Mavlyutov's generalization of the polar duality for reflexive polytopes. Some examples of Mavlyutov's dual pairs $(Δ, Δ^{\vee})$ show that the stringy Euler numbers of the corresponding Calabi-Yau varieties $X$ and $X^{\vee}$ may not satisfy the expected topological mirror symmetry test: $e_{\rm st}(X) = (-1)^{d-1} e_{\rm st}(X^{\vee})$. This shows the necessity of an additional condition on Mavlyutov's pairs $(Δ, Δ^\vee)$.

Let X be a normal projective Q-Gorenstein variety with at worst log-terminal singularities. We prove a formula expressing the total stringy Chern class of a generic complete intersection in X via the total stringy Chern class of X. This formula is motivated by its applications to mirror symmetry for Calabi-Yau complete intersections in toric varieties. We compute stringy Chern classes and give a combinatorial interpretation of the stringy Libgober-Wood identity for arbitrary projective Q-Gorenstein toric varieties. As an application we derive a new combinatorial identity relating d-dimensional reflexive polytopes to the number 12 in dimension d>3.

We consider $d$-dimensional lattice polytopes $Δ$ with $h^*$-polynomial $h^*_Δ=1+h_k^*t^k$ for $1<k<(d+1)/2$ and relate them to some abelian subgroups of $\SL_{d+1}(\C)$ of order $1+h_k^*=p^r$ where $p$ is a prime number. These subgroups can be investigate by means of coding theory as special linear constant weight codes in $\F_p^{d+1}$. If $p =2$, then the classication of these codes and corresponding lattice polytopes can be obtained using a theorem of Bonisoli. If $p > 2$, the main technical tool in the classification of these linear codes is the non-vanishing theorem for generalized Bernoulli numbers $B_{1,χ}^{(r)}$ associated with odd characters $χ:\F_q^*\to\C^*$ where $q=p^r$. Our result implies a complete classification of all lattice polytopes whose $h^*$-polynomial is a binomial.

There exist exactly 166 4-dimensional reflexive polytopes such that the corresponding 4-dimensional Gorenstein toric Fano varieties have at worst terminal singularities in codimension 3 and their anticanonical divisor is divisible by 2. For every such a polytope, one naturally obtains a family of Fano hypersurfaces X with at worst conifold singularities. A generic 3-dimensional Fano hypersurface X can be interpreted as a flat conifold degeneration of some smooth Fano 3-folds Y whose classification up to deformation was obtained by Iskovskikh, Mori and Mukai. In this case, both Fano varieties X and Y have the same Picard number r. Using toric mirror symmetry, we define a r-dimensional generalized hypergeometric power series associated to the dual reflexive polytope. We show that if r =1 then this series is a normalized regular solution of a modular D3-equation that appears in the Golyshev correspondence. We expect that the multidimensional power series can be used to compute the small quantum cohomology ring of all Fano 3-folds Y with the Picard number r >1 if Y admit a conifold degeneration X.

An n-dimensional simplex Δ in \R^n is called empty lattice simplex if Δ\cap\Z^n is exactly the set of vertices of Δ. A theorem of G. K. White shows that if n=3 then any empty lattice simplex Δ\subset\R^3 is isomorphic up to an unimodular affine linear transformation to a lattice tetrahedron whose all vertices have third coordinate 0 or 1. In this paper we prove a generalization of this theorem for an arbitrary odd dimension n=2d-1 which in some form was conjectured by Sebő and Borisov. This result implies a classification of all 2d-dimensional isolated Gorenstein cyclic quotient singularities with minimal log-discrepancy at least d.

A $n$-dimensional Gorenstein toric Fano variety $X$ is called Del Pezzo variety if the anticanonical class $-K_X$ is a $(n-1)$-multiple of a Cartier divisor. Our purpose is to give a complete biregular classfication of Gorenstein toric Del Pezzo varieties in arbitrary dimension $n \geq 2$. We show that up to isomorphism there exist exactly 37 Gorenstein toric Del Pezzo varieties of dimension $n$ which are not cones over $(n-1)$-dimensional Gorenstein toric Del Pezzo varieties. Our results are closely related to the classification of all Minkowski sum decompositions of reflexive polygons due to Emiris and Tsigaridas and to the classification up to deformation of $n$-dimensional almost Del Pezzo manifolds obtained by Jahnke and Peternell.

In this paper, we show that any 3-dimensional normal affine quasihomogeneous SL(2)-variety can be described as a categorical quotient of a 4-dimensional affine hypersurface. Moreover, we show that the Cox ring of an arbitrary 3-dimensional normal affine quasihomogeneous SL(2)-variety has a unique defining equation. This allows us to construct SL(2)-equivariant flips by different GIT-quotients of hypersurfaces. Using the theory of spherical varieties, we describe SL(2)-flips by means of 2-dimensional colored cones.

The purpose of this paper is to review some combinatorial ideas behind the mirror symmetry for Calabi-Yau hypersurfaces and complete intersections in Gorenstein toric Fano varieties. We suggest as a basic combinatorial object the notion of a Gorenstein polytope of index r. A natural combinatorial duality for d-dimensional Gorenstein polytopes of index r extends the well-known polar duality for reflexive polytopes (case r=1). We consider the Borisov duality between two nef-partitions as a duality between two Gorenstein polytopes P and P^* of index r together with selected special (r-1)-dimensional simplices S in P and S' in P^*. Different choices of these simplices suggest an interesting relation to Homological Mirror Symmetry.

Let $Δ\subset \R^n$ be an $n$-dimensional lattice polytope. It is well-known that $h_Δ^*(t) := (1-t)^{n+1} \sum_{k \geq 0} |kΔ\cap \Z^n| t^k $ is a polynomial of degree $d \leq n$ with nonnegative integral coefficients. Let $AGL(n, \Z)$ be the group of invertible affine integral transformations which naturally acts on $\R^n$. For a given polynomial $h^* \in \Z[t]$, we denote by $C_{h^*}(n)$ the number $AGL(n, \Z)$-equivalence classes of $n$-dimensional lattice polytopes such that $h^* = h_Δ^*(t)$. In this paper we show that $\{C_{h^*}(n) \}_{n \geq 1}$ is a monotone increasing sequence which eventually becomes constant. This statement follows from a more general combinatorial result whose proof uses methods of commutative algebra.

Let $Δ$ be an $n$-dimensional lattice polytope. The smallest non-negative integer $i$ such that $k Δ$ contains no interior lattice points for $1 \leq k \leq n - i$ we call the degree of $Δ$. We consider lattice polytopes of fixed degree $d$ and arbitrary dimension $n$. Our main result is a complete classification of $n$-dimensional lattice polytopes of degree $d=1$. This is a generalization of the classification of lattice polygons $(n=2)$ without interior lattice points due to Arkinstall, Khovanskii, Koelman and Schicho. Our classification shows that the secondary polytope of a lattice polytope of degree 1 is always a simple polytope.