# On a classification of smooth Fano polytopes.

1 Introduction

A lattice polytope P is a convex polytope whose vertices lie in a lattice N contained in the vector space [R.sup.d]. Fixing a basis of N describes an isomorphism to [Z.sup.d]. Throughout this paper, we restrict our attention to the standard lattice N = [Z.sup.d]. A d-dimensional lattice polytope P [subset] [R.sup.d] is called reflexive if it contains the origin 0 as an interior point and its polar polytope is a lattice polytope in the dual lattice M := Hom(N, Z) [equivalent to] [Z.sup.d]. A lattice polytope P is terminal if 0 and the vertices are the only lattice points in P [intersection] [Z.sup.d]. It is simplicial if each face is a simplex. We say that P is a smooth Fano polytope if P [subset.bar] Rd is simplicial with 0 in the interior and the vertices of each facet form a lattice basis of [Z.sup.d].

In algebraic geometry, reflexive polytopes correspond to Gorenstein toric Fano varieties. The toric variety XP of a polytope P is determined by the face fan of P, that is, the fan spanned by all faces of P; see (Ewald, 1996) or (Cox et al., 2011) for details. The toric variety [X.sub.P] is Q- factorial (some multiple of a Weil divisor is Cartier) if and only if the polytope P is simplicial. In this case the Picard number of X equals n - d, where n is the number of vertices of P. The polytope P is smooth if and only if the variety XP is a manifold (that is, it has no singularities). Note that the notions detailed above are not entirely standardized in the literature. For example, our definitions agree with (Nill, 2005), but disagree with (Kreuzer and Nill, 2009).

Our main result is a classification of those simplicial, terminal, and reflexive lattice polytopes with at least 3d - 2 vertices. We show that such a polytope is lattice equivalent to a direct sum of del Pezzo polytopes, pseudo del Pezzo polytopes, or a (possibly skew) bipyramid over (pseudo) del Pezzo polytopes. In particular, a simplicial, terminal, and reflexive polytope with at least 3d - 2 vertices is necessarily smooth Fano. The precise statement can be found in Theorem 2 below.

This extends results of Casagrande who proved that the number of a d-dimensional simplicial, terminal, and reflexive lattice polytopes does not exceed 3d; she also showed that, up to lattice equivalence, only one type exists which attains this bound (and the dimension d is even) (Casagrande, 2006). Moreover, our result also extends 0bro's classification of all polytopes of the named kind with 3d - 1 vertices (Obro, 2008). Our proof employs techniques similar to those used by (Obro, 2008) and (Nill and Obro, 2010), but requires more organization since a greater variety of possibilities occurs. Translated into the language of toric varieties our main result establishes that any d-dimensional terminal Q-factorial Gorenstein toric Fano variety with Picard number at least 2d - 2 decomposes as a (possibly trivial) toric fiber bundle with known fiber and base space; the precise statement is Corollary 4. As a key benefit of our systematic approach a certain general pattern emerges, and we state this as Conjecture 3 below. Like our main result this conjecture also admits a direct translation to toric varieties.

The interest in structural results of this type originates in applications of algebraic geometry to mathematical physics. For instance, (Batyrev and Borisov, 1996) use reflexive polytopes to construct pairs of mirror symmetric Calabi-Yau manifolds. Up to unimodular equivalence, there exists only a finite number of such polytopes in each dimension, and they have been classified up to dimension 4, see (Batyrev, 1991), (Kreuzer and Skarke, 1997, 2002). Smooth reflexive polytopes have been classified up to dimension 8 by (Obro, 2007); see (Brown and Kasprzyk, 2009-2012) for data. By enhancing Obro's implementation within the polymake framework (Gawrilow and Joswig, 2000) this classification was extended to dimension 9 (Lorenz and Paffenholz, 2008); from that site the data is available in polymake format.

In this extended abstract we will only summarize the essential ideas for the proofs. In addition, we will detail the 6-dimensional case. For full proofs we refer to the paper (Assarf et al., 2012).

2 Lattice Polytopes

A polytope P [subset] [R.sup.d] is a lattice polytope if its vertex set Vert(P) is contained in [Z.sup.d] (more generally, contained in some lattice N [subset.bar] [R.sup.d]). See (Ewald, 1996) for background on lattice polytopes. P is called reflexive, if P contains the origin in its interior and its dual [P.sup.*] is a lattice polytope in the dual lattice. P is terminal if P [intersection] N = Vert(P) [union] {0}. More generally, P is canonical if the origin is the only interior lattice point in P. Two lattice polytopes are lattice equivalent if one can be mapped to the other by a transformation in G[L.sub.d]Z followed by a lattice translation.

We start out with listing all possible types of 2-dimensional terminal and reflexive lattice polytopes in Figure 1. Up to lattice equivalence five cases occur which we denote as [P.sub.6], [P.sub.5], [P.sub.4a], [P.sub.4b], and [P.sub.3], respectively; one hexagon, one pentagon, two quadrangles, and a triangle; see (Ewald, 1996, Thm. 8.2). All of them are smooth Fano polytopes, that is, the origin lies in the interior and the vertex set of each facet forms a lattice basis. The only 1-dimensional reflexive polytope is the interval [-1, 1].

Let P [subset] [R.sup.d] and Q [subset] Re [b.sup.e] polytopes with the origin in their respective relative interiors. The polytope

P [direct sum] Q = conv(P [union] Q) [subset] [R.sup.d+e]

is the direct sum of P and Q. This construction also goes by the name "linear join" of P and Q. Clearly, forming direct sums is commutative and associative. Notice that the polar polytope [(P [direct sum] Q).sup.*] = [P.sup.*] x [Q.sup.*] is the direct product. An important special case is the proper bipyramid [-1, 1] [direct sum] Q over Q. More generally, we consider the possibly skew bipyramids

BP(Q, v, w) := conv(({0} x Q) [union] {w, v - w}),

where v [member of] Q [intersection] [Z.sup.e] is a lattice point in Q and w is orthogonal to the affine hull of Q with [absolute value of w] = 1. In particular, choosing v = 0 recovers the proper bipyramid. The relevance of these constructions for simplicial, terminal, and reflexive polytopes stems from the following lemma; see also (Ewald, 1996, [section]V.7.7) and Figure 2 below. The reader can find the simple proof in (Assarf et al., 2012, Lemmas 2,3,4).

[FIGURE 1 OMITTED]

Lemma 1 Let P [subset] [R.sup.d] and Q [subset] [R.sup.e] both be lattice polytopes. Then the direct sum P [direct sum] Q [subset] [R.sup.d+e] is simplicial, terminal, or reflexive if and only if P and Q are.

In particular, this applies to the case that P = [-1, 1] [direct sum] Q is a proper bipyramid over a (d - 1)- dimensional lattice polytope Q. More generally, P is a simplicial, terminal, or reflexive skew bipyramid if and only if Q has the corresponding property.

The latter case of the lemma occurs frequently in the classification. Let [e.sub.1], [e.sub.2], ..., [e.sub.d] be the standard basis of [Z.sup.d] in [R.sup.d]. Here and throughout we abbreviate 1 = (1, 1, ..., 1). For even d the d-polytopes

DP(d) = conv{[+ or -] [e.sub.1], [+ or -] [e.sub.2], ..., [+ or -] [e.sub.d], [+ or -] 1} [subset] [R.sup.d]

with 2d + 2 vertices form a 1-parameter family of smooth Fano polytopes; see (Ewald, 1996, [section]V.8.3). They are usually called del Pezzo polytopes. If -1 is not a vertex the resulting polytopes are sometimes called pseudo del Pezzo. Notice that the 2-dimensional del Pezzo polytope DP(2) is lattice equivalent to the hexagon [P.sub.6] shown in Figure 1, and the 2-dimensional pseudo del Pezzo polytope is lattice equivalent to the pentagon [P.sub.5]. While the definition of DP(d) also makes sense in odd dimensions, the polytopes obtained are not simplicial.

For centrally symmetric smooth Fano polytopes (Voskresenskii and Klyachko, 1984) provide a classification result. They showed that every centrally symmetric smooth Fano polytope can be written as a sum of line segments and del Pezzo polytopes. This was later generalized to simplicial and reflexive pseudo-symmetric polytopes by (Ewald, 1988, 1996) in the smooth case, and by (Nill, 2006, Thm. 0.1) in the general case. A polytope is pseudo-symmetric if there exists a facet F, such that -F = {-v|v [member of] F} is also a facet. They proved that any pseudo-symmetric simplicial and reflexive polytope is lattice equivalent to a direct sum of a (possibly trivial) cross polytope, del Pezzo polytopes, and pseudo del Pezzo polytopes.

A direct sum of d intervals [-1, 1] [direct sum] [-1, 1] [direct sum] ... [direct sum] [-1, 1] is the same as the regular cross polytope conv{[+ or -] [e.sub.1], [+ or -] [e.sub.2], ..., [+ or -] [e.sub.d]}. The direct sum of several intervals with a polytope Q is the same as an iterated proper bipyramid over Q. Casagrande showed that any simplicial and reflexive d- polytope P has at most 3d vertices, and if it does have exactly 3d vertices then d is even, and P is a centrally symmetric smooth Fano polytope (Casagrande, 2006, Thm. 3). Thus, in this case P is lattice equivalent to a direct sum of d/2 copies of [P.sub.6] [??] DP(2).

[FIGURE 2 OMITTED]

Obro classified the simplicial, terminal, and reflexive d-polytopes with 3d - 1 vertices (Obro, 2008). Up to lattice equivalence, there is the interval [-1, 1] in dimension 1 and the pentagon P5 in dimension 2. Forming suitable direct sums and (skew) bipyramids gives more smooth Fano d-polytopes with 3d - 1 vertices via

[P.sub.5] [direct sum] [P.sup.[direct sum].sub.6(d/2 - 1)] for even d, and BP([P.sup.[direct sum](d-1/2).sub.6), v, [e.sub.d]) for odd d v [member of] [Z.sup.d-1] [intersection] [P.sup.[direct sum](d-1/2).sub.6).

Note that, up to lattice isomorphism, there are only two choices for v, either 0, which gives a proper bipyramid, or some vertex, which results in a skew bipyramid. The 3-dimensional cases are shown in Figure 2. Up to lattice equivalence, these are the only d-dimensional simplicial, terminal, and reflexive polytopes with 3d - 1 vertices (0bro, 2008, Thm. 1). It turns out that all these polytopes are smooth Fano. Our main result is the following classification, which is a summary of (Assarf et al., 2012, Thm. 7).

Theorem 2 For even d [greater than or equal to] 6 there are three combinatorial types of d-dimensional simplicial, terminal, and reflexive polytopes with 3d - 2 vertices. These three cases split into eleven types up to lattice equivalence. For odd d [greater than or equal to] 5 there is only one combinatorial type that splits into five types up to lattice equivalence.

For d = 1 there is one combinatorial type, for d = 2 there is one combinatorial type with two different lattice realizations, for d = 3 there is one combinatorial type with 4 different lattice realizations, and, finally, for d = 4 there are three combinatorial types with ten different lattice realizations; see (Batyrev, 1999).

We list the types explicitly. To this end we label the vertices of [P.sub.5] by [v.sub.1], [v.sub.2], ..., [v.sub.5] and those of [P.sub.6] with [w.sub.1], [w.sub.2], ..., [w.sub.6] in clockwise order. For [P.sub.5], let [v.sub.1] be the unique vertex such that - [v.sub.1] [not member of] [P.sub.5]. For even d [greater than or equal to] 4 the three combinatorial types are

[P.sup.[direct sum]2.sub.5] [direct sum] [P.sup.[direct sum](d/2-2).sub.6], DP(4) [direct sum] [P.sup.[direct sum](d/2- 2).sub.6], and BP(BP([P.sup.[direct sum]d-2/2.sub.6], x, a), y, b),

for a lattice point x of [P.sup.[direct sum]d-2/2.sub.6], a lattice point y of BP([P.sup.[direct sum]d-2.sub.6], x, a) and transversal vectors a, b. The last case splits, up to lattice equivalence, into eight types if d = 4 and nine if d [greater than or equal to] 6. The relevant choices of x, y are

(0, 0), (0, c), (0, [w.sub.1]), ([w.sub.1], [w.sub.1]), ([w.sub.1], [w.sub.2]), ([w.sub.1], [w.sub.3]), ([w.sub.1], [w.sub.4]), and ([w.sub.1], c)

for d = 4, where all w4 are vertices of some copy of [P.sub.6]; here c denotes one of the two apices of the bipyramid BP([P.sup.[direct sum]d-2.sub.6], x, a). For d [greater than or equal to] 6 we can additionally choose two vertices in different copies of [P.sub.6]. It is a key step in our proof to recognize these (proper or skew) bipyramids. The fact that the group of lattice automorphisms of [P.sub.6], which is isomorphic to the dihedral group of order 12, acts sharply transitively on adjacent pairs of vertices then entails the classification up to lattice equivalence. For odd d [greater than or equal to] 5 the one combinatorial type is BP([P.sub.5] [direct sum] [P.sup.[direct sum]d-3/2.sub.2], x, a) for some lattice point x [member of] [P.sub.5] [direct sum] [P.sup.[direct sum]d-3/2.sub.6]. The five different lattice isomorphism types are realized by choosing x in {0, [v.sub.1], [v.sub.2], [v.sub.3], [w.sub.1]}.

We do believe that the list of the classifications obtained so far follows a pattern.

Conjecture 3 Let P be a d-dimensional smooth Fano polytope with n vertices such that n [greater than or equal to] 3d - k for k [less than or equal to] d/3. If d is even then P is lattice equivalent to Q [direct sum] [P.sup.[direct sum](d- 3k/2).sub.6] where Q is a 3k-dimensional smooth Fano polytope with n - 3d + 9k [greater than or equal to] 8k vertices. If d is odd then P is lattice equivalent to Q [direct sum] [P.sup.[direct sum](d-3k-1/2).sub.6] where Q is a (3k + 1)-dimensional smooth Fano polytope with n - 3d + 9k - 3 [greater than or equal to] 8k - 3 vertices. This conjecture is best possible in the following sense: The k-fold direct sum of skew bipyramids over [P.sub.6] yields a smooth Fano polytope of dimension d = 3k with 8k = 3d - k vertices, but it has no copy of P6 as a direct summand. However, it does contain [P.sup.[direct sum]k.sub.6] as a subpolytope of dimension 2k = 2/3d.

If the conjecture above holds the full classification of the smooth Fano polytopes of dimension at most nine Lorenz and Paffenholz (2008) would automatically yield a complete description of all d-dimensional smooth Fano polytopes with at least 3d - 3 vertices.

3 Toric Varieties

Reading a lattice point a [member of] [Z.sup.d] as the exponent vector of the monomial [MATHEMATICAL EXPRESSION NOT REPRODUCIBLE IN ASCII] in the Laurent polynomial ring C[[z.sup.[+ or -]1.sub.1], [z.sup.[+ or -]1.sub.2], ..., [z.sup.[+ or -]d.sub.d] provides an isomorphism from the additive group of [Z.sup.d] to the multiplicative group of Laurent monomials. This way the maximal spectrum [X.sub.[sigma]] of a lattice cone [sigma] becomes an affine toric variety. If [summation] is a fan of lattice cones, gluing the duals of the cones along common faces yields a (projective) toric variety [X.sub.[summation]]. This complex algebraic variety admits a natural action of the embedded dense torus corresponding to the (dual of) the trivial cone {0} which is contained in each cone of [summation]. If P [member of] [R.sup.d] is a lattice polytope containing the origin, then the face fan

E(P) = {pos(F)|F face of P}

is such a fan of lattice cones. We denote the associated toric variety by [X.sub.P] = [X.sub.[summation](P)]. The face fan of a polytope is isomorphic to the normal fan of its polar. Two lattice polytopes P and Q are lattice equivalent if and only if [X.sub.P] and [X.sub.Q] are isomorphic as toric varieties.

Let P be a full-dimensional lattice polytope containing the origin as an interior point. Then the toric variety [X.sub.P] is smooth if and only if P is smooth in the sense of the definition given above, that is, the vertices of each facet of P are required form a lattice basis. A smooth compact projective toric variety [X.sub.P] is a toric Fano variety if its anticanonical divisor is very ample. This holds if and only if P is a smooth Fano polytope; see (Ewald, 1996, [section]VII.8.5).

We now describe the toric varieties arising from the polytopes listed in our Theorem 2. For the list of two-dimensional toric Fano varieties we use the same notation as in Figure 1; see (Ewald, 1996, [section]VII.8.7). The toric variety [MATHEMATICAL EXPRESSION NOT REPRODUCIBLE IN ASCII] is the complex projective plane [P.sub.2]. The toric variety [MATHEMATICAL EXPRESSION NOT REPRODUCIBLE IN ASCII] is isomorphic to a direct product [P.sub.1] x [P.sub.1] of lines, and [MATHEMATICAL EXPRESSION NOT REPRODUCIBLE IN ASCII] is the smooth Hirzebruch surface [H.sub.1]. The toric variety [MATHEMATICAL EXPRESSION NOT REPRODUCIBLE IN ASCII] is a blow-up of [P.sub.2] at two points or, equivalently, a blow-up of [P.sub.1] x [P.sub.1] at one torus invariant point. The toric varieties associated with the del Pezzo polytopes DP(d) are called del Pezzo varieties; notice that this notion also occurs with a different meaning in the literature. The toric variety [MATHEMATICAL EXPRESSION NOT REPRODUCIBLE IN ASCII] is a del Pezzo surface or, equivalently, a blow-up of [P.sub.2] at three non-collinear torus invariant points.

Two polytope constructions play a role in our classification, direct sums and (skew) bipyramids. We want to translate them into the language of toric varieties. Let P [subset] [R.sup.d] and Q [subset] [R.sup.e] both be full- dimensional lattice polytopes containing the origin. Then the toric variety [X.sub.P[direct sum]Q] is isomorphic to the direct product [X.sub.P] x [X.sub.Q]. In particular, for P = [-1, 1] we have that the toric variety

[X.sub.[-1,1][direct sum]Q] = [P.sub.1] x [X.sub.Q]

over the regular bipyramid over Q is a direct product with the projective line [P.sub.1] [??] [X.sub.[-1,1]]. More generally, the toric variety of a skew bipyramid over Q is a toric fiber bundle with base space [P.sub.1] and generic fiber [X.sub.Q]; see (Ewald, 1996, [section]VI.6.7). An example is the smooth Hirzebruch surface [MATHEMATICAL EXPRESSION NOT REPRODUCIBLE IN ASCII], which is a (projective) line bundle over [P.sub.1].

In order to translate Theorem 2 to toric varieties we need a few more definitions. For the sake of brevity we explain these in polytopal terms and refer to (Ewald, 1996) for the details. A toric variety [X.sub.P] associated with a canonical lattice d-polytope P is Q-factorial (or quasi-smooth) if P is simplicial; see (Ewald, 1996, [section]VI.3.9). In this case the Picard number equals n - d where n is the number of vertices of P; see (Ewald, 1996, [section]VII.2.17). We call this toric variety a 2-stage fiber bundle over Z if X is a fiber bundle with base space Y such that Y itself is a fiber bundle with base space Z. The following is now a corollary of Theorem 2.

Corollary 4 Let X be d-dimensional terminal Q-factorial Gorenstein toric Fano variety with Picard number 2d - 2. We assume d [greater than or equal to] 4.

If d is even, then X is isomorphic to

i. a 2-stage toric fiber bundle such that the base spaces of both stages are projective lines and the generic fiber of the second stage is the direct product of d-2/2 copies of the del Pezzo surface [MATHEMATICAL EXPRESSION NOT REPRODUCIBLE IN ASCII], or

ii. the direct product of two copies of [MATHEMATICAL EXPRESSION NOT REPRODUCIBLE IN ASCII] copies of [MATHEMATICAL EXPRESSION NOT REPRODUCIBLE IN ASCII] or

iii. the direct product of the del Pezzo fourfold [X.sub.DP(4)] and d/2 - 2 copies of [MATHEMATICAL EXPRESSION NOT REPRODUCIBLE IN ASCII].

If d is odd then X is isomorphic to

iv. a toric fiber bundle over a projective line with generic fiber isomorphic to the direct product of [MATHEMATICAL EXPRESSION NOT REPRODUCIBLE IN ASCII] copies of [MATHEMATICAL EXPRESSION NOT REPRODUCIBLE IN ASCII].

All fiber bundles in the preceding result may or may not be trivial. Classifying the polytopes in Theorem 2 up to lattice equivalence is tantamount to classifying the associated toric varieties up to toric isomorphism. As detailed above there is one type for d =1, two types for d =2, 3, ten for d = 4, five for any odd dimension d [greater than or equal to] 5 and eleven types for even dimensions d [greater than or equal to] 6. For d = 6 this is explained in detail in Section 5 below. In dimensions up to and including 4 this is known from work of Batyrev (1991, 1999).

4 Special Facets and n-Vectors

In this section we will describe our major technical tools. This follows the approach of Obro (2008). Let P [subset] [R.sup.d] be a reflexive lattice d-polytope with vertex set Vert(P). In particular, the origin 0 is an interior point. We let [v.sub.P] := [[summation].sub.v[member of]Vert(P)] v be the vertex sum of P. As P is a lattice polytope [v.sub.P] is a lattice point.

Now, a facet F of P is called special if the face cone pos F spanned by F contains [v.sub.P]. Since the fan [summation](P) generated by the face cones is complete, a special facet always exists. However, it is not necessarily unique. For instance, if P is centrally symmetric, we have [v.sub.P] = 0, and each facet is special.

Since P is reflexive, for each facet F of P the primitive outer facet normal vector [u.sub.F] satisfies <[u.sub.F], x> [less than or equal to] 1 for all points x [member of] P and the set {x [member of] [R.sup.d]|<[u.sub.F], x> = 1} is the affine hull of F. We define

H(F, k) := {x [member of] [R.sup.d]|<[u.sub.F], x> = k}, V(F, k) := H(F, k) [intersection] Vert(P), and [[eta].sup.F.sub.k] := [absolute value of V(F, k)]

for any integer k [less than or equal to] 1. The sequence of numbers [[eta].sup.F] = ([[eta].sup.F.sub.1], [[eta].sup.F.sub.1], [[eta].sup.F.sub.-1], ...) is the n-vector of P with respect to F (we usually omit F in the notation). We omit any trailing zeros so that q has finite length. We have

[MATHEMATICAL EXPRESSION NOT REPRODUCIBLE IN ASCII].

Thus [[eta].sup.F.sub.1] + [[eta].sup.F.sub.0] + [[eta].sup.F.sub.-1] + ... = [absolute value of Vert(P)] is the number of vertices of P. If a vertex v is contained in V(F, k) we call the number k the level of v with respect to F. As P is simplicial we have [[eta].sub.1] = d for any facet F. Furthermore, one can show that for any facet F any vertex on level 0 is contained in a facet adjacent to F. Looking at a special facet and evaluating

[MATHEMATICAL EXPRESSION NOT REPRODUCIBLE IN ASCII] (1)

shows that there can only be at most d many vertices below level 0. Thus, P has at most 3d vertices, implying the upper bound of (Casagrande, 2006). This allows to deduce a list of potential [eta]-vectors from (1). Now we assume that P has exactly 3d - 2 vertices. A priori, the potential cases are listed in Table 1. The maximum level of [v.sub.P] is 2. Our classification shows that not all of the n-vectors listed actually occur. Some can be ruled out by a direct argument, some only a posteriori. Those that do not occur are marked in gray in the table.

Our overall proof strategy is as follows. It turns out that the level of [v.sub.P] is the same for each special facet. Hence, this is an invariant of the polytope, which we call the eccentricity ecc(P). We look at the three possible cases separately. We choose a special facet F of P. As a refinement, we consider separate cases according to the n-vector of F. A key is the observation, that we can, up to lattice equivalence, restrict the possible choices for vertices in levels 1, 0, and - 1 of F. This is summarized in the proposition below; see (Assarf et al., 2012, Prop. 32). Given this initial distribution of the vertices we want to determine the remaining vertices. Sometimes this turns out to be quite difficult. In this cases we switch to a special neighboring facet with a different [eta]-vector which is easier to analyze or already have been analyzed. With opp(F) we denote the set of all vertices which lie in a facet adjacent to F but which are not vertices of F itself.

Proposition 5 Let P be a d-dimensional simplicial, terminal, and reflexive polytope such that F is a special facet. Up to lattice equivalence, we can assume that F = conv{[e.sub.1], [e.sub.2], ..., [e.sub.d]} and there is a map [phi]:

Vert(F) [right arrow] Vert(F) [union] {0} such that:

i. if [[eta].sup.F.sub.0] = d, then

V(F, 0) = {[phi]([e.sub.1]) - [e.sub.1], [phi]([e.sub.2]) - [e.sub.2], ..., [phi]([e.sub.d]) - [e.sub.d]}

V (F, -1) [subset.bar] {-[e.sub.1], -[e.sub.2], -[e.sub.d]}.

ii. If [[eta].sup.F.sub.0] = d - 1 and opp(F) = V(F, 0), then, for a, b [member of] [d]\{1, 2} not necessarily distinct,

V(F, 0) = {-[e.sub.1] - [e.sub.2] + [e.sub.a] + [e.sub.b], [phi]([e.sub.3]), ..., [phi]([e.sub.d]) - [e.sub.d]}

V(F, -1) [subset.bar] {-[e.sub.1], -[e.sub.2], ..., -[e.sub.d]} [union] {- [e.sub.1] - [e.sub.2] + [e.sub.s]|s [member of] [d] }

iii. If [[eta].sup.F.sub.0] = d - 1 and opp(F) [not equal to] V(F, 0), then

V(F, 0) = {[phi]([e.sub.2]) - [e.sub.2], [phi]([e.sub.3]) - [e.sub.3], ..., [phi]([e.sub.d]) - [e.sub.d]}

V(F, -1) [subset.bar] {-[e.sub.1], -[e.sub.2], ..., -[e.sub.d]} [union] {- 2[e.sub.1] - [e.sub.r] + [e.sub.s] + [e.sub.t]|r, s, t [member of] [d] pairwise distinct, r [not equal to] 1}.

The first case above occurs in (Obro, 2008). This result allows us to control most of the vertices of a simplicial, terminal, and reflexive polytope if [[eta].sub.0] is given. In this way an approach to the classification is by examining choices for the vertices on the levels k for k [less than or equal to] - 2.

5 The Classification Explained in Dimension Six

In this section we will explicitly list the 6-dimensional simplicial, terminal, and reflexive polytopes with exactly 3 * 6 - 2 = 16 vertices. This is the smallest even dimension in which all eleven types up to lattice equivalence arise. This list in dimension 6 is already subsumed in the classifications (Brown and Kasprzyk, 2009-2012) and (Lorenz and Paffenholz, 2008); and we will refer to the latter. Here we will organize the polytopes in a way such that it fits the line of arguments in (Assarf et al., 2012). Additional comments are meant to give the reader an idea about the organization of our proof.

Throughout let P be a d-dimensional simplicial, terminal, and reflexive polytope with 3d - 2 vertices such that F is a special facet. The vertex sum [v.sub.P] lies on level 0, 1 or 2 with respect to F. Throughout we assume that d is even and d [greater than or equal to] 4. It turns out that each such polytope P contains a copy of the hexagon [P.sub.6] as a subpolytope, albeit not necessarily as a direct summand. So we normalized the examples in a way that [P.sub.6] always lies in in the coordinate subspace lin{[e.sub.1], [e.sub.2]}. This way the differences among the examples are particularly easy to spot.

5.1 Polytopes of Eccentricity 2

The classification becomes more involved the more symmetric P is. The most eccentric case occurs if the vertex sum lies on level 2, and this is the easiest. Table 1 tells us that there is only one kind of [eta]-vector, namely [[eta].sup.F] = (d, d, d - 2). What makes this case simpler than others is that we immediately have [[eta].sub.0] = d, which forces that the vertices on F form a lattice basis, and the vertices on level 0 can be determined (Obro, 2008). In this case the partial description of the vertices in Proposition 5 is already good enough to get the full picture with little extra effort. It turns out that P is lattice equivalent to [P.sup.[direct sum]2.sub.5] [direct sum] [P.sup.[direct sum]d/2-2.sub.6] or to a skew bipyramid over a (d - 1)-dimensional smooth Fano polytope with 3(d - 1) - 1 = 3d - 4 vertices.

Example 6 For d =6 the first case is P [??] [P.sub.6] [direct sum] [P.sub.5] [direct sum] [P.sub.5] such that [v.sub.P] = [e.sub.3] + [e.sub.5]. Here and in the examples below, we list the vertices sorted by level.

[MATHEMATICAL EXPRESSION NOT REPRODUCIBLE IN ASCII]

In the database (Lorenz and Paffenholz, 2008) this occurs as F.6D.6552. The polytope has 24 special facets.

If the polytope P is not of the type above then, for d = 6, the polytope P is a double skew bipyramid over [P.sub.6] [direct sum] [P.sub.6]. Four more cases arise depending on the relative positions of the apices of the two bipyramids. To form a skew bipyramid we need to pick a vertex of the base. Since the group of lattice automorphisms of [P.sub.6] acts transitively on the vertices, we may assume that the first skew bipyramid is BP([P.sup.[direct sum]2.sub.6], [e.sub.1], [e.sub.5]). The three distinct relative positions of two vertices of [P.sub.6] lead to the next three cases.

Example 7 For d = 6 the second type is given by BP(BP([P.sup.[direct sum]2.sub.6], [e.sub.1], [e.sub.5]), [e.sub.1], [e.sub.6]) such that [v.sub.P] = 2[e.sub.1].

[MATHEMATICAL EXPRESSION NOT REPRODUCIBLE IN ASCII]

In the database this occurs as F.6D.534 6. The polytope has 48 special facets.

Example 8 For d = 6 the third type is given by BP(BP([P.sup.[direct sum]2.sub.6], [e.sub.1], [e.sub.5]), [e.sub.2], [e.sub.6]) such that [v.sub.P] = [e.sub.1] + [e.sub.2].

[MATHEMATICAL EXPRESSION NOT REPRODUCIBLE IN ASCII]

In the database this occurs as F.6D.5680. The polytope has 24 special facets.

Example 9 For d = 6 the fourth type is given by BP(BP([P.sup.[direct sum]2.sub.6], [e.sub.1], [e.sub.5]), [e.sub.3], [e.sub.6]) such that [v.sub.P] = [e.sub.1] + [e.sub.3].

[MATHEMATICAL EXPRESSION NOT REPRODUCIBLE IN ASCII]

In the database this occurs as F.6D.5553. The polytope has 16 special facets.

The final case in this section differs from the above in that the base vertex of the second skew bipyramid is an apex of the first stage.

Example 10 For d =6 the fifth type is given by BP(BP([P.sup.[direct sum]2.sub.6], [e.sub.1], [e.sub.5]), [e.sub.5], [e.sub.6]) such that [v.sub.P] = [e.sub.1] + [e.sub.5].

[MATHEMATICAL EXPRESSION NOT REPRODUCIBLE IN ASCII]

In the database this occurs as F.6D.5685. The polytope has 24 special facets.

5.2 Polytopes of Eccentricity 1

If the vertex sum lies on level one, then the situation is still somewhat benign. Our proof strategy is to first consider polytopes P with a special facet that have [eta]-vector (d, d, d - 3,1). In (Assarf et al., 2012, Prop. 36) we show that in this case P, again, must be a skew bipyramid. Notice, however, that our classification shows a posteriori that this case does not occur. Table 1 then says that the only choice left is [eta] = (d, d - 1, d - 1). In this situation (Assarf et al., 2012, Prop. 39) shows that, once more, P is a double bipyramid.

In the first two cases the first stage is a proper bipyramid. For the second stage then the base vertex can either be in the base of the first stage or an apex.

Example 11 For d =6 the sixth type is given by BP(BP([P.sup.[direct sum]2.sub.6], 0, [e.sub.5]), [e.sub.1], [e.sub.6]) such that [v.sub.P] = [e.sub.1].

[MATHEMATICAL EXPRESSION NOT REPRODUCIBLE IN ASCII]

In the database this occurs as F.6D.5711. The polytope has 48 special facets.

Example 12 For d =6 the seventh type is given by BP(BP([P.sup.[direct sum]2.sub.6], 0, [e.sub.5]), [e.sub.5], [e.sub.6]) such that [v.sub.P] = [e.sub.5].

[MATHEMATICAL EXPRESSION NOT REPRODUCIBLE IN ASCII]

In the database this occurs as F.6D.6558. The polytope has 72 special facets.

For [v.sub.P] [member of] H(F, 1) there is only one choice of a double bipyramid where both stages are skew.

Example 13 For d = 6 the eighth type is given by BP(BP([P.sup.[direct sum]2.sub.6], [e.sub.2], [e.sub.5]), [e.sub.1] - [e.sub.2], [e.sub.6]) such that [v.sub.P] = [e.sub.1].

[MATHEMATICAL EXPRESSION NOT REPRODUCIBLE IN ASCII]

In the database this occurs as F.6D.5702. The polytope has 48 special facets.

5.3 Polytopes of Eccentricity ()

If the vertex sum of P is zero all facets are special. The easy subcase occurs when all [eta]-vectors of P are of type (d, d - 2, d). We show that in this case P is centrally symmetric (Assarf et al., 2012, Prop. 40). Extending arguments of (Nill, 2006, Thm. 0.1) we show that such a polytope is lattice equivalent to a double proper bipyramid over [P.sup.[direct sum]d-2/2.sub.6] or DP(4) [direct sum] [P.sup.[direct sum]d/2-2.sub.6].

Example 14 If d = 6 the ninth type occurs for P [??] [P.sub.6] [direct sum] DP(4).

[MATHEMATICAL EXPRESSION NOT REPRODUCIBLE IN ASCII]

In the database this occurs as F.6D.3154. All 180 facets are special, and all of them have the same [eta]-vector (6, 4, 6).

Example 15 If d = 6 the tenth case is the direct sum of two hexagons [P.sub.6] and two line segments. In our notation, this means that P = BP(BP([P.sup.[direct sum]2.sub.6], 0, [e.sub.5]), 0, [e.sub.6]).

[MATHEMATICAL EXPRESSION NOT REPRODUCIBLE IN ASCII]

In the database this occurs as F.6D.6765. All 144 facets are special, and all of them have the same [eta]-vector (6, 4, 6).

It remains to discuss the situation where [v.sub.P] = 0 but P is not centrally symmetric. This is by far the most complicated case in our proof. It contributes to this complexity that we need to discuss four candidates of [eta]-vectors. First, [eta] = (6, 6, 3, 0, 1) is excluded (Assarf et al., 2012, Prop. 4). Second, [eta] = (6, 6, 2, 2) is essentially reduced to a bipyramid (Assarf et al., 2012, Lem. 43) (but this case does not exist a posteriori). So this leaves two more [eta]-vectors. Surprisingly, they lead to the same polytopes.

Example 16 If d = 6 the final eleventh type occurs for P = BP(BP([P.sup.[direct sum]2.sub.6], [e.sub.1], [e.sub.5]), - [e.sub.1], [e.sub.6]). Up to lattice equivalence this is the only case in which [v.sub.P] = 0 but P is not centrally symmetric.

[MATHEMATICAL EXPRESSION NOT REPRODUCIBLE IN ASCII]

In the database this occurs as F.6D.5713. All 144 facets are special, where 96 of them have the [eta]-vector (6, 5, 4, 1) and the other 48 the n-vector reads (6, 4, 6). For instance, the facet which is induced by <1, x> = 1 has the [eta]-vector (6, 5, 4, 1), and the facet induced by <1 - 2[e.sub.1] - 2[e.sub.6], x> = 1 has the [eta]-vector (6,4, 6).

References

Benjamin Assarf, Michael Joswig, and Andreas Paffenholz. Smooth Fano polytopes with many vertices. preprint, arxiv:1209.3186, 2012.

Victor V. Batyrev. On the classification of smooth projective toric varieties. Tohoku Math. J. (2), 43(4): 569-585, 1991. doi: 10.2748/tmj/1178227429.

Victor V. Batyrev. On the classification of toric Fano 4-folds. J. Math. Sci. (New York), 94(1):1021-1050, 1999. doi: 10.1007/BF02367245.

Victor V. Batyrev and Lev A. Borisov. Mirror duality and string-theoretic Hodge numbers. Inventiones Math., 126:183-203, 1996.

Gavin Brown and Alexander Kasprzyk. Graded ring data base, 2009-2012. URL http://grdb.lboro. ac.uk/.

Cinzia Casagrande. The number of vertices of a Fano polytope. Ann. Inst. Fourier (Grenoble), 56(1):121-130, 2006. doi: 10.5802/aif.2175.

David A. Cox, John B. Little, and Henry K. Schenck. Toric varieties, volume 124 of Graduate Studies in Mathematics. American Mathematical Society, Providence, RI, 2011.

Giinter Ewald. On the classification of toric Fano varieties. Discrete Comput. Geom., 3(1):49-54, 1988. doi: 10.1007/BF02187895.

Giinter Ewald. Combinatorial convexity and algebraic geometry, volume 168 of Graduate Texts in Mathematics. Springer-Verlag, New York, 1996.

Ewgenij Gawrilow and Michael Joswig. polymake: a framework for analyzing convex polytopes. In Polytopes--combinatorics and computation (Oberwolfach, 1997), volume 29 of DMVSem., pages 43-73. Birkhauser, Basel, 2000.

Maximilian Kreuzer and Benjamin Nill. Classification of toric Fano 5-folds. Adv. Geom., 9(1):85-97, 2009. doi: 10.1515/ADVGEOM.2009.005.

Maximilian Kreuzer and Harald Skarke. On the classification of reflexive polyhedra. Comm. Math. Phys., 185(2):495-508, 1997. doi: 10.1007/s002200050100.

Maximilian Kreuzer and Harald Skarke. On the classification of reflexive polyhedra in four dimensions. Advances Theor. Math. Phys., 4:1209-1230, 2002.

Benjamin Lorenz and Andreas Paffenholz. Smooth reflexive polytopes up to dimension 9, 2008. URL http://polymake.org/polytopes/paffenholz/www/fano.html.

Benjamin Nill. Gorenstein toric Fano varieties. Manuscr. Math., 116(2):183- 210,2005. doi: 10.1007/s00229-004-0532-3.

Benjamin Nill. Classification of pseudo-symmetric simplicial reflexive polytopes. Contemp. Math., 423: 269-282,2006. doi: 10.1090/conm/423/08082.

Benjamin Nill and Mikkel 0bro. Q-factorial Gorenstein toric Fano varieties with large Picard number. Tohoku Math. J. (2), 62(1):1-15, 2010.

Mikkel Obro. Classification of smooth Fano polytopes. PhD thesis, University of Aarhus, 2007. available at https://pure.au.dk/portal/files/4174 2384/imf_phd_2 0 0 8_moe.pdf.

Mikkel Obro. Classification of terminal simplicial reflexive d-polytopes with 3d - 1 vertices. Manuscripta Math., 125(1):69-79, 2008. doi: 10.1007/s00229-007-0133-z.

Valentin E. Voskresenskii and Aleksandr A. Klyachko. Toric Fano varieties and systems of roots. Izv. Akad. Nauk SSSR Ser. Mat., 48(2):237-263, 1984. doi: 10.1070/IM1985v024n02ABEH001229.

Benjamin Assarf

Michael Joswig

Andreas Paffenholz ([double dagger])

TU Darmstadt, Germany

([double]) The second and third authors are supported by the Priority Program 1489 "Algorithmic and Experimental Methods in Algebra, Geometry and Number Theory" of the German Research Council (DFG)

([double dagger]) Email: {assarf,joswig,pafferiholz}@mathematik.tu-darmstadt.de

A lattice polytope P is a convex polytope whose vertices lie in a lattice N contained in the vector space [R.sup.d]. Fixing a basis of N describes an isomorphism to [Z.sup.d]. Throughout this paper, we restrict our attention to the standard lattice N = [Z.sup.d]. A d-dimensional lattice polytope P [subset] [R.sup.d] is called reflexive if it contains the origin 0 as an interior point and its polar polytope is a lattice polytope in the dual lattice M := Hom(N, Z) [equivalent to] [Z.sup.d]. A lattice polytope P is terminal if 0 and the vertices are the only lattice points in P [intersection] [Z.sup.d]. It is simplicial if each face is a simplex. We say that P is a smooth Fano polytope if P [subset.bar] Rd is simplicial with 0 in the interior and the vertices of each facet form a lattice basis of [Z.sup.d].

In algebraic geometry, reflexive polytopes correspond to Gorenstein toric Fano varieties. The toric variety XP of a polytope P is determined by the face fan of P, that is, the fan spanned by all faces of P; see (Ewald, 1996) or (Cox et al., 2011) for details. The toric variety [X.sub.P] is Q- factorial (some multiple of a Weil divisor is Cartier) if and only if the polytope P is simplicial. In this case the Picard number of X equals n - d, where n is the number of vertices of P. The polytope P is smooth if and only if the variety XP is a manifold (that is, it has no singularities). Note that the notions detailed above are not entirely standardized in the literature. For example, our definitions agree with (Nill, 2005), but disagree with (Kreuzer and Nill, 2009).

Our main result is a classification of those simplicial, terminal, and reflexive lattice polytopes with at least 3d - 2 vertices. We show that such a polytope is lattice equivalent to a direct sum of del Pezzo polytopes, pseudo del Pezzo polytopes, or a (possibly skew) bipyramid over (pseudo) del Pezzo polytopes. In particular, a simplicial, terminal, and reflexive polytope with at least 3d - 2 vertices is necessarily smooth Fano. The precise statement can be found in Theorem 2 below.

This extends results of Casagrande who proved that the number of a d-dimensional simplicial, terminal, and reflexive lattice polytopes does not exceed 3d; she also showed that, up to lattice equivalence, only one type exists which attains this bound (and the dimension d is even) (Casagrande, 2006). Moreover, our result also extends 0bro's classification of all polytopes of the named kind with 3d - 1 vertices (Obro, 2008). Our proof employs techniques similar to those used by (Obro, 2008) and (Nill and Obro, 2010), but requires more organization since a greater variety of possibilities occurs. Translated into the language of toric varieties our main result establishes that any d-dimensional terminal Q-factorial Gorenstein toric Fano variety with Picard number at least 2d - 2 decomposes as a (possibly trivial) toric fiber bundle with known fiber and base space; the precise statement is Corollary 4. As a key benefit of our systematic approach a certain general pattern emerges, and we state this as Conjecture 3 below. Like our main result this conjecture also admits a direct translation to toric varieties.

The interest in structural results of this type originates in applications of algebraic geometry to mathematical physics. For instance, (Batyrev and Borisov, 1996) use reflexive polytopes to construct pairs of mirror symmetric Calabi-Yau manifolds. Up to unimodular equivalence, there exists only a finite number of such polytopes in each dimension, and they have been classified up to dimension 4, see (Batyrev, 1991), (Kreuzer and Skarke, 1997, 2002). Smooth reflexive polytopes have been classified up to dimension 8 by (Obro, 2007); see (Brown and Kasprzyk, 2009-2012) for data. By enhancing Obro's implementation within the polymake framework (Gawrilow and Joswig, 2000) this classification was extended to dimension 9 (Lorenz and Paffenholz, 2008); from that site the data is available in polymake format.

In this extended abstract we will only summarize the essential ideas for the proofs. In addition, we will detail the 6-dimensional case. For full proofs we refer to the paper (Assarf et al., 2012).

2 Lattice Polytopes

A polytope P [subset] [R.sup.d] is a lattice polytope if its vertex set Vert(P) is contained in [Z.sup.d] (more generally, contained in some lattice N [subset.bar] [R.sup.d]). See (Ewald, 1996) for background on lattice polytopes. P is called reflexive, if P contains the origin in its interior and its dual [P.sup.*] is a lattice polytope in the dual lattice. P is terminal if P [intersection] N = Vert(P) [union] {0}. More generally, P is canonical if the origin is the only interior lattice point in P. Two lattice polytopes are lattice equivalent if one can be mapped to the other by a transformation in G[L.sub.d]Z followed by a lattice translation.

We start out with listing all possible types of 2-dimensional terminal and reflexive lattice polytopes in Figure 1. Up to lattice equivalence five cases occur which we denote as [P.sub.6], [P.sub.5], [P.sub.4a], [P.sub.4b], and [P.sub.3], respectively; one hexagon, one pentagon, two quadrangles, and a triangle; see (Ewald, 1996, Thm. 8.2). All of them are smooth Fano polytopes, that is, the origin lies in the interior and the vertex set of each facet forms a lattice basis. The only 1-dimensional reflexive polytope is the interval [-1, 1].

Let P [subset] [R.sup.d] and Q [subset] Re [b.sup.e] polytopes with the origin in their respective relative interiors. The polytope

P [direct sum] Q = conv(P [union] Q) [subset] [R.sup.d+e]

is the direct sum of P and Q. This construction also goes by the name "linear join" of P and Q. Clearly, forming direct sums is commutative and associative. Notice that the polar polytope [(P [direct sum] Q).sup.*] = [P.sup.*] x [Q.sup.*] is the direct product. An important special case is the proper bipyramid [-1, 1] [direct sum] Q over Q. More generally, we consider the possibly skew bipyramids

BP(Q, v, w) := conv(({0} x Q) [union] {w, v - w}),

where v [member of] Q [intersection] [Z.sup.e] is a lattice point in Q and w is orthogonal to the affine hull of Q with [absolute value of w] = 1. In particular, choosing v = 0 recovers the proper bipyramid. The relevance of these constructions for simplicial, terminal, and reflexive polytopes stems from the following lemma; see also (Ewald, 1996, [section]V.7.7) and Figure 2 below. The reader can find the simple proof in (Assarf et al., 2012, Lemmas 2,3,4).

[FIGURE 1 OMITTED]

Lemma 1 Let P [subset] [R.sup.d] and Q [subset] [R.sup.e] both be lattice polytopes. Then the direct sum P [direct sum] Q [subset] [R.sup.d+e] is simplicial, terminal, or reflexive if and only if P and Q are.

In particular, this applies to the case that P = [-1, 1] [direct sum] Q is a proper bipyramid over a (d - 1)- dimensional lattice polytope Q. More generally, P is a simplicial, terminal, or reflexive skew bipyramid if and only if Q has the corresponding property.

The latter case of the lemma occurs frequently in the classification. Let [e.sub.1], [e.sub.2], ..., [e.sub.d] be the standard basis of [Z.sup.d] in [R.sup.d]. Here and throughout we abbreviate 1 = (1, 1, ..., 1). For even d the d-polytopes

DP(d) = conv{[+ or -] [e.sub.1], [+ or -] [e.sub.2], ..., [+ or -] [e.sub.d], [+ or -] 1} [subset] [R.sup.d]

with 2d + 2 vertices form a 1-parameter family of smooth Fano polytopes; see (Ewald, 1996, [section]V.8.3). They are usually called del Pezzo polytopes. If -1 is not a vertex the resulting polytopes are sometimes called pseudo del Pezzo. Notice that the 2-dimensional del Pezzo polytope DP(2) is lattice equivalent to the hexagon [P.sub.6] shown in Figure 1, and the 2-dimensional pseudo del Pezzo polytope is lattice equivalent to the pentagon [P.sub.5]. While the definition of DP(d) also makes sense in odd dimensions, the polytopes obtained are not simplicial.

For centrally symmetric smooth Fano polytopes (Voskresenskii and Klyachko, 1984) provide a classification result. They showed that every centrally symmetric smooth Fano polytope can be written as a sum of line segments and del Pezzo polytopes. This was later generalized to simplicial and reflexive pseudo-symmetric polytopes by (Ewald, 1988, 1996) in the smooth case, and by (Nill, 2006, Thm. 0.1) in the general case. A polytope is pseudo-symmetric if there exists a facet F, such that -F = {-v|v [member of] F} is also a facet. They proved that any pseudo-symmetric simplicial and reflexive polytope is lattice equivalent to a direct sum of a (possibly trivial) cross polytope, del Pezzo polytopes, and pseudo del Pezzo polytopes.

A direct sum of d intervals [-1, 1] [direct sum] [-1, 1] [direct sum] ... [direct sum] [-1, 1] is the same as the regular cross polytope conv{[+ or -] [e.sub.1], [+ or -] [e.sub.2], ..., [+ or -] [e.sub.d]}. The direct sum of several intervals with a polytope Q is the same as an iterated proper bipyramid over Q. Casagrande showed that any simplicial and reflexive d- polytope P has at most 3d vertices, and if it does have exactly 3d vertices then d is even, and P is a centrally symmetric smooth Fano polytope (Casagrande, 2006, Thm. 3). Thus, in this case P is lattice equivalent to a direct sum of d/2 copies of [P.sub.6] [??] DP(2).

[FIGURE 2 OMITTED]

Obro classified the simplicial, terminal, and reflexive d-polytopes with 3d - 1 vertices (Obro, 2008). Up to lattice equivalence, there is the interval [-1, 1] in dimension 1 and the pentagon P5 in dimension 2. Forming suitable direct sums and (skew) bipyramids gives more smooth Fano d-polytopes with 3d - 1 vertices via

[P.sub.5] [direct sum] [P.sup.[direct sum].sub.6(d/2 - 1)] for even d, and BP([P.sup.[direct sum](d-1/2).sub.6), v, [e.sub.d]) for odd d v [member of] [Z.sup.d-1] [intersection] [P.sup.[direct sum](d-1/2).sub.6).

Note that, up to lattice isomorphism, there are only two choices for v, either 0, which gives a proper bipyramid, or some vertex, which results in a skew bipyramid. The 3-dimensional cases are shown in Figure 2. Up to lattice equivalence, these are the only d-dimensional simplicial, terminal, and reflexive polytopes with 3d - 1 vertices (0bro, 2008, Thm. 1). It turns out that all these polytopes are smooth Fano. Our main result is the following classification, which is a summary of (Assarf et al., 2012, Thm. 7).

Theorem 2 For even d [greater than or equal to] 6 there are three combinatorial types of d-dimensional simplicial, terminal, and reflexive polytopes with 3d - 2 vertices. These three cases split into eleven types up to lattice equivalence. For odd d [greater than or equal to] 5 there is only one combinatorial type that splits into five types up to lattice equivalence.

For d = 1 there is one combinatorial type, for d = 2 there is one combinatorial type with two different lattice realizations, for d = 3 there is one combinatorial type with 4 different lattice realizations, and, finally, for d = 4 there are three combinatorial types with ten different lattice realizations; see (Batyrev, 1999).

We list the types explicitly. To this end we label the vertices of [P.sub.5] by [v.sub.1], [v.sub.2], ..., [v.sub.5] and those of [P.sub.6] with [w.sub.1], [w.sub.2], ..., [w.sub.6] in clockwise order. For [P.sub.5], let [v.sub.1] be the unique vertex such that - [v.sub.1] [not member of] [P.sub.5]. For even d [greater than or equal to] 4 the three combinatorial types are

[P.sup.[direct sum]2.sub.5] [direct sum] [P.sup.[direct sum](d/2-2).sub.6], DP(4) [direct sum] [P.sup.[direct sum](d/2- 2).sub.6], and BP(BP([P.sup.[direct sum]d-2/2.sub.6], x, a), y, b),

for a lattice point x of [P.sup.[direct sum]d-2/2.sub.6], a lattice point y of BP([P.sup.[direct sum]d-2.sub.6], x, a) and transversal vectors a, b. The last case splits, up to lattice equivalence, into eight types if d = 4 and nine if d [greater than or equal to] 6. The relevant choices of x, y are

(0, 0), (0, c), (0, [w.sub.1]), ([w.sub.1], [w.sub.1]), ([w.sub.1], [w.sub.2]), ([w.sub.1], [w.sub.3]), ([w.sub.1], [w.sub.4]), and ([w.sub.1], c)

for d = 4, where all w4 are vertices of some copy of [P.sub.6]; here c denotes one of the two apices of the bipyramid BP([P.sup.[direct sum]d-2.sub.6], x, a). For d [greater than or equal to] 6 we can additionally choose two vertices in different copies of [P.sub.6]. It is a key step in our proof to recognize these (proper or skew) bipyramids. The fact that the group of lattice automorphisms of [P.sub.6], which is isomorphic to the dihedral group of order 12, acts sharply transitively on adjacent pairs of vertices then entails the classification up to lattice equivalence. For odd d [greater than or equal to] 5 the one combinatorial type is BP([P.sub.5] [direct sum] [P.sup.[direct sum]d-3/2.sub.2], x, a) for some lattice point x [member of] [P.sub.5] [direct sum] [P.sup.[direct sum]d-3/2.sub.6]. The five different lattice isomorphism types are realized by choosing x in {0, [v.sub.1], [v.sub.2], [v.sub.3], [w.sub.1]}.

We do believe that the list of the classifications obtained so far follows a pattern.

Conjecture 3 Let P be a d-dimensional smooth Fano polytope with n vertices such that n [greater than or equal to] 3d - k for k [less than or equal to] d/3. If d is even then P is lattice equivalent to Q [direct sum] [P.sup.[direct sum](d- 3k/2).sub.6] where Q is a 3k-dimensional smooth Fano polytope with n - 3d + 9k [greater than or equal to] 8k vertices. If d is odd then P is lattice equivalent to Q [direct sum] [P.sup.[direct sum](d-3k-1/2).sub.6] where Q is a (3k + 1)-dimensional smooth Fano polytope with n - 3d + 9k - 3 [greater than or equal to] 8k - 3 vertices. This conjecture is best possible in the following sense: The k-fold direct sum of skew bipyramids over [P.sub.6] yields a smooth Fano polytope of dimension d = 3k with 8k = 3d - k vertices, but it has no copy of P6 as a direct summand. However, it does contain [P.sup.[direct sum]k.sub.6] as a subpolytope of dimension 2k = 2/3d.

If the conjecture above holds the full classification of the smooth Fano polytopes of dimension at most nine Lorenz and Paffenholz (2008) would automatically yield a complete description of all d-dimensional smooth Fano polytopes with at least 3d - 3 vertices.

3 Toric Varieties

Reading a lattice point a [member of] [Z.sup.d] as the exponent vector of the monomial [MATHEMATICAL EXPRESSION NOT REPRODUCIBLE IN ASCII] in the Laurent polynomial ring C[[z.sup.[+ or -]1.sub.1], [z.sup.[+ or -]1.sub.2], ..., [z.sup.[+ or -]d.sub.d] provides an isomorphism from the additive group of [Z.sup.d] to the multiplicative group of Laurent monomials. This way the maximal spectrum [X.sub.[sigma]] of a lattice cone [sigma] becomes an affine toric variety. If [summation] is a fan of lattice cones, gluing the duals of the cones along common faces yields a (projective) toric variety [X.sub.[summation]]. This complex algebraic variety admits a natural action of the embedded dense torus corresponding to the (dual of) the trivial cone {0} which is contained in each cone of [summation]. If P [member of] [R.sup.d] is a lattice polytope containing the origin, then the face fan

E(P) = {pos(F)|F face of P}

is such a fan of lattice cones. We denote the associated toric variety by [X.sub.P] = [X.sub.[summation](P)]. The face fan of a polytope is isomorphic to the normal fan of its polar. Two lattice polytopes P and Q are lattice equivalent if and only if [X.sub.P] and [X.sub.Q] are isomorphic as toric varieties.

Let P be a full-dimensional lattice polytope containing the origin as an interior point. Then the toric variety [X.sub.P] is smooth if and only if P is smooth in the sense of the definition given above, that is, the vertices of each facet of P are required form a lattice basis. A smooth compact projective toric variety [X.sub.P] is a toric Fano variety if its anticanonical divisor is very ample. This holds if and only if P is a smooth Fano polytope; see (Ewald, 1996, [section]VII.8.5).

We now describe the toric varieties arising from the polytopes listed in our Theorem 2. For the list of two-dimensional toric Fano varieties we use the same notation as in Figure 1; see (Ewald, 1996, [section]VII.8.7). The toric variety [MATHEMATICAL EXPRESSION NOT REPRODUCIBLE IN ASCII] is the complex projective plane [P.sub.2]. The toric variety [MATHEMATICAL EXPRESSION NOT REPRODUCIBLE IN ASCII] is isomorphic to a direct product [P.sub.1] x [P.sub.1] of lines, and [MATHEMATICAL EXPRESSION NOT REPRODUCIBLE IN ASCII] is the smooth Hirzebruch surface [H.sub.1]. The toric variety [MATHEMATICAL EXPRESSION NOT REPRODUCIBLE IN ASCII] is a blow-up of [P.sub.2] at two points or, equivalently, a blow-up of [P.sub.1] x [P.sub.1] at one torus invariant point. The toric varieties associated with the del Pezzo polytopes DP(d) are called del Pezzo varieties; notice that this notion also occurs with a different meaning in the literature. The toric variety [MATHEMATICAL EXPRESSION NOT REPRODUCIBLE IN ASCII] is a del Pezzo surface or, equivalently, a blow-up of [P.sub.2] at three non-collinear torus invariant points.

Two polytope constructions play a role in our classification, direct sums and (skew) bipyramids. We want to translate them into the language of toric varieties. Let P [subset] [R.sup.d] and Q [subset] [R.sup.e] both be full- dimensional lattice polytopes containing the origin. Then the toric variety [X.sub.P[direct sum]Q] is isomorphic to the direct product [X.sub.P] x [X.sub.Q]. In particular, for P = [-1, 1] we have that the toric variety

[X.sub.[-1,1][direct sum]Q] = [P.sub.1] x [X.sub.Q]

over the regular bipyramid over Q is a direct product with the projective line [P.sub.1] [??] [X.sub.[-1,1]]. More generally, the toric variety of a skew bipyramid over Q is a toric fiber bundle with base space [P.sub.1] and generic fiber [X.sub.Q]; see (Ewald, 1996, [section]VI.6.7). An example is the smooth Hirzebruch surface [MATHEMATICAL EXPRESSION NOT REPRODUCIBLE IN ASCII], which is a (projective) line bundle over [P.sub.1].

In order to translate Theorem 2 to toric varieties we need a few more definitions. For the sake of brevity we explain these in polytopal terms and refer to (Ewald, 1996) for the details. A toric variety [X.sub.P] associated with a canonical lattice d-polytope P is Q-factorial (or quasi-smooth) if P is simplicial; see (Ewald, 1996, [section]VI.3.9). In this case the Picard number equals n - d where n is the number of vertices of P; see (Ewald, 1996, [section]VII.2.17). We call this toric variety a 2-stage fiber bundle over Z if X is a fiber bundle with base space Y such that Y itself is a fiber bundle with base space Z. The following is now a corollary of Theorem 2.

Corollary 4 Let X be d-dimensional terminal Q-factorial Gorenstein toric Fano variety with Picard number 2d - 2. We assume d [greater than or equal to] 4.

If d is even, then X is isomorphic to

i. a 2-stage toric fiber bundle such that the base spaces of both stages are projective lines and the generic fiber of the second stage is the direct product of d-2/2 copies of the del Pezzo surface [MATHEMATICAL EXPRESSION NOT REPRODUCIBLE IN ASCII], or

ii. the direct product of two copies of [MATHEMATICAL EXPRESSION NOT REPRODUCIBLE IN ASCII] copies of [MATHEMATICAL EXPRESSION NOT REPRODUCIBLE IN ASCII] or

iii. the direct product of the del Pezzo fourfold [X.sub.DP(4)] and d/2 - 2 copies of [MATHEMATICAL EXPRESSION NOT REPRODUCIBLE IN ASCII].

If d is odd then X is isomorphic to

iv. a toric fiber bundle over a projective line with generic fiber isomorphic to the direct product of [MATHEMATICAL EXPRESSION NOT REPRODUCIBLE IN ASCII] copies of [MATHEMATICAL EXPRESSION NOT REPRODUCIBLE IN ASCII].

All fiber bundles in the preceding result may or may not be trivial. Classifying the polytopes in Theorem 2 up to lattice equivalence is tantamount to classifying the associated toric varieties up to toric isomorphism. As detailed above there is one type for d =1, two types for d =2, 3, ten for d = 4, five for any odd dimension d [greater than or equal to] 5 and eleven types for even dimensions d [greater than or equal to] 6. For d = 6 this is explained in detail in Section 5 below. In dimensions up to and including 4 this is known from work of Batyrev (1991, 1999).

4 Special Facets and n-Vectors

In this section we will describe our major technical tools. This follows the approach of Obro (2008). Let P [subset] [R.sup.d] be a reflexive lattice d-polytope with vertex set Vert(P). In particular, the origin 0 is an interior point. We let [v.sub.P] := [[summation].sub.v[member of]Vert(P)] v be the vertex sum of P. As P is a lattice polytope [v.sub.P] is a lattice point.

Now, a facet F of P is called special if the face cone pos F spanned by F contains [v.sub.P]. Since the fan [summation](P) generated by the face cones is complete, a special facet always exists. However, it is not necessarily unique. For instance, if P is centrally symmetric, we have [v.sub.P] = 0, and each facet is special.

Since P is reflexive, for each facet F of P the primitive outer facet normal vector [u.sub.F] satisfies <[u.sub.F], x> [less than or equal to] 1 for all points x [member of] P and the set {x [member of] [R.sup.d]|<[u.sub.F], x> = 1} is the affine hull of F. We define

H(F, k) := {x [member of] [R.sup.d]|<[u.sub.F], x> = k}, V(F, k) := H(F, k) [intersection] Vert(P), and [[eta].sup.F.sub.k] := [absolute value of V(F, k)]

for any integer k [less than or equal to] 1. The sequence of numbers [[eta].sup.F] = ([[eta].sup.F.sub.1], [[eta].sup.F.sub.1], [[eta].sup.F.sub.-1], ...) is the n-vector of P with respect to F (we usually omit F in the notation). We omit any trailing zeros so that q has finite length. We have

[MATHEMATICAL EXPRESSION NOT REPRODUCIBLE IN ASCII].

Thus [[eta].sup.F.sub.1] + [[eta].sup.F.sub.0] + [[eta].sup.F.sub.-1] + ... = [absolute value of Vert(P)] is the number of vertices of P. If a vertex v is contained in V(F, k) we call the number k the level of v with respect to F. As P is simplicial we have [[eta].sub.1] = d for any facet F. Furthermore, one can show that for any facet F any vertex on level 0 is contained in a facet adjacent to F. Looking at a special facet and evaluating

[MATHEMATICAL EXPRESSION NOT REPRODUCIBLE IN ASCII] (1)

shows that there can only be at most d many vertices below level 0. Thus, P has at most 3d vertices, implying the upper bound of (Casagrande, 2006). This allows to deduce a list of potential [eta]-vectors from (1). Now we assume that P has exactly 3d - 2 vertices. A priori, the potential cases are listed in Table 1. The maximum level of [v.sub.P] is 2. Our classification shows that not all of the n-vectors listed actually occur. Some can be ruled out by a direct argument, some only a posteriori. Those that do not occur are marked in gray in the table.

Our overall proof strategy is as follows. It turns out that the level of [v.sub.P] is the same for each special facet. Hence, this is an invariant of the polytope, which we call the eccentricity ecc(P). We look at the three possible cases separately. We choose a special facet F of P. As a refinement, we consider separate cases according to the n-vector of F. A key is the observation, that we can, up to lattice equivalence, restrict the possible choices for vertices in levels 1, 0, and - 1 of F. This is summarized in the proposition below; see (Assarf et al., 2012, Prop. 32). Given this initial distribution of the vertices we want to determine the remaining vertices. Sometimes this turns out to be quite difficult. In this cases we switch to a special neighboring facet with a different [eta]-vector which is easier to analyze or already have been analyzed. With opp(F) we denote the set of all vertices which lie in a facet adjacent to F but which are not vertices of F itself.

Proposition 5 Let P be a d-dimensional simplicial, terminal, and reflexive polytope such that F is a special facet. Up to lattice equivalence, we can assume that F = conv{[e.sub.1], [e.sub.2], ..., [e.sub.d]} and there is a map [phi]:

Vert(F) [right arrow] Vert(F) [union] {0} such that:

i. if [[eta].sup.F.sub.0] = d, then

V(F, 0) = {[phi]([e.sub.1]) - [e.sub.1], [phi]([e.sub.2]) - [e.sub.2], ..., [phi]([e.sub.d]) - [e.sub.d]}

V (F, -1) [subset.bar] {-[e.sub.1], -[e.sub.2], -[e.sub.d]}.

ii. If [[eta].sup.F.sub.0] = d - 1 and opp(F) = V(F, 0), then, for a, b [member of] [d]\{1, 2} not necessarily distinct,

V(F, 0) = {-[e.sub.1] - [e.sub.2] + [e.sub.a] + [e.sub.b], [phi]([e.sub.3]), ..., [phi]([e.sub.d]) - [e.sub.d]}

V(F, -1) [subset.bar] {-[e.sub.1], -[e.sub.2], ..., -[e.sub.d]} [union] {- [e.sub.1] - [e.sub.2] + [e.sub.s]|s [member of] [d] }

iii. If [[eta].sup.F.sub.0] = d - 1 and opp(F) [not equal to] V(F, 0), then

V(F, 0) = {[phi]([e.sub.2]) - [e.sub.2], [phi]([e.sub.3]) - [e.sub.3], ..., [phi]([e.sub.d]) - [e.sub.d]}

V(F, -1) [subset.bar] {-[e.sub.1], -[e.sub.2], ..., -[e.sub.d]} [union] {- 2[e.sub.1] - [e.sub.r] + [e.sub.s] + [e.sub.t]|r, s, t [member of] [d] pairwise distinct, r [not equal to] 1}.

The first case above occurs in (Obro, 2008). This result allows us to control most of the vertices of a simplicial, terminal, and reflexive polytope if [[eta].sub.0] is given. In this way an approach to the classification is by examining choices for the vertices on the levels k for k [less than or equal to] - 2.

5 The Classification Explained in Dimension Six

In this section we will explicitly list the 6-dimensional simplicial, terminal, and reflexive polytopes with exactly 3 * 6 - 2 = 16 vertices. This is the smallest even dimension in which all eleven types up to lattice equivalence arise. This list in dimension 6 is already subsumed in the classifications (Brown and Kasprzyk, 2009-2012) and (Lorenz and Paffenholz, 2008); and we will refer to the latter. Here we will organize the polytopes in a way such that it fits the line of arguments in (Assarf et al., 2012). Additional comments are meant to give the reader an idea about the organization of our proof.

Throughout let P be a d-dimensional simplicial, terminal, and reflexive polytope with 3d - 2 vertices such that F is a special facet. The vertex sum [v.sub.P] lies on level 0, 1 or 2 with respect to F. Throughout we assume that d is even and d [greater than or equal to] 4. It turns out that each such polytope P contains a copy of the hexagon [P.sub.6] as a subpolytope, albeit not necessarily as a direct summand. So we normalized the examples in a way that [P.sub.6] always lies in in the coordinate subspace lin{[e.sub.1], [e.sub.2]}. This way the differences among the examples are particularly easy to spot.

5.1 Polytopes of Eccentricity 2

The classification becomes more involved the more symmetric P is. The most eccentric case occurs if the vertex sum lies on level 2, and this is the easiest. Table 1 tells us that there is only one kind of [eta]-vector, namely [[eta].sup.F] = (d, d, d - 2). What makes this case simpler than others is that we immediately have [[eta].sub.0] = d, which forces that the vertices on F form a lattice basis, and the vertices on level 0 can be determined (Obro, 2008). In this case the partial description of the vertices in Proposition 5 is already good enough to get the full picture with little extra effort. It turns out that P is lattice equivalent to [P.sup.[direct sum]2.sub.5] [direct sum] [P.sup.[direct sum]d/2-2.sub.6] or to a skew bipyramid over a (d - 1)-dimensional smooth Fano polytope with 3(d - 1) - 1 = 3d - 4 vertices.

Example 6 For d =6 the first case is P [??] [P.sub.6] [direct sum] [P.sub.5] [direct sum] [P.sub.5] such that [v.sub.P] = [e.sub.3] + [e.sub.5]. Here and in the examples below, we list the vertices sorted by level.

[MATHEMATICAL EXPRESSION NOT REPRODUCIBLE IN ASCII]

In the database (Lorenz and Paffenholz, 2008) this occurs as F.6D.6552. The polytope has 24 special facets.

If the polytope P is not of the type above then, for d = 6, the polytope P is a double skew bipyramid over [P.sub.6] [direct sum] [P.sub.6]. Four more cases arise depending on the relative positions of the apices of the two bipyramids. To form a skew bipyramid we need to pick a vertex of the base. Since the group of lattice automorphisms of [P.sub.6] acts transitively on the vertices, we may assume that the first skew bipyramid is BP([P.sup.[direct sum]2.sub.6], [e.sub.1], [e.sub.5]). The three distinct relative positions of two vertices of [P.sub.6] lead to the next three cases.

Example 7 For d = 6 the second type is given by BP(BP([P.sup.[direct sum]2.sub.6], [e.sub.1], [e.sub.5]), [e.sub.1], [e.sub.6]) such that [v.sub.P] = 2[e.sub.1].

[MATHEMATICAL EXPRESSION NOT REPRODUCIBLE IN ASCII]

In the database this occurs as F.6D.534 6. The polytope has 48 special facets.

Example 8 For d = 6 the third type is given by BP(BP([P.sup.[direct sum]2.sub.6], [e.sub.1], [e.sub.5]), [e.sub.2], [e.sub.6]) such that [v.sub.P] = [e.sub.1] + [e.sub.2].

[MATHEMATICAL EXPRESSION NOT REPRODUCIBLE IN ASCII]

In the database this occurs as F.6D.5680. The polytope has 24 special facets.

Example 9 For d = 6 the fourth type is given by BP(BP([P.sup.[direct sum]2.sub.6], [e.sub.1], [e.sub.5]), [e.sub.3], [e.sub.6]) such that [v.sub.P] = [e.sub.1] + [e.sub.3].

[MATHEMATICAL EXPRESSION NOT REPRODUCIBLE IN ASCII]

In the database this occurs as F.6D.5553. The polytope has 16 special facets.

The final case in this section differs from the above in that the base vertex of the second skew bipyramid is an apex of the first stage.

Example 10 For d =6 the fifth type is given by BP(BP([P.sup.[direct sum]2.sub.6], [e.sub.1], [e.sub.5]), [e.sub.5], [e.sub.6]) such that [v.sub.P] = [e.sub.1] + [e.sub.5].

[MATHEMATICAL EXPRESSION NOT REPRODUCIBLE IN ASCII]

In the database this occurs as F.6D.5685. The polytope has 24 special facets.

5.2 Polytopes of Eccentricity 1

If the vertex sum lies on level one, then the situation is still somewhat benign. Our proof strategy is to first consider polytopes P with a special facet that have [eta]-vector (d, d, d - 3,1). In (Assarf et al., 2012, Prop. 36) we show that in this case P, again, must be a skew bipyramid. Notice, however, that our classification shows a posteriori that this case does not occur. Table 1 then says that the only choice left is [eta] = (d, d - 1, d - 1). In this situation (Assarf et al., 2012, Prop. 39) shows that, once more, P is a double bipyramid.

In the first two cases the first stage is a proper bipyramid. For the second stage then the base vertex can either be in the base of the first stage or an apex.

Example 11 For d =6 the sixth type is given by BP(BP([P.sup.[direct sum]2.sub.6], 0, [e.sub.5]), [e.sub.1], [e.sub.6]) such that [v.sub.P] = [e.sub.1].

[MATHEMATICAL EXPRESSION NOT REPRODUCIBLE IN ASCII]

In the database this occurs as F.6D.5711. The polytope has 48 special facets.

Example 12 For d =6 the seventh type is given by BP(BP([P.sup.[direct sum]2.sub.6], 0, [e.sub.5]), [e.sub.5], [e.sub.6]) such that [v.sub.P] = [e.sub.5].

[MATHEMATICAL EXPRESSION NOT REPRODUCIBLE IN ASCII]

In the database this occurs as F.6D.6558. The polytope has 72 special facets.

For [v.sub.P] [member of] H(F, 1) there is only one choice of a double bipyramid where both stages are skew.

Example 13 For d = 6 the eighth type is given by BP(BP([P.sup.[direct sum]2.sub.6], [e.sub.2], [e.sub.5]), [e.sub.1] - [e.sub.2], [e.sub.6]) such that [v.sub.P] = [e.sub.1].

[MATHEMATICAL EXPRESSION NOT REPRODUCIBLE IN ASCII]

In the database this occurs as F.6D.5702. The polytope has 48 special facets.

5.3 Polytopes of Eccentricity ()

If the vertex sum of P is zero all facets are special. The easy subcase occurs when all [eta]-vectors of P are of type (d, d - 2, d). We show that in this case P is centrally symmetric (Assarf et al., 2012, Prop. 40). Extending arguments of (Nill, 2006, Thm. 0.1) we show that such a polytope is lattice equivalent to a double proper bipyramid over [P.sup.[direct sum]d-2/2.sub.6] or DP(4) [direct sum] [P.sup.[direct sum]d/2-2.sub.6].

Example 14 If d = 6 the ninth type occurs for P [??] [P.sub.6] [direct sum] DP(4).

[MATHEMATICAL EXPRESSION NOT REPRODUCIBLE IN ASCII]

In the database this occurs as F.6D.3154. All 180 facets are special, and all of them have the same [eta]-vector (6, 4, 6).

Example 15 If d = 6 the tenth case is the direct sum of two hexagons [P.sub.6] and two line segments. In our notation, this means that P = BP(BP([P.sup.[direct sum]2.sub.6], 0, [e.sub.5]), 0, [e.sub.6]).

[MATHEMATICAL EXPRESSION NOT REPRODUCIBLE IN ASCII]

In the database this occurs as F.6D.6765. All 144 facets are special, and all of them have the same [eta]-vector (6, 4, 6).

It remains to discuss the situation where [v.sub.P] = 0 but P is not centrally symmetric. This is by far the most complicated case in our proof. It contributes to this complexity that we need to discuss four candidates of [eta]-vectors. First, [eta] = (6, 6, 3, 0, 1) is excluded (Assarf et al., 2012, Prop. 4). Second, [eta] = (6, 6, 2, 2) is essentially reduced to a bipyramid (Assarf et al., 2012, Lem. 43) (but this case does not exist a posteriori). So this leaves two more [eta]-vectors. Surprisingly, they lead to the same polytopes.

Example 16 If d = 6 the final eleventh type occurs for P = BP(BP([P.sup.[direct sum]2.sub.6], [e.sub.1], [e.sub.5]), - [e.sub.1], [e.sub.6]). Up to lattice equivalence this is the only case in which [v.sub.P] = 0 but P is not centrally symmetric.

[MATHEMATICAL EXPRESSION NOT REPRODUCIBLE IN ASCII]

In the database this occurs as F.6D.5713. All 144 facets are special, where 96 of them have the [eta]-vector (6, 5, 4, 1) and the other 48 the n-vector reads (6, 4, 6). For instance, the facet which is induced by <1, x> = 1 has the [eta]-vector (6, 5, 4, 1), and the facet induced by <1 - 2[e.sub.1] - 2[e.sub.6], x> = 1 has the [eta]-vector (6,4, 6).

References

Benjamin Assarf, Michael Joswig, and Andreas Paffenholz. Smooth Fano polytopes with many vertices. preprint, arxiv:1209.3186, 2012.

Victor V. Batyrev. On the classification of smooth projective toric varieties. Tohoku Math. J. (2), 43(4): 569-585, 1991. doi: 10.2748/tmj/1178227429.

Victor V. Batyrev. On the classification of toric Fano 4-folds. J. Math. Sci. (New York), 94(1):1021-1050, 1999. doi: 10.1007/BF02367245.

Victor V. Batyrev and Lev A. Borisov. Mirror duality and string-theoretic Hodge numbers. Inventiones Math., 126:183-203, 1996.

Gavin Brown and Alexander Kasprzyk. Graded ring data base, 2009-2012. URL http://grdb.lboro. ac.uk/.

Cinzia Casagrande. The number of vertices of a Fano polytope. Ann. Inst. Fourier (Grenoble), 56(1):121-130, 2006. doi: 10.5802/aif.2175.

David A. Cox, John B. Little, and Henry K. Schenck. Toric varieties, volume 124 of Graduate Studies in Mathematics. American Mathematical Society, Providence, RI, 2011.

Giinter Ewald. On the classification of toric Fano varieties. Discrete Comput. Geom., 3(1):49-54, 1988. doi: 10.1007/BF02187895.

Giinter Ewald. Combinatorial convexity and algebraic geometry, volume 168 of Graduate Texts in Mathematics. Springer-Verlag, New York, 1996.

Ewgenij Gawrilow and Michael Joswig. polymake: a framework for analyzing convex polytopes. In Polytopes--combinatorics and computation (Oberwolfach, 1997), volume 29 of DMVSem., pages 43-73. Birkhauser, Basel, 2000.

Maximilian Kreuzer and Benjamin Nill. Classification of toric Fano 5-folds. Adv. Geom., 9(1):85-97, 2009. doi: 10.1515/ADVGEOM.2009.005.

Maximilian Kreuzer and Harald Skarke. On the classification of reflexive polyhedra. Comm. Math. Phys., 185(2):495-508, 1997. doi: 10.1007/s002200050100.

Maximilian Kreuzer and Harald Skarke. On the classification of reflexive polyhedra in four dimensions. Advances Theor. Math. Phys., 4:1209-1230, 2002.

Benjamin Lorenz and Andreas Paffenholz. Smooth reflexive polytopes up to dimension 9, 2008. URL http://polymake.org/polytopes/paffenholz/www/fano.html.

Benjamin Nill. Gorenstein toric Fano varieties. Manuscr. Math., 116(2):183- 210,2005. doi: 10.1007/s00229-004-0532-3.

Benjamin Nill. Classification of pseudo-symmetric simplicial reflexive polytopes. Contemp. Math., 423: 269-282,2006. doi: 10.1090/conm/423/08082.

Benjamin Nill and Mikkel 0bro. Q-factorial Gorenstein toric Fano varieties with large Picard number. Tohoku Math. J. (2), 62(1):1-15, 2010.

Mikkel Obro. Classification of smooth Fano polytopes. PhD thesis, University of Aarhus, 2007. available at https://pure.au.dk/portal/files/4174 2384/imf_phd_2 0 0 8_moe.pdf.

Mikkel Obro. Classification of terminal simplicial reflexive d-polytopes with 3d - 1 vertices. Manuscripta Math., 125(1):69-79, 2008. doi: 10.1007/s00229-007-0133-z.

Valentin E. Voskresenskii and Aleksandr A. Klyachko. Toric Fano varieties and systems of roots. Izv. Akad. Nauk SSSR Ser. Mat., 48(2):237-263, 1984. doi: 10.1070/IM1985v024n02ABEH001229.

Benjamin Assarf

Michael Joswig

Andreas Paffenholz ([double dagger])

TU Darmstadt, Germany

([double]) The second and third authors are supported by the Priority Program 1489 "Algorithmic and Experimental Methods in Algebra, Geometry and Number Theory" of the German Research Council (DFG)

([double dagger]) Email: {assarf,joswig,pafferiholz}@mathematik.tu-darmstadt.de

Table 1: List of possible n-vectors of simplicial, terminal, and reflexive d-polytopes with 3d - 2 vertices, where ecc(P) denotes the eccentricity of P. Marked with a gray background are the n-vectors, which do not occur. ecc(P) 2 1 1 0 0 0 0 [[eta].sub.1] d d d d d d d [[eta].sub.0] d d d-1 d d d - 1 d - 2 [eta]-1 d - 2 d - 3 d-1 d - 3d - 4 d - 2 d [eta]-2 0 1 0 0 2 1 0 [eta]-3 0 0 0 1 0 0 0

Printer friendly Cite/link Email Feedback | |

Author: | Assarf, Benjamin; Joswig, Michael; Paffenholz, Andreas |
---|---|

Publication: | DMTCS Proceedings |

Article Type: | Report |

Geographic Code: | 1USA |

Date: | Jan 1, 2013 |

Words: | 6950 |

Previous Article: | On some generalized q-Eulerian polynomials. |

Next Article: | Counting smaller trees in the Tamari order. |

Topics: |