Zero action on perfect crystals for \(U_q(G_2^{(1)})\) (Q970338): Difference between revisions

The authors give an explicit description of the Kashiwara operators on the perfect \(U_q(G_2^{(1)})\)-crystals \(B_l\) given in [\textit{S. Yamane}, J. Algebra 210, No. 2, 440--486 (1998; Zbl 0929.17013)] and show that \( \{ B_l \}_{l \geq 1}\) forms a coherent family of perfect crystals. They first consider the perfect \(U_q(D_4^{(3)})\)-crystals \(\hat{B}_l\) given in [\textit{M. Kashiwara}, \textit{K.C. Misra}, \textit{M. Okado} and \textit{D. Yamada}, J. Algebra 317, No. 1, 392--423 (2007; Zbl 1140.17012)]. Then they find a suitable subset \(V_l\) of \(\hat{B}_l\), which is closed under the operators \(e_i^{m_i}\) and \(f_i^{m_i}\) (i=0,1,2), where \((m_0,m_1,m_2) = (3,3,1)\). Using the explicit description of the perfect \(U_q(D_4^{(3)})\)-crystals \(\hat{B}_l\), they prove that \(V_l\) is a \(U_q(G_2^{(1)})\)-crystal which is isomorphic to \(B_l\) and describe the structure of \(B_l\) explicitly. This description gives that \( \{ B_l \}_{i \geq 1}\) forms a coherent family of perfect crystals.