On involutions in symmetric groups and a conjecture of Lusztig. (Q895539)

Let \((W,S)\) be a fixed Coxeter system and let \(*\) be an automorphism of order \(\leq 2\) that preserves \(S\). Define \(I_*:=\{w\in W\mid w^*=w^{-1}\}\). Let \(v\) be an indeterminate over \(\mathbb Z\) and \(u:=v^2\). Set \(\mathcal A:=\mathbb Z[u,u^{-1}]\). Let \(\mathcal H_u\) be the Iwahori-Hecke algebra associated to \((W,S)\) with Hecke parameter \(u^2\) defined over \(\mathcal A\). Let \(M\) be the free \(\mathcal A\)-module with basis \(\{a_w\mid w\in I_*\}\). Define \(X_\emptyset:=\sum_{x\in W,\;x^*=x}u^{-\ell(x)}T_x\). Let \(\mathbb Q(u)\) be the field of rational functions on \(u\). Set \(\mathcal H^{\mathbb Q(u)}:=\mathbb Q(u)\otimes_{\mathcal A}\mathcal H_u\). Lusztig's Conjecture. There is a unique isomorphism of \(\mathcal H^{\mathbb Q(u)}\)-modules \(\eta\colon\mathbb Q(u)\otimes_{\mathcal A}M\cong\mathcal H^{\mathbb Q(u)}X_\emptyset\) such that \(a_1\to X_\emptyset\). The main result that the authors prove is that Lusztig's Conjecture is true in the case when \(*=\mathrm{id}\) and \(W=\mathfrak S_n\) (the symmetric group on \(n\) letters). Some chapter headings are: Reduced \(I_*\)-expressions. Reduced \(I_*\)-expression and braid \(I_*\)-transformation. The lower bound of the dimension of \(\mathcal H^{\mathbb Q(u)}X_\emptyset\) when \(*=\mathrm{id}\) and \(W=\mathfrak S_n\).