Map Full Toroidal Lie Algebras

• Map full toroidal Lie algebras are tensor-product extensions of full toroidal Lie algebras by a finitely generated commutative algebra B, incorporating multiloop algebras, central extensions, and derivations.
• Their finite-weight representation theory demonstrates evaluation rigidity, ensuring that irreducible modules collapse to single-point evaluation modules under integrability and Harish-Chandra conditions.
• The structure is built on highest-weight reductions and triangular decompositions, preserving toroidal features while steering the B-action through a single character.

Map full toroidal Lie algebras are tensor-product extensions of full toroidal Lie algebras by a finitely generated commutative associative unital algebra $B$. In the commutative Laurent-polynomial setting, a full toroidal Lie algebra combines a multiloop algebra, its universal central extension, and the derivation algebra of the coordinate torus; the corresponding map algebra is obtained by tensoring the entire structure with $B$. Recent work shows that, despite the enlargement of the coefficient algebra and the appearance of an infinite-dimensional center in the map setting, the finite-weight representation theory is highly rigid: in the integrable category with finite-dimensional weight spaces, and likewise in the Harish-Chandra category, irreducible modules turn out to be single-point evaluation modules (Bisht et al., 2024, Mukherjee, 15 Aug 2025).

1. Algebraic definition and ambient structure

In one standard formulation, one starts with a finite-dimensional simple complex Lie algebra $\mathfrak g$ with Cartan subalgebra $\mathfrak h$, and the Laurent polynomial algebra

$$A=\mathbb C[t_0^{\pm1},t_1^{\pm1},\dots,t_v^{\pm1}],\qquad v\ge 1.$$

The multiloop algebra is $\mathfrak g\otimes A$, with bracket

$$[x_1\otimes f_1,x_2\otimes f_2]=[x_1,x_2]\otimes f_1f_2.$$

Its universal central extension is

$$\widetilde{\mathfrak g}=\mathfrak g\otimes A\oplus K,$$

where $K$ is spanned by symbols $t^r k_p$ subject to

$B$0

With $B$1 the invariant symmetric bilinear form and $B$2, the bracket becomes

$B$3

Adjoining the derivation algebra $B$4, together with a fixed linear combination $B$5 of the two standard cocycles on $B$6, gives the full toroidal Lie algebra

$B$7

The map full toroidal Lie algebra is then

$B$8

with tensor-product bracket

$B$9

for $\mathfrak g$0, $\mathfrak g$1 (Bisht et al., 2024).

A parallel notation, used in the Harish-Chandra classification, writes

$\mathfrak g$2

$\mathfrak g$3

and

$\mathfrak g$4

In this formulation the map algebra has an infinite-dimensional center,

$\mathfrak g$5

whereas $\mathfrak g$6 itself has finite-dimensional center (Mukherjee, 15 Aug 2025).

2. Root data, gradings, and triangular structures

The full toroidal Lie algebra $\mathfrak g$7 has a Cartan-like subalgebra

$\mathfrak g$8

The associated linear functionals are defined by

$\mathfrak g$9

$\mathfrak h$0

and for $\mathfrak h$1,

$\mathfrak h$2

Typical roots are

$\mathfrak h$3

with root spaces

$\mathfrak h$4

and

$\mathfrak h$5

for isotropic roots. The decomposition

$\mathfrak h$6

is the basic triangular structure used in the integrable classification. The Weyl group $\mathfrak h$7 is generated by reflections in real roots

$\mathfrak h$8

and the bilinear form is $\mathfrak h$9-invariant (Bisht et al., 2024).

For map full toroidal Harish-Chandra modules, the grading emphasis shifts to the derivation subalgebra

$$A=\mathbb C[t_0^{\pm1},t_1^{\pm1},\dots,t_v^{\pm1}],\qquad v\ge 1.$$0

and a module is graded by $$A=\mathbb C[t_0^{\pm1},t_1^{\pm1},\dots,t_v^{\pm1}],\qquad v\ge 1.$$1. In the non-cuspidal analysis one chooses a subgroup $$A=\mathbb C[t_0^{\pm1},t_1^{\pm1},\dots,t_v^{\pm1}],\qquad v\ge 1.$$2 and a vector $$A=\mathbb C[t_0^{\pm1},t_1^{\pm1},\dots,t_v^{\pm1}],\qquad v\ge 1.$$3 such that

$$A=\mathbb C[t_0^{\pm1},t_1^{\pm1},\dots,t_v^{\pm1}],\qquad v\ge 1.$$4

and obtains

$$A=\mathbb C[t_0^{\pm1},t_1^{\pm1},\dots,t_v^{\pm1}],\qquad v\ge 1.$$5

This is the triangular decomposition used to define generalized Verma modules and highest weight modules in the map setting (Mukherjee, 15 Aug 2025).

These gradings are not merely formal. They provide the mechanism by which finite-dimensional weight-space conditions are converted into highest-weight-type constraints, both for integrable modules and for Harish-Chandra modules.

3. Integrable modules and the evaluation phenomenon

For $$A=\mathbb C[t_0^{\pm1},t_1^{\pm1},\dots,t_v^{\pm1}],\qquad v\ge 1.$$6, the category $$A=\mathbb C[t_0^{\pm1},t_1^{\pm1},\dots,t_v^{\pm1}],\qquad v\ge 1.$$7 consists of integrable modules with finite-dimensional weight spaces. A $$A=\mathbb C[t_0^{\pm1},t_1^{\pm1},\dots,t_v^{\pm1}],\qquad v\ge 1.$$8-module $$A=\mathbb C[t_0^{\pm1},t_1^{\pm1},\dots,t_v^{\pm1}],\qquad v\ge 1.$$9 is called integrable if it is a weight module for $\mathfrak g\otimes A$0,

$\mathfrak g\otimes A$1

and every operator

$\mathfrak g\otimes A$2

acts locally nilpotently for every root vector $\mathfrak g\otimes A$3, all $\mathfrak g\otimes A$4, $\mathfrak g\otimes A$5, and $\mathfrak g\otimes A$6. If $\mathfrak g\otimes A$7, then $\mathfrak g\otimes A$8 is $\mathfrak g\otimes A$9-invariant, $$[x_1\otimes f_1,x_2\otimes f_2]=[x_1,x_2]\otimes f_1f_2.$$0, $$[x_1\otimes f_1,x_2\otimes f_2]=[x_1,x_2]\otimes f_1f_2.$$1 for real roots, and the central charges

$$[x_1\otimes f_1,x_2\otimes f_2]=[x_1,x_2]\otimes f_1f_2.$$2

are constant on all weights. After an automorphism induced by a matrix in $$[x_1\otimes f_1,x_2\otimes f_2]=[x_1,x_2]\otimes f_1f_2.$$3, one may assume

$$[x_1\otimes f_1,x_2\otimes f_2]=[x_1,x_2]\otimes f_1f_2.$$4

If $$[x_1\otimes f_1,x_2\otimes f_2]=[x_1,x_2]\otimes f_1f_2.$$5, there exists a nonzero vector $$[x_1\otimes f_1,x_2\otimes f_2]=[x_1,x_2]\otimes f_1f_2.$$6 such that

$$[x_1\otimes f_1,x_2\otimes f_2]=[x_1,x_2]\otimes f_1f_2.$$7

and if $$[x_1\otimes f_1,x_2\otimes f_2]=[x_1,x_2]\otimes f_1f_2.$$8, there exists a nonzero vector annihilated by $$[x_1\otimes f_1,x_2\otimes f_2]=[x_1,x_2]\otimes f_1f_2.$$9 (Bisht et al., 2024).

In the nonzero-central-charge case one sets

$$\widetilde{\mathfrak g}=\mathfrak g\otimes A\oplus K,$$0

Then $$\widetilde{\mathfrak g}=\mathfrak g\otimes A\oplus K,$$1, $$\widetilde{\mathfrak g}=\mathfrak g\otimes A\oplus K,$$2 is irreducible as a $$\widetilde{\mathfrak g}=\mathfrak g\otimes A\oplus K,$$3-module, and

$$\widetilde{\mathfrak g}=\mathfrak g\otimes A\oplus K,$$4

The crucial structural step is that the $$\widetilde{\mathfrak g}=\mathfrak g\otimes A\oplus K,$$5-dependence factors through a linear functional $$\widetilde{\mathfrak g}=\mathfrak g\otimes A\oplus K,$$6. The paper proves, among other things,

$$\widetilde{\mathfrak g}=\mathfrak g\otimes A\oplus K,$$7

and for $$\widetilde{\mathfrak g}=\mathfrak g\otimes A\oplus K,$$8,

$$\widetilde{\mathfrak g}=\mathfrak g\otimes A\oplus K,$$9

It also proves the associative relation

$K$0

This leads to a reduction to a uniformly bounded irreducible $K$1-module and, via results of Sharma–Chakraborty–Pandey–Eswara Rao and Eswara Rao, to a Larsson–Shen module

$K$2

The resulting irreducible $K$3-modules are denoted

$K$4

and they are integrable iff $K$5 or $K$6 is a dominant integral weight of $K$7. The classification theorem states that every $K$8 with $K$9 is isomorphic to such a module. In particular, irreducible objects of $t^r k_p$0 are precisely single-point evaluation modules. The zero-central-charge case exhibits the same collapse: if $t^r k_p$1, the representation reduces to a $t^r k_p$2-module and is again a single-point evaluation module; if $t^r k_p$3, one obtains modules of the form

$t^r k_p$4

integrable iff $t^r k_p$5 is a dominant integral weight, and every irreducible module in this case is again of that form (Bisht et al., 2024).

A central conceptual consequence is that the map parameter $t^r k_p$6 does not survive as an arbitrary coefficient algebra inside irreducible integrable finite-weight modules. It acts through a character, equivalently through evaluation at a single point.

4. Harish-Chandra modules over map full toroidal Lie algebras

For $t^r k_p$7, a Harish-Chandra module is a weight module for the degree-zero derivations,

$t^r k_p$8

with all weight spaces finite-dimensional. Such a module is cuspidal if the multiplicities are uniformly bounded. It is highest weight if there exists $t^r k_p$9 such that

$B$00

and generalized highest weight if there exist $B$01 and $B$02 such that

$B$03

A single-point evaluation module is one for which there exists a maximal ideal $B$04 such that the action factors through $B$05, equivalently through a character

$B$06

with

$B$07

(Mukherjee, 15 Aug 2025).

The cuspidal case is governed by a rigidity theorem. First,

$B$08

Second, there exists a cofinite ideal $B$09 such that

$B$10

Third, if $B$11 and $B$12 are coprime ideals with $B$13, then

$B$14

and if $B$15 for a maximal ideal $B$16, then already

$B$17

Thus any irreducible cuspidal $B$18-module is a single-point evaluation module. Its underlying $B$19-module is one of the cuspidal families from Pal’s classification, including

$B$20

with the $B$21-action supplied by a character $B$22.

In the non-cuspidal case, every irreducible Harish-Chandra module is shown to be a highest weight module

$B$23

for suitable $B$24. The highest weight space $B$25, viewed as a $B$26-module, is itself a single-point evaluation module. Consequently the full irreducible highest weight module is also single-point evaluation. The final theorem states that every nontrivial irreducible Harish-Chandra module over $B$27 is either cuspidal or highest weight, and in either case it is a single-point evaluation module (Mukherjee, 15 Aug 2025).

This classification places the Harish-Chandra theory in a precise parallel with the integrable theory: in both settings, finite-dimensional weight-space conditions force the $B$28-action to collapse to one character.

5. Relation to full toroidal, twisted, and quantum variants

Map full toroidal Lie algebras are defined from commutative Laurent polynomial coordinate rings. This should be distinguished from several adjacent toroidal constructions that share terminology but differ structurally.

First, for ordinary full toroidal Lie algebras without the map parameter $B$29, irreducible Harish-Chandra modules were classified into cuspidal modules and highest weight type modules, up to $B$30-twist. In that setting the tensor-field modules on the torus and their de Rham subquotients provide the cuspidal family, while generalized Verma quotients provide the highest weight family (Pal, 2022). The map classification keeps the same broad dichotomy in the Harish-Chandra category, but the map variable $B$31 is shown to act by single-point evaluation (Mukherjee, 15 Aug 2025).

Second, there is a noncommutative variant in which the coordinate algebra is the rational quantum torus $B$32. There the full toroidal Lie algebra is

$B$33

and irreducible integrable modules with finite-dimensional weight spaces and nonzero central action are classified by reducing the highest weight space to a finite-dimensional module over a suitable zero-degree subalgebra and then inducing back. The noncommutativity of $B$34 makes the argument “substantially more delicate” (Tantubay et al., 2022). This is a different coordinate regime from the commutative map setting.

Third, twisted full toroidal Lie algebras arise from multiloop algebras twisted by several commuting finite-order automorphisms. At level zero, irreducible integrable modules with finite-dimensional weight spaces and nontrivial $B$35-action are classified by explicit tensor/evaluation modules built from finite-dimensional $B$36-modules and graded-irreducible $B$37-modules (Pal et al., 2020). The map full toroidal results are not twisted results; they concern tensoring the full toroidal algebra itself with $B$38.

Fourth, the phrase “quantum toroidal algebra” refers in another branch of the literature to genuine quantum algebras. For type $B$39, a new algebra $B$40 was constructed with

$B$41

where $B$42 is the full $B$43-toroidal Lie algebra of type $B$44, and $B$45 has a topological Hopf structure and vertex-operator realization (Chen et al., 2020). This is a quantization problem rather than a map-algebra extension.

These comparisons show that “toroidal,” “full toroidal,” “map full toroidal,” “twisted full toroidal,” and “quantum toroidal” label related but non-identical objects. In the map full toroidal case, the defining additional datum is the finitely generated commutative algebra $B$46.

6. Structural themes and mathematical significance

Two structural themes recur throughout the theory. The first is highest-weight reduction. In the integrable category, one passes from an irreducible $B$47-module to a nonzero top space annihilated by $B$48, proves that this top space is irreducible over the degree-zero subalgebra, and reconstructs the full module by induction. In the Harish-Chandra category, non-cuspidal modules are similarly forced into generalized highest weight, then highest weight, form. The second is evaluation rigidity: once finite-dimensional weight-space hypotheses are imposed, operators with coefficients in $B$49 or $B$50 become locally nilpotent and then trivial, so the entire $B$51-action factors through a character (Bisht et al., 2024, Mukherjee, 15 Aug 2025).

Category	Irreducible modules	$B$52-dependence
Integrable, finite-dimensional weight spaces	Single-point evaluation modules $B$53 or $B$54	Through a character $B$55
Harish-Chandra, cuspidal	Evaluation lifts of Pal’s cuspidal $B$56-modules	Through a character $B$57
Harish-Chandra, non-cuspidal	Highest weight modules $B$58	Highest weight space already single-point evaluation

A common expectation might be that tensoring by an arbitrary finitely generated algebra $B$59 should produce genuinely new irreducible finite-weight families with multi-point support. The classifications cited above show the opposite in the two principal finite-weight settings that have been analyzed: irreducible objects are single-point evaluation modules. This suggests a strong rigidity principle for map full toroidal Lie algebras under finite-dimensional weight-space assumptions, although any extension of that principle beyond the stated hypotheses would require separate proof.

Within the broader representation theory of higher-dimensional analogues of affine-Virasoro algebras, map full toroidal Lie algebras therefore occupy a sharply defined place: they enlarge the coefficient algebra, enlarge the center, and preserve much of the ambient toroidal structure, yet their irreducible integrable and Harish-Chandra modules remain controlled by the underlying full toroidal algebra together with one evaluation character of $B$60.