Affine Brylinski Filtration in Kac–Moody Algebras

• The affine Brylinski filtration is an extension of the finite-type Brylinski–Kostant filtration to affine Kac–Moody representations, employing the principal Heisenberg subalgebra in place of the principal nilpotent.
• It constructs a graded structure on dominant weight spaces whose Hilbert–Poincaré series exactly recovers Lusztig’s t-analogue of weight multiplicities.
• A uniform simply-laced proof uses W-algebras, Drinfeld–Sokolov reduction, and an explicit PBW-type basis, bridging algebraic methods with arithmetic-geometric ideas.

The affine Brylinski filtration is the affine analogue of the Brylinski–Kostant filtration on representations of finite-dimensional semisimple Lie algebras. In affine Kac–Moody theory, the finite-type principal nilpotent is replaced by the principal Heisenberg subalgebra, and the resulting filtration on dominant weight spaces of integrable highest-weight modules has associated graded Hilbert–Poincaré series equal to Lusztig’s $t$-analogue of weight multiplicities. For the basic representation $L(\Lambda_0)$, this filtration admits an explicit Poincaré–Birkhoff–Witt type basis; in simply-laced untwisted affine type, a uniform proof is obtained through $\mathscr W$-algebras, Drinfeld–Sokolov reduction, and the Miura map (Slofstra, 2010, Govindarajan et al., 14 Aug 2025). A distinct arithmetic-geometric usage extends Brylinski’s filtration on Witt vectors to the de Rham–Witt complex (Krishna et al., 17 Jan 2026).

1. Affine Kac–Moody setting and principal Heisenberg structure

Let $\bar{\mathfrak g}$ be a finite-dimensional simple Lie algebra of type $A_\ell$, $D_\ell$, or $E_6,E_7,E_8$, with Cartan subalgebra $\bar{\mathfrak h}$, root lattice $Q$, normalized invariant form $(\cdot\mid\cdot)$, and fundamental degrees

$L(\Lambda_0)$0

Its untwisted affine Kac–Moody algebra is

$L(\Lambda_0)$1

If $L(\Lambda_0)$2 are the Chevalley generators, the principal Heisenberg subalgebra is

$L(\Lambda_0)$3

with positive part $L(\Lambda_0)$4 (Govindarajan et al., 14 Aug 2025).

In Slofstra’s formulation for untwisted affine Kac–Moody algebras, one starts with a simple finite-dimensional Lie algebra $L(\Lambda_0)$5 and its affine extension $L(\Lambda_0)$6, forms the principal nilpotent $L(\Lambda_0)$7, and writes $L(\Lambda_0)$8. The span of $L(\Lambda_0)$9 and the $\mathscr W$0 is then a Heisenberg algebra, and the positive part $\mathscr W$1 is abelian and graded by $\mathscr W$2 (Slofstra, 2010). This replacement of the principal nilpotent by the principal Heisenberg is the defining affine modification.

The basic representation is the level-$\mathscr W$3 vacuum module $\mathscr W$4, on which $\mathscr W$5 acts by $\mathscr W$6. Its $\mathscr W$7-invariant subspace is

$\mathscr W$8

This $\mathscr W$9-string is the canonical arena for the explicit basis results proved via $\bar{\mathfrak g}$0-algebras (Govindarajan et al., 14 Aug 2025).

2. Definition of the affine Brylinski filtration

For an integrable highest-weight module $\bar{\mathfrak g}$1 of positive level and a weight space $\bar{\mathfrak g}$2, the affine Brylinski filtration may be written in two equivalent ways. In the Heisenberg-span form,

$\bar{\mathfrak g}$3

Because the positive Heisenberg part is abelian, this is equivalent to the annihilation formulation

$\bar{\mathfrak g}$4

with $\bar{\mathfrak g}$5 and $\bar{\mathfrak g}$6 (Slofstra, 2010, Govindarajan et al., 2019).

For the basic representation in simply-laced affine type, the filtration is written as

$\bar{\mathfrak g}$7

Restricting to the invariant subspace gives

$\bar{\mathfrak g}$8

and hence a bi-graded associated graded space

$\bar{\mathfrak g}$9

The filtration degree records Heisenberg complexity, while the $A_\ell$0-degree records the position along the $A_\ell$1-string (Govindarajan et al., 14 Aug 2025).

In the principal vertex-operator realization discussed in the type $A_\ell$2 case, the positive Heisenberg modes act compatibly with the filtration: for $A_\ell$3 and $A_\ell$4 one has

$A_\ell$5

while for $A_\ell$6,

$A_\ell$7

This realizes the filtration as an operator-theoretic grading in the principal model (Govindarajan et al., 2019).

3. Hilbert–Poincaré series and Lusztig’s $A_\ell$8-analogue

The principal structural theorem is that the affine Brylinski filtration recovers Lusztig’s $A_\ell$9-analogue of weight multiplicity on dominant weights. If $D_\ell$0 is dominant integral of positive level and $D_\ell$1 is dominant, then the Poincaré series

$D_\ell$2

coincides with Lusztig’s polynomial

$D_\ell$3

Equivalently, the Hilbert–Poincaré series of the associated graded dominant weight space is exactly Lusztig’s $D_\ell$4-analogue (Slofstra, 2010, Govindarajan et al., 2019).

For the basic representation, the invariant subspace $D_\ell$5 admits a closed two-variable Hilbert series. With $D_\ell$6 the fundamental degrees of $D_\ell$7,

$D_\ell$8

This formula is attributed in the paper to GSV and Slofstra, and in the type $D_\ell$9 case its double-product form is identified with the $E_6,E_7,E_8$0-Macdonald–Mehta constant-term identity (Govindarajan et al., 14 Aug 2025, Govindarajan et al., 2019).

The significance of this equality is that the filtration is not merely an internal module-theoretic construction. It computes a canonical graded multiplicity polynomial already appearing in affine representation theory and in conjectural affine Satake-type frameworks. Slofstra’s paper states this as the affine replacement for the finite-dimensional Brylinski–Kostant picture proposed in relation to Braverman–Finkelberg’s conjectural analogue of the geometric Satake isomorphism (Slofstra, 2010).

4. $E_6,E_7,E_8$1-algebra realization and explicit PBW basis

The $E_6,E_7,E_8$2-algebra description begins with the lattice vertex algebra

$E_6,E_7,E_8$3

where $E_6,E_7,E_8$4 is the level-$E_6,E_7,E_8$5 Heisenberg Fock space of $E_6,E_7,E_8$6 and $E_6,E_7,E_8$7 is a standard $E_6,E_7,E_8$8-cocycle. The $E_6,E_7,E_8$9-algebra of $\bar{\mathfrak h}$0 is

$\bar{\mathfrak h}$1

By Feigin–Frenkel, it is freely generated as a vertex algebra by fields

$\bar{\mathfrak h}$2

of conformal weights $\bar{\mathfrak h}$3 (Govindarajan et al., 14 Aug 2025).

Fix the principal twisted realization $\bar{\mathfrak h}$4 of $\bar{\mathfrak h}$5 and restrict it to $\bar{\mathfrak h}$6. In the type $\bar{\mathfrak h}$7 formulation, the dominant weight spaces together form an irreducible Verma module of the corresponding $\bar{\mathfrak h}$8-algebra, and the natural PBW basis of this module is compatible with the Brylinski filtration (Govindarajan et al., 2019). The simply-laced uniform theorem states that for each $\bar{\mathfrak h}$9, the subspace $Q$0 has a basis consisting of vectors

$Q$1

subject to the conditions

$Q$2

Here $Q$3 is the highest-weight vacuum in $Q$4 (Govindarajan et al., 14 Aug 2025).

These monomials realize the two gradings explicitly: the $Q$5-degree is $Q$6 and the $Q$7-degree is $Q$8. In the type $Q$9 paper, the analogous statement is expressed by saying that PBW monomials of total degree at most $(\cdot\mid\cdot)$0 span $(\cdot\mid\cdot)$1, and that modes $(\cdot\mid\cdot)$2 with $(\cdot\mid\cdot)$3 raise the filtration index by exactly $(\cdot\mid\cdot)$4 (Govindarajan et al., 2019). The resulting basis is the analogue, for the principal vertex-operator realization of $(\cdot\mid\cdot)$5, of Feigin–Frenkel’s basis of $(\cdot\mid\cdot)$6.

5. Uniform simply-laced proof and the failure of the principal nilpotent

The type-free proof for simply-laced affine Lie algebras proceeds by identifying $(\cdot\mid\cdot)$7 inside the principal realization with a $(\cdot\mid\cdot)$8-module and then proving that it is an irreducible $(\cdot\mid\cdot)$9-Verma module. More precisely, the paper identifies $L(\Lambda_0)$00 with the space of invariants under the positive Heisenberg and shows that, as a $L(\Lambda_0)$01-module,

$L(\Lambda_0)$02

an irreducible Verma module of $L(\Lambda_0)$03 at central charge

$L(\Lambda_0)$04

It also states, as a corollary, that $L(\Lambda_0)$05 is a $L(\Lambda_0)$06-Verma module at level $L(\Lambda_0)$07 and highest weight $L(\Lambda_0)$08 (Govindarajan et al., 14 Aug 2025).

The proof uses Drinfeld–Sokolov reduction in the form

$L(\Lambda_0)$09

for generic affine weight $L(\Lambda_0)$10, together with the Kac–Kazhdan criterion to deduce irreducibility of the $L(\Lambda_0)$11-Verma from irreducibility of the affine Verma. It then invokes the Miura map

$L(\Lambda_0)$12

which at $L(\Lambda_0)$13 identifies $L(\Lambda_0)$14. For $L(\Lambda_0)$15, the free-field PBW basis of the highest-weight Fock module $L(\Lambda_0)$16 pulls back to the $L(\Lambda_0)$17-monomial basis of the filtration subspaces (Govindarajan et al., 14 Aug 2025).

A recurrent misconception is that the finite-type principal nilpotent filtration should extend verbatim to affine type. Slofstra gives an explicit counterexample in $L(\Lambda_0)$18. Writing the principal nilpotent as

$L(\Lambda_0)$19

and taking

$L(\Lambda_0)$20

in the level-$L(\Lambda_0)$21 module $L(\Lambda_0)$22, one has

$L(\Lambda_0)$23

The corresponding Poincaré series differ:

$L(\Lambda_0)$24

This is the basic reason that the affine theory is formulated with the principal Heisenberg rather than the principal nilpotent (Slofstra, 2010).

6. Alternative arithmetic-geometric usage

A distinct construction, also described as an affine Brylinski filtration, appears in positive-characteristic arithmetic geometry. Let $L(\Lambda_0)$25 be an snc-pair over a perfect field of characteristic $L(\Lambda_0)$26, with

$L(\Lambda_0)$27

Locally, if $L(\Lambda_0)$28 is a regular system of parameters defining the components of $L(\Lambda_0)$29 and

$L(\Lambda_0)$30

one defines

$L(\Lambda_0)$31

and then

$L(\Lambda_0)$32

This sheaf-theoretic filtration cuts out Witt-differential forms whose Witt-coordinate entries have poles of order $L(\Lambda_0)$33 along each component of $L(\Lambda_0)$34 (Krishna et al., 17 Jan 2026).

When $L(\Lambda_0)$35 is a henselian DVR with fraction field $L(\Lambda_0)$36, this construction recovers Brylinski’s original filtration

$L(\Lambda_0)$37

through the identity

$L(\Lambda_0)$38

For arbitrary degree $L(\Lambda_0)$39, Krishna–Majumder give an explicit description of $L(\Lambda_0)$40 in terms of generators of the form

$L(\Lambda_0)$41

with $L(\Lambda_0)$42 and $L(\Lambda_0)$43 (Krishna et al., 17 Jan 2026).

The same paper constructs the two-term complex

$L(\Lambda_0)$44

and proves that its hypercohomology recovers Kato’s lower numbering subgroups in

$L(\Lambda_0)$45

It also proves that Frobenius, Verschiebung, and restriction preserve the filtration, satisfying

$L(\Lambda_0)$46

This usage is mathematically separate from the affine Kac–Moody filtration, but both constructions extend a Brylinski filtration from a degree-zero setting to a richer graded or sheaf-theoretic context (Krishna et al., 17 Jan 2026).