arxiv: v1 [math.co] 16 May 2016

Transcription

1 arxiv: v1 [math.co] 16 May 216 EHRHART POLYNOMIALS OF 3-DIMENSIONAL SIMPLE INTEGRAL CONVEX POLYTOPES YUSUKE SUYAMA Abstrat. We give an expliit formula on the Ehrhart polynomial of a 3- dimensional simple integral onvex polytope by using tori geometry. 1. Introdution Let P R d be an integral onvex polytope of dimension d, that is, a onvex polytope whose verties have integer oordinates. For a non-negative integer l, we write lp = {lx x P}. Ehrhart [2] proved that the number of lattie points in lp an be expressed by a polynomial in l of degree d: lp Z d = d l d + d 1 l d This polynomial is alled the Ehrhart polynomial of P. It is known that: 1 = 1. 2 d 1 is half of the sum of relative volumes of faets of P [1, Theorem 5.6]. 3 d is the volume of P [1, Corollary 3.2]. However, we have no formula on other oeffiients of Ehrhart polynomials. In partiular, we do not know a formula on 1 for a general 3-dimensional integral onvex polytope. In this paper, we find an expliit formula on 1 of the Ehrhart polynomial of a 3-dimensional simple integral onvex polytope, see Theorem 5. Pommersheim [4] gave a method for omputing the d 2-nd oeffiient of the Ehrhart polynomial of a d-dimensional simple integral onvex polytope P by using tori geometry. He obtained an expliit desription of the Ehrhart polynomial of a tetrahedron by using this method. Our formula is obtained by using this method for a general 3-dimensional simple integral onvex polytope. The struture of the paper is as follows. In Setion 2, we state the main theorem and give a few examples. In Setion 3, we give a proof of the main theorem. Aknowledgment. This work was supported by Grant-in-Aid for JSPS Fellows 15J1. The author wishes to thank his supervisor, Professor Mikiya Masuda, for his ontinuing support. 2. The main theorem LetP R 3 bea3-dimensionalsimpleintegralonvexpolytope, andletf 1,...,F n be the faets of P. For k = 1,...,n, we denote by v k Z 3 the inward-pointing primitive normalvetoroff k. Foran edge E ofp, wedenote by VolE the relative Date: April 3, Mathematis Subjet Classifiation. Primary 52B2; Seondary 52B1, 14M25. Key words and phrases. integral onvex polytopes, Ehrhart polynomials, tori geometry. 1

2 2 YUSUKE SUYAMA volume of E, that is, the length of E measured with respet to the lattie of rank one in the line ontaining E. Definition 1. For eah edge E = F k1 F k2 of P, we define an integer me and a rational number se as follows: 1 We define me = Rv k1 +Rv k2 Z 3 /Zv k1 +Zv k2. 2 There exists a basis e 1,e 2 for Rv k1 +Rv k2 Z 3 suh that v k1 = e 1 and v k2 = pe 1 +qe 2 for some q > p. Then we define se = sp,q, where sp,q is the Dedekind sum, whih is defined by sp,q = q i=1 { i pi x [x] 1, x = 2 x / Z, q q x Z. Remark 2. We have q = me. Although p is not uniquely determined, sp,q does not depend on the hoie of e 1,e 2. Thus se is well-defined. Definition 3. For eah faet F of P, we define a rational number CF as follows. We name verties and faets around F as in Figure 1. We denote by v Z 3 the inward-pointing primitive normal vetor of F. Figure 1. verties and faets around F. For i = 1,...,r, we define ε i = detv,v ki+1,v ki >, a i = P i 1 Q i 1,v ki+1 ε i P i 1 Q i 1,v, b i = P i P i+1,v ki 1 ε i 1 P i P i+1,v ki,

3 EHRHART POLYNOMIALS OF 3-DIMENSIONAL SIMPLE POLYTOPES 3 where v k = v kr,v kr+1 = v k1,ε = ε r,p = P r,p r+1 = P 1,Q = Q r and, is the standard inner produt on R 3. Then we define CF = 2 i<j r a i b i+1 i+1 i+1 b i i i bj 2 j 2 j 2 b j 1 ε i ε i+1 ε j 1 VolP j 1 P j mp j 1 P j, where P j 1 P j is the edge whose endpoints are P j 1 and P j, and the determinants above are understood to be one when j = i+1. Remark 4. The proof of Theorem 5 below shows that CF does not depend on the hoie of F k1. The following is our main theorem: Theorem 5. Let P R 3 be a 3-dimensional simple integral onvex polytope, and let E 1,...,E m and F 1,...,F n be the edges and the faets of P, respetively. Then the oeffiient 1 of the Ehrhart polynomial lp Z 3 = 3 l l l + is given by m se j + 1 VolE j + 1 n CF k j=1 Example 6. Let a,b, be positive integers with gda,b, = 1 and let P R 3 be the tetrahedron with verties O =, P 1 = a, P 2 = b k=1, P 3 = We put A = gdb,,b = gda,,c = gda,b and d = ABC. Then we have the following table:. edge E OP 1 OP 2 OP 3 P 1 P 2 P 1 P 3 P 2 P 3 VolE a b C B A me C/d bb/d aa/d se s inward-pointing primitive normal vetor of F ab d, C d s a d, bb d s b d, aa d faet F OP 1 P 2 OP 1 P 3 OP 2 P 3 P 1 P 2 P b/d a/d 1 ab/d CF ab/ a/b b/a d 2 /ab Table 1. the values of VolE,sE and CF.

4 4 YUSUKE SUYAMA Thus we have E:edge se+ 1 4 VolE = a 4 + b 4 + ab s 4 + d, C d b + s d, aa + 1 A+ 1 d 4 12 F:faet CF C + a s d, bb d ab + a b + b a + d2 ab whih oinides with the formula in [4, Theorem 5]., + 1 B 4 Example 7. Let a and be positive integers and b be a non-negative integer. Consider the onvex hull P R 3 of the six points O =, A = a, B = O = b, A = a+b a, B =, b a P is a 3-dimensional simple polytope. We put g = gdb,. Then we have the following table:. edge E OA OB AB OO AA BB O A O B A B VolE a a a g g g a a a me 1 /g /g 1 1 /g 1 /g /g se s b s g, b g g, s 1, s b s g g g, b g g, g faet F OAB OAA O OBB O ABB A O A B inward-pointing primitive /g /g normal vetor of F 1 /g 1 b/g b/g 1 CF g 2 / g 2 / Table 2. the values of VolE,sE and CF. Figure 2. the simple polytope P.

5 EHRHART POLYNOMIALS OF 3-DIMENSIONAL SIMPLE POLYTOPES 5 Thus we have E:edge = s = g = g = g3 2 VolE se , g + 3a g 2 + 3g /g 1 i=1 /g 1 i=1 = 3a 2 +g. i g g g 1 g F:faet CF + 2g a 2 + 3g g2 6 2i2 g i g a 2 + 3g g2 g 1 g g2 6 g On the other hand, sine al+1al+2 #{x,y Z 2 x,y,z lp} = 2 alal+1 2 for z =,1,...,l, we have g 1 + 3a g g2 6 /g z, /g /z lp Z 3 = al+1al+2 gl+1+ alal+1 l +1 gl = a2 2 l3 + 1 a 2 +a+2ag 3a l g l+1. The oeffiient of l is also 3a/2+g. 3. Proof of Theorem 5 First we reall some fats about tori geometry, see [3] for details. Let P R d be a d-dimensional integral onvex polytope. We define a one for eah fae F of P. Then the set σ F = {v R d u u,v u P, u F} P = {σ F F is a fae of P} of suh ones forms a fan in R d, whih is alled the normal fan of P. Let X P be the assoiated projetivetori variety. We denote by Vσ the subvariety of X P orresponding to σ P. Let Td i X P A i X P Q be the i-th Todd lass in the Chow group of i-yles with rational oeffiients. Theorem 8. Let P R d be a d-dimensional integral onvex polytope and lp Z d = d l d + d 1 l d be its Ehrhart polynomial. If Td i X P has an expression of the form F r F[Vσ F ] with r F Q, then we have i = F r FVolF, where [Vσ F ] is the lass of Vσ F in the Chow group and VolF is the relative volume of F.

6 6 YUSUKE SUYAMA Now we assume that d = 3 and P is simple. Then the assoiated tori variety X P is Q-fatorialandweknowthe ringstrutureofthechowringa X P Q withrationaloeffiients. LetE 1,...,E m andf 1,...,F n betheedgesandthefaets of P, respetively. We have n 3.1 u,v k [Vσ Fk ] = u Q 3. k=1 If F k1 and F k2 are distint, then { 1 me 3.2 [Vσ Fk1 ][Vσ Fk2 ] = [Vσ j E j ] 1 j m : F k1 F k2 = E j, F k1 F k2 = in A X P Q. Pommersheim gave an expression of Td d 2 X P for a d-dimensional simple integral onvex polytope P R d. In the ase where d = 3, we have the following: Theorem 9 Pommersheim [4]. If P R 3 is a 3-dimensional simple integral onvex polytope, then m Td 1 X P = se j + 1 [Vσ Ej ]+ 1 n [Vσ Fk ] j=1 We use the notation in Definition 3. It suffies to show b i+1 i+1 [Vσ F ] 2 = i+1 b i+2... i+2. a i i+2 2 i<j r bj 2 j 2 j 2 b j 1 for eah faet F of P. We put Ds,t = k=1 b s s s b s+1... s s bt 1 t 1 t 1 b t ε i ε i+1 ε j 1 mp j 1 P j [Vσ P j 1P j ] for 2 < s t < r and Ds,t = 1 for s > t. Define u Q 3 by u,v = 1, u,v k1 =, u,v k2 =. By 3.1 and 3.2, we have r r [Vσ F ] 2 u,v kj = [Vσ F ] u,v kj [Vσ Fkj ] = mp j 1 P j [Vσ P j 1P j ]. Hene it suffies to show j=1 j u,v kj = a i Di+1,j 1ε i ε i+1 ε j 1 for any j = 3,...,r. j=3

7 EHRHART POLYNOMIALS OF 3-DIMENSIONAL SIMPLE POLYTOPES 7 First we laim that 3.4 j 1 v k j 1 + j v kj+1 = a j v +b j v kj for any j = 2,...,r 1. By Cramer s rule, we have v kj+1 = detv k j+1,v kj,v kj 1 v + detv,v k j+1,v kj 1 detv,v kj,v kj 1 detv,v kj,v kj 1 v k j + detv,v k j,v kj+1 detv,v kj,v kj 1 v k j 1 So we have 3.5 = detv k j+1,v kj,v kj 1 ε j 1 j 1 v k j 1 + j v kj+1 v + detv,v k j+1,v kj 1 v kj ε j v kj 1. ε j 1 ε j 1 = j 1 ε 1 j detv kj+1,v kj,v kj 1 v + j 1 ε 1 j detv,v kj+1,v kj 1 v kj. Taking the inner produt of both sides of 3.5 with P j 1 Q j 1 gives j P j 1 Q j 1,v kj+1 = j 1 ε 1 j detv kj+1,v kj,v kj 1 P j 1 Q j 1,v, whih means a j = j 1 ε 1 j detv kj+1,v kj,v kj 1. Taking the inner produt of both sides of 3.5 with P j P j+1 gives j 1 P j P j+1,v kj 1 = j 1 ε 1 j detv,v kj+1,v kj 1 P j P j+1,v kj, whih means b j = j 1 ε 1 j detv,v kj+1,v kj 1. Thus 3.4 follows. We show 3.3 by indution on j. If j = 3, then both sides are a 2 ε 2. If j = 4, then both sides are a 2 b 3 ε 2 ε 3 + a 3 ε 3. Suppose 4 j r 1. By 3.4 and the hypothesis of indution, we have On the other hand, u,v kj+1 = u,a j ε j v +b j ε j v kj j 1 ε jv kj 1 = a j ε j +b j ε j u,v kj j 1 ε j u,v kj 1 j 1 = a j ε j +b j ε j a i Di+1,j 1ε i ε i+1 ε j 1 j 1 ε j 2 j a i Di+1,j 2ε i ε i+1 ε j 2. j a i Di+1,jε i ε i+1 ε j j 2 = a j ε j +a j 1 b j ε j 1 ε j + a i Di+1,jε i ε i+1 ε j.

8 8 YUSUKE SUYAMA Sine we have j 2 a i Di+1,jε i ε i+1 ε j j 2 = a i b j Di+1,j 1 ε 2 j 1 Di+1,j 2ε iε i+1 ε j j 2 = b j ε j a i Di+1,j 1ε i ε i+1 ε j 1 j 1 ε j 2 j a i Di+1,j 2ε i ε i+1 ε j 2, j a i Di+1,jε i ε i+1 ε j j 2 = a j ε j +a j 1 b j ε j 1 ε j +b j ε j a i Di+1,j 1ε i ε i+1 ε j 1 j 1 ε j 2 j a i Di+1,j 2ε i ε i+1 ε j 2 j 1 = a j ε j +b j ε j a i Di+1,j 1ε i ε i+1 ε j 1 j 1 ε j 2 j a i Di+1,j 2ε i ε i+1 ε j 2 = u,v kj+1. Thus 3.3 holds for j +1. This ompletes the proof of Theorem 5. Referenes [1] M. Bek and S. Robins: Computing the Continuous Disretely, Undergraduate Texts in Mathematis, Springer, 27. [2] E. Ehrhart: Polynômes Arithmétiques et Méthode des Polyèdres en Combinatoire, Birkhäuser, Boston-Basel-Stuttgart, [3] W. Fulton: Introdution to Tori Varieties, Annals of Mathematis Studies 131, Prineton Univ. Press, Prineton, NJ, [4] J. E. Pommersheim: Tori varieties, lattie points and Dedekind sums, Math. Ann , Department of Mathematis, Graduate Shool of Siene, Osaka City University, Sugimoto, Sumiyoshi-ku, Osaka JAPAN address: d15sanw3@st.osaka-u.a.jp