Demazure Character: Algebra, Combinatorics, and Geometry

• Demazure character is a representation-theoretic object that encodes weight multiplicities using divided-difference operators applied to highest-weight modules.
• It possesses rich geometric and combinatorial interpretations, connecting flag varieties, Schubert calculus, crystal bases, and polyhedral models such as Gelfand–Tsetlin polytopes.
• Its extensions to affine, quantum, and generalized Kac–Moody settings offer tools to explore positivity phenomena and structural insights in modern algebraic combinatorics.

A Demazure character is a foundational object in the representation theory of algebraic and quantum groups, with deep connections to geometry, combinatorics, and special functions. It encodes, via explicit algebraic and combinatorial formulas, the weight multiplicities of Demazure modules—cyclic, Borel-invariant submodules of highest-weight modules associated to an element of the Weyl group. The Demazure character generalizes the classical Weyl character and appears in contexts ranging from Schubert calculus and crystal bases to Macdonald polynomials and Gelfand–Tsetlin polytopes.

1. Definition and Operator Formulae

Let $G$ be a semisimple algebraic group with Borel subgroup $B$, Weyl group $W$, and weight lattice $\Lambda$. For a dominant weight $\lambda \in \Lambda_+$, let $V(\lambda)$ be the highest-weight module of highest weight $\lambda$. For any $w\in W$, the Demazure module $V_w(\lambda)$ is defined as the $B$-submodule $B$0, where $B$1 is the extremal weight vector of weight $B$2 in $B$3 (Naoi, 2012).

The Demazure character is then given by the formal sum

$B$4

Demazure gave an explicit formula in terms of divided-difference (Demazure) operators. Let $B$5 be the operator (for simple root $B$6)

$B$7

For any reduced decomposition $B$8, set $B$9. Then the Demazure character formula states: $W$0 and importantly, $W$1 is independent of the reduced expression (Naoi, 2012).

2. Geometric, Representation-Theoretic, and Combinatorial Structures

Demazure characters have rich geometric interpretations. In the geometry of flag varieties, $W$2 is realized as the global sections $W$3 over Schubert subvarieties $W$4, with Demazure operators corresponding to actions on sheaf cohomology (Kannan, 2012). For current algebras and semi-infinite flag varieties, Demazure modules correspond to spaces of global sections on semi-infinite Schubert varieties, where projective normality is crucial for the identification (Kato, 2016).

Combinatorial models abound:

• Crystals: Demazure subcrystals $W$5 are subgraphs of highest-weight crystals closed under crystal lowering operators, and their characters sum over vertices according to weight (Schilling et al., 2011, Assaf, 2020).
• Tableaux: In type $W$6, Demazure characters coincide with key polynomials and enumerate semi-standard Young tableaux $W$7 whose right key $W$8 is bounded above by a given key (Proctor et al., 2012, Willis, 2015). The Bruhat order and scanning algorithms tightly control this filtration.
• Kohnert Diagrams: Demazure characters can be constructed via certain moves on diagrams, where the resulting set of diagrams corresponds to the monomial terms contributing to the character (Assaf, 2020).

3. Demazure Characters in Affine and Quantum Settings

Demazure characters extend naturally to affine Kac–Moody and quantum group representations. For quantum loop algebras, minimal affinizations, and current algebras, Demazure module characters serve as building blocks for the classical limits of graded modules, often via limits of compositions of Demazure operators in the quantum setting (Naoi, 2012, Chari et al., 2013). In generalized Kac–Moody settings, the definition of Demazure modules and the associated operator formalism (via real and imaginary simple roots) is generalized, but the character formula retains the divided-difference structure (Ishii, 2013).

Analytically, Demazure characters also emerge as $W$9-specializations of nonsymmetric Macdonald polynomials, with precise identification for $\Lambda$0 or $\Lambda$1 specializations, particularly in types $\Lambda$2 and $\Lambda$3 (Assaf et al., 2020, Kato, 2016). This connects Demazure characters both to the energy function on tensor products of Kirillov–Reshetikhin crystals and to Whittaker functions (Schilling et al., 2011, Lee et al., 2016).

4. Polyhedral and Ehrhart-Theoretic Interpretations

Demazure characters possess a strong polyhedral interpretation. In type $\Lambda$4, their specializations count the integer points of unions of faces (Kogan faces) of Gelfand–Tsetlin polytopes (Alexandersson et al., 2018). This provides a bridge between representation theory, tableau combinatorics, and Ehrhart theory, leading to conjectures about positivity properties of the associated Ehrhart polynomials. In higher rank, Demazure operators can be used to formulate lattice-sum analogues for weight polytopes, interpolating between Brion’s polytope-sum formula and the Weyl/Demazure formulas, with fully explicit operator expansions in low ranks and conjectural extensions for all simple Lie types (Walton, 2021, Rasmussen et al., 2021).

Interpretation Type	Demazure Character Content	Reference
Differential Operators	$\Lambda$5 formula (divided-difference)	(Naoi, 2012)
Polyhedral (Type A)	Sum over lattice points in polytopal unions	(Alexandersson et al., 2018)
Crystal Graphs	Character as sum over Demazure subcrystal weights	(Schilling et al., 2011)
Tableaux, Atoms, Keys	Sum over SSYT with right key $\Lambda$6 prescribed key	(Proctor et al., 2012, Willis, 2015)
Macdonald Polynomials	Specialized non-symmetric Macdonalds at $\Lambda$7	(Assaf et al., 2020, Kato, 2016)

5. Positivity, Product Rules, and Filtration Properties

Demazure characters exhibit significant positivity phenomena. Products involving Demazure characters—such as those with Schur polynomials or other Demazure characters—admit combinatorial rules for expansion into Schubert or Demazure characters, with nonnegative integer coefficients (Assaf, 2021, Pun, 2016, Assaf et al., 2019). This aspect is central in the context of Schubert calculus, in the study of Demazure and Schubert filtrations (Polo's conjecture), and in the Littlewood–Richardson type rules for key polynomials.

The structure of Demazure flags—filtrations of modules in which subquotients are Demazure modules—is a central theme in the representation theory of current algebras, with explicit fermionic and bosonic formulas for graded multiplicities, especially for $\Lambda$8 and higher-level Demazure modules (Chari et al., 2013, Setia et al., 2023).

6. Explicit Examples and Applications

Concrete examples occur ubiquitously in type $\Lambda$9. For $\lambda \in \Lambda_+$0, the Demazure character associated to a permutation $\lambda \in \Lambda_+$1 and a partition $\lambda \in \Lambda_+$2 can be constructed combinatorially via divided-difference operators or by summing over semistandard Young tableaux with right key $\lambda \in \Lambda_+$3 the key for $\lambda \in \Lambda_+$4; their sum recovers the Schur polynomial when $\lambda \in \Lambda_+$5 is the longest element (Proctor et al., 2012, Willis, 2015, Assaf et al., 2019). Variants appear in the study of Schubert polynomials, Schur expansion of Hall–Littlewood polynomials in terms of Demazure characters, Whittaker and Macdonald functions, and in polytopal enumeration (Lee et al., 2016, Alexandersson et al., 2018, Assaf et al., 2020).

Demazure character formulas for negative dominant weights yield alternating-sum expressions for higher cohomology of Schubert varieties, broadening the classical dominant-weight story and providing new bases for intersections of Demazure operator kernels (Kannan, 2012). The extension to generalized Kac–Moody algebras preserves the Demazure operator formalism in a suitably modified form (Ishii, 2013).

---

Demazure characters fundamentally link the algebraic, combinatorial, and geometric structures of representation theory, forming a robust bridge between module-theoretic, crystal-theoretic, and polyhedral perspectives. These characters remain central in both foundational theory and a wide range of applications, from Schubert calculus and affine algebras to lattice-point enumeration and $\lambda \in \Lambda_+$6-special functions.