arXiv++ Combinatorics

We use Khovanov-Lauda-Rouquier algebras to categorify a crystal isomorphism between a highest weight crystal and the tensor product of a perfect crystal and another highest weight crystal, all in level 1 type A affine. The nodes of the perfect crystal correspond to a family of trivial modules and the nodes of the highest weight crystal correspond to simple modules, which we may also parameterize by $\ell$-restricted partitions. In the case $\ell$ is a prime, one can reinterpret all the results for the symmetric group in characteristic $\ell$. 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.

We give a bijection $Φ$ from rigged configurations to a tensor product of Kirillov--Reshetikhin crystals of the form $B^{r,1}$ and $B^{1,s}$ in type $D_4^{(3)}$. We show that the cocharge statistic is sent to the energy statistic for tensor products $\bigotimes_{i=1}^N B^{r_i,1}$ and $\bigotimes_{i=1}^N B^{1,s_i}$. We extend this bijection to a single $B^{r,s}$, show that it preserves statistics, and obtain the so-called Kirillov--Reshetikhin tableaux model for $B^{r,s}$. Additionally, we show that $Φ$ commutes with the virtualization map and that $B^{1,s}$ is naturally a virtual crystal in type $D_4^{(1)}$, thus defining an affine crystal structure on rigged configurations corresponding to $B^{1,s}$.

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.

We study the description of the crystal structure on the set of Mirković-Vilonen polytopes. Anderson and Mirković defined an operator and conjectured that it coincides with the Kashiwara operator. Kamnitzer proved the conjecture for type A and gave an counterexample for type C_{3}. He also gave an explicit formula to calculate the Kashiwara operator for type A. In this paper we prove that a part of the AM conjecture still holds in general, answering an open question of Kamnitzer (2007). Moreover, we show that although the formula given by Kamnitzer does not hold in general, it is still valid in many cases regardless of the type. The main tool is the connection between MV polytopes and preprojective algebras developed by Baumann and Kamnitzer.

For a given skew shape, we build a crystal graph on the set of all reverse plane partitions that have this shape. As a consequence, we get a simple extension of the Littlewood-Richardson rule for the expansion of the corresponding dual stable Grothendieck polynomial in terms of Schur polynomials.

We give a new description of the set $Adm(μ)$ of admissible alcoves as an intersection of certain "obtuse cones" of alcoves, and we show this description may be given by imposing conditions vertexwise. We use this to prove the vertexwise admissibility conjecture of Pappas-Rapoport-Smithling. The same idea gives simple proofs of two ingredients used in the proof of the Kottwitz-Rapoport conjecture on existence of crystals with additional structure.

Rigged configurations are known to provide action-angle variables for remarkable discrete dynamical systems known as box-ball systems. We conjecture an explicit piecewise-linear formula to obtain the shapes of a rigged configuration from a tensor product of one-row crystals. We introduce cylindric loop Schur functions and show that they are invariants of the geometric R-matrix. Our piecewise-linear formula is obtained as the tropicalization of ratios of cylindric loop Schur functions. We prove our conjecture for the first shape of a rigged configuration, thus giving a piecewise-linear formula for the lengths of the solitons of a box-ball system.

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

We apply crystal theory to affine Schubert calculus, Gromov-Witten invariants for the complete flag manifold, and the positroid stratification of the positive Grassmannian. We introduce operators on decompositions of elements in the type-$A$ affine Weyl group and produce a crystal reflecting the internal structure of the generalized Young modules whose Frobenius image is represented by stable Schubert polynomials. We apply the crystal framework to products of a Schur function with a $k$-Schur function, consequently proving that a subclass of 3-point Gromov-Witten invariants of complete flag varieties for $\mathbb C^n$ enumerate the highest weight elements under these operators. Included in this class are the Schubert structure constants in the (quantum) product of a Schubert polynomial with a Schur function $s_λ$ for all $|λ^\vee|< n$. Another by-product gives a highest weight formulation for various fusion coefficients of the Verlinde algebra and for the Schubert decomposition of certain positroid classes.

We study cells in generalised Bott-Samelson varieties for type C. These cells are parametrised by certain galleries in the affine building. We define a set of readable galleries - we show that the closure in the affine Grassmannian associated to a gallery in this set is an MV cycle. This then defines a map from the set of readable galeries to the set of MV cycles, which we show to be a morphism of crystals. We further compute the fibres of this map in terms of the Littelmann path model.

We observe that word reading is a crystal morphism. This leads us to prove that, in the case of the complex special linear group, the map from all galleries to MV cycles is a morphism of crystals.

We review Stanley's seminal work on the number of reduced words of the longest element of the symmetric group and his Stanley symmetric functions. We shed new light on this by giving a crystal theoretic interpretation in terms of decreasing factorizations of permutations. Whereas crystal operators on tableaux are coplactic operators, the crystal operators on decreasing factorization intertwine with the Edelman-Greene insertion. We also view this from a random perspective and study a Markov chain on reduced words of the longest element in a finite Coxeter group, in particular the symmetric group, and mention a generalization to a poset setting.

We describe a combinatorial realization of the crystals $B(\infty)$ and $B(λ)$ using rigged configurations in all symmetrizable Kac-Moody types up to certain conditions. This includes all simply-laced types and all non-simply-laced finite and affine types.

We conjecture a deformation of the Weyl character formula for type G_2 in the spirit of Tokuyama's formula for type A. Using our conjecture we prove a combinatorial version of the Gindikin--Karpelevic formula for G_2, in the spirit of Bump--Nakasuji's formula for type A.

A geometric study of twin and grain boundaries in crystals and quasicrystals is achieved via coincidence site lattices (CSLs) and coincidence site modules (CSMs), respectively. Recently, coincidences of shifted lattices and multilattices (i.e. finite unions of shifted copies of a lattice) have been investigated. Here, we solve the coincidence problem for a shifted hexagonal lattice. This result allows us to analyze the coincidence isometries of the hexagonal packing by viewing the hexagonal packing as a multilattice.

We prove a restriction of an analogue of the Robinson--Schensted--Knuth correspondence for semi-skyline augmented fillings, due to Mason, to multisets of cells of a staircase possibly truncated by a smaller staircase at the upper left end corner, or at the bottom right end corner. The restriction to be imposed on the pairs of semi-skyline augmented fillings is that the pair of shapes, rearrangements of each other, satisfies an inequality in the Bruhat order, w.r.t. the symmetric group, where one shape is bounded by the reverse of the other. For semi-standard Young tableaux the inequality means that the pair of their right keys is such that one key is bounded by the Schützenberger evacuation of the other. This bijection is then used to obtain %recover an expansion formula of the non-symmetric Cauchy kernel, over staircases or truncated staircases, in the basis of Demazure characters of type $A$, and the basis of Demazure atoms. The expansion implies Lascoux expansion formula, when specialised to staircases or truncated staircases, and make explicit, in the latter, the Young tableaux in the Demazure crystal by interpreting Demazure operators via elementary bubble sorting operators acting on weak compositions.

We study the polytope model for the affine type $A$ Kirillov-Reshetikhin crystals and prove that the action of the affine Kashiwara operators can be described in a remarkable simple way. Moreover, we investigate the combinatorial $R$-matrix on a tensor product of polytopes and characterize the map explicitly on the highest weight elements. We further give a formula for the local energy function and provide an alternative proof for the perfectness. We determine for any dominant highest weight element $Λ$ of level $\ell$ the elements $b_Λ, b^Λ$ involved in the definition of perfect crystals and give an explicit description of the ground-state path in the tensor product of polytopes.

We describe a set $\mathcal{R}^{\infty}$ consisting of tuples of integer sequences and provide certain explicit maps on it. We show that this defines a semiregular crystal for $\mathfrak{sl}_{n+1}$ and $\mathfrak{sp}_{2n}$ respectively. Furthermore we define for any dominant integral weight $λ$ a connected subcrystal $\mathcal{R}(λ)$ in $\mathcal{R}^{\infty}$, such that this crystal is isomorphic to the crystal graph $B(λ)$. Finally we provide an explicit description of these connected crystals $\mathcal{R}(λ)$.