Quasi-Whittaker Modules Overview

• Quasi-Whittaker modules are generalized Lie algebra modules defined via nonperfect subalgebras, extending classical Whittaker theory.
• They employ a universal induced module construction where irreducibility is characterized by conditions on the Whittaker annihilator and rank criteria.
• Applications span diverse settings including the Schrödinger algebra, categorical extensions, and quantum affine variants, linking to q-Whittaker functions.

Quasi-Whittaker modules are generalizations of Whittaker modules in which the distinguished subalgebra is not restricted to the nilpotent radical of a triangular decomposition. In a general setting, if $\mathfrak{g}$ is a nonsemisimple Lie algebra and $\mathfrak{p}$ is a nonperfect ideal of $\mathfrak{g}$, then for a Lie algebra homomorphism $\phi:\mathfrak{p}\to\mathbb{C}$ a vector $v$ is a quasi-Whittaker vector of type $\phi$ if $p v=\phi(p)v$ for all $p\in\mathfrak{p}$, and a $\mathfrak{g}$-module is a quasi-Whittaker module of type $\phi$ if it is generated by such a vector (Cheng et al., 8 Aug 2025). Related uses of the term occur for modules induced from the Heisenberg subalgebra of the Schrödinger algebra (Cai et al., 2013), for Whittaker categories attached to arbitrary characters in quasi-reductive Lie superalgebras (Chen et al., 2022), and for generalized Whittaker theories associated with nonclassical Whittaker pairs such as $\mathfrak{p}$0 (Li et al., 2022).

1. Foundational definition and universal construction

The modern general framework starts with a nonperfect ideal $\mathfrak{p}$1. The nonperfectness condition means $\mathfrak{p}$2, so nontrivial homomorphisms $\mathfrak{p}$3 can exist. For each nonzero $\mathfrak{p}$4, one defines a $\mathfrak{p}$5-dimensional $\mathfrak{p}$6-module $\mathfrak{p}$7 by $\mathfrak{p}$8, and the universal quasi-Whittaker module is the induced module

$\mathfrak{p}$9

Its cyclic vector $\mathfrak{g}$0 is a quasi-Whittaker vector of type $\mathfrak{g}$1, and every quasi-Whittaker module of type $\mathfrak{g}$2 generated by a vector $\mathfrak{g}$3 is a quotient of $\mathfrak{g}$4 via a surjective $\mathfrak{g}$5-module homomorphism sending $\mathfrak{g}$6 to $\mathfrak{g}$7 (Cheng et al., 8 Aug 2025).

A central invariant in this setting is the Whittaker annihilator

$\mathfrak{g}$8

It is a subalgebra of $\mathfrak{g}$9 containing $\phi:\mathfrak{p}\to\mathbb{C}$0. The same work introduces the notion of a bland quasi-Whittaker module: a quasi-Whittaker module is bland if its space of quasi-Whittaker vectors is $\phi:\mathfrak{p}\to\mathbb{C}$1-dimensional. Bland modules are in bijection with extensions of $\phi:\mathfrak{p}\to\mathbb{C}$2 to $\phi:\mathfrak{p}\to\mathbb{C}$3, and when $\phi:\mathfrak{p}\to\mathbb{C}$4 the only possible extension is $\phi:\mathfrak{p}\to\mathbb{C}$5 itself (Cheng et al., 8 Aug 2025).

This framework is deliberately broader than classical Whittaker theory. The distinguished subalgebra need not be the positive nilpotent subalgebra of a triangular decomposition, and the pair $\phi:\mathfrak{p}\to\mathbb{C}$6 need not be a Whittaker pair in the sense used for generalized Whittaker modules. The abstract formulation is designed to include many well-known Lie algebras, with some resulting modules being classical Whittaker modules and others not (Cheng et al., 8 Aug 2025).

2. Irreducibility, annihilators, and maximal submodules

The basic irreducibility theorem for universal quasi-Whittaker modules is exact: $\phi:\mathfrak{p}\to\mathbb{C}$7 If $\phi:\mathfrak{p}\to\mathbb{C}$8, elements of $\phi:\mathfrak{p}\to\mathbb{C}$9 generate proper submodules; if $v$0, every nonzero submodule contains the cyclic quasi-Whittaker vector and hence equals $v$1 (Cheng et al., 8 Aug 2025).

For finite-dimensional semidirect products $v$2, the criterion becomes a rank condition. If $v$3 is a basis of $v$4, $v$5 is a basis of $v$6, and $v$7 is the matrix with entries $v$8, then

$v$9

This recasts the condition $\phi$0 in linear-algebraic terms (Cheng et al., 8 Aug 2025).

The reducible case admits an explicit description when $\phi$1. If $\phi$2 and $\phi$3, then all maximal submodules of $\phi$4 are

$\phi$5

and the irreducible quotients are $\phi$6 (Cheng et al., 8 Aug 2025). The same paper states that when $\phi$7, all irreducible quasi-Whittaker modules are bland, so classification reduces to extensions of $\phi$8 to $\phi$9.

Several examples illustrate that quasi-Whittaker theory does not collapse to the classical one. For the Heisenberg algebra $p v=\phi(p)v$0, every nonzero vector in $p v=\phi(p)v$1 can be a quasi-Whittaker vector, but there are no bland irreducible quasi-Whittaker modules because $p v=\phi(p)v$2 is not extendable (Cheng et al., 8 Aug 2025). The same framework is used to classify irreducible quasi-Whittaker modules for conformal Galilei, Schrödinger, Heisenberg–Virasoro, Planer Galilei, and $p v=\phi(p)v$3 algebras, and to obtain irreducible smooth $p v=\phi(p)v$4-modules of height $p v=\phi(p)v$5 (Cheng et al., 8 Aug 2025).

3. The Schrödinger algebra as the basic explicit model

For the Schrödinger algebra $p v=\phi(p)v$6 with basis $p v=\phi(p)v$7, the key distinguished subalgebra for quasi-Whittaker theory is the Heisenberg subalgebra

$p v=\phi(p)v$8

Given a Lie algebra homomorphism $p v=\phi(p)v$9, a quasi-Whittaker vector in an $p\in\mathfrak{p}$0-module $p\in\mathfrak{p}$1 is a nonzero vector $p\in\mathfrak{p}$2 such that $p\in\mathfrak{p}$3 for all $p\in\mathfrak{p}$4, and the universal quasi-Whittaker module is

$p\in\mathfrak{p}$5

The decisive structural statement is that for a simple $p\in\mathfrak{p}$6-module $p\in\mathfrak{p}$7, being a quasi-Whittaker module is equivalent to being locally finite over $p\in\mathfrak{p}$8 (Cai et al., 2013).

The classification of simple quasi-Whittaker modules for $p\in\mathfrak{p}$9 is controlled by the operator

$\mathfrak{g}$0

For $\mathfrak{g}$1, let

$\mathfrak{g}$2

Every simple quasi-Whittaker module of type $\mathfrak{g}$3 is isomorphic to some $\mathfrak{g}$4. Moreover, if $\mathfrak{g}$5 is a cyclic quasi-Whittaker vector, then

$\mathfrak{g}$6

All quasi-Whittaker vectors in $\mathfrak{g}$7 or $\mathfrak{g}$8 are of the form $\mathfrak{g}$9 with $\phi$0, and in $\phi$1 they are scalar multiples of the cyclic vector (Cai et al., 2013).

Arbitrary quasi-Whittaker modules over the Schrödinger algebra admit a polynomial-primary decomposition. If $\phi$2 is generated by a quasi-Whittaker vector $\phi$3 and $\phi$4, then the submodules

$\phi$5

form a finite composition series

$\phi$6

with all quotients $\phi$7. For a general annihilating polynomial $\phi$8, the module decomposes as a direct sum of primary components, each with unique composition series of length $\phi$9, and the full set of quasi-Whittaker vectors is $\mathfrak{p}$00 (Cai et al., 2013).

The Schrödinger algebra also supports a parallel classical Whittaker theory induced from the nilpotent subalgebra $\mathfrak{p}$01. In that setting the quasi-central element

$\mathfrak{p}$02

governs zero-level modules, while nonzero-level simple Whittaker modules are tensor products of a simple Heisenberg Whittaker module and a simple $\mathfrak{p}$03 Whittaker module (Zhang et al., 2013). The juxtaposition of the two theories makes clear that quasi-Whittaker modules for $\mathfrak{p}$04 are not merely a change of terminology: they are induced from $\mathfrak{p}$05 rather than from a Borel subalgebra and are classified through $\mathfrak{p}$06 and local finiteness over $\mathfrak{p}$07 (Cai et al., 2013).

4. Categorical extensions: superalgebras, finite $\mathfrak{p}$08-algebras, and nonclassical Whittaker pairs

For quasi-reductive Lie superalgebras with triangular decomposition

$\mathfrak{p}$09

the Whittaker category $\mathfrak{p}$10 attached to a character $\mathfrak{p}$11 consists of finitely generated $\mathfrak{p}$12-modules that are locally finite over $\mathfrak{p}$13 and $\mathfrak{p}$14, and on which each $\mathfrak{p}$15 acts locally nilpotently as $\mathfrak{p}$16. Its integral block is denoted $\mathfrak{p}$17. The Backelin functor

$\mathfrak{p}$18

is exact, sends Verma modules $\mathfrak{p}$19 to standard Whittaker modules $\mathfrak{p}$20, and sends $\mathfrak{p}$21 to $\mathfrak{p}$22 when $\mathfrak{p}$23 is $\mathfrak{p}$24-anti-dominant and to $\mathfrak{p}$25 otherwise. The main multiplicity formula is

$\mathfrak{p}$26

for $\mathfrak{p}$27-anti-dominant weights $\mathfrak{p}$28. In this paper, quasi-Whittaker modules are those associated to arbitrary, not necessarily non-singular, characters $\mathfrak{p}$29, and $\mathfrak{p}$30 is equivalent to a properly stratified quotient $\mathfrak{p}$31, with $\mathfrak{p}$32 realizing the Serre quotient functor (Chen et al., 2022).

For $\mathfrak{p}$33, a different categorical realization is given by the Whittaker category $\mathfrak{p}$34, whose objects are modules $\mathfrak{p}$35 such that each $\mathfrak{p}$36 acts locally nilpotently and the Whittaker vector space

$\mathfrak{p}$37

is finite dimensional. Localizing $\mathfrak{p}$38 at the Ore subset generated by $\mathfrak{p}$39 gives a tensor product decomposition

$\mathfrak{p}$40

where

$\mathfrak{p}$41

The algebra $\mathfrak{p}$42 is isomorphic to the finite $\mathfrak{p}$43-algebra $\mathfrak{p}$44 for the minimal nilpotent element $\mathfrak{p}$45. There is an equivalence

$\mathfrak{p}$46

and for each generalized central character $\mathfrak{p}$47, the block $\mathfrak{p}$48 is equivalent to the corresponding block of the cuspidal category $\mathfrak{p}$49. Regular integral blocks are described by an $\mathfrak{p}$50-vertex quiver with relations $\mathfrak{p}$51, whereas singular or non-integral blocks are equivalent to modules over $\mathfrak{p}$52 (Liu et al., 2023).

A further extension arises from the generalized Whittaker theory of Batra and Mazorchuk. For $\mathfrak{p}$53, let

$\mathfrak{p}$54

An $\mathfrak{p}$55-module is called a Whittaker module with respect to the Whittaker pair $\mathfrak{p}$56 if the action of $\mathfrak{p}$57 is locally finite. These modules are more general than the classical Whittaker modules defined by Kostant. For non-singular blocks with finite-dimensional Whittaker vector spaces, one has an equivalence

$\mathfrak{p}$58

where $\mathfrak{p}$59 is a category of finitely generated modules over the even Weyl algebra $\mathfrak{p}$60 on which each $\mathfrak{p}$61 acts locally nilpotently and the joint eigenspace is finite dimensional; these categories are semi-simple (Li et al., 2022).

5. Weyl modules, $\mathfrak{p}$62-Whittaker functions, and representation-theoretic realizations

The phrase quasi-Whittaker module also appears in the interface between current algebras, DAHA, and $\mathfrak{p}$63-Toda theory. For a finite-dimensional simple Lie algebra $\mathfrak{p}$64, generalized global Weyl modules $\mathfrak{p}$65 are cyclic modules over the affine nilpotent algebra $\mathfrak{p}$66, and their graded characters are expressed through nonsymmetric Macdonald polynomials: $\mathfrak{p}$67 The same paper identifies the series part of the nonsymmetric $\mathfrak{p}$68-Whittaker function as

$\mathfrak{p}$69

so that the nonsymmetric $\mathfrak{p}$70-Whittaker function becomes a generating function for the graded characters of generalized global Weyl modules. The paper explicitly describes this as a module-theoretic realization of the nonsymmetric $\mathfrak{p}$71-Whittaker function by Quasi-Whittaker modules (Feigin et al., 2016).

In the symmetric setting, for a semisimple simply connected group $\mathfrak{p}$72 over $\mathfrak{p}$73, $\mathfrak{p}$74-Whittaker functions $\mathfrak{p}$75 arise as eigenfunctions of a quantum difference $\mathfrak{p}$76-Toda integrable system associated to the Langlands dual group $\mathfrak{p}$77. For simply laced $\mathfrak{p}$78, the main theorem identifies

$\mathfrak{p}$79

where $\mathfrak{p}$80 is the Weyl module and $\mathfrak{p}$81 is the Demazure module. Geometrically,

$\mathfrak{p}$82

The same work relates the result to Cherednik, Ion, Sanderson, and Gerasimov–Lebedev–Oblezin and interprets the $\mathfrak{p}$83-Whittaker eigenfunction through spaces of based quasi-maps to the flag variety (Braverman et al., 2012).

These developments link quasi-Whittaker terminology to a broader representation-theoretic program in which Whittaker-type functions are recovered as characters of explicitly constructed modules. In this range of results, the quasi-Whittaker aspect is encoded less by a single universal definition than by a common mechanism: cyclic modules controlled by relaxed Whittaker data and organized by graded character formulas (Feigin et al., 2016).

6. Quantum and affine variants, limitations, and open directions

Quantum and affine Whittaker theories exhibit several phenomena that sharpen the quasi-Whittaker perspective. For untwisted affine Kac–Moody Lie algebras, imaginary Whittaker modules are obtained by parabolic induction from irreducible Whittaker modules over Heisenberg Lie algebras. If the support of the Whittaker function $\mathfrak{p}$84 is infinite, the induced Heisenberg module $\mathfrak{p}$85 is irreducible; if the support is finite, the module is reducible and admits an infinite chain of submodules

$\mathfrak{p}$86

with successive quotients isomorphic to irreducible $\mathfrak{p}$87-modules. In the quantum case, however, for nontrivial central charge $\mathfrak{p}$88, the corresponding modules $\mathfrak{p}$89 are irreducible regardless of support. The same work states that its methods could be extended to quasi- and generalized Whittaker modules for untwisted quantum affine algebras (Futorny et al., 3 Jun 2026).

For $\mathfrak{p}$90, the Whittaker function is necessarily singular because the quantum Serre relation forces $\mathfrak{p}$91. Fixing $\mathfrak{p}$92 and $\mathfrak{p}$93, one obtains the universal Whittaker module

$\mathfrak{p}$94

Every Whittaker vector in $\mathfrak{p}$95 is of the form $\mathfrak{p}$96 with $\mathfrak{p}$97, and the irreducible quotients are governed by the distinction between critical and non-critical pairs $\mathfrak{p}$98 through the polynomials

$\mathfrak{p}$99

The quotient $\mathfrak{g}$00 is irreducible if and only if $\mathfrak{g}$01 is non-critical, and these exhaust all irreducible Whittaker modules in the non-critical case (Guo et al., 14 Apr 2025). Although this theory is not formulated under the name quasi-Whittaker module, it shares the same universal-module, Whittaker-vector, and submodule-classification pattern.

A related nonsemisimple example appears for gap-$\mathfrak{g}$02 Virasoro algebras. Universal Whittaker modules $\mathfrak{g}$03 admit explicit irreducibility criteria in terms of the Whittaker parameters. In particular, when $\mathfrak{g}$04 for all $\mathfrak{g}$05,

$\mathfrak{g}$06

and in the general-level case every irreducible Whittaker module is described as a tensor product of an irreducible module induced from the Heisenberg part and an irreducible quotient for the complementary gap-$\mathfrak{g}$07 Virasoro subalgebra (Xu et al., 21 May 2025). This construction aligns closely with the quasi-Whittaker philosophy of imposing Whittaker conditions on a chosen part of the algebra rather than on a full positive nilpotent subalgebra.

Across these settings, a recurring limitation is that universality does not by itself determine simplicity. Irreducibility may depend on the Whittaker annihilator $\mathfrak{g}$08 (Cheng et al., 8 Aug 2025), on spectral parameters such as $\mathfrak{g}$09 or the roots of annihilating polynomials (Cai et al., 2013), on support conditions in affine Heisenberg induction (Futorny et al., 3 Jun 2026), or on criticality conditions in the quantum case (Guo et al., 14 Apr 2025). The literature therefore presents quasi-Whittaker modules not as a single rigid species, but as a family of closely related module theories unified by induced constructions, constrained eigenvector conditions, and explicit annihilator-based classification.