arXiv++ Combinatorics

We give a realization of the infinity crystal for affine sl(2) using decorated polygons. The construction and proof are combinatorial, making use of Kashiwara and Saito's characterization of the infinity crystal in terms of the * involution. The polygons we use have combinatorial properties suggesting they are the analogues in this case of the Mirkovic-Vilonen polytopes defined by Anderson and the third author in finite type. Using Kashiwara's similarity of crystals we also give MV polytopes for $A_2^{(2)}$, the only other rank two affine Kac-Moody algebra.

We give a simple characterization of the highest weight vertices in the crystal graph of the level l Fock spaces. This characterization is based on the notion of totally periodic symbols viewed as affine analogues of reverse lattice words classically used in the decomposition of tensor products of fundamental $\mathfrak{sl}_{n}$-modules. This yields a combinatorial decomposition of the Fock spaces in their irreducible components and the branching law for the restriction of the irreducible highest weight $\mathfrak{sl}_{\infty}$-modules to $\hat{\mathfrak{sl}_{e}}$.

Regular $A_n$-, $B_n$- and $C_n$-crystals are edge-colored directed graphs, with ordered colors $1,2,...,n$, which are related to representations of quantized algebras $U_q(\mathfrak{sl}_{n+1})$, $U_q(\mathfrak{sp}_{2n})$ and $U_q(\mathfrak{so}_{2n+1})$, respectively. We develop combinatorial methods to reveal refined structural properties of such objects. Firstly, we study subcrystals of a regular $A_n$-crystal $K$ and characterize pairwise intersections of maximal subcrystals with colors $1,...,n-1$ and colors $2,...,n$. This leads to a recursive description of the structure of $K$ and provides an efficient procedure of assembling $K$. Secondly, using merely combinatorial means, we demonstrate a relationship between regular $B_n$-crystals (resp. $C_n$-crystals) and regular symmetric $A_{2n-1}$-crystals (resp. $A_{2n}$-crystals).

We define highest weight categorical actions of sl_2 on highest weight categories and show that basically all known examples of categorical sl_2-actions on highest weight categories (including rational and polynomial representations of general linear groups, parabolic categories O of type $A$, categories O for cyclotomic Rational Cherednik algebras) are highest weight in our sense. Our main result is an explicit combinatorial description of (the labels of) the crystal on the set of simple objects. A new application of this is to determining the supports of simple modules over the cyclotomic Rational Cherednik algebras starting from their labels.

We show that Joseph-Lamprou's path model for representations of generalized Kac-Moody algebras can be embedded into Littelmann's path model for certain Kac-Moody algebras. Using this embedding, for Joseph-Lamprou's path crystals, we give a decomposition rule for tensor product and a branching rule for restriction to Levi subalgebras. Also, we obtain a characterization of standard paths in terms of a certain monoid, which can be thought of as a generalization of a Coxeter group.

The alcove model of the first author and A. Postnikov uniformly describes highest weight crystals of semisimple Lie algebras. We construct a generalization, called the quantum alcove model. In joint work of the first author with S. Naito, D. Sagaki, A. Schilling, and M. Shimozono, this was shown to uniformly describe tensor products of column shape Kirillov-Reshetikhin crystals in all untwisted affine types; moreover, an efficient formula for the corresponding energy function is available. In the second part of this paper, we specialize the quantum alcove model to types $A$ and $C$. We give explicit affine crystal isomorphisms from the specialized quantum alcove model to the corresponding tensor products of column shape Kirillov-Reshetikhin crystals, which are realized in terms of Kashiwara-Nakashima columns.

An introduction and survey is given of some recent work on the infinitesimal dynamics of \textit{crystal frameworks}, that is, of translationally periodic discrete bond-node structures in $\mathbb{R}^d$, for $ d=2,3,...$. We discuss the rigidity matrix, a fundamental object from finite bar-joint framework theory, rigidity operators, matrix-function representations and low energy phonons. These phonons in material crystals, such as quartz and zeolites, are known as rigid unit modes, or RUMs, and are associated with the relative motions of rigid units, such as ~SiO$_4$ tetrahedra in the tetrahedral polyhedral bond-node model for quartz. We also introduce semi-infinite crystal frameworks, bi-crystal frameworks and associated multi-variable Toeplitz operators.

In the recent works of Brubaker-Bump-Friedberg, Bump-Nakasuji, and others, the product in the Casselman-Shalika formula is written as a sum over a crystal. The coefficient of each crystal element is defined using the data coming from the whole crystal graph structure. In this paper, we adopt the tableaux model for the crystal and obtain the same coefficients using data from each individual tableaux; i.e., we do not need to look at the graph structure. We also show how to combine our results with tensor products of crystals to obtain the sum of coefficients for a given weight. The sum is a q-polynomial which exhibits many interesting properties. We use examples to illustrate these properties.

We give a new combinatorial model of the Kirillov-Reshetikhin crystals of type $A_n^{(1)}$ in terms of non-negative integral matrices based on the classical RSK algorithm, which has a simple description of the affine crystal structure without using a promotion operator. We also have a similar description of the Kirillov-Reshetikhin crystals associated to exceptional nodes in the Dynkin diagrams of classical affine or non-exceptional type.

Extending the work arXiv:math/0508107, we introduce the affine crystal action on rigged configurations which is isomorphic to the Kirillov-Reshetikhin crystal B^{r,s} of type D_n^(1) for any r,s. We also introduce a representation of B^{r,s} (r not equal to n-1,n) in terms of tableaux of rectangular shape r x s, which we coin Kirillov-Reshetikhin tableaux (using a non-trivial analogue of the type A column splitting procedure) to construct a bijection between elements of a tensor product of Kirillov-Reshetikhin crystals and rigged configurations.

We explore combinatorics associated with the degenerate Hecke algebra at $q=0$, obtaining a formula for a system of orthogonal idempotents, and also exploring various pattern avoidance results. Generalizing constructions for the 0-Hecke algebra, we explore the representation theory of $\JJ$-trivial monoids. We then discuss two-tensors of crystal bases for $U_q(\tilde{\mathfrak{sl}_2})$, establishing a complementary result to one of Bandlow, Schilling, and Thiéry on affine crystals arising from promotion operators. Finally, we give a computer implementation of Stembridge's local axioms for simply-laced crystal bases.

The Ram-Yip formula for Macdonald polynomials (at t=0) provides a statistic which we call charge. In types A and C it can be defined on tensor products of Kashiwara-Nakashima single column crystals. In this paper we prove that the charge is equal to the (negative of the) energy function on affine crystals. The algorithm for computing charge is much simpler and can be more efficiently computed than the recursive definition of energy in terms of the combinatorial R-matrix.

The quotient of a Boolean algebra by a cyclic group is proven to have a symmetric chain decomposition. This generalizes earlier work of Griggs, Killian and Savage on the case of prime order, giving an explicit construction for any order, prime or composite. The combinatorial map specifying how to proceed downward in a symmetric chain is shown to be a natural cyclic analogue of the $\mathfrak{sl}_2$ lowering operator in the theory of crystal bases.

Vazirani and the author \cite{BV} gave a new interpretation of what we called $\ell$-partitions, also known as $(\ell,0)$-Carter partitions. The primary interpretation of such a partition $λ$ is that it corresponds to a Specht module $S^λ$ which remains irreducible over the finite Hecke algebra $H_n(q)$ when $q$ is specialized to a primitive $\ell^{th}$ root of unity. To accomplish this we relied heavily on the description of such a partition in terms of its hook lengths, a condition provided by James and Mathas. In this paper, I use a new description of the crystal $reg_\ell$ which helps extend previous results to all $(\ell,0)$-JM partitions (similar to $(\ell,0)$-Carter partitions, but not necessarily $\ell$-regular), by using an analogous condition for hook lengths which was proven by work of Lyle and Fayers.

The charge is an intricate statistic on words, due to Lascoux and Schutzenberger, which gives positive combinatorial formulas for Lusztig's q-analogue of weight multiplicities and the energy function on affine crystals, both of type A. As these concepts are defined for all Lie types, it has been a long-standing problem to express them based on a generalization of charge. I present a method for addressing this problem in classical Lie types, based on the recent Ram-Yip formula for Macdonald polynomials and the quantum Bruhat order on the corresponding Weyl group. The details of the method are carried out in type A (where we recover the classical charge) and type C (where we define a new statistic).

A combinatorial description of the crystal $\mathcal{B}(\infty)$ for finite-dimensional simple Lie algebras in terms of Young tableaux was developed by J. Hong and H. Lee. Using this description, we obtain a combinatorial rule for expressing the Gindikin-Karpelevich formula as a sum over $\mathcal{B}(\infty)$ when the underlying Lie algebra is of type A. We also interpret our description in terms of MV polytopes and irreducible components of quiver varieties.

A uniformly discrete Euclidean graph is a graph embedded in a Euclidean space so that there is a minimum distance between distinct vertices. If such a graph embedded in an $n$-dimensional space is preserved under $n$ linearly independent translations, it is "$n$-periodic" in the sense that the quotient group of its symmetry group divided by the translational subgroup of its symmetry group is finite. We present a refinement of a theorem of Bieberbach: given a $n$-periodic uniformly discrete Euclidean graph embedded in a $n$-dimensional Euclidean space of symmetry group $\bbbS$, there is another $n$-periodic uniformly discrete Euclidean graph embedded in the same space whose vertices are integer points (possibly modulo an affine transformation) and whose symmetry group has a (not necessarily proper) subgroup isomorphic to $\bbbS$. We conclude with a discussion of an application to the computer generation of "crystal nets".

For the exceptional affine type E_6^{(1)} we establish a statistic-preserving bijection between the highest weight paths consisting of the simplest Kirillov-Reshetikhin crystal and the rigged configurations. The algorithm only uses the structure of the crystal graph, hence could also be applied to other exceptional types.

It has previously been shown that, at least for non-exceptional Kac-Moody Lie algebras, there is a close connection between Demazure crystals and tensor products of Kirillov-Reshetikhin crystals. In particular, certain Demazure crystals are isomorphic as classical crystals to tensor products of Kirillov-Reshetikhin crystals via a canonically chosen isomorphism. Here we show that this isomorphism intertwines the natural affine grading on Demazure crystals with a combinatorially defined energy function. As a consequence, we obtain a formula of the Demazure character in terms of the energy function, which has applications to Macdonald polynomials and q-deformed Whittaker functions.

Symmetry equations are obtained for the rigidity matrices associated with various forms of infinitesimal flexibility for an idealised bond-node crystal framework $\C$ in $\bR^d$. These equations are used to derive symmetry-adapted Maxwell-Calladine counting formulae for periodic self-stresses and affinely periodic infinitesimal mechanisms. The symmetry equations also lead to general Fowler-Guest formulae connecting the character lists of subrepresentations of the crystallographic space and point groups which are associated with bonds, nodes, stresses, flexes and rigid motions. A new derivation is also given for the Borcea-Streinu rigidity matrix and the correspondence between its nullspace and the space of affinely periodic infinitesimal flexes.