Admissible W-graphs were defined and combinatorially characterised by Stembridge in [12]. The theory of admissible W-graphs was motivated by the need to construct W-graphs for Kazhdan-Lusztig cells, which play an important role in the representation theory of Hecke algebras, without computing Kazhdan-Lusztig polynomials. In this paper, we shall show that type A-admissible W-cells are Kazhdan-Lusztig as conjectured by Stembridge in his original paper.the elements of which are called the left descents of w and the right descents of w, respectively. Kazhdan and Lusztig give a recursive procedure that defines polynomials P y,w whenever y, w ∈ W and y < w. These polynomials satisfy deg P y,w 1 2 (l(w) − l(y) − 1), and µ y,w is defined to be the leading coefficient of P y,w if the degree is 1 2 (l(w) − l(y) − 1), or 0 otherwise.to be the group opposite to W, and observe that (W ×W o , S S o ) is a Coxeter system. Kazhdan and Lusztig show that if µ and τ are defined by the formulasgraph. Thus M = AW may be regarded as an (H, H)-bimodule. Furthermore, the construction produces an explicit (H, H)-bimodule isomorphism M ∼ = H. It follows easily from the definition of µ y,w that µ(y, w) = 0 only if l(w) − l(y) is odd; thus (W, µ,τ) is a bipartite graph. The non-negativity of all coefficients of the Kazhdan-Lusztig polynomials, conjectured in [8], has been proved by Elias and Williamson in [5]. Since W and W o are standard parabolic subgroups of W ×W o , it follows that Γ = (W, µ, τ) is a W-graph and Γ o = (W, µ, τ o ) is a W o -graph, where τ and τ o are defined by τ(w) = L(w) and τ o (w) = R(w) o , for all w ∈ W .In accordance with the theory described above, there are preorders on W determined by the (W ×W o )-graph structure, the W-graph structure and the W o -graph structure. We call these the two-sided preorder (denoted by LR ), the left preorder ( L ) and the right preorder ( R ). The corresponding cells are the two-sided cells, the left cells and the right cells.
ADMISSIBLE W-GRAPHSLet (W, S) be a Coxeter system, not necessarily finite. For s, t ∈ S, let m(s,t) be the order of st in W. Thus {s,t} is a bond in the Coxeter diagram if and only if m(s,t) > 2.