arXiv++ Combinatorics

One definition of key polynomials is as the weight generating functions of key tableaux. Assaf and Schilling introduced a crystal structure on key tableaux and related it to Morse--Schilling crystals on reduced factorizations for permutations via weak Edelman--Greene insertion. In this paper, we consider generalizations of both crystals depending on a flag. We extend weak EG insertion to a bijection between our flagged objects and show that the recording tableau gives a crystal isomorphism. As an application, we show that flagged key tableaux have a natural Demazure crystal structure, whose characters recover Reiner and Shimozono's flagged key polynomials.

We give an explicit characterization of the standard monomials for positroid varieties with respect to the Hodge degeneration and give a Gröbner basis. Furthermore, we show that promotion and evacuation biject standard monomials of a positroid variety with those of its cyclic shifts and $w_0$-reflection, respectively. The connection to promotion allows us to identify standard monomials of a positroid variety with Lam's cyclic Demazure crystal. Using a recurrence on the Hilbert series, we give an inductive formula for the character of cyclic Demazure modules.

Crystal graphs are powerful combinatorial tools for working with the plactic monoid and symmetric functions. Quasi-crystal graphs are an analogous concept for the hypoplactic monoid and quasi-symmetric functions. This paper makes a combinatorial study of these objects. We explain a previously-observed isomorphism of components of the quasi-crystal graph, and provide an explicit description using a new combinatorial structure called a quasi-array. Then two conjectures of Maas-Gariépy on the interaction of fundamental quasi-symmetric functions and Schur functions and on the arrangement of quasi-crystal components within crystal components are answered, the former positively, the latter negatively.

It is provided a local characterization of quasi-crystal graphs, by presenting a set of local axioms, similar to the ones introduced by Stembridge for crystal graphs of simply-laced root systems. It is also shown that quasi-crystal graphs satisfying these axioms are closed under the tensor product recently introduced by Cain, Guilherme and Malheiro. It is deduced that each connected component of such a graph has a unique highest weight element, whose weight is a composition, and it is isomorphic to a quasi-crystal graph of semistandard quasi-ribbon tableaux.

We prove that the weighted KLRW algebras of finite type, and their cyclotomic quotients, are cellular algebras. The cellular bases are explicitly described using crystal graphs. As a special case, this proves that the KLR algebras of finite type are cellular. As one application, we give explicit formulas for the graded decomposition numbers of the cyclotomic algebras in level one.

Given a skew shape $ λ/ μ$ and a flag $Φ,$ we show that the set of all flagged reverse plane partitions of shape $λ/ μ$ and flag $Φ$ is a disjoint union of Demazure crystals (up to isomorphism). As a result, the flagged dual stable Grothendieck polynomial $ g_{λ/μ}(X_Φ)$ is shown to be key positive.

We describe the upper seminormal crystal structure for the $μ$-supported $δ$-vectors for any quiver with potential with reachable frozen vertices, or equivalently for the tropical points of the corresponding cluster $\mc{X}$-variety. We show that the crystal structure can be algebraically lifted to the generic basis of the upper cluster algebra. This can be viewed as an additive categorification of the crystal structure arising from cluster algebras. We introduce the biperfect bases in the cluster algebra setting and give a description of all biperfect bases, which are parametrized by lattice points in a product of polyhedral sets. We illustrate this theory from classical examples and new examples.

We present a new combinatorial and conjectural algorithm for computing the Mullineux involution for the symmetric group and its Hecke algebra. This algorithm is built on a conjectural property of crystal isomorphisms which can be rephrased in a purely combinatorial way.

A string polytope is a rational convex polytope whose lattice points parametrize a highest weight crystal basis, which is obtained from a string cone by explicit affine inequalities depending on a highest weight. It also inherits geometric information of a flag variety such as toric degenerations, Newton-Okounkov bodies, mirror symmetry, Schubert calculus, and so on. In this paper, we study combinatorial properties of string polytopes in types $B$ and $C$ by giving an explicit description of string cones in these types which is analogous to Gleizer-Postnikov's description of string cones in type $A$. As an application, we characterize string polytopes in type $C$ which are unimodularly equivalent to the Gelfand-Tsetlin polytope in type $C$ for a specific highest weight.

This article continues our study of $P$- and $Q$-key polynomials, which are (non-symmetric) "partial" Schur $P$- and $Q$-functions as well as "shifted" versions of key polynomials. Our main results provide a crystal interpretation of $P$- and $Q$-key polynomials, namely, as the characters of certain connected subcrystals of normal crystals associated to the queer Lie superalgebra $\mathfrak{q}_n$. In the $P$-key case, the ambient normal crystals are the $\mathfrak{q}_n$-crystals studied by Grantcharov et al., while in the $Q$-key case, these are replaced by the extended $\mathfrak{q}_n$-crystals recently introduced by the first author and Tong. Using these constructions, we propose a crystal-theoretic lift of several conjectures about the decomposition of involution Schubert polynomials into $P$- and $Q$-key polynomials. We verify these generalized conjectures in a few special cases. Along the way, we establish some miscellaneous results about normal $\mathfrak{q}_n$-crystals and Demazure $\mathfrak{gl}_n$-crystals.

We prove the Pieri formulas for Schur multiple zeta functions, which are generalizations of the Pieri formulas proved by Nakasuji and Takeda for hook type Schur multiple zeta functions. Moreover, we also prove the Littlewood-Richardson rule for Schur multiple zeta functions. In the course of their proofs, we regard the `truncated' version of Schur multiple zeta functions as series over $\mathrm{GL}(N)$ crystals to arrive at the Littlewood-Richardson rule for the Schur multiple zeta functions.

For a dominant integral weight $Λ$ in a Lie algebra of affine type A and rank $e$, and an interval $I_0$ in the residue set $I$, we define the face for the interval $I_0$ to be the subgraph of the block-reduced crystal $\widehat P(Λ)$ that is generated by $f_i$ for $i \in I_0$. We show that such a face has an automorphism that preserves defects. For an interval of length $2$, we also give a non-recursive construction of the $e$-regular multipartitions with weights in the face, as well as a formula for the number of $e$-regular multipartitions at each vertex of the face. For an affine Lie algebra of type $A$ we define and investigate the shape of canonical basis elements, a sequence counting the number of multipartitions with a given coefficient. For finite faces generated by $Λ$ with $|I_0|=1,2$, we give a non-recursive closed formula for the canonical basis elements.

We construct atomic decompositions for crystals of type $C_{2}$ and define a charge statistic on them, thus providing positive combinatorial formulas for Kostka-Foulkes polynomials associated to them together with a natural geometric interpretation.

We give a cyclic sieving phenomenon for symplectic $λ$-tableaux $SP(λ,2m)$, where $λ$ is a partition of an odd integer $n$ and $gcd(m,p)=1$ for any odd prime $p\leq n$. We use the crystal structure on Kashiwara-Nakashima symplectic tableaux to get a cyclic sieving action as the product $σ$ of simple reflections in the Weyl group. The cyclic sieving polynomial is the $q$-anologue of the hook-content formula for symplectic tableaux. More generally, we give a CSP for symplectic skew tableaux with analogous conditions on the shape and a cyclic group action that rotates tableaux weights in a way motivated by the $σ$-action.

We use crystals of tableaux and descent compositions to understand the decomposition of Schur functions $s_λ$ into Gessel's fundamental quasisymmetric functions $F_α$. The connected crystal of tableaux $B(λ)$, associated to $s_λ$, is shown to be partitionned into a disjoint union of connected induced subgraphs $B(T_α)$ corresponding to the $F_α$'s. We show that these subgraphs, which we call quasicrystals, are isomorphic (as graphs) to specific crystals of tableaux. This allows us to give a formula for the number of tableaux of shape $λ$ and maximal entry $n$. We also use this setting to give a constructive proof of a combinatorial formula for Kostka numbers $K^λ_μ$. We study the position of the quasicrystals within the crystal $B(λ)$, and show that they appear in dually positionned pairs, with the crystal anti-automorphism between them being given by a generalization of Schützenberger's evacuation. We introduce the notion of skeleton of the crystal $B(λ)$ given by replacing each subgraph $B(T_α)$ by the associated standard tableau of shape $λ$. We conjecture that its graph includes the dual equivalence graph for $λ$, introduced by Assaf, and that its subgraphs of tableaux with fixed number of descents have particular structures. Finally, we describe applications to plethysm, among which we give an algorithm to express any symmetric sum of fundamental quasisymmetric functions into the Schur basis, whose construction gives insight into the relationship between the two basis.

In this paper, we consider polyhedral realizations for crystal bases $B(λ)$ of irreducible integrable highest weight modules of a quantized enveloping algebra $U_q(\mathfrak{g})$, where $\mathfrak{g}$ is a classical affine Lie algebra of type ${\rm A}^{(1)}_{n-1}$, ${\rm C}^{(1)}_{n-1}$, ${\rm A}^{(2)}_{2n-2}$ or ${\rm D}^{(2)}_{n}$. We will give explicit forms of polyhedral realizations in terms of extended Young diagrams or Young walls that appear in the representation theory of quantized enveloping algebras of classical affine type. As an application, a combinatorial description of $\varepsilon_k^*$ functions on $B(\infty)$ will be given.

The hypoplactic monoid was introduced by Krob and Thibon through a presentation and through quasi-ribbon tableaux and an insertion algorithm. Just as Kashiwara crystals enriched the structure of the plactic monoid and allowed its generalization, the first and third authors of this paper introduced a construction of the hypoplactic monoid by identifying vertices in a quasi-crystal graph derived from the crystal graph associated to the general linear Lie algebra. Although this construction is based on Kashiwara's work, it cannot be extended to other crystal graphs, since the analogous quasi-Kashiwara operators on words do not admit a recursive definition. This paper addresses these issues. A general notion of quasi-crystal is introduced, followed by a study of its properties and relation with crystals. A combinatorial study of quasi-crystals is then made by associating a quasi-crystal graph to each quasi-crystal, which for the class of seminormal quasi-crystals results in a one-to-one correspondence. To model the binary operation of the hypoplactic monoid by quasi-crystals, a notion of quasi-tensor product of quasi-crystals is introduced, along with a combinatorial way of computing it similar to the signature rule for the tensor product of crystals. This framework allows the generalization of the classical hypoplactic monoid to a family of hypoplactic monoids associated to the various simple Lie algebras. The quasi-crystal structure is then used to establish algebraic properties of the hypoplactic monoid associated to the symplectic Lie algebra.

We construct an injection from the set of $r$-fans of Dyck paths (resp. vacillating tableaux) of length $n$ into the set of chord diagrams on $[n]$ that intertwines promotion and rotation. This is done in two different ways, namely as fillings of promotion-evacuation diagrams and in terms of Fomin growth diagrams. Our analysis uses the fact that $r$-fans of Dyck paths and vacillating tableaux can be viewed as highest weight elements of weight zero in crystals of type $B_r$ and $C_r$, respectively, which in turn can be analyzed using virtual crystals. On the level of Fomin growth diagrams, the virtualization process corresponds to the Roby-Krattenthaler blow up construction. One of the motivations for finding rotation invariant diagrammatic bases such as chord diagrams is the cyclic sieving phenomenon. Indeed, we give a cyclic sieving phenomenon on $r$-fans of Dyck paths and vacillating tableaux using the promotion action.

We give a new simple formula for the energy function of a level $1$ perfect crystal of type $C_n^{(1)}$ introduced by Kang, Kashiwara and Misra. We use this to give several expressions for the characters of level $1$ standard modules as generating functions for different types of partitions. We then relate one of these formulas to the difference conditions in the conjectural partition identity of Capparelli, Meurman, Primc and Primc, and prove that their conjecture is true for all level $1$ standard modules. Finally, we propose a non-specialised generalisation of their conjecture.

We use non-symmetric Cauchy kernel identities to get the law of last passagepercolation models in terms of Demazure characters. The construction is basedon some restrictions of the RSK correspondence that we rephrase in a unifiedway which is compatible with crystal basis theory.