---
title: Demazure Modules Overview
url: https://www.emergentmind.com/topics/demazure-module
type: topic
---

# Demazure Modules Overview

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 $G$-module $V(\lambda)$ of highest weight $\lambda$, and $U(\mathfrak{b})$ is the universal enveloping algebra of the Borel subalgebra $\mathfrak{b}$.

Equivalently, $M(w,\lambda)$ is the graded dual of the global sections of a line bundle over the Schubert variety:
\[
M(w,\lambda) \cong H^0(X_w, L_w(\lambda))^*
\]
where $X_w$ is the Schubert variety in $G/B$ indexed by $w$, and $L_w(\lambda)$ is the restriction of the $G$-equivariant line bundle. In positive characteristic, the analogous modules appear as the global sections of line bundles on $G/B$ or its Schubert subvarieties [1002.0829].

## 2. Demazure Polytope and Weight Theory

The $T$-module structure of $M(w, \lambda)$ decomposes into weight spaces. The convex hull of the weights $\mu$ such that $M(w, \lambda)_\mu \neq 0$ forms the Demazure polytope $P(w, \lambda)$. Two fundamental characterizations exist [2202.05405]:

1. **Vertex Description**: $P(w, \lambda)=\mathrm{Conv}\{u\cdot\lambda:u\le w \text{ in Bruhat order}\}$, i.e., vertices correspond to extremal weights indexed by Bruhat order.
2. **Inequality Description**: $P(w, \lambda)$ is determined by linear inequalities via the Demazure product and fundamental coweights.

A central result is the **saturation theorem**: For $G$ simple of classical type, the Demazure character is saturated: every lattice point $\mu$ with $\lambda-\mu\in Q$ (the root lattice) and $\mu\in P(w,\lambda)$ occurs as an actual weight [2202.05405]. Specializing to $G=GL_n$, 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 $\widehat{\mathfrak{g}}$ and level $\ell$, the stable Demazure module $D^\ell_\lambda$ (cyclic for $\mathfrak{g}[t]$) is generated by a highest-weight vector $v$ subject to:
- $(\mathfrak{n}^+\otimes t^r)\cdot v = 0$ for all $r\ge0$
- $(h\otimes t^r)\cdot v = 0$ for $r>0$, $(h\otimes1)\cdot v = \lambda(h)v$
- For each positive root $\alpha$, writing $\lambda(h_\alpha)=(s_\alpha-1)\ell+m_\alpha$ with $1\le m_\alpha\le \ell$:
    - $(x^-_\alpha\otimes1)^{\lambda(h_\alpha)+1}\cdot v = 0$
    - $(x^-_\alpha\otimes t^{s_\alpha})\cdot v = 0$
    - $(x^-_\alpha\otimes t^{s_\alpha-1})^{m_\alpha+1}\cdot v = 0$ if $m_\alpha<\ell$
[2303.11999, 2112.14830].

In classical finite types, simplified presentations requiring only two current relations per root are available [2112.14830]. In type $SL_2$, partitions and further combinatorial simplification are possible [1310.5191].

## 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 $\mathfrak{g}[t]$-modules $V_i$ with cyclic generators $v_i$ and distinct evaluation parameters $z_i$, the fusion product is
\[
V_1^{z_1}*\cdots*V_m^{z_m}:= \mathrm{gr}(V_1^{z_1}\otimes\cdots\otimes V_m^{z_m})
\]
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 [1408.4090, 1311.2224, 2303.11999]. This fusion product structure mirrors the tensor product decomposition theorem for finite group representations in characteristic $p$.

A Demazure flag (excellent filtration) in a module $V$ 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 [2303.11999, 1310.5191, 2309.14144].

## 5. Geometric and Polyhedral Models

Demazure modules admit rich geometric and polyhedral interpretations:

- **Polyhedral Geometry:** For $\mathfrak{sl}_n$, 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 [1410.1126]. 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 [1912.07988, 1605.04953].

- **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 [1002.0829]. The weight polytope (Demazure polytope) plays a crucial role in understanding the set of weights, their multiplicities, and saturated character phenomena [2202.05405].

## 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 [1907.04955, 1108.5960].
- **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 [1210.0175, 1911.07155, 1504.00178].

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

Demazure modules directly generalize key polynomials in algebraic combinatorics: for $GL_n$, their Demazure characters coincide with key polynomials, and the Demazure polytope recovers the Newton polytope [2202.05405]. 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 [2112.14830, 1310.5191]. The structure and characteristics of Demazure modules underpin $Q$-systems, Schur positivity results, and representation-theoretic solutions to conjectures in algebraic combinatorics.

## References

- [2202.05405] Weight polytopes and saturation of Demazure characters
- [1310.5191] Modules with Demazure Flags and Character Formulae
- [1410.1126] Minuscule Schubert varieties: Poset polytopes, PBW-degenerated Demazure modules, and Kogan faces
- [1912.07988] Reduced arc schemes for Veronese embeddings and global Demazure modules
- [1605.04953] Demazure character formula for semi-infinite flag varieties
- [1408.4090] A Steinberg type decomposition theorem for higher level Demazure modules
- [2303.11999] Pieri formulas, higher level Demazure crystals and numerical multiplicities of excellent filtrations
- [2112.14830] Simplified presentations and embeddings of Demazure modules
- [1504.01537] Generalized Demazure modules and fusion products
- [1907.04955] Demazure and local Weyl modules for twisted hyper current algebras
- [1108.5960] Demazure modules and Weyl modules: The twisted current case
- [2202.05405, 1002.0829] Support varieties and polyhedral geometry
- [1210.0175, 1911.07155, 1504.00178] Demazure modules and their quantum analogues, minimal affinizations and prime representations
- [1310.5191, 2309.14144] Demazure flags and graded multiplicities in $\mathfrak{sl}_2[t]$.

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.

Source: https://www.emergentmind.com/topics/demazure-module