pith. sign in

arxiv: 2605.18116 · v1 · pith:QIGP6OSDnew · submitted 2026-05-18 · 🧮 math.RA

Weakly Noetherian Lie Algebra and the Sierra-Walton Conjecture

Olivier Mathieu This is my paper

Pith reviewed 2026-05-20 00:12 UTC · model grok-4.3

classification 🧮 math.RA
keywords weakly Noetherian Lie algebrasenveloping algebraSierra-Walton conjecturegraded Lie algebrasperfect Lie algebrasNoetherian propertycharacteristic zero
0
0 comments X

The pith

Weakly Noetherian Lie algebras have constrained structure, and their perfect graded cases are classified to confirm the Sierra-Walton conjecture.

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

The paper defines weakly Noetherian Lie algebras over a field of characteristic zero in order to investigate the conjecture that the enveloping algebra U(g) is Noetherian only when the Lie algebra g is finite-dimensional. It establishes that any such algebra must obey a very constrained structure. In the graded setting this yields an explicit classification of the perfect strictly weakly Noetherian examples. The classification directly implies the Sierra-Walton conjecture for every perfect graded Lie algebra and thereby strengthens an earlier theorem of Sierra and Walton.

Core claim

Theorem A states that weakly Noetherian Lie algebras have a very constrained structure. In the graded case Theorem B gives an explicit classification of the perfect strictly weakly Noetherian Lie algebras, which implies the Sierra-Walton conjecture for all perfect graded Lie algebras.

What carries the argument

The definition of weakly Noetherian Lie algebras, which relaxes the standard Noetherian condition on the enveloping algebra while still allowing direct application of prior structure theorems.

If this is right

  • Weakly Noetherian Lie algebras must satisfy the structural restrictions obtained by combining the new definition with known results of Tits, Formanek, Razmyslov, Grabowski and the author.
  • Every perfect graded Lie algebra that is strictly weakly Noetherian belongs to one of the finitely many families listed in Theorem B.
  • The Sierra-Walton conjecture holds for the entire class of perfect graded Lie algebras.
  • The enveloping algebra of any such algebra is Noetherian only in the finite-dimensional case covered by the classification.

Where Pith is reading between the lines

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

  • The same structural constraints may supply a route toward the full conjecture for non-graded or non-perfect Lie algebras.
  • The classification could be used to test whether the Noetherian property of U(g) forces finite dimensionality outside the graded setting.
  • The techniques may extend to other classes of infinite-dimensional algebras where enveloping-algebra Noetherianity is conjectured to imply finite dimensionality.

Load-bearing premise

The new definition of weakly Noetherian Lie algebras is the right relaxation that still controls the Noetherian property of the enveloping algebra and lets prior theorems apply without further restrictions.

What would settle it

A concrete counterexample would be any weakly Noetherian Lie algebra whose structure violates the constraints of Theorem A, or any perfect graded Lie algebra missing from the explicit list in Theorem B.

read the original abstract

Let K be a field of characteristic zero. Motivated by the conjecture that an enveloping algebra U(g) is Noetherian only if g is finite dimensional, we define the notion of weakly Noetherian Lie algebras. The main result, Theorem A, states that weakly Noetherian Lie algebras have a very constrained structure. In the specific case of graded Lie algebras, it implies an explicit classification of the perfect strictly weakly Noetherian Lie algebras, stated in Theorem B. The proofs of both theorems are quite long, and uses concrete results due to Tits, Formanek, Razmyslov, Grabowski and the author. The first theorem provides some insight on the desired conjecture. The second one implies the conjecture for all perfect graded Lie algebras, improving a celebrated theorem of Sierra and Walton.

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.

Referee Report

2 major / 1 minor

Summary. The paper defines weakly Noetherian Lie algebras over a field K of characteristic zero, motivated by the conjecture that U(g) is Noetherian only when g is finite-dimensional. Theorem A asserts that such algebras have a constrained structure, proved via long arguments invoking results of Tits, Formanek, Razmyslov, Grabowski and the author. For graded Lie algebras, Theorem B gives an explicit classification of the perfect strictly weakly Noetherian ones and thereby implies the Sierra-Walton conjecture for all perfect graded Lie algebras.

Significance. If the claims are correct, the work supplies concrete structural information toward the enveloping-algebra conjecture and improves the Sierra-Walton theorem by handling the perfect graded case. The reliance on established external theorems is a strength provided the new definition satisfies their hypotheses without further restrictions.

major comments (2)
  1. [Proof of Theorem A] Proof of Theorem A: the argument invokes theorems of Tits, Formanek, Razmyslov and Grabowski after introducing the weakly Noetherian condition. It is not shown explicitly that this condition automatically supplies every hypothesis required by those theorems (e.g., specific finiteness, grading or ideal conditions). If any cited result demands a stronger property not implied by weak Noetherianness, the structure theorem fails and the subsequent classification in Theorem B is blocked.
  2. [Theorem B] Theorem B and the implication for the Sierra-Walton conjecture: the classification of perfect strictly weakly Noetherian graded Lie algebras rests entirely on the validity of Theorem A. Any gap in the applicability of the external results therefore undermines the claimed implication for all perfect graded Lie algebras.
minor comments (1)
  1. [Abstract] The abstract states that the proofs are 'quite long' but gives no indication of their overall length or the main intermediate steps; a brief outline would improve readability.

Simulated Author's Rebuttal

2 responses · 0 unresolved

We thank the referee for the careful reading and for highlighting the need to make the applicability of the cited external results fully explicit. We address the major comments point by point below.

read point-by-point responses

  1. Referee: [Proof of Theorem A] Proof of Theorem A: the argument invokes theorems of Tits, Formanek, Razmyslov and Grabowski after introducing the weakly Noetherian condition. It is not shown explicitly that this condition automatically supplies every hypothesis required by those theorems (e.g., specific finiteness, grading or ideal conditions). If any cited result demands a stronger property not implied by weak Noetherianness, the structure theorem fails and the subsequent classification in Theorem B is blocked.

    Authors: We agree that the connection between the weakly Noetherian condition and the hypotheses of the invoked theorems of Tits, Formanek, Razmyslov, Grabowski and the author is not stated with sufficient explicitness in the current draft. In the revised manuscript we will add a short dedicated subsection right after the definition of weakly Noetherian Lie algebras. This subsection will list each relevant hypothesis from the cited results (finiteness of certain ideals, compatibility with the grading, and any other standing assumptions) and verify, using only the definition, that the weakly Noetherian property supplies them. The core arguments of Theorem A remain unchanged; only the exposition of the logical chain is strengthened. revision: yes

  2. Referee: [Theorem B] Theorem B and the implication for the Sierra-Walton conjecture: the classification of perfect strictly weakly Noetherian graded Lie algebras rests entirely on the validity of Theorem A. Any gap in the applicability of the external results therefore undermines the claimed implication for all perfect graded Lie algebras.

    Authors: Theorem B and the consequent implication for the Sierra-Walton conjecture for perfect graded Lie algebras are indeed direct consequences of Theorem A. Once the explicit verification of the external hypotheses is inserted as described above, the logical foundation for Theorem B is secured. In the revision we will also add a one-sentence cross-reference in the statement of Theorem B pointing back to the new verification subsection, thereby making the dependence transparent. revision: yes

Circularity Check

0 steps flagged

No significant circularity; relies on external structure theorems

full rationale

The paper introduces a novel definition of weakly Noetherian Lie algebras motivated by the Noetherian property of enveloping algebras and then derives constrained structure (Theorem A) and an explicit classification in the graded case (Theorem B) by applying prior results of Tits, Formanek, Razmyslov, Grabowski and the author's own earlier theorems. No step reduces by construction to a self-definition, fitted parameter renamed as prediction, or ansatz smuggled via citation; the cited results are treated as independent external input whose hypotheses are asserted to hold under the new definition. The self-citation is minor and not load-bearing for the central claims, which retain independent content in the form of the new definition and the resulting classification that implies the Sierra-Walton conjecture for perfect graded Lie algebras. The derivation is therefore self-contained against external benchmarks.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 0 invented entities

The paper adds the new definition of weakly Noetherian Lie algebras; all other background consists of standard Lie-algebra axioms and previously published theorems.

axioms (2)
  • standard math Standard axioms of Lie algebras over a field of characteristic zero
    Invoked throughout as the ambient category for the definitions and theorems.
  • domain assumption Prior theorems of Tits, Formanek, Razmyslov, Grabowski and the author
    Explicitly used as building blocks for the proofs of Theorems A and B.

pith-pipeline@v0.9.0 · 5659 in / 1352 out tokens · 48325 ms · 2026-05-20T00:12:33.144439+00:00 · methodology

discussion (0)

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

Lean theorems connected to this paper

Citations machine-checked in the Pith Canon. Every link opens the source theorem in the public Lean library.

What do these tags mean?
matches
The paper's claim is directly supported by a theorem in the formal canon.
supports
The theorem supports part of the paper's argument, but the paper may add assumptions or extra steps.
extends
The paper goes beyond the formal theorem; the theorem is a base layer rather than the whole result.
uses
The paper appears to rely on the theorem as machinery.
contradicts
The paper's claim conflicts with a theorem or certificate in the canon.
unclear
Pith found a possible connection, but the passage is too broad, indirect, or ambiguous to say the theorem truly supports the claim.

Reference graph

Works this paper leans on

35 extracted references · 35 canonical work pages

  1. [1]

    Aldosray and I

    F. Aldosray and I. Stewart, Generalised chain conditions, prime ideals, and classes of locally finite Lie algebras, Algebra Colloq.,28(2021) 63-86

    work page 2021

  2. [2]

    Aldosray and I

    F. Aldosray and I. Stewart, A generalized Noetherian condition for Lie algebras, J. Algebra Appl.,18(2019) 1-17

    work page 2019

  3. [3]

    Amayo and I

    R. Amayo and I. Stewart,Infinite-dimensional Lie algebras. Springer, (1974)

    work page 1974

  4. [4]

    Amitsur and J

    S. Amitsur and J. Levitzki. Minimal identites for algebras. Proc. Amer. Math. Soc. 1(1950) 449–463

    work page 1950

  5. [5]

    Andruskiewitsch and O

    N. Andruskiewitsch and O. Mathieu. Noetherian enveloping algebras of simple graded Lie algebras, Journal of the Mathematical Society of Japan 77 (2025) 1233- 1247

    work page 2025

  6. [6]

    Bahturin:Identical Relations in Lie Algebras.VNU Press (1987)

    Y. Bahturin:Identical Relations in Lie Algebras.VNU Press (1987)

    work page 1987

  7. [7]

    Bell and L

    J. Bell and L. Buzaglo, Enveloping algebras of derivations of commutative and non- commutative algebras, Int. Math. Res. Not.,17(2025) 1-11

    work page 2025

  8. [8]

    Bell and L

    J. Bell and L. Buzaglo, Maximal dimensional subalgebras of general Cartan-type Lie algebras, Bulletin of the London Mathematical Society57(2025) 605-624

    work page 2025

  9. [9]

    Benkart and E

    G. Benkart and E. Zelmanov. Lie Algebras Graded by Root Systems. InNon- Associative Algebra and Its Applications.Springer, Mathematics and Its Applica- tions,303(1994) 31-38

    work page 1994

  10. [10]

    Berman and R.V

    S. Berman and R.V. Moody, Lie algebras graded by finite root systems and the intersection matrix algebras of Slodowy, Invent. Math .108(1992) 323-347

    work page 1992

  11. [11]

    Blachar, E

    G. Blachar, E. Matzri, L. Rowen, and U. Vishne.ℓ-Weak Identities and Central Polynomials for Matrices. InPolynomial Identities in Algebra, O.M. Di Vencenzo and Antonio Giambruno editors. Springer INdAM Series 44 (2021) 69-95

    work page 2021

  12. [12]

    Bourbaki,Elements of mathematics

    N. Bourbaki,Elements of mathematics. Lie groups and Lie algebras.Chapters 7–9. Transl. from the French by Andrew Pressley. Springer (2005). 53

    work page 2005

  13. [13]

    K. A. Brown, Noetherian Hopf algebras. Turkish J. Math.31(2007), 7–23

    work page 2007

  14. [14]

    Buzaglo, Enveloping algebras of Krichever-Novikov algebras are not Noetherian, Algebr

    L. Buzaglo, Enveloping algebras of Krichever-Novikov algebras are not Noetherian, Algebr. Represent. Theory26(2023) 2085–2111

    work page 2023

  15. [15]

    Formanek, Central Identities for Matrix Rings, J

    E. Formanek, Central Identities for Matrix Rings, J. of Algebra23(1972) 129-132

    work page 1972

  16. [16]

    D. B. Fuks,Cohomology of Infinite-Dimensional Lie Algebras.Springer Verlag, Monographs in Contemporary Mathematics (1986)

    work page 1986

  17. [17]

    Gabber, 0

    O. Gabber, 0. and V. G. Kac, On defining relations of certain infinite-dimensional Lie algebras, Bull. Amer. Math. Soc.5(1981) 185-189

    work page 1981

  18. [18]

    Grabowski

    J. Grabowski. Isomorphisms and ideals of the Lie algebras of vector fields. Invent. Math.,50(1978) 13-33

    work page 1978

  19. [19]

    Grabowski

    J. Grabowski. Derivations of the Lie algebras of analytic vector fields. Compos. Math.43(1981) 239–252

    work page 1981

  20. [20]

    Hilbert, Ueber die vollen Invariantensysteme

    D. Hilbert, Ueber die vollen Invariantensysteme. Math. Annalen42(1883) 313-373

    work page

  21. [21]

    Hilbert, Die Theorie der algebraischen Zahlkörper, Jahresber

    D. Hilbert, Die Theorie der algebraischen Zahlkörper, Jahresber. Deutsch. Math.- Verein.4(1987) 175-546

    work page 1987

  22. [22]

    Jacobson, Structure theory of simple rings without finiteness assumptions, Trans

    N. Jacobson, Structure theory of simple rings without finiteness assumptions, Trans. Amer. Math. Soc.57(1945) 228–245

    work page 1945

  23. [23]

    Kantor, Classification of irreducible transitive differential groups, (Russian) Dokl

    I.L. Kantor, Classification of irreducible transitive differential groups, (Russian) Dokl. Akad. Nauk SSSR158(1964), 1271–1274

    work page 1964

  24. [24]

    Krichever and S.P

    I.M. Krichever and S.P. Novikov, Algebras of Virasoro type, Riemann surfaces and structures of the theory of solitons. Funktional Anal. i. Prilozhen.21(1987) 46-63

    work page 1987

  25. [25]

    Koecher,The Minnesota Notes on Jordan Algebras and Their Applications, Lec- ture Notes in Math., vol

    M. Koecher,The Minnesota Notes on Jordan Algebras and Their Applications, Lec- ture Notes in Math., vol. 1710, Springer-Verlag, Berlin, 1999

    work page 1999

  26. [26]

    Mathieu, Sur un problème de V

    O. Mathieu, Sur un problème de V. G. Kac: La classification de certaines algèbres de Lie graduées simples. J. Algebra102(1986) 505–536

    work page 1986

  27. [27]

    Mathieu, Classification des algèbres de Lie graduées simples de croissance≤1

    O. Mathieu, Classification des algèbres de Lie graduées simples de croissance≤1. Invent. Math.86(1986) 371–426

    work page 1986

  28. [28]

    Mathieu, Classification of simple graded Lie algebras of finite growth, Invent

    O. Mathieu, Classification of simple graded Lie algebras of finite growth, Invent. Math.108, 455–519 (1992) 455–519

    work page 1992

  29. [29]

    Yu. P. Razmyslov, A certain problem of Kaplansky, Math. USSR Izv.7(1973) 479-496

    work page 1973

  30. [30]

    Serre,Galois Cohomology, Springer Monograph in Mathematics (1997)

    J.P. Serre,Galois Cohomology, Springer Monograph in Mathematics (1997)

    work page 1997

  31. [31]

    S. J. Sierra and C. Walton,The universal enveloping algebra of the Witt algebra is not Noetherian. Adv. Math.262(2014) 239–260

    work page 2014

  32. [32]

    Stewart, Chevalley-Jordan decomposition for a class of locally finite Lie algebras, Compos

    I. Stewart, Chevalley-Jordan decomposition for a class of locally finite Lie algebras, Compos. Math.,33(1976) 75-105

    work page 1976

  33. [33]

    Tits, Une classe d’algebres de Lie en relation avec les algebres de Jordan, Nederl

    J. Tits, Une classe d’algebres de Lie en relation avec les algebres de Jordan, Nederl. Akad. Weten. Proc,65(1962) 530-535

    work page 1962

  34. [34]

    Tits, Algebres alternatives, algebres de Jordan, et algebres de Lie exceptionelle, Nederl

    J . Tits, Algebres alternatives, algebres de Jordan, et algebres de Lie exceptionelle, Nederl. Akad. Weten. Proc. Ser. A (1966) 223-237

    work page 1966

  35. [35]

    Ushirobira, On the Orbit Method for the Lie algebra of vector fields on a curve, J

    R. Ushirobira, On the Orbit Method for the Lie algebra of vector fields on a curve, J. of Algebra203(1998) 596-620. (O. Mathieu)CNRS, Institut Camille Jordan UMR 5028 du CNRS, Univer- sité Claude Bernard Lyon 69622 Villeurbanne Cedex, France Email address:mathieu@math.univ-lyon1.fr SUSTech, Shenzhen International Center for Mathematics, Shenzhen, China

    work page 1998