Whittaker Annihilator in Representation Theory

• Whittaker annihilator is defined as the subalgebra of elements in a Lie algebra whose commutators with an ideal vanish under a given character, thereby governing simplicity in quasi-Whittaker modules.
• It determines the irreducibility of universal quasi-Whittaker modules by offering a precise criterion: the module is simple if and only if the annihilator equals the ideal.
• The concept extends across contexts—from classical Whittaker modules to geometric settings and gauge theories—demonstrating broad applicability in representation theory.

Searching arXiv for recent and foundational papers on Whittaker annihilator and related notions. The Whittaker annihilator is a representation-theoretic invariant attached to a character of a Lie subalgebra or ideal, used to control the structure of Whittaker-type modules. In the most direct sense developed by Cheng, Gao, Liu, Zhao, and Zhao, it is the subalgebra

$$\mathfrak g^\phi=\{\,x\in\mathfrak g\mid \phi([x,p])=0,\ \forall p\in\mathfrak p\,\}$$

associated with a Lie algebra $\mathfrak g$, a nonperfect ideal $\mathfrak p\triangleleft\mathfrak g$, and a character $\phi:\mathfrak p\to\mathbb C$; in that setting it determines the irreducibility and maximal submodules of universal quasi-Whittaker modules (Cheng et al., 8 Aug 2025). In related literatures, the same term-family appears in the forms of annihilator ideals and Whittaker annihilator varieties, which encode analogous information for simple Whittaker modules, degenerate Whittaker functionals, parabolically induced representations, and generalized Whittaker states (Chen, 2021, Gourevitch et al., 2011, Zhang, 2020, Kanno et al., 2012).

1. Definition in the quasi-Whittaker setting

Let $\mathfrak g$ be a complex Lie algebra, not necessarily semisimple, and let $\mathfrak p\triangleleft\mathfrak g$ be a nonperfect ideal, so $[\mathfrak p,\mathfrak p]\neq\mathfrak p$. Fix a Lie-algebra homomorphism

$$\phi:\mathfrak p\to\mathbb C,\qquad \phi([x,y])=0\ \text{for all }x,y\in\mathfrak p.$$

Writing $w_{(\phi)}$ for a formal generator with

$$p\cdot w_{(\phi)}=\phi(p)\,w_{(\phi)},\qquad p\in\mathfrak p,$$

the induced universal quasi-Whittaker module is

$\mathfrak g$0

By construction, $\mathfrak g$1 is generated by the quasi-Whittaker cyclic vector $\mathfrak g$2 (Cheng et al., 8 Aug 2025).

The Whittaker annihilator of $\mathfrak g$3 is then defined by

$\mathfrak g$4

A basic lemma states that $\mathfrak g$5 is a subalgebra of $\mathfrak g$6 containing $\mathfrak g$7. The proof uses linearity and the Jacobi identity for closure under brackets, together with $\mathfrak g$8 to obtain $\mathfrak g$9 (Cheng et al., 8 Aug 2025).

This definition is adapted to an ordered basis of $\mathfrak p\triangleleft\mathfrak g$0 compatible with the chain

$\mathfrak p\triangleleft\mathfrak g$1

for example

$\mathfrak p\triangleleft\mathfrak g$2

with $\mathfrak p\triangleleft\mathfrak g$3 a basis of $\mathfrak p\triangleleft\mathfrak g$4 and $\mathfrak p\triangleleft\mathfrak g$5 a basis of $\mathfrak p\triangleleft\mathfrak g$6. By the Poincaré–Birkhoff–Witt theorem, $\mathfrak p\triangleleft\mathfrak g$7 is free as a right module over $\mathfrak p\triangleleft\mathfrak g$8 with basis $\mathfrak p\triangleleft\mathfrak g$9, and over $\phi:\mathfrak p\to\mathbb C$0 with basis $\phi:\mathfrak p\to\mathbb C$1 (Cheng et al., 8 Aug 2025).

2. $\phi:\mathfrak p\to\mathbb C$2-invariants and the irreducibility criterion

For any $\phi:\mathfrak p\to\mathbb C$3-module $\phi:\mathfrak p\to\mathbb C$4, the $\phi:\mathfrak p\to\mathbb C$5-invariants are

$\phi:\mathfrak p\to\mathbb C$6

These form a $\phi:\mathfrak p\to\mathbb C$7-stable subspace. In the universal module $\phi:\mathfrak p\to\mathbb C$8, Cheng–Gao–Liu–Zhao–Zhao prove that

$\phi:\mathfrak p\to\mathbb C$9

Thus the quasi-Whittaker vectors of type $\mathfrak g$0 are exactly those obtained by applying the polynomial algebra in the $\mathfrak g$1 to the cyclic vector (Cheng et al., 8 Aug 2025).

The central structural theorem is the irreducibility criterion

$\mathfrak g$2

If $\mathfrak g$3, then the complement represented by the $\mathfrak g$4 is nonzero, and each $\mathfrak g$5 spans a proper submodule. Conversely, if $\mathfrak g$6, then

$\mathfrak g$7

so the space of quasi-Whittaker vectors is one-dimensional. A minimal-degree argument shows that any nonzero submodule contains a nonzero $\mathfrak g$8-invariant, hence contains $\mathfrak g$9, and therefore equals $\mathfrak p\triangleleft\mathfrak g$0 (Cheng et al., 8 Aug 2025).

This criterion identifies the Whittaker annihilator as the precise obstruction to simplicity. In that sense, $\mathfrak p\triangleleft\mathfrak g$1 is not merely an auxiliary stabilizer: it is the invariant governing whether the universal induced object already yields a simple quasi-Whittaker module.

3. Reducible cases and explicit classifications

When $\mathfrak p\triangleleft\mathfrak g$2 properly contains $\mathfrak p\triangleleft\mathfrak g$3 but with minimal possible codimension,

$\mathfrak p\triangleleft\mathfrak g$4

one may choose $\mathfrak p\triangleleft\mathfrak g$5 such that

$\mathfrak p\triangleleft\mathfrak g$6

In this case all maximal submodules of $\mathfrak p\triangleleft\mathfrak g$7 are

$\mathfrak p\triangleleft\mathfrak g$8

and the corresponding simple quotients are

$\mathfrak p\triangleleft\mathfrak g$9

where $[\mathfrak p,\mathfrak p]\neq\mathfrak p$0 is the unique extension of $[\mathfrak p,\mathfrak p]\neq\mathfrak p$1 to $[\mathfrak p,\mathfrak p]\neq\mathfrak p$2 satisfying $[\mathfrak p,\mathfrak p]\neq\mathfrak p$3 (Cheng et al., 8 Aug 2025).

The paper applies this framework to several classes of Lie algebras. For conformal Galilei and Schrödinger algebras, with $[\mathfrak p,\mathfrak p]\neq\mathfrak p$4 and $[\mathfrak p,\mathfrak p]\neq\mathfrak p$5 irreducible, one has

$[\mathfrak p,\mathfrak p]\neq\mathfrak p$6

for any nonzero $[\mathfrak p,\mathfrak p]\neq\mathfrak p$7. Hence every irreducible quasi-Whittaker module is either $[\mathfrak p,\mathfrak p]\neq\mathfrak p$8, when $[\mathfrak p,\mathfrak p]\neq\mathfrak p$9, or one of the quotients $$\phi:\mathfrak p\to\mathbb C,\qquad \phi([x,y])=0\ \text{for all }x,y\in\mathfrak p.$$0 when $$\phi:\mathfrak p\to\mathbb C,\qquad \phi([x,y])=0\ \text{for all }x,y\in\mathfrak p.$$1 (Cheng et al., 8 Aug 2025).

For Heisenberg–Virasoro-type algebras, the determination of $$\phi:\mathfrak p\to\mathbb C,\qquad \phi([x,y])=0\ \text{for all }x,y\in\mathfrak p.$$2 reduces to linear conditions of the form $$\phi:\mathfrak p\to\mathbb C,\qquad \phi([x,y])=0\ \text{for all }x,y\in\mathfrak p.$$3, as formulated in Corollary 3.6 and Theorem 4.5–4.7 of the paper. For smooth $$\phi:\mathfrak p\to\mathbb C,\qquad \phi([x,y])=0\ \text{for all }x,y\in\mathfrak p.$$4-modules of height $$\phi:\mathfrak p\to\mathbb C,\qquad \phi([x,y])=0\ \text{for all }x,y\in\mathfrak p.$$5, one sets

$$\phi:\mathfrak p\to\mathbb C,\qquad \phi([x,y])=0\ \text{for all }x,y\in\mathfrak p.$$6

and chooses $$\phi:\mathfrak p\to\mathbb C,\qquad \phi([x,y])=0\ \text{for all }x,y\in\mathfrak p.$$7 to vanish on $$\phi:\mathfrak p\to\mathbb C,\qquad \phi([x,y])=0\ \text{for all }x,y\in\mathfrak p.$$8 but to be nonzero on each monomial $$\phi:\mathfrak p\to\mathbb C,\qquad \phi([x,y])=0\ \text{for all }x,y\in\mathfrak p.$$9. The interaction matrix $w_{(\phi)}$0 in Corollary 3.6 then has full rank $w_{(\phi)}$1, forcing $w_{(\phi)}$2. It follows that $w_{(\phi)}$3 is irreducible as an $w_{(\phi)}$4-module of height $w_{(\phi)}$5, and by extension one obtains a family of irreducible smooth $w_{(\phi)}$6-modules of height $w_{(\phi)}$7 (Cheng et al., 8 Aug 2025).

4. Relation to classical Whittaker theory and annihilator ideals

In Kostant’s classical theory for a semisimple Lie algebra with triangular decomposition

$w_{(\phi)}$8

one takes $w_{(\phi)}$9 and $$p\cdot w_{(\phi)}=\phi(p)\,w_{(\phi)},\qquad p\in\mathfrak p,$$0 to be a nondegenerate character. Then

$$p\cdot w_{(\phi)}=\phi(p)\,w_{(\phi)},\qquad p\in\mathfrak p,$$1

so the universal Whittaker module is always irreducible. The quasi-Whittaker construction replaces $$p\cdot w_{(\phi)}=\phi(p)\,w_{(\phi)},\qquad p\in\mathfrak p,$$2 by an arbitrary nonperfect ideal $$p\cdot w_{(\phi)}=\phi(p)\,w_{(\phi)},\qquad p\in\mathfrak p,$$3 and shows that the invariant controlling simplicity is precisely $$p\cdot w_{(\phi)}=\phi(p)\,w_{(\phi)},\qquad p\in\mathfrak p,$$4 (Cheng et al., 8 Aug 2025).

A distinct but closely related notion is the annihilator ideal of a Whittaker module. For quasireductive Lie superalgebras $$p\cdot w_{(\phi)}=\phi(p)\,w_{(\phi)},\qquad p\in\mathfrak p,$$5, Chih-Whi Chen studies the Whittaker category $$p\cdot w_{(\phi)}=\phi(p)\,w_{(\phi)},\qquad p\in\mathfrak p,$$6 of finitely generated modules that are locally finite over both $$p\cdot w_{(\phi)}=\phi(p)\,w_{(\phi)},\qquad p\in\mathfrak p,$$7 and $$p\cdot w_{(\phi)}=\phi(p)\,w_{(\phi)},\qquad p\in\mathfrak p,$$8. In that setting, for a type I quasireductive Lie superalgebra, a non-singular $$p\cdot w_{(\phi)}=\phi(p)\,w_{(\phi)},\qquad p\in\mathfrak p,$$9, and every integral, $\mathfrak g$00-anti-dominant $\mathfrak g$01, one has

$\mathfrak g$02

Concretely,

$\mathfrak g$03

so the annihilator of the simple Whittaker module coincides with the primitive ideal coming from category $\mathfrak g$04 (Chen, 2021).

Term	Setting	Role
$\mathfrak g$05	quasi-Whittaker modules	subalgebra controlling simplicity
$\mathfrak g$06	Whittaker modules and supermodules	two-sided ideal annihilating a module
$\mathfrak g$07	induced representations	geometric Whittaker support closure

This comparison isolates a terminological distinction. In the quasi-Whittaker theory, the Whittaker annihilator is a subalgebra inside $\mathfrak g$08; in the superalgebra and primitive-ideal literature, the annihilator is a two-sided ideal in $\mathfrak g$09.

5. Geometric forms: associated varieties and Whittaker supports

For irreducible unitary representations of $\mathfrak g$10, Gourevitch and Sahi formulate an annihilator–Whittaker correspondence in terms of the annihilator ideal and its associated variety. If

$\mathfrak g$11

where $\mathfrak g$12 is the partition attached to the nilpotent orbit $\mathfrak g$13, then

$\mathfrak g$14

and if

$\mathfrak g$15

for some composition $\mathfrak g$16, then

$\mathfrak g$17

Thus $\mathfrak g$18 is the largest partition for which Whittaker functionals survive. Here the annihilator controls the existence of degenerate Whittaker functionals through the geometry of nilpotent orbits rather than through a subalgebra such as $\mathfrak g$19 (Gourevitch et al., 2011).

For $\mathfrak g$20 with a two-block Levi subgroup $\mathfrak g$21 and a parabolic $\mathfrak g$22, Zhang studies the Whittaker annihilator variety of a parabolically induced representation

$\mathfrak g$23

If $\mathfrak g$24, then

$\mathfrak g$25

Equivalently,

$\mathfrak g$26

where $\mathfrak g$27 is the Littlewood–Richardson coefficient. The locally closed subvarieties

$\mathfrak g$28

have exactly $\mathfrak g$29 irreducible components, all of the same dimension

$\mathfrak g$30

In this setting, “Whittaker annihilator” refers to a geometric invariant situated inside the associated variety formalism (Zhang, 2020).

6. Generalized annihilators in conformal and gauge-theoretic settings

In the theory of irregular conformal blocks and instanton counting, the annihilator viewpoint appears in the defining ideals of generalized Whittaker states. For pure $\mathfrak g$31 gauge theory, the Virasoro Gaiotto state $\mathfrak g$32 satisfies

$\mathfrak g$33

so the annihilator ideal is generated by

$\mathfrak g$34

For pure $\mathfrak g$35, the $\mathfrak g$36-Whittaker state is characterized by

$\mathfrak g$37

together with

$\mathfrak g$38

In each case the conditions uniquely determine the state in the Verma module, up to normalization, and its norm reproduces the corresponding Nekrasov instanton partition function (Kanno et al., 2012).

The generalized case arises when additional matter or surface operators force zero-modes into the defining relations. For $\mathfrak g$39 with $\mathfrak g$40 fundamentals, one has

$\mathfrak g$41

together with

$\mathfrak g$42

$\mathfrak g$43

For $\mathfrak g$44 with a full surface operator, the affine $\mathfrak g$45 generalized Whittaker vector satisfies

$\mathfrak g$46

and

$\mathfrak g$47

$\mathfrak g$48

The occurrence of $\mathfrak g$49 or $\mathfrak g$50 shows that the defining annihilator is no longer a strict character of a purely nilpotent positive subalgebra. The paper therefore describes these objects as generalized Whittaker states and explicitly relates them to the classical Lie-theoretic annihilator generated by $\mathfrak g$51 (Kanno et al., 2012).

Across these settings, the recurring theme is that a Whittaker-type object is determined by linear conditions of the form “generator minus prescribed scalar or mode” acting on a cyclic vector. What changes from one theory to another is the ambient algebraic structure—Lie algebra, Lie superalgebra, enveloping algebra, associated variety, or chiral algebra—and with it the precise meaning of “annihilator.”