arxiv: v2 [math.rt] 6 Jan 2019

Transcription

1 THE OWEST TWO-SIDED CE OF WEIGHTED COXETE GOUPS OF ANK 3 JIANWEI GAO arxiv: v2 [math.t] 6 Jan 2019 Abstract. In this paper, we give precise description for the lowest lowest two-sided cell c 0 and the left cells in it for a weighted Coxeter group of rank 3. Then we show conjectures P1 P15 and P hold for c 0 and do some calculation for the based ring of c Introduction et (W,S,) be a weighted Coxeter group. In [3, 13.4], G.usztig conjectured that the maximal weight value of the longest elements of the finite parabolic subgroups of W is a bound for (W,S,). This property is referred as boundness of a weighted Coxeter group([3, 13.2]). When the rank of W is 1 or 2, this conjecture is clear. In [Gao, 2.1], I proved this conjecture when rank(w) = 3. As a consequence, W has a lowest two-sided cell c 0, see [Gao, 7.1]. In this paper, we give precise description for c 0 and the left cells in it. Then we can show conjectures P1 P15 and P hold for c 0. At last, we do some calculation for the based ring of c Preliminaries 1.1. In this paper, for any Coxeter group (W,S), we assume the generating set S is finite. We call S the rank of (W,S) and denote it by rank(w). We use l for the length function and for the Bruhat order of W. The neutral element of W will be denoted by e. For x W, we set (x) = {s S sx < x}, (x) = {s S xs < x}. For s,t W, let m st Z 1 { } be the order of st in W. For any I S, let W I = I. Then (W I,I) is also a Coxeter group, called a parabolic subgroup of (W, S). Denote the longest element of W I by w I if W I <. For s,t S, s t, we use W st instead of W {s,t} and w st instead of w {s,t}. For w 1,w 2,,w n W, we often use the notation w 1 w 2 w n instead of w 1 w 2 w n if l(w 1 w 2 w n ) = l(w 1 )+l(w 2 )+ +l(w n ). Key words and phrases. Weighted Coxeter group, Hecke algebra, Two-sided cell, eft cell, Based ring. 1

2 2 JIANWEI GAO 1.2. et (W,S) be a Coxeter group. A map : W Z is called a weight function if (ww ) = (w) + (w ) for any w,w W with l(ww ) = l(w)+l(w ). Thenwecall(W,S,)aweighted Coxeter group. In this paper, the weight function for any weighted Coxeter group (W,S,) is assumed to be positive, that is, (s) > 0 for any s S et (W,S,) be a weighted Coxeter group and Z[v,v 1 ] be the ring of aurent polynomials in an indeterminate v with integer coefficients. For f = n Za n v n Z[v,v 1 ] \ {0}, we define deg f = maxn. n Z an 0 Complementally, we define deg 0 =. For w W, set v w = v (w) Z[v,v 1 ]. The Hecke algebra H of (W,S,) is the unital associative Z[v,v 1 ] algebra defined by the generators T s (s S) and the relations (T s v s )(T s +v 1 s ) = 0, s S. T s T t T }{{ s = T } t T s T t, s,t S, m }{{} st <. m st factors m st factors Obviously, T e is the multiplicative unit of H. For any w W, we define T w = T s1 T s2 T sn H, where w = s 1 s 2 s n is a reduced expression of w in W. Then T w is independent of the choice of reduced expression and {T w w W} is a Z[v,v 1 ] basis of H, called the standard basis. We define f x,y,z Z[v,v 1 ] for any x,y,z W by the identity T x T y = f x,y,z T z. z W The following involutive automorphism of rings is useful, called the bar involution: : H H v n v n. T s Ts 1. We have T w = T 1 w for any w W. We set 1 H 0 = w W Z[v 1 ]T w, H <0 = w W v 1 Z[v 1 ]T w. We can get the following facts by easy computation. emma 1.4. (1) For any x,y, W, we have (2) For any x,y,z W, we have (3) For any x,y,z W, we have f x,y,e = δ x,y 1. deg f x,y,z min{(x),(y),(z)}. f x,y,z 1 = f y,z,x 1 = f z,x,y 1.

3 THE OWEST TWO-SIDED CE OF WEIGHTED COXETE GOUPS OF ANK 3 (4) For any finite parabolic subgroup W I of W, x W I, we have Define the degree map deg f wi,w I,x = (x). deg : H Z { } f w T w Max{deg f w w W}. w W And we set N = max (w I ). G.usztig gave the following conjecture I S W I < in [3, 13.4]. Conjecture 1.5. et (W, S, ) be a weighted Coxeter group, S is finite and is positive, then N is a bound for (W,S,). Namely, deg (T x T y ) N for all x,y W. emark 1.6. When W is a finite Coxeter group, this conjecture can be proved using emma 1.4(2). In [1, 7.2], G.usztig proved this conjecture when W is an affine Weyl group. In [SY, 3.2], J.Shi and G.Yang proved this conjecture when W has complete Coxeter graph. In [Gao, 2.1], I proved this conjecture when the rank of W is For any w W, there exists a unique element C w H 0 such that C w = C w and C w T w H <0. The elements {C w w W} form a Z[v,v 1 ] basis of H, called the Kazhdan-usztig basis. We define h x,y,z,p x,y Z[v,v 1 ] for any x,y,z W such that C x C y = z W h x,y,z C z. C y = p x,y T x. x W These polynomials p x,y are called Kazhdan-usztig polynomials. For w W, I = (w), J = (w), we have the factorization w = x w I = w J y for some x,y W. Then we set E x = p x w I,wT x. F y = x x l(x w I )=l(x )+l(w I ) y y l(w J y )=l(w J )+l(y ) p wj y,wt y Using Kazhdan-usztig basis, we can define the preorders,, on W. These preorders give rise to equivalence relations,, on W respectively. The equicalence classes are called left cells, right cells and two-sided cells of W. Then we have partial orders,,

4 4 JIANWEI GAO on the sets of left cells, right cells and two-sided cells of W respectively. For x,y W, we have x y if and only if x 1 y 1. Now we assume Conjecture 1.5 holds and W has a lowest two-sided cell c 0. It is easy to see that deg h x,y,z N for any x,y,z W, so we can define the a-function a : W N w max x,y W deg h x,y,w. For any x,y,z W, we define β x,y,z,γ x,y,z Z such that f x,y,z 1 = β x,y,z v N +lower degree terms. h x,y,z 1 = γ x,y,z v a(z) +lower degree terms. emma 1.9. et x,y,z W. (1) We have β x,y,z = β y,z,x = β z,x,y. (2) We have γ x,y,z = γ y 1,x 1,z 1. (3) If β x,y,z 0, then x y 1, y z 1, z x 1, a(x) = a(y) = a(z) = N, and β x,y,z = γ x,y,z = γ y,z,x = γ z,x,y. (4) If γ x,y,z 0 and a(z) = N, then β x,y,z = γ x,y,z In [3, 14.2,14.3], G.usztig gave some conjectures about the Hecke algebra, which are called P1 P15 and P. When these conjectures hold for c 0, we can study the based ring J 0 of c 0, which is an associative ring with Z basis {t w w c 0 } and multiplication t x t y = z c 0 γ x,y,z 1t z for any x,y c 0. In section 4 of this paper, we will do some calculation for J 0 to study its structure when the rank of W is The boundness of (W,S,) From now on, we assume (W,S,) is a weighted Coxeter group of rank 3 and is positive. We set N = max (w I ). In [Gao, 2.1], I I S W I < proved Conjecture 1.5 in this case. Theorem 2.1. We have deg (T x T y ) N for all x,y W. emark 2.2. In the proof of [Gao, 2.1], I set S = {r,s,t}, m rt = 2, m sr m st, W is infinite and W is not an affine Weyl group, otherwise this conjecture has been proved. When m sr = and m st = 2, or m sr = m st =, the conjecture is easy to check, so I only need to consider the following three cases in [Gao]. Case 1: m sr = > m st 3. m st r s t

5 THE OWEST TWO-SIDED CE OF WEIGHTED COXETE GOUPS OF ANK 35 Case 2: > m sr m st 4, m sr 5. m sr m st r s t Case 3: > m sr 7, m st = 3. m sr 3 r s t Now we set M = {w J J S, W J <, (w J ) = N}. For any w J M, we set Λ = {x u y x,y W, u M}. B J = {x W (x) S \J}. U J = {y W (y) S \J and sw J y / Λ for all s J}. Then Theorem 2.1 has the following corollaries. Corollary 2.3. (1) If x,y W satisfy deg (T x T y ) = N, then both x Λ and y Λ. (2) For any w J M, q w J, x,y W, (x),(y) S \J, we have deg (T xq T y ) N (q). In particular, T xwj T y = T xwj y. (3) For any w J M, the left cell of W containing w J is {x w J x W} = {y W (y) = J}, the right cell of W containing w J is {w J x x W} = {y W (y) = J}. Proof. See [Gao, Section 6]. Corollary 2.4. et w J M, x B J, q < w J. (1) If y B 1 J, l(q) 2, then deg (T xqt y ) < N (q) for the three cases listed in emark 2.2. (2) If y U J, then deg (T xq T y ) < N (q) for any weighted Coxeter group of rank 3. Proof. (1) By the proofs in [Gao, 3.3,4.7,5.8], we have the following tables. Case 1 w J q deg (T xq T y ) w st q < w st, l(q) 2 0 Case 2

6 6 JIANWEI GAO w J q deg (T xq T y ) w sr sr Max{(st),(sr)} w sr rs Max{(st),(sr)} w sr rsr (s) w sr srs Max{(t),(r)} w sr q < w sr, l(q) 4 0 w st st (sr) w st ts (sr) w st tst 0 w st sts (r) w st q < w st, l(q) 4 0 Case 3 w J q deg (T xq T y ) w sr sr (srsr) w sr rs (srsr) w sr srs (srs) w sr rsr Max{(srs),(rsr)} w sr srsr (sr) w sr rsrs (sr) w sr q < w sr, l(q) 5 0 We have deg (T xq T y ) < N (q) in all these three cases. (2) It is obvious when W is a finite Coxeter group. We can get this inequality by [Xie1, 3.1] when W is an affine Weyl group and by [Xie2, 3.5] when W has complete Coxeter graph. Now we only consider other case. If l(q) = 0, by Corollary 2.3(1), we get deg (T x T y ) < N since y / Λ. If l(q) = 1, by Corollary 2.3(1), we get deg (T xq T qy ) < N since qy / Λ, so deg (T xq T y ) < N (q). If l(q) 2, then we must in the three cases listed in emark 2.2, we get deg (T xq T y ) < N (q) by (1). 3. The lowest two-side cell c 0 Now we fix an element w J M and let c 0 be the two-sided cell of W containing w J. In [Gao, 7.1], I proved the following consequence. Proposition 3.1. (1) The two-sided cell c 0 is the lowest two-sided cell of W. (2) We have Λ = {w W a(w) = N} c 0. By Corollary 2.3 and Corollary 2.4, we can prove the following proposition using the same method used in [Xie2, 3.6,3.7]. Proposition 3.2. (1) For w J M, x B J, y U J, we have C xwj y = E x C wj F y. (2) For w J M, y U J, x U 1 J, the set Γ J,y = B J w J y is a left cell of W and Φ x,j = xw J B 1 J is a right cell of W.

7 THE OWEST TWO-SIDED CE OF WEIGHTED COXETE GOUPS OF ANK 37 Now we can give precise description for c 0 and the left cells in it. Theorem 3.3. (1) We have c 0 = Λ = {w W a(w) = N}. (2) The lowest two-sided cell c 0 can be decomposed into left cells as c 0 = Γ J,y. w J M,y U J Proof. (1) It is clear that Λ = w J M B J w J U J = w J M U 1 J w JB 1 J c 0. We claim that for any x W, y Λ, if x y or x y, then x Λ. We only prove the x y case. First, we assume y = z 1 w J z 2 for some w J M, z 1 B J, z 2 U J, h s,y,x 0 for some s S. By Proposition 3.2(1), we have C s C z1 w J z 2 = C s C z2 w J F z2 = z 3 B J h s,z1 w J,z 3 w J C z3 w J F z2 = z 3 B J h s,z1 w J,z 3 w J C z3 w J z 2. We get x = z 3 w J z 2 Λ for some z 3 B J and z 2 U J, the claim is proved. For w c 0, we have w w J and w J Λ, so w Λ by the claim. On the other hand, we have Λ = {w W a(w) = N} c 0 by Proposition 3.1(2). This conclusion follows. (2) It is clear that c 0 = Γ J,y. If w J,w J M, y U J, w J M,y U J y U J such that Γ J,y = Γ J,y, then there exists x B J such that xw J y = w J y. If x e, we take s (x), then s (xw J y) = (w J y ) = J and sw J y = sxw J y Λ, contradict to y U J. So we have x = e. Thus, J = (w J y) = (w J y ) = J, y = y. Therefore, it is a disjoint union. Proposition 3.4. We have the following table for weighted Coxeter groups of rank 3. W the number of left cells in c 0 finite Coxeter group 1 affine Weyl group W 0 m sr =, m st = m rt = 2 2 m sr = m st =, > m rt 2 or 2m rt m sr = m st = m rt = or 3 or 4 other cases When W is an affine Weyl group, W 0 denotes the finite Weyl group

8 8 JIANWEI GAO corresponding to W. When the number of left cells in c 0 has various possibilities, it depends on the weight function. Proof. It is clear when W is a finite Coxeter group. See [Xie1, 3.7] when W is an affine Weyl group. Then we assume m sr m st m rt 2 and consider the following 11 cases. (1) m sr = m st = m rt =. We have N = Max{(r),(s),(t)}. We may assume (r) (s) (t). If (r) = (s) = (t), then Γ {r},e,γ {s},e and Γ {t},e are all the 3 left cells in c 0. If (r) = (s) > (t), then Γ {r},e,γ {s},e,γ {r},t and Γ {s},t are all the 4 left cells in c 0. If (r) > (s) (t), then for different k N, Γ {r},(st) k are different left cells in c 0. (2) m sr = m st =, > m rt 2. We have N = Max{(w rt ),(s)}. If (w rt ) > (s), then for different k N, Γ {r,t},(sr) k are different left cells in c 0. If (w rt ) = (s), then Γ {r,t},e and Γ {s},w,w W rt \ {w rt } are all the 2m rt left cells in c 0. If (s) > (w rt ), then Γ {s},w,w W rt are all the 2m rt left cells in c 0. (3) m sr =, m st = m rt = 2. Now we have N = Max{(st),(rt)}. If (s) > (r), then Γ {s,t},e and Γ {s,t},r are all the 2 left cells in c 0. If (s) = (r), then Γ {s,t},e and Γ {r,t},e are all the 2 left cells in c 0. If (r) > (s), then Γ {r,t},e and Γ {r,t},s are all the 2 left cells in c 0. (4)m sr =, > m st 3,m rt = 2. WehaveN = Max{(w st ),(rt)}. If (w st ) > (rt), then for different k N, Γ {s,t},(rs) k are different left cells in c 0. If (rt) (w st ), then for different k N, Γ {r,t},(sr) k are different left cells in c 0. (5) m sr =, > m st,m rt 3. We have N = Max{(w st ),(w rt )}. We may assume N = (w st ), then for different k N, Γ {s,t},(rst) k are different left cells in c 0. (6) > m sr m st 4, m sr 5, m rt = 2. We have N = Max{(w sr ),(w st )} > (rt). If (w sr ) (w st ), then for different k N, Γ {s,r},(tsrs) k are different left cells in c 0. If (w st ) > (w sr ), then for different k N, Γ {s,t},(rst) k are different left cells in c 0. (7) > m sr 7, m st = 3, m rt = 2. We have N = (w sr ) > Max{(w st ),(rt)}. For different k N, Γ {s,r},(tsrsrs) k are different left cells in c 0. (8) > m sr m st m rt 4. If(w sr ) = N, thenfordifferentk N, Γ {s,r},(tsr) k are different left cells in c 0. (w st ) = N and (w rt ) = N are similar. (9) > m sr m st 4, m rt = 3, (w rt ) = N. For different k N, Γ {r,t},(srt) k are different left cells in c 0. (10) > m sr m st 4, m rt = 3, (w sr ) = N. For different k N, Γ {s,r},(tsr) k are different left cells in c 0. (11) > m sr 4, m st = m rt = 3. Now we have N = (w sr ) > (w st ) = (w rt ). For different k N, Γ {s,r},(tsr) k are different left cells in c 0.

9 THE OWEST TWO-SIDED CE OF WEIGHTED COXETE GOUPS OF ANK 39 For n Z, define π n : Z[v,v 1 ] Z a k v k a n. k Z For z W, define (z) N and n z Z\{0}, such that et p e,z = n z v (z) +lower degree terms. D = {z W a(z) = (z)}. Proposition 3.5. We have the following proposition P1 P15 and P. In particular, Conjectures P1 P15 and P hold for c 0. P1 For z c 0, we have a(z) (z). P2 For d D c 0, x,y c 0, if γ x,y,d 0, then x = y 1. P3 For y c 0, there exists unique d D c 0 such that γ y 1,y,d 0. P4 For z,z W, if z c 0 or z c 0, and z z, then a(z ) a(z). P5 For d D c 0, y c 0, if γ y 1,y,d 0, then γ y 1,y,d = n d = 1. P6 For d D c 0, we have d 2 = e. P7 For x,y,z W, if x c 0 or z c 0, then γ x,y,z = γ y,z,x. P8 For x,y W, z c 0, if γ x,y,z 0, then x y 1, y z 1, z x 1. P9 For z,z W, if z c 0 or z c 0, z z z. P10 For z,z W, if z c 0 or z c 0, z z z. z, and a(z ) = a(z), then z, and a(z ) = a(z), then P11 For z,z W, if z c 0 or z c 0, z z, and a(z ) = a(z), then z z. P12 If y c 0 W I for some I S, then a(y) computed in terms of W I is equal to a(y) computed in terms of W. P13 For any left cell Γ in c 0, we have Γ D = 1. Assume Γ D = {d}, then γ x 1,x,d 0 for all x Γ. P14 For any z c 0, we have z z 1. P15 For x,x W, y,w c 0, we have the equality h x,y,y y c 0 h w,x,y = h x,w,y h y,x,y in Z[v,v 1 ] Z[v,v 1 ]. y c 0 Z P For x,y,z W, z c 0, if γ x,y,z 1 0, z z, then there exists x c 0, such that π a(z) (h x,y,z ) 0. Proof. By Proposition 3.2 and Theorem 3.3, we can prove P1 P15 using the same method used in [Xie1, 4.1]. Here we only give the proof of P.

10 10 JIANWEI GAO Since γ x,y,z 1 0, z c 0, by P8, we have y z. Since z z, z c 0, we get z z by P9. So y,z,z are in the same left cell in c 0. By Theorem 3.3(2), we assume y = aw J b, z = a w J b, z = a w J b for some w J M, b U J, a,a,a B J. Then we have deg (T y T z 1) = deg (T awj bt b 1 w J a 1) = N. Thus there exists x W, such that deg f y,z 1,x 1 = N, By emma 1.9(3) and Theorem 3.3(1), we get x c 0. We have deg f x,y,z = deg f y,z 1,x 1 = N, so deg h x,y,z = N, that is, π a(z) (h x,y,z ) The based ring of c 0 In this section, for a weighted Coxeter group of rank 3, we study the based ring J 0 of its lowest two-sided cell c 0. We want to calculate t x t y for any x,y c 0, but it is quite a difficult problem. For w J,w J M, we set P J,J = {x W (x) = J, (x) = J }. et P = P J,J. w J,w J M By [Xie2, 3.10,3.12], we have the following lemma. emma 4.1. (1) For any w c 0, there exists unique w J,w J M, p w P J,J, x U 1 J, y U J, such that w = x p w y. Moreover, we have C w = E x C pw F y. (2) et w 1,w 2,w 3 c 0. We have the following decomposition as in (1). w 1 = x 1 p 1 y 1, w 2 = x 2 p 2 y 2, w 3 = x 3 p 3 y 3. If y 1 = x 1 2, y 2 = x 1 3, y 3 = x 1 1, (p 1 ) = (p 2 ), (p 2 ) = (p 3 ), (p 3 ) = (p 1 ), then γ w1,w 2,w 3 = γ p1,p 2,p 3. Otherwise, γ w1,w 2,w 3 = 0. The lemma above simplify our work to calculate t x t y for x P J,J, y P J,J, but it is still not easy. So we assume x indecomposable at first. For x P J,J P, we call x indecomposable, if x / M, and there doesn t exist w J M, x 1 P J,J \M, x 2 P J,J \M such that x = x 1 w J x 2. Then we have the following proposition. Proposition 4.2. et (W,S,) be a weight Coxeter group of rank 3 but not an affine Weyl group. Assume w J,w J,w J M, x P J,J and indecomposable, y P J,J, then t xt y = t xwj y +δt wj xy. If there exists y 1 W such that y = x 1 y 1, then δ = 1, otherwise δ = 0. To prove this proposition, we need two lemmas. emma 4.3. et x = x 1 w J P J,J and indecomposable, r J. Then we have x 1 r / c 0 or x 1 r w J U J. Proof. Weassumex 1 r c 0. Sincex 1 w J x 1 r,wegetx 1 w J x 1 r by P10, so (x 1 r) = (x 1 w J ) = J. Assume x 1 r = w J x 2 for

11 THE OWEST TWO-SIDED CE OF WEIGHTED COXETE GOUPS OF ANK113 some x 2 B 1 J. We claim that x 2 U J. Otherwise, there exists r J such that r w J x 2 c 0. By Theorem 3.3, we may assume r w J x 2 = x 3 w J x 4 for some w J M, x 3 B J, x 4 B 1 J. Then we have x = x 1 w J = x 1 r rw J = r r w J x 2 rw J = r x 3 w J x 4 rw J = (r w 3 w J )w J (w J x 4 rw J ). Since x 1 r r x 3 w J, we get x 1 r r x 3 w J by P10, so (r x 3 w J ) = (x 1 r) = J. Thus, we get r x 3 w J P J,J. On the other hand, since x 1 r w J x 4, by P9, we get r (w J x 4 ) = (x 1 r), so (w J x 4 rw J ) = J. Thus, w J x 4 rw J P J,J, contradict to the indecomposability of x. emma 4.4. et x P J,J with J = {r 1,r 2 } and r 1 r 2. Assume x = x 1 w J for some x 1 B J. If (x 1 ) J, then we have (x 1 r 1 ) J or (x 1 r 2 ) J. Proof. If (x 1 r 1 ) = (x 1 r 2 ) = J, we assume Then we have So x 1 r 1 = w J x 2 for some x 2 B 1 J. x 1 r 2 = w J x 3 for some x 3 B 1 J. x = w J x 2 r 1 w J = w J x 3 r 2 w J. x 2 r 1 w J = x 3 r 2 w J. Since (x 1 ) J, we get x 2,x 3 B J. Thus, r 1 w J = r 2 w J and then r 1 = r 2, a contradiction Now we prove Proposition 4.2. Finite Coxeter groups don t have any indecomposable elements. If W has complete Coxeter graph, see [Xie2, 4.2]. For x,y,z c 0, we have γ x,y,z = β x,y,z, so we may compute T x T y. It is much easier than computing C x C y. If m sr = and m st = m rt = 2, we can list all the indecomposable elements and check this proposition directly. weight function indecomposable elements (s) > (r) srst (s) = (r) srt, rst (r) > (s) rsrt The case of m sr = m st =, m rt = 2 is also easy.

12 12 JIANWEI GAO weight function indecomposable elements (rt) > (s) rtsrt (rt) = (s) rts,srt,srs,sts (s) > (rt) srs, sts, srts From now on, we only consider the three cases listed in emark 2.2. We assume x = x w J for some x B J, y = w J y for some y B 1 J. Then we have T x T y = f wj,w J,qT x qt y. q w J When q = w J, by emma 1.4(4) and Corollary 2.3(2), we have deg f wj,w J,w J = (w J ) = N and T x qt y = T xwj y. Since f wj,w J,w J is a monic polynomial, we know f wj,w J,w J T x w J T y contributes t xwj y for t x t y. When q < w J and l(q) 2, by Corollary 2.4(1), we have So deg (f wj,w J,qT x qt y ) < N. q<w J, l(q) 2 f wj,w J,qT x qt y has no contribution for t x t y. Now we assume J = {r 1,r 2 } S with r 1 r 2. Then we have f wj,w J,qT x qt y l(q) 1 = (v r1 v 1 r 1 )T x r 1 T y +(v r2 v 1 r 2 )T x r 2 T y +T x T y. If deg ((v r1 vr 1 1 )T x r 1 T y ) = N or deg (T x T y ) = N, then we have deg (T x r 1 T r1 y ) = N, so x r 1 c 0 by Corollary 2.3(1). Moreover, we have x r 1 w J U J by emma 4.3. Assume f x r 1,r 1 y,z = N for some z W, then γ x r 1,r 1 y,z = β x r 1,r 1 y,z 0. By emma 4.1, there exists y W, such that y = x 1 y. In this case, we have z = (w J y ) 1 and β x r 1,r 1 y,(w J y ) 1 = γ x r 1,r 1 y,(w J y ) 1 = 1, so precisely one of deg ((v r 1 vr 1 1 )T x r 1 T y ) and deg (T x T y ) is N. Similarly, we know precisely one of deg ((v r2 vr 1 2 )T x r 2 T y ) and deg (T x T y ) is N. Nowweclaimthatpreciselyoneofdeg ((v r1 vr 1 1 )T x r 1 T y ),deg ((v r2 vr 1 2 )T x r 2 T y )anddeg (T x T y )isn. Otherwise, wemusthavedeg ((v r1 vr 1 1 )T x r 1 T y ) = deg ((v r2 vr 1 2 )T x r 2 T y ) = N and deg (T x T y ) < N. Thus (x ) J. By emma 4.4, we have (x r 1 ) J or (x r 2 ) J. Since x w J x r 1, x w J x r 2, we get x r 1 / c 0 or x r 2 / c 0 by P10, contradict to Corollary 2.3(1).

13 THE OWEST TWO-SIDED CE OF WEIGHTED COXETE GOUPS OF ANK13 Summarizing the arguments above, we know f wj,w J,qT x qt y l(q) 1 contributes δt wj xy for t x t y. If there exists y 1 W such that y = x 1 y 1, then δ = 1, otherwise δ = 0. We have completed the proof of Proposition 4.2. eferences [AF] A.Bjorner, F.Brenti: Combinatorics of Coxeter groups, Springer (2005). [Bre] K.Bremke: On generalized cells in affine Weyl groups, J.Algebra 191 (1997) [Gao] J.Gao: The boundness of weighted Coxeter groups of rank 3, arxiv: v9, [H] J.E.Humphreys: eflection groups and Coxeter groups, Cambridge Studies in Advanced Mathematics 29 (1992). [K] D.Kazhdan, G.usztig: epresentations of Coxeter groups and Hecke algebras, Invent. Math. 53 (1979) [1] G.usztig: Cells in affine Weyl groups, Algebraic groups and related topics, Adv. Stud. Pure Math. 6 (1985) [2] G.usztig: Cells in affine Weyl groups, II, J.Algebra 109 (1987) [3] G.usztig: Hecke algebras with unequal parameters, CM monograph series 18 (2003). [SY] J.Shi, G.Yang: The boundness of the weighted Coxeter group with complete graph, Proc. Amer. Math. Soc. 144 (2016) [Xi1] N.Xi: epresentations of affine Hecke algebras, ect. Notes Math., [Xi2] Springer 1587 (1994). N.Xi: usztig s a-function for Coxeter groups with complete graphs, Bull. Inst. Math. Acad. Sinica 7 (1) (2012) [Xie1] X.Xie: The based ring of the lowest generalized two-sided cell of an extended affine Weyl group, J.Algebra 477 (2017) [Xie2] X.Xie: The lowest two-sided cell of a Coxeter group with complete graph, J.Algebra 489 (2017) [Zhou] P.Zhou: usztig s a-function for Coxeter groups of rank 3, J.Algebra 384 (2013) Jianwei Gao, Beijing International Center for Mathematical esearch, Peking University, No.5 Yiheyuan oad, Beijing, , People s epublic of China address: gaojianwei@bicmr.pku.edu.cn