Pith. sign in

REVIEW 1 major objections 23 references

Reviewed by Pith at T0; open to challenge.

T0 means a machine referee read the full paper against a public rubric. The mark states how deep the mechanical check went, never who wrote it. the ladder, T0–T4 →

Challenge this review Re-run · record.json Download PDF Read on arXiv ↗

T0 review · grok-4.3

Every infinite-dimensional subalgebra of a Krichever-Novikov algebra is isomorphic to a finite-codimensional subalgebra of another Krichever-Novikov algebra.

2026-06-26 12:20 UTC pith:MNVQYXJ5

load-bearing objection The isomorphism theorem for infinite-dimensional subalgebras of Krichever-Novikov algebras is the main new result, with the explicit Witt classification and the two applications as the concrete payoffs. the 1 major comments →

arxiv 2606.21748 v1 pith:MNVQYXJ5 submitted 2026-06-19 math.RA math.AG

Lie subalgebras of vector fields on curves

Lucas Buzaglo , Colin Ingalls This is my paper
classification math.RA math.AG
keywords Krichever-Novikov algebrasLie subalgebrasvector fieldsWitt algebraDixmier propertyuniversal enveloping algebrasinfinite-dimensional Lie algebrasaffine curves
verification ladder T0 review T1 audit T2 compute T3 formal T4 reserved

The pith

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

The authors study subalgebras of Krichever-Novikov algebras, which are the Lie algebras formed by vector fields on smooth affine curves over a field. They establish that any infinite-dimensional subalgebra must be isomorphic to a subalgebra of finite codimension inside some other Krichever-Novikov algebra. This structural theorem matters because it reduces complicated subalgebras to more familiar finite-codimension ones, which then permits proofs about their algebraic properties. The result is used to demonstrate that the universal enveloping algebras are never Noetherian and to establish the Dixmier property for most of these algebras, along with a full classification in the Witt algebra case.

Core claim

Every infinite-dimensional subalgebra of a Krichever-Novikov algebra is isomorphic to a finite-codimensional subalgebra of another Krichever-Novikov algebra. This is applied to show that the universal enveloping algebra of any such subalgebra is not Noetherian, that Krichever-Novikov algebras satisfy the Dixmier property that all their nonzero endomorphisms are automorphisms except for the Witt algebra, and to give an explicit classification of the infinite-dimensional subalgebras of the Witt algebra.

What carries the argument

The isomorphism that identifies every infinite-dimensional subalgebra of a Krichever-Novikov algebra with a finite-codimension subalgebra of some other Krichever-Novikov algebra.

Load-bearing premise

Krichever-Novikov algebras are defined exactly as the Lie algebras of vector fields on smooth affine curves over a field K, and subalgebras are taken with the standard Lie bracket of vector fields.

What would settle it

An explicit example of an infinite-dimensional subalgebra inside some Krichever-Novikov algebra that is not isomorphic to any finite-codimension subalgebra of any Krichever-Novikov algebra would disprove the main result.

Watch this falsifier — get emailed when new claim-graph text bears on it.

If this is right

  • The universal enveloping algebra of any such infinite-dimensional subalgebra is not Noetherian.
  • Krichever-Novikov algebras satisfy the Dixmier property that every nonzero endomorphism is an automorphism, except for the Witt algebra.
  • The infinite-dimensional subalgebras of the Witt algebra admit an explicit classification.

Where Pith is reading between the lines

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

  • The reduction may allow computation of invariants such as cohomology or growth rates by transferring them to finite-codimension cases.
  • Analogous structural reductions could be sought for Lie algebras of vector fields on higher-dimensional varieties or singular curves.
  • The Witt algebra classification may provide a template for listing subalgebras in the general curve setting.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit.

Referee Report

1 major / 0 minor

Summary. The paper studies Lie subalgebras of Krichever-Novikov algebras, defined as Lie algebras of vector fields on smooth affine curves over a field K. The central claim is that every infinite-dimensional subalgebra is isomorphic to a finite-codimensional subalgebra of another Krichever-Novikov algebra. Applications derived from this include: the universal enveloping algebra of any such subalgebra is non-noetherian; all Krichever-Novikov algebras satisfy the Dixmier property (nonzero endomorphisms are automorphisms) except the Witt algebra; and an explicit classification of the infinite-dimensional subalgebras of the Witt algebra.

Significance. If the main structural result holds, it would give a uniform description of infinite-dimensional subalgebras in this class of Lie algebras, directly enabling the listed applications on enveloping algebras and endomorphisms. The explicit Witt classification would also be a concrete contribution to the literature on the Witt algebra.

major comments (1)
  1. [Abstract / Main result] The abstract states the main theorem and its applications, but the provided manuscript text contains no proofs, derivations, or verification steps for the isomorphism claim or the subsequent results. Without these, the soundness of the central claim cannot be assessed beyond logical coherence of the stated conclusions.

Simulated Author's Rebuttal

1 responses · 0 unresolved

We thank the referee for their report and for highlighting the issue with the provided manuscript version. We address the major comment below.

read point-by-point responses

  1. Referee: [Abstract / Main result] The abstract states the main theorem and its applications, but the provided manuscript text contains no proofs, derivations, or verification steps for the isomorphism claim or the subsequent results. Without these, the soundness of the central claim cannot be assessed beyond logical coherence of the stated conclusions.

    Authors: The version of the manuscript sent for review contained only the abstract, which was an error in the submission package. The complete manuscript includes full proofs of the main structural result on infinite-dimensional subalgebras, along with the derivations for the applications to enveloping algebras, the Dixmier property, and the classification for the Witt algebra. We will ensure the revised submission contains the complete text with all proofs and verification steps. revision: yes

Circularity Check

0 steps flagged

No significant circularity

full rationale

The paper states a structural theorem that every infinite-dimensional subalgebra of a Krichever-Novikov algebra (defined via the standard Lie bracket on vector fields of smooth affine curves) is isomorphic to a finite-codimensional subalgebra of another such algebra, followed by applications to enveloping algebras, the Dixmier property, and Witt algebra classification. No equations, definitions, or citations in the abstract reduce the claimed result to a self-definition, a fitted input renamed as prediction, or a load-bearing self-citation chain. The derivation is presented as independent mathematical content and remains self-contained against external benchmarks for Lie algebra substructures.

Axiom & Free-Parameter Ledger

0 free parameters · 1 axioms · 0 invented entities

Ledger constructed from abstract only. No free parameters or invented entities are mentioned. The central objects rest on the standard definition of Krichever-Novikov algebras.

axioms (1)
  • domain assumption Krichever-Novikov algebras are Lie algebras of vector fields on smooth affine curves
    Explicitly stated in the abstract as the objects whose subalgebras are studied.

pith-pipeline@v0.9.1-grok · 5657 in / 1271 out tokens · 29052 ms · 2026-06-26T12:20:22.747246+00:00 · methodology

0 comments
read the original abstract

We study the subalgebra structure of Krichever-Novikov algebras, which are Lie algebras of vector fields on smooth affine curves. Our main result is that every infinite-dimensional subalgebra of a Krichever-Novikov algebra is isomorphic to a finite-codimensional subalgebra of another Krichever-Novikov algebra. We then present some applications of our main result. First, we show that the universal enveloping algebra of any such infinite-dimensional subalgebra is not noetherian. We then prove that all Krichever-Novikov algebras satisfy the Dixmier property that all their nonzero endomorphisms are automorphisms, except for the Witt algebra of vector fields on the once-punctured affine line. Finally, we provide an explicit classification of the infinite-dimensional subalgebras of the Witt algebra.

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.

Reference graph

Works this paper leans on

23 extracted references · 1 canonical work pages · 1 internal anchor

  1. [1]

    Amayo and Ian Stewart, Infinite-dimensional L ie algebras , Noordhoff International Publishing, Leyden, 1974

    Ralph K. Amayo and Ian Stewart, Infinite-dimensional L ie algebras , Noordhoff International Publishing, Leyden, 1974

    1974

  2. [2]

    Jason Bell and Lucas Buzaglo, Enveloping algebras of derivations of commutative and noncommutative algebras, Int. Math. Res. Not. IMRN (2025), no. 17, Paper No. rnaf265, 11 pp

    2025

  3. [3]

    , Maximal dimensional subalgebras of general C artan-type L ie algebras , Bull. Lond. Math. Soc. 57 (2025), no. 2, 605--624

    2025

  4. [4]

    Arjun Bagchi, Pronoy Chakraborty, Shankhadeep Chakrabortty, Stefan Fredenhagen, Daniel Grumiller, and Priyadarshini Pandit, Boundary C arrollian conformal field theories and open null strings , Phys. Rev. Lett. 134 (2025), no. 7, Paper No. 071604, 8 pp

    2025

  5. [5]

    Vishwa, and Kaiming Zhao, On the boundary C arrollian conformal algebra , 2026, to appear in Lett

    Lucas Buzaglo, Xiao He, Tuan Anh Pham, Haijun Tan, Girish S. Vishwa, and Kaiming Zhao, On the boundary C arrollian conformal algebra , 2026, to appear in Lett. Math. Phys

    2026

  6. [6]

    Represent

    Lucas Buzaglo, Enveloping algebras of K richever- N ovikov algebras are not N oetherian , Algebr. Represent. Theory 26 (2023), no. 5, 2085--2111

    2023

  7. [7]

    Ben Cox, Xiangqian Guo, Rencai Lu, and Kaiming Zhao, Simple superelliptic L ie algebras , Commun. Contemp. Math. 19 (2017), no. 3, Paper No. 1650032, 22 pp

    2017

  8. [8]

    Hong Du, Endomorphisms of L ie algebra F[t] d dt , J. Syst. Sci. Complex. 17 (2004), no. 1, 143--146

    2004

  9. [9]

    Alice Fialowski, On the classification of graded L ie algebras with two generators , Vestnik Moskov. Univ. Ser. I Mat. Mekh. (1983), no. 2, 62--64

    1983

  10. [10]

    Grabowski, Isomorphisms and ideals of the L ie algebras of vector fields , Invent

    J. Grabowski, Isomorphisms and ideals of the L ie algebras of vector fields , Invent. Math. 50 (1978/79), no. 1, 13--33

    1978

  11. [11]

    Guillemin and Shlomo Sternberg, An algebraic model of transitive differential geometry, Bull

    Victor W. Guillemin and Shlomo Sternberg, An algebraic model of transitive differential geometry, Bull. Amer. Math. Soc. 70 (1964), 16--47

    1964

  12. [12]

    Igor Moiseevich Krichever and S. P. Novikov, Algebras of V irasoro type, R iemann surfaces and strings in M inkowski space , Funktsional. Anal. i Prilozhen. 21 (1987), no. 4, 47--61, Paper No. 96

    1987

  13. [13]

    Olivier Mathieu, Classification des alg\`ebres de L ie gradu\' e es simples de croissance 1 , Invent. Math. 86 (1986), no. 2, 371--426

    1986

  14. [14]

    , Sur un probl\`eme de V . G . K ac: la classification de certaines alg\`ebres de L ie gradu\' e es simples , J. Algebra 102 (1986), no. 2, 505--536

    1986

  15. [15]

    , Classification of simple graded L ie algebras of finite growth , Invent. Math. 108 (1992), no. 3, 455--519

    1992

  16. [16]

    , Weakly noetherian L ie algebra and the S ierra- W alton conjecture , 2026, arXiv: https://arxiv.org/abs/2605.18116 2605.18116

    work page internal anchor Pith review Pith/arXiv arXiv 2026

  17. [17]

    J. C. McConnell and J. C. Robson, Noncommutative N oetherian rings , revised ed., Graduate Studies in Mathematics, vol. 30, American Mathematical Society, Providence, RI, 2001, With the cooperation of L. W. Small

    2001

  18. [18]

    Petukhov and Susan J

    Alexey V. Petukhov and Susan J. Sierra, The P oisson spectrum of the symmetric algebra of the V irasoro algebra , Compos. Math. 159 (2023), no. 5, 933--984

    2023

  19. [19]

    Martin Schlichenmaier, Degenerations of generalized K richever- N ovikov algebras on tori , J. Math. Phys. 34 (1993), no. 8, 3809--3824

    1993

  20. [20]

    53, De Gruyter, Berlin, 2014, Theory and applications

    , Krichever- N ovikov type algebras , De Gruyter Studies in Mathematics, vol. 53, De Gruyter, Berlin, 2014, Theory and applications

    2014

  21. [21]

    Thomas Siebert, Lie algebras of derivations and affine algebraic geometry over fields of characteristic 0 , Math. Ann. 305 (1996), no. 2, 271--286

    1996

  22. [22]

    Silverman, The arithmetic of elliptic curves, second ed., Graduate Texts in Mathematics, vol

    Joseph H. Silverman, The arithmetic of elliptic curves, second ed., Graduate Texts in Mathematics, vol. 106, Springer, Dordrecht, 2009

    2009

  23. [23]

    Sierra and Chelsea Walton, The universal enveloping algebra of the W itt algebra is not noetherian , Adv

    Susan J. Sierra and Chelsea Walton, The universal enveloping algebra of the W itt algebra is not noetherian , Adv. Math. 262 (2014), 239--260

    2014