arXiv++ Combinatorics

We give a uniform realization of Kirillov-Reshetikhin crystals $B^{r,s}$, in terms of PBW crystals, for all affine types, $s \geq 1$, and nodes $r$ in the orbit of the $0$ node in the Dynkin diagram. Our proof is almost uniform except we prove some technical lemmas by first proving the case when the $r$-th fundamental weight $Λ_r$ is minuscule by using properties of minuscule crystal and then extend this to the case when $Λ_r$ is cominuscule using virtual crystals.

In this paper, we investigate the behavior of monomials in the $q$-characters of the fundamental modules over a quantum affine algebra of untwisted type C. As a result, we give simple closed formulae for the $q$-characters of the fundamental modules in terms of sequences of vertices in $\mathbb{R}^2$, so-called paths, with an admissible condition. This may be viewed as a type C analog of the path description of $q$-characters in types A and B due to Mukhin--Young.

The main purpose of this paper is to give a combinatorial realization of Kirillov-Reshetikhin (KR simply) crystals $B^{r, s}$ for type $\text{E}_n^{(1)}$ with a minuscule node $r$ and $s \ge 1$. To do this, we describe explicitly the crystal of the quantum nilpotent subalgebra associated with the translation by the negative of the $r$-th fundamental weight. Then the crystal can be extended as an affine crystal, in which a certain subcrystal characterized by the $\varepsilon_r^*$-statistic is isomorphic to $B^{r,s}$ as an affine crystal, where $\varepsilon_r^*$ is also realized precisely in terms of triple and quadruple paths.

We give a new realization of the prefundamental representations $L^\pm_{r,a}$ introduced by Hernandez and Jimbo, when the quantum loop algebra $U_q(\mathfrak{g})$ is of types $A_n^{(1)}$ and $D_n^{(1)}$, and the $r$-th fundamental weight $\varpi_r$ for types $A_n$ and $D_n$ is minuscule. We define an action of the Borel subalgebra $U_q(\mathfrak{b})$ of $U_q(\mathfrak{g})$ on the unipotent quantum coordinate ring associated to the translation by $-\varpi_r$, and show that it is isomorphic to $L^\pm_{r,a}$. We then give a combinatorial realization of $L^+_{r,a}$ in terms of the Lusztig data of the dual PBW vectors.

We describe the embedding from the crystal of Kashiwara-Nakashima tableaux in type $D$ of an arbitrary shape into that of $\mathbf{i}$-Lusztig data associated to a family of reduced expressions $\mathbf{i}$ which are compatible with the maximal Levi subalgebra of type $A$. The embedding is described explicitly in terms of well-known combinatorics of type $A$ including the Schützenberger's jeu de taquin and an analog of RSK algorithm.

We give a new formula for the branching rule from ${\rm GL}_n$ to ${\rm O}_n$ generalizing the Littlewood's restriction formula. The formula is given in terms of Littlewood-Richardson tableaux with certain flag conditions which vanish in a stable range. As an application, we give a combinatorial formula for the Lusztig $t$-weight multiplicity $K_{μ0}(t)$ of type $B_n$ and $D_n$ with highest weight $μ$ and weight $0$.

We study the crystal of quantum nilpotent subalgebra of $U_q(D_n)$ associated to a maximal Levi subalgebra of type $A_{n-1}$. We show that it has an affine crystal structure of type $D_n^{(1)}$ isomorphic to a limit of perfect Kirillov-Reshetikhin crystal $B^{n,s}$ for $s\geq 1$, and give a new polytope realization of $B^{n,s}$. We show that an analogue of RSK correspondence for type $D$ due to Burge is an isomorphism of affine crystals and give a generalization of Greene's formula for type $D$.