arXiv++ Combinatorics

We give an explicit description of the unique crystal isomorphism between two realizations of $B(\infty)$ in type $D$: that using marginally large tableaux and that using PBW monomials with respect to one particularly nice reduced expression of the longest word.

Using the theory of PBW bases, one can realize the crystal $B(\infty)$ for any semisimple Lie algebra over $\mathbf{C}$ using Kostant partitions as the underlying set. In fact there are many such realizations, one for each reduced expression for the longest element of the Weyl group. There is an algorithm to calculate the actions of the crystal operators, but it can be quite complicated. Here we show that, for certain reduced expressions, the crystal operators can also be described by a much simpler bracketing rule. We give conditions describing these reduced expressions, and show that there is at least one example in every type except possibly $E_8$, $F_4$ and $G_2$. We then discuss some examples.

We prove existence of Helly numbers for crystals and for cut-and-project sets with convex windows. Also we show that for a two-dimensional crystal consisting of $k$ copies of a single lattice the Helly number does not exceed $k+6$.

Lusztig's theory of PBW bases gives a way to realize the infinity crystal for any simple complex Lie algebra where the underlying set consists of Kostant partitions. In fact, there are many different such realizations, one for each reduced expression for the longest element of the Weyl group. There is an algorithm to calculate the actions of the crystal operators, but it can be quite complicated. For ADE types, we give conditions on the reduced expression which ensure that the corresponding crystal operators are given by simple combinatorial bracketing rules. We then give at least one reduced expression satisfying our conditions in every type except $E_8$, and discuss the resulting combinatorics. Finally, we describe the relationship with more standard tableaux combinatorics in types A and D.

We establish a bijection between the set of rigged configurations and the set of tensor products of Kirillov--Reshetikhin crystals of type $D^{(1)}_n$ in full generality. We prove the invariance of rigged configurations under the action of the combinatorial $R$-matrix on tensor products and show that the bijection preserves certain statistics (cocharge and energy). As a result, we establish the fermionic formula for type $D_n^{(1)}$. In addition, we establish that the bijection is a classical crystal isomorphism.

We prove that the sequence of the characters of the Kirillov-Reshetikhin (KR) modules $W_{m}^{(a)}, m\in \mathbb{Z}_{m\geq 0}$ associated to a node $a$ of the Dynkin diagram of a complex simple Lie algebra $\mathfrak{g}$ satisfies a linear recurrence relation except for some cases in types $E_7$ and $E_8$. To this end we use the $Q$-system and the existing lattice point summation formula for the decomposition of KR modules, known as domino removal rules when $\mathfrak{g}$ is of classical type. As an application, we show how to reduce some unproven lattice point summation formulas in exceptional types to finite problems in linear algebra and also give a new proof of them in type $G_2$, which is the only completely proven case when KR modules have an irreducible summand with multiplicity greater than 1. We also apply the recurrence to prove that the function $\dim W_{m}^{(a)}$ is a quasipolynomial in $m$ and establish its properties. We conjecture that there exists a rational polytope such that its Ehrhart quasipolynomial in $m$ is $\dim W_{m}^{(a)}$ and the lattice points of its $m$-th dilate carry the same crystal structure as the crystal associated with $W_{m}^{(a)}$.

We describe some configurations of conjugate permutations which may be used as a mathematical model of some genetical processes and crystal growth.

Crystal graphs, in the sense of Kashiwara, carry a natural monoid structure given by identifying words labelling vertices that appear in the same position of isomorphic components of the crystal. In the particular case of the crystal graph for the $q$-analogue of the special linear Lie algebra $\mathfrak{sl}_{n}$, this monoid is the celebrated plactic monoid, whose elements can be identified with Young tableaux. The crystal graph and the so-called Kashiwara operators interact beautifully with the combinatorics of Young tableaux and with the Robinson--Schensted--Knuth correspondence and so provide powerful combinatorial tools to work with them. This paper constructs an analogous `quasi-crystal' structure for the hypoplactic monoid, whose elements can be identified with quasi-ribbon tableaux and whose connection with the theory of quasi-symmetric functions echoes the connection of the plactic monoid with the theory of symmetric functions. This quasi-crystal structure and the associated quasi-Kashiwara operators are shown to interact just as neatly with the combinatorics of quasi-ribbon tableaux and with the hypoplactic version of the Robinson--Schensted--Knuth correspondence. A study is then made of the interaction of the crystal graph of the plactic monoid and the quasi-crystal graph for the hypoplactic monoid. Finally, the quasi-crystal structure is applied to prove some new results about the hypoplactic monoid.

We make explicit a triple crystal structure on higher level Fock spaces, by investigating at the combinatorial level the actions of two affine quantum groups and of a Heisenberg algebra. To this end, we first determine a new indexation of the basis elements that makes the two quantum group crystals commute. Then, we define a so-called Heisenberg crystal, commuting with the other two. This gives new information about the representation theory of cyclotomic rational Cherednik algebras, relying on some recent results of Shan and Vasserot and of Losev. In particular, we give an explicit labelling of their finite-dimensional simple modules.

Towards the study of the Kashiwara B(infinity) crystal, sets H^t of functions were introduced given by equivalence classes of unordered partitions satisfying certain boundary conditions. Here it is shown that H^t is a Catalan set of order t, that is to say the cardinality of H^t is the t-th Catalan number C(t). This is a new description of a Catalan set and moreover admits some remarkable features. Thus to H^t there is an associated labelled graph G_t which is shown to have a canonical decomposition into (t-1)! subgraphs each with 2^{t-1} vertices. These subgraphs, called S-graphs, have some tight properties which are needed for the study of B(infinity). They are described as labelled hypercubes whose edges connecting vertices with equal labels are missing. It is shown that the number of distinct hypercubes so obtained is again a Catalan number, namely C(t-1). They define functions which depend on a coefficient set of non-negative integers. When the latter are non-zero and pairwise distinct, the vertices of the S-graphs describe distinct functions. Moreover this property is retained if certain edges are deleted and certain vertices identified. In particular when these coefficients are all equal and non-zero, it is shown that every hypercube degenerates to a simplex, resulting in exactly t distinct functions, which for example are exactly those needed in the description of B(infinity) in type A.

The Bethe algebras for the Gaudin model act on the multiplicity space of tensor products of irreducible $ \mathfrak{gl}_r $-modules and have simple spectrum over real points. This fact is proved by Mukhin, Tarasov and Varchenko who also develop a relationship to Schubert intersections over real points. We use an extension to $ \overline{M}_{0,n+1}(\mathbb{R}) $ of these Schubert intersections, constructed by Speyer, to calculate the monodromy of the spectrum of the Bethe algebras. We show this monodromy is described by the action of the cactus group $ J_n $ on tensor products of irreducible $ \mathfrak{gl}_r $-crystals.

The Kashiwara $B(\infty)$ crystal pertains to a Verma module for a Kac- Moody Lie algebra. Ostensibly it provides only a parametrisation of the global/canonical basis for the latter. Yet it is much more having a rich combinatorial structure from which one may read of a parametrisation of the corresponding basis for any integrable highest weight module, describe the decomposition of the tensor products of highest weight modules, the Demazure submodules of integrable highest weight modules and Demazure flags for translates of Demazure modules. $B(\infty)$ has in general infinitely many presentations as subsets of countably many copies of the natural numbers each given by successive reduced decompositions of Weyl group elements. In each presentation there is an action of Kashiwara operators determined by Kashiwara functions. These functions are linear in the entries. Thus a natural question is to show that in each presentation the subset $B(\infty)$ is polyhedral. Here a new approach to this question is initiated based on constructing dual Kashiwara functions and in this it is enough to show that the latter are also linear in the entries. The present work resolves one of the two very difficult obstacles in a step-wise construction, namely that the resulting functions must satisfy a sum, or simply S, condition. It depends very subtly on inequalities between the coefficients occurring in functions obtained from the previous step. The only remaining obstacle, that sufficiently many functions are obtained, can at least be verified in many families of cases, though this is to be postponed to a subsequent paper. This theory has some intriguing numerology which involves the Catalan numbers in two different ways.

We investigate the ways in which fundamental properties of the weak Bruhat order on a Weyl group can be lifted (or not) to a corresponding highest weight crystal graph, viewed as a partially ordered set; the latter projects to the weak order via the key map. First, a crystal theoretic analogue of the statement that any two reduced expressions for the same Coxeter group element are related by Coxeter moves is proven for all lower intervals in a simply or doubly laced crystal. On the other hand, it is shown that no finite set of moves exists, even in type A, for arbitrary crystal graph intervals. In fact, it is shown that there are relations of arbitrarily high degree amongst crystal operators that are not implied by lower degree relations. Second, for crystals associated to Kac-Moody algebras it is shown for lower intervals that the Mobius function is always 0, 1, or -1, and in finite type this is also proven for upper intervals, with a precise formula given in each case. Moreover, the order complex for each of these intervals is proven to be homotopy equivalent to a ball or to a sphere of some dimension, despite often not being shellable. For general intervals, examples are constructed with arbitrarily large Mobius function, again even in type A. Any interval having Mobius function other than 0, 1, or -1 is shown to contain within it a relation amongst crystal operators that is not implied by the relations giving rise to the local structure of the crystal, making precise a tight relationship between the Mobius function and these somewhat unexpected relations appearing in crystals. New properties of the key map are also derived. The key is shown to be determined entirely by the edge-colored poset-theoretic structure of the crystal, and a recursive algorithm is given for calculating it.

Tristan Bozec gave a definition of generalized quantum groups that extends the usual definition of quantum groups to finite quivers with loops at vertices, and he introduced a theory of generalized crystals for this new family of Hopf algebras. We explicitly characterize the generalized crystal $\mathcal{B}(\infty)$ associated to a certain family of quivers with multiple loops by providing a complete set of relations among the Kashiwara operators themselves.

We show the natural embedding of weight lattices from a diagram folding is a virtualization map for the Littelmann path model, which recovers a result of Kashiwara. As an application, we give a type independent proof that certain Kirillov--Reshetikhin crystals respect diagram foldings, which is a known result on a special case of a conjecture given by Okado, Schilling, and Shimozono.

In an earlier work, the authors developed a rigged configuration model for the crystal $B(\infty)$ (which also descends to a model for irreducible highest weight crystals via a cutting procedure). However, the result obtained was only valid in finite types, affine types, and simply-laced indefinite types. In this paper, we show that the rigged configuration model proposed does indeed hold for all symmetrizable types. As an application, we give an easy combinatorial condition that gives a Littlewood-Richardson rule using rigged configurations which is valid in all symmetrizable Kac-Moody types.

We study the natural labeling of the one dimensional representations for Ariki-Koike algebras at roots of unity. For Hecke algebras of types A and B, some of these representations can be identified with the socle of the Steinberg representation of a finite reductive group. We here give closed formulas for them. This uses, in particular, several results concerning crystal isomorphisms and the Mullineux involution.

We prove that the multiplicities of certain maximal weights of $\mathfrak{g}(A^{(1)}_{n})$-modules are counted by pattern avoidance on words. This proves and generalizes a conjecture of Misra-Rebecca. We also prove similar phenomena in types $A^{(2)}_{2n}$ and $D^{(2)}_{n+1}$. Both proofs are applications of Kashiwara's crystal theory.

The goal of this paper is to compute the supports of simple modules in the categories $\mathcal{O}$ for the rational Cherednik algebras associated to groups $G(\ell,1,n)$. For this we compute some combinatorial maps on the set of simples: wall-crossing bijections and a certain $\mathfrak{sl}_\infty$-crystal associated to a Heisenberg algebra action on a Fock space.

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.