Existence of crystal bases for Kirillov-Reshetikhin modules of type \(D\) (Q945596)

This paper is part of the programme to establish the existence of crystal bases (also called canonical bases) for modules of quantized enveloping algebras. The particular case under consideration here is that of Kirillov-Reshetikhin (KR) modules for the quantum affine algebra (without degree operator) \(U'_{q}(D^{(1)}_{n})\) of type \(D\). KR modules are a distinguished family of irreducible finite-dimensional modules, introduced in [\textit{A. N. Kirillov} and \textit{N. Yu. Reshetikhin}, J. Sov. Math. 52, No. 3, 3156--3164 (1990); translation from Zap. Nauchn. Semin. Leningr. Otd. Mat. Inst. Steklova 160, 211--221 (1987; Zbl 0900.16047)]. Prior to this work, Kang et al. [\textit{S.-J. Kang, M. Kashiwara, K. C. Misra, T. Miwa, T. Nakashima} and \textit{A. Nakayashiki}, Duke Math. J. 68, No. 3, 499--607 (1992; Zbl 0774.17017)] had shown the existence of a crystal basis in type \(D\) for the KR modules \(W_{l}^{(k)}\) for \(k=1,n-1,n\), \(l\in \mathbb{Z}_{>0}\). Also, \textit{M. Kashiwara} [Duke Math. J. 112, No. 1, 117--195 (2002; Zbl 1033.17017)] and \textit{Y. Koga} [J. Algebra 217, No. 1, 312--334 (1999; Zbl 0941.17010)] had demonstrated existence for \(W_{1}^{(k)}\) for arbitrary \(k\). The present work completes this case by showing that for \(2\leq k \leq n-2\) and \(l\geq 1\) the KR module \(W_{l}^{(k)}\) has a crystal pseudobase. (The pair \((L,B)\) is a crystal pseudobase if \((L,B/\{\pm 1\})\) is a crystal base.) The method of proof follows the technique of Kang et al. (op. cit.), constructing \(W_{l}^{(k)}\) from \(W_{1}^{(k)}\) by the fusion construction and using a criterion for the result of this construction to have a crystal pseudobase.