REVIEW 2 major objections 2 minor 18 references
Enveloping algebras of derivations of commutative and noncommutative algebras
T0 review · 2 major / 2 minor · reviewed 2026-08-12 · deepseek-v4-flash
Pith's one-line read Every infinite-dimensional affine algebra has non-noetherian derivation enveloping algebras.
desk verdict Broad and likely-correct theorem, but Proposition 4.3 has a genuine gap that needs fixing before the noncommutative result can be used. read the letter →
The pith
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
The reading
What carries the argument
The argument is carried by a collection of necessary conditions (Proposition 2.4) that any Lie algebra with a noetherian enveloping algebra must satisfy: finite-dimensional abelian subalgebras, finite-dimensional abelianization, finite-dimensional solvable subalgebras, and the ascending chain condition on Lie subalgebras. These are applied to derivations, using the isomorphism Inn(A) ≅ A/Z(A) to convert Lie-algebra questions into ring-theoretic ones, and using minimal prime quotients to pass to domains. In the hardest noncommutative near-commutative case, a maximal ideal J is chosen so that the induced map Der(B) → Der(B/Q) is zero, and a derivation d' is explicitly constructed to contradict the primeness of Q.
What would settle it
Construct an infinite-dimensional finitely generated algebra over a field of characteristic zero whose derivation Lie algebra has a noetherian enveloping algebra, which would contradict Theorem 2.3 directly; short of that, exhibit an instance of the Proposition 4.3 construction where the chosen maximal ideal J forces B = A/J to be commutative, showing that step of the proof fails.
Extended reading notes
Core claim
The paper's central claim is that noetherianity is impossible for enveloping algebras of derivation Lie algebras of infinite-dimensional finitely generated algebras. Precisely, Theorem 2.3 asserts that if A is an infinite-dimensional affine k-algebra over a field k of characteristic zero, then U(Der(A)) is not noetherian, and U(Inn(A)) is not noetherian whenever Inn(A) is infinite-dimensional. This is proved by splitting into commutative and noncommutative cases; in the commutative case a minimal-prime quotient reduces the problem to a domain, while in the noncommutative case inner derivations and polynomial-identity ring theory do the heavy lifting. The paper also derives Corollary 5.1: the enveloping algebra of any infinite-dimensional associative algebra viewed as a Lie algebra under commutator is not noetherian.
Load-bearing premise
In the proof of Proposition 4.3, the argument passes to a quotient B and chooses an element x outside the center, assuming B is noncommutative; if B were commutative, the nonzero commutator used to reach the contradiction would not exist, and the paper does not supply a separate argument excluding that possibility.
Editorial extensions
If this is right
- No infinite-dimensional affine algebra over a field of characteristic zero has a derivation Lie algebra whose enveloping algebra is noetherian.
- The result covers both commutative and noncommutative algebras, without restrictions on Krull dimension or Gelfand-Kirillov dimension.
- As a corollary, the enveloping algebra of any infinite-dimensional associative algebra with the commutator bracket is non-noetherian.
- The theorem unifies and extends prior non-noetherianity results for the Witt and Virasoro algebras and for Krichever-Novikov algebras.
Reading between the lines
- The method suggests that for Lie algebras arising as derivations, non-noetherianity is the norm rather than an exceptional pathology, so the search for noetherian enveloping algebras should focus on Lie algebras that do not come from derivations of affine algebras.
- Because the proof leans on the Artin-Tate lemma and PI ring theory, the result may extend to algebras over more general base rings or to algebras satisfying polynomial identities over fields of positive characteristic, provided the analogue of Proposition 2.4 holds.
- A testable geometric reformulation would be: an affine variety of positive dimension has a derivation Lie algebra with non-noetherian enveloping algebra, which would follow from Theorem 2.3 for its coordinate ring.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The paper proves that for any infinite-dimensional finitely generated k-algebra A over a field of characteristic zero, the universal enveloping algebra U(Der(A)) is not noetherian, and that U(Inn(A)) is not noetherian whenever Inn(A) is infinite-dimensional. The proof is divided into the commutative case, where a reduction to domains and prior work for Krull dimension one are combined with a new argument for higher dimensions, and the noncommutative case, which is split according to whether A is finite over Z(A) and whether Z(A) is finite-dimensional. The noncommutative arguments use PI-theory, minimal primes, maximality arguments relative to quotients, and classical noetherianity criteria for enveloping algebras.
Significance. If the stated theorem is correct, it is a substantial and broad generalization of the earlier results of Sierra-Walton and of the second author, and it provides a wide class of new examples of infinite-dimensional Lie algebras whose enveloping algebras are non-noetherian. The commutative part of the paper is clean and the overall strategy is well organized. The proof also uses the prior theorem for Krull dimension one commutative domains only as a published base case, so the reliance on [Buz23] is not circular. However, two load-bearing steps in the noncommutative section are not justified as written: the existence of a noncentral element in B in Proposition 4.3, and the passage from a chain of one-sided ideals to a chain of Lie subalgebras in Proposition 4.5. These gaps leave the stated generality of the main theorem not yet fully established.
major comments (2)
- [§4, Proposition 4.3] The proof states 'Let x∈B\Z(B)' immediately after choosing the maximal element J of X, but it has not been shown that B=A/J is noncommutative. Lemma 4.1 guarantees only that A/P, equivalently B/Q, is commutative. If B were commutative, the commutator q=[x,y] used later would vanish, and the construction of I=BqB, the element u, and the final primality contradiction would all collapse. Maximality of J does not by itself force B to be noncommutative: for example, the commutative algebra C=k[x,ε]/(xε,ε²) with Q=(ε) satisfies the zero-image condition for Der(C)→Der(C/Q) while C/Q is infinite-dimensional, showing that this condition alone does not rule out a commutative quotient. The proof needs a separate argument excluding the commutative case for B, or a proof that maximality forces B to be noncommutative; none is supplied.
- [§4, Proposition 4.5] In the proof that A is noetherian, the paper says that an infinite ascending chain of left or right ideals I_i of A gives, via ad, a non-terminating chain of Lie subalgebras of Inn(A). For a one-sided ideal I, the set ad(I) need not be closed under the Lie bracket: for x,y∈I, the commutator [ad_x,ad_y]=ad_{[x,y]} lies in ad(I) only if [x,y]=xy−yx∈I, which is not guaranteed for a left or right ideal. Thus the chain ad(I_i) is not generally a chain of Lie subalgebras, and Proposition 2.4(4) cannot be applied in the way stated. Since the noetherianity of A is subsequently used to apply Goldie's theorem to A/N, this step needs a corrected argument.
minor comments (2)
- [§4, Lemma 4.1] The sentence 'But B is a prime ring, so Z consists of regular elements in B' is confusing as written; the intended statement is that every nonzero central element of a prime ring is regular. This is a presentation issue only.
- [§4, Proposition 4.3] The statement that 'U0 has finite codimension in B' is slightly imprecise because U0 is a subspace of Z(B) rather than an ideal of B; the proof uses only finite codimension as a k-subspace, which follows from the finite codimension of Z(B) in B, but this should be phrased carefully.
Circularity Check
No significant circularity: the proof is a self-contained case analysis, and the only overlapping-author citation is an external prior theorem for a proper special case. The gap in Proposition 4.3 is a correctness issue, not a circular reduction.
full rationale
The paper does not fit any parameter to the conclusion it proves, and it never defines a central object in terms of the target theorem. Theorem 2.3 is established by a case analysis (commutative algebras; finite module over the center; not finite module over the center), with each case built on standard ring theory or previously established theorems. The only overlapping-author citation used at a load-bearing spot is [Buz23, Theorem 3.3] in Lemma 3.1, for commutative domains of Krull dimension one. That cited theorem is a published, parameter-free result about exactly that special case; it is a proper subcase of the present theorem, not the theorem itself, and it is not derived from the present assumptions. Under Hard Rule 4, this is independent support rather than circularity. The remaining cases are argued from Proposition 2.4, Proposition 3.4, Lemma 4.1, and other independent results. A genuine gap exists in Proposition 4.3: after passing to B = A/J, the line 'Let x in B \ Z(B)' assumes B is noncommutative, but the paper does not prove that a commutative quotient B is impossible; if B were commutative, the commutator q = [x,y] used for the final contradiction would vanish. This is a substantive correctness risk, but it is not circularity: the missing step requires additional mathematics, not an equation or definition that identifies the conclusion with an input. Overall circularity score is therefore low.
Assumptions & free parameters
assumptions (5)
- domain assumption k is a field of characteristic zero
- standard math Derivations preserve minimal primes [MR01, Proposition 14.2.3]
- domain assumption U(Der(A)) is not noetherian for affine commutative domains of Krull dimension 1 [Buz23, Theorem 3.3]
- standard math Standard facts on PI rings, Artin-Tate lemma, Levitzki's theorem, Goldie's theorem, and Artin-Wedderburn theorem
- standard math If U(g) is noetherian, then g has ACC on Lie subalgebras [AS74, Proposition 11.1.2]
Cite this review
Pith. "Pith review of Enveloping algebras of derivations of commutative and noncommutative algebras." pith.science (2026). https://pith.science/paper/KLL4ZBDP
@misc{pith2026241117972,
author = {Pith},
title = {Pith review of: Enveloping algebras of derivations of commutative and noncommutative algebras},
year = {2026},
howpublished = {\url{https://pith.science/paper/KLL4ZBDP}},
note = {Machine review of arXiv:2411.17972}
}
abstract
Let $\Bbbk$ be a field of characteristic zero. Motivated by the fundamental question of whether it is possible for the universal enveloping algebra of an infinite-dimensional Lie algebra to be noetherian, we study Lie algebras of derivations of associative algebras. The main result of this paper is that the universal enveloping algebra of the Lie algebra of derivations of a finitely generated $\Bbbk$-algebra is not noetherian. This extends a result of Sierra and Walton on the Witt algebra, as well as a result of the second author on Krichever-Novikov algebras. We highlight that the result applies to derivations of both commutative and noncommutative algebras without restriction on their growth.
Reference graph
Works this paper leans on
-
[1]
Nicol\'as Andruskiewitsch and Olivier Mathieu, Noetherian enveloping algebras of simple graded L ie algebras , 2024, arXiv: https://arxiv.org/abs/2405.15235 2405.15235
work page Pith review arXiv 2024
-
[2]
Nicol\'as Andruskiewitsch, On infinite-dimensional H opf algebras , 2023, arXiv: https://arxiv.org/abs/2308.13120 2308.13120
arXiv 2023
-
[3]
Amayo and Ian Stewart, Finitely generated L ie algebras , J
Ralph K. Amayo and Ian Stewart, Finitely generated L ie algebras , J. London Math. Soc. (2) 5 (1972), 697--703
work page 1972
-
[4]
, Infinite-dimensional L ie algebras , Noordhoff International Publishing, Leyden, 1974
work page 1974
-
[5]
Jason Bell and Lucas Buzaglo, Maximal dimensional subalgebras of general C artan type L ie algebras , 2023, arXiv: https://arxiv.org/abs/2311.06001 2311.06001
work page Pith review arXiv 2023
-
[6]
Brown and Paul Gilmartin, Hopf algebras under finiteness conditions, Palest
Kenneth A. Brown and Paul Gilmartin, Hopf algebras under finiteness conditions, Palest. J. Math. 3 (2014), 356--365
work page 2014
-
[7]
Brown, Noetherian H opf algebras , Turkish J
Kenneth A. Brown, Noetherian H opf algebras , Turkish J. Math. 31 (2007), 7--23
work page 2007
-
[8]
Ideals in enveloping algebras of affine Kac-Moody algebras
Rekha Biswal and Susan J. Sierra, Ideals in enveloping algebras of affine K ac-- M oody algebras , 2021, arXiv: https://arxiv.org/abs/2112.08334 2112.08334
work page Pith review arXiv 2021
Show all 18 references
-
[9]
Represent
Lucas Buzaglo, Enveloping algebras of K richever-- N ovikov algebras are not noetherian , Algebr. Represent. Theory 26 (2023), no. 5, 2085--2111
2023
-
[10]
150, Springer-Verlag, New York, 1995, With a view toward algebraic geometry
David Eisenbud, Commutative algebra, Graduate Texts in Mathematics, vol. 150, Springer-Verlag, New York, 1995, With a view toward algebraic geometry
1995
-
[11]
K. R. Goodearl, Noetherian H opf algebras , Glasg. Math. J. 55 (2013), no. A, 75--87
2013
-
[12]
K. R. Goodearl and R. B. Warfield, Jr., An introduction to noncommutative N oetherian rings , second ed., London Mathematical Society Student Texts, vol. 61, Cambridge University Press, Cambridge, 2004
2004
-
[13]
T. Y. Lam, A first course in noncommutative rings, second ed., Graduate Texts in Mathematics, vol. 131, Springer-Verlag, New York, 2001
2001
-
[14]
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
-
[15]
Smith, Some algebras with trivial rings of differential operators, 2024, arXiv: 2404.09184 https://arxiv.org/abs/2404.09184
Alapan Mukhopadhyay and Karen E. Smith, Some algebras with trivial rings of differential operators, 2024, arXiv: 2404.09184 https://arxiv.org/abs/2404.09184
2024 arXiv
-
[16]
Ivan Penkov and Alexey Petukhov, Primitive ideals of U ( sl ( )) , Bull. Lond. Math. Soc. 50 (2018), no. 3, 435--448
2018
-
[17]
84, Academic Press, Inc
Louis Halle Rowen, Polynomial identities in ring theory, Pure and Applied Mathematics, vol. 84, Academic Press, Inc. [Harcourt Brace Jovanovich, Publishers], New York-London, 1980
1980
-
[18]
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
Reviewed August 12, 2026 · model on record in the stance chip above.
Discussion (0). Continue with ORCID to comment.