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.

Let $U$ be a tensor product of highest weight modules of $GL_n(\mathbb C)$ corresponding to multiples of fundamental weights (i.e. rectangles). We consider three ways to stratify $U^{\otimes k}$ into components: using isotypic components of the cyclic action on tensor factors, using a generalization of the charge statistic, and using certain generalizations of Assaf's dual equivalence graphs. We conjecture that all three ways coincide, and we prove that the latter two ways coincide. The Kirillov-Reshetikhin dual equivalence graphs (KR DEGs) we introduce for this purpose are defined on $0$-weight spaces of tensor products of Kirillov-Reshetikhin crystals. They generalize Kazhdan-Lusztig dual equivalence graphs (KL DEGs) that previously appeared in the study of Kazhdan-Lusztig cells in affine type A. While the tensor products of Kirillov-Reshetikhin crystals are connected as affine crystals, the KR DEGs in general are not.

We prove an inductive formula to construct a path from the highest weight element to any given vertex in the crystal graph of the polytope realization of the Kirillov-Reshetikhin crystal $KR^{i,m}$ of type $A$. For $i \leq 2$ or $i \geq n-1$, we provide explicit formulas of the same by only using the lowering crystal operators and in those cases, using these paths, we determine the explicit image of any element under the affine crystal isomorphisms between the polytope and the tableau realizations of the Kirillov-Reshetikhin crystals.

Lusztig $q$-weight multiplicities extend the Kostka-Foulkes polynomials to a broader range of Lie types. In this work, we investigate these multiplicities through the framework of Kirillov-Reshetikhin crystals. Specifically, for type $C$ with dominant weights and type $B$ with dominant spin weights, we present a combinatorial formula for Lusztig $q$-weight multiplicities in terms of energy functions of Kirillov-Reshetikhin crystals, generalizing the charge statistic on semistandard Young tableaux for type $A$. Additionally, we introduce level-restricted $q$-weight multiplicities for nonexceptional types, and prove positivity by providing their combinatorial formulas.

We conjecture a precise relationship between Lusztig $q$-weight multiplicities for type $C$ and Kirillov-Reshetikhin crystals. We also define $\mathfrak{gl}_n$-version of $q$-weight multiplicity for type $C$ and conjecture the positivity.

We prove the perfectness of Kirillov-Reshetikhin crystals $B^{r,s}$ for types $E_{6}^{(1)}$ and $E_{7}^{(1)}$ with $r$ being the minuscule node and $s\geq 1$ using the polytope model of KR crystals introduced by Jang.

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 biject two combinatorial models for tensor products of (single-column) Kirillov-Reshetikhin crystals of any classical type $A-D$: the quantum alcove model and the tableau model. This allows us to translate calculations in the former model (of the energy function, the combinatorial $R$-matrix, etc.) to the latter, which is simpler.

We obtain an explicit crystal isomorphism between two realizations of crystal bases of finite dimensional irreducible representations of simple Lie algebras of type A and D. The first realization we consider is a geometric construction in terms of irreducible components of certain Nakajima quiver varieties established by Saito and the second is a realization in terms of isomorphism classes of quiver representations obtained by Reineke. We give a homological description of the irreducible components of Lusztig's quiver varieties which correspond to the crystal of a finite dimensional representation and describe the promotion operator in type A to obtain a geometric realization of Kirillov-Reshetikhin crystals.

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$.

We establish a bijection between rigged configurations and highest weight elements of a tensor product of Kirillov-Reshetikhin crystals for all nonexceptional types. A key idea for the proof is to embed both objects into bigger sets for simply-laced types $A_n^{(1)}$ or $D_n^{(1)}$, whose bijections have already been established. As a consequence we settle the $X=M$ conjecture in full generality for nonexceptional types. Furthermore, the bijection extends to a classical crystal isomorphism and sends the combinatorial $R$-matrix to the identity map on rigged configurations.

We construct a type $A_{n-1}^{(1)}$ geometric crystal on the variety ${\rm Gr}(k,n) \times \mathbb{C}^\times$, and show that it tropicalizes to the disjoint union of the Kirillov-Reshetikhin crystals corresponding to rectangular tableaux with $n-k$ rows. A key ingredient in our construction is the $\mathbb{Z}/n\mathbb{Z}$ symmetry on the Grassmannian coming from cyclically shifting the basis of the underlying vector space. We show that a twisted version of this symmetry tropicalizes to combinatorial promotion. Additionally, we use the loop group ${\rm GL}_n(\mathbb{C}(λ))$ to define a unipotent crystal which induces our geometric crystal. We use this unipotent crystal to study the geometric analogues of two symmetries of rectangular tableaux.

We relate the counting of honeycomb dimer configurations on the cylinder to the counting of certain vertices in Kirillov-Reshetikhin crystal graphs. We show that these dimer configurations yield the quantum Kostka numbers of the small quantum cohomology ring of the Grassmannian, i.e. the expansion coefficients when multiplying a Schubert class repeatedly with different Chern classes. This allows one to derive sum rules for Gromov-Witten invariants.

We give a realization of the Kirillov--Reshetikhin crystal $B^{1,s}$ using Nakajima monomials for $\widehat{\mathfrak{sl}}_n$ using the crystal structure given by Kashiwara. We describe the tensor product $\bigotimes_{i=1}^N B^{1,s_i}$ in terms of a shift of indices, allowing us to recover the Kyoto path model. Additionally, we give a model for the KR crystals $B^{r,1}$ using Nakajima monomials.

We conjecture an explicit formula for the image of a tensor product of Kirillov-Reshetikhin crystals $\bigotimes_{i=1}^m B^{1, s_i}$ under the Kirillov-Schilling-Shimozono bijection. Our conjectured formula is piecewise-linear, where the shapes are given by the tropicalization of cylindric loop Schur functions and the riggings are given by the tropicalization of loop Schur functions. We prove that our formula changes the riggings by the correct amount based upon the time evolution of the corresponding box-ball system. We show that our formula is correct under the column splitting portion of the Kirillov-Schilling-Shimozono bijection and for $B^{1, s}$.

We use Khovanov-Lauda-Rouquier (KLR) algebras to categorify a crystal isomorphism between a fundamental crystal and the tensor product of a Kirillov-Reshetikhin crystal and another fundamental crystal, all in affine type. The nodes of the Kirillov-Reshetikhin crystal correspond to a family of "trivial" modules. The nodes of the fundamental crystal correspond to simple modules of the corresponding cyclotomic KLR algebra. The crystal operators correspond to socle of restriction and behave compatibly with the rule for tensor product of crystal graphs.

We show that the bijection from rigged configurations to tensor products of Kirillov-Reshetikhin crystals extends to a crystal isomorphism between the $B(\infty)$ models given by rigged configurations and marginally large tableaux.

The behavior of the Kirillov-Schilling-Shimozono bijection is examined under the similarity map on Kirillov-Reshetikhin crystals. It enables us to define this bijection over $\mathbb{Q}$. Conjectures on the extension to $\mathbb{R}$ is also presented.

Kirillov-Reshetikhin crystals are colored directed graphs encoding the structure of certain finite-dimensional representations of affine Lie algebras. A tensor products of column shape Kirillov-Reshetikhin crystals has recently been realized in a uniform way, for all untwisted affine types, in terms of the quantum alcove model. We enhance this model by using it to give a uniform realization of the combinatorial $R$-matrix, i.e., the unique affine crystal isomorphism permuting factors in a tensor product of KR crystals. In other words, we are generalizing to all Lie types Schützenberger's sliding game (jeu de taquin) for Young tableaux, which realizes the combinatorial $R$-matrix in type $A$. Our construction is in terms of certain combinatorial moves, called quantum Yang-Baxter moves, which are explicitly described by reduction to the rank 2 root systems. We also show that the quantum alcove model does not depend on the choice of a sequence of alcoves joining the fundamental one to a translation of it.

In this paper, we extend work of the first author on a crystal structure on rigged configurations of simply-laced type to all non-exceptional affine types using the technology of virtual rigged configurations and crystals. Under the bijection between rigged configurations and tensor products of Kirillov-Reshetikhin crystals specialized to a single tensor factor, we obtain a new tableaux model for Kirillov-Reshetikhin crystals. This is related to the model in terms of Kashiwara-Nakashima tableaux via a filling map, generalizing the recently discovered filling map in type $D_n^{(1)}$.