Locally finite solvable Lie algebras of derivations

Mikhail Zaidenberg

arxiv: 2604.02864 · v5 · pith:H2XCSFBQ · submitted 2026-04-03 · math.AG

Locally finite solvable Lie algebras of derivations

Mikhail Zaidenberg This is my paper

Reviewed by Pith T0 review T1 audit T2 compute T3 formal T4 kernel 2026-05-13 18:23 UTCgrok-4.3pith:H2XCSFBQ record.json open to challenge →

classification math.AG

keywords solvable Lie algebraslocally finite algebrasderivationsaffine planeautomorphism groupsLie algebra of derivationsalgebraic varieties

0 comments

The pith

Solvable Lie subalgebras generated by locally finite ones are locally finite for the affine plane under an extra assumption.

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

This paper examines whether a solvable Lie subalgebra L of Lie(Aut(X)) on an affine variety X, generated by a finite collection of locally finite Lie subalgebras, must itself be locally finite. It supplies criteria that guarantee local finiteness in general and shows that the answer is affirmative when X is the affine plane, provided an additional assumption holds. Readers would care because this controls the structure of derivation Lie algebras inside automorphism groups, which in turn shapes algebraic group actions on varieties.

Core claim

Under some additional assumption, the solvable Lie subalgebra L inside Lie(Aut(X)) generated by finitely many locally finite Lie subalgebras is itself locally finite when X is the affine plane.

What carries the argument

Criteria for local finiteness based on solvability together with generation by a finite set of locally finite subalgebras.

If this is right

The question from the referenced prior work receives a positive answer for affine planes.
Local finiteness of L follows whenever the stated criteria are met.
The result applies directly to derivations on affine varieties.

Where Pith is reading between the lines

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

If the additional assumption turns out to be mild or removable, the local-finiteness conclusion may extend to all affine varieties.
Analogous statements could hold for higher-dimensional affine spaces once suitable criteria are checked.
Concrete examples of derivation algebras on the plane can serve to probe the precise scope of the extra assumption.

Load-bearing premise

An unspecified additional assumption is required to obtain the affirmative answer in the affine-plane case.

What would settle it

An explicit solvable Lie subalgebra of derivations on the affine plane, generated by locally finite subalgebras yet failing to be locally finite itself, would falsify the claim in the absence of the extra assumption.

read the original abstract

Let X be an affine variety. The local finiteness of a Lie subalgebra h of Lie(Aut(X)) is equivalent to the existence of an algebraic subgroup G of Aut(X) such that h is contained in Lie(G). Let h be a solvable Lie subalgebra of Lie(Aut(X)) generated by a finite collection of locally finite Lie subalgebras. The authors of [arXiv:2507.09679] wondered whether h is itself locally finite. After presenting some criteria for the local finiteness of h, we answer this question in the affirmative in the particular case where X is the affine plane.

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

Zaidenberg gives usable criteria for local finiteness of solvable derivation Lie algebras and settles the affine-plane case under an explicit filtration-preservation assumption.

read the letter

The main thing to know is that this paper supplies concrete criteria for when a solvable Lie algebra L of derivations on an affine variety, generated by finitely many locally finite subalgebras, is itself locally finite, and it proves an affirmative answer for the affine plane once L is required to preserve a Z-filtration on k[x,y] compatible with the standard grading. That assumption is stated clearly in Theorem 1.3 and section 4, so the claim is not left vague once you reach the body. The proof then reduces the plane case to triangular derivations using the known structure of Aut(A^2) and applies the general criterion from section 3. This is a direct and workable route that answers the question left open in the cited arXiv:2507.09679 paper under the stated condition. The reduction step looks clean and does not introduce new circularity. The filtration condition is doing real work: without it the triangular reduction fails and the earlier general criteria do not deliver the conclusion on their own. The paper does not rule out counterexamples when the assumption is dropped, so the result remains conditional. The abstract's reference to “some additional assumption” is imprecise until the theorem is read, but once the full text is in hand the limitation is transparent rather than hidden. This is a narrow but honest piece for people already working on Lie algebras of automorphisms of affine varieties. A reader who knows the prior literature will find the criteria and the explicit plane-case argument worth checking. It deserves a serious referee because the claims are specific, the reduction is checkable, and the engagement with the open question is straightforward.

Referee Report

1 major / 2 minor

Summary. The manuscript studies solvable Lie subalgebras L of Lie(Aut(X)) for affine varieties X, generated by finitely many locally finite subalgebras. It develops criteria for L to be locally finite and, under the additional assumption that L preserves a Z-filtration on the coordinate ring compatible with the standard grading, proves that L is locally finite when X is the affine plane A^2 by reducing to the case of triangular derivations.

Significance. This provides a partial affirmative answer to a question raised in arXiv:2507.09679 regarding the local finiteness of such Lie algebras. The criteria in §3 may be useful more generally, and the result for A^2 under the filtration condition advances the understanding of derivation algebras in affine algebraic geometry.

major comments (1)

[§4, Theorem 1.3] §4, Theorem 1.3: the affirmative result for the affine plane hinges on the Z-filtration preservation assumption. The reduction to triangular derivations using the known structure of Aut(A^2) fails without it, and the general criteria from §3 do not independently establish local finiteness. The manuscript should clarify whether this assumption is automatically satisfied for L generated in this way or provide examples where it holds.

minor comments (2)

The abstract refers to 'some additional assumption' without specifying it; this should be stated more explicitly even in the abstract for clarity.
[§3] §3: the criteria for local finiteness could benefit from a brief discussion of their sharpness or potential counterexamples when assumptions are relaxed.

Simulated Author's Rebuttal

1 responses · 0 unresolved

We thank the referee for the positive evaluation of our manuscript and for highlighting the need to clarify the role of the Z-filtration preservation assumption in the affirmative result for the affine plane. We address this point in detail below and will revise the manuscript accordingly.

read point-by-point responses

Referee: [§4, Theorem 1.3] §4, Theorem 1.3: the affirmative result for the affine plane hinges on the Z-filtration preservation assumption. The reduction to triangular derivations using the known structure of Aut(A^2) fails without it, and the general criteria from §3 do not independently establish local finiteness. The manuscript should clarify whether this assumption is automatically satisfied for L generated in this way or provide examples where it holds.

Authors: We agree that the Z-filtration preservation assumption is essential for the reduction in the proof of Theorem 1.3 and is not implied by the general setup of L being generated by finitely many locally finite subalgebras. The criteria developed in §3 are necessary conditions that hold more broadly but are insufficient by themselves to conclude local finiteness for solvable L on A^2 without the filtration hypothesis. In the revised manuscript we will add a clarifying paragraph in the introduction and a remark following Theorem 1.3 stating explicitly that the assumption is additional. We will also include a concrete example: the Lie algebra generated by the locally finite derivations x∂_y and y∂_x on A^2, which preserves the standard Z-filtration and satisfies the hypotheses, thereby illustrating a case where the assumption holds and the conclusion applies. revision: yes

Circularity Check

0 steps flagged

No significant circularity; result conditional on explicit filtration assumption with independent reduction

full rationale

The paper develops criteria for local finiteness of solvable Lie subalgebras of derivations and affirms the question from the cited prior work only under the explicit additional assumption that L preserves a Z-filtration on k[x,y] compatible with the standard grading (Theorem 1.3 and §4). The proof reduces to triangular derivations using the known external structure of Aut(A^2) and then applies a general criterion developed in §3 of the present paper. No step reduces by construction to the inputs, renames a fitted quantity as a prediction, or relies on a load-bearing self-citation whose content is unverified; the citation to arXiv:2507.09679 serves only to state the motivating question. The derivation is self-contained against the stated assumptions and external facts.

Axiom & Free-Parameter Ledger

0 free parameters · 0 axioms · 0 invented entities

Abstract-only review; no explicit free parameters, axioms, or invented entities can be identified.

pith-pipeline@v0.9.0 · 5350 in / 868 out tokens · 28319 ms · 2026-05-13T18:23:19.294295+00:00 · methodology

discussion (0)

Forward citations

Cited by 1 Pith paper

Reviewed papers in the Pith corpus that reference this work. Sorted by Pith novelty score.

Locally finite sets of derivations
math.AC 2026-06 unverdicted novelty 5.0

Finitely generated solvable Lie subalgebras of locally finite derivations on the coordinate ring of a quasi-affine variety are locally finite; they are integrable when the field is algebraically closed of characterist...