Demazure Crystal: Basics and Applications

• Demazure crystal is a substructure of a highest-weight crystal that encodes Demazure modules and key polynomial expansions through truncation methods.
• It is constructed via Kashiwara lowering operators applied to models like semistandard tableaux, pipe dreams, and Kohnert diagrams, ensuring stability under crystal operations.
• Demazure crystals underpin applications in Schubert calculus, solvable lattice models, and tensor product decompositions, offering insight into positivity and representation theory.

A Demazure crystal is a combinatorial and representation-theoretic structure arising as a truncation of the highest-weight crystal of a symmetrizable Kac–Moody algebra, capturing the structure of Demazure modules and their characters. Demazure crystals simultaneously encode the combinatorics and representation theory of Demazure submodules, their associated key polynomials, and related decompositions in Schubert calculus, symmetric functions, and crystal theory.

1. Definition and Construction

Let $\mathfrak{g}$ be a symmetrizable Kac–Moody algebra with Weyl group $W$ and dominant weight $\lambda \in P^+$, and let $B(\lambda)$ denote the normal crystal of the irreducible highest-weight $\mathfrak{g}$-module $V(\lambda)$. For any $w \in W$ with a fixed reduced expression $w = s_{i_1}\cdots s_{i_\ell}$, define

$$B_w(\lambda) := \{ f_{i_1}^{a_1} \cdots f_{i_\ell}^{a_\ell}(b_\lambda) \mid a_j \ge 0\} \setminus \{ 0 \}$$

where $b_\lambda$ is the unique highest-weight vector in $W$0 and $W$1 are the Kashiwara lowering operators. This set is the Demazure crystal of type $W$2; it is independent of the choice of reduced word for $W$3 and forms a subcrystal of $W$4 satisfying the Kashiwara crystal axioms, including the string property and stability under the $W$5 and $W$6 operators (with certain truncation for the $W$7) (Assaf et al., 22 Dec 2025, Schilling et al., 2011, Blasiak, 2020, Armon, 2023).

2. Combinatorial Models and Crystal Structures

The combinatorial realization of Demazure crystals depends on the chosen combinatorial model of the ambient highest-weight crystal:

• Semistandard Young/Tableaux Model (type A): Vertices are semistandard tableaux; the crystal structure is given by signature rules for raising/lowering operators. The Demazure crystal corresponds to the set of tableaux whose right key (in the Lascoux–Schützenberger sense) is at most a given tableau in Bruhat order (Jacon et al., 2019).
• Key Tableaux / Key Tabloids: For Demazure crystals corresponding to key polynomials, the subsets consist of flagged key tableaux, with explicit raising and lowering operator actions described by signature rules and flagged conditions. The resulting Demazure subcrystals correspond to flagged key polynomials (Wen, 2023, Assaf et al., 2017).
• Pipe Dreams (rc-graphs): For Schubert polynomials, the reduced pipe dreams model supports an explicit Demazure crystal structure via combinatorial “chute moves”: operators $W$8 correspond to sliding crosses downward as per pairing rules, and $W$9 is the inverse. This gives an explicit polyhedral realization of Demazure crystals inside the set of reduced pipe dreams for $\lambda \in P^+$0 (Gold et al., 2024).
• Kohnert Diagrams: Demazure crystals can be defined on sets of Kohnert diagrams (arising from Kohnert polynomials generalizing Schubert and Demazure polynomials), with $\lambda \in P^+$1 and $\lambda \in P^+$2 acting as combinatorial cell-moving operators (Assaf, 2020).

3. Demazure Characters, Key Polynomials, and Structural Decomposition

The character of a Demazure crystal $\lambda \in P^+$3,

$\lambda \in P^+$4

is known as a Demazure character or key polynomial in type $\lambda \in P^+$5. The action of the Demazure operators $\lambda \in P^+$6 on polynomial functions,

$\lambda \in P^+$7

satisfies the relations of the nil-Hecke algebra, and for any reduced word $\lambda \in P^+$8, $\lambda \in P^+$9 is well-defined. The Demazure character satisfies

$B(\lambda)$0

(Assaf et al., 22 Dec 2025, Wen, 2023, Assaf et al., 2017, Blasiak, 2020). In type $B(\lambda)$1, Schubert polynomials decompose as positive sums of key polynomials, corresponding combinatorially to a sum over connected components of Demazure subcrystals in the ambient pipe dream or factorization crystal (Gold et al., 2024, Assaf et al., 2017).

4. Local and Atomic Structure, Unions, and Extremality

A subset $B(\lambda)$2 of a highest-weight crystal $B(\lambda)$3 is a union of Demazure crystals if and only if it satisfies two local axioms (Assaf et al., 22 Dec 2025):

• Extremality (E): For every $B(\lambda)$4-string in $B(\lambda)$5, the intersection $B(\lambda)$6 is either empty, a singleton highest-weight element, or the whole string.
• Ideal Property (I): Whenever $B(\lambda)$7, then $B(\lambda)$8 (maximal raising/lowering).

A Demazure atom is defined as $B(\lambda)$9, giving an atomic decomposition,

$\mathfrak{g}$0

for any lower ideal $\mathfrak{g}$1 in $\mathfrak{g}$2. A subset is itself a single Demazure crystal $\mathfrak{g}$3 if and only if it is extremal, ideal, and principal (i.e., has a unique maximal weight element) (Assaf et al., 22 Dec 2025, Armon, 2023).

5. Tensor Products, Decomposition, and Positivity

Tensor products of Demazure crystals do not always decompose into Demazure crystals. The correct criterion is extremality on the tensor product (codified via the absence of broken hinges) (Assaf et al., 2022):

• $\mathfrak{g}$4 is a direct sum of Demazure crystals iff there is no broken $\mathfrak{g}$5-hinge, equivalently, if the image of $\mathfrak{g}$6 is in a specified coset determined by $\mathfrak{g}$7 and $\mathfrak{g}$8.
• When this criterion holds, each connected component is a Demazure crystal, and explicit formulas for the representatives and decomposition are available (Kouno, 2018, Assaf et al., 2022).
• These decompositions result in positive expansions for structure constants of products of key polynomials, extending classical Littlewood–Richardson rules to the key polynomial basis (Kouno, 2018).

6. Crystal Realizations in Solvable Lattice Models, Kohnert, Macdonald, and Generalized Contexts

Demazure crystals appear naturally in multiple advanced contexts:

• Exactly Solvable Lattice Models: The state space of the closed colored five-vertex model forms a Demazure crystal; the partition function over these states recovers the Demazure character (key polynomial), and crystal operators admit local vertex interpretations (Yang, 5 Dec 2025).
• Kohnert and Macdonald Polynomials: Certain Kohnert diagrams under specified conditions generate crystals whose connected components are Demazure crystals. Nonsymmetric Macdonald polynomials at $\mathfrak{g}$9 expand positively as sums of Demazure characters, with explicit crystal-theoretic construction on key tabloids (Assaf, 2020, Assaf et al., 2019, Assaf et al., 2020).
• Tensor Products of KR Crystals and Affine Demazure: Tensor products of perfect Kirillov–Reshetikhin crystals (possibly of different levels) are isomorphic, as full subcrystals, to unions of Demazure crystals in tensor products of highest weight crystals, with energy grading corresponding to the affine degree (Schilling et al., 2011, Naoi, 2011, Blasiak, 2020).
• Path Models and Weyl Modules: In the context of current algebras and Weyl modules, filtrations by Demazure modules correspond to decompositions of the associated crystals into unions of Demazure crystals; path models realize this structure in both simply-laced and non-simply-laced types (Naoi, 2010).

7. Applications, Generalizations, and Comparison to Other Structures

Demazure crystals serve as the combinatorial skeleton for Demazure modules and play a central role in:

• Schubert calculus, as the key polynomial basis for Schubert polynomials (Gold et al., 2024, Assaf et al., 2017).
• The expansion and key-positivity of flagged Grothendieck polynomials, flagged key polynomials, and flagged reverse plane partitions (Wen, 2023, Kundu, 2023).
• The structure theory of unions of Demazure crystals, Demazure atoms, and the filtering of more general modules (including Polo modules) by relative Schubert filtrations (Assaf et al., 22 Dec 2025).
• The construction of generalized Demazure modules and the modeling of their crystals via monomial and path models (Gibson, 2019, Blasiak, 2020).
• The explicit affine grading and connections to special functions (e.g., Macdonald and Whittaker functions via the energy statistic) (Schilling et al., 2011).

Demazure crystals are characterized by a rigid set of combinatorial and algebraic axioms, and their fine structure underlies much of the positivity, decomposition, and compatibility phenomena found at the interface of algebraic combinatorics, symmetric functions, and the representation theory of Kac–Moody (especially affine) algebras.