Finitely many smooth -polytopes with lattice points
We prove that for fixed there are only finitely many embeddings of -factorial toric varieties into that are induced by a complete linear system. The proof is based on a combinatorial result that implies that for fixed nonnegative integers and , there are only finitely many smooth -polytopes with lattice points. We also enumerate all smooth -polytopes with lattice points.
The present paper has two target audiences: combinatorialists and algebraic geometers. We give combinatorial proofs of results motivated by the algebraic geometry of toric varieties. We provide two introductions with statements of the main results in the language of divisors on toric varieties on the one hand, and in the language of lattice polytopes on the other. In Section 2, we collect the relevant entries from the dictionary translating between the two worlds. In Section 3 we prove our theorems, and in Section 4 we report on first classification results.
1.1. Introduction (for algebraic geometers)
The purpose of this paper is to show the following finiteness theorem
about embeddings of toric varieties
Let be a nonnegative integer. Then there exist only finitely many embeddings of -factorial toric varieties into that are induced by a complete linear series.
Neither of the two conditions (-factorial and embedded via a complete linear series) can be omitted in the statement:
Furthermore, there exist infinitely many polarized toric varieties where is -factorial and is ample with , see Example 7.
When we assume that is smooth we obtain an even stronger result. For an ample line bundle on a toric variety , we let , where the sum runs over all torus invariant curves in .
For fixed , there are only finitely many smooth polarized toric varieties such that .
Example 18 shows that this theorem is false for very ample line bundles on -factorial toric surfaces.
In Section 4 we use Oda’s classification of smooth 3-dimensional toric varieties that are minimal with respect to equivariant blow-ups to classify all embeddings of smooth 3-dimensional toric varieties into using a complete linear series. In the appendix we present the complete list of the corresponding 3-polytopes with lattice points up to equivalence.
1.2. Introduction (for polyhedral geometers)
The purpose of this paper is to show that there is only a finite number of classes (modulo integral equivalence) of smooth lattice polytopes once we fix some properties of them. For example, let us call a lattice polytope smooth if it is simple and all its normal cones (equivalently, all its tangent cones) are unimodular. Then Theorem 2 is equivalent to:
Let be a nonnegative integer. Then, modulo integral equivalence, there are only finitely many smooth lattice polytopes with lattice points on their edges.
We prove several versions of this theorem; the most general one (Theorem 20) says that instead of requiring our polytopes to be smooth, as in the above in Theorem 3, it suffices to fix a finite list of possible tangent cones for the vertices (modulo integral equivalence).
Our proofs are based on a statement that transfers finiteness from dimension two to dimension (Lemma 9), together with a detailed analysis of the case of dimension two. In dimension two, simply using Pick’s theorem already implies that there is a finite number of polygons with a fixed number of lattice points (see the proof of Theorem 10), but by using the classification of 2-dimensional unimodular fans we get that it is in fact enough to fix the number of lattice points on edges, as long as the multiplicity of the tangent cones is also bounded (Theorem 19, see Section 2.3.1 for the definition of multiplicity). In the smooth case, we also give bounds on how many polygons there are and how big their area can be in terms of the number of lattice points on edges (Theorems 25 and 26).
In Section 4 we use Oda’s classification of 3-dimensional unimodular fans with rays that are minimal with respect to stellar subdivisions to classify all 3-dimensional polytopes with unimodular normal fan and lattice points, up to equivalence. They are listed in the appendix. In subsequent work, Anders Lundman has extended this classification to lattice points [Lun13].
Also from the combinatorial viewpoint, our motivation for this classification is a hierarchy of long standing open questions about smooth polytopes (see Section 4.5).
1.3. Related Results
Let us briefly give an overview of related finiteness and classification results.
For a positive integer , there is a bound so that the volume of every lattice -polytope with interior lattice points is bounded by .
The second result, due to Lagarias and Ziegler [LZ91, Theorem 2], implies that bounding the volume automatically bounds the number of lattice points.
A family of lattice -polytopes with bounded volume contains only a finite number of integral equivalence classes.
Putting these two results together we get:
Any family of lattice polytopes with bounded number of lattice points contains only finitely many integral equivalence classes of polytopes with interior lattice points.
Without the assumption on interior lattice points the result is not true. For example, it is well-known (and was first observed by John Reeve [Ree57]) that there are simplices such as
with only lattice points but unbounded volume. In particular, this shows that the number of lattice points of a lattice polytope does not give a bound on its volume.
On the classification side, most of the known results concern toric Fano varieties. Equivalently, on the polyhedral side the classifications deal with polytopes for which the primitive ray generators of the normal fan are the vertices of a convex polytope. In dimension two, -Gorenstein toric Fano surfaces are known for Gorenstein index [KKN10]. In dimension three, the finite list of canonical toric Fano varieties was obtained by A. Kasprzyk [Kas06]. We refer the interested reader to the Graded Ring Database grdb.lboro.ac.uk for these and other classification results. Gorenstein toric Fano varieties, corresponding to so-called reflexive polytopes [Bat94], are completely classified in dimension [KS98, KS00]. Toric Fano manifolds are classified up to dimension [Bat99, Sat00, KN09, Øbr07]; recently, B. Lorenz computed dimension . The complete list of the corresponding smooth reflexive polytopes can be found in the database at polymake.org.
Higher-dimensional classification results of toric varieties are only known in two cases: in the Gorenstein Fano case under strong symmetry assumptions [VK85, Ewa96, Nil06a] or if the Picard number of a toric manifold is at most , i.e., the -dimensional fan has at most rays, in which case the variety is automatically projective [KS91, Bat91].
This project started during the AIM workshop “Combinatorial challenges in toric varieties”. Bernd Sturmfels asked the finiteness question, and the proof was worked out by the present authors, assisted by Sandra Di Rocco, Alicia Dickenstein, Diane Maclagan and Greg Smith. Benjamin Lorenz carried out the classification in his Diploma thesis [Lor09]. Work of Haase, Nill, and Lorenz supported by Emmy Noether and Heisenberg grants HA4383/1, HA4383/4 of the German Research Society (DFG). Work of Nill also supported by NSF grant DMS 1203162. Work of Hering supported by NSF grant DMS 1001859. Work of Paffenholz is supported by the Priority Program 1489 of the German Research Council (DFG). Work of Santos supported by the Spanish Ministry of Science through grants MTM2011-22792 and CSD2006-00032 (i-MATH)
2. Polarized toric varieties and lattice polytopes.
2.1. Lattice Polytopes
Let be a lattice with dual lattice and associated vector spaces and . A lattice polytope is the convex hull of a finite number of points in . Any lattice polytope is the intersection of finitely many affine half spaces with primitive normal vectors in :
for integral ’s. A face of is the intersection of with an affine hyperplane such that is completely contained in one of the affine half spaces defined by . Faces of a lattice polytope are lattice polytopes themselves.
For a vertex of , let be the (inner) tangent cone to at . It is dual to the (inner) normal cone of at . The normal cones of the different vertices of together with their faces form a polyhedral decomposition of called the normal fan of .
For a subset of , let denote the affine span of . We say that two lattice polytopes and for lattices and are integrally equivalent if there is a lattice preserving affine map that maps bijectively to and to . Up to this integral equivalence, we can (and will) always assume that our polytope is full dimensional, i.e. .
Let be any basis of the lattice . The normalized volume is the volume that assigns to the simplex . In dimension Pick’s formula [Pic99] relates the normalized volume with the number of interior lattice points and the number of boundary lattice points via
2.2. Line bundles and polytopes
Let be an arbitrary field and let be a complete rational fan of dimension in . Let be the associated toric variety, a normal equivariant compactification of the algebraic torus . The dual lattice is naturally isomorphic to the character lattice of . Assume that is projective (equivalently, that is the normal fan of a polytope), and let be an ample line bundle on . The polarized toric variety corresponds to a lattice polytope of dimension with its normal fan equal to . Moreover, we have an isomorphism
where is the character corresponding to .
A linear series induces a rational map , which is equivariant if and only if is torus invariant, that is, for some . Letting , the induced map is given by . The degree of this map turns out to be the normalized volume of – the volume measured in volumes of unimodular simplices. The map is induced by a complete linear series if and only if , that is, . See [CLS11, §6].
If and are integrally equivalent, and if and are the corresponding polarized toric varieties, then there exists a torus equivariant isomorphism such that .
2.3. Singularities and cones
Let be an ample line bundle on the toric variety with corresponding lattice polytope . Then is covered by torus invariant affine pieces which correspond to the vertices of .
For each tangent cone, the semigroup is finitely generated. Its unique minimal set of generators is called the Hilbert basis of the cone [CLS11, Proposition 1.2.22]. The coordinate ring of the affine variety is the semigroup ring
The line bundle is called very ample if its global sections induce an embedding into projective space. The combinatorial condition for to be very ample is that for every vertex of , the shifted polytope contains the Hilbert basis, i.e., , see [Ful93, Section 3.4]. We call very ample if this happens.
Example 8 (Example 7 continued).
Let be a pointed rational -cone with primitive generators . We call -Gorenstein if the lie in an affine hyperplane in . That is, if there is a linear functional on which takes the value on all . This functional is called height and denoted . The index of is the smallest so that . We call Gorenstein if this index is equal to .
These notions agree with the notions (-)Gorenstein and index for the toric singularity associated with . We define the multiplicity as the normalized volume of the nib of
which equals the product of the index with the normalized volume of . Observe that every simplicial cone is -Gorenstein, and its multiplicity equals .
Let be a lattice polytope with -Gorenstein normal fan. We define the multiplicity of to be
the maximal multiplicity of a normal cone to .
Note that for a projective toric variety , the multiplicity does not depend on the polarization, so we can define the multiplicity , where is a lattice polytope corresponding to an ample line bundle on .
The toric singularity is -factorial if the tangent cone of at is simplicial, that is, it is generated by a linearly independent set of primitive vectors. In this case, the singularity is a quotient of affine space by a finite abelian group, and the multiplicity is the cardinality of that group. The box of is the half open parallelepiped
and a box point is one of the many lattice points in . Every Hilbert basis element that is not one of the generators of is a box point, and has smaller height than . In particular, we have .
A cone is called unimodular if its primitive minimal generators form a lattice basis. Unimodularity is equivalent to having multiplicity . We call a lattice polytope smooth if every cone in its normal fan is unimodular.
A lattice polytope is smooth if and only if the associated projective toric variety is smooth (see for example [Ful93, Section 2.1]). Moreover, every ample line bundle on a smooth toric variety is very ample.
3. Finiteness Theorems
When we bound the number of lattice points, we arrive fairly quickly at the desired finiteness result for smooth polytopes (see Section 3.1). The case of simple and very ample polytopes is treated in Section 3.2. Finally, in Section 3.3, we show that for polytopes with restricted normal cones it suffices to bound the number of lattice points on the edges.
3.1. Few polytopes with lattice points
Our finiteness theorems are based on the analysis of what happens in dimension two and then applying the following Lemma.
Let be positive integers, let be a finite family of -dimensional lattice cones and let be a finite family of lattice polygons. There are, up to integral equivalence, finitely many lattice -polytopes with less than vertices such that every 2-dimensional face is integrally equivalent to a polygon from and every normal cone is integrally equivalent to a cone from .
We first observe that there is a finite number of combinatorial types of fans with maximal cones. Here, the combinatorial type is given by the set of faces, partially ordered by inclusion. Once the combinatorial type of is fixed, there are only finitely many choices to assign an element of to a maximal cone of and to embed the face poset of into the face poset of (if possible at all). So, we only need to prove finiteness of the number of polytopes with a fixed combinatorial type so that at every vertex the edges containing are assigned facets of and such that every two-dimensional face is integrally equivalent to a polygon in . There are only finitely many ways to embed the combinatorial type of a polygon from into the combinatorial type of a -face of . We claim that these choices actually determine up to equivalence.
To this end, fix a vertex of and an element of the equivalence class in that we assigned to . This determines all -dimensional faces of incident to . In particular, if is another vertex of adjacent to , together with all edges which are incident to and contained in a common -face with are determined. The directions of these edges, together with the edge span as a vector space. They thus pin down the normal cone in its class.
In summary, fixing a vertex and its normal cone also fixes all adjacent vertices and their normal cones. As the vertex-edge graph of is connected, this determines . ∎
Let be positive integers, and let be a finite family of -dimensional lattice cones. There are, up to integral equivalence, finitely many lattice -polytopes with at most lattice points such that every normal cone is equivalent to a cone from .
Let be a nonnegative integer. Then, there are only finitely many smooth lattice polytopes with lattice points.
For nonnegative integers and , there are only finitely many lattice polytopes with -Gorenstein normal cones of multiplicity bounded by and with lattice points.
We consider two morphisms to the same if they differ by an automorphism of . Using the dictionary between toric morphisms and lattice polytopes, Corollary 13 implies the following corollary.
Let and be nonnegative integers. There are finitely many morphisms from some -Gorenstein toric variety with to that are induced by a complete linear series.
3.2. Simple, very ample polytopes with lattice points
In this section we will show that when is simple and very ample, then the multiplicity of is bounded and so the corresponding assumption in Corollary 13 comes for free.
For nonnegative integers and there are only finitely many -Gorenstein cones so that
Proof of Lemma 15.
For there is only one cone. For , Pick’s formula (1) tells us that . So let us assume that the lemma is true for . Because of Corollary 6, we can assume that has no interior lattice points. This implies that all interior Hilbert basis elements of have height . By induction, there is a minimal height , depending only on and , of a Hilbert basis element in the boundary of . Let .
Triangulate into simplicial cones using only rays of . Every Hilbert basis element of is a box point of one of the . As has at most rays, every box point belongs to less than of the .
Now, every box point of every has a representation with . On the other hand, any box point has height , so that in the above representation we must have which leaves at most possibilities for the coefficients . In other words,
The following statement is equivalent to Theorem 1.
Let be a nonnegative integer. Then there exist only finitely many simple and very ample polytopes with lattice points.
Since is simple, every tangent cone to is -Gorenstein. Moreover, since is very ample, a translate of the Hilbert basis for each tangent cone is a subset of the lattice points of . Since has lattice points, it follows from Lemma 15 that there are only finitely many equivalence classes of tangent cones. So there are only finitely many equivalence classes of normal cones. Now the claim follows from Theorem 10. ∎
In [MFO07, p.2290] Winfried Bruns gives an example of a very ample divisor on a toric -fold whose complete linear series does not yield a projectively normal embedding. This example generalizes to a family of very ample polytopes
with lattice points but unbounded volume. Observe that these polytopes have a Gorenstein normal fan with . However, the tangent cone is not -Gorenstein for .
3.3. Polytopes with lattice points on their edges
The proof of Theorem 10 and, hence, those of Corollaries 11 and 13/14, were based on Pick’s formula (1), which allowed us to bound the number of equivalence classes of polygons with a given number of lattice points. We now show that bounding the number of lattice points along the edges of the polygons is enough, if we also put a bound on the multiplicity of the cones. The following example shows that bounding the multiplicity is necessary.
The polygons for and relatively prime positive integers form an infinite family of polygons having only 3 lattice points on their edges.
We call a lattice polygon a -polygon if has at most lattice points on the boundary and . Then our most general finiteness result for polygons is the following theorem.
Let and be positive integers. There are only finitely many integral equivalence classes of -polygons.
Let be positive integers, and let be a finite family of -dimensional lattice cones. There are, up to integral equivalence, finitely many lattice -polytopes with at most lattice points on edges and such that every normal cone is equivalent to a cone from .
Let be a -polytope such that every normal cone is in . This implies that the normal cones to every two-dimensional face of are contained in a finite family of two-dimensional cones . In particular, each such two-dimensional face has bounded multiplicity. Since the number of lattice points on the edges of a face of a polytope are bounded by the number of lattice points on the edges of , it then follows from Theorem 19 that the set of polygons that can occur as two-dimensional faces of a polytope satisfying the assumptions of the theorem is finite. Now the claim follows from Lemma 9. ∎
We can now apply this to prove our main Theorem.
Fix . Then any lattice polytope with less than lattice points on its edges has less than vertices, so . So it is enough to show that there are finitely many smooth lattice polytopes of dimension with less than lattice points on their edges. When is smooth, then every normal cone to is unimodular, so this follows from applying Theorem 20 to and consisting of the unimodular cone of dimension . ∎
Theorem 2 implies the following. We are not aware of a more direct proof of this statement.
For smooth lattice polytopes, bounding the number of lattice points on the edges bounds the number of total lattice points. In other words, for a line bundle on a smooth polarized toric variety bounding bounds .
As lattice polygons are always -Gorenstein and very ample, Example 18 shows that the statement of Theorem 2 does not hold when we only assume that is simple and very ample. In fact, in the proof of Theorem 16, we used the total number of lattice points to bound the multiplicity. If we assume in addition that the multiplicity is bounded, we obtain the following.
For nonnegative integers and , there are only finitely many lattice polytopes with -Gorenstein normal cones of multiplicity bounded by and with lattice points on edges.
Finitely many polygons
In this section we prove Theorem 19, arguing on the normal fan of a polygon. A -dimensional polyhedral fan is a -fan if it is complete, has rays (one-dimensional faces) with primitive generators such that there are non-negative integers with , and . The last condition means that there exists a polygon whose normal fan is refined by with at most lattice points on its boundary.
Let be an -polygon with normal fan . Then there is a unimodular -fan refining .
The minimal unimodular subdivision of (as discussed in detail in [CLS11, §10.2]) introduces less than new rays for each cone of multiplicity . So has at most rays.
Any complete two-dimensional unimodular fan is integrally equivalent to either the fan of , which is generated by the three vectors , , and , or to a refinement of the fan of a Hirzebruch surface for : is the complete fan with rays generated by , , , and .
The refinement from to can be done introducing one ray at a time and in such a way that all intermediate fans are also unimodular. That is, in each refinement step a certain cone with is subdivided into and with . In polyhedral terms this is an example of a stellar subdivision. In algebraic geometry terms, this corresponds to a blow-up at the fixed point corresponding to the cone .
The following result bounds the parameter of the starting Hirzebruch surface in terms of the parameters and of the fan:
Every unimodular -fan is equivalent to the fan of or to a stellar subdivision of a Hirzebruch fan with .
Assume that is not the fan of and let be the minimal integer such that is a stellar subdivision of (a fan equivalent to) . In the case there is nothing to prove. So let us assume . Then the cones and of must be unsubdivided in . Otherwise would contain the ray generated by either or and, hence, it would be a refinement of a fan equivalent to as well. Hence, schematically, looks as in Figure 5.
Now consider the rays with non-zero coefficient in the expression certifying that is a -fan. Since they positively span , at least one of them must have negative first coordinate and at least one of them must have negative second coordinate. The discussion above implies that the only generator with negative first coordinate is , and that every generator with negative second coordinate has first coordinate . Hence, in order to have we must have . Hence, the sum of all coefficients, , is at least . ∎
Proof of Theorem 19.
As the -th dilation of a unimodular triangle has lattice points on the boundary, there are at most of them within our class. So, for the rest of the proof we bound the number of polygons which are not dilations of unimodular triangles. By Lemma 23, for any such polygon there exists a smooth -fan refining the dual fan of .
By Lemma 24, is obtained from a Hirzebruch surface with by a sequence of at most unimodular stellar subdivisions. Since the number of possible unimodular stellar subdivisions in a unimodular -dimensional fan with rays is finite (it actually equals ) there is only a finite number of possibilities for the fan , hence also for the polygon . ∎
How many polygons, and how big?
We now look at the refinement process described above in more detail in order to give estimates of how many polygons arise in Theorem 19 and what their maximum area is. We do so only in the smooth case and obtain these results:
Let be positive integers. Then, the number of smooth -gons with boundary points is bounded above by .
Let be positive integers. Then, every smooth -gon with boundary points has area bounded above by , where is the golden ratio.
The starting point for the bound of Theorem 25 is that the different unimodular refinements of a unimodular cone can be recorded via binary trees. Remember that a binary tree is a rooted tree in which every node other than the leaves has exactly two children, labeled as “left” and “right”. The number of different binary trees with leaves is the Catalan number [Sta99, Ex. 6.19(d)]. If is a unimodular refinement of a unimodular -dimensional cone, we associate to the binary tree that has one internal node for each ray introduced in the refinement process and one leaf for each unimodular cone of . See Figure 6 for an illustration. That is:
There is a bijection between stellar subdivisions of a unimodular cone with interior rays and binary trees with leaves. ∎
With this we can prove Theorem 25:
Proof of Theorem 25.
Apart from the case of the fan of a unimodular triangle, we need to count how many refinements there are of with rays in total, and then how many ways to choose the coefficients in such a way that and . To bound this number, we combine the four binary trees that refine the four cones of into a single tree with leaves, as shown in Figure 7. The number of ways of doing this is clearly smaller than . Observe that we are over-counting for several reasons: first, the trees we get are only those that have no leaf at depth . Second, in the case we actually only need two binary trees, not four (put differently, the trees labeled and in Figure 7 are empty). Third, in the case there may be several copies of in the fan , which means there are different binary trees giving the same .
We need to count the number of choices for the ’s. We can bound this by the number of ways of partitioning into positive summands , which equals . Again, this is an overcount, because we do not care about the condition .
So, we get a bound of for the number of polygons that come from a given . Since by Lemma 24 , multiplying that bound for gives a global bound. ∎
In order to work towards the proof of Theorem 26, we first show an example that illustrates two points. On the one hand it shows that the upper bound given is not that bad; more precisely, it shows that the maximum area of a smooth -gon with boundary points lies in . On the other hand, it shows where the golden ratio in the statement comes from.
On the other end of the range, Imre Bárány and Norihide Tokushige [BT04, Remark 2] constructed smooth lattice -gons with area less than .
Example 28 (A smooth -gon with area ).
We start with the normal fan of a unimodular triangle, whose rays we label as follows:
Starting with this fan, we refine the three cones in an iterative and symmetric manner. More precisely, choose an integer and introduce:
Since, by symmetry, the sum of these vectors is zero, this is the normal fan of a smooth polygon with all edges of lattice length . The (normalized) area of this polygon is at least the determinant of any pair of rays in the fan, since the convex hull of the corresponding edges contains a triangle with that area. Let us compute, for example, . By construction we have
where denotes the -th Fibonacci number. That is, , , , . Hence, the determinant we are interested in equals
for a certain constant . Since the perimeter of the polygon is , this lower bound gives the correct area, up to the value of .
Proof of Theorem 26.
If the normal fan of is the fan of , is a unimodular triangle dilated by a factor of , so its area is . Thus, assume that the normal fan of is a refinement of the Hirzebruch fan and, as in Lemma 24, assume that is minimal with that property. If , then the three rays , and are consecutive in the normal fan of . Let , and be the corresponding edges. Then is inscribed in the triangle with base and third vertex in the intersection of the lines containing and . That triangle (which may not be a lattice triangle) has normalized area , where is the length of .
So, for the rest of the proof we assume ; that is, refines the fan of . Let , , and denote the number of unimodular cones in that refine the four cones of .
The crucial observation is that, as in Example 28, in each quadrant, the -th vector introduced by the refinement process is bounded from above by the -th Fibonacci number in each coordinate. Here, as in Example 28, we reserve the indices and for the two boundary primitive vectors in the quadrant, so that the first vector refining the quadrant has . In particular, every coordinate of every ray is bounded above by , since . On the other hand, the polygon is contained in the zonotope obtained as the Minkowski sum of its edges, and the (normalized) area of that zonotope is the sum of the absolute values of the determinants of all pairs of rays in the fan, where each ray is counted with a multiplicity equal to the length of the corresponding edge [Zie95, Ex. 7.19]. The stated bound then follows from these facts:
The absolute value of each such determinant is bounded above by , which is smaller than .
The number of subdeterminants (counting rays with multiplicity) is bounded above by . ∎
We believe to be also an upper bound for the area, which means that the construction of Example 28 is optimal, modulo a constant factor. The reason for this is that in order to get the vectors in to sum up to zero (when counted with multiplicity) we need to either have extremely high multiplicities in some of them (making exponentially big) or have at least two of the four cones of be refined in basically the same way (making the Fibonacci numbers involved bounded by rather than ). But if only two (opposite) cones of have this property then the Fibonacci-long vectors obtained will be almost opposite, making the area small. Three of the cones need to have vectors with big entries with respect to the basis of the starting , which should give the bound of .
4. Classification in Dimension
This section summarizes the strategy to classify smooth -polytopes with at most lattice points. We don’t follow the proof of Corollary 11 directly but use a modified strategy. For full details, including source code, see [Lor09, HLP10]. In subsequent work, Anders Lundman has extended this classification to lattice points [Lun13].
4.1. Generating Normal Fans
Katsuya Miyake and Tadao Oda classified smooth -dimensional fans which are minimal with respect to equivariant blow-ups [Oda88, Theorem 1.34]. This classification goes up to at most eight rays or equivalently, full-dimensional cones. Starting from this list, all possible sequences of blow-ups had to be enumerated until no fan of a polytope with lattice points could occur further down the search tree. In order to prune the search tree, we used bounds based on the two-dimensional classification.
4.2. Generating Polytopes
The next step is to find the polytopes corresponding to ample divisors, given the normal fan . Let denote the set of rays in , and for , we let
where is the primitive generator of the ray . Note that for , is the lattice polytope corresponding to the torus invariant prime divisor . For a curve on , the function is linear. On a toric variety is ample if and only if for all torus invariant curves , so these inequalities cut out the preimage of the ample cone in . This preimage consists of the vectors such that the normal fan to is . Note that when is ample, then is the lattice length of the edge of corresponding to the -dimensional cone in corresponding to , see [Lat96, 1.4].
Bounding the sum of the edge lengths as a lower bound for the total number of lattice points, the search space of possible -vectors which yield at most lattice points becomes itself the set of lattice points in a polytope.
The last step is to remove all polytopes that are integrally equivalent to another one in the list.
All these computations can be done with the polymake lattice polytope package by Benjamin Lorenz, Andreas Paffenholz and Michael Joswig [GJ, GJ00, JMP09] using interfaces to 4ti2 by the 4ti2 team [4ti2], Latte by Jesús De Loera et al. [LHTY04, LHTY] and normaliz2 by Winfried Bruns et al. [BK01, BIS].
4.3. Classification Results
There are 41 equivalence classes of smooth lattice polygons with at most 12 lattice points.
There are 33 equivalence classes of smooth 3-dimensional lattice polytopes with at most 12 lattice points.
Note that a short parity argument shows that every simple (and hence every smooth) 3-polytope has an even number of vertices. Lists of all smooth polygons and smooth 3-polytopes with at most 12 lattice points can be found in the appendix.
We now have a list of smooth lattice polytopes in dimensions two and three with at most lattice points. The bound may seem rather low – the smallest smooth 3-polytope with one interior lattice point has lattice points total [Kas10]. The classification carried out here serves as a proof of concept – it can be done. There are several points in the algorithm where it could be improved (compare [Lun13]).
In the current implementation, the generation of the normal fans is the bottleneck. By implementing a different way to directly generate all smooth normal fans one could skip the big recursion of calculating all blowing-ups, as well as overcome the limits of at most vertices imposed by the Miyake/Oda classification. The second point to work on is the calculation of lattice points of the polytope containing all right-hand sides . The dimension of this polytope is equal to the Picard number of the toric variety: the number of rays of the fan minus the ambient dimension. Of course, better theoretical bounds for all steps of the algorithm will directly improve the performance.
4.5. Conjectures on smooth toric varieties
There is an entire hierarchy of successively stronger conjectures concerning embeddings of smooth projective toric varieties which are open even in dimension , (compare [MFO07, p. 2313]). The weakest conjecture is Oda’s question whether every smooth lattice polytope is integrally closed, i.e., every lattice point in can be written as a sum of lattice points in . The principal obstacle to theoretical progress on Oda’s question on normality and the related conjectures is a serious lack of well understood examples. Recently, Gubeladze [Gub09] has shown that any lattice polytope with sufficiently long edges (depending on the dimension) gives rise to a projectively normal embedding. In view of this result, if there exists a counterexample, it is more likely to be a small polytope. Yet, all polytopes in our classification up to lattice points satisfy even the strongest of these conjectures (see Corollary 34). In particular, the homogeneous coordinate ring is a Koszul algebra.
The following proposition shows that Oda’s question implies Theorem 1 for smooth toric varieties.
There are only finitely many integrally closed lattice polytopes with lattice points.
If is normal, then the semigroup in generated by , where is a lattice point in , is normal. This implies that the associated semigroup algebra is integrally closed and thus a Cohen-Macaulay standard graded algebra [Hoc72] with generators. Thus, the coefficients of its Hilbert function (the Ehrhart polynomial of ) are bounded (compare, e.g. [Hib92, Lemma 18.1]). This bounds the degree (the normalized volume of ). By Theorem 5, there are only finitely many such . ∎
Furthermore, using our classification, we were able to confirm the strongest conjecture for smooth polytopes with at most 12 lattice points.
If is a 3-dimensional smooth polytope with at most lattice points, then has a regular unimodular triangulation with minimal non-faces of size two.
Let be a smooth toric threefold embedded in using a complete linear series. Then the defining ideal of has an initial ideal generated by square-free quadratic monomials.
List of Smooth Polygons with Lattice Points