arxiv: v1 [math.co] 19 Apr 2017

Transcription

1 PROOF OF CHAPOTON S CONJECTURE ON NEWTON POLYTOPES OF q-ehrhart POLYNOMIALS arxiv: v1 [ath.co] 19 Apr 017 JANG SOO KIM AND U-KEUN SONG Abstract. Recently, Chapoton found a q-analog of Ehrhart polynoials, which are polynoials in variable x whose coefficients are rational functions in q. Chapoton conjectured the shape of the Newton polytope of the nuerator of the q-ehrhart polynoial associated to an order polytope. In this paper, we prove Chapoton s conjecture. 1. Introduction In 196, Ehrhart [] discovered certain polynoials associated to lattice polytopes. These polynoials are now widely known and called Ehrhart polynoials. They contain iportant inforation of lattice polytopes such as the nuber of lattice points in the polytope, the nuber of those in the interior and the volue of the polytope. Recently, Chapoton [1] found a q-analog of Ehrhart polynoials and generalized soe properties of the. A q-ehrhart polynoial is a polynoial in variable x whose coefficients are rational functions in q. Thus we can write a q-ehrhart polynoial as a rational function in q and x whose nuerator is a polynoial in q and x, and whose denoinator is a polynoial in q. In the sae paper, Chapoton conjectured the shape of the Newton polytope of the nuerator of the q-ehrhart polynoial associated to an order polytope. The goal of this paper is to prove Chapoton s conjecture. First, we briefly review basic properties of Ehrhart polynoials and their q- analogs. A lattice polytope is a polytope whose vertices are lattice points. Fro now on, all polytopes considered in this paper are lattice polytopes. For a polytope M and an integer n, we denote by nm the dilation of M by a scale factor of n, i.e., nm = {nx : x M}. For a polytope M in R, there exists a polynoial E(x), called the Ehrhart polynoial of M, satisfying the following interesting properties: E(n) = nm Z for all integers n 0. ( 1) dim E( n) = nm Z for all integers n 0, where dim is the diension of M and M is the interior of M. The degree of E(x) is equal to the diension of M. The leading coefficient of E(x) is equal to the volue of M. Date: April 0, Matheatics Subject Classification. Priary: 06A07; Secondary: 5B0, 05A30. Key words and phrases. q-ehrhart polynoial, Newton polytope, order polytope, P-partition. This work was supported by NRF grants #016R1D1A1A and #016R1A5A

2 JANG SOO KIM AND U-KEUN SONG For a polytope M in R, let where for x = (x 1,...,x ) we denote W(M,q) = x M Z q x, x = x 1 + +x. We use the standard notation for q-integers: for n Z, and, for integers n k 0, [n] q! := [1] q [] q...[n] q, [n] q := 1 qn 1 q, Note that for n 0 and a,b Z, we have [ ] n := k q [n] q = 1+q +q + +q n 1, [ n] q = q n [n] q, [a+b] q = [a] q +q a [b] q. [n] q! [k] q![n k] q!. Chapoton [1, Theore 3.1] found a q-analog of Ehrhart polynoials as follows. Theore 1.1 (Chapoton). Let M be a polytope satisfying the following conditions: For every vertex x of M, we have x 0. For every edge between two vertices x and y of M, we have x = y. Then there is a polynoial E(x) Q(q)[x] such that for every integer n 0, E([n] q ) = W(nM,q). The polynoial E(x) in Theore 1.1 is called the q-ehrhart polynoial of the polytope M. We note that in [1], ore generally, Chapoton considers a linear for λ(x) on R in place of x. In this setting with a linear for, Chapoton [1, Theore 3.5] also shows a nice q-analog of the reciprocity of Ehrhart polynoials: E([ n] q ) = ( 1) dim W(nM,1/q). Ki and Stanton [3, Theore 9.3] showed that the leading coefficient of the q-ehrhart polynoial of an order polytope is equal to the q-volue of the order polytope. In order to state Chapoton s conjecture we need soe notation and terinology. Forapolynoialf(x 1,...,x k )inx 1,...,x k,wedenoteby[x i1 1...xi k k ]f(x 1,...,x k ) the coefficient of x i1 1...xi k k in f(x 1,...,x k ). Forapolynoialf(x 1,...,x k )inx 1,...,x k,thenewton polytope off(x 1,...,x k ), denoted by Newton(f(x 1,...,x k )), is the convex hull of the points (i 1,...,i k ) such that [x i1 1...xi k k ]f(x 1,...,x k ) > 0. For a poset P on {1,,...,}, the order polytope O(P) of P is defined by O(P) = {(x 1,...,x ) [0,1] : x i x j if i P j}.

3 PROOF OF CHAPOTON S CONJECTURE ON NEWTON POLYTOPES x q Figure 1. The polygon C(1,,,3;10) in the (q,x)-coordinate syste. Let E P (x) be the q-ehrhart polynoial of O(P). We denote by N P (q,x) be the nuerator of E P (x). More precisely, N P (q,x) is the unique polynoial in Z[q,x] with positive leading coefficient such that E P (x) = N P(q,x), D(q) for soe polynoial D(q) Z[q] with gcd(n P (q,x),d(q)) = 1. For integers 1 a 1 a a and h a a, we define C(a 1,...,a ;h) to be the convex hull of the points (0,0), (a a i,i) for 1 i, (h,) and (h,0). See Figure 1 for an exaple. For a poset P and an eleent x P, we denote by c P (x) the axiu size of a chain ending at x in P. We also denote by c P (x) the axiu size of a chain starting at x in P. When there is no possible confusion, we will siply write as c(x) and c(x) instead of c P (x) and c P (x). In [1, Conjecture 5.3], Chapoton proposed the following conjecture on the shape of the Newton polytope of N P (q,x). Conjecture 1.. Let P be a poset on {1,,...,}. Suppose that a 1 a a is the increasing rearrangeent of c(1),...,c(). Then the Newton polytope of the nuerator of the q-ehrhart polynoial of O(P) is given by for soe integer h a 1 + +a. Newton(N P (q,x)) = C(a 1,...,a ;h), The goal of this paper is to prove Conjecture 1.. As Chapoton points out in [1], the q-ehrhart polynoial E P (x) of O(P) can be understood as a generating function for P-partitions of P, the dual poset of P. It is well-known that the generating function for P-partitions can be expressed in ters of linear extensions of the poset. One of the ain ingredients of our proof of Conjecture 1. is Corollary 3.4, which gives a description of the iniu of aj(π) kdes(π) over all linear extensions π of P. The rest of this paper is organized as follows. In Section, we recall necessary definitions and state our ain result (Theore.4), which describes the precise shape of the Newton polytope of [] q!e P (x). Then we show that Theore.4 iplies Conjecture 1.. In Section 3 we find soe property of the linear extensions of a poset. In Section 4 we prove Theore.4.. The ain result In this section we state our ain theore, which iplies Conjecture 1..

4 4 JANG SOO KIM AND U-KEUN SONG We first recall soe definitions on perutations and posets. We refer the reader to [4] for ore details. The set of nonnegative integers is denoted by N. Let S be the set of perutations of {1,,...,}. For π = π 1...π S, a descent of π is an integer 1 i 1 such that π i > π i+1. We denote by Des(π) the set of descents of π. We define aj(π) = i Des(π) i and des(π) = Des(π). Let P be a poset on {1,,...,}. A P-partition is an order-reversing ap σ : P N, i.e., σ(x) σ(y) if x P y. For a P-partition σ, let σ = σ(1)+ +σ(). We denote by P(P) the set of P-partitions. For an integer n, we denote by P(P,n) the set of P-partitions σ satisfying σ(x) n for all x P. We say that P is naturally labeled if x P y iplies x y. A linear extension of P is a perutation π = π 1...π S such that π i P π j iplies i j. We denote by L(P) the set of linear extensions of P. Note that if P is naturally labeled, the identity perutation is a linear extension of P. It is well-known that, for a naturally labeled poset P on {1,,...,}, we have (1) σ P(P,n) q σ = [ ] n des(π)+ q aj(π). q For a poset P, we denote its dual by P, that is, x P y if and only if y P x. By definition, for a poset P and an integer n N, we have () W(nO(P),q) = q σ. σ P(P,n) Therefore,theq-EhrhartpolynoialE P (x)ofo(p)iscloselyrelatedtop-partitions of P. The next proposition shows that E P (x) can be written as a generating function for linear extensions of P. Proposition.1. Let P be a poset on {1,,...,}. Suppose that P is naturally labeled. Then the q-ehrhart polynoial of O(P) is E P (x) = 1 [] q! q aj(π) ([i des(π)] q +q i des(π) x). Proof. Let f(x) be the right hand side. Then f([n] q ) = q aj(π) [i des(π)+n] q [] q! = [ ] n des(π)+ q aj(π). q On the other hand, by (1) and (), we have W(nO(P),q) = q aj(π) [ n des(π)+ ]. q Thus f([n] q ) = W(nO(P),q) for all n N and we obtain E P (x) = f(x). Now we define a polynoial F P (q,x) in q and x, which will be used throughout this paper.

5 PROOF OF CHAPOTON S CONJECTURE ON NEWTON POLYTOPES 5 Definition.. For a poset P on {1,,...,}, we define F P (q,x) = q aj(π) ([i des(π)] q +q i des(π) x). Note that we always have F P (q,x) Z[q,x] since aj(π)+ (i des(π)) 0 for every π S. Proposition.1 iplies that for a naturally labeled poset P on {1,,...,}, we have (3) F P (q,x) = [] q!e P (x). Proposition.3. Let P be a poset on {1,,...,} such that P is naturally labeled. Suppose that a 1 a a is the increasing rearrangeent of c(1),...,c(). Then we have for soe h a 1 + +a if and only if Newton(N P (q,x)) = C(a 1,...,a ;h), Newton(F P (q,x)) = C(a 1,...,a ;h ), for soe h a a. Moreover, in this case we always have h = h + r, where r = degφ(q) and φ(q) = gcd(f P (q,x),[] q!). Proof. By (3), we have F P (q,x) = N P (q,x)φ(q). Since φ(q) divides [] q!, the leading coefficient and the constant ter of φ(q) are both 1. Thus, we have φ(q) = q r +c r 1 q r 1 + +c 1 q 1 +1, for soe c 1,...,c r 1 Z. Hence, for each 1 k, we have ax{i : [q i x k ]N P (q,x) > 0} = ax{i : [q i+r x k ]F P (q,x) > 0}, in{i : [q i x k ]N P (q,x) > 0} = in{i : [q i x k ]F P (q,x) > 0}, which iply the stateent. Now we state our ain theore. Theore.4. Let P be a naturally labeled poset on {1,,...,}. Let b 1 b b be the increasing rearrangeent of c(1),c(),...,c(). Then the Newton polytope of is given by F P (q,x) = [] q!e P (x) = q aj(π) ([i des(π)] q +q i des(π) x) ( Newton(F P (q,x)) = C b 1,...,b ; ( +1 )). We prove Theore.4 in Section 4. Note that in Theore.4 we have ( ) +1 b 1 + +b, which follows fro the fact that b 1 = 1 and b i+1 b i +1 for all i. We finish this section by showing that Theore.4 iplies Conjecture 1..

6 6 JANG SOO KIM AND U-KEUN SONG Proof of Conjecture 1.. Note that relabeling of P does not affect E P (q,x). Hence, we can assue that P is naturally labeled. Observe that c P (x) = c P (x) for all x {1,,...,}. By Theore.4, ( +1 Newton(F P (q,x)) = C By Proposition.3, we obtain that ( a 1,...,a ; Newton(N P (q,x)) = C(a 1,...,a ;h), for soe integer h a 1 + +a. This copletes the proof. )). 3. Soe properties of linear extensions In this section we prove two properties of posets which will be used in the next section. Lea 3.1. Let P be a naturally labeled poset on {1,,...,} and π L(P). Suppose that Des(π) and c is the largest descent of π. Then there is a perutation σ L(P) such that Des(σ) = Des(π)\{c}. Proof. Let j be the second largest descent of π. If c is the only descent of π, we set j = 0. Let σ = π 1...π j π j+1...π n, where π j+1 < < π n is the rearrangeent of π j+1,...,π n. We clai that σ L(P). Consider two eleents x and y with x < P y. If y is in π 1...π j, since π is a linear extension, x ust appear before y. Otherwise y is in the increasing sequence π j+1...π n. Since P is naturally labeled, x < y and x cannot appear after y in π j+1...π n. Thus we always have x before y in σ. Since π j > π j+1 π j+1, we have Des(σ) = Des(π)\{c}. Definition 3.. Let π = π 1...π S. A descent block of π is a axial consecutive subsequence of π which is in decreasing order. We denote by DB i (π) the set of eleents in the ith descent block of π. For exaple, if π = , then the descent blocks of π are 3, 841, 96, 7, 5, and DB 1 (π) = {3}, DB (π) = {1,4,8}, DB 3 (π) = {6,9}, DB 4 (π) = {,7}, DB 5 (π) = {5}. Proposition 3.3. Let P be a naturally labeled poset on {1,,...,}. Suppose that b 1 b b is the increasing rearrangeent of c(1),c(),...,c() and C i = {x P : c(x) = i}. Then, for π L(P) and 0 k, we have aj(π) kdes(π)+ b 1 + +b k. The equality holds if and only if the following conditions hold: Des(π) {1,,...,k}, DB i (π) = C i, for 1 i p 1, DB p (π) C p,

7 PROOF OF CHAPOTON S CONJECTURE ON NEWTON POLYTOPES 7 where p is the integer satisfying C C p 1 < k C C p. Furtherore, L(P) contains a perutation satisfying these conditions. Proof. For π S, let b(π) = aj(π) kdes(π)+. Suppose that π is a perutation in L(P) such that b(π) is the sallest. If π has a descent greater than k, by Lea 3.1, we can find σ L(P) with Des(σ) = Des(π) \ {ax(des(π))}. Then b(σ) < b(π), which is a contradiction. If k is the largestdescent ofπ, by the sae construction, we can reovethe descent k without changing b(π). Therefore we can assue that all descents of π are at ost k 1. Let 1 t 1 < t < < t r = k be the non-descents of π aong 1,,...,k, i.e., Then {t 1,t,...,t r } = {1,,...,k}\Des(π). ( ) ( ) k +1 k +1 b(π) = (t 1 + +t r ) k(k r)+ = k(r +1) (t 1 + +t r ). Note that DB i (π) = {π ti 1+1,...,π ti } for 1 i r, where t 0 = 0. Since t i = DB 1 (π) + + DB i (π) for 1 i r and k = DB 1 (π) + + DB r (π), we have (4) b(π) = DB 1 (π) + DB (π) + +r DB r (π). We clai that c(x) i for all x DB i (π). To prove this let c(x) = l and x 1 < P < P x l = x be a axial chain ending at x. Since π is a linear extension of P, x 1,...,x l ust occur in this order in π. Since P is naturally ordered, we have x 1 < < x l. Hence each DB j (π) has at ost one eleent aong x 1,...,x l. This settles the clai. The above clai iplies that (5) DB i (π) C 1 C i. Let u = C C p k. By (4) and (5), we have (6) b(π) C 1 + C + +(p 1) C p 1 +p( C p u), where the equality holds if and only if r = p and DB i (π) = C i for 1 i p 1 and DB p (π) C p. Since C 1 + C + +(p 1) C p 1 +p( C p u) = b 1 + +b k, we obtain the desired inequality with the conditions for the equality. Now it reains to show that there is π L(P) satisfying the conditions for the equality. We construct such a perutation as follows. Let T be any subset of C p such that k = C C p 1 + T. Let π = π 1...π S be the perutation obtained fro the epty sequence by appending the eleents of C i in decreasing orderfor i = 1,,...,p 1, the eleentsoft in decreasingorder, and the reaining integers in increasing order. Then π satisfying the conditions for the equality. For a contradiction, suppose that π L(P). Then there are two eleents x,y P such that x < P y and y appears to the left of x in π. Let c(x) = i and c(y) = j.

8 8 JANG SOO KIM AND U-KEUN SONG Then x C i and y C j. Since x < P y, we have i < j and x < y. If y is in π 1...π k, then j p. In this case we have x C i = DB i (π) and y C j = DB j (π), which is a contradiction to the assuption that y appear to the left of x. If y is not in in π 1...π k, we have both x and y in π k+1...π. Since these eleents are in increasing order, we cannot have y to the left of x. Therefore we ust have π L(P), which finishes the proof. The following corollary is an iediate consequence of Proposition 3.3. Corollary 3.4. Let P be a naturally labeled poset on {1,,...,}. Suppose that b 1 b b is the increasing rearrangeent of c(1),c(),...,c(). Then, for 0 k, we have in { aj(π) kdes(π)+ } : π L(P) = b 1 + +b k. If P is not a chain, then for 1 k, { ( ) } k +1 in aj(π) kdes(π)+ : π L(P),1 des(π) k = b 1 + +b k. Note that Corollary 3.4 allows us to find the iniu of aj(π) kdes(π) over π L(P). The second part of Corollary 3.4 will be used in the next section. 4. Proof of Theore.4 In this section we assue that P is a naturally labeled poset on {1,,...,} and b 1 b b is the increasing rearrangeent of c(1),...,c(). For a polynoial f(q) in q, define q ax (f(q)) = ax{i : [q i ]f(q) 0}, q in (f(q)) = in{i : [q i ]f(q) 0}, q + ax (f(q)) = ax{i : [qi ]f(q) > 0}, q + in (f(q)) = in{i : [qi ]f(q) > 0}. When f(q) = 0, we use the following convention: Recall that q ax (0) = q ax(0) + =, q in (0) = q + in (0) =. F P (q,x) = = 1 q aj(π) ([i des(π)] q +q i des(π) x) s=0,des(π)=s q aj(π) (q i s x+[i s] q ). Since P is naturally labeled, L(P) contains the identity perutation. Therefore, (7) F P (q,x) = A+B,

9 PROOF OF CHAPOTON S CONJECTURE ON NEWTON POLYTOPES 9 where A = (q i x+[i] q ), 1 B = x s=1,des(π)=s q aj(π) (s ) s 1 s (x [i] q ) (q i x+[i] q ). Since [x 0 ]F P (q,x) = [x 0 ]A = [] q!, we have ( ) q ax + ([x0 ]F P (q,x)) =, q + in ([x0 ]F P (q,x)) = 0. Therefore, in order to prove Theore.4, it suffices to show the following two propositions. Proposition 4.1. For 1 k, we have q + ax ([xk ]F P (q,x)) = Proposition 4.. For 1 k, we have ( ) +k. q + in ([xk ]F P (q,x)) = b 1 + +b k. Proof of Proposition 4.1. By (7), it is enough to show that ( ) (8) q ax([x + k ]A) = +k, ( ) (9) q ax ([x k ]B) < +k. In order to get the largest power of q, when we expand the product in A, we ust select q i x or q i 1. This iplies (8). To prove (9), consider π S with des(π) = s 1. Then ( q ax [x k 1 ]q aj(π) (s ) s 1 = s ( i) ( Therefore, we obtain (9). ( ) s s 1 + s (x [i] q ) (q i x+[i] q ) ) s (i 1)+ (i 1)+(k 1) ) (s 1)+(k 1) < ( ) +k. The rest of this section is devoted to prove Proposition 4.. For π S with des(π) = s 1 and an integer 1 k, let (10) t(π,k) = [x k 1 ]q aj(π) (s ) s 1 s (x [i] q ) (q i x+[i] q ). Then we always have ( ) des(π) (11) q in (t(π,k)) aj(π). We need the following two leas.

10 10 JANG SOO KIM AND U-KEUN SONG Lea 4.3. Let π S with des(π) = s 1. Then, for s k, we have q + in (t(π,k)) = q in(t(π,k)) = aj(π) ks+. Proof. It is easy to see that the sallest power of q in [x k 1 ]t(π,k) is obtained if and only if we select x s 1 in the first product and q 1++ +(k s) x k s in the second product in (10). Since the coefficient of this ter is positive, we obtain that ) ( k s+1 q + in (t(π,k)) = q in(t(π,k)) = aj(π) which is equivalent to the lea. Lea 4.4. Let P be a naturally labeled poset on {1,,...,}. Suppose that P is not a chain. Then, for 1 k, we have { ( ) } k +1 q + in ([xk ]B) = in aj(π) kdes(π)+ : π L(P),1 des(π) k. Proof. Let ( s 1 = in{q + in (t(π,k)) : π L(P),1 des(π) k}, = in{q in (t(π,k)) : π L(P),des(π) k +1}. By (11), for π L(P) with des(π) k +1, we have ( ) des(π) q in (t(π,k)) aj(π). By Lea 3.1, we can find σ L(P) such that Des(σ) = Des(π)\{ax(Des(π))}. Since ax(des(π)) des(π), we have ( ) ( ) ( ) des(π) des(π) des(σ) aj(π) aj(σ)+des(π) > aj(σ). By repeating this arguent, we obtain that ( ) ( ) des(π) des(τ) (1) aj(π) > aj(τ), for soe τ L(P) with des(τ) = k. On the other hand, by Lea 4.3, we have ( ) ( ) k +1 des(τ) (13) q + in ([xk 1 ]t(τ,k)) = aj(τ) k + = aj(τ). By (1) and (13), we have 1 <. Therefore q + in ([xk ]B) = 1. By applying Lea 4.3 to 1, we obtain the desired identity. Now we give a proof of Proposition 4.. Proof of Proposition 4.. First, observe that q + in ([xk ]A) = q in ([x k ]A) =. If P is a chain, then the identity perutation is the only linear extension of P. In this case B = 0 and b i = i. Thus q + in ([xk ]F P (q,x)) = q + in ([xk ]A) = = b 1 + +b k. + ),

11 PROOF OF CHAPOTON S CONJECTURE ON NEWTON POLYTOPES 11 Now suppose that P is not a chain. By Lea 4.4 and Corollary 3.4 we have q + in ([xk ]B) = b 1 + +b k. Therefore we also obtain q + in ([xk ]F P (q,x)) = b 1 + +b k. References [1] F. Chapoton. q-analogues of Ehrhart polynoials. Proceedings of the Edinburgh Matheatical Society (Series ), 59: , 016. [] E. Ehrhart. Sur les polyèdres rationnels hoothétiques à n diensions. C. R. Acad. Sci. Paris, 54: , 196. [3] J. S. Ki and D. Stanton. On q-integrals over order polytopes. Adv. Math., 308: , 017. [4] R. P. Stanley. Enuerative Cobinatorics. Vol. 1, second ed. Cabridge University Press, New York/Cabridge, 011. Departent of Matheatics, Sungkyunkwan University, Suwon 1640, South Korea E-ail address: jangsooki@skku.edu Departent of Matheatics, Sungkyunkwan University, Suwon 1640, South Korea E-ail address: sukeun319@skku.edu