{"id":"33c4a8dd-6bde-4108-a246-314ab0ca2a16","arxiv_id":"2411.17972","paper_version":1,"verdict":"CONDITIONAL","confidence":"MODERATE","novelty_score":7.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":0,"one_line_summary":"The universal enveloping algebra of the Lie algebra of derivations of any infinite-dimensional finitely generated algebra over a characteristic zero field is not noetherian.","lead":"This paper proves that for any infinite-dimensional algebra that can be generated by finitely many elements, the enveloping algebra built from its derivations is never noetherian. The result covers both commutative and noncommutative algebras and removes earlier restrictions on dimension or growth.","discovery_kind":"extension","skeptic_critique":{"model":"deepseek-v4-flash","headline":"Proposition 4.3 asserts 'Let x in B \\ Z(B)' without proving B is noncommutative; if B is commutative, the commutator q = [x,y] vanishes and the final contradiction collapses.","rationale":"The reader's weakest_assumption identifies exactly the load-bearing concern in Proposition 4.3. The proof requires a noncentral element x in B = A/J to build a nonzero commutator q, but the existence of such an x is never established. Lemma 4.1 only shows that the minimal prime quotient A/P is commutative; the intermediate quotient B may be commutative or not. The maximality condition on J does not obviously preclude commutativity, and commutative examples such as k[x, ε]/(xε, ε²) with Q = (ε) demonstrate that the zero-image condition on derivations can hold with an infinite-dimensional quotient. Hence the final contradiction, which depends on q ≠ 0, is not justified as written. The central theorem of the paper may still be true, and the gap may be repairable, but the manuscript needs an additional argument. The other cases in the paper (Lemma 4.4, Propositions 4.5 and 4.7) and the commutative case appear better supported by the cited literature and internal reasoning. The reader's CONDITIONAL verdict is appropriate; my stress-test does not move it, so I recommend UNCHANGED.","tokens_in":28,"tokens_out":15374,"duration_ms":450905,"concrete_test":"Determine whether the maximal element J in the proof of Proposition 4.3 must contain the commutator ideal [A, A]. If J contains [A, A], then B = A/J is commutative and the step 'Let x in B \\ Z(B)' is unjustified; if it cannot, the step is valid. Concretely, run a computational check on a small PI noncommutative algebra, such as A = M_2(k[x]) with P = 0, to see whether the maximal ideal J of X contains the commutator ideal. If J = sl_2(k[x]) lies in X and is maximal, then B is commutative and the proof fails at that point; if no such commutative maximal J exists, provide a proof that maximal J is always noncommutative.","verdict_should_be":"UNCHANGED","load_bearing_attack":"The proof of Proposition 4.3 selects a maximal ideal J in X = {J ⊆ P : Der(A/J) -> Der(A/P) has zero image} and sets B = A/J. It then states 'Let x in B \\ Z(B)'. This presupposes B is noncommutative. Lemma 4.1 guarantees only that A/P is commutative, not that B is. If B were commutative, then q = [x,y] = 0 for all choices of x and y, so the later claim 'q ∈ Q \\ {0}' would be false and the construction of I = BqB would collapse. The maximality of J does not obviously force J to contain the commutator ideal [A,A]; if it did, B would indeed be commutative. Moreover, commutative algebras can satisfy the zero-image property with infinite-dimensional quotients: for C = k[x, ε]/(xε, ε²) and Q = (ε), Der(C) -> Der(C/Q) is zero even though C/Q = k[x] is infinite-dimensional. Thus the missing noncommutativity argument is not a formality; it is a substantive gap in one of the main noncommutative cases, namely when A is a finite module over its center with dim_k(A/Z(A)) < ∞. No separate argument excluding a commutative quotient B is supplied.","agreement_with_reader":"agree"},"referee_report":{"model":"deepseek-v4-flash","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.","tokens_in":12194,"tokens_out":22410,"duration_ms":210751,"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":[{"comment":"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.","section":"§4, Proposition 4.3"},{"comment":"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.","section":"§4, Proposition 4.5"}],"minor_comments":[{"comment":"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.","section":"§4, Lemma 4.1"},{"comment":"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.","section":"§4, Proposition 4.3"}],"recommendation":"major_revision","confidential_remarks":"The missing noncommutativity of B in Proposition 4.3 is the main obstacle; if the author can supply the missing argument, or handle the commutative B case separately, the paper is likely to be publishable. The self-citation of [Buz23] is appropriate and does not constitute circularity. The fit with the journal's scope is good."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"I just read Bell and Buzaglo's paper on enveloping algebras of derivations. The headline: they claim the enveloping algebra of Der(A) is non-noetherian for every infinite-dimensional affine k-algebra A, char 0, commutative or not, and similarly for Inn(A) when infinite-dimensional. This is a big deal—it removes the commutativity, dimension, and growth restrictions that all previous results had. If the proof holds, it settles a lot of the Amayo-Stewart question for this class of Lie algebras.\n\nThe paper does a lot well. The commutative case (Prop 3.4) is clean and uses a nice minimal-prime reduction plus the known Krull-dim-1 base case. The other noncommutative cases (Lem 4.4, Props 4.5 and 4.7) are inventive and, as far as I can tell, correct. The bibliography is honest about what precedes them, and the self-citation to the second author's published Krull-dim-1 result is legitimate.\n\nThe soft spot is Proposition 4.3, the case where A is finite over its center with dim_k(A/Z(A)) < ∞. At the top of the proof, after choosing a maximal J in X, the authors write \"Let x ∈ B\\Z(B)\". That presupposes B is noncommutative, and nothing in the argument establishes it. I checked whether maximality of J forces noncommutativity, and it doesn't—there's a concrete commutative example, C=k[x,ε]/(xε, ε²), Q=(ε), where Der(C)→Der(C/Q) is zero and the maximality property holds, so the quotient could indeed be commutative. In that case there is no such x, the commutator q never appears, and the final contradiction collapses. This is not a cosmetic hole; the whole construction of d' depends on having a noncentral element to start with. The rest of the proof then only covers the cases where B is known to be noncommutative, leaving that subcase unproved.\n\nSo: the result is probably true, and the paper is worth taking seriously, but this gap needs to be fixed before the theorem can be used. I'd send it to a referee, with the expectation of a revision. For my own work, I wouldn't cite the noncommutative result as a black box until Proposition 4.3 is repaired.","headline":"Broad and likely-correct theorem, but Proposition 4.3 has a genuine gap that needs fixing before the noncommutative result can be used.","tokens_in":12697,"tokens_out":9073,"would_cite":false,"duration_ms":83859,"reading_group":"maybe","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["17B35","16W25","16P40","17B65"],"pacs":[],"model":"deepseek-v4-flash","headline":"Every infinite-dimensional affine algebra has non-noetherian derivation enveloping algebras.","keywords":["universal enveloping algebra","noetherian","derivations","inner derivations","affine algebra","PI ring","Lie algebra","noncommutative ring"],"falsifier":"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.","tokens_in":11740,"feed_emoji":"🧮","tokens_out":4379,"duration_ms":35206,"temperature":0.7,"pith_summary":"This paper proves that for any infinite-dimensional finitely generated algebra over a field of characteristic zero, the universal enveloping algebra of its Lie algebra of derivations is never noetherian. It also proves the same for inner derivations when they are infinite-dimensional. This settles a long-standing open question in a broad class: previously only the Witt algebra and Krichever-Novikov algebras were known. The proof works uniformly for commutative and noncommutative algebras, with no growth restriction. A corollary is that the enveloping algebra of any infinite-dimensional associative algebra, viewed as a Lie algebra via commutator, is non-noetherian.","feed_headline":"Derivation Lie algebras never have noetherian enveloping algebras","feed_subtitle":"Sweeping answer for all finitely generated algebras over fields of characteristic zero.","key_machinery":"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.","core_discovery":"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.","pith_inferences":["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."],"forward_implications":["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."],"supporting_citations":[{"why":"Establishes the base cases Der(k[t]) and Der(k[t,t^{-1}]) are non-noetherian and supplies Proposition 2.4(1).","marker":"[SW14]"},{"why":"Proves the Krull dimension one commutative domain case and supplies Proposition 2.4(2).","marker":"[Buz23]"},{"why":"Provides the Artin-Tate lemma, PI ring facts, Levitzki's theorem, and the minimal-prime lifting result used throughout the noncommutative cases.","marker":"[MR01]"},{"why":"Supplies the ascending chain condition on Lie subalgebras for noetherian enveloping algebras (Proposition 2.4(4)).","marker":"[AS74]"},{"why":"Gives the result that infinite-dimensional solvable Lie algebras have non-noetherian enveloping algebras, used as Proposition 2.4(6).","marker":"[AS72]"},{"why":"Provides the theorem that minimal primes in noetherian rings are associated, used to lift derivations in the commutative case.","marker":"[Eis95]"},{"why":"Supplies Goldie's theorem, used to conclude semiprime noetherian rings are semisimple artinian.","marker":"[GW04]"},{"why":"Provides the existence of infinite-dimensional maximal subfields in division rings, used in Proposition 4.5.","marker":"[Lam01]"}],"fun_headline_variants":["Noetherian enveloping algebras impossible for derivation Lie algebras","Derivation enveloping algebras are never Noetherian","No Noetherian enveloping algebras for derivation Lie algebras","Enveloping algebras of derivation Lie algebras: never Noetherian","Noetherianity fails for enveloping algebras of derivations"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"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.","fun_headline_variants_meta":{"raw":{"variants":["Noetherian enveloping algebras impossible for derivation Lie algebras","Derivation enveloping algebras are never Noetherian","No Noetherian enveloping algebras for derivation Lie algebras","Enveloping algebras of derivation Lie algebras: never Noetherian","Noetherianity fails for enveloping algebras of derivations"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000808,"raw_usage":{"total_tokens":3489,"prompt_tokens":828,"completion_tokens":2661,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":444,"completion_tokens_details":{"reasoning_tokens":2578}},"tokens_in":444,"tokens_out":2661,"duration_ms":16609,"temperature":1.0,"reasoning_tokens":2578,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-12T11:40:29.634082+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"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.","supporting_citations":[],"review_version":1}