Ultra-discretization of the D₄^(3)-geometric crystal to the G₂^(1)-perfect crystals

From MaRDI portal
Publication:411910



Abstract: Let g be an affine Lie algebra and g^L be its Langlands dual. It is conjectured that g has a positive geometric crystal whose ultra-discretization is isomorphic to the limit of certain coherent family of perfect crystals for g^L. We prove that the ultra-discretization of the positive geometric crystal for g = D_4^3 given by Igarashi and Nakashima is isomorphic to the limit of the coherent family of perfect crystals for g^L= G_2^1 constructed recently by Misra, Mohamad and Okado.


Let \(\mathfrak{g}\) be an affine Kac-Moody algebra and \(\mathfrak{g}^L\) its Langlands dual. It was conjectured in [\textit{M. Kashiwara}, \textit{T. Nakashima} and \textit{M. Okado}, Trans. Am. Math. Soc. 360, No. 7, 3645--3686 (2008; Zbl 1219.17010)] that \(\mathfrak{g}\) has a positive geometric crystal structure whose ultra-discretization is isomorphic to the limit of certain coherent family of perfect crystals for \(\mathfrak{g}^L\). This conjecture was proved in the same paper for type \(A_n^{(1)}\), \(B_n^{(1)}\), \(C_n^{(1)}\), \(D_n^{(1)}\), \(A_{2n-1}^{(2)}\), \(A_{2n}^{(2)}\), \(D_{n+1}^{(2)}\). In this paper, the authors prove this conjecture for \(\mathfrak{g} = D_4^{(3)}\). A positive geometric crystal \(\mathcal{V}\) for \(\mathfrak{g} = D_4^{(3)}\) was constructed by two of the authors in [\textit{M. Igarashi} and \textit{T. Nakashima}, Contemp. Math. 506, 215--226 (2010; Zbl 1276.17009)], and the coherent family \(\{ B_l \}_{l \geq 1}\) of perfect crystals for the Langlands dual \(\mathfrak{g}^L=G_2^{(1)}\) was constructed by one of the authors and his collaborators in [\textit{K. C. Misra}, \textit{M. Mohamad} and \textit{M. Okado}, SIGMA, Symmetry Integrability Geom. Methods Appl. 6, 022, 12 p. (2010; Zbl 1241.17017)]. In this paper, the authors describe the structure of the crystal obtained by the ultra-discretization of the geometric crystal \(\mathcal{V}\) for type \(D_4^{(3)}\) and then prove that it is isomorphic to the limit of the coherent family \(\{ B_l \}_{l \geq 1}\) of the perfect crystals for type \(G_2^{(1)}\).











This page was built for publication: Ultra-discretization of the \(D_4^{(3)}\)-geometric crystal to the \(G_2^{(1)}\)-perfect crystals

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q411910)