arxiv: v1 [math.co] 22 Oct 2007

Transcription

1 QUASISYMMETRIC FUNCTIONS AND KAZHDAN-LUSZTIG POLYNOMIALS arxiv: v1 [math.co] Oct 007 LOUIS J. BILLERA AND FRANCESCO BRENTI Abstract. We associate a quasisymmetric function to any Bruhat interval in a general Coxeter group. This association can be seen to be a morphism of Hopf algebras to the subalgebra of all peak functions, leading to an extension of the cd-index of convex polytopes. We show how the Kazhdan-Lusztig polynomial of the Bruhat interval can be expressed in terms of this complete cd-index and otherwise explicit combinatorially ined polynomials. In particular, we obtain the simplest closed formula for the Kazhdan-Lusztig polynomials that holds in complete generality. Contents 1. Introduction 1. The R-quasisymmetric function of a Bruhat interval and the complete cd-index 9 3. Kazhdan-Lusztig polynomials and the complete cd-index Kazhdan-Lusztig polynomials and ballot polynomials Other representations of the complete cd-index 6. A sign conjecture for the complete cd-index 4 References 5 1. Introduction The Kazhdan-Lusztig polynomials of a Coxeter group are of fundamental importance in representation theory and in the geometry and topology of Schubert varieties. Defined by means of two separate recursions, they have proved difficult to unravel in any straightforward manner. Here, we reduce their computation to the computation of another invariant of Coxeter groups. This new invariant, a quasisymmetric function that can be 000 Mathematics Subject Classification. Primary 0F55, 05E99; Secondary 05E15. Key words and phrases. Coxeter group, Kazhdan-Lusztig polynomial, cd-index, quasisymmetric function. The first author was supported in part by NSF grants DMS and DMS The second author was partially supported by EU grant CHRT-CT This work was begun while both authors enjoyed the hospitality of the Mittag-Leffler Institut, Djursholm, Sweden. 1

2 LOUIS J. BILLERA AND FRANCESCO BRENTI encoded into a noncommutative polynomial in two variables that we call the complete cd-index, has interesting algebraic and combinatorial properties. We express the Kazhdan-Lusztig polynomial of any Bruhat interval in terms of its complete cd-index and otherwise explicit combinatorially ined polynomials. In particular, we obtain the simplest closed formula for the Kazhdan-Lusztig polynomials that holds in complete generality. The complete cd-index is ined by means of a quasisysymmetric function F(u,v) associated to every Bruhat interval [u,v] in a Coxeter group W. The association [u,v] F(u,v) can be viewed as a morphism of Hopf algebras, suggesting the possibility of a filtered version of the theory of combinatorial Hopf algebras [1], which predicts the existence of graded maps to the quasisymmetric functions in general combinatorial settings. The theory of Kazhdan-Lusztig polynomials of Weyl groups is analogous to that of the g-polynomials of rational convex polytopes in that they both compute the local intersection cohomology of certain varieties (Schubert and toric, respectively) associated to these objects [6], [9]. Also, the recursions that ine them in a general Coxeter group (respectively, Eulerian partially ordered set) have the same form. The g-polynomial of an Eulerian partially ordered set is known to depend only on the number of chains of certain types. These flag numbers are most succintly represented by the cd-index. On the other hand, for the Kazhdan-Lusztig polynomials it is not even clear that there can be a completely combinatorial description (see, e.g., [7, 5.6]), so there is no straightforward way to generalize this combinatorial description of the g-polynomials to the Kazhdan-Lusztig polynomials. Yet, the quasisymmetric functions F(u,v) do seem to capture much of the spirit of the combinatorial setting of the g-polynomials, without themselves being obviously combinatorial. In the remainder of this section we give the necessary background in Coxeter groups and Kazhdan-Lusztig polynomials and in the use of quasisymmetric functions in poset enumeration. In Section we introduce the R-quasisymmetric function of a Bruhat interval, ine from this the complete cd-index of the interval and give some of its algebraic properties. Section 3 gives an expression for the Kazhdan-Lusztig polynomials in terms of the complete cd-index and certain lattice path enumerators. Using this expression, we give in Section 4 the representation of the Kazhdan-Lusztig polynomials in terms of an explicit polynomial basis ined by means of the ballot polynomials. The coefficients of this representation are given as linear forms in the complete cd-index. In Section 5 we give a formula for computing the complete cd-index of any Bruhat interval in terms of explicit combinatorial quantities associated to the Bruhat interval. Finally, in Section 6 we conjecture nonnegativity of the complete cd-index and show that one consequence of this conjecture holds in the case of finite Coxeter and affine Weyl groups.

3 KAZHDAN-LUSZTIG POLYNOMIALS Coxeter groups and Kazhdan-Lusztig polynomials. We follow [3] for general Coxeter groups notation and terminology. In particular, given a Coxeter system (W,S) and u W we denote by l(u) the length of u in W, with respect to S. We denote by e the identity of W, and we let T = {usu 1 : u W, s S} be the set of reflections of W. We will always assume that W is partially ordered by Bruhat order. Recall (see, e.g., [3, 5.9]) that this means that x y if and only if there exist r N and t 1,...,t r T such that t r t 1 x = y and l(t i t 1 x) > l(t i 1 t 1 x) for i = 1,...,r. Given u,v W we let [u,v] = {x W : u x v}. We consider [u,v] as a poset with the partial ordering induced by W. It is well known (see, e.g., [7], Corollary.7.11) that intervals of W (and their duals) are Eulerian posets. Recall (see [3], 8.6, or [17]) that the Bruhat graph of a Coxeter system (W,S) is the directed graph B(W,S) obtained by taking W as vertex set and putting a directed edge from x to y if and only if yx 1 T and l(x) < l(y). Let A T and W be the subgroup of W generated by A. Following [3, 8.], we call W a reflection subgroup of W. It is then known (see, e.g., [3], Theorem 8.) that (W,S ) is again a Coxeter system where S = {t T : N(t) W = {t}}, and N(w) = {t T : l(wt) < l(w)}. We say that W is a dihedral reflection subgroup if S = (i.e., if (W,S ) is a dihedral Coxeter system). Following [18] we say that a total ordering < T of T is a reflection ordering if, for any dihedral reflection subgroup W of W, we have that either a < T aba < T ababa < T < T babab < T bab < T b or b < T bab < T babab < T < T ababa < T aba < T a where {a,b} = S. The existence of reflection orderings (and many of their properties) is proved in [18, ] (see also [7, 5.]). Throughout this work we will always assume that we have fixed (once and for all) a reflection ordering < T of T. Recall that a composition of a positive integer n is a finite sequence of positive integers α = α 1 α k such that i α i = n. In this case we write α = n and we ine l(α) = k, α = n, and α = α k α 1. (There should be no confusion with our using the same notation l( ) for the lengths of compositions and elements of W.) Given two compositions α 1 α s,β 1 β t of n we say that α 1 α s refines β 1 β t if there exist 1 i 1 < i < < i t 1 < s such that i k j=ik 1 +1 α j = β k for k = 1,...,t (where i 0 = 0, i t = s). We then write α 1 α s β 1 β t. We denote by C the set of all finite sequences of positive integers (i.e., the set of all compositions). Given a path = (a 0,a 1,...,a r ) in B(W,S) from a 0 to a r, we ine its length to be l( ) = r, its descent set, with respect to < T, to be D( ) = {i [r 1] : a i (a i 1 ) 1 > T a i+1 (a i ) 1 }, and its descent composition to be the unique composition D( ) of r corresponding to D( ) under the usual bijection between compositions and sets

4 4 LOUIS J. BILLERA AND FRANCESCO BRENTI β 1 β β k {β 1,β 1 + β,...,β β k 1 }. We will denote the inverse of this bijection by co( ). We denote by H(W) the Hecke algebra associated to W. Recall (see, e.g., [3, Chap. 7]) that this is the free Z[q,q 1 ]-module having the set {T w : w W } as a basis and multiplication such that { Tws, if l(ws) > l(w), (1.1) T w T s = qt ws + (q 1)T w, if l(ws) < l(w), for all w W and s S. It is well known that this is an associative algebra having T e as unity and that each basis element is invertible in H(W). More precisely, we have the following result (see [3, Proposition 7.4]). Proposition 1.1. Let v W. Then where R u,v (q) Z[q]. (T v 1) 1 = q l(v) u v( 1) l(v) l(u) R u,v (q)t u, The polynomials R u,v (q) ined by the previous proposition are called the R-polynomials of W. It is easy to see that R u,v (q) is a monic polynomial of degree l(u,v) = l(v) l(u), and that R u,u (q) = 1, for all u,v W, u v. It is customary to let R u,v (q) = 0 if u v. We then have the following fundamental result that follows from (1.1) and Proposition 1.1 (see [3, 7.5]). Theorem 1.. Let u,v W and s S be such that l(vs) < l(v). Then { Rus,vs (q), if l(us) < l(u), R u,v (q) = qr us,vs (q) + (q 1)R u,vs (q), if l(us) > l(u). Note that the preceding theorem can be used to inductively compute the R-polynomials. Theorem 1. has also the following simple but important consequence (see, for example, [7, Proposition 5.3.1]). Proposition 1.3. Let u,v W. Then there exists a (necessarily unique) polynomial Ru,v (q) N[q] such that ) R u,v (q) = q 1 (l(v) l(u)) Ru,v (q 1 q 1. Combinatorial interpretations of the coefficients of Ru,v (q) have been given by V. Deodhar [16] and by M. Dyer [18] (see [7, Theorem 5.3.7] and [7, Theorem 5.3.4]). Given u,v W, and k N, we denote by B k (u,v) the set of all directed paths in B(W,S) from u to v of length k, and we let B(u,v) = k 0 B k(u,v). For u,v W, and α C, we let, following [9], (1.) c α (u,v) = { B α (u,v) : D( ) α},

5 and KAZHDAN-LUSZTIG POLYNOMIALS 5 (1.3) b α (u,v) = { B α (u,v) : D( ) = α}. Note that these initions imply that (1.4) c α (u,v) = {β =n:β α} b β (u,v) for all u,v W and α = n (n P). The following result appears as [9, Proposition 4.4]. Given a polynomial P(q), and i Z, we denote by [q i ](P) the coefficient of q i in P(q). Proposition 1.4. Let u,v W, u v, and α C. Then r c α (u,v) = [q α j ]( R tj 1,t j ) (t 0,...,t r) C r(u,v) where C r (u,v) denotes the set of all chains of length r (totally ordered subsets of cardinality r + 1) from u to v, and r = l(α). Proposition 1.4 shows, in particular, that c α (u,v) (and hence b α (u,v)) are independent of the total reflection ordering < T used to ine them. The R-polynomials can be used to ine the Kazhdan-Lusztig polynomials. The following result is not hard to prove (and, in fact, holds in much greater generality, see [30, Corollary 6.7] and [30, Example 6.9]) and a proof can be found, e.g., in [3, ] or [5,.]. Theorem 1.5. There is a unique family of polynomials {P u,v (q)} u,v W Z[q], such that, for all u,v W, 1. P u,v (q) = 0 if u v;. P u,u (q) = 1; 3. deg(p u,v (q)) < 1 (l(v) l(u)), if u < v; 4. ( ) 1 q l(v) l(u) P u,v = R u,z (q)p z,v (q), q if u v. u z v The polynomials P u,v (q) ined by the preceding theorem are called the Kazhdan-Lusztig polynomials of W. For j Q we ine an operator D j : R[q] R[q] by letting j a i q i = a i q i. i 0 D j For α C we ine, following [10], a polynomial Ψ α (q) Z[q] inductively as follows, Ψ α (q) = (q 1) α 1 D α 1 (Ψ α (q)) j=1 i=0

6 6 LOUIS J. BILLERA AND FRANCESCO BRENTI if l(α), and Ψ α (q) = (q 1) α, if l(α) = 1. Here α = α α k when α = α 1 α k. For n P and β = n we then let Υ β (q) = ( 1) l(α) Ψ α (q). {α =n: α β} We then have the following result, whose proof can be found in [7, Theorem 5.5.7]. Theorem 1.6. Let u,v W, u < v. Then ( ) 1 P u,v (q) q l(u,v) P u,v = q l(u,v) β Υ β (q)b β (u,v). q β C Let (W 1,S 1 ) and (W,S ) be two Coxeter systems. It is clear that the direct product W = W 1 W is again a Coxeter group with respect to the generating set S = S 1 S (disjoint union), having Dynkin diagram the disjoint union of the diagrams of (W 1,S 1 ) and (W,S ). It then follows immediately from the subword property of Bruhat order (see, e.g., [7, Theorem..]) that W, as a poset under Bruhat order, is isomorphic to the direct product of W 1 and W as posets under Bruhat order. Thus (u 1,u ) (v 1,v ) in W if and only if u 1 v 1 in W 1 and u v in W. Thus Theorems 1. and 1.5 imply the following multiplicative formulas. We include a proof for lack of an adequate reference. Proposition 1.7. Let u 1,v 1 W 1 and u,v W. Then (1.5) (1.6) R (u1,u ),(v 1,v ) = R u1,v 1 R u,v, and P (u1,u ),(v 1,v ) = P u1,v 1 P u,v. Proof. First note that by the comments preceding this proposition, (1.5) and (1.6) hold if (u 1,u ) (v 1,v ), so assume that (u 1,u ) (v 1,v ). We first prove (1.5) by induction on l(v ).If v = e then u = e and (1.5) follows from Theorem 1. and the fact that D((u,e)) = {(s,e) : s D(u)} for all u W 1. (Note that l W ( (u1,u ),(v 1,v ) ) = l W1 (u 1,v 1 ) + l W (u,v ).) If v > e and s D(v ), then (e,s) D((v 1,v )) and therefore, by Theorem 1. and our induction hypothesis, R (u1,u ),(v 1,v ) = q R (u1,u s),(v 1,v s) + (q 1)R (u1,u ),(v 1,v s) = R u1,v 1 (q R u s,v s + (q 1)R u,v s) = R u1,v 1 R u,v if s / D(u ) (so (e,s) / D((u 1,u ))), while if s D(u ), as desired. R (u1,u ),(v 1,v ) = R (u1,u s),(v 1,v s) = R u1,v 1 R u s,v s = R u1,v 1 R u,v

7 KAZHDAN-LUSZTIG POLYNOMIALS 7 ( We conclude by proving (1.6) by induction on l W (u1,u ),(v 1,v ) ) (. The result is clear if l W (u1,u ),(v 1,v ) ) ( = 0. If l W (u1,u ),(v 1,v ) ) > 0 then by Theorem 1.5, our induction hypothesis, (1.5) and the comments preceding this proposition, we have ( ) q l((u 1,u ),(v 1,v 1 )) P (u1,u ),(v 1,v ) P q (u1,u ),(v 1,v )(q) = R (u1,u ),(x 1,x )(q) P (x1,x ),(v 1,v )(q) (u 1,u )<(x 1,x ) (v 1,v ) = R u1,x 1 (q)p x1,v 1 (q) R u,x (q)p x,v (q) u 1 x 1 v 1 u x v P u1,v 1 (q) P u,v (q) ( ) ( ) = q l(u 1,v 1 1 ) P u1,v 1 q l(u,v 1 ) P u,v q P u1,v q 1 (q) P u,v (q), and (1.6) follows. Throughout this work (unless otherwise explicitly stated) (W,S) denotes a fixed (but arbitrary) Coxeter system. 1.. Quasisymmetric functions and poset enumeration. A quasisymmetric function is a formal power series in countably many variables that has bounded degree and whose coefficients are invariant under shifts of the variables that respect their order. We assume here that the reader is familiar with the basics of the theory of quasisymmetric functions, for example, as described in [3, 7.19]. We denote by QSym Q[[x 1,x,... ]] the algebra of all quasisymmetric functions (with rational coefficients). QSym is a graded algebra with the usual grading of power series; we denote by Q i the i th homogeneous part of QSym and so QSym = Q 0 Q 1. In particular, we will make use of the monomial basis {M α } α C and the fundamental basis {L α } α C for QSym, where for a composition α = α 1 α α k, k > 0, α i > 0, M α = x α1 i 1 x α i x α k i k i 1 <i < <i k and (1.7) L β = {α = β : α β} M α. We include as well the empty composition α = 0 (the case k = 0); here we set M 0 = L 0 = 1. Note that the degree of M α and L α is α. Occasionally, it will be useful to index these bases by subsets of [n 1] instead of compositions of n, using the standard bijection between compositions and subsets already mentioned. In this case, we write L (n) T to indicate its degree.

8 8 LOUIS J. BILLERA AND FRANCESCO BRENTI An interesting subalgebra of QSym is the subspace Π of peak functions, which can be ined as follows. Let c and d be noncommuting indeterminates of degree 1 and, respectively. We let w be an arbitrary word in the letters c and d. If w = c n 1 dc n d c n k dc n 0, (n 0,...,n k 0) then let m j = deg(c n 1 dc n d c n j d), j = 1,...,k. Define I w to be the family consisting of the k -element subsets {m j 1,m j }, j = 1,...,k, and b[i w ] = {T [n] : S T, for all S I w }, where n=deg(w). Finally, ine (1.8) Θ w = T B[I w ] L (n+1) T, where B[I w ] = {T [n] : T,T b[i w ]}. Note that deg(θ w ) = deg(w)+1. Here, if w = 1, the empty cd-word, then Θ 1 = L (1) = L 1. We can ine Π to be the linear subspace of QSym spanned by 1 and all the Θ w, as w ranges over all cd words. Again, Π is a graded algebra with the inherited grading; we denote by Π i = Π Q i its i th homogeneous part. See [6] and [33] for details. There the basis element Θ w in (1.8) is replaced by = w d+1 Θ w, where we denote the degree of w by w and extend this notation to let w d denote the number of d s in w. We summarize here the basics of the use of quasisymmetric functions in the theory of flag f-vectors of graded posets and, in particular, Eulerian posets. For a finite graded poset Q, with rank function ρ( ), we ine the formal power series Θ (st) w (1.9) F(Q) = ˆ0=t 0 t k 1 <t k =ˆ1 x ρ(t 0,t 1 ) 1 x ρ(t 1,t ) x ρ(t k 1,t k ) k, where the sum is over all multichains in Q whose last two elements are different and ρ(x,y) = ρ(y) ρ(x). For general properties of F(Q), see [19] and [6]. In particular, we have the following Proposition 1.8. For a graded poset Q, 1. F(Q) QSym and is homogeneous of degree ρ(q),. F(Q 1 Q ) = F(Q 1 )F(Q ), 3. F(Q) = α f αm α = α h αl α, where f α and h α are the flag f and flag h-vectors, respectively, of Q, and 4. If Q is Eulerian, then F(Q) Π; in fact F(Q) = w [w] Q Θ w, where [w] Q denotes the coefficient of w in the cd-index of Q. The last statement of Proposition 1.8, which follows from Proposition. and Theorem.1 of [6], can be used as the inition of the cd-index for an

9 KAZHDAN-LUSZTIG POLYNOMIALS 9 Eulerian poset Q. Formally, the cd-index is the homogeneous noncommutative polynomial, ψ Q = ψ Q (c,d) = w [w] Q w in c and d, where the sum is over all cd-words of degree ρ(q) 1; see [4].. The R-quasisymmetric function of a Bruhat interval and the complete cd-index Since a Bruhat interval [u,v] is an Eulerian poset, it has a homogeneous cd-index ψ u,v = ψ [u,v] and quasisymmetric function F(u,v) = F([u,v]) ined as above. The polynomial ψ u,v has been studied explicitly by Reading [8]. In this section, we extend the inition of the cd-index for Bruhat intervals to get a nonhomogeneous polynomial, whose coefficients we later use to give a simple expression for Kazhdan-Lusztig polynomials..1. The R-quasisymmetric function of a Bruhat interval. We ine a quasisymmetric function, analogous to the power series (1.9), making use of the polynomials R u,v ined in Proposition 1.3. Given u, v W, u v, we ine the R-quasisymmetric function F(u, v) by (.1) F(u,v) = u=t 0 t k 1 <t k =v R t0 t 1 (x 1 ) R t1 t (x ) R tk 1 t k (x k ), where, again, the sum is over all multichains in [u,v] whose last two elements are different. Note that, by Proposition 1.3 and the comments following Proposition 1.1, the leading term of each summand on the right hand side of (.1) is the corresponding monomial on the right hand side of (1.9). An alternative description of F(u,v) in terms of chains is as follows. We omit the straightforward verification. Proposition.1. Let u,v W, u < v. Then F(u,v) = k 1 k R tj 1,t j (x ij ). u=t 0 <t 1 < <t k =v 1 i 1 <i < <i k j=1 We will see that F(u,v) shares many of the properties of F(Q) and will serve to ine an extension of the cd-index for Bruhat intervals. In particular, we have the following Theorem.. For any u,v W, u v, 1. F(u,v) = α c α(u,v)m α = α b α(u,v)l α, and. F(u,v) Π, in fact F(u,v) Π l(u,v) Π l(u,v) Π l(u,v) 4.

10 10 LOUIS J. BILLERA AND FRANCESCO BRENTI Proof. To prove part 1, we have, using Proposition 1.4, F(u,v) = R t0 t 1 (x 1 ) R t1 t (x ) R tk 1 t k (x k ) = = u=t 0 t k 1 <t k =v u=t 0 t k 1 <t k =v u=t 0 t k 1 <t k =v = k 1 = k 1 = k 1 = β C {α N k :α k >0} {α N k :α k >0} {α N k :α k >0} c β (u,v) M β, k j=1 α N k α j 0 k j=1 x α 1 1 xα k k x α 1 1 xα k k x α 1 1 xα k k ( x α j j [q α j ]( R ) tj 1,t j ) ( x α j j [q α j ]( R ) tj 1,t j ) u=t 0 t k 1 <t k =v u=t 0 < <t l(α + ) =v c α +(u,v) k ( ) [q α j ] Rtj 1,t j j=1 ( ) [q α+ j ] Rtj 1,t j l(α + ) j=1 where we have used the facts that [q 0 ]( R x,y ) = δ x,y for all x,y W, x y, and R x,x = 1. Here α + is the composition obtained by taking only positive entries of α in order. The second equality in part 1 follows from (1.4) and (1.7). Part now follows easily from [10, Theorem 8.4] and [6, Proposition 1.3]. The last assertion follows since the c α (u,v) count certain directed paths from u to v of length α in the Bruhat graph B(W,S), and all of these must have length l(u,v)(mod ). As a consequence of Theorem., we can express any F(u,v) in terms of the basis Θ w for Π. Corollary.3. For any u,v W, u v, we can write F(u,v) = w [w] u,v Θ w. Note that, by Theorem., the coefficients [w] u,v can be nonzero only when deg(w) = l(u,v) 1,l(u,v) 3,.... We find it convenient to ine, for any u,v W, ψ u,v = ψ u,v (c,d) = [w] u,v w, w a nonhomogeneous, noncommutative polynomial in the variables c and d that will be called the complete cd-index of the Bruhat interval [u,v].

11 KAZHDAN-LUSZTIG POLYNOMIALS 11 Example.4. Let W = S 4, u = 134 and v = 431. Choose the reflection ordering (1,) < (1,3) < (1,4) < (,3) < (,4) < (3,4). Then there are 73 Bruhat paths from u to v and from (1.3) one can compute that b 5 (u,v) = b 1,1,1,1,1 (u,v) = b 1 (u,v) = 1, b 3 (u,v) = b,1 (u,v) = b 1, (u,v) = b 1,1,1 (u,v) = b 1,4 (u,v) = b,1,1,1 (u,v) =, b 4,1 (u,v) = b 3,1,1 (u,v) = b 1,1,3 (u,v) = b 1,1,1, (u,v) = 3, b,3 (u,v) = b 1,,1,1 (u,v) = 4, b 3, (u,v) = b 1,1,,1 (u,v) = 5, b 1,3,1 (u,v) = b,1, (u,v) = 6, and b,,1 (u,v) = b 1,, (u,v) = 8, so by Theorem. F(134,431) = L 5 + 3L 4,1 + 5L 3, + 4L,3 + L 1,4 + 3L 3,1,1 + 6L 1,3,1 + 3L 1,1,3 + 8L,,1 + 6L,1, + 8L 1,, + L,1,1,1 + 4L 1,,1,1 + 5L 1,1,,1 + 3L 1,1,1, + L 1,1,1,1,1 + L 3 + L,1 + L 1, + L 1,1,1 + L 1 = Θ c 4 + Θ dc + Θ cdc + Θ c d + Θ d + Θ c + Θ 1, and so [dc ] 134,431 = 1,[cdc] 134,431 =, etc. Thus we have ψ 134,431 = c 4 + dc + cdc + c d + d + c + 1. There is at least one case where (1.9) and (.1) ine the same element of QSym. For u,v W and i N let F i (u,v) be the homogeneous component of F(u,v) of degree i (so F i (u,v) = 0 unless i l(u,v) (mod )). Proposition.5. Let u,v W, u v. Then F l(u,v) (u,v) = F(u,v) and so [w]( ψ u,v ) = [w](ψ u,v ) when deg(w) = l(u,v) 1. In particular, F(u,v) = F(u,v) and ψ u,v = ψ u,v whenever the Bruhat interval [u,v] is a lattice. Proof. The first assertion follows immediately from (1.9), (.1) and the comments following Proposition 1.1. The second one follows from (1.9), (.1) and [8, Corollary 6.5]... Algebraic properties of F. We investigate some of the algebraic properties of the map [u,v] F(u,v). In [19, Proposition 4.4], the map on posets, P F(P), is shown to be a morphism of Hopf algebras. The same holds for the map ined by F. To see this, note that the coproduct on posets used in [19] restricts to one on Bruhat intervals: (.) ([u,v]) = [u,w] [w,v]. w [u,v] On QSym, we take the usual coproduct ined by (.3) (M γ ) = M α M β, α β=γ

12 1 LOUIS J. BILLERA AND FRANCESCO BRENTI where α β denotes concatenation of compositions. We begin with an analog of Proposition 1.8., which shows the map to be multiplicative with respect to direct product. Proposition.6. Let W 1,W be two Coxeter groups, W 1 W be their direct product, and u 1,v 1 W 1, u,v W. Then F((u 1,u ),(v 1,v )) = F(u 1,v 1 ) F(u,v ). Proof. It follows from Proposition 1.7 and Proposition 1.3 that for u 1 z 1 z v 1 and u w 1 w v (.4) R(z1,w 1 ),(z,w ) = R z1,z Rw1,w. The proof then follows by the same limiting argument used to prove multiplicativity of the map F [19, Proposition 4.4], with the change that we now use the maps κ i (u,v) = R u,v (x i ), which are multiplicative by (.4). We omit the details. That F is a coalgebra map is proved next. Proposition.7. The map F is a map of coalgebras, that is, for each u,v W, u v ( ( F F) ) ( ) ([u,v]) = F(u,v). Proof. By Theorem..1 and (.3), we can write ( ) F(u,v) = c γ (u,v) M α M β γ α β=γ = c α β (u,v) M α M β. α β Now, as an extension of [, Proposition 5.5.4] (and with virtually the same proof), we have c α β (u,v) = w [u,v] c α(u,w)c β (w,v). Thus ( ) F(u,v) = c α (u,w)c β (w,v)m α M β completing the proof. w [u,v] = w [u,v] α β F(u,w) F(w,v), Remark.8. Formally, let C be the graded vector space, over a field k, spanned by 1 k and all isomorphism classes of Bruhat intervals [u,v], u < v, in all Coxeter groups, where the elements of k have degree 0 and deg([u,v]) = l(v) l(u), and where [u,v] = [w,z] if there exists a directed graph isomorphism f : [u,v] [w,z] such that D( ) = D(f( )) for all Bruhat paths in [u, v]. C has multiplication ined via Cartesian product [u 1,v 1 ] [u,v ] = [(u 1,u ),(v 1,v )], and comultiplication ined by

13 KAZHDAN-LUSZTIG POLYNOMIALS 13 ([u,v]) = w [u,v] [u,w] [w,v], where [u,u] is ined to be 1 k. We ine a counit ǫ on C by ǫ([u,v]) = δ 0,l(v) l(u) for u v. By [19, Lemma.1], this ines C as a graded Hopf algebra. Propositions.6 and.7 show that the linear map F : C QSym induced by F is a morphism of graded Hopf algebras. (Compare [19, Proposition 4.4]; note that our F should not be confused with the similarly named function in [19].).3. Properties of ψ u,v. Let a and b be two noncommuting indeterminates and Z a,b be the ring of noncommutative polynomials in a and b with coefficients in Z. Given n P and a subset T [n] let m (n) T be the noncommutative monomial of degree n in a and b whose i-th letter (from the left) is a if i T and b if i T, for i = 1,...,n. Given a Bruhat path Γ = (u 0,u 1,,u k 1,u k ) of length k we ine its weight to be w(γ) = m (k 1) D(Γ). Proposition.9. Let u,v W, u < v. Then ψ u,v (a + b,ab + ba) = Γ w(γ) where Γ runs over all the Bruhat paths from u to v. Proof. Let w = c n 1 dc n d c n k dc n 0 be a cd-word (n 0,...,n k N, k 0). It then follows immediately from the inition of B[I w ] that (.5) (a +b) n 1 (ab +ba) (a +b) n k (ab +ba)(a +b) n 0 = On the other hand, by Theorem. and Corollary.3, T B[I w ] m ( w ) T. (.6) F(u,v) = b α (u,v)l α = α w [w] u,v Θ w, using (1.8) and equating coefficients of L (n+1) T (.7) b (n+1) T (u,v) = {w: w =n, T B[I w ]} for all n N and T [n], where as in (1.3) in (.6) we obtain that [w] u,v, b (n+1) T (u,v) = {Γ B n+1 (u,v) : D(Γ) = T }.

14 14 LOUIS J. BILLERA AND FRANCESCO BRENTI Therefore, by (.5) and (.7), ψ u,v (a + b,ab + ba) = w = n 0 = n 0 = Γ [w] u,v T [n] T [n] w(γ), T B [ I w ] m ( w ) T {w: w =n, T B[I w ]} b (n+1) T (u,v)m (n) T [w] u,v m (n) T as desired. From this we see that we can obtain the polynomial Ru,v directly from ψ u,v. Corollary.10. For u < v, R u,v (q) = q ψ u,v (q,0). Proof. From (.7), one obtains [c n ] u,v = b (n+1) (u,v) for any n. Thus q ψ u,v (q,0) = n 0 = [c n ] u,v q n+1 Γ B(u,v):D(Γ)= the last equality being [7, Theorem 5.3.4]. q l(γ) = R u,v (q), Thus, referring to Example.4, we have R 134,431 (q) = q 5 + q 3 + q. As in [1], we note that Z a,b has a comultiplication ined for monomials by n (.8) (a 1 a n ) = a 1 a i 1 a i+1 a n, i=1 and extended linearly (where (1) = 0 0). Similarly, we can ine a second coproduct on Bruhat intervals by ([u,v]) = [u,z] [z,v]. u<z<v (Note that this is not the coproduct given in (.).) We ine, for convenience, φ u,v (a,b) = ψ u,v (a + b,ab + ba), for all u,v W, u < v. Then with the coalgebra structures just ined on Bruhat intervals and Z a,b, we have that φ is a map of coalgebras.

15 KAZHDAN-LUSZTIG POLYNOMIALS 15 Proposition.11. Let u,v W, u < v. Then ( φ u,v ) = φ u,z φ z,v. u<z<v Proof. Given a Bruhat path Γ = (u 0,u 1,...,u k ) we let Γ (i) = (u 0,u 1,...,u i ) and Γ (i) = (u i,u i+1,...,u k ), for i = 1,...,k 1. By Proposition.9 and (.8) we have that as desired. ( φ u,v ) = Γ = Γ = (w(γ)) l(γ) 1 i=1 w(γ (i) ) w(γ (i) ) u<z<v Γ 1 B(u,z) Γ B(z,v) = u<z<v φ u,z φ z,v, w(γ 1 ) w(γ ) If we let c = a+b and d = ab+ba, then as in [1], the subalgebra Z c,d of Z a,b is closed under, since (c) = (1 1) and (d) = c 1+1 c ( acts as a derivation on Z a,b ). Thus ψ is a map of coalgebras: ( ψ u,v ) = ψ u,z ψ z,v. u<z<v We note finally that the multiplicative structure used in [1], the poset join, does not carry over to Bruhat intervals. In most cases the join of two Bruhat intervals cannot be a Bruhat interval by [1, Theorem 3.]. 3. Kazhdan-Lusztig polynomials and the complete cd-index In this section we show how one can compute easily and explicitly the Kazhdan-Lusztig polynomial of any Bruhat interval of any Coxeter group from its complete cd-index. Recall the inition of the polynomials Ψ α and Υ α from 1.1. Consider the map K : QSym Z[q 1/,q 1/ ] ined by K(M α ) = ( 1) l(α) q α Ψ α or, equivalently, K(L α ) = q α Υ α. Then by Theorem. we may rephrase Theorem 1.6 in the following way. Proposition 3.1. Let u,v W, u < v. Then ( ) (3.1) K( F(u,v)) = q l(u,v) P u,v (q) q l(u,v) 1 P u,v. q If we ine Ξ w = K(Θ w ), then the following is immediate from Corollary.3 and Proposition 3.1.

16 16 LOUIS J. BILLERA AND FRANCESCO BRENTI Corollary 3.. Let u,v W, u < v. Then q l(u,v) P u,v (q) q l(u,v) P u,v (1/q) = w [w] u,v Ξ w. We next ) give an explicit description of Ξ w in terms of w. Let C i = for i N be the i-th Catalan number, and set Ci = 0 if i / N. 1 i+1 Let ( i+1 i (3.) B k (q) = k/ i=0 k + 1 i k + 1 ( k + 1 i ) q i. We call B k (q) the k-th ballot polynomial since it is closely related to ballot problems (see, e.g., [, III.1, p. 73]). Let a,b Z, a b. By a lattice path on [a,b] we mean a function Γ : [a,b] Z such that Γ(a) = 0 and Γ(i + 1) Γ(i) = 1 for all i [a,b 1]. Given such a lattice path Γ we let N(Γ) = {i [a + 1,b 1] : Γ(i) < 0}, d + (Γ) = {i [a,b 1] : Γ(i + 1) Γ(i) = 1}, l(γ) = b a, and Γ 0 = l(γ) 1 N(Γ). We call l(γ) the length of Γ. Note that b N(Γ) and that (3.3) d + (Γ) = Γ(b) + b a. We denote by L(n) the set of all lattice paths on [0,n]. From [10, Theorem 6.1] we have that for a composition α, (3.4) Υ α (q) = ( 1) α l(α) ( q) d +(Γ). {Γ L( α ): co(n(γ))=α } For a set T, we denote by T the set for which co(t ) = co(t). The next result, along with the previous one, shows how one can compute the Kazhdan-Lusztig polynomial of any pair of elements u,v W from the complete cd-index of the Bruhat interval [u,v]. Theorem 3.3. Let w = c n 0 dc n 1 d dc n k, k 0, n 0,...,n k 0. Then Ξ w = ( 1) k+ w n 0 ( ( q n 0 +1 B n0 ( q) q n B n0 q )) k In particular, Ξ w = 0 unless n 1 n n k 0 (mod ). j=1 C n j.

17 KAZHDAN-LUSZTIG POLYNOMIALS 17 Proof. Let n = w, and for a cd-word w = w 1 w n, let w = w n w 1. Note that (I w ) = I w. Then, by (1.8) and (3.4) we have that q n+1 Ξ w = (3.5) T B[I w ] = = T B[I w ] Υ co(t) {Γ L(n+1): N(Γ) =T } {Γ L(n+1), N(Γ),N(Γ) b(i w )} ( 1) n+1 N(Γ) 1 ( q) d +(Γ) ( 1) Γ 0 ( q) d +(Γ). Now, I w = {{p 1 1,p 1 }, {p 1,p },..., {p k 1,p k }} where p j = n k+1 j + + n k + j for j [k], and clearly N(Γ) = {i [n] : Γ(i) 0}. Therefore Γ L(n+1) is such that N(Γ) {p j 1,p j } and N(Γ) {p j 1,p j } for all j [k] if and only if either Γ(p j 1) = Γ(p j ) 1 = 1 or Γ(p j 1) = Γ(p j ) + 1 = 0, for all j [k]. Since Γ is a lattice path this happens if and only if { Γ(pj ) 1 = 1, if p (3.6) Γ(p j 1) = j 0 (mod ), Γ(p j ) + 1 = 0, if p j 1 (mod ), for all j [k]. Let, for brevity, L w be the set of all lattice paths Γ L(n+1) that satisfy condition (3.6) so, by (3.5), (3.7) q n+1 Ξ w = ( 1) Γ 0 ( q) d+(γ). Γ L w We claim that (3.8) q n+1 Ξ w = ( 1) Γ 0 ( q) d+(γ) where (3.9) L w Γ L w = {Γ L w : Γ(i) 0 if i [n + 1] \ {p 1,...,p k }}. In fact, let Γ L w \ L w and let i 0 = min{i [n + 1] \ {p 1,...,p k } : Γ(i) = 0}. Note that i 0 0 (mod ). Then p r < i 0 < p r+1 for some r [0,k] (where p 0 = 0 and p k+1 = n+). Since Γ L w this implies that Γ(p r ) = 0 (else, by (3.6), Γ(p r 1) = 0, contradicting the choice of i 0 ). Define Γ : [0,n+1] Z by { Γ (i) Γ(i), if pr i i = 0, Γ(i), otherwise, for i [0,n + 1]. Then Γ L w \ L w, d +(Γ ) = d + (Γ) and ( 1) Γ 0 = ( 1) Γ 0. It is clear that this map Γ Γ is an involution of L w \ L w (since i 0 = min{i [n + 1] \ {p 1,...,p k } : Γ (i) = 0}) and that it has

18 18 LOUIS J. BILLERA AND FRANCESCO BRENTI no fixed points, so Γ L w\l w ( 1)Γ 0 ( q) d +(Γ) = 0 and (3.8) follows from (3.7). Now let Γ L w. Then, by (3.9) and (3.6), Γ(p j 1) = Γ(p j ) 1 = 1 and p j 0 (mod ) for all j [k]. This, again by (3.9), implies that Γ(p j 1 + 1) = 1 for all j [k] and that Γ(i) 1 for all i [p k ] \ {p 1,...,p k }. Therefore, by (3.8), q n+1 Ξ w = = n 0 +1 m= n 0 1 {Γ L w : Γ(n+1)=m} ( 1) Γ 0 ( q) d+(γ) {m [n 0 +1]: m n 0 +1 (mod )} k j=1 C n j m n )) (( 1) ( k ( q) n+1+m ( 1) n 0 + ( q) n+1 m n 0 k = ( 1) k i=0 j=1 C n j n i n ( ) n0 + 1 (( q) n+1+n 0 +1 i ( 1) n 0 + ( q) n+1 n 0 1+i =( 1) k k j=1 C n j ( q) n n 0 n 0 i=0 ( ( q) n 0 +1 i ( 1) n 0 + ( q) i) i n i n ( n0 + 1 n 0 +1 m ) ( ) n0 + 1 i ) =( 1) k k j=1 C n j ( q) n n 0 ( Bn0 ( q) q n 0+1 B n0 ( 1/q) ), where we have used (3.3) and well known results on lattice path enumeration (see, e.g., [3, Ex.6.0]). 4. Kazhdan-Lusztig polynomials and ballot polynomials Using the results in the previous section, we derive the expansion, in terms of the complete cd-index, of the Kazhdan-Lusztig polynomials with respect to a basis derived from the ballot polynomials (3.). This basis and its relation to the Kazhdan-Lusztig polynomials was independently studied by Caselli [13], who also considered its relation to the R-polynomails. In what follows, we will consider a fixed Bruhat interval [u,v]; the dependence on the pair u,v will often be omitted. We set n = l(u,v) 1. For a cd-word w = c n 0 dc n 1 d c n k 1dc n k, k 0, n 0,...,n k 0, ine C w = k j=1 C n j. If w = c m, we take C w = 1. Note that since C i = 0 when

19 KAZHDAN-LUSZTIG POLYNOMIALS 19 i / N, C w = 0 unless w is an even cd-word, that is, unless n 1,...,n k are all even. It will be helpful to rework Corollary 3. to obtain an expression for the Kazhdan-Lusztig polynomial in terms of alternating shifted ballot polynomials q i B n i ( q). Note that q i B n i ( q) has degree n/ and lowest degree term q i with coefficient 1. Thus the set of polynomials q i B n i ( q), 0 i n, form a basis for the space of polynomials of degree n/. Depending on the parity of n, Caselli denoted this basis by O j or E j (see [13, Theorem 6.5]). We begin by deriving the expression for P u,v in terms of this basis as a function of the complete cd-index. Theorem 4.1. Let u,v W, u v. Then P u,v (q) = n/ i=0 a i q i B n i ( q), where a i = a i (u,v) = [c n i ] u,v + dw even ( 1) w + w d C dw [c n i dw] u,v. Proof. Since deg(p u,v ) n/, it follows from Corollary 3. that (4.1) P u,v = ) [w] u,v D n (q l(u,v) Ξ w. w If w = c n 0 dc n 1 dc n dc n k, with w n = l(u,v) 1, then by Theorem 3.3, [ ( )] q l(u,v) Ξ w = ( 1) k+ w n 0 C w q n n 0 B n0 ( q) q n+n B n0. q Thus, if w is even and [w] u,v 0, then n 0 w n (mod ) so D n and (4.1) becomes (4.) P u,v = (q l(u,v) Ξ w ) = ( 1) k+ w n 0 C w q n n 0 B n0 ( q), w even ( 1) w d+ w h(w) C w [w] u,v q n h(w) B h(w) ( q), where h(c n 0 dc n 1 d c n k 1dc n k) = n 0 denotes the head of w. Collecting the terms corresponding to cd words w with h(w) = n i gives the statement of the theorem.

20 0 LOUIS J. BILLERA AND FRANCESCO BRENTI Remark 4.. Alternatively, we can write a i as a sum over subsets of [i], namely i ( 1) k k [c n i dc (i1 1) dc (i i 1 1) S [i] S={i 1,...,i k } <...dc (i k i k 1 1) ] u,v k j=1 C ij i j 1 1. Remark 4.3. We list the first few coefficients a i as functions of the complete cd-index (recall n = l(u,v) 1, and that we omit the dependence on u,v): (4.3) a 0 = [c n ] a 1 = [c n d] + [c n ] a = [c n 4 d ] [c n 4 dc ] + [c n 4 d] + [c n 4 ] a 3 = [c n 6 d 3 ] [c n 6 d c ] [c n 6 dc d] + [c n 6 dc 4 ] + [c n 6 d ] [c n 6 dc ] + [c n 6 d] + [c n 6 ]. Remark 4.4. By Proposition.5, the degree n terms of the complete cdindex of the Bruhat interval [u, v] correspond to the ordinary cd-index of the Eulerian poset [u,v]. Restricting the formulas for the a i in Theorem 4.1 to only the degree n cd-coefficients yields the expression given by Bayer and Ehrenborg [3, Theorem 4.] for the g-polynomial g([u,v],q) in terms of the cd-index of the dual interval [u,v]. This can be checked by comparing formulas for example the polynomial Q k+1 (x) of [3] is B k ( x) and recalling that [w] u,v = [w ] [u,v]. One consequence is that the difference P u,v (q) g([u,v],q) is a function of the lower degree cd-coefficients only. Example 4.5. Continuing with Example.4, we have and so F(134,431) = Θ c 4 + Θ dc + Θ cdc + Θ c d + Θ d + Θ c + Θ 1 P u,v (q) = a 0 q 0 B 4 ( q) + a 1 q 1 B ( q) + a q B 0 ( q) with g([u,v],q) = 1 q + q. = [c 4 ] ( 1 3q + q ) + ( [c d] + [c ] ) q(1 q) = (1 q + q ) + (q q ) = 1 + q + ( [d ] [dc ] + [d] + [1] ) q Considering the dependence of the coefficients of the Kazhdan-Lusztig polynomials on these coefficients a i, let P u,v = p 0 +p 1 q +. The following is a direct consequence of the inition of the a i as the coefficients of P u,v in the basis q i B n i ( q). Propositions 4.6 and 4.7 as well as Corollary 4.8 are all implicit in [13, 6], so proofs will be omitted here.

21 KAZHDAN-LUSZTIG POLYNOMIALS 1 Proposition 4.6. For j = 0,..., n/, j ( ) p j = ( 1) j in + 1 j n + 1 i a i. n + 1 i j i i=0 Theorem 4.1 and Proposition 4.6 allow us to derive the coefficients of the Kazhdan-Lusztig polynomial for any Bruhat interval as a function of its complete cd-index. For example, we can read from Proposition 4.6 and (4.3) that (4.4) p 1 = [q](p u,v ) =a 1 (n 1)a 0 =[c n d] + [c n ] (n 1)[c n ]. The relations given in Proposition 4.6 are unitriangular so invertible. The inverse relations have a particularly simple nonnegative form. Proposition 4.7. For j = 0,..., n/, j a j = i=0 ( n j i n j ) p i. Corollary 4.8. Nonnegativity of a i (u,v), i = 1,...,k is implied by the nonnegativity of [q i ](P u,v ), i = 1,...,k. Remark 4.9. In fact, any nonnegative polynomial of degree n has a nonnegative representation in terms of the basis of alternating shifted ballot polynomials q i B n i ( q). Given the conjectured nonnegativity of the coefficients of the Kazhdan- Lusztig polynomial P u,v for any Bruhat interval [u,v] [5], Caselli made the following conjecture. Because of Theorem 4.1 (see also (4.3)), we can interpret it as a conjectured set of linear inequalities that must be satisfied by the complete cd-index. Conjecture [13, Conjecture 6.6] For each Bruhat interval [u, v] and for each i = 0,1,..., n/, n = l(u,v) 1, we have a i (u,v) 0. We conclude by noting the following consequence of Proposition 4.7. Corollary Let u,v W, u < v. Then a l(u,v) 1 = P u,v (1), l(u,v) odd d (q l(u,v) q=1 P u,v (1/q)), l(u,v) even. dq Remark 4.1. An interesting question is whether, for all w, the quantities [w] u,v are combinatorially invariant, that is, they depend only on the poset structure of the interval [u,v]. This is true for cd-words w of degree l(u,v) 1 by Proposition.5. By Theorem 4.1, combinatorial invariance of [w] u,v for all w implies the conjectured combinatorial invariance of the Kazhdan-Lusztig

22 LOUIS J. BILLERA AND FRANCESCO BRENTI polynomial P u,v. But the converse is also true: if P u,v is combinatorially invariant for all u < v, then so is [w] u,v for all w and all u < v. This follows from Proposition 1.4 and Theorem 1.5 and the fact that [w] u,v depends on the c α, by (1.4) and Proposition 5.1. Combinatorial invariance of P u,v is known to hold in the case u = e (see [7], [1] and [15]), and it follows that the same is true for all [w] e,v. 5. Other representations of the complete cd-index The formulas obtained in the previous sections for the Kazhdan-Lusztig polynomials assume knowledge of the complete cd-index. In this section we show how one can explicitly compute the complete cd-index of a Bruhat interval [u,v] in terms of the coefficients b α (u,v) ined in 1.1. Let u,v W, u < v, and n [l(u,v) 1], n l(u,v) 1 (mod ). In this section it will be convenient to index the b α by subsets instead of the corresponding compositions. Unless otherwise explicitly stated, all subsets are in [n]. We will omit to write the dependence on u,v throughout the section. We start with a general expression for [w] in terms of sparse b S, that is, those b S,S [n], where S has no two successive elements and n / S. In terms of b α, this means that α i > 1 if i > 1. We use an expression for [w] in terms of the sparse k-vector, which is a reinversion of the sparse b S ined by k S = T S ( 1) S T b T. The following result is proved in exactly the same way as [5, Proposition 7.1]. Proposition 5.1. Let w = c n 1 dc n d c n kdc n 0 and ine m 0,...,m k by m 0 = 1 and m i = m i 1 + n i +. Then (5.1) [w] = ( 1) (m1 i1)+(m i)+ +(mk ik) k {i1 i i k }, i 1,...,i k where the sum is over all k-tuples (i 1,i,...,i k ) such that m j 1 i j m j. The inversion of this relation, expressing k S as a sum of distinct [w], is the same as [6, Proposition.3]. Using Proposition 5.1 one can obtain from (4.4) that the coefficient of the linear term of the Kazhdan-Lusztig polynomial P u,v is p 1 = c n,1 (u,v) + c n 1 (u,v) (n + 1) (compare [8, Corollary 5.9]). We will show that if [w] is expressed in terms of the sparse b S, the coefficients are still ±1, leading to the possibility of a direct enumerative interpretation of [w]. Using the notation of Proposition 5.1, let be the range of i j above, and let A j = { i : m j 1 i m j } T w = {T i k A i : T A j 1 j}.

23 KAZHDAN-LUSZTIG POLYNOMIALS 3 Then k S appears in (5.1) if and only if S T w and S = k, and by Proposition 5.1 and the inition of k S, we see that [w] = S T w d S b S for integers d S. We now prove that these integers can only be ±1 or 0. Proposition 5.. If w = c n 1 d c n kdc n 0, then [w] = S T w d S b S, where { ( 1) k S j i S A d S = j ( 1) m j i, if S A i = 1 for A i even, 0, otherwise. Proof. By (5.1) and the inition of k S we have d S = ( 1) k S ( 1) (m1 i1)+(m i)+ +(mk ik) S {i 1,...,i k } T w = ( 1) k S ( 1) mj i ( 1) mj i. i S A j i A j j:s A j j:s A j = But the sums in the last expression are 0 or 1 depending on whether A j are even or odd, so the result follows. For example, for w = cd, k =, n 1 = 1, n = 0, n 0 = 0, A 1 = {1,}, A = {4} and so [cd ] = b {,4} b {1,4} b {} + b {1}. Note that the same expression computes the coefficient [w] = [cd c m ] for any m 0, where the subscripts are understood to be subsets of {1,...,deg w}. Finally, we give simple proofs of two elementary identities between cdcoefficients and the numbers b α using basic quasisymmetric identities. The second of these is essentially in [31]. Proposition 5.3. Let u,v W, u < v, and n [l(u,v) 1], n l(u,v) 1 (mod ). Then: (1) w n w d[w] u,v = c [n] (u,v), the number of Bruhat paths from u to v of length n + 1, () w [w] u,v = b {1,3,5,... } (u,v), where the sums are over all cd-words of degree n. Proof. By Theorem. F n+1 (u,v) = S c S (u,v) M (n+1) S = S b S (u,v) L (n+1) S = w [w] u,v Θ w, where the sums are over all subsets of [n] and over all cd-words of degree n (recall that we denote by F i the homogeneous component of F of degree i). We now use the relations Θ w = S b[i w] S w d M (n+1) S = T B[I w ] L (n+1) T

24 4 LOUIS J. BILLERA AND FRANCESCO BRENTI from [6, (.14)] (divided, as before, by w d+1 ) and (1.8). Hence the coefficient of M (n+1) [n] in Θ w is n w d, so we can conclude (1). Similarly, the coefficient of L {1,3,5,...} in Θ w is 1, so () follows. 6. A sign conjecture for the complete cd-index We conclude with an intriguing sign conjecture for the complete cd-index and prove one of its simple consequences in certain cases. Computation on Bruhat intervals up to rank 7 occurring in symmetric groups suggests the following. Conjecture 6.1. Let (W,S) be a Coxeter system and u,v W, u < v. Then [w] u,v 0 for all cd-words w. Since every Bruhat interval is shellable (e.g., [7, Theorem.7.5]) and Eulerian, hence Gorenstein, it follows from the recent work of Karu [4] (see also [0]) that [w] u,v 0 whenever deg w = l(u,v) 1 (the top degree for which [w] u,v 0). If Conjecture 6.1 were true, then Proposition 5.3 would imply that n [c n ] u,v c [n] (u,v) for all u,v W and n 0. This is indeed true for finite Coxeter and affine Weyl groups, as we now show. From now on, we assume that W is a finite Coxeter or affine Weyl group. Given two Bruhat paths = (u,x,v), Γ = (u,y,v) B (u,v) write Γ if (xu 1,vx 1 ) is lexicographically smaller than (yu 1,vy 1 ) (where T is totally ordered by the chosen reflection ordering). Let m = [t ]( R u,v ). It then follows easily from [7, Theorem 5.3.4] that B (u,v) = m and that { B (u,v) : D( ) = } = m = { B (u,v) : D( ) = {1}}. For Γ B (u,v) let r = { B (u,v) : D( ) = D(Γ), Γ}. The flip of Γ is the r-th Bruhat path (in the lexicographic ordering) in { B (u,v) : D( ) D(Γ)}. We denote this path by flip(γ). This notion is a special case of that of lexicographic correspondence first introduced in [11]. The following result is a special case of [11, Corollary.3]. Proposition 6.. Let W be a finite Coxeter or affine Weyl group. Further, let u,v W, u < v, (u,y,v) B (u,v) be such that D((u,y,v)) = and (u,x,v) = flip((u,y,v)). Then yu 1 < T xu 1 and vx 1 < T vy 1. Note that flip(flip(γ)) = Γ. Given = (u 0,u 1,...,u k ) B k (u,v) we let, for i [k 1], flip i ( ) be the Bruhat path in B k (u,v) obtained by flipping at its i-th element. Namely, flip i ( ) = (u 0,u 1,...,u i 1,

25 KAZHDAN-LUSZTIG POLYNOMIALS 5 x,u i+1,...,u k 1,u k ) where (u i 1,x,u i+1 ) = flip((u i 1,u i,u i+1 )). Note that if {i 1,i,i + 1} D( ) = then, by Proposition 6., {i 1,i,i + 1} D(flip i ( )) = {i}. Proposition 6.3. Let W be a finite Coxeter or affine Weyl group and u,v W, u < v. Then [t k ]( R Bk (u,v) u,v ) k 1 for all k 1, and so n [c n ] u,v c [n] (u,v) for n 0. Proof. Since [t k ]( R u,v ) N, we prove the equivalent statement that [t k ]( R u,v ) k 1 B k (u,v). We do this by constructing an explicit injection. Let Γ = (u,u 1,,u k 1,v) B k (u,v) be such that D(Γ) = and S = {s 1,...,s r } < [k 1]. We ine ϕ(γ,s) = flip sr ( (flip s1 (Γ)) ). Clearly, ϕ(γ,s) B k (u,v). Furthermore, note that by Proposition 6. s i = max {D(flip si ( (flip s1 (Γ)) ))} = max {D(flip si+1 ( (flip sr (ϕ(γ,s))) ))} for i = 1,...,r.Therefore s r,...,s 1 and hence Γ are uniquely recoverable from ϕ(γ,s), so ϕ is an injection. The result now follows from the fact that [t n+1 ]( R u,v ) = [c n ] u,v by Corollary.10. Remark 6.4. We note that Proposition 6.3 holds whenever Proposition 6. does, and the latter has been conjectured to hold for all Coxeter groups (see [14, p. 117] and [11, p. 745]), giving further evidence for Conjecture 6.1. References [1] M. Aguiar, N. Bergeron, and F. Sottile, Combinatorial Hopf algebras and generalized Dehn-Sommerville relations, Compos. Math. 14 (006), [] M.M. Bayer and L.J. Billera, Generalized Dehn-Sommerville relations for polytopes, spheres and Eulerian partially ordered sets, Inventiones Math. 79 (1985) [3] M.M. Bayer and R. Ehrenborg, The toric h-vectors of partially ordered sets, Trans. Amer. Math. Soc. 35 (000), [4] M.M. Bayer and A. Klapper, A new index for polytopes, Discrete Comput. Geometry 6 (1991), [5] L.J. Billera and R. Ehrenborg, Monotonicity of the cd-index for polytopes, Math. Z. 33 (000), [6] L.J. Billera, S. K. Hsiao, and S. van Willigenburg, Peak quasisymmetric functions and Eulerian enumeration, Adv. Math. 176 (003), no., [7] A. Björner and F. Brenti, Combinatorics of Coxeter Groups, Graduate Texts in Mathematics 31, Springer, New York, 005. [8] F. Brenti, A combinatorial formula for Kazhdan-Lusztig polynomials, Inventiones Math. 118 (1994),

26 6 LOUIS J. BILLERA AND FRANCESCO BRENTI [9] F. Brenti, Combinatorial expansions of Kazhdan-Lusztig polynomials, J. London Math. Soc. 55 (1997), [10] F. Brenti, Lattice paths and Kazhdan-Lusztig polynomials, Jour. Amer. Math. Soc. 11 (1998), [11] F. Brenti and F. Incitti, Lattice paths, lexicographic correspondence and Kazhdan- Lusztig polynomials, J. Algebra 303 (006), [1] F. Brenti, F. Caselli, and M. Marietti, Special matchings and Kazhdan-Lusztig polynomials, Advances in Math. 0 (006), [13] F. Caselli, Non-neegativity properties of R-polynomials, European J. Combin. 7 (006), [14] P. Cellini, T-increasing paths on the Bruhat graph of affine Weyl groups are selfavoiding, J. Algebra, 8 (000), [15] E. Delanoy, Combinatorial invariance of Kazhdan-Lusztig polynomials on intervals starting from the identity, J Algebr Comb 4 (006), [16] V. Deodhar, On some geometric aspects of Bruhat orderings. I. A finer decomposition of Bruhat cells. Inventiones Math. 79 (1985), [17] M. Dyer, On the Bruhat graph of a Coxeter system, Compos. Math., 78 (1991), [18] M. Dyer, Hecke algebras and shellings of Bruhat intervals, Compos. Math., 89 (1993), [19] R. Ehrenborg, On posets and Hopf algebras, Adv. in Math. 119 (1996), 1 5. [0] R. Ehrenborg and K. Karu, Decomposition theorem for the cd-index of Gorenstein* posets, J. Algebr. Comb. 6 (007), [1] R. Ehrenborg and M. Readdy, Coproducts and the cd-index, J. Algebraic Combinatorics 8 (1998), [] W. Feller, An Introduction to Probability Theory and its Applications, Vol. 1, Wiley, New York, [3] J. E. Humphreys, Reflection Groups and Coxeter Groups, Cambridge University Press, Cambridge, [4] K. Karu, The cd-index of fans and posets, Compos. Math., 14 (006), [5] D. Kazhdan and G. Lusztig, Representations of Coxeter groups and Hecke algebras, Inventiones Math. 53 (1979), [6] D. Kazhdan, G. Lusztig, Schubert varieties and Poincaré duality, Geometry of the Laplace operator, Proc. Sympos. Pure Math. 34, Amer. Math. Soc., Providence, RI, 1980, pp [7] M. Marietti, Kazhdan-Lusztig theory: Boolean elements, special matchings and combinatorial invariance, Ph.D. thesis, Universita di Roma La Sapienza, Roma, 003. [8] N. Reading, The cd-index of Bruhat intervals., Electron. J. Combin. 11 (004), no. 1, Research Paper 74, 5 pp. (electronic). [9] R. P. Stanley, Generalized h-vectors, intersection cohomology of toric varieties, and related results, Adv. Studies Pure Math., 11 (1987), [30] R.P. Stanley, Subdivisions and local h-vectors, Jour. Amer. Math. Soc. 5 (199), [31] R.P. Stanley, Flag f-vectors and the cd-index, Math. Z. 16 (1994), [3] R. Stanley, Enumerative Combinatorics, Vol., Cambridge Studies in Advanced Mathematics, Vol. 6, Cambridge University Press, Cambridge, UK, [33] J.R. Stembridge, Enriched P-partitions, Trans. Amer. Math. Soc. 349 no. (1997),