Abstract:The vertices of any (combinatorial) Kashiwara crystal graph carry a natural monoid structure given by identifying words labelling vertices that appear in the same position of isomorphic components of the crystal. Working on a purely combinatorial and monoid-theoretical level, we prove some foundational results for these crystal monoids, including the observation that they have decidable word problem when their weight monoid is a finite rank free abelian group. The problem of constructing finite complete rewriting systems, and biautomatic structures, for crystal monoids is then investigated. In the case of Kashiwara crystals of types $A_n$, $B_n$, $C_n$, $D_n$, and $G_2$ (corresponding to the $q$-analogues of the Lie algebras of these types) these monoids are precisely the generalised plactic monoids investigated in work of Lecouvey. We construct presentations via finite complete rewriting systems for all of these types using a unified proof strategy that depends on Kashiwara's crystal bases and analogies of Young tableaux, and on Lecouvey's presentations for these monoids. As corollaries, we deduce that plactic monoids of these types have finite derivation type and satisfy the homological finiteness properties left and right $\mathrm{FP}_\infty$. These rewriting systems are then applied to show that plactic monoids of these types are biautomatic and thus have word problem soluble in quadratic time.

Crystal bases and combinatorics of infinite rank quantum groups

Crystal bases of modified quantized enveloping algebras and a double RSK correspondence

Polyhedral realizations of crystal bases for quantum algebras of finite types

Crystal bases and canonical bases for quantum Borcherds-Bozec algebras

Crystal bases of modified $\imath$quantum groups of certain quasi-split types

Heaps, crystals, and preprojective algebra modules

Categorical crystals for quantum affine algebras

Crystal monoids \& crystal bases: rewriting systems and biautomatic structures for plactic monoids of types $A_{n}$, $B_{n}$, $C_{n}$, $D_{n}$, and $G_2$

Crystal Algebra

Crystal bases and quiver varieties (Geometric construction of crystal bases II)

Crystal bases for reduced imaginary Verma modules of untwisted quantum affine algebras

Quantum Grassmannians and their Associated Quantum Schubert Varieties at roots of unity

Graded triangular bases

Conformal Field Theories, Graphs and Quantum Algebras

Bulletin (new Series) of the American Mathematical Society Finite Dimensional Algebras and Quantum Groups

Based cluster algebras of infinite ranks

Quantum $\frak {gl}_\infty$, infinite $q$-Schur algebras and their representations

On $C_n^{(1)}$-Geometric Crystal and its Ultradiscretization

The quantum general linear supergroup, canonical bases and Kazhdan-Lusztig polynomials

Quantum graphs, subfactors and tensor categories I

Extremal weight crystals over affine Lie algebras of infinite rank