ON THE INDUCTION OF KAZHDAN–LUSZTIG CELLS (Q4433338)

This paper is concerned with the partition of a Coxeter group \(W\) into Kazhdan-Lusztig cells. Theorem. Let \(W'\subset W\) be a standard parabolic subgroup, and let \(X'\) be the set of all \(w\in W\) such that \(w\) has minimal length in the coset \(wW'\). Let \(\mathfrak C\) be a left cell of \(W'\). Then \(X'\cdot{\mathfrak C}\) is a union of left cells of \(W\). This result was first proved by \textit{D. Barbasch} and \textit{D. Vogan} [J. Algebra 80, 350-382 (1983; Zbl 0513.22009)] in the case where \(W\) is a finite Weyl group, using the known bridge between the theory of left cells and the theory of primitive ideals. For arbitrary Coxeter groups, it was conjectured by \textit{Y. Roichman} [Adv. Math. 134, No. 2, 384-398 (1998; Zbl 0909.20028)]. The author's proof of the theorem is completely elementary and self-contained, and it works for \textit{G. Lusztig}'s [Lect. Notes Math. 1024, 99-111 (1983; Zbl 0537.20019)] general definition of left cells involving Iwahori-Hecke algebras with unequal parameters. The above Theorem plays an important role, for example, in Lusztig's determination of the characters of the left cell representations for a finite Coxeter group \(W\) in the equal-parameter case; as such, it was certainly desirable to have an elementary proof that is independent of the theory of primitive ideals. It is likely that the general version of the theorem will play a similar role for the determination of the left cell representations in the unequal-parameter case.