arxiv:math/ v1 [math.co] 30 Jan 2004

Transcription

1 arxiv:math/ v1 [math.co] 30 Jan 2004 The eading Coefficient of Certain Kazhdan-usztig Polynomials of the Permutation Group S n Nanhua Xi Abstract. In thispaper we show that the leading coefficient µ(y,w)of certain Kazhdan-usztig polynomials P y,w of the permutation group S n of 1,2,...,n are not greater than 1. More precisely, we show that the leading coefficients µ(y,w) are not greater than 1 whenever a(y) < a(w), where a : S n N is the function defined in [1]. See 1.5 for a simple interpretation of the function a. The Kazhdan-usztig polynomials of a Coxeter group (W, S) play a central role in Kazhdan-usztig theory. From the seminal work [K] one sees that the leading coefficient µ(y,w) of some Kazhdan-usztig polynomials P y,w are of great importance. It is certainly interesting to understand the leading coefficients. We have two natural questions, (a) determine the leading coefficients µ(y, w), (b) for a given element w in the Coxeter group, determine all y such that µ(y,w) or µ(w,y) is non-zero. By now, for both questions we do not have much understanding except for some special cases, see for example [4]. In this paper we are concerned with question (a) for the permutation group S n of 1,2,...,n. We shall show that for y,w S n, if y w (Bruhat order) and a(y) < a(w), then the leading coefficient µ(y,w) is less than or equal to 1, see Theorem 1.4, here the function a : S n N is defined by usztig in [1], see 1.5 for a simple interpretation of the function for S n. When a(y) a(w), Mcarnan and Warrington have showed that µ(y,w) can be greater than 1, see [MW]. The work [MW] gives a negative answer to the (0,1)-conjecture in [GM, p.52]. In this paper we also give some discussion for the set of all µ(y,w), y,w S n, see section 1.2 and Preliminaries In this section we collect some terms and basic facts, we refer to [K] for more details et (W,S) (S the set of simple reflections) be a Coxeter group. We shall denote the length function of W by l and use for the Bruhat order on W. et H be the Hecke algebraof (W,S) over A = Z[q 1 2,q 1 2 ] (q an indeterminate) with parameter q. et {T w } w W be its standard basis. There is a unique ring homomorphism : H H such that T w = T 1 w and q = q 1 2. In [K1], Kazhdan and usztig proved that for each w in W, there exists a unique element C w in the Hecke algebra H such that (1) C w = C w, (2) C w = q l(w) 2 y w P y,wt y, where P y,w is a polynomial in q of degree less than or equal to 1 2 (l(w) l(y) 1) for y < w and P w,w = 1. 1

2 2 N. XI The basis {C w } w W of H is the Kazhdan-usztig basis. The polynomials P y,w are the Kazhdan-usztig polynomials. If y < w, we have We write y w if µ(y,w) 0. P y,w = µ(y,w)q 1 2 (l(w) l(y) 1) +lower degree terms Assume that (W,S) is an affine Weyl group or a Weyl group. The following formula is due to Springer (see [Sp]), (a) µ(y,x) = γ y 1,x,fπ(f) = δ y,x 1,d+ γ y,x 1,fπ(f). f D 1 d D 0 f D 1 d D 0 δ y 1,x,d+ We need explain the notations. Write C x C y = z W h x,y,z C z, h x,y,z A = Z[q 1 2,q 1 2 ]. Following usztig ([1]), we define a(z) = min{i N q i 2 hx,y,z Z[q 1 2 ] for all x,y W}. If for any i, q i 2h x,y,z Z[q 1 2] for some x,y W, we set a(z) =. It is not clear that whether there exists a Coxeter group (W,S) such that a(z) = for some z W. From now on, we assume that the function a : W N is bounded and (W,S) is crystallographic. In this case, the function a is constant on two-sided cells of W (see [1]). Obviously, when W is finite, the function a is bounded. usztig showed that the function a is bounded for all affine Weyl groups (see [1]). Following usztig and Springer, we define δ x,y,z and γ x,y,z by the following formula, h x,y,z = γ x,y,z q a(z) 2 +δ x,y,z q a(z) lower degree terms. Springer showed that l(z) a(z) (see [2]). et δ(z) be the degree of P e,z, where e is the neutral element of W. Then actually one has l(z) a(z) 2δ(z) 0 (see [2]). Set D i = {z W l(z) a(z) 2δ(z) = i}. The number π(z) is defined by P e,z = π(z)q δ(z) + lower degree terms. The elements of D 0 are involutions, called distinguished involutions of (W,S) (see [2]). Moreover, in a Weyl group or an affine Weyl group, each left cell (resp. right cell) contains exactly one element of D 0, see [2]. When W is a Weyl group, usztig has showed that an element z is in D 1 if and only if there exists some d in D 0 such that z d and µ(z,d) 0 or µ(d,z) 0, see [3]. For S n, all involutions are distinguished. Example: et S be a subset of S such that the subgroup W of W generated by S is finite. Then the longest element of W is in D We refer to [K] for the definition of the preorders,, and of the equivalence relations,, on W. The corresponding equivalence classes are called left cells, right cells, two-sided cells of W, respectively. The preorder ; ) induces a partial order on the set of left (resp. right; two-sided) cells (resp. of W, denoted again by (resp. ; Springer showed the following results (a) and (b) (see [Sp]) ). For a Weyl group or an affine Weyl group,

3 THE EADING COEFFICIENTS OF CETAIN KAZHDAN-USZTIG POYNOMIAS 3 (a)assume that µ(y,w) orµ(w,y) isnonzero, then y w andy w ifa(y) < a(w), and y w or y w if a(y) = a(w). (b) Ifδ x,y,z 0, then z y or z x. (Note that h x,y,z 0 implies that a(z) a(x) and a(z) a(y), see [1].) For w W, set (w) = {s S sw w}, (w) = {s S ws w}. Then we have (see [K]) (c) (w) (y) if y w. In particular, (w) = (y) if y w; (d) (w) (y) if y w. In particular, (w) = (y) if y w. We shall need the star operation introduced in [K]. et s and t be in S such that st has order 3, i.e. sts = tst. Define D (s,t) = {w W (w) {s,t} has exactly one element}, D (s,t) = {w W (w) {s,t} has exactly one element}. If w is in D (s,t), then {sw,tw} contains exactly one element in D (s,t), denoted by w, here = {s,t}. The map: ϕ : D (s,t) D (s,t), w w, is an involutionand iscalleda left staroperation. Similarlyif w D (s,t) wecandefine the right star operation ψ : D (s,t) D (s,t), w w = {ws,wt} D (s,t), where = {s,t}. The following result is proved in [K]. (e) et s and t be in S such that st has order 3. Assume that y w. If both y and w (resp. y and w) are well defined, then either (1) y w and µ(y,w) = µ(y,w ), or (2) w y and µ(y,w) = µ(w,y ) = 1 (resp. either (1) y w and µ(y,w) = µ( y, w), or (2) w y and µ(y,w) = µ( w, y) = 1.) The main result of this paper is the following Theorem. et y,w S n. If y < w and a(y) < a(w), then the leading coefficient µ(y,w) is less than or equal to 1, here the function a : S n N is defined in 1.2. emark. This result is also true for an affine Weyl group of type Ãn For W = S n, there is a nice description for cells of W, called obinson- Schensted rule. We recall the rule since it also provide a simple way to compute the function a : S n N defined in subsection 1.2. As usual, the set S consists of transpositions s i = (i,i+1), i = 1,2,...,n 1. A partition λ of n is visualized as a Young diagram F λ with n boxes such that the lengths of the columns of the diagram are given by the components of λ. A Young tableau of shape λ is a labelling of the boxes of F λ with integers 1,2,...,n. The tableau is called standard if the numbers labelling its boxes are increasing in the columns from the top to the bottom and are increasing in the row from left to right. The obinson-schensted rule gives a bijection θ : w (P(w),Q(w) from the permutation group S n to the set of pairs of standard Young tableau on {1,2,...,n}. et w(i) = j i for i = 1,2,...,n. The standard Young tableau P(w) is defined as follows. et T 0 be the empty Young tableau. Assume that we have defined a Young tableau T i 1 which has totally i 1 boxes and the boxes are labelled with integers j 1,j 2,...,j i 1. Now we define the Young tableau T i. If j i is greater than every numbers in the first row of T i 1, then T i is obtained from T i 1 by adding j i to the end of the first row of T i 1. If not, then let z be the smallest number of the first

4 4 N. XI row of T i 1 greater than j i. et T i 1 be the Young tableau by removing the first row of T i 1. Then T i is the Young tableau obtained from T i 1 by replacing z by as the same way. It is known that P(w) is indeed a standard Young tableau. We set Q(w) = P(w 1 ). et y,w be in S n, then we have (see [BV]) j i and by inserting z to the tableau T i 1 (a) y w if and only if Q(y) = Q(w), (b) y w if and only if P(y) = P(w), (c) y w if and only if P(y and P(w) have the same shape. Assume that P(w) is a Young tableau of shape λ = (λ 1 λ 2 λ k ) (a partition of n). we define a(w) to be 1 k 2 i=1 λ i(λ i 1). Then a : S n N is exactly the a-function defined in 1.2. Note that y w if and only if λ(y) λ(w), where λ(y) and λ(w) are the partitions corresponding to P(y) and P(w) respectively. (We say λ = (a 1,a 2,...) µ = (b 1,b 2,...) if a 1 + +a k b 1 + +b k for all k = 1,2,...) 2. A description of the set of all µ(y,w) for S n In this section we give a description to the set of all µ(y,w), y,w S n, in terms of δ x,y,z, x,y,z S n. More precisely, we have Proposition 2.1. For S n, the set {δ x,y,z x,y,z S n } is equal to the set {µ(y,w) y,w S n }. Proof: Clearly both sets contain 0. Assume that µ(y,w) is non zero. By Springer s formula 1.2(a), we have δ y 1,w,d 0 for some d D 0 or γ y 1,w,u 0 for some u D 1. It is no harm to assume that a(w) a(y). If a(w) > a(y), then γ y 1,w,u = 0 for all u in S n (see [1, 6.3(a)]), and δ y 1,w,d 0 implies that d and w are in the same left cell, cf 1.2 (c) and [1, 6.3(b)]. Therefore µ(y,w) = δ y 1,w,d(w) in this case. (We use d(x) for the unique element in D 0 which is in the left cell containing x.) If a(w) = a(y), by 1.3 (a), then w and y are in the same left cell or in the same right cell. It is no harm to assume that y,w are in the same left cell since µ(y,w) = µ(y 1,w 1 ). Then y,w are in different right cell (cf [K, 5]. This implies that γ y 1,w,u = 0 for all u S n (see [1, 6.3(a)]. If δ y 1,w,d 0, then d = d(w). Thus in this case we still have µ(y,w) = δ y 1,w,d(w). Conversely, assume that δ x,y,z 0. It is no harm to assume that a(y) a(x). Then y and z are in the same left cell, cf 1.2 (c) and [1, 6.3(b)]. Thus we can find a sequence of right star operations ϕ k,...,ϕ 1 such that ϕ k ϕ 1 (z) = d is in D 0, see [K, 5]. By a similar argument as for [X, Prop (b)], we see that h x,y,z = h x,y,d, here y = ϕ k ϕ 1 (y). In particular we have δ x,y,z = δ x,y,d. If a(y) > a(x), by Springer s formula 1.2 (a), the value δ x,y,d is equal to µ(x 1,y ) or µ(y,x 1 ). If a(y) = a(x), then d and x are in the same right cell, d and y are in the same left cell. So x,y 1 are in the same right cell and are not in the same left cell. Thus γ x,y,u = 0 for any u (see [1, 6.3(a)]. In this case we also have δ x,y,d = µ(x 1,y ) or δ x,y,d = µ(y,x 1 ). The proposition is proved. In the proof we see the following Corollary 2.2. If a(y) a(x), then δ x,y,z = δ x,y,d = µ(x 1,y ) or µ(y,x 1 ) for some y in the right cell containing y and some d in D 0. When y and w are in the same two-sided cell we have the following result.

5 THE EADING COEFFICIENTS OF CETAIN KAZHDAN-USZTIG POYNOMIAS 5 Proposition 2.3. The set {π(f) f D 1 } is the same as the set {µ(x,y) x y and µ(x,y) 0}. Proof: If µ(x,y) 0 and x and y are in the same two-sided cell, by 1.3 (b) and [1, 6.3], x and y are in the same left cell or in the same right cell. It is no harm to assume that x and y are in the same left cell. By Springer s formula 1.2 (a), δ = δ x,y 1,d(y 1 ) 0 or γ = γ x,y 1,f 0 for some f D 1. Since y and w are not in the same right cell, we have δ = 0 and γ 0. Note that γ x,y 1,f 0 implies that f x and f y 1, see [1, 6.3]. Such f is unique. Moreover, using [X, Theorem 1.4.5], [K, 5] and [2, 1.4(a)], γ x,y 1,f = 1 in this case. Therefore µ(x,y) = γ x,y 1,fπ(f) = π(f). The proposition is proved. For simplifying statements, in the rest of this section we set µ(y,w) = µ(w,y) whenever one of µ(y,w), µ(w,y) is defined. Note that we have µ(f,d(f)) = γ f,d(f),f π(f) = π(f). Thus we have Corollary 2.4. The set {µ(x,y) x y and µ(x,y) 0} is the same as the set {µ(f,d) f D 1, d D 0, and f d, µ(f,d) 0} et f,x S n. If x f and h f,f,x 0, then x f and x f. Thus we must have x = f, since in a two-sided cell of S n, each left cell and each right cell have exactly one common element. et M f be the irreducible module of H A Q(q 1 2) provided by the left cell of S n containing f (cf, [K]). Then we have h f,f,f = tr(c f,m f ). By [X, Prop (b)], we see that h f,f,f = h f,d,d, where d D 0 and d f. Thus δ f,f,f = µ(f,d). Therefore we also have {µ(x,y) x y} = {δ f,f,f f S n } (we set µ(x,x) = 0). 3. Proof of Theorem Now we can prove the main result. et y w be elements in S n such that a(y) < a(w) and µ(y,w) 0. By 1.3 (a), we have y w and y w. Thus (y) is a subset of (w). If there is a simple reflection s in (w) (y), then P y,w = P sy,w and the condition µ(y,w) 0 forces that sy = w and µ(y,w) = 1. Now assume that (w) = (y). According to [K, 5], there exists some subset I of {1,2,...,n 1} and a sequence ϕ i,...,ϕ 1 of left star operations such that ϕ i ϕ 1 (w) w I. (We use W I for the subgroup of S n generated by all s i, i I, and denote by w I the longest element of W I.) For j = 1,2,...,i, set w j = ϕ j ϕ 1 (w) and set w 0 = w. et k be the maximal number among 1,2,...,i such that y j = ϕ j ϕ 1 (y) is well defined for all j = 1,2,...,k. Set y 0 = y. If for some 1 j k, we have w j y j and y m w m for m = 0,1,...,j 1, using 1.3 (e) we see that 1 = µ(w j,y j ) = µ(y j 1,w j 1 ) = µ(y,w). Now assume that y j w j for all j = 1,2,...k. Using 1.3 (e) we get µ(y k,w k ) = µ(y,w). We claim that (w k ) (y k ) is non-empty. Since a(y j ) = a(y) < a(w) = a(w j ) for all j = 0,1,2,...,k, we always have (y j ) (w j ) for all j. If k < i, the set (w k ) (y k ) must be non-empty. Otherwise, we must have (w k ) = (y k ). Thus y k+1 = ϕ k+1 (y k ) is well defined. This contradicts the assumption on k. When k = i, we have (w k ) = {s j j I}. If (w k ) (y k ), then we can find y such that y k = w I y and l(y k ) = l(w I )+l(y ). Thus a(y) = a(y k ) a(w I ) = a(w k ) = a(w). A

6 6 N. XI contradiction. Therefore in this case we also have that (w k ) (y k ) is non-empty. We then must have l(w k ) = l(y k )+1 and µ(y k,w k ) = µ(y,w) = 1. The theorem is proved. emark. Using the result [S, emma ] and a similar argument as above onecan provethat Theorem 1.4remains true for an affine Weyl groupoftype Ãn 1. Proposition 3.2. For S n, n 4, the set {µ(y,w) y,w S n } is equal to the set {µ(y,w) y,w S n and a(y) > a(w)}. Proof: Clearly, when n 4, 1 is in the set A = {µ(y,w) y,w S n and a(y) > a(w)}. By Theorem 1.4, we only need to show that if a(y) = a(w), then µ(y,w) is in A. To do this we need some preparation. et U = U 0 be the subgroup of S n generated by s 2,s 3,...,s n 1. For i = 1,2,...,n 1, we set U i = s i s 2 s 1 U 0 and U i = U 0s 1 s 2 s i. Then U i U j = if i j and S n = U 0 U 1 U n 1. Moreover if w is in U 0, then the length of s i s 2 s 1 w is l(w)+i. The following assertions (a) and (b) are easy to prove. (a) et y U i and w U j. If y w, then i j. (b) et y = s i s 2 s 1 y 1 and w = s i s 2 s 1 w 1 be elements in U i. Then P y,w = P y1,w 1. For a subset I of {1,2,...,n 1}, let W I be the subgroup of S n generated by s i,i I and w I the longest element of W I. et I = I 1 I 2 I m be a subset of {1,2,...,n 1}. Assume that I 1 = {1,2,...,k 1 } and I j = {k j 1 + 2,k j 1 + 3,...,k j } for j = 2,3,...,m. Then w I = w I1 w I2 w Im. Assume that k 1 +1 k 2 k 1 k 3 k 2 k m k m 1 1. The shape of the Young tableau P(w I ) is λ(w I ) = (k 1 +1,k 2 k 1,...,k m k m 1,1,...,1). According to 1.5 and [K, 5], we have (c) for each element w in S n we can find a unique subset I λ of {1,2,...,n 1} as above such that w w I and can find a sequence ϕ i,...,ϕ 1 of left star operations such that ϕ i ϕ 1 (w) w I. Now we claim the following assertion. (d) et I be as above and w w I. Then w is in U k1. We argue for (d). et j be such that w is in U j. Clearly we have j k 1. If j > k 1, then j = k a for some 2 a m and w = s j s j 1 s 2 s 1 w 1 for some w 1 U. et u = s ka 1+2s ka 1+3 s j w. Then w u and s ka 1+1u u. Clearly, for any i in I 1 I 2 I a 1 I a+1 I m, we have s i s ka 1+2s ka 1+3 s j = s ka 1+2s ka 1+3 s j s i. Thus, for these i we have s i u u. It is easy to check that for i in I a {k a 1 +2}, we have s i u u. et J = I 1 I 2 I a 2 (I a 1 {k a 1 +1}) (I a {k a 1 +2}) I a+1 I m. Then u = w J u 1 for some u 1 with l(u) = l(w J ) + l(u 1 ). Thus a(u) a(w J ) = a(w I ) (k a 1 k a 2 ) (k a k a 1 ) a(w I ) + 1 (we set k 1 = 1). This contradicts a(u) a(w) = a(w I ). Therefore (d) is true. Now we can complete the proof of the proposition. Assume that a(y) = a(w). Then y w or y w. It is no harm to assume that y w since µ(y,w) = µ(y 1,w 1 ). Also we may assume that µ(y,w) > 1. Since a left star operation sendsarightcell toarightcellwith the samea-functionvalue and it keepsthe value of the µ(y,w) (see 1.3(e)), it is now harm to assume that y w w I, where I is as in (d). By (d), we know that both y and w are in U k1. Set y = s k1 s 2 s 1 y 1 and w = s k1 s 2 s 1 w 1. Then y 1 and w 1 are in U. By (b), we have µ(y,w) = µ(y 1,w 1 ).

7 THE EADING COEFFICIENTS OF CETAIN KAZHDAN-USZTIG POYNOMIAS 7 If a(y 1 ) < a(w 1 ) or a(y 1 ) > a(w 1 ), we are done. If a(y 1 ) = a(w 1 ), continuing the above process or using induction on n, we see that µ(y,w) is in A. The proposition is proved. Here is a question. For y w in S n with µ(y,w) 0 and a(y) > a(w), whether we can find y and w in some S r such that y w and µ(y,w) = µ(y,w ) Using 1.5 (b) we get the following assertion. (a) et w be in S n and I be as (d) of the proof of Proposition 3.2. Then w w I if and only if the following conditions are satisfied: (1) For k i 1 +2 f < g k i (set k 0 = 1), we have w 1 (f) > w 1 (g). (2) For each 1 f n, we have w(i i ) {1,2,...,f} w(i i+1 ) {1,2,...,f}. (We set I m+j = {k m +j} for 1 j n k m.) (b) By means of (b) in the proof of Proposition 3.2 we see easily that µ(y,w) 1 if y w and a(w) = 1. Acknowledgement: Part of the work was done during my visit to the Department of Mathematics, Hong Kong University of Science and Technology. I am very grateful to the department for hospitality and for financial support. I would like to thank Professor Y. Zhu for helpful discussions and for arranging the visit. eferences [BV] D. Barbasch and D. Vogan, Primitive ideals and orbital integrals in complex classical groups, Math. Ann. 259 (1982), [GM] A. M. Garsia and T. J. Mclarnan, elations between Young s Natural and the Kazhdan- usztig representations of S n, Adv. Math. 69 (1988), [K] D. Kazhdan and G. usztig, epresentations of Coxeter groups and Hecke algebras, Invent. Math. 53 (1979), [1] G. usztig, Cells in affine Weyl groups, in Algebraic groups and related topics, Advanced Studies in Pure Math., vol. 6, Kinokunia and North Holland, 1985, pp [2] G. usztig, Cells in affine Weyl groups, II, J. Alg. 109 (1987), [3] G. usztig, etter to T. A. Springer, [4] G. usztig, Nonlocal finiteness of a W-graph, epresent. Theory 1 (1996), [MW] T. Mcarnan and G. Warrington, Counterexamples to the 0,1-Conjecture, epresent. Theory 7 (2003), [S] J.-Y. Shi, Kazhdan-usztig cells of certain affine Weyl groups, NM 1179, Springer-Verlag, Berlin, [Sp] T. A. Springer, etter to G. usztig, [X] N. Xi, The based ring of two-sided cells of affine Weyl groups of type Ãn 1, Mem. of AMS, No. 749, vol. 157, N.X., Institute of Mathematics, Chinese Academy of Sciences, Beijing , CHINA address: nanhua@mail2.math.ac.cn