arXiv++ Combinatorics

When $λ$ is a partition, the specialized non-symmetric Macdonald polynomial $E_λ(x;q;0)$ is symmetric and related to a modified Hall--Littlewood polynomial. We show that whenever all parts of the integer partition $λ$ is a multiple of $n$, the underlying set of fillings exhibit the cyclic sieving phenomenon (CSP) under a cyclic shift of the columns. The corresponding CSP polynomial is given by $E_λ(x;q;0)$. In addition, we prove a refined cyclic sieving phenomenon where the content of the fillings is fixed. This refinement is closely related to an earlier result by B.~Rhoades. We also introduce a skew version of $E_λ(x;q;0)$. We show that these are symmetric and Schur-positive via a variant of the Robinson--Schenstedt--Knuth correspondence and we also describe crystal raising- and lowering operators for the underlying fillings. Moreover, we show that the skew specialized non-symmetric Macdonald polynomials are in some cases vertical-strip LLT polynomials. As a consequence, we get a combinatorial Schur expansion of a new family of LLT polynomials.

We give a $U_q(\mathfrak{sl}_n)$-crystal structure on multiset-valued tableaux, hook-valued tableaux, and valued-set tableaux, whose generating functions are the weak symmetric, canonical, and dual weak symmetric Grothendieck functions, respectively. We show the result is isomorphic to a (generally infinite) direct sum of highest weight crystals, and for multiset-valued tableaux and valued-set tableaux, we provide an explicit bijection. As a consequence, these generating functions are Schur positive; in particular, the canonical Grothendieck functions, which was not previously known. We also give an extension of Hecke insertion to express a dual stable Grothendieck function as a sum of Schur functions.

This is a survey on the combinatorics and geometry of integrable representations of quantum affine Lie algebras with a particular focus on level 0. Pictures and examples are included to illustrate the affine Weyl group orbits, crystal graphs and Macdonald polynomials that provide detailed understanding of the structure of the extremal weight modules and their characters. The final section surveys the alcove walk method of working with the positive level, negative level and level zero affine flag varieties and describes the corresponding actions of the affine Hecke algebra.

The product monomial crystal was defined by Kamnitzer, Tingley, Webster, Weekes, and Yacobi for any semisimple simply-laced Lie algebra $\mathfrak{g}$, and depends on a collection of parameters $\mathbf{R}$. We show that a family of truncations of this crystal are Demazure crystals, and give a Demazure-type formula for the character of each truncation, and the crystal itself. This character formula shows that the product monomial crystal is the crystal of a generalised Demazure module, as defined by Lakshmibai, Littelmann and Magyar. In type $A$, we show the product monomial crystal is the crystal of a generalised Schur module associated to a column-convex diagram depending on $\mathbf{R}$.

In this paper, we study a new cyclic sieving phenomenon on the set $\mathsf{SST}_n(λ)$ of semistandard Young tableaux with the cyclic action $\mathsf{c}$ arising from its $U_q(\mathfrak{sl}_n)$-crystal structure. We prove that if $λ$ is a Young diagram with $\ell(λ) < n$ and $\gcd( n, |λ| )=1$, then the triple $\left( \mathsf{SST}_n(λ), \mathsf{C}, q^{- κ(λ)} s_λ(1,q, \ldots, q^{n-1}) \right) $ exhibits the cyclic sieving phenomenon, where $\mathsf{C}$ is the cyclic group generated by $\mathsf{c}$. We further investigate a connection between $\mathsf{c}$ and the promotion $\mathsf{pr}$ and show the bicyclic sieving phenomenon given by $\mathsf{c}$ and $\mathsf{pr}^n$ for hook shape.

We relate noncommutative Littlewood-Richardson coefficients of Bessenrodt-Luoto-van Willigenburg to classical Littlewood-Richardson coefficients via crystal reflection operators. A key role is played by the combinatorics of frank words.

We investigate combinatorial properties of a kind of insets we defined in an earlier paper, interpreting them now in terms of restricted ternary words. This allows us to give new combinatorial interpretations of a number of known integer sequences, namely the coefficients of Chebyshev polynomials of both kinds, Fibonacci numbers, Delannoy numbers, asymmetric Delannoy numbers, Sulanke numbers, coordinating sequences for some cubic lattices, crystal ball sequences for some cubic lattices, and others. We also obtain several new properties of said insets. In particular, we derive three generating functions when two of three variables are constant. At the end, we state 40 combinatorial configurations counted by our words.

The polyhedral realization of crystal base has been introduced by A.Zelevinsky and the second author([T.Nakashima, A.Zelevinsky, Adv. Math. 131, no. 1 (1997)]), which describe the crystal base $B(\infty)$ as a polyhedral convex cone in the infinite $\mathbb{Z}$-lattice $\mathbb{Z}^{\infty}$. To construct the polyhedral realization, we need to fix an infinite sequence $ι$ from the indices of the simple roots. According to this $ι$, one has certain set of linear functions defining a polyhedral convex cone and under the `positivity condition' on $ι$, it has been shown that the polyhedral convex cone is isomorphic to the crystal base $B(\infty)$. To confirm the positivity condition for a given $ι$, we need to obtain the whole feature of the set of linear functions, which requires, in general, a bunch of explicit calculations. In this article, we introduce the notion of the adapted sequence and show that if $ι$ is an adapted sequence then the positivity condition holds for classical Lie algebras. Furthermore, we reveal the explicit forms of the polyhedral realizations associated with arbitrary adapted sequences $ι$ in terms of column tableaux.

In earlier work with C.~Monical, we introduced the notion of a K-crystal, with applications to K-theoretic Schubert calculus and the study of Lascoux polynomials. We conjectured that such a K-crystal structure existed on the set of semistandard set-valued tableaux of any fixed rectangular shape. Here, we establish this conjecture by explicitly constructing the K-crystal operators. As a consequence, we establish the first combinatorial formula for Lascoux polynomials $L_{wλ}$ when $λ$ is a multiple of a fundamental weight as the sum over flagged set-valued tableaux. Using this result, we then prove corresponding cases of conjectures of Ross--Yong (2015) and Monical (2016) by constructing bijections with the respective combinatorial objects.

It is shown that the direct limit of the semistandard decomposition tableau model for polynomial representations of the queer Lie superalgebra exists, which is believed to be the crystal for the upper half of the corresponding quantum group. An extension of this model to describe the direct limit combinatorially is given. Furthermore, it is shown that the polynomial representations may be recovered from the limit in most cases.

We develop a combinatorial rule to compute the real geometry of type B Schubert curves $S(λ_\bullet)$ in the orthogonal Grassmannian $\mathrm{OG}_n$, which are one-dimensional Schubert problems defined with respect to orthogonal flags osculating the rational normal curve. Our results are natural analogs of results previously known only in type A. First, using the type B Wronski map, we show that the real locus of the Schubert curve has a natural covering map to $\mathbb{RP}^1$, with monodromy operator $ω$ defined as the commutator of jeu de taquin rectification and promotion on skew shifted semistandard tableaux. We then introduce two different algorithms to compute $ω$ without rectifying the skew tableau. The first uses recently-developed shifted tableau crystal operators, while the second uses local switches much like jeu de taquin. The switching algorithm further computes the K-theory coefficient of the Schubert curve: its nonadjacent switches precisely enumerate Pechenik and Yong's shifted genomic tableaux. The connection to K-theory also gives rise to a partial understanding of the complex geometry of these curves.

Type A Demazure atoms are pieces of Schur functions, or sets of tableaux whose weights sum to such functions. Inspired by colored vertex models of Borodin and Wheeler, we will construct solvable lattice models whose partition functions are Demazure atoms; the proof of this makes use of a Yang-Baxter equation for a colored five-vertex model. As a biproduct, we construct Demazure atoms on Kashiwara's $\mathcal{B}_\infty$ crystal and give new algorithms for computing Lascoux-Schützenberger keys.

We show that the Kirillov--Reshetikhin crystal $B^{r,s}$ exists when $r$ is a node such that the Kirillov--Reshetikhin module $W^{r,s}$ has a multiplicity free classical decomposition.

We give an explicit, nonnegative formula for the expansion of nonsymmetric Macdonald polynomials specialized at $t=0$ in terms of Demazure characters. Our formula results from constructing Demazure crystals whose characters are the nonsymmetric Macdonald polynomials, which also gives a new proof that these specialized nonsymmetric Macdonald polynomials are positive graded sums of Demazure characters. Demazure crystals are certain truncations of classical crystals that give a combinatorial skeleton for Demazure modules. To prove our construction, we develop further properties of Demazure crystals, including an efficient algorithm for computing their characters from highest weight elements. As a corollary, we obtain a new formula for the Schur expansion of Hall--Littlewood polynomials in terms of a simple statistic on highest weight elements of our crystals.

We give a formula for the crystal structure on the integer points of the string polytopes and the $*$-crystal structure on the integer points of the string cones of type $A$ for arbitrary reduced words. As a byproduct we obtain defining inequalities for Nakashima-Zelevinsky string polytopes. Furthermore, we give an explicit description of the Kashiwara $*$-involution on string data for a special choice of reduced word.

For arbitrary reduced words we give formulas for the crystal structures on string and Lusztig data of type A as well as the defining inequalities of the corresponding polytopes revealing certain dualities between them.

We study the plactic algebra and its action on bosonic particle configurations in the classical case. These particle configurations together with the action of the plactic generators can be identified with crystals of the quantum analogue of the symmetric tensor representations in type A. It turns out that this action factors over a quotient algebra that we call partic algebra, whose induced action on bosonic particle configurations is faithful. We describe a basis of the partic algebra explicitly in terms of a normal form for monomials, and we compute the center of the partic algebra.

The Mullineux involution is an important map on $p$-regular partitions that originates from the modular representation theory of $\mathcal{S}_n$. In this paper we study the Mullineux transpose map and the generalized column regularization and prove a condition under which the two maps are exactly the same. Our results generalize the work of Bessenrodt, Olsson and Xu, and the combinatorial constructions is related to the Iwahori-Hecke algebra and the global crystal basis of the basic $U_q(\widehat{\mathfrak{sl}}_b)$-module. In the conclusion, we provide several conjectures regarding the $q$-decomposition numbers and generalizations of results due to Fayers.

We construct a uniform model for highest weight crystals and $B(\infty)$ for generalized Kac--Moody algebras using rigged configurations. We also show an explicit description of the $\ast$-involution on rigged configurations for $B(\infty)$: that the $\ast$-involution interchanges the rigging and the corigging. We do this by giving a recognition theorem for $B(\infty)$ using the $\ast$-involution. As a consequence, we also characterize $B(λ)$ as a subcrystal of $B(\infty)$ using the $\ast$-involution.

The main object in this paper is a certain rational convex polytope whose lattice points give a polyhedral realization of a highest weight crystal basis. This is also identical to a Newton-Okounkov body of a flag variety, and it gives a toric degeneration. In this paper, we prove that a specific class of this polytope is given by Kiritchenko's Demazure operators on polytopes. This implies that polytopes in this class are all lattice polytopes. As an application, we give a sufficient condition for the corresponding toric variety to be Gorenstein Fano.