arxiv: 2605.03985 · v1 · submitted 2026-05-05 · 🧮 math.RT

Recognition: unknown

Classification of irreducible Harish-Chandra modules over extended Divergence-zero Lie algebras

Sudipta Mukherjee

Pith reviewed 2026-05-09 15:25 UTC · model grok-4.3

classification 🧮 math.RT

keywords Harish-Chandra modulesdivergence-zero Lie algebrasextended Lie algebrascuspidal moduleshighest weight modulestriangular decompositionsirreducible representationsLaurent polynomial rings

0 comments

The pith

Irreducible Harish-Chandra modules over the extended divergence-zero Lie algebra with nontrivial A_n' action are either cuspidal or highest weight modules with respect to some triangular decomposition.

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

The paper classifies irreducible Harish-Chandra modules over the extended divergence-zero Lie algebra G, formed as the semidirect product of the divergence-zero derivations of the n-variable Laurent polynomial ring with the ring itself. It restricts attention to modules on which the sum of all nonzero degree components acts nontrivially. The main result establishes that every such module is either cuspidal or a generalised highest weight module. It further shows that every irreducible generalised highest weight module becomes an ordinary irreducible highest weight module once a suitable triangular decomposition of G is chosen. A reader would care because the result reduces the classification problem for these infinite-dimensional representations to two concrete families whose structure is more accessible.

Core claim

Every irreducible Harish-Chandra G-module with nontrivial A_n'-action is either cuspidal or a generalised highest weight module. Every irreducible generalised highest weight G-module is an irreducible highest weight module with respect to a suitable triangular decomposition of G. This yields a classification of all irreducible Harish-Chandra modules over G with nontrivial A_n'-action.

What carries the argument

The reduction of generalised highest weight modules to ordinary highest weight modules via choice of triangular decomposition of the extended Lie algebra G.

Load-bearing premise

The modules are locally finite over the Cartan subalgebra and carry nontrivial action by the nonzero degree elements of the polynomial ring.

What would settle it

An explicit example of an irreducible Harish-Chandra module with nontrivial A_n' action that is neither cuspidal nor a highest weight module for any triangular decomposition of G would disprove the claimed classification.

read the original abstract

Let $\mathcal{A}_n = \C[t_1^{\pm1}, t_2^{\pm1}, \ldots, t_n^{\pm1}]$, and let $\EuScript{D}_n$ denote the divergence-zero subalgebra of $\text{Der}\,(\mathcal{A}_n)$. In this paper, we classify irreducible Harish-Chandra modules over the extended divergence-zero Lie algebra $\EuScript{G}:=\EuScript{D}_n \ltimes \mathcal{A}_n$ with nontrivial $\mathcal{A}_n'$-action, where $\mathcal{A}'n= \oplus_{{\bf{m}} \in \Z^n\setminus \{\bf{0}\}} \C t^{\bf{m}}$. We prove that every such module is either cuspidal or a generalised highest weight module. We further prove that every irreducible generalised highest weight $\EuScript{G}$-module is an irreducible highest weight module with respect to a suitable triangular decomposition of $\EuScript{G}$. As a consequence, we obtain a classification of irreducible Harish-Chandra modules over $\EuScript{G}$ with nontrivial $\mathcal{A}_n'$-action.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit. Tearing a paper down is the easy half of reading it; the pith above is the substance, this is the friction.

Desk Editor's Note private letter to a colleague

The paper classifies the modules with nontrivial A_n' action as cuspidal or highest-weight with respect to a suitable triangular decomposition of G, extending the D_n case.

read the letter

The main result here is a clean classification: every irreducible Harish-Chandra G-module with nontrivial A_n' action is either cuspidal or a generalized highest-weight module, and every irreducible generalized highest-weight one is actually an ordinary highest-weight module for some triangular decomposition of the full G. That gives the stated classification as a direct consequence. The paper does this by building on the known structure for the divergence-zero subalgebra D_n and handling the semidirect product with A_n under the given action condition. The statements are direct and the logic follows the usual pattern for these infinite-dimensional algebras without unnecessary detours. It separates the cuspidal case from the highest-weight case in a way that matches standard techniques in the area, and the nontrivial A_n' condition is handled explicitly to avoid trivial or degenerate modules. The work is a natural extension of prior results on D_n, and the abstract makes the two main theorems and the consequence easy to track. The soft spot is the triangular decomposition step. The decompositions are described as suitable ones for G, but they appear to draw heavily from the D_n literature. The extra brackets between derivations and the Laurent polynomial part could in principle change weight-space behavior or the nilpotency properties of the positive part. The paper claims to verify compatibility, yet the n-variable case and the precise action on weight spaces would need explicit checks to rule out any hidden adjustments. If those checks are there and hold, the argument is fine; if they are only sketched, that is the part a referee should examine most closely. This is for people already working on representations of divergence-zero algebras and their extensions, especially those focused on Harish-Chandra modules. A reader familiar with the D_n classification will see the value immediately and can judge the extension on its own terms. It is worth sending to peer review so the details of the decomposition compatibility get a proper look.

Referee Report

1 major / 2 minor

Summary. The paper classifies irreducible Harish-Chandra modules over the extended divergence-zero Lie algebra G = D_n ⋉ A_n with nontrivial A_n'-action. It proves that every such module is either cuspidal or a generalised highest weight module, and that every irreducible generalised highest weight G-module is an irreducible highest weight module with respect to a suitable triangular decomposition of G. As a consequence, a classification of these modules is obtained.

Significance. If the results hold, this extends prior classifications of Harish-Chandra modules for divergence-zero algebras to the semidirect product extension by the Laurent polynomial algebra, providing a structured dichotomy (cuspidal vs. generalised highest weight) that reduces the latter to ordinary highest weight modules. This framework is useful for representation theory of infinite-dimensional Lie algebras and aligns with standard techniques using triangular decompositions and weight space analysis.

major comments (1)

The section on triangular decompositions (and the proof of the second main theorem): The paper imports triangular decompositions from prior literature on D_n and asserts they remain suitable for G without explicit verification that the additional brackets [D_n, A_n] preserve the required nilpotency of the positive part and the local finiteness properties of weight spaces under the semidirect product. This compatibility is load-bearing for the claim that generalised highest weight modules are actually highest weight modules w.r.t. these decompositions, and for the overall classification with nontrivial A_n'-action.

minor comments (2)

Introduction and notation: Ensure that the definition of A_n' as the direct sum over nonzero multi-indices is consistently referenced when discussing the nontrivial action condition throughout the proofs.
Abstract and conclusion: The consequence statement could briefly indicate the explicit form of the classification obtained (e.g., by referencing the parameters or highest weight data used).

Simulated Author's Rebuttal

1 responses · 0 unresolved

We thank the referee for their careful reading of the manuscript and for highlighting the need for explicit verification in the treatment of triangular decompositions. We address the major comment below.

read point-by-point responses

Referee: The section on triangular decompositions (and the proof of the second main theorem): The paper imports triangular decompositions from prior literature on D_n and asserts they remain suitable for G without explicit verification that the additional brackets [D_n, A_n] preserve the required nilpotency of the positive part and the local finiteness properties of weight spaces under the semidirect product. This compatibility is load-bearing for the claim that generalised highest weight modules are actually highest weight modules w.r.t. these decompositions, and for the overall classification with nontrivial A_n'-action.

Authors: We agree that the compatibility requires explicit verification to ensure the arguments are fully rigorous. While the triangular decompositions for G are constructed by extending the standard ones for D_n in a manner compatible with the semidirect product (as indicated in the definitions preceding Theorem 2), the manuscript does not contain a dedicated computation of the brackets [D_n, A_n] to confirm preservation of nilpotency of the positive part and local finiteness of weight spaces. We will add a short subsection providing these explicit verifications, including the action of A_n on the weight spaces and the resulting containment relations, thereby strengthening the proof that irreducible generalised highest weight modules reduce to ordinary highest weight modules. revision: yes

Circularity Check

0 steps flagged

No significant circularity; proofs rest on structural algebra properties and standard definitions.

full rationale

The abstract and description provide no equations, self-definitions, or fitted predictions that reduce the classification to inputs by construction. Claims about cuspidal vs. generalized highest weight modules and reduction to highest weight modules via triangular decompositions are presented as theorems to be proved, without evidence of self-citation load-bearing or ansatz smuggling in the given text. The derivation chain appears independent of the paper's own fitted values or renamings.

Axiom & Free-Parameter Ledger

0 free parameters · 1 axioms · 0 invented entities

Based solely on the abstract; no free parameters, invented entities, or ad-hoc axioms are mentioned. The work relies on standard background from Lie algebra representation theory.

axioms (1)

standard math Standard definitions of Harish-Chandra modules, cuspidal modules, generalized highest weight modules, and triangular decompositions of the algebra G.
These are invoked implicitly as the setting for the classification statements.

pith-pipeline@v0.9.0 · 5493 in / 1291 out tokens · 27869 ms · 2026-05-09T15:25:56.330583+00:00 · methodology

discussion (0)

Reference graph

Works this paper leans on

30 extracted references

[1]

Allison B, Azam S, Berman S, Gao Y and Pianzola A (1997): Extended affine Lie algebras and their root systems, Mem. Am. Math. Soc. , 126(603)

1997
[2]

Billig, Yuly (2006): A category of modules for the full toroidal L ie algebra, Int. Math. Res. Not. Art. ID 68395, 46

2006
[3]

Billig, Yuly(2007): Jet modules, Canad. J. Math. 59(4), 712--729

2007
[4]

Algebra 308(1), 252–269

Billig, Yuly (2007): Representations of toroidal extended affine Lie algebras, J. Algebra 308(1), 252–269

2007
[5]

Reine Angew

Billig Yuly and Futorny Vyacheslav (2016): Classification of irreducible representations of Lie algebra of vector fields on a torus, J. Reine Angew. Math. \,720: 199–216

2016
[6]

Berman S, Gao Y and Krylyuk Y (1996): Quantum tori and the structure of elliptic quasi-simple Lie algebras, J. Funct. Anal. , 135: 339–389

1996
[7]

Algebra ,500: 498--516

Billig, Yuly and Talboom, John(2018): Classification of category J modules for divergence zero vector fields on a torus, J. Algebra ,500: 498--516

2018
[8]

Pure Appl

Billig, Yuly and Zhao, Kaiming (2004): Weight modules over exp-polynomial L ie algebras J. Pure Appl. Algebra 191(1-2): 23--42

2004
[9]

Algebra , 519, 228--252

Chen, Fulin and Li, Zhiqiang and Tan, Shaobin (2019): Integrable representations for toroidal extended affine L ie algebras, J. Algebra , 519, 228--252

2019
[10]

Algebra \,182: 401–421

Eswara Rao S (1996): Irreducible representations of the Lie-algebra of the diffeomorphisms of a d -dimensional torus, J. Algebra \,182: 401–421

1996
[11]

Eswara Rao, S.(2004): Partial classification of modules for L ie algebra of diffeomorphisms of d -dimensional torus, J. Math. Phys. , 45(8), 3322--3333

2004
[12]

(2023): Hamiltonian extended affine L ie algebra and its representation theory, J

Eswara Rao, S. (2023): Hamiltonian extended affine L ie algebra and its representation theory, J. Algebra , 628, 71--97

2023
[13]

Algebra Appl

Guo, Xiangqian and Liu, Genqiang(2019): Jet modules for the centerless V irasoro-like algebra, J. Algebra Appl. , 18(1), 1950002, 24

2019
[14]

Guo Xiangqian, Liu Gengqiang, and Zhao Kaiming (2014): Irreducible Harish-Chandra modules over extended Witt algebras, Ark. Mat. \,52(1): 99–112

2014
[15]

Guo, Hongyan and Wang, Qing (2019): Twisted H eisenberg- V irasoro vertex operator algebra, Glas. Mat. Ser. III , 54(74)(2), 369--407

2019
[16]

Xiangqian Guo and Kaiming Zhao (2011): Irreducible weight modules over Witt algebras, Proc. Amer. Math. Soc. \,139: 2367–2373

2011
[17]

H egh-Krohn, Raphael and Torr\'esani, Bruno (1990): Classification and construction of quasisimple L ie algebras, J. Funct. Anal. , 89(1): 106--136

1990
[18]

(1988): Highest weights representations of infinite dimensional Lie algebras

Kac, V.G., Raina, A.K. (1988): Highest weights representations of infinite dimensional Lie algebras. Adv. Ser. Math. Phys. 2

1988
[19]

A.(1989): Multi-dimensional V irasoro algebra, Phys

Larsson, T. A.(1989): Multi-dimensional V irasoro algebra, Phys. Lett. B \, 231, 94--96

1989
[20]

A.(1992): Conformal fields: a class of representations of Vect (N) Internat

Larsson, T. A.(1992): Conformal fields: a class of representations of Vect (N) Internat. J. Modern Phys. A , 26: 6493--6508

1992
[21]

Pure Appl

Lin, Weiqiang and Tan, Shaobin (2006): Nonzero level H arish- C handra modules over the V irasoro-like algebra, J. Pure Appl. Algebra 204(1): 90-105

2006
[22]

Li, Zhiqiang and Tan, Shaobin and Wang, Qing (2019): Harish- C handra modules for divergence zero vector fields on a torus, Pacific J. Math. 301(1): 243-265

2019
[23]

Lu, Rencai and Zhao, Kaiming (2006): Classification of irreducible weight modules over higher rank V irasoro algebras, Adv. Math. 206(2): 630--656

2006
[24]

Mathieu, Olivier (1992): Classification of H arish- C handra modules over the V irasoro L ie algebra, Invent. Math. 107(2):225--234

1992
[25]

Mazorchuk, V and Zhao, K (2011): Supports of weight modules over W itt algebras. Proc. Roy. Soc. Edinburgh Sect. A 141(1): 155--170

2011
[26]

Neher, Erhard (2004): Extended affine L ie algebras, C. R. Math. Acad. Sci. Soc. R. Can. , 26(3): 90--96

2004
[27]

Pal Souvik (2022): Classification of irreducible Harish-Chandra modules over full toroidal Lie algebras and higher-dimensional Virasoro algebras, Math. Res. Lett. , 32(4), 1197--1248

2022
[28]

Shen, Guang Yu (1986): Graded modules of graded L ie algebras of C artan type. I . M ixed products of modules, Sci. Sinica Ser. A , 29(6): 570--581

1986
[29]

Algebra , 44(4): 1795--1808

Talboom, John (2016): Irreducible modules for the L ie algebra of divergence zero vector fields on a torus, Comm. Algebra , 44(4): 1795--1808

2016
[30]

Yoji Yoshii (2006): Lie tori--a simple characterization of extended affine Lie algebras, Publ. Res. Inst. Math. Sci. , 42(3): 739–762

2006