Demazure Modules Overview

• Demazure modules are finite-dimensional submodules of highest-weight representations, defined as the span of an extremal weight vector under a Borel or current algebra.
• They exhibit rich geometric and polyhedral structures, including weight polytopes and Schubert variety realizations, which are pivotal in combinatorics and algebraic geometry.
• Their explicit presentations via generators and relations enable fusion product decompositions and tensor-product factorizations, advancing modern representation theory.

A Demazure module is a finite-dimensional submodule of a highest-weight representation of a complex semisimple algebraic group, Lie algebra, or their quantum/affine analogues, constructed as the span of an extremal weight vector under a Borel or current algebra. Demazure modules play a fundamental role in geometric representation theory, the geometry of Schubert and Schubert-type varieties, the theory of weight polytopes, and the categorification of cluster algebras. Their definitions and key properties are uniform over finite, affine, and current algebras, and are central in understanding tensor-product decompositions, fusion products, Q-systems, and the structure of affine flag varieties.

1. Algebraic and Geometric Definition

Let $G$ be a complex reductive group with Borel $B\supset T$, where $T$ is a maximal torus, $X^*(T)$ is the character lattice, and $W$ the Weyl group. Given a dominant weight $\lambda\in X^*(T)^+$ and $w\in W$, the Demazure module $M(w,\lambda)$ is defined as

$$M(w,\lambda) := U(\mathfrak{b})\cdot v_{w} \subset V(\lambda)$$

where $v_{w}=w\cdot v_{\lambda}$ is the extremal weight vector in the irreducible $B\supset T$0-module $B\supset T$1 of highest weight $B\supset T$2, and $B\supset T$3 is the universal enveloping algebra of the Borel subalgebra $B\supset T$4.

Equivalently, $B\supset T$5 is the graded dual of the global sections of a line bundle over the Schubert variety: $B\supset T$6 where $B\supset T$7 is the Schubert variety in $B\supset T$8 indexed by $B\supset T$9, and $T$0 is the restriction of the $T$1-equivariant line bundle. In positive characteristic, the analogous modules appear as the global sections of line bundles on $T$2 or its Schubert subvarieties (Jones et al., 2010).

2. Demazure Polytope and Weight Theory

The $T$3-module structure of $T$4 decomposes into weight spaces. The convex hull of the weights $T$5 such that $T$6 forms the Demazure polytope $T$7. Two fundamental characterizations exist (Besson et al., 2022):

1. Vertex Description: $T$8, i.e., vertices correspond to extremal weights indexed by Bruhat order.
2. Inequality Description: $T$9 is determined by linear inequalities via the Demazure product and fundamental coweights.

A central result is the saturation theorem: For $X^*(T)$0 simple of classical type, the Demazure character is saturated: every lattice point $X^*(T)$1 with $X^*(T)$2 (the root lattice) and $X^*(T)$3 occurs as an actual weight (Besson et al., 2022). Specializing to $X^*(T)$4, Demazure modules encode key polynomials, whose Newton polytopes correspond exactly to the Demazure polytope, and whose saturation was conjectured in algebraic combinatorics.

3. Presentation by Generators and Relations

An explicit presentation for Demazure modules (and their current algebra analogues) is given in terms of generators and defining relations. For the affine Lie algebra $X^*(T)$5 and level $X^*(T)$6, the stable Demazure module $X^*(T)$7 (cyclic for $X^*(T)$8) is generated by a highest-weight vector $X^*(T)$9 subject to:

• $W$0 for all $W$1
• $W$2 for $W$3, $W$4
• For each positive root $W$5, writing $W$6 with $W$7:
  • $W$8
  • $W$9
  • $\lambda\in X^*(T)^+$0 if $\lambda\in X^*(T)^+$1
  • (Kus et al., 2023, Kus et al., 2021).

In classical finite types, simplified presentations requiring only two current relations per root are available (Kus et al., 2021). In type $\lambda\in X^*(T)^+$2, partitions and further combinatorial simplification are possible (Chari et al., 2013).

4. Fusion Product, Excellent Filtrations, and Tensor Product Factorizations

Central to the theory of Demazure modules is the notion of the fusion product. For cyclic graded $\lambda\in X^*(T)^+$3-modules $\lambda\in X^*(T)^+$4 with cyclic generators $\lambda\in X^*(T)^+$5 and distinct evaluation parameters $\lambda\in X^*(T)^+$6, the fusion product is

$\lambda\in X^*(T)^+$7

This construction is especially robust and independent of parameters for Demazure modules, and underpins key factorization results. The Steinberg-type theorem for higher-level Demazure modules asserts that any such module can be expressed as a fusion product of "prime" Demazure modules, where the factors are indexed by weights either less than the level on all simple coroots or are exact multiples of the level (Chari et al., 2014, Venkatesh, 2013, Kus et al., 2023). This fusion product structure mirrors the tensor product decomposition theorem for finite group representations in characteristic $\lambda\in X^*(T)^+$8.

A Demazure flag (excellent filtration) in a module $\lambda\in X^*(T)^+$9 is a filtration by graded submodules such that the successive quotients are Demazure modules. Fusion products with fundamental modules admit explicit Demazure flag structures, important for combinatorial computations and connections to crystal theory (Kus et al., 2023, Chari et al., 2013, Setia et al., 2023).

5. Geometric and Polyhedral Models

Demazure modules admit rich geometric and polyhedral interpretations:

• Polyhedral Geometry: For $w\in W$0, the polyhedral geometry of Demazure modules is encoded by Kogan faces inside Gelfand–Tsetlin polytopes, and their PBW-graded modules are governed by chain polytopes (Biswal et al., 2014). The order and chain polytopes parametrize monomial bases and reflect geometric degenerations to toric varieties, which are projectively normal and arithmetically Cohen–Macaulay.
• Flag Varieties and Arc Schemes: Demazure modules are realized as dual spaces of global sections of line bundles over Schubert and semi-infinite Schubert varieties. The coordinate ring of the reduced arc scheme for Plücker–Veronese embeddings decomposes into modules isomorphic to higher-level Demazure modules, relating their representation theory to arc spaces and algebraic geometry (Dumanski et al., 2019, Kato, 2016).
• Weight and Support Varieties: The support varieties of Demazure modules are computed explicitly in finite types, with compatibility with orbital varieties and closure relations governed by the Bruhat order (Jones et al., 2010). The weight polytope (Demazure polytope) plays a crucial role in understanding the set of weights, their multiplicities, and saturated character phenomena (Besson et al., 2022).

6. Generalizations: Twisted and Quantum Versions

The theory extends to twisted current algebras and quantum affine algebras:

• Twisted Current Algebras: For simple Lie algebras with outer automorphisms, twisted current algebras, their Weyl modules, and Demazure modules of level one can be identified, and enjoy similar tensor product, dimension, and universal properties as their untwisted analogues. The associated graded construction and parameter independence extend as well (Bianchi et al., 2019, Fourier et al., 2011).
• Quantum Loop Algebras: Demazure modules realize the graded limits of certain representations of quantum loop algebras and minimal affinizations. Their characters can be described via Demazure operators and are closely connected to crystal bases and specializations of Macdonald polynomials (Naoi, 2012, Chari et al., 2019, Brito et al., 2015).

7. Applications: Key Polynomials, Crystals, and Categorical Representation Theory

Demazure modules directly generalize key polynomials in algebraic combinatorics: for $w\in W$1, their Demazure characters coincide with key polynomials, and the Demazure polytope recovers the Newton polytope (Besson et al., 2022). Associated crystals—Demazure crystals—represent the combinatorial hulls supporting Demazure modules, form connected components inside tensor products, and are amenable to explicit construction and classification via paths and tableaux (Kus et al., 2021, Chari et al., 2013). The structure and characteristics of Demazure modules underpin $w\in W$2-systems, Schur positivity results, and representation-theoretic solutions to conjectures in algebraic combinatorics.

• (Besson et al., 2022) Weight polytopes and saturation of Demazure characters
• (Chari et al., 2013) Modules with Demazure Flags and Character Formulae
• (Biswal et al., 2014) Minuscule Schubert varieties: Poset polytopes, PBW-degenerated Demazure modules, and Kogan faces
• (Dumanski et al., 2019) Reduced arc schemes for Veronese embeddings and global Demazure modules
• (Kato, 2016) Demazure character formula for semi-infinite flag varieties
• (Chari et al., 2014) A Steinberg type decomposition theorem for higher level Demazure modules
• (Kus et al., 2023) Pieri formulas, higher level Demazure crystals and numerical multiplicities of excellent filtrations
• (Kus et al., 2021) Simplified presentations and embeddings of Demazure modules
• (Ravinder, 2015) Generalized Demazure modules and fusion products
• (Bianchi et al., 2019) Demazure and local Weyl modules for twisted hyper current algebras
• (Fourier et al., 2011) Demazure modules and Weyl modules: The twisted current case
• (Besson et al., 2022, Jones et al., 2010) Support varieties and polyhedral geometry
• (Naoi, 2012, Chari et al., 2019, Brito et al., 2015) Demazure modules and their quantum analogues, minimal affinizations and prime representations
• (Chari et al., 2013, Setia et al., 2023) Demazure flags and graded multiplicities in $w\in W$3.

For foundational work, see [Dem] M. Demazure. Désingularisation des variétés de Schubert généralisées, Annales Scientifiques de l’École Normale Supérieure (4) 7 (1974), no. 1, 53–88.