Universal Quasi-Whittaker Modules

• Universal quasi-Whittaker modules are induced modules for Lie algebras with nonperfect ideals, extending classical Whittaker theory via one-dimensional character homomorphisms.
• They are constructed universally through induction, with polynomial control mechanisms exemplified in the Schrödinger and derivation algebras.
• Key structural aspects include clear irreducibility criteria and classification via extensions, with applications in both categorical and superalgebraic frameworks.

Universal quasi-Whittaker modules are induced modules attached to a Lie algebra together with a character on a distinguished subalgebra or ideal. In the general setting of a nonsemisimple Lie algebra $\mathfrak g$ with a nonperfect ideal $\mathfrak p$, a quasi-Whittaker vector of type $\phi:\mathfrak p\to\mathbb C$ is a vector $v$ satisfying $pv=\phi(p)v$ for all $p\in\mathfrak p$, and the universal quasi-Whittaker module is

$$W(\phi)=\operatorname{Ind}_{\mathfrak p}^{\mathfrak g}\mathbb C w_\phi.$$

This construction is universal among quasi-Whittaker modules of type $\phi$ (Cheng et al., 8 Aug 2025). Earlier concrete realizations were obtained for the Schrödinger algebra, where the inducing subalgebra is the Heisenberg subalgebra $H$ and the universal object is

$M_\varphi=U(G)\otimes_{U(H)}\mathbb C_\varphi$

(Cai et al., 2013). Related ordinary Whittaker theories, especially for derivation Lie algebras of Laurent polynomial rings, and categorical Whittaker theories for Lie superalgebras, provide the structural models against which universal quasi-Whittaker modules are naturally compared (Lian et al., 2014, Chen et al., 2022).

1. Definition and scope

In the general theory, the starting point is a nonsemisimple Lie algebra $\mathfrak p$0, a nonperfect ideal $\mathfrak p$1, and a Lie algebra homomorphism

$\mathfrak p$2

A vector $\mathfrak p$3 in a $\mathfrak p$4-module $\mathfrak p$5 is called a quasi-Whittaker vector of type $\mathfrak p$6 if

$\mathfrak p$7

and $\mathfrak p$8 is called a quasi-Whittaker module of type $\mathfrak p$9 if it is generated by such a vector (Cheng et al., 8 Aug 2025). The condition that $\phi:\mathfrak p\to\mathbb C$0 be nonperfect is essential, because if $\phi:\mathfrak p\to\mathbb C$1 is perfect then any homomorphism $\phi:\mathfrak p\to\mathbb C$2 is necessarily zero.

For the Schrödinger algebra $\phi:\mathfrak p\to\mathbb C$3, the quasi-Whittaker condition is imposed not on a Borel subalgebra but on the Heisenberg subalgebra

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

If $\phi:\mathfrak p\to\mathbb C$5 is a Lie algebra homomorphism, then a quasi-Whittaker vector $\phi:\mathfrak p\to\mathbb C$6 satisfies

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

and since $\phi:\mathfrak p\to\mathbb C$8, one has $\phi:\mathfrak p\to\mathbb C$9 (Cai et al., 2013).

This enlarges the usual Whittaker framework. In ordinary Whittaker theory, the character is typically placed on a nilpotent subalgebra coming from a triangular decomposition. By contrast, quasi-Whittaker modules are defined for more general pairs $v$0, and the inducing subalgebra need not be a positive nilradical. A simple $v$1-module is a quasi-Whittaker module if and only if it is a locally finite $v$2-module, which ties the notion directly to local finiteness over the Heisenberg subalgebra (Cai et al., 2013).

2. Universal induced constructions

The universal quasi-Whittaker module in the general setting is obtained from the one-dimensional $v$3-module $v$4 defined by

$v$5

The induced module

$v$6

is generated by the canonical quasi-Whittaker vector $v$7, and every quasi-Whittaker module generated by a quasi-Whittaker vector of type $v$8 is a quotient of $v$9 (Cheng et al., 8 Aug 2025).

The Schrödinger case has the same formal pattern. For nonzero $pv=\phi(p)v$0, the one-dimensional $pv=\phi(p)v$1-module $pv=\phi(p)v$2 is given by

$pv=\phi(p)v$3

and the universal quasi-Whittaker module is

$pv=\phi(p)v$4

If $pv=\phi(p)v$5 is any quasi-Whittaker module of type $pv=\phi(p)v$6 with cyclic quasi-Whittaker vector $pv=\phi(p)v$7, then there exists a unique surjective $pv=\phi(p)v$8-module homomorphism

$pv=\phi(p)v$9

sending $p\in\mathfrak p$0 to $p\in\mathfrak p$1 (Cai et al., 2013).

Ordinary Whittaker modules furnish the closest structural precursor. For the derivation Lie algebra

$p\in\mathfrak p$2

with triangular decomposition $p\in\mathfrak p$3, the universal Whittaker module is

$p\in\mathfrak p$4

and every Whittaker $p\in\mathfrak p$5-module of type $p\in\mathfrak p$6 is a quotient of $p\in\mathfrak p$7 (Lian et al., 2014).

In the superalgebraic categorical setting, the closest analogous construction is the standard Whittaker module

$p\in\mathfrak p$8

together with the exact Backelin functor $p\in\mathfrak p$9, for which

$$W(\phi)=\operatorname{Ind}_{\mathfrak p}^{\mathfrak g}\mathbb C w_\phi.$$0

(Chen et al., 2022). The same data recur for $$W(\phi)=\operatorname{Ind}_{\mathfrak p}^{\mathfrak g}\mathbb C w_\phi.$$1, where

$$W(\phi)=\operatorname{Ind}_{\mathfrak p}^{\mathfrak g}\mathbb C w_\phi.$$2

is the standard Whittaker module induced from a Levi Whittaker module (Chen et al., 30 Dec 2025). These are not presented as formal quasi-Whittaker modules in those papers, but they play the same universal induced role.

3. Structural control by annihilators and polynomial generators

A central concept in the general theory is the Whittaker annihilator

$$W(\phi)=\operatorname{Ind}_{\mathfrak p}^{\mathfrak g}\mathbb C w_\phi.$$3

which is a subalgebra of $$W(\phi)=\operatorname{Ind}_{\mathfrak p}^{\mathfrak g}\mathbb C w_\phi.$$4 containing $$W(\phi)=\operatorname{Ind}_{\mathfrak p}^{\mathfrak g}\mathbb C w_\phi.$$5 (Cheng et al., 8 Aug 2025). With a PBW-compatible basis

$$W(\phi)=\operatorname{Ind}_{\mathfrak p}^{\mathfrak g}\mathbb C w_\phi.$$6

where $$W(\phi)=\operatorname{Ind}_{\mathfrak p}^{\mathfrak g}\mathbb C w_\phi.$$7 complements $$W(\phi)=\operatorname{Ind}_{\mathfrak p}^{\mathfrak g}\mathbb C w_\phi.$$8 inside $$W(\phi)=\operatorname{Ind}_{\mathfrak p}^{\mathfrak g}\mathbb C w_\phi.$$9, the universal module has PBW basis

$\phi$0

and

$\phi$1

In the Schrödinger case, the role of the controlling algebra is played by a distinguished element

$\phi$2

If $\phi$3 is a quasi-Whittaker vector, then

$\phi$4

For arbitrary quasi-Whittaker modules, the related element

$\phi$5

governs annihilators and submodule structure via $\phi$6 (Cai et al., 2013).

An ordinary Whittaker analogue appears for $\phi$7. Writing

$\phi$8

the Whittaker vectors in the universal module are exactly

$\phi$9

or equivalently

$H$0

(Lian et al., 2014).

These parallel statements show that universal objects in both the quasi-Whittaker and ordinary Whittaker settings are frequently controlled by a polynomial algebra in a distinguished element. This suggests a common mechanism: once all distinguished vectors are reduced to polynomial multiples of the cyclic vector, both submodule classification and simple-quotient classification become ideal-theoretic.

Context	Universal module	Polynomial control
General nonperfect ideal $H$1	$H$2	$H$3
Schrödinger algebra	$H$4	$H$5, $H$6
Derivation Lie algebra of the $H$7-torus	$H$8	$H$9

4. Irreducibility, submodules, and simple quotients

The general irreducibility criterion is especially sharp: $M_\varphi=U(G)\otimes_{U(H)}\mathbb C_\varphi$0 In the finite-dimensional semidirect-product case $M_\varphi=U(G)\otimes_{U(H)}\mathbb C_\varphi$1, this is reformulated by the matrix

$M_\varphi=U(G)\otimes_{U(H)}\mathbb C_\varphi$2

for which

$M_\varphi=U(G)\otimes_{U(H)}\mathbb C_\varphi$3

(Cheng et al., 8 Aug 2025).

When

$M_\varphi=U(G)\otimes_{U(H)}\mathbb C_\varphi$4

choose $M_\varphi=U(G)\otimes_{U(H)}\mathbb C_\varphi$5 with

$M_\varphi=U(G)\otimes_{U(H)}\mathbb C_\varphi$6

Then all maximal submodules of $M_\varphi=U(G)\otimes_{U(H)}\mathbb C_\varphi$7 are

$M_\varphi=U(G)\otimes_{U(H)}\mathbb C_\varphi$8

and for any extension $M_\varphi=U(G)\otimes_{U(H)}\mathbb C_\varphi$9 of $\mathfrak p$00,

$\mathfrak p$01

(Cheng et al., 8 Aug 2025).

For the Schrödinger algebra, the universal module has maximal submodules

$\mathfrak p$02

and

$\mathfrak p$03

is simple for every $\mathfrak p$04. If $\mathfrak p$05 or $\mathfrak p$06, every simple quasi-Whittaker module of type $\mathfrak p$07 is isomorphic to some $\mathfrak p$08. More generally, every nonzero submodule $\mathfrak p$09 is of the form

$\mathfrak p$10

for some polynomial $\mathfrak p$11 (Cai et al., 2013).

The ordinary Whittaker model for the torus derivation algebra exhibits the same ideal-theoretic pattern. Every nonzero submodule of $\mathfrak p$12 contains a Whittaker vector, and

$\mathfrak p$13

Hence submodules of $\mathfrak p$14 are in bijection with ideals of $\mathfrak p$15, and the simple quotients are

$\mathfrak p$16

(Lian et al., 2014).

5. Classification patterns and explicit families

The general paper introduces two classification notions. An irreducible quasi-Whittaker module $\mathfrak p$17 of type $\mathfrak p$18 is called bland if

$\mathfrak p$19

and $\mathfrak p$20 is extendable if it extends to a homomorphism

$\mathfrak p$21

The extendability criterion is

$\mathfrak p$22

If $\mathfrak p$23 is extendable, then

$\mathfrak p$24

gives a bijection between extensions $\mathfrak p$25 of $\mathfrak p$26 and isomorphism classes of bland quasi-Whittaker modules of type $\mathfrak p$27, where

$\mathfrak p$28

(Cheng et al., 8 Aug 2025).

A strong simplification occurs when

$\mathfrak p$29

Then any irreducible quasi-Whittaker $\mathfrak p$30-module of type $\mathfrak p$31 is bland. This covers several concrete algebras studied in the paper, including the conformal Galilei algebra and the $\mathfrak p$32-th Schrödinger algebra (Cheng et al., 8 Aug 2025).

The same paper develops explicit irreducibility criteria for several families. For the mirror Heisenberg-Virasoro algebra $\mathfrak p$33, if $\mathfrak p$34, then

$\mathfrak p$35

For the Heisenberg-Virasoro algebra $\mathfrak p$36 and the planar Galilei conformal algebra $\mathfrak p$37, if $\mathfrak p$38 is finite and $\mathfrak p$39, then

$\mathfrak p$40

For $\mathfrak p$41,

$\mathfrak p$42

For $\mathfrak p$43, specific conditions on $\mathfrak p$44 imply that $\mathfrak p$45 is irreducible, and consequently

$\mathfrak p$46

is an irreducible smooth $\mathfrak p$47-module of height $\mathfrak p$48 (Cheng et al., 8 Aug 2025).

A related but terminologically distinct body of results appears for loop Witt and loop Virasoro algebras. There, the papers study universal Whittaker modules rather than quasi-Whittaker modules, and additional Whittaker vectors arise from annihilator ideals of exp-polynomial functionals (Li et al., 29 Sep 2025). This does not alter the terminology, but it exhibits the same enlargement of the Whittaker space that often motivates quasi-Whittaker generalizations.

6. Categorical and superalgebraic extensions

For quasi-reductive Lie superalgebras with triangular decomposition

$\mathfrak p$49

the relevant objects are standard Whittaker modules

$\mathfrak p$50

their simple tops $\mathfrak p$51, and the exact Backelin functor

$\mathfrak p$52

The fundamental result is

$\mathfrak p$53

and for $\mathfrak p$54-anti-dominant $\mathfrak p$55,

$\mathfrak p$56

The functor $\mathfrak p$57 realizes a Serre quotient and satisfies the same universal property as the quotient functor (Chen et al., 2022). In this setting, universality is categorical rather than expressed through a separately named universal quasi-Whittaker module.

For the queer Lie superalgebra $\mathfrak p$58, the paper fixes a nil-character $\mathfrak p$59 on $\mathfrak p$60, defines the Whittaker category $\mathfrak p$61, and constructs standard Whittaker modules

$\mathfrak p$62

If $\mathfrak p$63 is simple, $\mathfrak p$64 has a unique maximal submodule and hence a unique simple quotient

$\mathfrak p$65

and the map

$\mathfrak p$66

gives a bijection

$\mathfrak p$67

The queer Backelin functor $\mathfrak p$68 commutes with parabolic induction under the stated $\mathfrak p$69-freeness hypothesis, and the standard modules satisfy

$\mathfrak p$70

(Chen et al., 30 Dec 2025).

These superalgebraic results do not introduce a separate formal definition named universal quasi-Whittaker module. A plausible implication is that the universal quasi-Whittaker idea has two complementary realizations: a module-theoretic one based on induction from a one-dimensional character, and a categorical one in which standard Whittaker modules and Backelin-type functors supply the universal objects and universal properties.