arXiv++ Combinatorics

Crystal skeletons were introduced by Maas-Gariépy in 2023 by contracting quasi-crystal components in a crystal graph. On the representation theoretic level, crystal skeletons model the expansion of Schur functions into Gessel's quasisymmetric functions. Motivated by questions of Schur positivity, we provide a combinatorial description of crystal skeletons, and prove many new properties, including a conjecture by Maas-Gariépy that crystal skeletons generalize dual equivalence graphs. We then present a new axiomatic approach to crystal skeletons. We give three versions of the axioms based on $GL_n$-branching, $S_n$-branching, and local axioms in analogy to the local Stembridge axioms for crystals based on novel commutation relations.

We introduce a new family of polynomials, crystal skeleton polynomials, to better understand enumeration of standard Young tableaux, quasi-Yamanouchi tableaux and interactions with Gessel's expansion of a Schur function, quasi-crystals and crystal skeletons as Maas-Gariépy introduced in 2023. After developing calculus of those polynomials, we organize thoughts on major index, charge, depth, inversions with RSK correspondence and a bivariate factorial. Also, we revisit the theorem on internal zeros of fake degree polynomials by Billey--Konvalinka--Swanson (2020). These results altogether improve Gessel's expansion.

The plactic monoids can be obtained from the tensor product of crystals. Similarly, the hypoplactic monoids can be obtained from the quasi-tensor product of quasi-crystals. In this paper, we present a unified approach to these constructions by expressing them in the context of quasi-crystals. We provide a sufficient condition to obtain a quasi-crystal monoid for the quasi-tensor product from a quasi-crystal monoid for the tensor product. We also establish a sufficient condition for a hypoplactic monoid to be a quotient of the plactic monoid associated to the same seminormal quasi-crystal.

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.

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.

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.

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.