arxiv: v1 [math.ag] 29 May 2008

Transcription

1 Q-ACTORIAL GORENSTEIN TORIC ANO VARIETIES WITH LARGE PICARD NUMBER BENJAMIN NILL AND MIKKEL ØBRO arxiv: v1 [math.ag] 9 May 008 Abstract. In dimension d, Q-factorial Gorenstein toric ano varieties with Picard number ρ X correspond to simplicial reflexive polytopes with ρ X +d vertices. Casagrande showed that any d-dimensional simplicial reflexive polytope has at most 3d vertices, if d is even, respectively, 3d 1, if d is odd. Moreover, for d even there is up to unimodular equivalence only one such polytope with 3d vertices, corresponding to (S 3 ) d/ with Picard number d, where S 3 is the blow-up of P at three non collinear points. In this paper we completely classify all d-dimensional simplicial reflexive polytopes having 3d 1 vertices, corresponding to d-dimensional Q-factorial Gorenstein toric ano varieties with Picard number d 1. or d even, there exist three such varieties, with two being singular, while for d > 1 odd there exist precisely two, both being nonsingular toric fiber bundles over P 1. This generalizes recent work of the second author. 1. Introduction The main motivation of this paper is to finish the classification of simplicial reflexive polytopes with the maximal number of vertices, pursued in [Nil05, Cas06, Oeb08]. Before stating the main convex-geometric result, Theorem 1., we recall necessary notions. The algebro-geometric version of Theorem 1. is given in Corollary Lattice polytopes. A polytope is the convex hull of finitely many points in a vector space. Given a lattice N = Z d, a polytope P N R := N Z R = R d is called lattice polytope, if all vertices of P are lattice points. We denote the set of vertices of P by V(P). In other words, a lattice polytope is the convex hull of finitely many lattice points. We say two lattice polytopes are isomorphic or unimodularly equivalent, if there is a lattice automorphism mapping one vertex set onto the other. In what follows we always assume that P is a lattice polytope of full dimension d that contains the origin in its interior. In this case we can define the dual polytope P. or this let us denote by M := Hom Z (N, Z) the dual lattice of N and by M R := M Z R the dual vector space of N R. Then P := {x M R : x, y 1 y P }, is also a d-dimensional polytope containing the origin in its interior, however in general it is not a lattice polytope. 1.. Reflexive polytopes. A d-dimensional lattice polytope P N R with the origin in its interior is called reflexive polytope, if P is also a lattice polytope. This definition was given by Batyrev [Bat94] in the context of mirror symmetry. It is known that there is only a finite number of isomorphism classes of reflexive polytopes in fixed dimension d, and complete classification results exist for d 4, see [KS98, KS00]. The polytope P is called simplicial, if each facet (i.e., (d 1)- dimensional face) is a simplex. The most interesting case of a simplicial reflexive polytope is given by a lattice polytope containing the origin in its interior, where the vertices of each facet form a lattice basis. We call such a polytope a smooth ano polytope. These special reflexive polytopes were studied quite intensely, and by now we have complete lists for d 8, see [Oeb07]. 1

2 BENJAMIN NILL AND MIKKEL ØBRO 1.3. Low dimensions. Let us look at simplicial reflexive polytopes with many vertices in low dimensions d. or d = 1 there is only one reflexive polytope, namely [ 1, 1] R (with respect to the lattice Z). or d = there are 16 isomorphism classes of reflexive polytopes (all necessarily simplicial). Only three of these (called Ṽ,E 1,E ) have 5 vertices, and precisely one (called V ) has 6 vertices. Ṽ, Ṽ are smooth ano polytopes, while E 1, E are not. Ṽ E 1 E V or d = 3 there are 4319 isomorphism classes of reflexive polytopes, of these are 194 simplicial. There are up to isomorphisms only two three-dimensional simplicial reflexive polytopes having the maximal number of 8 vertices. Both are smooth ano polytopes that are bipyramids over a hexagon, we denote them by Q 3 and Q 3 : v v w Q 3 v v Q 3 While Q 3 is centrally symmetric, the two apexes v, v of Q 3 of the hexagon, i.e., v + v = w. add up to a vertex w 1.4. The main theorem. To describe the general case, let us say a reflexive polytope P N R splits into P 1 and P, if P is the convex hull of lattice polytopes P 1 and P, and N = N 1 Z N, P 1 (N 1 ) R, P (N ) R. In this case, P 1 (respectively, P ) is a reflexive polytope with respect to N 1 (respectively, N ). or instance, Q 3 splits into [ 1, 1] and V. The following long-standing conjecture on the maximal number of vertices was finally proven by Casagrande [Cas06] in 004 (here denotes the cardinality): Theorem 1.1 (Casagrande 04). Let P N R be a simplicial reflexive polytope of dimension d. Then { 3d, d even V(P) 3d 1, d odd If d is even and V(P) = 3d, then P splits into d/-copies of V. Note that there are by now very short proofs of this upper bound, cf. [KN07, Oeb08], see also Subsection.3. Here is our main result, the classification of simplicial reflexive polytopes of dimension d with 3d 1 vertices. Theorem 1.. Let P N R be a simplicial reflexive polytope of dimension d 3 with 3d 1 vertices. If d is even, then P splits into Ṽ (or E 1, or E ) and (d )/ copies of V. If d is odd, then P splits into Q 3 (or Q 3) and (d 3)/ copies of V.

3 Q-ACTORIAL GORENSTEIN TORIC ANO VARIETIES 3 This generalizes a recent result of the second author in [Oeb08], where this theorem was proven under the assumption that any lattice point on the boundary of P is a vertex (for instance, if P is a smooth ano polytope). In this case E 1 and E cannot occur, so there is only one type in Theorem 1. for d even Algebro-geometric interpretation. The algebro-geometric objects corresponding to reflexive polytopes P are Gorenstein toric ano varieties X (i.e., normal complex projective varieties, where the anticanonical divisor is Cartier and ample). The relation is given via the toric dictionary, see [ul93]: X is the toric variety associated to the fan spanned by the faces of P. or the Picard number ρ X of X we have the equation ρ X = V(P) d. or instance, V corresponds to the del Pezzo surface S 3 with ρ S3 = 4, which is P blown-up in three torus-invariant fixpoints. In the same way, Ṽ corresponds to the del Pezzo surface S with ρ S = 3. Here, P is simplicial if and only if X is Q-factorial (i.e., for any Weil divisor some multiple is Cartier). Moreover, P is a smooth ano polytope if and only if X is a toric ano manifold (i.e., nonsingular). Since the splitting of reflexive polytopes corresponds to products of toric ano varieties, we can reformulate Casagrande s result by saying that the Picard number of a Q-factorial Gorenstein toric ano variety X is at most d, with equality only for d even and X = (S 3 ) d/. Here is the corollary of our main result: Corollary 1.3. Let X be a Q-factorial Gorenstein toric ano variety of dimension d 3 and with Picard number ρ X = d 1. If d is even, then X is a product of (S 3 ) (d )/ and a (possibly singular) del Pezzo surface S with ρ S = 3, where there are three possibilities for S up to isomorphisms, only one of these, namely S, is nonsingular. If d is odd, then X is a product of (S 3 ) (d 3)/ and a toric ano 3-fold Y with ρ Y = 5, where there are two possibilities for Y up to isomorphisms, namely S 3 P 1 or a unique toric S 3 -fiber bundle over P Organization of this paper. In the second section we recall preliminary results, namely properties of lattice points of reflexive polytopes, results about neighboring facets, and the notion of a special facet. In the third section, we start the proof of the main result, which is then separated into Parts I III, given in Sections 4 6. The proof is a combination of two different ideas. The first idea of the proof is the same that was successfully used in [Cas06, KN07, Oeb08]: having a large number of vertices implies that there is a special facet from which nearly all vertices have integral distance two or less. Then Parts I and II can be treated using the methods developed and applied by the second author in [Oeb08]. or Part III we use as a second idea the essential property of reflexive polytopes, namely their duality, to get restrictions on the outer normals of their facets. Then we can apply the strong properties of pairs of vertices of simplicial reflexive polytopes proven by the first author in [Nil05]. Acknowledgments. The first author would like to thank Lutz Hille for his interest and discussions about the existence of exceptional sequences of line bundles on toric ano varieties that initially started and motivated this project. Part of this research was done during a stay of the second author at the Research Group Lattice Polytopes at reie Universität Berlin, which is financed by Emmy Noether fellowship HA 4383/1 of the German Research oundation (DG).. Preliminary results In this section we present basic results on simplicial reflexive polytopes.

4 4 BENJAMIN NILL AND MIKKEL ØBRO.1. Lattice points in reflexive polytopes. irst let us recall an elementary property of reflexive polytopes, see [Bat94] or [Nil05, Prop.1.1, Lemma 1.17]. Lemma.1. A reflexive polytope contains no interior lattice points different from the origin. In dimension two this property is equivalent to the reflexivity of the polytope. The following notation was introduced in [Nil05]. Definition.. Let P be a polytope. We denote by P its boundary. or x, y P, we write x y, if x and y are contained in a common face (or equivalently, facet) of P. Using this relation we can describe a partial addition of lattice points in reflexive polytopes, see [Nil05, Prop. 4.1]. Lemma.3. Let P N R be a reflexive polytope, and v, w P N. Then v + w 0 and v w if and only if v + w P N. inally, in the simplicial case there is a strong restriction on pairs of vertices, see [Nil05, Lemma 5.11]. Lemma.4. Let P N R be a simplicial reflexive polytope. Let v, w, w V(P) be pairwise different such that w v w, v w and v w. Then P(v, w, w ) := P lin(v, w, w ) is a two-dimensional reflexive polytope with at least five vertices... Neighboring facets. Throughout let P be a d -dimensional simplicial reflexive polytope in N R. Let us first fix our notation. Definition.5. Let be a facet of P. The vertices V() form a basis of N R. We denote by {u v v V()} the dual basis in M R, i.e., u v, w = δ v,w for v, w V(). Let v V() be a vertex of. Then there is a unique facet of P that contains all vertices of except v. We call this facet the neighboring facet N(, v). The unique vertex of N(, v) that is not contained in is called the neighboring vertex n(, v). There is a unique outer normal u M R defined by u, = 1. The dual polytope P has as vertices precisely the outer normals of the facets of P. Since P is reflexive, the outer normal u is a lattice point. Hence, the lattice N is sliced into lattice hyperplanes H(, i) := {x N u, x = i}, i Z. Let us abbreviate H P (, i) := H(, i) V(P). We are going to collect restrictions on neighboring vertices and facets. The first result is contained in [Oeb08, Lemma 1, Lemma ] (the point (3) follows from (1)). Lemma.6. Let be a facet of P and v V(). Let be the neighboring facet N(, v) and v the neighboring vertex n(, v). Then (1) or any point x N R, u, x = u, x + ( u, v 1) u v,x, where u, v 1 1. () or any x P u, x 1 u v,x. In case of equality, x is on the facet N(, v).

5 Q-ACTORIAL GORENSTEIN TORIC ANO VARIETIES 5 (3) If n(, v) H(, 0) and V() is a lattice basis, then u v, n(, v) = 1. or the next two results [Oeb08, Lemma 3, Lemma 4] compare Remark 5() in Section.3 of [Deb03] and [Nil05, Lemma 5.5]. Lemma.7. Let be a facet, and x a lattice point in P H(, 0). Then x lies on a neighboring facet of. In particular, let v H P (, 0). Then v is a neighboring vertex of. Hence, there are at most d vertices of P in H(, 0). Moreover, it holds: (1) or every w V(), v is equal to n(, w) if and only if u w, v < 0. In particular, for every w V() there is at most one vertex v H(, 0) with u w, v < 0. () If v is contained in precisely one neighboring facet N(, w) of, then v w, so v + w N. Lemma.8. Let be a facet of P. Suppose there are at least d 1 vertices e 1,...,e d 1 in V(), such that n(, e i ) H(, 0) and u ei, n(, e i) = 1 for every 1 i d 1. Then V() is a basis of the lattice N. The following lemma is due to the second author. Lemma.9. Assume for any facet of P we have {n(, v) H(, 0) v V()} d 1. Then there exists a facet G such that V(G) is a Z-basis of N. Proof. By lemma.8 we are done if there exists a facet G such that the set {v V(G) n(g, v) H(G, 0) and u v G(n(G, v)) = 1} is of size at least d 1. So we suppose that no such facet exists. Let e 1,..., e d be a fixed basis of the lattice N and write every vertex of P in this basis. or every facet of P, we let deta denote the determinant of the matrix A := where V() = {v 1,..., v d }. As deta is determined up to a sign, the number r := deta is well-defined. Now, let 0 be an arbitrary facet of P. By our assumptions, there must be at least one vertex v of 0, such that v = n( 0, v) H( 0, 0) but u v 0, v 1. Then 1 < u v 0, v < 0 by Lemma.6() and Lemma.7(1). Let 1 denote the neighboring facet N( 0, v). Then r 0 > r 1. We can proceed in this way to produce an infinite sequence of facets v 1.. v d, 0, 1,,... where r 0 > r 1 > r >.... However, there are only finitely many facets of P, a contradiction. We also need [Oeb08, Lemma 5]. Lemma.10. Let be a facet of P. Let v 1, v V(), v 1 v, and set y 1 = n(, v 1 ) and y = n(, v ). Suppose y 1 y, y 1, y H(, 0) and u v1, y 1 = u v, y = 1. Then there is no vertex x V(P) in H(, 1) with u v1, x = uv, x = 1. inally, for convenience of the reader we cite Lemma 6 and Lemma 7 of [Oeb08] with a weaker assumption. However, one checks that the proofs are precisely the same, so they are omitted.

6 6 BENJAMIN NILL AND MIKKEL ØBRO Lemma.11. Let be a facet of P such that any lattice point in is a vertex (for instance, V() is a lattice basis). If H P (, 0) = d, then the following holds: (1) H P (, 0) = { y + z y y V()}, where z y V(). Moreover, V() is a lattice basis. () If x H P (, 1), then x V()..3. Special facets. Here we recall the crucial notion of special facets introduced by the second author in [Oeb08], which in particular yields a short proof of the upper bound in Casagrande s theorem. The goal is to show that knowing the number of vertices of a d-dimensional simplicial reflexive polytope P yields restrictions on the distribution of the vertices along the hyperplanes parallel to a special facet. or this, we define ν P := v. v V(P) Definition.1. A facet of P with ν P R 0 is called special facet. Obviously, P has a special facet, say. Let us first deduce the following observation from the simpliciality of P and Lemma.7: (.1) H P (, 1) = d, H P (, 0) d. Now, since is a special facet, we get (.) 0 u, ν P = u, v = d + i H P (, i). v V(P) i 1 In particular, there are at most d vertices lying in the union of hyperplanes H(, i) with i 1. This yields together with Equation (.1) (.3) V(P) = d + H P (, 0) + H P (, i) 3d, i 1 which is the sharp upper bound in Theorem Outline of the proof of the main theorem or the remaining sections of this paper let P N R be a d 3-dimensional simplicial reflexive polytope with 3d 1 vertices. Let be a special facet of P. Taking Equations (.1) (.3) into account, we see that there are precisely three cases how the 3d 1 vertices of P can be distributed in the hyperplanes H(, i): Case A Case B Case C H P (, 1) d d d H P (, 0) d d 1 d H P (, 1) d d d 1 H P (, ) Now, let us look at the lattice point ν P, which is the sum of the vertices of P, in the three cases A,B,C: Case A Case B Case C u, ν P 0 0 1

7 Q-ACTORIAL GORENSTEIN TORIC ANO VARIETIES 7 Hence, the definition of a special facet implies: In the cases A and B the sum of all the vertices of P equals the origin, while in case C the sum is a lattice point on the facet. Now, the proof falls into Parts I III (Sections 4 6) depending on whether ν P = 0, ν P is a vertex, or otherwise. Then the main result, Theorem 1., follows directly from combining Propositions 4.1, 5.1, 6.1. Here, we prove the following result: 4. Part I: ν P = 0 Proposition 4.1. Let ν P = 0. Then either d is even and P splits into d copies of V and a single copy of the polytope E, or d is odd and P splits into d 3 copies of V and a single copy of the polytope Q 3. Proof. Since ν P = 0, every facet of P is special. Thus, for any facet of P we are in cases A or B, described above. In particular, there are at least d 1 vertices in H(, 0), hence by Lemma.7 the assumptions of Lemma.9 are satisfied, so we find a facet whose vertex set V() is a lattice basis of N. Let us denote the vertices of V() by e 1,..., e d. Claim: We may assume we are in case A. Proof of Claim. Suppose not. Then there are d vertices in H(, 1). Let us first consider the case that P contains a centrally symmetric pair of facets. Then from Theorem 0.1 in [Nil07] one easily derives that either d is even and P splits into d copies of V and a single copy of the polytope Ṽ, or d is odd and P splits into d 3 copies of V and a single copy of the polytope Q 3. In the first case we have a contradiction to ν P = 0, while the second case is as desired. Hence, we may assume that at least one of the vertices in H(, 1) is not equal to e i for i {1,...,d}, so this vertex has at least one positive e j -coordinate for some j. Say, w H P (, 1) and u e1, w > 0. Then u N(,e 1), w < 1 by Lemma.6(1), which implies that the vertices of P are distributed in hyperplanes H(N(, e 1 ), ) as in case A. In particular, u N(,e1), w =. Now, it remains to show that V(N(, e 1 )) is a lattice basis. If n(, e 1 ) H(, 0), then u e1, n(, e 1) = 1 by Lemma.6(3), hence V(N(, e 1 )) is a lattice basis, as desired. So suppose n(, e 1 ) / H(, 0), thus n(, e 1 ) H P (, 1). Since H P (, 0) d 1, we have n(, e ),..., n(, e d ) H(, 0) and they are all distinct. urthermore, Lemma.6(3) yields u e, n(, e ) =... = u e d, n(, e d) = 1. By Lemma.6() we get u ei, w ; and moreover, if uei, w = for some i > 1, then w = n(, e i ) H(, 0), which is not possible. So u ei, w 1 for i =,...,d. Now, since d u e1, w > 0 and i=1 u ei, w = 1, there are at least two indices i j in {,...,d} such that u ei, w = uej, w = 1. This is a contradiction to Lemma.10.

8 8 BENJAMIN NILL AND MIKKEL ØBRO So we may safely assume that V() is a lattice basis and there are d vertices of P in H(, 0), d in H(, 1) and a single one, say v, in H(, ). If u ei, v > 0 for some i, then u N(,ei), v < by Lemma.6(1), which cannot happen. urthermore v cannot be equal to e i for some i. So (up to renumeration) v = e 1 e, since u, v =. The vertices of P in H(, 0) are by Lemma.11(1) n(, e 1 ) = e 1 + e i1,..., n(, e d ) = e d + e id, for {i 1,..., i d } {1,...,d}. By Lemma.11() the vertices in H(, 1) are e j1,..., e jd, for {j 1,..., j d } {1,..., d}. Suppose i 1. Then there are two cases: i 1: It is proven precisely as in the proof of Case of the main result in [Oeb08] (starting from the line Let G = N(, e 1 ), with j = i 1 and i = i ) that this case leads to a contradiction. i = 1: Consider the facet G = N(, e ). Since v = e 1 e = e 1 +n(, e ), we see u G, v = 1 and u e1 G, v =. Then by Lemma.6(), v = n(g, e 1 ). However, e 1 +e i1 H P (G, 0) is also equal to n(g, e 1 ) by Lemma.7(1), a contradiction. So i 1 =. By symmetry, i = 1. Now, as we see from igure 1, e 1 and e cannot be vertices (here, conv denotes the convex hull). n(, e 1 ) e e 1 v n(, e ) igure 1. conv(e 1, e, v, n(, e 1 ), n(, e )) Hence, H P (, 1) = { e 3,..., e d }. Let us consider the facet N(, e 3 ). Since n(, e 3 ) = e 3 + e i3, the vertices of n(, e 3 ) form a lattice basis. And, because we have v H P (N(, e 3 ), ), we are still in case A. Consequently, H P (N(, e 3 ), 1) = V(N(, e 3 )) \ { e 1, e }. Since e 3 + e i3 V(N(, e 3 )), the point e i3 + e 3 is a vertex of P. rom this, we conclude that the vertices of P in H(, 0) come in centrally symmetric pairs, so d is even and P splits into the claimed polytopes. Here, we prove the following result: 5. Part II: ν P is a vertex of P Proposition 5.1. Let ν P be a vertex of P. Then either d is even and P splits into d copies of V and a single copy of the polytope Ṽ, or d is odd and P splits into d 3 copies of V and a single copy of the polytope Q 3. Proof. A facet of P is special if and only if it contains ν P. Claim: Let be a special facet. Then V() is a lattice basis.

9 Q-ACTORIAL GORENSTEIN TORIC ANO VARIETIES 9 Proof of Claim. Since we are in case C, the vertices of P are distributed in hyperplanes H(, ) like this: d in H(, 1), d in H(, 0) and d 1 in H(, 1). In particular, n(, w) H(, 0) for every w V(). Consider the facet N(, w) for some w V(), w ν P. Since N(, w) is also special, there are d vertices in H(N(, w), 0). So w H(N(, w), 0) and n(, w) H(, 0), and it follows from Lemma.6(1) that u w, n(, w) = 1. This holds for all w V(), w ν P, and Lemma.8 yields that V() is a lattice basis. Let ν P = e 1. Now, the remaining proof follows precisely as in Case 1 of the proof of the main result in [Oeb08] (starting from line There are d 1 vertices in H(, 1) ). The only difference is that in our situation one refers to points (1) or () in Lemma.11 instead of refering to Lemmas 6 or 7 in [Oeb08]. 6. Part III: ν P 0 is not a vertex of P Here, we prove the following result, which finishes the proof of Theorem 1.: Proposition 6.1. Let ν P 0, and let ν P be not a vertex of P. Then d is even and P splits into d copies of V and a single copy of the polytope E 1. Proof. Let be a special facet of P. As described in Section 3 we are in Case C, and ν P is a lattice point of but not a vertex. Let V() = {e 1,..., e d } and H P (, 0) = {v 1,...,v d }. By Lemma.7 we may assume that v i = n(, e i ) for i = 1,...,d. In particular, Lemma.7() implies: act 1: or i = 1,...,d we have v i + e i. Moreover, since any neighboring vertex of is in H(, 0), Lemma.7 implies: act : Any lattice point in P H(, 0) is a neighboring vertex of. Let G := {x P : u, x = 1}. Since G contains d 1 vertices, G is a (d )- dimensional face of P. Let V(G) = {b 1,..., b d 1 }. There exist precisely two facets G 1, G of P containing G. We have G = G 1 G. Let w 1 := u G1, w := u G. The next observation is the crucial starting point of our proof. Claim 1: By possibly interchanging w 1 and w we have (1) w 1 + w + 3u = 0 or () w 1 + w + u = 0. Proof of Claim 1. By duality w 1, w are vertices of P joined by an edge that contains u in its relative interior. Let T := conv(w 1, w, u). By Lemma.1 T does not contain any lattice points different from the origin in its interior, thus it is a reflexive polygon. Let us look at the list of two-dimensional reflexive triangles, see, e.g., [Nil05, Prop..1]: rom this figure we can read off all possibly occuring relations among the vertices.

10 10 BENJAMIN NILL AND MIKKEL ØBRO Now, let x 1 V(G 1 ), x 1 G; x V(G ), x G, i.e., x 1 = n(g, x ) and x = n(g 1, x 1 ). By using 0 = w 1 + w + 3u, v i in case (1) of Claim 1, respectively 0 = w 1 + w + u, v i in case (), we deduce: act 3: Let i {1,..., d} such that v i {x 1, x }. Then v i H(G 1, 0) H(G, 0). In particular, by Lemma.7, v i is a neighboring vertex of G 1, as well as of G. Claim : x 1 and x are in H(, 0). Proof of Claim. Assume not. irst let us suppose that x 1 and x. Then by act 3 and Lemma.7 we have H P (G 1, 0) = {v 1,..., v d }. Moreover, Lemma.7 implies x = n(g 1, x 1 ) {v 1,...,v d }, a contradiction. Since we are not going to distinguish between cases (1) and () for the proof of Claim, we may assume that x 1 is in H(, 0) and x is in. Let us suppose x 1 = v 1. Then by act 3, x, v,...,v d are the d different neighboring vertices of G 1. By Lemma.7() we may permute b,...,b d such that v +b,...,v d +b d G 1. Now, by act 1, Lemma.4 implies for i {,..., d} that P(v i, e i, b i ) is a reflexive polygon with at least five vertices. Looking at the four figures in Subsection 1.3 of the introduction we find using act that only the following two possibilities may arise: e i e i v i v i b i b i igure. Two possibilities for P(v i, e i, b i ) In particular, b i = v i +e i. Moreover, since, by act 3, v i H(G, 0), we note w, e i = 1. Hence, e i G for i =,..., d. Therefore, x = e 1. This implies w, e 1 = w, x = 1. Since w, b i = 1, we get b i conv(e,..., e d ) for i =,...,d. Hence, G = conv(b,...,b d ) conv(e,..., e d ). Since, by igure, e,..., e d G, this yields G = conv(e,...,e d ), and {b,..., b d } = { e,..., e d }. We conclude that for i =,..., d each vertex v i may be written as v i = b i e i = e j e i for some j {,..., d} with j i. Hence, u ei, v i = 1 for i =,..., d. Now, Lemma.8 yields that e 1,...,e d is a lattice basis. Thus, any lattice point in is a vertex, in particular, this holds for ν P, a contradiction. So Claim is proven. Assume we are in case (1) of Claim 1. Then 0 = w 1 +w +3u, x = w 1, x +1, thus w 1, x = 1/ Z, a contradiction. Hence, we are in case (). We may suppose x 1 = v 1 and x = v. Now, act 3 implies H P (G 1, 1) = {x 1, b,..., b d }, H P (G, 1) = {x, b,..., b d }, H P (G 1, 0) {v 3,...,v d }, H P (G, 0) {v 3,..., v d }. Moreover, by w 1 + w + u = 0 we get x H P (G 1, 1), x 1 H P (G, 1).

11 Q-ACTORIAL GORENSTEIN TORIC ANO VARIETIES 11 In particular, since x is a neighboring vertex of G 1, however x 1 H P (G 1, 0), Lemma.7 implies the following observation (the same argument holds for G ): act 4: H P (G 1, 0) d 1 and H P (G, 0) d 1. It is our next goal to determine on which slices with respect to G 1 and G the vertices of lie. or this we need a preliminary result. Claim 3: {y P : w 1, y = 1} is not a face of P. The same statement holds for w. Proof of Claim 3. Assume the claim is wrong for w 1. Hence, H P (G 1, 1) d, and act 4 yields ( H P (G 1, 1), H P (G 1, 0), H P (G 1, 1) ) = (d, d 1, d). In this case w 1, ν P = 0, thus ν P H(G 1, 0). Now, since v 3,..., v d H P (G 1, 0), there exists i {1,..., d} such that e i H P (G 1, 0), while e j H P (G 1, 1) for j i. Hence, ν P H(G 1, 0) implies ν P = e i V(P), a contradiction. Since w 1 + w + u = 0, we have w 1 + w, e i = for i = 1,..., d. Therefore, Claim 3 implies the existence of r {1,..., d} : w 1, e r =, w, e r = 0, s {1,..., d} : w 1, e s = 0, w, e s =. Moreover, since v = x = n(g 1, x 1 ), we get by act 4 and Lemma.7 {e s, v 3,...,v d } = {n(g 1, b ),..., n(g 1, b d )}. We may permute b,..., b d such that e s = n(g 1, b ) and v i = n(g 1, b i ) for i = 3,...,d; moreover, by Lemma.7() we have v i b i. Hence by act 1 we may apply for i = 3,...,d Lemma.4 to v i, e i, b i, and deduce as in the proof of Claim the following result: act 5: or i = 3,...,d the polygon P(v i, e i, b i ) looks as in igure. In particular, w 1, e i = w, e i = 1 for i = 3,...,d. Thus, {r, s} = {1, }. Since by act 1, e 1 v 1 = x 1, however e s = n(g 1, b ) x 1 N(G 1, b ), we get s 1. Hence, r = 1, s =. Let us sum up what we just proved: H P (G 1, 0) = {e, v 3,...,v d }, H P (G, 0) = {e 1, v 3,..., v d }. H P (G 1, 1) = {x, e 3,..., e d }, H P (G, 1) = {x 1, e 3,...,e d }, H P (G 1, ) = {e 1 }, H P (G, ) = {e }. Now, since e = n(g 1, b ) we have by Lemma.7() that e + b G 1 H(, 0). Thus, act implies e + b = x 1 = v 1 V(P). By act 1 we may again apply Lemma.4 to e, v, b to deduce that P(v, e, b ) is a reflexive polygon that has to look like one of the following two reflexive polygons (use v b ):

12 1 BENJAMIN NILL AND MIKKEL ØBRO z v e z e v v 1 v 1 b b igure 3. Two possibilities for P(v, e, b ) Claim 4: In igure 3 only the right possibility occurs, moreover, z = e 1. In particular, P(v, e, b ) = E 1. Proof of Claim 4. Assume P(v, e, b ) is given by the left reflexive polygon in igure 3. Since e 1 H(G, 0), Lemma.7() implies that e 1 = n(g, b j ) for some j {,...,d}, even more, e 1 b j and e 1 b j. If j {3,...,d}, then by Lemma.4, e 1 P(b j, v j, e 1 ) = P(v j, e j, b j ), which implies by igure that e 1 = b j, a contradiction. Hence j =. Therefore, Lemma.4 implies e 1 P(b, e, e 1 ) = P(v, e, b ). igure 3 yields e 1 = z = b, a contradiction. inally, note that in the right reflexive polygon z N(G 1, ), and therefore z = e 1. By act 5 and igure we know v i + e i = b i for i = 3,...,d. Claim 5: Let i {3,..., d}. Then b i conv(e 3,..., e d ). Proof of Claim 5. Assume not. or j {1,...,d} let j := N(, e j ) and u j := u j. or j = 3,...,d we deduce from igure that ±e j P and, of course, ±e j j. This implies (6.1) u j, e j = 0 for j = 3,...,d. Let j {3,...,d}. Assume b i j. Then, since also b i j, we get u j, b i = 0. Now, since b i, Equation (6.1) yields b i = e j, a contradiction to our assumption. Therefore, b i j for all j {3,...,d}. Hence, b i conv(e 1, e ). Now, looking at igure 3 yields b i = b, a contradiction. By igures and 3 we have conv( e 1 + e, e 3,...,e d ) G = conv(b, b 3,...,b d ). Now, Claim 5 shows that equality holds. Moreover, we get { e 3,..., e d } = {b 3,..., b d }. Hence, there exists a permutation σ on {3,..., d} satisfying e σ(i) = b i and σ(i) i for i = 3,...,d. By act 1 and igure, v σ(i) e σ(i) = b i e i = b σ 1 (i), thus by Lemma.4 we have v σ(i) P(e σ(i), v σ(i), b σ 1 (i)) = P(v i, e i, b i ). Hence, we see that in igure the first possibility cannot occur, so P(v i, e i, b i ) = V, and we have v σ(i) = v i for i = 3,...,d. Therefore, σ is a fix-point-free involution, thus, σ is a product of disjoint transpositions. In particular, d is even. It remains to show the following statement. Claim 6: e 1, b, e 3,..., e d is a lattice basis.

13 Q-ACTORIAL GORENSTEIN TORIC ANO VARIETIES 13 Proof of Claim 6. These elements form a basis of N R because of e = e 1 b. Let e 1, b, e 3,..., e d denote the dual basis of M R. By igure 3 and Equation (6.1) we see u = e 1 b + e e d, u N(,e) = u + b, u N(,ei) = u e i for i = 3,...,d. Since by reflexivity of P the outer normals are lattice points in M, also e 1, b, e 3,..., e d are lattice points in M, thus e 1, b, e 3,...,e d is a lattice basis of N. This finishes the proof of Proposition 6.1, and hence of Theorem 1.. References [Bat94] V. V. Batyrev, Dual polyhedra and mirror symmetry for Calabi-Yau hypersurfaces in toric varieties, J. Algebr. Geom. 3, (1994) [Cas06] C. Casagrande, The number of vertices of a ano polytope, Ann. Inst. ourier 56, (006) [Deb03] O. Debarre, ano varieties, in: Higher dimensional varieties and rational points (Budapest, 001), 93 13, Bolyai Society Mathematical Studies 1, Berlin: Springer- Verlag, 003 [ul93] W. ulton, Introduction to toric varieties, Annals of Mathematics Studies 131, Princeton, NJ: Princeton University Press, 1993 [KN07] M. Kreuzer & B. Nill, Classification of toric ano 5-folds, Preprint, math/070890, 007 [KS98] M. Kreuzer & H. Skarke, Classification of reflexive polyhedra in three dimensions, Adv. Theor. Math. Phys., (1998) [KS00] M. Kreuzer & H. Skarke, Complete classification of reflexive polyhedra in four dimensions, Adv. Theor. Math. Phys. 4, (000) [Nil05] B. Nill, Gorenstein toric ano varieties, Manuscr. Math. 116, (005) [Nil07] B. Nill, Classification of pseudo-symmetric simplicial reflexive polytopes, in: Algebraic and geometric combinatorics, Proceedings of a Euroconference in Mathematics (Anogia, 005), 69 8, Contemp. Math. 43, AMS, 007 [Oeb07] M. Øbro, An algorithm for the classification of smooth ano polytopes, Preprint, math/ , 007 [Oeb08] M. Øbro, Classification of terminal simplicial reflexive d-polytopes with 3d 1 vertices, Manuscr. Math. 15, (008) Research Group Lattice Polytopes, reie Universität Berlin, Arnimallee 3, Berlin, Germany address: nill@math.fu-berlin.de Department of Mathematical Sciences, University of Aarhus, 8000 Aarhus C, Denmark address: oebro@imf.au.dk