arXiv++ Combinatorics

We prove Rietsch's mirror conjecture that the Dubrovin quantum connection for minuscule flag varieties is isomorphic to the character D-module of the Berenstein-Kazhdan geometric crystal. The idea is to recognize the quantum connection as Galois and the geometric crystal as automorphic. We reveal surprising relations with the works of Frenkel-Gross, Heinloth-Ngô-Yun, and Zhu on Kloosterman sheaves. The isomorphism comes from global rigidity results where Hecke eigensheaves are determined by their local ramification. As corollaries we obtain combinatorial identities for counts of rational curves and the Peterson variety presentation of the small quantum cohomology ring.

For integers $e,\ell\geq 2$, the level $\ell$ Fock space has an $\mathfrak{sl}_\infty$-crystal structure arising from the action of a Heisenberg algebra, intertwining the $\widehat{\mathfrak{sl}_e}$-crystal. The vertices of these crystals are charged $\ell$-partitions. We give the combinatorial rule for computing the arrows anywhere in the $\mathfrak{sl}_\infty$-crystal. This allows us to pinpoint the location of any charged $\ell$-partition. As an application, we compute the support of the spherical representation of a cyclotomic rational Cherednik algebra, and in particular, the set of parameters such that it is finite-dimensional. We also give an easy abacus characterization of all finite-dimensional representations of type $B$ Cherednik algebras.

Combining results of T.K. Lam and J. Stembridge, the type $C$ Stanley symmetric function $F_w^C(\mathbf{x})$, indexed by an element $w$ in the type $C$ Coxeter group, has a nonnegative integer expansion in terms of Schur functions. We provide a crystal theoretic explanation of this fact and give an explicit combinatorial description of the coefficients in the Schur expansion in terms of highest weight crystal elements.

The weight multiplicities of finite dimensional simple Lie algebras can be computed individually using various methods. Still, it is hard to derive explicit closed formulas. Similarly, explicit closed formulas for the multiplicities of maximal weights of affine Kac--Moody algebras are not known in most cases. In this paper, we study weight multiplicities for both finite and affine cases of classical types for certain infinite families of highest weights modules. We introduce new classes of Young tableaux, called the {\em $($spin$)$ rigid tableaux}, and prove that they are equinumerous to the weight multiplicities of the highest weight modules under our consideration. These new classes of Young tableaux arise from crystal basis elements for dominant maximal weights of the integrable highest weight modules over affine Kac--Moody algebras. By applying combinatorics of tableaux such as the Robinson--Schensted algorithm and new insertion schemes, and using integrals over orthogonal groups, we reveal hidden structures in the sets of weight multiplicities and obtain explicit closed formulas for the weight multiplicities. In particular we show that some special families of weight multiplicities form the Pascal, Catalan, Motzkin, Riordan and Bessel triangles.

We give a uniform description of the bijection $Φ$ from rigged configurations to tensor products of Kirillov--Reshetikhin crystals of the form $\bigotimes_{i=1}^N B^{r_i,1}$ in dual untwisted types: simply-laced types and types $A_{2n-1}^{(2)}$, $D_{n+1}^{(2)}$, $E_6^{(2)}$, and $D_4^{(3)}$. We give a uniform proof that $Φ$ is a bijection and preserves statistics. We describe $Φ$ uniformly using virtual crystals for all remaining types, but our proofs are type-specific. We also give a uniform proof that $Φ$ is a bijection for $\bigotimes_{i=1}^N B^{r_i,s_i}$ when $r_i$, for all $i$, map to $0$ under an automorphism of the Dynkin diagram. Furthermore, we give a description of the Kirillov--Reshetikhin crystals $B^{r,1}$ using tableaux of a fixed height $k_r$ depending on $r$ in all affine types. Additionally, we are able to describe crystals $B^{r,s}$ using $k_r \times s$ shaped tableaux that are conjecturally the crystal basis for Kirillov--Reshetikhin modules for various nodes $r$.

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.

Alladi and Gordon introduced the method of weighted words in 1993 to prove a refinement and generalisation of Schur's partition identity. Together with Andrews, they later used it to refine Capparelli's and Göllnitz' identities too. In this paper, we present a new variant of this method, which can be used to study more complicated partition identities, and apply it to prove refinements and generalisations of three partition identities. The first one, Siladić's theorem (2002), comes from vertex operator algebras. The second one, a conjectural identity of Primc (1999), comes from crystal base theory. The last one is a very general identity about coloured overpartitions which generalises and unifies several generalisations of Schur's theorem due to Alladi-Gordon, Andrews, Corteel-Lovejoy, Lovejoy and the author.

Kashiwara's crystal graphs have a natural monoid structure that arises by identifying words labelling vertices that appear in the same position of isomorphic components. The celebrated plactic monoid (the monoid of Young tableaux), arises in this way from the crystal graph for the $q$-analogue of the general linear Lie algebra $\mathfrak{gl}_{n}$, and the so-called Kashiwara operators interact beautifully with the combinatorics of Young tableaux and with the Robinson--Schensted--Knuth correspondence. The authors previously constructed an analogous `quasi-crystal' structure for the related hypoplactic monoid (the monoid of quasi-ribbon tableaux), which has similarly neat combinatorial properties. This paper constructs an analogous `crystal-type' structure for the sylvester and Baxter monoids (the monoids of binary search trees and pairs of twin binary search trees, respectively). Both monoids are shown to arise from this structure just as the plactic monoid does from the usual crystal graph. The interaction of the structure with the sylvester and Baxter versions of the Robinson-Schensted-Knuth correspondence is studied. The structure is then applied to prove results on the number of factorizations of elements of these monoids, and to prove that both monoids satisfy non-trivial identities.

We explain how the action of the Heisenberg algebra on the space of q-deformed wedges yields the Heisenberg crystal structure on charged multipartitions, by using the boson-fermion correspondence and looking at the action of the Schur functions at q = 0. In addition, we give the explicit formula for computing this crystal in full generality.

Young tableaux carry an associative product, described by the Schensted algorithm. They thus form a monoid $\mathbf{Pl}$, called \emph{plactic}. It is central in numerous combinatorial and algebraic applications. In this paper, the tableaux product is shown to be completely determined by a braiding $σ$ on the (much simpler!) set of columns $\mathbf{Col}$. Here a \emph{braiding} is a set-theoretic solution to the Yang--Baxter equation. As an application, we identify the Hochschild cohomology of $\mathbf{Pl}$, which resists classical approaches, with the more accessible braided cohomology of $(\mathbf{Col},σ)$. The cohomological dimension of $\mathbf{Pl}$ is obtained as a corollary. Also, the braiding~$σ$ is proved to commute with the classical crystal reflection operators~$s\_i$.

We refine and generalise a Rogers-Ramanujan type partition identity arising from crystal base theory. Our proof uses the variant of the method of weighted words recently introduced by the first author.

We give a simple crystal theoretic interpretation of the Lascoux's expansion of a non-symmetric Cauchy kernel $\prod_{i+ j\leq n+1}(1-x_iy_j)^{-1}$, which is given in terms of Demazure characters and atoms. We give a bijective proof of the non-symmetric Cauchy identity using the crystal of Lakshmibai-Seshadri paths, and extend it to the case of continuous crystals.

Rigged configurations are combinatorial objects prominent in the study of solvable lattice models. Marginally large tableaux are semi-standard Young tableaux of special form that give a realization of the crystals ${\cal B}(\infty)$. We introduce cascading sequences to characterize marginally large tableaux. Then we use cascading sequences and a non-explicit crystal isomorphism between marginally large tableaux and rigged configurations to give a characterization of the latter set, and to give an explicit bijection between the two sets.

We initiate a new approach to the study of the combinatorics of several parametrizations of canonical bases. In this work we deal with Lie algebras of type $A$. Using geometric objects called Rhombic tilings we derive a "crossing formula" to compute the actions of the crystal operators on Lusztig data for an arbitrary reduced word of the longest Weyl group element. We provide the following three applications of this result. Using the tropical Chamber Ansatz of Berenstein-Fomin-Zelevinsky we prove an enhanced version of the Anderson-Mirković conjecture for the crystal structure on MV polytopes. We establish a duality between Kashiwara's string and Lusztig's parametrization, revealing that each of them is controlled by the crystal structure of the other. We identify the potential functions of the unipotent radical of $SL_n$ defined by Berenstein-Kazhdan and Gross-Hacking-Keel-Kontsevich, respectively, with a function arising from the crystal structure on Lusztig data.

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 study the geometry and topology of Hilbert schemes of points on the orbifold surface [C^2/G], respectively the singular quotient surface C^2/G, where G is a finite subgroup of SL(2,C) of type A or D. We give a decomposition of the (equivariant) Hilbert scheme of the orbifold into affine space strata indexed by a certain combinatorial set, the set of Young walls. The generating series of Euler characteristics of Hilbert schemes of points of the singular surface of type A or D is computed in terms of an explicit formula involving a specialized character of the basic representation of the corresponding affine Lie algebra; we conjecture that the same result holds also in type E. Our results are consistent with known results for type A, and are new for type D. The crystal basis theory of the fundamental representation of the affine Lie algebra corresponding to the surface singularity (via the McKay correspondence) plays an important role in our approach. The result gives a generalization of Göttsche's formula and has interesting modular properties related to the S-duality conjecture. The moduli space of torsion free sheaves on surfaces are higher rank analogs of the Hilbert schemes. In type A our results reveal their Euler characteristic generating function as well. Another very interesting class of normal surface singularities is the so-called cyclic quotient singularities of type (p,1). As an outlook we also obtain some results about the associated generating functions.

Motivated by spin modular representations of the symmetric groups, we propose two generalizations of the Schur regular partitions for an odd integer $p\geq 3$. One forms a subset of the set of $p$-strict partitions, and the other forms that of strict partitions. We prove that each set has a basic $A^{(2)}_{p-1}$-crystal structure. For $p=3$, it reproves Schur's 1926 partition theorem, a mod 6 analog of Rogers-Ramanujan partition theorem (RRPT). For $p=5$, it gives a computer-free proof of a conjecture by Andrews during his 3-parameter generalization of RRPT, which was first proved by Andrews-Bessenrodt-Olsson.

Sunada's work on crystallography emphasizes the role of the "maximal abelian cover" of a graph $X$. This is a covering space of $X$ for which the group of deck transformations is the first homology group $H_1(X,\mathbb{Z})$. An embedding of the maximal abelian cover in a vector space can serve as the pattern for a crystal: atoms are located at the vertices, while bonds lie along the edges. We prove that for any connected graph $X$ without bridges, there is a canonical embedding of the maximal abelian cover of $X$ into the vector space $H_1(X,\mathbb{R})$, called a "topological crystal". Crystals of graphene and diamond are examples of this construction. We prove that any symmetry of a graph lifts to a symmetry of its topological crystal. We also compute the density of atoms in a topological crystal. The key technical tools are a way of decomposing the 1-chain coming from a path in $X$ into manageable pieces, and the work of Bacher, de la Harpe and Nagnibeda on integral cycles and integral cuts.

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

Let $i$ be a reduced expression of the longest element in the Weyl group of type $A$, which is adapted to a Dynkin quiver with a single sink. We present a simple description of the crystal embedding of Young tableaux of arbitrary shape into $i$-Lusztig data, which also gives an algorithm for the transition matrix between Lusztig data associated to reduced expressions adapted to quivers with a single sink.