Ultra-discretization of the \(D_4^{(3)}\)-geometric crystal to the \(G_2^{(1)}\)-perfect crystals (Q411910)

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)}\).