W-graph determining elements in type A

TL;DR

This paper establishes a bijection between skew diagrams with n boxes and certain pairs in the symmetric group related to Kazhdan-Lusztig cells, connecting combinatorics with representation theory.

Contribution

It characterizes skew diagrams in terms of W-graph ideals and Kazhdan-Lusztig cells within type A Coxeter systems, linking combinatorial and algebraic structures.

Findings

Bijective correspondence between skew diagrams and pairs (w,J)

Identification of W-graph ideals with skew diagram structures

Standard tableaux correspond to elements in W-graph ideals

Abstract

Let $(W,S)$ be a Coxeter system of type $A$, so that $W$ can be identified with the symmetric group $\mathrm{Sym}(n)$ for some positive integer $n$ and $S$ with the set of simple transpositions $\{\,(i,i+1)\mid 1\leqslant i\leqslant n-1\,\}$. Let $\leqslant_{\mathsf L}$ denote the left weak order on $W$, and for each $J\subseteq S$ let $w_J$ be the longest element of the subgroup $W_J$ generated by $J$. We show that the basic skew diagrams with $n$ boxes are in bijective correspondence with the pairs $(w,J)$ such that the set $\{\,x\in W\mid w_J\leqslant_{\mathsf L} x\leqslant_{\mathsf L} ww_J\,\}$ is a nonempty union of Kazhdan-Lusztig left cells. These are also the pairs $(w,J)$ such that $\mathscr{I}(w)=\{\,v\in W\mid v\leqslant_{\mathsf L} w\,\}$ is a $W\!$-graph ideal with respect to $J$. Moreover, for each such pair the elements of $\mathscr{I}(w)$ are in bijective correspondence with the standard tableaux associated with the corresponding skew diagram.