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

Recognition: unknown

A Sugawara-Legendre mechanism for the hyperelliptic Heisenberg algebra

Felipe Albino dos Santos

Authors on Pith no claims yet

Pith reviewed 2026-05-08 04:07 UTC · model grok-4.3

classification 🧮 math.RT

keywords Heisenberg algebraVerma modulesShapovalov formLegendre polynomialsSugawara operatorhyperelliptic curvesrepresentation theory of Lie algebrasorthogonal polynomials

0 comments

The pith

The hyperelliptic Heisenberg Verma modules have a Shapovalov form diagonal with Legendre squared norms, are irreducible precisely when the parameter is p-admissible, and admit an intertwiner to the space of Legendre polynomials.

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

The paper studies the φ-Verma modules of the Heisenberg subalgebra of the central extension of sl_2 tensor the coordinate ring of the superelliptic curve. It proves three main theorems in the hyperelliptic case m=2, r=1. The canonical contravariant Shapovalov form on these modules is diagonal in a polynomial basis with norms given by the Legendre squared norms 2/(2n+1). The module is irreducible if and only if the parameter φ is p-admissible, which is equivalent to the form being non-degenerate. There exists an explicit intertwiner that maps the Sugawara zero mode to the Legendre differential operator and the module to polynomials, with highest weight vectors going to Legendre polynomials. This provides a direct link between the representation theory and classical special functions. As a result, the module is isomorphic to a bosonic Fock space with the forms identified.

Core claim

In the hyperelliptic case we prove three theorems. First, the canonical contravariant (Shapovalov) form on M(φ) is diagonal in the polynomial basis {P̃_n} with Legendre squared norms h_n = 2/(2n+1). Second, M(φ) is irreducible if and only if φ is p-admissible, and this is equivalent to non-degeneracy of the Shapovalov form. Third, there is an explicit intertwiner Φ : M(φ) → ℂ[x] which sends the free-boson Sugawara zero mode Ω = −L_0(L_0 + Id) to the classical Legendre differential operator L = (1−x²)∂_x² − 2x∂_x, the level-n image of the highest-weight vector to the Legendre polynomial P_n(x), and the Casimir tower {Ω^r} to {L^r}.

What carries the argument

The explicit intertwiner Φ from the Verma module M(φ) to ℂ[x] that maps the Sugawara zero mode to the Legendre differential operator and identifies the module structure with the action of L on Legendre polynomials.

If this is right

The Shapovalov form being diagonal permits explicit norm calculations using known Legendre polynomial properties.
Irreducibility of the module is completely determined by the p-admissibility of the parameter φ.
The intertwiner allows transferring questions about the module's Casimir action to properties of powers of the Legendre operator.
The canonical isomorphism to a bosonic Fock space equates the Shapovalov form with the standard Fock inner product.

Where Pith is reading between the lines

These are editorial extensions of the paper, not claims the author makes directly.

If the conjectures for m ≥ 3 hold, similar mechanisms may connect other orthogonal polynomial families to higher superelliptic Heisenberg algebras.
The Fock space identification opens possibilities for applying free-field techniques from conformal field theory to these algebraic structures.
Concrete computations for specific admissible φ values could produce explicit bases for new irreducible representations of these algebras.

Load-bearing premise

The main theorems are proved only for the hyperelliptic case m=2 and r=1, with statements for higher m recorded as conjectures.

What would settle it

Computing the Shapovalov form for a chosen p-admissible φ and finding a vector with zero norm, or exhibiting a proper submodule in an irreducible module for non-admissible φ, would disprove the stated equivalences.

read the original abstract

We study the $\varphi$-Verma modules of the Heisenberg subalgebra $\mathcal{H}_m$ of the universal central extension of $\mathfrak{sl}_2 \otimes A_m$, where $A_m$ is the coordinate ring of the superelliptic curve $u^m = P(t)$, and ask how the orthogonal polynomial families that arise in the centre relations are controlled by the module theory of $\mathcal{H}_m$. Our main results are proved unconditionally for the hyperelliptic case $m=2$, $r=1$; corresponding statements for $m \ge 3$ are recorded as conjectures. In the hyperelliptic case we prove three theorems. First, the canonical contravariant (Shapovalov) form on $M(\varphi)$ is diagonal in the polynomial basis $\{\tilde{P}_n\}_{n \ge 0}$ determined by the cocycle, with Legendre squared norms $h_n = 2/(2n+1)$. Second, $M(\varphi)$ is irreducible if and only if $\varphi$ is $p$-admissible, and this is equivalent to non-degeneracy of the Shapovalov form. Third, there is an explicit intertwiner $\Phi \colon M(\varphi) \to \mathbb{C}[x]$ which sends the free-boson Sugawara zero mode $\Omega = -L_0(L_0 + \mathrm{Id}) \in \widetilde{U(\mathcal{H}_m)}$ to the classical Legendre differential operator $L = (1-x^2)\partial_x^2 - 2x\partial_x$, the level-$n$ image of the highest-weight vector to the Legendre polynomial $P_n(x)$, and the Casimir tower $\{\Omega^r\}_{r \ge 1}$ to $\{L^r\}_{r \ge 1}$. As a companion result, $M(\varphi)$ is canonically isomorphic to a bosonic Fock space with the Shapovalov form identified with the Fock inner product.

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 builds an explicit intertwiner that turns the Sugawara zero mode into the Legendre operator for the m=2 hyperelliptic Heisenberg algebra, with matching Shapovalov norms and clean equivalences for irreducibility.

read the letter

The main takeaway is that for the hyperelliptic case m=2 the authors give a direct map from the Verma module to polynomials that converts the free-boson Sugawara operator into the classical Legendre differential operator while preserving the action on the Casimir tower. They also show the Shapovalov form is diagonal in the cocycle-chosen basis with the exact Legendre squared norms 2/(2n+1), and they prove that irreducibility of the module is equivalent to p-admissibility of the highest weight and to non-degeneracy of the form. The module is identified with a bosonic Fock space in the usual way. These are concrete, first-principles constructions rather than abstract existence statements, and they organize the link between the Heisenberg module theory and orthogonal polynomials without obvious circularity in the argument as described. The work is scoped narrowly but executed clearly inside that scope. The three theorems are stated as proved for m=2, with the m greater than or equal to 3 versions labeled as conjectures, which keeps the claims honest. Within the m=2 setting the explicit intertwiner and the equivalence proofs look like the load-bearing parts, and nothing in the outline suggests hidden assumptions or unverified analytic steps. This is the kind of paper that specialists in infinite-dimensional Lie algebras and their connections to special functions will want to see. A reader already working on Verma modules or on orthogonal polynomials arising from central extensions will get a usable dictionary and a verifiable basis. It is narrow enough that not everyone needs it, but the constructions are sharp enough to merit checking. I would send it to peer review so the derivations can be inspected directly by people in the area.

Referee Report

0 major / 0 minor

Summary. The manuscript studies the φ-Verma modules M(φ) of the Heisenberg subalgebra H_m inside the universal central extension of sl_2 ⊗ A_m, with A_m the coordinate ring of the superelliptic curve u^m = P(t). For the hyperelliptic case m=2, r=1 the paper proves three theorems unconditionally: the Shapovalov form on M(φ) is diagonal in the cocycle-determined polynomial basis {P̃_n} with squared norms h_n = 2/(2n+1); M(φ) is irreducible if and only if φ is p-admissible, and this is equivalent to non-degeneracy of the form; there exists an explicit intertwiner Φ : M(φ) → ℂ[x] sending the free-boson Sugawara zero mode Ω = −L_0(L_0 + Id) to the Legendre operator L = (1−x²)∂_x² − 2x∂_x, highest-weight vectors to the Legendre polynomials P_n(x), and the Casimir tower {Ω^r} to {L^r}. As a companion result, M(φ) is canonically isomorphic to a bosonic Fock space with the Shapovalov form identified with the Fock inner product. Corresponding statements for m ≥ 3 are recorded as conjectures.

Significance. If the results hold, this work supplies a concrete, explicit bridge between the module theory of the hyperelliptic Heisenberg algebra and classical orthogonal polynomials via the Sugawara construction. The unconditional proofs for m=2, the parameter-free diagonalization with explicit Legendre norms, the equivalence of irreducibility, p-admissibility and non-degeneracy, and the explicit intertwiner Φ constitute clear strengths that could be used in further studies of infinite-dimensional representations, differential operators, and special functions. The Fock-space identification further strengthens the conceptual contribution.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for their careful reading of the manuscript and for the positive assessment. We are grateful for the recommendation to accept and for highlighting the explicit connection between the hyperelliptic Heisenberg algebra modules and the Legendre operator via the Sugawara construction.

Circularity Check

0 steps flagged

Derivation is self-contained via explicit constructions

full rationale

The paper establishes its three theorems for the hyperelliptic case (m=2, r=1) through direct, unconditional proofs inside the module theory of the Heisenberg algebra: the cocycle fixes the basis {P̃_n} in which the Shapovalov form is shown diagonal with explicit norms h_n = 2/(2n+1); p-admissibility is defined and proved equivalent to irreducibility and non-degeneracy of that form; and an explicit linear map Φ is constructed that intertwines the Sugawara operator Ω with the Legendre operator L while sending highest-weight vectors to P_n(x). These steps rely on algebraic definitions and explicit verification rather than fitted parameters, self-definitional loops, or load-bearing self-citations. Higher-genus statements are labeled conjectures, so the central claims remain independent of their own inputs.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 0 invented entities

The paper relies on standard facts about central extensions of Lie algebras, the definition of Verma modules, and the existence of a contravariant form; no new free parameters or invented entities are introduced beyond the cocycle that defines the algebra.

axioms (2)

standard math The universal central extension of sl_2 ⊗ A_m exists and its Heisenberg subalgebra H_m is well-defined.
Invoked in the opening sentence when the algebra is introduced.
standard math φ-Verma modules M(φ) admit a canonical contravariant Shapovalov form.
Used throughout the statements about diagonalization and non-degeneracy.

pith-pipeline@v0.9.0 · 5671 in / 1607 out tokens · 59157 ms · 2026-05-08T04:07:13.227906+00:00 · methodology

discussion (0)

Reference graph

Works this paper leans on

20 extracted references · 8 canonical work pages · 2 internal anchors

[1]

Irreducible $\varphi$-Verma modules for hyperelliptic Heisenberg algebras

F. Albino dos Santos,Irreducibleφ-Verma modules for hyperelliptic Heisenberg algebras, preprint, arXiv:1709.05663, 2017

work page internal anchor Pith review Pith/arXiv arXiv 2017
[2]

Kassel and J.-L

C. Kassel and J.-L. Loday,Extensions centrales d’algèbres de Lie, Ann. Inst. Fourier (Grenoble) 32(1982), no. 4, 119–142

1982
[3]

Albino dos Santos, M

F. Albino dos Santos, M. Neklyudov, and V. Futorny,Superelliptic Affine Lie algebras and or- thogonal polynomials, Forum Math. Sigma13(2025), e120, 22 pp. doi:10.1017/fms.2025.10074

work page doi:10.1017/fms.2025.10074 2025
[4]

Free Field Realizations of Superelliptic Affine Lie Algebras

F. Albino dos Santos,Free field realizations of superelliptic affine Lie algebras, preprint, arXiv:2604.09461, v1, 10 April 2026

work page internal anchor Pith review Pith/arXiv arXiv 2026
[5]

Szegő,Orthogonal Polynomials, 4th ed., American Mathematical Society Colloquium Pub- lications 23, American Mathematical Society, Providence, RI, 1975

G. Szegő,Orthogonal Polynomials, 4th ed., American Mathematical Society Colloquium Pub- lications 23, American Mathematical Society, Providence, RI, 1975

1975
[6]

V. G. Kac and A. K. Raina,Bombay Lectures on Highest Weight Representations of Infinite Dimensional Lie Algebras, second edition, Advanced Series in Mathematical Physics 2, World Scientific, Singapore, 2013. ISBN 978-981-4522-18-2

2013
[7]

N. N. Shapovalov,On a bilinear form on the universal enveloping algebra of a complex semisim- ple Lie algebra, Funct. Anal. Appl.6(1972), 307–312. doi:10.1007/BF01077757

work page doi:10.1007/bf01077757 1972
[8]

Schlichenmaier,Krichever–Novikov Type Algebras: Theory and Applications, De Gruyter Studies in Mathematics 53, De Gruyter, Berlin, 2014

M. Schlichenmaier,Krichever–Novikov Type Algebras: Theory and Applications, De Gruyter Studies in Mathematics 53, De Gruyter, Berlin, 2014

2014
[9]

Schlichenmaier,Krichever–Novikov type algebras: an introduction, inLie Algebras, Lie Su- peralgebras, Vertex Algebras and Related Topics, Proc

M. Schlichenmaier,Krichever–Novikov type algebras: an introduction, inLie Algebras, Lie Su- peralgebras, Vertex Algebras and Related Topics, Proc. Sympos. Pure Math.92(2016), 325–350. arXiv:1409.3069

work page arXiv 2016
[10]

B. Cox, X. Guo, R. Lu and K. Zhao,Simple modules over the Lie algebras of diver- gence zero vector fields on a torus, J. Pure Appl. Algebra220(2016), no. 1, 1–21. doi:10.1016/j.jpaa.2015.05.026. arXiv:1309.5940

work page doi:10.1016/j.jpaa.2015.05.026 2016
[11]

V. G. Kac and M. Wakimoto,Modular and conformal invariance constraints in representation theory of affine algebras, Adv. Math.70(1988), 156–236. doi:10.1016/0001-8708(88)90055-2

work page doi:10.1016/0001-8708(88)90055-2 1988
[12]

Frenkel and D

E. Frenkel and D. Ben-Zvi,Vertex Algebras and Algebraic Curves, second edition, Mathematical Surveys and Monographs 88, American Mathematical Society, Providence, RI, 2004

2004
[13]

Mathieu,Classification of Harish-Chandra modules over the Virasoro Lie algebra, Invent

O. Mathieu,Classification of Harish-Chandra modules over the Virasoro Lie algebra, Invent. Math.107(1992), 225–234

1992
[14]

Billig and M

Y. Billig and M. Lau,Irreducible modules for extended affine Lie algebras, J. Algebra327 (2011), 208–235. doi:10.1016/j.jalgebra.2010.07.044. arXiv:1007.1236. 24 FELIPE ALBINO DOS SANTOS

work page doi:10.1016/j.jalgebra.2010.07.044 2011
[15]

B. L. Feigin and D. B. Fuchs,Representations of the Virasoro algebra, inRepresentation of Lie Groups and Related Topics, Adv. Stud. Contemp. Math.7, Gordon and Breach, New York, 1990, pp. 465–554

1990
[16]

V. G. Kac,Infinite Dimensional Lie Algebras, third edition, Cambridge University Press, 1990

1990
[17]

J. E. Humphreys,Introduction to Lie Algebras and Representation Theory, Graduate Texts in Mathematics 9, Springer, 1972

1972
[18]

I. M. Krichever and S. P. Novikov,Algebras of Virasoro type, Riemann surfaces and structures of the theory of solitons, Funct. Anal. Appl.21(1987), no. 2, 126–142

1987
[19]

Cox and M

B. Cox and M. S. Im,On the module structure of the center of hyperelliptic Krichever–Novikov algebras, inRepresentations of Lie Algebras, Quantum Groups and Related Topics, Contemp. Math.713, Amer. Math. Soc., Providence, RI, 2018, pp. 61–94

2018
[20]

E. T. Whittaker and G. N. Watson,A Course of Modern Analysis, 4th ed., Cambridge Univer- sity Press, Cambridge, 1927. Universidade Presbiteriana Mackenzie, São Paulo, Brazil Email address:falbinosantos@gmail.com

1927