Kazhdan--Lusztig cells of a-value 2 via Viennot's heaps
Coxeter groups such as symmetric groups appear naturally in many areas of algebraic combinatorics. In particular, subsets of Coxeter groups known as Kazhdan--Lusztig (KL) cells carry interesting representation theoretic information. We study KL cells of a-value 2, where a refers to an N-valued function defined on Coxeter groups by Lusztig that is constant on each cell. Our results may be viewed as an extension of Lusztig's results on cells of a-value 1 from 1983. Our main tool is heaps, which are certain labeled posets introduced by Viennot to help visualize Cartier and Foata's commutation monoids. Specifically, we note that all elements of a-value 2 are fully commutative in a sense of Stembridge and hence have associated heaps, then we use heaps to classify Coxeter groups with finitely many elements of a-value 2; for such Coxeter groups, we also use heaps to enumerate and characterize all KL cells of a-value 2. This is joint work with Richard Green.