A theorem of Howe states that every 3-dimensional lattice polytope $P$ whose only lattice points are its vertices, is a Cayley polytope, i.e. $P$ is the convex hull of two lattice polygons with distance one. We want to generalize this result by classifying 3-dimensional lattice polytopes without interior lattice points. The main result will be, that they are up to finite many exceptions either Cayley polytopes or there is a projection, which maps the polytope to the double unimodular 2-simplex. To every such polytope we associate a smooth projective surface of genus 0.
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 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 polyto…
We classify the three-dimensional lattice polytopes with two interior lattice points. Up to unimodular equivalence there are 22,673,449 such polytopes. This classification allows us to verify, for this case only, a conjectural upper bound for the volume of a lattice polytope with interior points, and provides strong evidence for new conjectural inequalities on the coefficients of the Ehrhart polynomial in dimension three.
We show that up to unimodular equivalence there are only finitely many d-dimensional lattice polytopes without interior lattice points that do not admit a lattice projection onto a (d-1)-dimensional lattice polytope without interior lattice points. This was conjectured by Treutlein. As an immediate corollary, we get a short proof of a recent result of Averkov, Wagner and Weismantel, namely the finiteness of the number of maximal lattice polytopes without interior lattice points. Moreover, we show that in dimension four and higher some of these finitely many polytopes are not maximal as convex …
Polytope numbers for a given polytope are an integer sequence defined by the combinatorics of the polytope. Recent work by H. K. Kim and J. Y. Lee has focused on writing polytope number sequences as sums of simplex number sequences. In addition, these works have given a process for writing the polytope number sequence in a recursive fashion by using the interior sequence for the various k-faces of the polytope, each viewed as a k-dimensional polytope. This paper shows that the coefficients of the linear combination of simplex number are the h-vector components for a certain type of triangulati…
We introduce the package LatticePolytopes for Macaulay2. The package provides methods for computations related to Cayley structures, local positivity and smoothness for lattice polytopes.
After giving a short introduction on smooth lattice polytopes, I will present a proof for the finiteness of smooth lattice polytopes with few lattice points. The argument is then turned into an algorithm for the classification of smooth lattice polytopes in fixed dimension with an upper bound on the number of lattice points. Additionally I have implemented this algorithm for dimension two and three and used it, together with a classification of smooth minimal fans by Tadao Oda, to create lists of all smooth 2-polytopes and 3-polytopes with at most 12 lattice points.
Given a lattice polytope $P$ (with underlying lattice $\lo$), the universal counting function $\uu_P(\lo')=|P\cap \lo'|$ is defined on all lattices $\lo'$ containing $\lo$. Motivated by questions concerning lattice polytopes and the Ehrhart polynomial, we study the equation $\uu_P=\uu_Q$.
We show that h*-vectors of alcoved polytopes P in R^n (of Lie type A) are unimodal if they contain interior lattice points and their facets have lattice distance 1 to the set of interior lattice points. The maximal possible such distance for general alcoved polytopes is shown to be dim(P)-1. A secondary purpose of the paper is to serve as a guide to previous work surrounding unimodality of h*-vectors of alcoved polytopes and related questions.
Lattices generated by lattice points in skeletons of reflexive polytopes are essential in determining the fundamental group and integral cohomology of Calabi-Yau hypersurfaces. Here we prove that the lattice generated by all lattice points in a reflexive polytope is already generated by lattice points in codimension two faces. This answers a question of J. Morgan.
Consider a lattice in a real finite dimensional vector space. Here, we are interested in the lattice polytopes, that is the convex hulls of finite subsets of the lattice. Consider the group $G$ of the affine real transformations which map the lattice onto itself. Replacing the group of euclidean motions by the group $G$ one can define the notion of regular lattice polytopes. More precisely, a lattice polytope is said to be regular if the subgroup of $G$ which preserves the polytope acts transitively on the set of its complete flags. Recently, Karpenkov obtained a classification of the regular …
Gathering different results from singularity theory, geometry and combinatorics, we show that the spectrum at infinity of a tame Laurent polynomial counts lattice points in polytopes and we deduce an effective algorithm in order to compute the Ehrhart polynomial of a simplex containing the origin as an interior point.
We classify lattice $3$-polytopes of width larger than one and with exactly $6$ lattice points. We show that there are $74$ polytopes of width $2$, two polytopes of width $3$, and none of larger width. We give explicit coordinates for representatives of each class, together with other invariants such as their oriented matroid (or order type) and volume vector. For example, according to the number of interior points these $76$ polytopes divide into $23$ tetrahedra with two interior points (clean tetrahedra), $49$ polytopes with one interior point (the $49$ canonical three-polytopes with five bo…
The polymake software system deals with convex polytopes and related objects from geometric combinatorics. This note reports on a new implementation of a subclass for lattice polytopes. The features displayed are enabled by recent changes to the polymake core, which will be discussed briefly.
We define Q-normal lattice polytopes. Natural examples of such polytopes are Cayley sums of strictly combinatorially equivalent lattice polytopes, which correspond to particularly nice toric fibrations, namely toric projective bundles. In a recent paper Batyrev and Nill have suggested that there should be a bound, N(d), such that every lattice polytope of degree d and dimension at least N(d) decomposes as a Cayley sum. We give a sharp answer to this question for smooth Q-normal polytopes. We show that any smooth Q-normal lattice polytope P of dimension n and degree d is a Cayley sum of strictl…
We present a formula for the degree of the discriminant of a smooth projective toric variety associated to a lattice polytope P, in terms of the number of integral points in the interior of dilates of faces of dimension greater or equal than $\lceil \frac {\dim P} 2 \rceil$.
The reflexive dimension refldim(P) of a lattice polytope P is the minimal d so that P is the face of some d-dimensional reflexive polytope. We show that refldim(P) is finite for every P, and give bounds for refldim(kP) in terms of refldim(P) and k.
We give an effective upper bound on the h^*-polynomial of a lattice polytope in terms of its degree and leading coefficient, confirming a conjecture of Batyrev. We deduce this bound as a consequence of a strong Cayley decomposition theorem which says, roughly speaking, that any lattice polytope with a large multiple that has no interior lattice points has a nontrivial decomposition as a Cayley sum of polytopes of smaller dimension. In an appendix, we interpret this result in terms of adjunction theory for toric varieties.
We provide a complete classification up to isomorphism of all smooth convex lattice 3-polytopes with at most 16 lattice points. There exist in total 103 different polytopes meeting these criteria. Of these, 99 are strict Cayley polytopes and the remaining 4 are obtained as inverse stellar subdivisions of such polytopes. We derive a classification, up to isomorphism, of all smooth embeddings of toric threefolds in $\mathbb{P}^N$ where $N\le 15$. Again we have in total 103 such embeddings. Of these, 99 are projective bundles embedded in $\mathbb{P}^N$ and the remaining 4 are blow-ups of such tor…
We show that, if the interior of a lattice d-polytope P contains at least one lattice point, then it contains a lattice point whose coefficient of asymmetry with respect to P is at most b for some number b depending on d only. As an application, we obtain new upper bounds on the volume of a lattice polytope given the number of lattice points in its interior.
In this paper, we give an algebro-geometric characterization of Cayley polytopes. As a special case, we also characterize lattice polytopes with lattice width one by using Seshadri constants.
In this paper, we introduce polytopes ${\mathcal B}_G$ arising from root systems $B_n$ and finite graphs $G$, and study their combinatorial and algebraic properties. In particular, it is shown that ${\mathcal B}_G$ is reflexive if and only if $G$ is bipartite. Moreover, in the case, ${\mathcal B}_G$ has a regular unimodular triangulation. This implies that the $h^*$-polynomial of ${\mathcal B}_G$ is palindromic and unimodal when $G$ is bipartite. Furthermore, we discuss stronger properties, namely the $γ$-positivity and the real-rootedness of the $h^*$-polynomials. In fact, if $G$ is bipartite…
R. P. Stanley proved the Upper Bound Conjecture in 1975. We imitate his proof for the Ehrhart rings. We give some upper bounds for the volume of integrally closed lattice polytopes. We derive some inequalities for the delta-vector of integrally closed lattice polytopes. Finally we apply our results for reflexive integrally closed and order polytopes.
We give a new definition of lattice-face polytopes by removing an unnecessary restriction in the paper "Ehrhart polynomials of lattice-face polytopes", and show that with the new definition, the Ehrhart polynomial of a lattice-face polytope still has the property that each coefficient is the normalized volume of a projection of the original polytope. Furthermore, we show that the new family of lattice-face polytopes contains all possible combinatorial types of rational polytopes.
A lattice polytope $P$ is called IDP if any lattice point in its $k$th dilate is a sum of $k$ lattice points in $P$. In 1991 Stanley proved a strong inequality in Ehrhart theory for IDP lattice polytopes. We show that his conclusion holds under much milder assumptions, namely if the lattice polytope $P$ is spanning, i.e., any lattice point of the ambient lattice is an integer affine combination of lattice points in $P$. As an application, we get a generalization of Hibi's Lower Bound Theorem. Our proof relies on generalizing Bertini's theorem to the semistandard situation and Harris' Uniform P…
A theorem of Scott gives an upper bound for the normalized volume of lattice polygons with exactly $i>0$ interior lattice points. We will show that the same bound is true for the normalized volume of lattice polytopes of degree 2 even in higher dimensions. In particular, there is only a finite number of quadratic polynomials with fixed leading coefficient being the $h^*$-polynomial of a lattice polytope.
A lattice path matroid is a transversal matroid corresponding to a pair of lattice paths on the plane. A matroid base polytope is the polytope whose vertices are the incidence vectors of the bases of the given matroid. In this paper, we study facial structures of matroid base polytopes corresponding to lattice path matroids.
This note studies the geometric structure of monotone moment polytopes (the duals of smooth Fano polytopes) using probes. The latter are line segments that enter the polytope at an interior point of a facet and whose direction is integrally transverse to this facet. A point inside the polytope is displaceable by a probe if it lies less than half way along it. Using a construction due to Fukaya-Oh-Ohta-Ono, we show that every rational polytope has a central point that is not displaceable by probes. In the monotone (or more generally, the reflexive) case, this central point is its unique interio…
Polyptych lattices and marked chain-order polytopes
Faculty of Advanced Science and Technology, Kumamoto University（熊本大学先进科学技术学部）；Department of Pure and Applied Mathematics, Graduate School of Information Science and Technology, Osaka University（大阪大学信息理工学研究科纯应用数学系）
It is a famous open question whether every integrally closed reflexive polytope has a unimodal Ehrhart delta-vector. We generalize this question to arbitrary integrally closed lattice polytopes and we prove unimodality for the delta-vector of lattice parallelepipeds. This is the first nontrivial class of integrally closed polytopes. Moreover, we suggest a new approach to the problem for reflexive polytopes via triangulations.
We determine lattice polytopes of smallest volume with a given number of interior lattice points. We show that the Ehrhart polynomials of those with one interior lattice point have largest roots with norm of order n^2, where n is the dimension. This improves on the previously best known bound n and complements a recent result of Braun where it is shown that the norm of a root of an Ehrhart polynomial is at most of order n^2. For the class of 0-symmetric lattice polytopes we present a conjecture on the smallest volume for a given number of interior lattice points and prove the conjecture for cr…
We completely classify non-spanning $3$-polytopes, by which we mean lattice $3$-polytopes whose lattice points do not affinely span the lattice. We show that, except for six small polytopes (all having between five and eight lattice points), every non-spanning $3$-polytope $P$ has the following simple description: $P\cap \mathbb{Z}^3$ consists of either (1) two lattice segments lying in parallel and consecutive lattice planes or (2) a lattice segment together with three or four extra lattice points placed in a very specific manner. From this description we conclude that all the empty tetrahedr…
A complete classification of the $δ$-vectors of lattice polytopes whose normalized volumes are at most $4$ is known. In the present paper, we will classify all the $δ$-vectors of lattice polytopes with normalized volumes $5$.
For each dimension $d$, $d$-dimensional integral simplices with exactly one interior integral point have bounded volume. This was first shown by Hensley. Explicit volume bounds were determined by Hensley, Lagarias and Ziegler, Pikhurko, and Averkov. In this paper we determine the exact upper volume bound for such simplices and characterize the volume-maximizing simplices. We also determine the sharp upper bound on the coefficient of asymmetry of an integral polytope with a single interior integral point. This result confirms a conjecture of Hensley from 1983. Moreover, for an integral simplex …
We use the notions of reflexivity and of reflexive dimensions in order to introduce probability measures for lattice polytopes and initiate the investigation of their statistical properties. Examples of applications to discrete geometry include a study of randomness of self-duality of reflexive polytopes and implications for expectation values of the numbers of such polytopes in higher dimensions. We also discuss enumeration problems and related algorithms and point out interesting open problems. In this context we define the notion of IP-confined polytopes. Our new results include the list of…
Let G be a connected bipartite graph with color classes E and V and root polytope Q. Regarding the hypergraph (V,E) induced by G, we prove that its interior polynomial is equivalent to the Ehrhart polynomial of Q, which in turn is equivalent to the h-vector of any triangulation of Q. It follows that the interior polynomials of (V,E) and its transpose (E,V) agree. When G is a complete bipartite graph, our result recovers a well known hypergeometric identity due to Saalschütz. It also implies that certain extremal coefficients in the Homfly polynomial of a special alternating link can be read of…
There is a simple formula for the Ehrhart polynomial of a cyclic polytope. The purpose of this paper is to show that the same formula holds for a more general class of polytopes, lattice-face polytopes. We develop a way of decomposing any d-dimensional simplex in general position into d! signed sets, each of which corresponds to a permutation in the symmetric group, and reduce the problem of counting lattice points in a polytope in general position to that of counting lattice points in these special signed sets. Applying this decomposition to a lattice-face simplex, we obtain signed sets with …
We give an upper bound on the volume vol(P*) of a polytope P* dual to a d-dimensional lattice polytope P with exactly one interior lattice point, in each dimension d. This bound, expressed in terms of the Sylvester sequence, is sharp, and is achieved by the dual to a particular reflexive simplex. Our result implies a sharp upper bound on the volume of a d-dimensional reflexive polytope. Translated into toric geometry, this gives a sharp upper bound on the anti-canonical degree $(-K_X)^d$ of a d-dimensional toric Fano variety X with at worst canonical singularities.
The h^*-polynomial of a lattice polytope is the numerator of the generating function of the Ehrhart polynomial. Let P be a lattice polytope with h^*-polynomial of degree d and with linear coefficient h^*_1. We show that P has to be a lattice pyramid over a lower-dimensional lattice polytope, if the dimension of P is greater or equal to h^*_1 (2d+1) + 4d-1. This result has a purely combinatorial proof and generalizes a recent theorem of Batyrev.
A $d$-dimensional closed convex set $K$ in $\mathbb{R}^d$ is said to be lattice-free if the interior of $K$ is disjoint with $\mathbb{Z}^d$. We consider the following two families of lattice-free polytopes: the family $\mathcal{L}^d$ of integral lattice-free polytopes in $\mathbb{R}^d$ that are not properly contained in another integral lattice-free polytope and its subfamily $\mathcal{M}^d$ consisting of integral lattice-free polytopes in $\mathbb{R}^d$ which are not properly contained in another lattice-free set. It is known that $\mathcal{M}^d = \mathcal{L}^d$ holds for $d \le 3$ and, for e…
A lattice polytope $\mathcal{P} \subset \mathbb{R}^d$ is called a locally anti-blocking polytope if for any closed orthant $\mathbb{R}^d_{\varepsilon}$ in $\mathbb{R}^d$, $\mathcal{P} \cap \mathbb{R}^d_{\varepsilon}$ is unimodularly equivalent to an anti-blocking polytope by reflections of coordinate hyperplanes. In the present paper, we give a formula for the $h^*$-polynomials of locally anti-blocking lattice polytopes. In particular, we discuss the $γ$-positivity of the $h^*$-polynomials of locally anti-blocking reflexive polytopes.
For a d-dimensional convex lattice polytope P, a formula for the boundary volume is derived in terms of the number of boundary lattice points on the first $\floor{d/2}$ dilations of P. As an application we give a necessary and sufficient condition for a polytope to be reflexive, and derive formulae for the f-vector of a smooth polytope in dimensions 3, 4, and 5. We also give applications to reflexive order polytopes, and to the Birkhoff polytope.
We develop a procedure for the complete computational enumeration of lattice $3$-polytopes of width larger than one, up to any given number of lattice points. We also implement an algorithm for doing this and enumerate those with at most eleven lattice points (there are 216,453 of them). In order to achieve this we prove that if $P$ is a lattice 3-polytope of width larger than one and with at least seven lattice points then it fits in one of three categories that we call boxed, spiked and merged. Boxed polytopes have at most 11 lattice points; in particular they are finitely many, and we enume…
It is known that a lattice path matroid polytope can be associated with two given noncrossing lattice paths on $\mathbb{Z}\times\mathbb{Z}$ with the same end points. In this short note we give explicit formulae for the $f$-vector, toric $f$- and $g$-polynomials of a lattice path matroid polytope when two boundary paths enclose a hook shape.
In this paper we investigate the number of integer points lying in dilations of lattice path matroid polytopes. We give a characterization of such points as polygonal paths in the diagram of the lattice path matroid. Furthermore, we prove that lattice path matroid polytopes are affinely equivalent to a family of distributive polytopes. As applications we obtain two new infinite families of matroids verifying a conjecture of De Loera et.~al. and present an explicit formula of the Ehrhart polynomial for one of them.
We prove that, for fixed n there exist only finitely many embeddings of Q-factorial toric varieties X into P^n that are induced by a complete linear system. The proof is based on a combinatorial result that for fixed nonnegative integers d and n, there are only finitely many smooth d-polytopes with n lattice points. We also enumerate all smooth 3-polytopes with at most 12 lattice points. In fact, it is sufficient to bound the singularities and the number of lattice points on edges to prove finiteness.
In the frame of a classification of general square systems of polynomial equations solvable by radicals, Esterov and Gusev succeeded in classifying all spanning lattice polytopes whose normalized volumes are at most $4$. In the present paper, we complete to classify all lattice polytopes whose normalized volumes are at most $4$ based on the known classification of their $δ$-polynomials.
We extend White's classification of empty tetrahedra to the complete classification of lattice $3$-polytopes with five lattice points, showing that, apart from infinitely many of width one, there are exactly nine equivalence classes of them with width two and none of larger width. We also prove that, for each $n\in \mathbb{N}$, there is only a finite number of (classes of) lattice $3$-polytopes with $n$ lattice points and of width larger than one. This implies that extending the present classification to larger sizes makes sense, which is the topic of subsequent papers of ours.
