Relations in doubly laced crystal graphs via discrete Morse theory

We study the combinatorics of crystal graphs given by highest weight representations of finite simply and doubly laced type, uncovering new relations that exist among crystal operators. Much structure in these graphs has been revealed by local relations given by Stembridge and Sternberg. However, there exist relations among crystal operators that are not implied by Stembridge or Sternberg relations. Viewing crystal graphs as edge colored posets, we use poset topology to study them. Using the lexicographic discrete Morse functions of Babson and Hersh, we relate the Möbius function of a given interval in a crystal poset of simply laced or doubly laced type to the types of relations that can occur among crystal operators within this interval.

More specifically, for a crystal of a highest weight representation of finite simply or doubly laced type, we show that whenever there exists an interval whose Möbius function is not equal to $-1$, $0$, or $1$, there must be a relation among crystal operators within this interval not implied by Stembridge or Sternberg relations. As an example of an application, this yields relations among crystal operators in types $B_n$ and $C_n$ that were not previously known. Additionally, by studying the structure of Sternberg relations in the doubly laced case, we prove that crystals of highest weight representations of types $B_2$ and $C_2$ are not lattices. Finally, we prove a result under certain conditions regarding the truncation algorithm for lexicographic discrete Morse functions.

Keywords

crystals, Möbius function, crystal operators, discrete Morse functions

Full Text (PDF format)

The author was partially supported by NSF grant DMS-1500987.

Received 31 August 2019

Accepted 21 April 2020

Published 4 January 2021