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

Recognition: unknown

A partial dictionary between universal central extensions and orthogonal polynomials in the superelliptic Krichever--Novikov setting

Felipe Albino dos Santos

Pith reviewed 2026-05-08 02:40 UTC · model grok-4.3

classification 🧮 math.RT

keywords superelliptic curvesuniversal central extensionsorthogonal polynomialsderivation algebrasKrichever-Novikov algebrastwo-cocyclesLegendre polynomialsSturm-Liouville equation

0 comments

The pith

Relations in the centers of universal central extensions of derivation algebras on superelliptic curves are the three-term recurrences of orthogonal polynomial families.

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

This paper sets up a dictionary that translates the linear algebraic relations among generators of the multi-dimensional center in the universal central extension of the derivation algebra Der(A) on a superelliptic curve into the three-term recurrence relations satisfied by families of orthogonal polynomials. The parameter a in the polynomials corresponds to the branch locus encoded in the polynomial P defining the curve A. A sympathetic reader would care because this links geometric structures on algebraic curves with classical special functions, offering an algebraic route to properties of orthogonal polynomials such as their recurrences and differential equations. The dictionary is fully established for quadratic and certain quartic palindromic P, with the generating function obeying the Sturm-Liouville equation and, in the quadratic case, a mixed 2-cocycle matching a Legendre antiderivative expression.

Core claim

Let m ≥ 2, let P(x) ∈ ℂ[x] have simple roots, and let A = ℂ[x±1, u | u^m = P(x)] be the coordinate ring of the associated superelliptic curve. The derivation algebra Der(A) and the current algebra g ⊗ A each admit a universal central extension whose center is multi-dimensional and carries linear algebraic relations among its basis elements. We establish a systematic dictionary between these relations and families of orthogonal polynomials in the parameter a encoding the branch locus of P. The dictionary has three canonical entries: (1) the basis reduction relations in the center of hat Der(A) are exactly the three-term recurrence of an orthogonal polynomial family; (2) the generating func of

What carries the argument

The three-entry dictionary that maps basis reduction relations in the center to three-term recurrences of orthogonal polynomials in a, generating functions to Sturm-Liouville ODEs, and mixed-sector 2-cocycles to Legendre antiderivatives.

If this is right

Palindromic symmetry in P forces the recurrence coefficients of the orthogonal polynomials to be symmetric.
In the quartic case the odd sector follows Legendre polynomials while the even sector obeys a two-component recurrence with palindromic coefficients.
The same dictionary governs the Kähler side Ω¹_A/dA, with all sectors reducing to the sector-1 family at a rescaled parameter.
The recurrence and ODE entries remain canonical while the mixed-cocycle entry is partially choice-dependent.
The pattern of palindromic P inducing symmetric recurrences is conjectured to hold for all even degrees.

Where Pith is reading between the lines

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

The dictionary may extend to other curve classes where central extensions have multi-dimensional centers, allowing orthogonal polynomials to classify such extensions more broadly.
Testing the conjecture on higher even-degree palindromic P would clarify whether palindromic symmetry is required for the observed recurrence symmetry.
Links may exist to integrable systems or representation theory contexts where both multi-dimensional central extensions and orthogonal polynomials appear.

Load-bearing premise

The assumption that P has simple roots and takes specific palindromic quadratic or quartic forms allowing explicit verification of the dictionary.

What would settle it

An explicit computation of the basis reduction relations for a non-palindromic quartic P showing that they fail to match the three-term recurrence of any orthogonal polynomial family.

read the original abstract

Let $m \geq 2$, let $P(x) \in \mathbb{C}[x]$ have simple roots, and let $A = \mathbb{C}[x^{\pm 1},\,u \mid u^m = P(x)]$ be the coordinate ring of the associated superelliptic curve. The derivation algebra $\mathrm{Der}(A)$ and the current algebra $\mathfrak{g}\otimes A$ (for $\mathfrak{g}$ a simple Lie algebra) each admit a universal central extension whose center is multi-dimensional and carries linear algebraic relations among its basis elements. We establish a systematic dictionary between these relations and families of orthogonal polynomials in the parameter $a$ encoding the branch locus of $P$. The dictionary has three canonical entries: (1)~the basis reduction relations in the center of $\widehat{\mathrm{Der}(A)}$ are exactly the three-term recurrence of an orthogonal polynomial family; (2)~the generating function of the center satisfies the Sturm--Liouville ODE of that family; (3)~the mixed-sector $2$-cocycle equals the Legendre antiderivative $(P_{n-1}(a)-P_{n+1}(a))/(2n+1)$ in the quadratic case. We prove the dictionary completely for $P(x)=x^2-2ax+1$ (Legendre polynomials) and for the quartic palindromic case $P(x)=x^4-2ax^2+1$. In the quadratic case, palindromic symmetry forces the recurrence to be the Legendre three-term recurrence; in the quartic case, the odd sector is Legendre and the even sector satisfies a two-component recurrence with palindromic coefficients. We conjecture this pattern -- palindromic $P$ forcing symmetric recurrence coefficients -- holds in all even degrees. The same dictionary governs the K\"{a}hler side $\Omega^1_A/dA$: all sectors reduce to the sector-$1$ family at a rescaled parameter, and the recurrence and ODE entries are canonical while the mixed-cocycle entry is partially choice-dependent.

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 gives explicit, term-by-term matches between the linear relations in the centers of these universal central extensions and the three-term recurrences of orthogonal polynomials, fully verified for the quadratic and quartic palindromic cases.

read the letter

The main takeaway is that the author derives the relations among basis elements in the centers of the universal central extensions of Der(A) and g tensor A directly from the algebra, then shows they coincide exactly with the three-term recurrence for the associated orthogonal polynomials in the branch parameter a. The same recurrence produces the Sturm-Liouville equation for the generating function via standard identities, and in the quadratic case an explicit residue computation recovers the Legendre antiderivative formula for the mixed-sector cocycle. These three dictionary entries are proven completely for P(x) = x^2 - 2ax + 1 and the quartic palindromic case, with the odd sector Legendre and the even sector a two-component recurrence with symmetric coefficients. The work stays within the standard Krichever-Novikov framework for the existence and dimension of the centers, so no extra structural assumptions are needed for the cases treated. The derivations are algebraic and then identified with known polynomial families rather than fitted, which keeps the argument straightforward. The limitation is the restriction to low even degrees with palindromic P(x); the conjecture that palindromic symmetry forces symmetric recurrence coefficients in higher even degrees is stated but not proven. On the Kähler side the recurrence and ODE entries reduce canonically after rescaling, but the cocycle match becomes partially dependent on choices. This is aimed at people already working with infinite-dimensional Lie algebra cohomology or explicit bases in Krichever-Novikov algebras who need concrete generating functions or cocycle formulas. The explicit verifications for the two cases are concrete enough that the paper deserves a serious referee.

Referee Report

0 major / 2 minor

Summary. The manuscript establishes a dictionary between linear relations among basis elements in the centers of the universal central extensions of Der(A) and g⊗A (A the coordinate ring of the superelliptic curve u^m = P(x) with P having simple roots) and families of orthogonal polynomials in the branch-locus parameter a. It proves three explicit entries for the quadratic palindromic case P(x) = x² - 2ax + 1 (Legendre polynomials) and the quartic palindromic case P(x) = x⁴ - 2ax² + 1: (1) basis-reduction relations in the center coincide with the three-term recurrence, (2) the generating function of the center satisfies the associated Sturm-Liouville ODE, and (3) the mixed-sector 2-cocycle equals the Legendre antiderivative (P_{n-1}(a) - P_{n+1}(a))/(2n+1) in the quadratic case. The same dictionary is shown to govern the Kähler differentials side, with all sectors reducing to the sector-1 family at a rescaled parameter; a conjecture is stated that palindromic P forces symmetric recurrence coefficients in all even degrees.

Significance. If the dictionary holds, the work supplies a concrete and unexpected bridge between the algebraic structure of universal central extensions in the Krichever-Novikov setting and the classical theory of orthogonal polynomials. The explicit term-by-term matching of recurrence relations, the derivation of the Sturm-Liouville equation from generating-function identities, and the residue verification of the cocycle formula constitute a strength; these provide both new interpretations for polynomial identities and potentially new computational tools for the centers of the extensions. The restriction to low-degree palindromic cases with complete direct computations, together with the observation that palindromic symmetry forces the recurrence coefficients, makes the result falsifiable and extensible.

minor comments (2)

The abstract states that the mixed-cocycle entry is partially choice-dependent on the Kähler side; a short paragraph clarifying the precise dependence (e.g., on the choice of basis or residue functional) would improve readability without altering the main claims.
The conjecture that palindromic P forces symmetric recurrence coefficients in all even degrees is stated but not illustrated beyond degree 4; a brief remark on the expected form of the two-component recurrence for the next even degree would help readers assess the pattern.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for the careful summary of the manuscript and the positive recommendation to accept. We are pleased that the connections established between the centers of the universal central extensions and orthogonal polynomials were viewed as providing a concrete bridge to classical theory.

Circularity Check

0 steps flagged

No significant circularity; direct derivation followed by identification

full rationale

The paper computes the linear relations among central basis elements directly from the structure of the universal central extension of Der(A) and g⊗A for the given algebras. These relations are then matched term-by-term to the three-term recurrence of Legendre polynomials (in the quadratic palindromic case) or a related two-component recurrence (in the quartic case) because the palindromic symmetry of P(x) produces exactly those coefficients. The generating-function ODE is obtained from the derived recurrence via standard identities, and the mixed-sector cocycle is confirmed by explicit residue computations reproducing the known Legendre antiderivative formula. No parameters are fitted, no result is renamed or redefined in terms of itself, and the existence of the finite-dimensional center is imported from external Krichever-Novikov theory rather than from self-citation. The dictionary is therefore an after-the-fact identification of independently derived algebraic relations with known orthogonal-polynomial families.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 0 invented entities

The central claim rests on the standard existence and properties of universal central extensions for derivation and current algebras in the Krichever-Novikov setting together with the classical theory of orthogonal polynomials; no new free parameters beyond the curve parameter a or invented entities are introduced.

axioms (2)

domain assumption Existence of universal central extension with multi-dimensional center for Der(A) and g⊗A
Standard construction in the theory of infinite-dimensional Lie algebras and their cohomology.
domain assumption P(x) has simple roots
Required to define the superelliptic curve and its coordinate ring A.

pith-pipeline@v0.9.0 · 5697 in / 1579 out tokens · 85230 ms · 2026-05-08T02:40:54.277165+00:00 · methodology

discussion (0)

Reference graph

Works this paper leans on

11 extracted references · 10 canonical work pages · 2 internal anchors

[1]

B. Cox, V. Futorny, and J. Tirao,DJKM algebras and non-classical orthogonal polynomials, J. Differential Equations255(2013), 2846–2870. doi:10.1016/j.jde.2013.07.020

work page doi:10.1016/j.jde.2013.07.020 2013
[2]

B. Cox, X. Guo, R. Lu, and K. Zhao,Simple superelliptic Lie algebras, Commun. Contemp. Math.19(2017), no. 3, 1650032, 40 pp. doi:10.1142/S0219199716500322

work page doi:10.1142/s0219199716500322 2017
[3]

Cox and K

B. Cox and K. Zhao,Certain families of polynomials arising in the study of hyperelliptic Lie algebras, Ramanujan J.46(2018), 323–344. doi:10.1007/s11139-017-9937-y

work page doi:10.1007/s11139-017-9937-y 2018
[4]

Kassel and J.-L

C. Kassel and J.-L. Loday,Extensions centrales d’alg` ebres de Lie, Ann. Inst. Fourier (Grenoble)32(1982), no. 4, 119–142. doi:10.5802/aif.896

work page doi:10.5802/aif.896 1982
[5]

I. M. Krichever and S. P. Novikov,Algebras of Virasoro type, Riemann surfaces and strings in Minkowski space, Funct. Anal. Appl.21(1987), no. 4, 294–307. doi:10.1007/BF01077803

work page doi:10.1007/bf01077803 1987
[6]

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

F. Albino dos Santos,Irreducibility of φ-Verma modules for a hyperelliptic Heisenberg algebra, Preprint, arXiv:1709.05663

work page internal anchor Pith review Pith/arXiv arXiv
[7]

Albino dos Santos, M

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

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

Albino dos Santos, M

F. Albino dos Santos, M. Neklyudov, and V. Futorny,Superelliptic affine Lie algebras and orthogonal polynomials II, Preprint, arXiv:2603.29082, 2026

work page arXiv 2026
[9]

Schlichenmaier,An Introduction to Riemann Surfaces, Algebraic Curves and Moduli Spaces, Theoretical and Mathematical Physics, 2nd ed., Springer, Berlin, 2007

M. Schlichenmaier,An Introduction to Riemann Surfaces, Algebraic Curves and Moduli Spaces, Theoretical and Mathematical Physics, 2nd ed., Springer, Berlin, 2007. doi:10.1007/978-3-540-71175-9

work page doi:10.1007/978-3-540-71175-9 2007
[10]

Free Field Realizations of Superelliptic Affine Lie Algebras

F. Albino dos Santos,Free field realizations of superelliptic affine Lie algebras, Preprint, arXiv:2604.09461, 2026

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

Szeg˝ o,Orthogonal Polynomials, 4th ed., American Mathematical Society, Providence, RI, 1975

G. Szeg˝ o,Orthogonal Polynomials, 4th ed., American Mathematical Society, Providence, RI, 1975. Universidade Presbiteriana Mackenzie, Faculdade de Computac ¸˜ao e Inform´atica, Brazil Email address:falbinosantos@gmail.com

1975