arxiv: v1 [math.co] 24 Aug 2009

Transcription

1 SMOOTH FANO POLYTOPES ARISING FROM FINITE PARTIALLY ORDERED SETS arxiv: v1 [math.co] 24 Aug 2009 TAKAYUKI HIBI AND AKIHIRO HIGASHITANI Abstract. Gorenstein Fano polytopes arising from finite partially ordered sets will be introduced. Then we study the problem which partially ordered sets yield smooth Fano polytopes. Introduction An integral (or lattice) polytope is a convex polytope all of whose vertices have integer coordinates. Let P R d be an integral convex polytope of dimension d. We say that P is a Fano polytope if the origin of R d is a unique integer point belonging to the interior of P. A Fano polytope P is called terminal if each integer point belonging to the boundary of P is a vertex of P. A Fano polytope P is called canonical if P is not terminal, i.e., there is an integer point belonging to the boundary of P which is not a vertex of P. A Fano polytope is called Gorenstein if its dual polytope is integral. (Recall that the dual polytope P of a Fano polytope P is the convex polytope which consists of those x R d such that x, y 1 for all y P, where x, y is the usual inner product of R d.) A Q-factorial Fano polytope is a simplicial Fano polytope, i.e., a Fano polytope each of whose faces is a simplex. A smooth Fano polytope is a Fano polytope such that the vertices of each facet are a Z-basis of Z d. Thus in particular a smooth Fano polytope is Q-factorial Fano, Gorenstein and terminal. Øbro [4] succeeded in finding an algorithm which yields the classification list of the smooth Fano polytopes for given d. It is proved in Casagrande [1] that the number of vertices of a Gorenstein Q-factorial Fano polytope is at most 3d if d is even, and at most 3d 1 if d is odd. B. Nill and M. Øbro [2] classified the Gorenstein Q-factorial Fano polytopes of dimension d with 3d 1 vertices. The study on the classification of terminal or canonical Fano polytopes was done by Kasprzyk [3] Mathematics Subject Classification: Primary 14J45, 52B20; Secondary 06A11. Keywords: smooth Fano polytope, Q-factorial Fano polytope, Gorenstein Fano polytope, totally unimodular matrix, finite partially ordered set. 1

2 In the present paper, given a finite partially ordered set P we introduce a terminal Fano polytope X P. By using the theory of totally unimodular matrices, it turns out that such the Fano polytopes are Gorenstein. Then we study the problem which partially ordered sets yield Q-factorial Fano polytopes. Finally, it turns out that the Fano polytope X P is smooth if and only if X P is Q-factorial. 1. Fano polytopes arising from finite partially ordered sets Let P = {y 1,...,y d } be a finite partially ordered set and ˆP = P {ˆ0, ˆ1}, where ˆ0 (resp. ˆ1) is a unique minimal (resp. maximal) element of ˆP with ˆ0 P (resp. ˆ1 P). Let y 0 = ˆ0 and y d+1 = ˆ1. We say that e = {y i, y j }, where 0 i, j d + 1 with i j, is an edge of ˆP if e is an edge of the Hasse diagram of ˆP. (The Hasse diagram of a finite partially ordered set can be regarded as a finite nondirected graph.) In other words, e = {y i, y j } is an edge of ˆP if y i and y j are comparable in ˆP, say, y i < y j, and there is no z P with y i < z < y j. Definition 1.1. Let ˆP = {y 0, y 1,...,y d, y d+1 } be a finite partially ordered set with y 0 = ˆ0 and y d+1 = ˆ1. Let e i denote the ith canonical unit coordinate vector of R d. Given an edge e = {y i, y j } of ˆP with y i < y j, we define ρ(e) R d by setting e i if j = d + 1, ρ(e) = e j if i = 0, e i e j if 1 i, j d. Moreover, we write X P R d for the convex hull of the finite set { ρ(e) : e is an edge of ˆP }. Example 1.2. Let P = {y 1, y 2, y 3 } be the finite partially ordered set with the partial order y 1 < y 2. Then ˆP together with ρ(e) s and X P are drawn below: P = y 2 (0, 1, 0) y 3 y ˆP = 3 y 1 y 1 y 2 ( 1, 0, 0) ˆ1 = y 4 (0, 0, 1) (0, 0, 1) (1, 1, 0) 2 ˆ0 = y 0

3 x 3 X P = x 2 x Let P be a finite partially ordered set. A subset Q of P is called a chain of P if Q is a totally ordered subset of P. The length of a chain Q is l(q) = (Q) 1. A chain Q of P is saturated if x, y Q with x < y, then there is no z P with x < z < y. A maximal chain of ˆP is a saturated chain Q of ˆP with {ˆ0, ˆ1} Q. Lemma 1.3. The convex polytope X P is a Fano polytope. Proof. Let e = {y i, y j } be an edge of ˆP with y i < y j. Let c e denote the number of maximal chains Q of ˆP with {y i, y j } Q. If = {y i1, y i2,..., y im } is a maximal chain of ˆP with y 0 = y i1 < y i2 <... < y im = y d+1. Then Hence m 1 j=1 c {yij,y ij+1 }ρ({y ij, y ij+1 }) = (0,...0). c e ρ(e) = (0,...0), e where e ranges all edges of ˆP. Thus the origin of R d belongs to the interior of X P. Since X P is a convex polytope which is contained in the convex hull of the finite set { d i=1 ε ie i : ε i {0, 1, 1}} in R d, it follows that the origin of R d is a unique integer point belonging to the interior of X P. Thus X P is a Fano polytope, as desired. Lemma 1.4. The Fano polytope X P is terminal. Proof. What we must prove is ρ(e) is a vertex of X P for each edge e of ˆP. Let e = {y i, y j } with y i < y j. Let y i = ˆ0 and H the hyperplane in R d defined by the equation x j = 1. Then H is a supporting hyperplane of X P with H X P = ρ(e). Let y j = ˆ1 and H the hyperplane in R d defined by the equation x i = 1. Then H is a supporting hyperplane of X P with H X P = ρ(e). Let ˆ0 < y i < y j < ˆ1 and H the hyperplane in R d defined by the equation x i x j = 2. Then H is a supporting hyperplane of X P with H X P = ρ(e). 3

4 Lemma 1.5. The Fano polytope X P is Gorenstein. Proof. Via the theory of totally unimodular matrices [5], it follows that the equation of each supporting hyperplane of X P is of the form a 1 x a d x d = 1 with each a i Z. In other words, the dual polytope of X P is integral. Hence X P is Gorenstein, as required. 2. When is X P Q-factorial? Let P = {y 1,..., y d } be a finite partially ordered set and ˆP = P {y 0, y d+1 }, where y 0 = ˆ0 and y d+1 = ˆ1. A sequence C = (y i1, y i2,...,y im ) with each y ij ˆP is called a cycle in ˆP if C is a cycle in the Hasse diagram of ˆP. In other words, C = (y i1, y i2,...,y im ) is a cycle in ˆP if y ij y ik for all 1 j < k m and if {y ij, y ij+1 } is an edge of ˆP for all 1 j m, where y im+1 = y 1. The length of a cycle C = (y i1, y i2,..., y im ) is l(c) = m. A cycle C = (y i1, y i2,...,y im ) is called special if { j : y ij < y ij+1, 1 j m } = { k : y ik > y ik+1, 1 k m }. Given a special cycle C = (y i1, y i2,...,y im ), there exists a unique function µ C : {y i1, y i2,...,y im } {0, 1, 2,...} such that µ C (y ij+1 ) = µ C (y ij ) + 1 (resp. µ C (y ij ) = µ C (y ij+1 ) + 1) if y ij < y ij+1 (resp. y ij > y ij+1 ); min{µ C (y i1 ), µ C (y i2 ),...,µ C (y im )} = 0. We say that µ C (y ij ) is the height of y ij in C. Example 2.1. Among the five cycles drawn below, each of the three cycles on the left-hand side is special; none of the two cycles on the right-hand side is special. We say that a cycle C = (y i1, y i2,...,y im ) of ˆP belongs to a facet of X P if there is a facet F of X P with ρ({y ij, y ij+1 }) F for all 1 j m. Lemma 2.2. Let C = (y i1, y i2,...,y im ) be a cycle in ˆP. (a) If {y 0, y d+1 } {y i1, y i2,...,y im }, then C cannot belong to a facet of X P. (b) If C is not special, then C cannot belong to a facet of X P. 4

5 Proof. (a) Suppose that a cycle C = (y i1, y i2,...,y im ) belongs to a facet F of X P. Let, say y i1 = y 0 and y ir = y id+1. Let a 1 x a d x d = 1 with each a i Q denote the equation of the supporting hyperplane of X P which defines the facet F. Since {y 0, y i1 } and {y ij, y ij+1 }, 2 j r 2, are edges, one has a i1 = 1 and a ij a ij+1 = 1 (resp. a ij a ij+1 = 1) if y ij < y ij+1 (resp. y ij > y ij+1 ) for all 2 j r 2. It then follows that a ir 1 < 0. However, since {y ir 1, y d+1 } is an edge of ˆP, one has a ir 1 = 1, a contradiction. (b) Suppose that a cycle C = (y i1, y i2,...,y im ) belongs to a facet F of X P. Let a 1 x a d x d = 1 with each a i Q denote the equation of the supporting hyperplane of X P which defines the facet F. Since {y ij, y ij+1 } are edges of ˆP for 1 j m, where y im+1 = y i1, it follows that a ij a ij+1 = q j, where q j {1, 1} and where a ij = 0 if i j {0, d + 1}. If y ij < y ij+1, then q j = 1. If y ij > y ij+1, then q j = 1. Now, m m q j = (a ij a ij+1 ) = 0. i=1 Hence C must be special, as desired. i=1 Let P be a finite partially ordered set and y, z P with y < z. The distance of y and z in P is the smallest integer s for which there is a saturated chain Q = {z 0, z 1,...,z s } with y = z 0 < z 1 < < z s = z. Let dist P (y, z) denote the distance of y and z in P. We say that a cycle C = (y i1, y i2,..., y im ) is very special if C is special and if either y 0 {y i1, y i2,...,y im } or y d+1 {y i1, y i2,...,y im }. Theorem 2.3. Let P = {y 1,...,y d } be a finite partially ordered set and ˆP = P {y 0, y d+1 }, where y 0 = ˆ0 and y d+1 = ˆ1. Then the following conditions are equivalent: (i) X P is Q-factorial; (ii) X P is smooth; (iii) ˆP possesses no very special cycle C = (y i1,...,y im ) such that (1) µ C (y ia ) µ C (y ib ) dist ˆP(y ib, y ia ) for all 1 a, b m with y ib < y ia, and (2) µ C (y ia ) µ C (y ib ) dist ˆP (y 0, y ia ) + dist ˆP (y i b, y d+1 ) for all 1 a, b m. Proof. ((i) (iii)) If C = (y i1,...,y im ) is a cycle in ˆP with y im+1 = y 1, then m q j ρ({y ij, y ij+1 }) = (0,..., 0), j=1 5

6 where q j = 1 if y ij < y ij+1 and q j = 1 if y ij > y ij+1. Thus in particular ρ({y ij, y ij+1 }), 1 j m, cannot be affinely independent if C is special. Now, suppose that ˆP possesses a very special cycle C = (y i1,...,y im ) which satisfies the inequalities (1) and (2). Our work is to show that X P is not simplicial. Let v j = ρ({y ij, y ij+1 }), 1 j m, where y im+1 = y i1. Since v 1,...,v m cannot be affinely independent, to show that X P is not simplicial, what we must prove is the existence of a face of X P which contains the vertices v 1,...,v m. Let a 1,...,a d be integers. Write H R d for the hyperplane defined the equation a 1 x 1 + +a d x d = 1 and H (+) R d for the closed half-space defined by the inequality a 1 x a d x d 1. We will determine a 1,..., a d such that H is a supporting hyperplane of a face F of X P with {v 1,..., v m } F and with X P H (+). First Step. It follows from (2) that (3) max (µ C(y ia ) dist ˆP(y 0, y ia )) min (µ C(y ib ) + dist ˆP(y ib, y d+1 )). 1 a m 1 b m By using (1), if y 0 {y i1,...,y im }, then the left-hand side of (3) is equal to 0. Similarly, if y d+1 {y i1,...,y im }, then the right-hand side of (3) is equal to µ C (y d+1 ). Now, fix an arbitrary integer a with max (µ C(y ia ) dist ˆP(y 0, y ia )) a min (µ C(y ib ) + dist ˆP(y ib, y d+1 )). 1 a m 1 b m However, exceptionally, if y 0 {y i1,...,y im }, then a = 0. If y d+1 {y i1,..., y im }, then a = µ C (y d+1 ). Let a ij = a µ C (y ij ) for 1 j m. Then one has (4) a ij dist ˆP(y 0, y ij ), a ij dist ˆP(y ij, y d+1 ). Moreover, it follows easily that each v j is lying on the hyperplane of R d defined by the equation a ij x ij = 1. i j {0, d+1} Second Step. Let A = ˆP \ ({y 0, y d+1 } {y i1,..., y im }) and y i A. Suppose that there is y ij with y ij < y i and that there is no y ik with y ik > y i. Then we define a i by setting a i = max({a ij dist ˆP(y ij, y i ) : y ij < y i } {0}). Suppose that there is no y ij with y ij < y i and that there is y ik with y ik > y i. Then we define a i by setting a i = min({a ik + dist ˆP(y i, y ik ) : y i < y ik } {0}). Suppose that there is y ij with y ij < y i and that there is y ik with y ik > y i. Then either b i = max({a ij dist ˆP(y ij, y i ) : y ij < y i } {0}) 6

7 or c i = min({a ik + dist ˆP(y i, y ik ) : y i < y ik } {0}) must be zero. In fact, if b i 0 and c i 0, then there is j and k with a ij > dist ˆP(y ij, y i ) and a ik > dist ˆP(y i, y ik ). Since µ C (y ik ) µ C (y ij ) = a ij a ik and since dist ˆP(y ij, y i ) + dist ˆP(y i, y ik ) dist ˆP(y ij, y ik ), it follows that µ C (y ik ) µ C (y ij ) > dist ˆP(y ij, y ik ). This contradicts (1). Hence either b i = 0 or c i = 0. If b i 0, then we set a i = b i. If c i 0, then we set a i = c i. If b i = c i = 0, then we set a i = 0. Suppose that there is no y ij with y ij < y i and that there is no y ik with y ik > y i. Then we set a i = 0. Third Step. Finally, we finish determining the integers a 1,...,a d. Let H R d denote the hyperplane defined by the equation a 1 x a d x d = 1 and H (+) R d the closed half-space defined by the inequality a 1 x a d x d 1. Since each v j is lying on the hyperplane H, in order for F = H X P to be a face of X P, it is required to show X P H (+). Let {y i, y j } with y i < y j be an edge of ˆP. Let y i {y i1,...,y im } with y j {y i1,...,y im }. If y j y d+1, then a j max{a i 1, 0}, where a 0 = 0. Thus a i a j 1. If y j = y d+1, then by using (4) one has a i 1, as desired. Let y j {y i1,...,y im } with y i {y i1,...,y im }. If y i y 0, then a i min{a j + 1, 0}, where a d+1 = 0. Thus a i a j 1. If y i = y 0, then by using (4) one has a j 1, as desired. Let A = ˆP \{y i1,..., y im }. Write B for the subset of A consisting of those y i A such that there is j with y ij < y i. Write C for the subset of A consisting of those y i A such that there is k with y i < y ik. Again, let e = {y i, y j } with y i < y j be an edge of ˆP. In each of the nice cases below, a routine computation easily yields that ρ(e) H (+). y i B \ C and y j B \ C; y i C \ B and y j C \ B; y i C \ B and y j B \ C; y i C \ B and y j B C; y i C \ B and y j B C; y i B C and y j B C; y i B C and y j B \ C; y i B C and y j B \ C; y i B C and y j B C. 7

8 For example, in the first case, a routine computation is as follows. Let y j y d+1. Let a i = 0. Then, since a j 0, one has a i a j 1. Let a i > 0. Then, since a j a i 1, one has a i a j 1. Let y j = y d+1 and a i > 0. Then there is j with a i = a ij dist ˆP(y ij, y i ). By using (4) one has a ij dist ˆP(y ij, y d+1 ). Thus a i dist ˆP(y ij, y d+1 ) dist ˆP(y ij, y i ). Hence a i 1, as required. ((iii) (i)) Now, suppose that X P is not Q-factorial. Thus X P possesses a facet F which is not a simplex. Let v 1,..., v n denote the vertices of F, where n > d, and e j the edge of ˆP with vj = ρ(e j ) for 1 j n. Let a 1 x a d x d = 1 denote the equation of the supporting hyperplane H R d of X P with F = X P H and with X P H (+), where H (+) R d is the closed-half space defined by the inequality a 1 x 1 + +a d x d 1. Since v 1,...,v n are not affinely independent, there is (r 1,...,r n ) Z n with (r 1,...,r n ) (0,...,0) such that r 1 v 1 + +r n v n = (0,...,0). By removing r j with r j = 0, we may assume that r 1 v r n v n = (0,...,0), where r j 0 for 1 j n with r r n = 0. Let e j = {y ij, y ij }. If either y ij or y ij appears only in e j among the edges e 1,...,e n, then r j = 0. Hence either y ij or y ij must appear in at least two edges among e 1,...,e n. Let G denote the subgraph of the Hasse diagram of ˆP with the edges e 1,..., e n. Then G possesses a cycle. Since v 1,...,v n are contained in the facet F, Lemma 2.2 says that every cycle in G is very special. Let C = (y i1, y i2,...,y im ) be a very special cycle in G. Our goal is to show that C satisfies the inequalities (1) and (2). Let y k0 < y k1 < < y kl be a saturated chain of ˆP with l = dist ˆP(y k0, y kl ) such that each of y k0 and y kl belongs to {y i1, y i2,...,y im }. We claim µ C (y kl ) µ C (y k0 ) dist ˆP(y k0, y kl ). Let y 0 y k0 and y d+1 y kl. Since e kj e kj+1 X P, one has a kj a kj+1 1 for each 0 j l 1. Hence a k0 a kl l. On the other hand, a k0 a kl = µ C (y kl ) µ C (y k0 ). Thus µ C (y kl ) µ C (y k0 ) dist ˆP(y k0, y kl ). Let y 0 = y k0 and y d+1 y kl. Since e k1 X P, one has a k1 1. Since e kj e kj+1 X P, one has a kj a kj+1 1 for each 1 j l 1. Hence a k1 a kl l 1. Thus a kl l. On the other hand, a kl = µ C (y kl ). Thus µ C (y kl ) dist ˆP(y k0, y kl ). Let y 0 y k0 and y d+1 = y kl. Since e kj e kj+1 X P, one has a kj a kj+1 1 for each 0 j l 2. Hence a k0 a kl 1 l 1. Since e kl 1 X P, one has a kl 1 1. Hence a k0 l. On the other hand, a k0 = µ C (y kl ) µ C (y k0 ). Thus µ C (y kl ) µ C (y k0 ) dist ˆP(y k0, y kl ). Finally, fix arbitrary y ij and y ik with µ C (y ij ) < µ C (y ik ). Then a ik dist ˆP(y 0, y ik ) and a ij dist ˆP(y ij, y d+1 ). We claim µ C (y ik ) µ C (y ij ) dist ˆP(y 0, y ik ) + dist ˆP(y ij, y d+1 ). 8

9 If y ij y 0 and y ik y d+1, then a ij a ik = µ C (y ik ) µ C (y ij ). If y ij = y 0 and y ik y d+1, then µ C (y ij ) = 0 and a ik = µ C (y ik ). If y ij y 0 and y ik = y d+1, then a ij = µ C (y ik ) µ C (y ij ). Hence the required inequality follows immediately. ((i) (ii)) If P is a totally ordered set, then X P is a d-simplex with the vertices, say, e 1,e 1 e 2,...,e d 1 e d,e d. Thus in particular X P is smooth. Now, suppose that P is not a totally ordered set. Then ˆP possesses a cycle. Let C = (y i1,..., y im ) be a cycle in ˆP. If C is not special, then Lemma 2.2 (b) says that C cannot belong to a facet of X P. If C is special, then as was shown in the proof of (i) (iii) it follows that ρ({y ij, y ij+1 }), 1 j m, where y im+1 = y i1, are not affinely independent. Hence there is no facet F of X P with ρ({y ij, y ij+1 }) F for all 1 j m. Let F be an arbitrary facet of X P with d vertices v j = ρ(e j ), 1 j d. Let G denote the subgraph of the Hasse diagram of ˆP with the edges e1,...,e d and V (G) the vertex set of G. Since F is of dimension d, it follows that, for each 1 i d, there is a vertex of F whose ith coordinate is nonzero. Hence P V (G). Suppose that P = V (G). Since G has d edges, it follows that G possesses a cycle, a contradiction. Hence either y 0 V (G) or y d+1 V (G). What we must prove is that the determinant v 1 (5). v d is equal to ±1. Let, say, e 1 = {y 1, y d+1 }. Thus v 1 = (1, 0,..., 0). Now, since G is a forest, by arranging the numbering of the elements of P if necessary, one has a v 1. a 21 a = , v d a d1 a d2 a dd with each a ij {1, 0, 1}. Since the determinant (5) is nonzero, it follows that the determinant (5) is equal to ±1, as desired. ((ii) (i)) In general, every smooth Fano polytope is Q-factorial. Recall that a finite partially ordered set P is pure if all maximal chains of ˆP have the same length. Corollary 2.4. Suppose that a finite partially ordered set P is pure. Then the following conditions are equivalent: (i) X P is Q-factorial; (ii) X P is smooth; 9

10 (iii) P is a disjoint union of chains. Proof. If P is pure, then every cycle of ˆP is special and, in addition, satisfies the inequalities (1) and (2). Hence X P is Q-factorial if and only if every cycle of ˆP possesses both ˆ0 and ˆ1. In other words, X P is Q-factorial if and only if P is a disjoint union of chains, as desired. Example 2.5. Among the five partially ordered sets drawn below, each of the three partially ordered sets on the left-hand side yields a Q-factorial Fano polytope; none of the two partially ordered sets on the right-hand side yields a Q-factorial Fano polytope. References [1] C. Casagrande, The number of vertices of a Fano polytope, Ann. Inst. Fourier 56 (2006), [2] B. Nill and M. Øbro, Q-factorial Gorenstein toric Fano varieties with large Picard number, arxiv: v1 [math.ag]. [3] A. M. Kasprzyk, Canonical toric Fano threefolds, arxiv: v2 [math.ag]. [4] M. Øbro, An algorithm for the classification of smooth Fano polytopes, arxiv: v1 [math.co]. [5] A. Schrijver, Theory of Linear and Integer Programming, John Wiley & Sons, Takayuki Hibi, Department of Pure and Applied Mathematics, Graduate School of Information Science and Technology,pe Osaka University, Toyonaka, Osaka , Japan address: hibi@math.sci.osaka-u.ac.jp Akihiro Higashitani, Department of Pure and Applied Mathematics, Graduate School of Information Science and Technology, Osaka University, Toyonaka, Osaka , Japan address: sm5037ha@ecs.cmc.osaka-u.ac.jp 10