arxiv: v1 [math.ag] 29 May 2008
|
|
- Walter Harrell
- 5 years ago
- Views:
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
Classification of smooth Fano polytopes
Classification of smooth Fano polytopes Mikkel Øbro PhD thesis Advisor: Johan Peder Hansen September 2007 Department of Mathematical Sciences, Faculty of Science University of Aarhus Introduction This
More informationarxiv: v1 [math.co] 2 Apr 2007
An algorithm for the classification of smooth Fano polytopes Mikkel Øbro arxiv:0704.0049v1 [math.co] 2 Apr 2007 October 24, 2018 Abstract We present an algorithm that produces the classification list of
More informationFano varieties and polytopes
Fano varieties and polytopes Olivier DEBARRE The Fano Conference Torino, September 29 October 5, 2002 Smooth Fano varieties A smooth Fano variety (over a fixed algebraically closed field k) is a smooth
More informationSmooth Fano Polytopes Arising from Finite Partially Ordered Sets
Discrete Comput Geom (2011) 45: 449 461 DOI 10.1007/s00454-010-9271-2 Smooth Fano Polytopes Arising from Finite Partially Ordered Sets Takayuki Hibi Akihiro Higashitani Received: 29 August 2009 / Revised:
More informationarxiv: v4 [math.co] 30 Jun 2014
SMOOTH FANO POLYTOPES ARISING FROM FINITE DIRECTED GRAPHS arxiv:1103.2202v4 [math.co] 30 Jun 2014 AKIHIRO HIGASHITANI Abstract. In this paper, we consider terminal reflexive polytopes arising from finite
More informationarxiv: v1 [math.co] 24 Aug 2009
SMOOTH FANO POLYTOPES ARISING FROM FINITE PARTIALLY ORDERED SETS arxiv:0908.3404v1 [math.co] 24 Aug 2009 TAKAYUKI HIBI AND AKIHIRO HIGASHITANI Abstract. Gorenstein Fano polytopes arising from finite partially
More informationLattice points in Minkowski sums
Lattice points in Minkowski sums Christian Haase, Benjamin Nill, Andreas affenholz Institut für Mathematik, Arnimallee 3, 14195 Berlin, Germany {christian.haase,nill,paffenholz}@math.fu-berlin.de Francisco
More informationCREPANT RESOLUTIONS OF GORENSTEIN TORIC SINGULARITIES AND UPPER BOUND THEOREM. Dimitrios I. Dais
Séminaires & Congrès 6, 2002, p. 187 192 CREPANT RESOLUTIONS OF GORENSTEIN TORIC SINGULARITIES AND UPPER BOUND THEOREM by Dimitrios I. Dais Abstract. A necessary condition for the existence of torus-equivariant
More informationarxiv: v1 [math.co] 28 Nov 2007
LATTICE OINTS IN MINKOWSKI SUMS CHRISTIAN HAASE, BENJAMIN NILL, ANDREAS AFFENHOLZ, AND FRANCISCO SANTOS arxiv:0711.4393v1 [math.co] 28 Nov 2007 ABSTRACT. Fakhruddin has proved that for two lattice polygons
More informationOn the number of distinct directions of planes determined by n points in R 3
On the number of distinct directions of planes determined by n points in R 3 Rom Pinchasi August 27, 2007 Abstract We show that any set of n points in R 3, that is not contained in a plane, determines
More informationSmooth Fano Polytopes with Many Vertices
Discrete Comput Geom (2014) 52:153 194 DOI 10.1007/s00454-014-9607-4 Smooth Fano Polytopes with Many Vertices Benjamin Assarf Michael Joswig Andreas Paffenholz Received: 16 November 2012 / Revised: 11
More informationTHE REFLEXIVE DIMENSION OF A LATTICE POLYTOPE
DUKE-CGTP-04-07 THE REFLEXIVE DIMENSION OF A LATTICE POLYTOPE CHRISTIAN HAASE AND ILARION V. MELNIKOV Abstract. The reflexive dimension refldim(p ) of a lattice polytope P is the minimal d so that P is
More informationToric Varieties and Lattice Polytopes
Toric Varieties and Lattice Polytopes Ursula Whitcher April 1, 006 1 Introduction We will show how to construct spaces called toric varieties from lattice polytopes. Toric fibrations correspond to slices
More informationAutomorphism Groups of Cyclic Polytopes
8 Automorphism Groups of Cyclic Polytopes (Volker Kaibel and Arnold Waßmer ) It is probably well-known to most polytope theorists that the combinatorial automorphism group of a cyclic d-polytope with n
More informationGeometry. Every Simplicial Polytope with at Most d + 4 Vertices Is a Quotient of a Neighborly Polytope. U. H. Kortenkamp. 1.
Discrete Comput Geom 18:455 462 (1997) Discrete & Computational Geometry 1997 Springer-Verlag New York Inc. Every Simplicial Polytope with at Most d + 4 Vertices Is a Quotient of a Neighborly Polytope
More informationSTANLEY S SIMPLICIAL POSET CONJECTURE, AFTER M. MASUDA
Communications in Algebra, 34: 1049 1053, 2006 Copyright Taylor & Francis Group, LLC ISSN: 0092-7872 print/1532-4125 online DOI: 10.1080/00927870500442005 STANLEY S SIMPLICIAL POSET CONJECTURE, AFTER M.
More informationMath 5593 Linear Programming Lecture Notes
Math 5593 Linear Programming Lecture Notes Unit II: Theory & Foundations (Convex Analysis) University of Colorado Denver, Fall 2013 Topics 1 Convex Sets 1 1.1 Basic Properties (Luenberger-Ye Appendix B.1).........................
More informationFACES OF CONVEX SETS
FACES OF CONVEX SETS VERA ROSHCHINA Abstract. We remind the basic definitions of faces of convex sets and their basic properties. For more details see the classic references [1, 2] and [4] for polytopes.
More informationPebble Sets in Convex Polygons
2 1 Pebble Sets in Convex Polygons Kevin Iga, Randall Maddox June 15, 2005 Abstract Lukács and András posed the problem of showing the existence of a set of n 2 points in the interior of a convex n-gon
More informationarxiv: v2 [math.co] 23 Jan 2018
CONNECTIVITY OF CUBICAL POLYTOPES HOA THI BUI, GUILLERMO PINEDA-VILLAVICENCIO, AND JULIEN UGON arxiv:1801.06747v2 [math.co] 23 Jan 2018 Abstract. A cubical polytope is a polytope with all its facets being
More informationarxiv: v1 [math.co] 27 Feb 2015
Mode Poset Probability Polytopes Guido Montúfar 1 and Johannes Rauh 2 arxiv:1503.00572v1 [math.co] 27 Feb 2015 1 Max Planck Institute for Mathematics in the Sciences, Inselstraße 22, 04103 Leipzig, Germany,
More informationCombinatorics I (Lecture 36)
Combinatorics I (Lecture 36) February 18, 2015 Our goal in this lecture (and the next) is to carry out the combinatorial steps in the proof of the main theorem of Part III. We begin by recalling some notation
More information[8] that this cannot happen on the projective plane (cf. also [2]) and the results of Robertson, Seymour, and Thomas [5] on linkless embeddings of gra
Apex graphs with embeddings of face-width three Bojan Mohar Department of Mathematics University of Ljubljana Jadranska 19, 61111 Ljubljana Slovenia bojan.mohar@uni-lj.si Abstract Aa apex graph is a graph
More informationQ-Gorenstein deformation families of Fano varieties or The combinatorics of Mirror Symmetry. Alexander Kasprzyk
Q-Gorenstein deformation families of Fano varieties or The combinatorics of Mirror Symmetry Alexander Kasprzyk Fano manifolds Smooth varieties, called manifolds, come with a natural notion of curvature,
More informationarxiv: v2 [math.co] 24 Aug 2016
Slicing and dicing polytopes arxiv:1608.05372v2 [math.co] 24 Aug 2016 Patrik Norén June 23, 2018 Abstract Using tropical convexity Dochtermann, Fink, and Sanyal proved that regular fine mixed subdivisions
More informationMATH 890 HOMEWORK 2 DAVID MEREDITH
MATH 890 HOMEWORK 2 DAVID MEREDITH (1) Suppose P and Q are polyhedra. Then P Q is a polyhedron. Moreover if P and Q are polytopes then P Q is a polytope. The facets of P Q are either F Q where F is a facet
More informationMonotone Paths in Geometric Triangulations
Monotone Paths in Geometric Triangulations Adrian Dumitrescu Ritankar Mandal Csaba D. Tóth November 19, 2017 Abstract (I) We prove that the (maximum) number of monotone paths in a geometric triangulation
More informationRigidity of ball-polyhedra via truncated Voronoi and Delaunay complexes
!000111! NNNiiinnnttthhh IIInnnttteeerrrnnnaaatttiiiooonnnaaalll SSSyyymmmpppooosssiiiuuummm ooonnn VVVooorrrooonnnoooiii DDDiiiaaagggrrraaammmsss iiinnn SSSccciiieeennnccceee aaannnddd EEEnnngggiiinnneeeeeerrriiinnnggg
More informationCrossing Families. Abstract
Crossing Families Boris Aronov 1, Paul Erdős 2, Wayne Goddard 3, Daniel J. Kleitman 3, Michael Klugerman 3, János Pach 2,4, Leonard J. Schulman 3 Abstract Given a set of points in the plane, a crossing
More informationarxiv: v2 [math.co] 4 Jul 2018
SMOOTH CENTRALLY SYMMETRIC POLYTOPES IN DIMENSION 3 ARE IDP MATTHIAS BECK, CHRISTIAN HAASE, AKIHIRO HIGASHITANI, JOHANNES HOFSCHEIER, KATHARINA JOCHEMKO, LUKAS KATTHÄN, AND MATEUSZ MICHAŁEK arxiv:802.0046v2
More informationarxiv: v1 [math.co] 12 Aug 2018
CONVEX UNION REPRESENTABILITY AND CONVEX CODES R. AMZI JEFFS AND ISABELLA NOVIK arxiv:1808.03992v1 [math.co] 12 Aug 2018 Abstract. We introduce and investigate d-convex union representable complexes: the
More informationThe orientability of small covers and coloring simple polytopes. Nishimura, Yasuzo; Nakayama, Hisashi. Osaka Journal of Mathematics. 42(1) P.243-P.
Title Author(s) The orientability of small covers and coloring simple polytopes Nishimura, Yasuzo; Nakayama, Hisashi Citation Osaka Journal of Mathematics. 42(1) P.243-P.256 Issue Date 2005-03 Text Version
More informationPlanar Graphs. 1 Graphs and maps. 1.1 Planarity and duality
Planar Graphs In the first half of this book, we consider mostly planar graphs and their geometric representations, mostly in the plane. We start with a survey of basic results on planar graphs. This chapter
More informationNoncrossing sets and a Graßmann associahedron
Noncrossing sets and a Graßmann associahedron Francisco Santos, Christian Stump, Volkmar Welker (in partial rediscovering work of T. K. Petersen, P. Pylyavskyy, and D. E. Speyer, 2008) (in partial rediscovering
More informationTechnische Universität München Zentrum Mathematik
Technische Universität München Zentrum Mathematik Prof. Dr. Dr. Jürgen Richter-Gebert, Bernhard Werner Projective Geometry SS 208 https://www-m0.ma.tum.de/bin/view/lehre/ss8/pgss8/webhome Solutions for
More informationThe Charney-Davis conjecture for certain subdivisions of spheres
The Charney-Davis conjecture for certain subdivisions of spheres Andrew Frohmader September, 008 Abstract Notions of sesquiconstructible complexes and odd iterated stellar subdivisions are introduced,
More informationThree applications of Euler s formula. Chapter 10
Three applications of Euler s formula Chapter 10 A graph is planar if it can be drawn in the plane R without crossing edges (or, equivalently, on the -dimensional sphere S ). We talk of a plane graph if
More informationMirror Symmetry Through Reflexive Polytopes
Mirror Symmetry Through Reflexive Polytopes Physical and Mathematical Dualities Ursula Whitcher Harvey Mudd College April 2010 Outline String Theory and Mirror Symmetry Some Complex Geometry Reflexive
More informationTriangulations of Simplicial Polytopes
Beiträge zur Algebra und Geometrie Contributions to Algebra and Geometry Volume 45 (004), No. 1, 37-46. Triangulations of Simplicial Polytopes Peter McMullen University College London Gower Street, London
More informationOn the Graph Connectivity of Skeleta of Convex Polytopes
Discrete Comput Geom (2009) 42: 155 165 DOI 10.1007/s00454-009-9181-3 On the Graph Connectivity of Skeleta of Convex Polytopes Christos A. Athanasiadis Received: 23 June 2008 / Revised: 27 February 2009
More informationGENERALIZED CPR-GRAPHS AND APPLICATIONS
Volume 5, Number 2, Pages 76 105 ISSN 1715-0868 GENERALIZED CPR-GRAPHS AND APPLICATIONS DANIEL PELLICER AND ASIA IVIĆ WEISS Abstract. We give conditions for oriented labeled graphs that must be satisfied
More informationEquipartite polytopes and graphs
Equipartite polytopes and graphs Branko Grünbaum Tomáš Kaiser Daniel Král Moshe Rosenfeld Abstract A graph G of even order is weakly equipartite if for any partition of its vertex set into subsets V 1
More informationarxiv: v2 [math.ag] 3 Dec 2017
THE STRINGY EULER NUMBER OF CALABI-YAU HYPERSURFACES IN TORIC VARIETIES AND THE MAVLYUTOV DUALITY VICTOR BATYREV Dedicated to Yuri Ivanovich Manin on the occasion of his 80-th birthday arxiv:1707.02602v2
More informationChapter 8. Voronoi Diagrams. 8.1 Post Oce Problem
Chapter 8 Voronoi Diagrams 8.1 Post Oce Problem Suppose there are n post oces p 1,... p n in a city. Someone who is located at a position q within the city would like to know which post oce is closest
More informationEuler s Theorem. Brett Chenoweth. February 26, 2013
Euler s Theorem Brett Chenoweth February 26, 2013 1 Introduction This summer I have spent six weeks of my holidays working on a research project funded by the AMSI. The title of my project was Euler s
More informationEquipartite polytopes and graphs
Equipartite polytopes and graphs Branko Grünbaum Tomáš Kaiser Daniel Král Moshe Rosenfeld Abstract A graph G of even order is weakly equipartite if for any partition of its vertex set into subsets V 1
More informationarxiv: v1 [math.co] 12 Dec 2017
arxiv:1712.04381v1 [math.co] 12 Dec 2017 Semi-reflexive polytopes Tiago Royer Abstract The Ehrhart function L P(t) of a polytope P is usually defined only for integer dilation arguments t. By allowing
More informationPolytopes, Polynomials, and String Theory
Polytopes, Polynomials, and String Theory Ursula Whitcher ursula@math.hmc.edu Harvey Mudd College August 2010 Outline The Group String Theory and Mathematics Polytopes, Fans, and Toric Varieties The Group
More informationMa/CS 6b Class 26: Art Galleries and Politicians
Ma/CS 6b Class 26: Art Galleries and Politicians By Adam Sheffer The Art Gallery Problem Problem. We wish to place security cameras at a gallery, such that they cover it completely. Every camera can cover
More informationarxiv: v1 [math.gt] 28 Feb 2009
Coverings and Minimal Triangulations of 3 Manifolds William Jaco, Hyam Rubinstein and Stephan Tillmann arxiv:0903.0112v1 [math.gt] 28 Feb 2009 Abstract This paper uses results on the classification of
More informationTORIC VARIETIES JOAQUÍN MORAGA
TORIC VARIETIES Abstract. This is a very short introduction to some concepts around toric varieties, some of the subsections are intended for more experienced algebraic geometers. To see a lot of exercises
More informationarxiv: v1 [math.mg] 13 Mar 2018
Characterizing face and flag vector pairs for polytopes Hannah Sjöberg Institut für Mathematik FU Berlin, Arnimallee 14195 Berlin, Germany sjoberg@math.fu-berlin.de Günter M. Ziegler Institut für Mathematik
More informationMathematical and Algorithmic Foundations Linear Programming and Matchings
Adavnced Algorithms Lectures Mathematical and Algorithmic Foundations Linear Programming and Matchings Paul G. Spirakis Department of Computer Science University of Patras and Liverpool Paul G. Spirakis
More informationOn the Relationships between Zero Forcing Numbers and Certain Graph Coverings
On the Relationships between Zero Forcing Numbers and Certain Graph Coverings Fatemeh Alinaghipour Taklimi, Shaun Fallat 1,, Karen Meagher 2 Department of Mathematics and Statistics, University of Regina,
More informationON THE EMPTY CONVEX PARTITION OF A FINITE SET IN THE PLANE**
Chin. Ann. of Math. 23B:(2002),87-9. ON THE EMPTY CONVEX PARTITION OF A FINITE SET IN THE PLANE** XU Changqing* DING Ren* Abstract The authors discuss the partition of a finite set of points in the plane
More informationREFLEXIVE POLYTOPES OF HIGHER INDEX AND THE NUMBER 12
REFLEXIVE POLYTOPES OF HIGHER INDEX AND THE NUMBER 12 ALEXANDER M. KASPRZYK AND BENJAMIN NILL Abstract. We introduce reflexive polytopes of index l as a natural generalisation of the notion of a reflexive
More informationarxiv: v2 [cs.cg] 24 Jul 2011
Ice-Creams and Wedge Graphs Eyal Ackerman Tsachik Gelander Rom Pinchasi Abstract arxiv:116.855v2 [cs.cg] 24 Jul 211 What is the minimum angle α > such that given any set of α-directional antennas (that
More informationRATIONAL CURVES ON SMOOTH CUBIC HYPERSURFACES. Contents 1. Introduction 1 2. The proof of Theorem References 9
RATIONAL CURVES ON SMOOTH CUBIC HYPERSURFACES IZZET COSKUN AND JASON STARR Abstract. We prove that the space of rational curves of a fixed degree on any smooth cubic hypersurface of dimension at least
More information3 No-Wait Job Shops with Variable Processing Times
3 No-Wait Job Shops with Variable Processing Times In this chapter we assume that, on top of the classical no-wait job shop setting, we are given a set of processing times for each operation. We may select
More informationFOUR EDGE-INDEPENDENT SPANNING TREES 1
FOUR EDGE-INDEPENDENT SPANNING TREES 1 Alexander Hoyer and Robin Thomas School of Mathematics Georgia Institute of Technology Atlanta, Georgia 30332-0160, USA ABSTRACT We prove an ear-decomposition theorem
More informationLecture 2 - Introduction to Polytopes
Lecture 2 - Introduction to Polytopes Optimization and Approximation - ENS M1 Nicolas Bousquet 1 Reminder of Linear Algebra definitions Let x 1,..., x m be points in R n and λ 1,..., λ m be real numbers.
More informationLinear Programming in Small Dimensions
Linear Programming in Small Dimensions Lekcija 7 sergio.cabello@fmf.uni-lj.si FMF Univerza v Ljubljani Edited from slides by Antoine Vigneron Outline linear programming, motivation and definition one dimensional
More informationA PROOF OF THE LOWER BOUND CONJECTURE FOR CONVEX POLYTOPES
PACIFIC JOURNAL OF MATHEMATICS Vol. 46, No. 2, 1973 A PROOF OF THE LOWER BOUND CONJECTURE FOR CONVEX POLYTOPES DAVID BARNETTE A d polytope is defined to be a cz-dimensional set that is the convex hull
More informationMirrors of reflections of regular maps
ISSN 1855-3966 (printed edn), ISSN 1855-3974 (electronic edn) ARS MATHEMATICA CONTEMPORANEA 15 (018) 347 354 https://doiorg/106493/1855-3974145911d (Also available at http://amc-journaleu) Mirrors of reflections
More informationTechnische Universität München Zentrum Mathematik
Question 1. Incidence matrix with gaps Technische Universität München Zentrum Mathematik Prof. Dr. Dr. Jürgen Richter-Gebert, Bernhard Werner Projective Geometry SS 2016 www-m10.ma.tum.de/projektivegeometriess16
More informationTHE ENUMERATIVE GEOMETRY OF DEL PEZZO SURFACES VIA DEGENERATIONS
THE ENUMERATIVE GEOMETRY OF DEL PEZZO SURFACES VIA DEGENERATIONS IZZET COSKUN Abstract. This paper investigates low-codimension degenerations of Del Pezzo surfaces. As an application we determine certain
More informationEuropean Journal of Combinatorics. Homotopy types of box complexes of chordal graphs
European Journal of Combinatorics 31 (2010) 861 866 Contents lists available at ScienceDirect European Journal of Combinatorics journal homepage: www.elsevier.com/locate/ejc Homotopy types of box complexes
More informationRigid Ball-Polyhedra in Euclidean 3-Space
Discrete Comput Geom (2013) 49:189 199 DOI 10.1007/s00454-012-9480-y Rigid Ball-Polyhedra in Euclidean 3-Space Károly Bezdek Márton Naszódi Received: 15 September 2011 / Revised: 30 September 2012 / Accepted:
More informationLecture 0: Reivew of some basic material
Lecture 0: Reivew of some basic material September 12, 2018 1 Background material on the homotopy category We begin with the topological category TOP, whose objects are topological spaces and whose morphisms
More informationL-CONVEX-CONCAVE SETS IN REAL PROJECTIVE SPACE AND L-DUALITY
MOSCOW MATHEMATICAL JOURNAL Volume 3, Number 3, July September 2003, Pages 1013 1037 L-CONVEX-CONCAVE SETS IN REAL PROJECTIVE SPACE AND L-DUALITY A. KHOVANSKII AND D. NOVIKOV Dedicated to Vladimir Igorevich
More informationSimplicial Cells in Arrangements of Hyperplanes
Simplicial Cells in Arrangements of Hyperplanes Christoph Dätwyler 05.01.2013 This paper is a report written due to the authors presentation of a paper written by Shannon [1] in 1977. The presentation
More informationApproximating Polygonal Objects by Deformable Smooth Surfaces
Approximating Polygonal Objects by Deformable Smooth Surfaces Ho-lun Cheng and Tony Tan School of Computing, National University of Singapore hcheng,tantony@comp.nus.edu.sg Abstract. We propose a method
More informationarxiv: v1 [cs.cc] 30 Jun 2017
On the Complexity of Polytopes in LI( Komei Fuuda May Szedlá July, 018 arxiv:170610114v1 [cscc] 30 Jun 017 Abstract In this paper we consider polytopes given by systems of n inequalities in d variables,
More informationInterval-Vector Polytopes
Interval-Vector Polytopes Jessica De Silva Gabriel Dorfsman-Hopkins California State University, Stanislaus Dartmouth College Joseph Pruitt California State University, Long Beach July 28, 2012 Abstract
More informationarxiv: v1 [math.co] 25 Sep 2015
A BASIS FOR SLICING BIRKHOFF POLYTOPES TREVOR GLYNN arxiv:1509.07597v1 [math.co] 25 Sep 2015 Abstract. We present a change of basis that may allow more efficient calculation of the volumes of Birkhoff
More information2017 SOLUTIONS (PRELIMINARY VERSION)
SIMON MARAIS MATHEMATICS COMPETITION 07 SOLUTIONS (PRELIMINARY VERSION) This document will be updated to include alternative solutions provided by contestants, after the competition has been mared. Problem
More informationMirror, Mirror. String Theory and Pairs of Polyhedra. Ursula Whitcher. February Math Reviews & University of Wisconsin Eau Claire
Mirror, Mirror String Theory and Pairs of Polyhedra Ursula Whitcher Math Reviews & University of Wisconsin Eau Claire February 2017 What do these people have in common? Figure: Maxim Kontsevich Figure:
More informationEXTREME POINTS AND AFFINE EQUIVALENCE
EXTREME POINTS AND AFFINE EQUIVALENCE The purpose of this note is to use the notions of extreme points and affine transformations which are studied in the file affine-convex.pdf to prove that certain standard
More informationTHE DIMENSION OF POSETS WITH PLANAR COVER GRAPHS
THE DIMENSION OF POSETS WITH PLANAR COVER GRAPHS STEFAN FELSNER, WILLIAM T. TROTTER, AND VEIT WIECHERT Abstract. Kelly showed that there exist planar posets of arbitrarily large dimension, and Streib and
More informationGEODETIC DOMINATION IN GRAPHS
GEODETIC DOMINATION IN GRAPHS H. Escuadro 1, R. Gera 2, A. Hansberg, N. Jafari Rad 4, and L. Volkmann 1 Department of Mathematics, Juniata College Huntingdon, PA 16652; escuadro@juniata.edu 2 Department
More informationTurn Graphs and Extremal Surfaces in Free Groups
Turn Graphs and Extremal Surfaces in Free Groups Noel Brady, Matt Clay, and Max Forester Abstract. This note provides an alternate account of Calegari s rationality theorem for stable commutator length
More informationRubber bands. Chapter Rubber band representation
Chapter 1 Rubber bands In the previous chapter, we already used the idea of looking at the graph geometrically, by placing its nodes on the line and replacing the edges by rubber bands. Since, however,
More informationOn the Hardness of Computing Intersection, Union and Minkowski Sum of Polytopes
On the Hardness of Computing Intersection, Union and Minkowski Sum of Polytopes Hans Raj Tiwary hansraj@cs.uni-sb.de FR Informatik Universität des Saarlandes D-66123 Saarbrücken, Germany Tel: +49 681 3023235
More informationRestricted-Orientation Convexity in Higher-Dimensional Spaces
Restricted-Orientation Convexity in Higher-Dimensional Spaces ABSTRACT Eugene Fink Derick Wood University of Waterloo, Waterloo, Ont, Canada N2L3G1 {efink, dwood}@violetwaterlooedu A restricted-oriented
More informationSchemes and the IP-graph
J Algebr Comb (2008) 28: 271 279 DOI 10.1007/s10801-007-0102-3 Schemes and the IP-graph Rachel Camina Received: 22 September 2006 / Accepted: 24 September 2007 / Published online: 12 October 2007 Springer
More informationOrthogonal art galleries with holes: a coloring proof of Aggarwal s Theorem
Orthogonal art galleries with holes: a coloring proof of Aggarwal s Theorem Pawe l Żyliński Institute of Mathematics University of Gdańsk, 8095 Gdańsk, Poland pz@math.univ.gda.pl Submitted: Sep 9, 005;
More informationExercise set 2 Solutions
Exercise set 2 Solutions Let H and H be the two components of T e and let F E(T ) consist of the edges of T with one endpoint in V (H), the other in V (H ) Since T is connected, F Furthermore, since T
More informationDissections of polygons into convex polygons
Dissections of polygons into convex polygons Andrzej Żak Faculty of Applied Mathematics, AGH University of Science and Technology al. Mickiewicza 30, 30 059 Kraków, Poland e-mail: zakandrz@uci.agh.edu.pl
More informationCOMPUTING SESHADRI CONSTANTS ON SMOOTH TORIC SURFACES
COMPUTING SESHADRI CONSTANTS ON SMOOTH TORIC SURFACES ANDERS LUNDMAN Abstract. In this paper we compute the Seshadri constants at the general point on many smooth polarized toric surfaces. We consider
More informationarxiv: v1 [cs.dm] 30 Apr 2014
The stable set polytope of (P 6,triangle)-free graphs and new facet-inducing graphs Raffaele Mosca arxiv:1404.7623v1 [cs.dm] 30 Apr 2014 May 1, 2014 Abstract The stable set polytope of a graph G, denoted
More informationOptimality certificates for convex minimization and Helly numbers
Optimality certificates for convex minimization and Helly numbers Amitabh Basu Michele Conforti Gérard Cornuéjols Robert Weismantel Stefan Weltge May 10, 2017 Abstract We consider the problem of minimizing
More informationPERFECT FOLDING OF THE PLANE
SOOCHOW JOURNAL OF MATHEMATICS Volume 32, No. 4, pp. 521-532, October 2006 PERFECT FOLDING OF THE PLANE BY E. EL-KHOLY, M. BASHER AND M. ZEEN EL-DEEN Abstract. In this paper we introduced the concept of
More informationA Constructive Proof of Ky Fan's Generalization of Tucker's Lemma
Claremont Colleges Scholarship @ Claremont All HMC Faculty Publications and Research HMC Faculty Scholarship 8-1-2005 A Constructive Proof of Ky Fan's Generalization of Tucker's Lemma Timothy Prescott
More informationPacific Journal of Mathematics
Pacific Journal of Mathematics SIMPLIFYING TRIANGULATIONS OF S 3 Aleksandar Mijatović Volume 208 No. 2 February 2003 PACIFIC JOURNAL OF MATHEMATICS Vol. 208, No. 2, 2003 SIMPLIFYING TRIANGULATIONS OF S
More informationOptimality certificates for convex minimization and Helly numbers
Optimality certificates for convex minimization and Helly numbers Amitabh Basu Michele Conforti Gérard Cornuéjols Robert Weismantel Stefan Weltge October 20, 2016 Abstract We consider the problem of minimizing
More informationDisjoint directed cycles
Disjoint directed cycles Noga Alon Abstract It is shown that there exists a positive ɛ so that for any integer k, every directed graph with minimum outdegree at least k contains at least ɛk vertex disjoint
More informationFANO POLYTOPES ALEXANDER M. KASPRZYK AND BENJAMIN NILL
FANO POLYTOPES ALEXANDER M. KASPRZYK AND BENJAMIN NILL Abstract. Fano polytopes are the convex-geometric objects corresponding to toric Fano varieties. We give a brief survey of classification results
More informationInstitutionen för matematik, KTH.
Institutionen för matematik, KTH. Chapter 10 projective toric varieties and polytopes: definitions 10.1 Introduction Tori varieties are algebraic varieties related to the study of sparse polynomials.
More informationON INDEX EXPECTATION AND CURVATURE FOR NETWORKS
ON INDEX EXPECTATION AND CURVATURE FOR NETWORKS OLIVER KNILL Abstract. We prove that the expectation value of the index function i f (x) over a probability space of injective function f on any finite simple
More information4. Simplicial Complexes and Simplicial Homology
MATH41071/MATH61071 Algebraic topology Autumn Semester 2017 2018 4. Simplicial Complexes and Simplicial Homology Geometric simplicial complexes 4.1 Definition. A finite subset { v 0, v 1,..., v r } R n
More information