Crystal bases and simple modules for Hecke algebra of type \(D_n\). (Q1403888): Difference between revisions

Let \(q=\zeta\) be a primitive \(2l\)-th root of unity in the field of complex numbers \(\mathbb{C}\). The Hecke algebra \({\mathcal H}_\mathbb{C}(B_n)\) of type \(B_n\) over \(\mathbb{C}\) is the associative unital \(\mathbb{C}\)-algebra with generators \(T_0,T_1,\dots,T_{n-1}\) subject to the following relations: \((T_0+1)(T_0-1)=0\); \(T_0T_1T_0T_1=T_1T_0T_1T_0\); \((T_i+1)(T_i-q)=0\) for \(1\leq i\leq n-1\); \(T_iT_{i+1}T_i=T_{i+1}T_iT_{i+1}\) for \(1\leq i\leq n-2\); \(T_iT_j=T_jT_i\) for \(0\leq i<j-1\leq n-2\). The Hecke algebra \({\mathcal H}_\mathbb{C}(D_n)\) of type \(D_n\) over \(\mathbb{C}\) is the associative unital \(\mathbb{C}\)-algebra with generators \(T_u,T_1,\dots,T_{n-1}\) subject to the following relations: \((T_u+1)(T_u-q)=0\); \((T_i+1)(T_i-q)=0\) for \(1\leq i\leq n-1\); \(T_uT_2T_u=T_2T_uT_2\); \(T_uT_1=T_1T_u\); \(T_iT_{i+1}T_i=T_{i+1}T_iT_{i+1}\) for \(1\leq i\leq n-2\); \(T_iT_j=T_jT_i\) for \(1\leq i<j-1\leq n-2\); \(T_uT_i=T_iT_u\) for \(2<i<n\). Clearly we can identify \({\mathcal H}_\mathbb{C}(D_n)\) with the subalgebra of \({\mathcal H}_\mathbb{C}(B_n)\) generated by \(T_u:=T_0T_1T_0\), \(T_1,\dots,T_{n-1}\). For any Kleshchev bipartition (with respect to \((\zeta,1,-1)\lambda=(\lambda^{(1)},\lambda^{(2)})\)) of \(n\), let \(\widetilde D^\lambda\) be the corresponding irreducible \({\mathcal H}_\mathbb{C}(B_n)\)-module. In this paper the author explicitly determines which \(\widetilde D^\lambda\) split and which \(\widetilde D^\lambda\) remain irreducible when restricted to \({\mathcal H}_\mathbb{C}(D_n)\). This yields a complete classification of all the simple modules for the Hecke algebra \({\mathcal H}_\mathbb{C}(D_n)\). His proof makes use of the crystal bases theory for the Fock representation of the quantum affine algebra \(U_q(\widehat{\mathfrak{sl}}_{2l})\) and deep results of \textit{S. Ariki}'s proof of the LLT conjecture [in J. Math. Kyoto Univ. 36, No. 4, 789-808 (1996; Zbl 0888.20011)].