Let be a Coxeter system of type , so that can be identified with the symmetric group for some positive integer and with the set of simple transpositions ${,(i,i+1)\mid 1\leqslant i\leqslant n-1,}\leqslant_{\mathsf L}WJ\subseteq Sw_J$ be the longest element of the subgroup generated by . We show that the basic skew diagrams with boxes are in bijective correspondence with the pairs such that the set is a nonempty union of Kazhdan-Lusztig left cells. These are also the pairs such that is a -graph ideal with respect to . Moreover, for each such pair the elements of are in bijective correspondence with the standard tableaux associated with the corresponding skew diagram.

生成讲解博客的中文版本

生成AI智能校验的中文版本