[Paper Review] Existence of Kirillov-Reshetikhin crystals of type $G_2^{(1)}$ and $D_4^{(3)}$

Katsuyuki Naoi|arXiv (Cornell University)|Oct 31, 2017

Algebraic structures and combinatorial models10 references3 citations

TL;DR

This paper proves the existence of crystal pseudobases for all Kirillov-Reshetikhin (KR) modules of type $G_2^{(1)}$ and $D_4^{(3)}$ by applying a criterion from Kang et al., using induction on the $ ho$-label $ ho$ and analyzing prepolarization values via fusion constructions. The key result establishes the first general proof of crystal pseudobase existence for exceptional affine types beyond trivial cases.

ABSTRACT

In this paper we prove that every Kirillov-Reshetikhin module of type $G_2^{(1)}$ and $D_4^{(3)}$ has a crystal pseudobase (crystal base modulo signs), by applying the criterion for the existence of a crystal pseudobase due to Kang et al.

Motivation & Objective

• To establish the existence of crystal pseudobases for Kirillov-Reshetikhin (KR) modules in the exceptional affine types $G_2^{(1)}$ and $D_4^{(3)}$.
• To extend the known result that KR modules have crystal pseudobases—previously proven only for nonexceptional types and special cases in exceptional types.
• To address the gap in the theory where KR modules in exceptional types are not multiplicity-free as $U_q(rak{g}_0)$-modules, complicating the construction of crystal bases.
• To prove that the KR module $W^{2, ho}$ for both $G_2^{(1)}$ and $D_4^{(3)}$ admits a crystal pseudobase for all $ ho \geq 1$.
• To provide a systematic method using fusion constructions and induction to verify the necessary conditions on prepolarization values for the existence of crystal pseudobases.

Proposed method

• Applies the criterion for crystal pseudobase existence from Kang et al. (1992), which reduces the problem to verifying conditions on the values of a prepolarization form on certain vectors.
• Uses the fusion construction to realize $W^{2, ho}$ as a submodule of a tensor product $W^{2, ho-1} \otimes W^{2,1}$, enabling recursive analysis of prepolarization values.
• Employs induction on $ ho$ to prove the required properties of the prepolarization, assuming the result holds for $ ho-1$.
• Derives explicit formulas for the action of $e_2$ on tensor products using quantum integers and $q$-deformations, particularly analyzing terms like $e^{(b,c,d)}(v \otimes w)$ and $e_2 e^{(b,c,d)}(v \otimes w)$.
• Introduces a set of inductive statements (D1)–(D6) for $ ho$, tracking the $A$-integrality and $q$-power bounds of prepolarization norms and inner products.
• Uses the structure of the quantum group and weight lattice to control the $q$-powers in the expressions, ensuring that all relevant inner products lie in $A = \mathbb{Z}[q,q^{-1}]$.

Experimental results

Research questions

• RQ1 Do all Kirillov-Reshetikhin modules of type $G_2^{(1)}$ and $D_4^{(3)}$ admit a crystal pseudobase?
• RQ2 Can the existence of a crystal pseudobase be established in exceptional affine types where KR modules are not multiplicity-free as $U_q(rak{g}_0)$-modules?
• RQ3 Is the criterion for crystal pseudobase existence via prepolarization values applicable and verifiable in these exceptional types through recursive methods?
• RQ4 Can the fusion construction be used to recursively analyze the prepolarization values needed for the crystal pseudobase criterion?
• RQ5 What are the precise $q$-power bounds and integrality conditions on the inner products that guarantee the existence of a crystal pseudobase?

Key findings

• The paper proves that every Kirillov-Reshetikhin module $W^{2, ho}$ of type $G_2^{(1)}$ and $D_4^{(3)}$ has a crystal pseudobase for all $ ho \geq 1$.
• This result constitutes the first general proof of crystal pseudobase existence for KR modules in an exceptional affine type beyond the adjoint node or $ ho=1$.
• The proof relies on an inductive argument using the fusion construction, where $W^{2, ho}$ is embedded into $W^{2, ho-1} \otimes W^{2,1}$, enabling recursive control of prepolarization values.
• The authors establish that the norm $||e_2 e^{(b,c,d)}v_{ ho}||^2$ lies in $A = \mathbb{Z}[q,q^{-1}]$ and satisfies specific $q$-power bounds, which is essential for the crystal pseudobase criterion.
• The inductive statements (D1)–(D6) are verified step-by-step, with $X$, $Y$, $Z$, and $W$ terms in the norm expansion shown to lie in $A$ using previous inductive hypotheses.
• The method successfully handles the non-multiplicity-free nature of KR modules in these exceptional types by carefully tracking $q$-deformed inner products and their integrality.