Existence of Kirillov-Reshetikhin crystals of type \(G_2^{(1)}\) and \(D_4^{(3)}\) (Q1655794): Difference between revisions

Let \(U_q'(\mathfrak{g})\) be a quantum affine algebra without the degree operator. We denote by \(W^{r,\ell}\) the Kirillov-Reshetikhin module over \(U_q'(\mathfrak{g})\), where \(r\) corresponds to a node of the Dynkin diagram of \(U_q'(\mathfrak{g})\) except the node 0, and \(\ell\) is a positive integer. The Kirillov-Reshetikhin modules \(W^{r,\ell}\) are central and important in the research area of quantum affine algebras. It was conjectured that a Kirillov-Reshetikhin module \(W^{r,\ell}\) has a crystal base in the sense of Kashiwara. It was proved that \(W^{r,\ell}\) have crystal (pseudo)bases in various types but it is still open in some other cases. In the paper under review, the author proves that every Kirillov-Reshetikhin module of type \(G_2^{(1)}\) and \(D_4^{(3)}\) has a crystal pseudobase. Note that the existence of a crystal pseudobase of \(W^{1,\ell}\) of type type \(G_2^{(1)}\) and \(D_4^{(3)}\) was proved in [\textit{S. Yamane}, J. Algebra 210, No. 2, 440--486 (1998; Zbl 0929.17013)] for type \(G_2^{(1)}\) and [\textit{M. Kashiwara} et al., J. Algebra 317, No. 1, 392--423 (2007; Zbl 1140.17012)] for type \(D_4^{(3)}\). Thus the author focuses on the case for the remaining node \(2\), and proves the existence of a crystal pseudobase of \(W^{2, \ell}\) by investigating the embedding \( W^{2,\ell} \hookrightarrow W^{2, \ell-1}_{q^{-1}} \otimes W^{2,1}_{q^{\ell-1}}\) for induction.