Regular Borel subalgebras of the Lie Algebra of Aut($\mathbb{A}^2$)

Ananya Pal

REVIEW 2 major objections 4 minor 12 references

Regular Borel subalgebras of the Lie Algebra of Aut($\mathbb{A}^2$)

T0 review · 2 major / 4 minor · reviewed 2026-08-03 · deepseek-v4-flash

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

Pith's one-line read Every regular Borel subalgebra of Lie(Aut(A²)) has derived length 2 or 3: the only metabelian one is Lie(∆, ℓ(1,1)), and the length-3 ones are exactly Lie(t₂, ℓ(a,b), (a,b)) for a≠b.

desk verdict Main classification is solid and new, but the isomorphism section has a real generating-set error and the notation around Lemma 5.10 needs cleaning before this is publishable. read the letter →

arxiv 2607.29324 v1 pith:3JTLLKSH submitted 2026-07-31 math.RA math.AG

Ananya Pal This is my paper · ORCID

classification math.RAmath.AG MSC 17B3017B6617B6517B0517B70

keywords BorelsubalgebraregularderivedlengthsolvableLiealgebrahomogeneousderivationsofvectorfieldsAut(A²)ind-group

verification ladder T0 review T1 audit T2 compute T3 formal

The pith

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

The reading

This paper asks what the maximal solvable subalgebras of the Lie algebra Lie(Aut(A²)) look like when they are generated by homogeneous derivations with respect to the standard Z²-grading — the regular Borel subalgebras. The answer is a complete list: every such subalgebra has derived length 2 or 3, the only metabelian one is Lie(∆, ℓ(1,1)) (built from the diagonal ray of the bidegree lattice), and every derived-length-3 one is Lie(t₂, ℓ(a,b), (a,b)) for some (a,b) with a≠b, built from one homogeneous derivation plus all homogeneous derivations whose bidegrees lie on a single line through (−1,−1). The proof works by translating solvability into a combinatorial statement about sets of bidegrees: apart from the Abelian cases, a regular subalgebra is solvable exactly when all but one of its generators lie on such a line. Because maximal regular solvable subalgebras automatically are Borel, the list is complete; a corollary is that many of these Borel subalgebras do not arise from Borel subgroups of the automorphism group, so the classical correspondence between subgroups and subalgebras fails for this ind-group in infinitely many ways.

What carries the argument

Central object: the bracket [∂(a,b),∂(c,d)] = det[[c+1,a+1],[d+1,b+1]] ∂(a+c,b+d). It vanishes exactly when the two bidegrees lie on one line through (−1,−1). Lemma 5.10: Lie(S) is non-Abelian and solvable iff some (a,b)∈S, a≠b, has all other elements of S on ℓ(a,b). Lemma 3.7: every maximal regular solvable subalgebra contains t₂ and is automatically Borel; hence B = Lie(t₂,S), B^{(1)}=Lie(S), and the lemma forces S = ℓ(a,b)∩M ∪ {(a,b)}. Isomorphism classification uses the normal form G(n,1,λ,α,γ), where the integer n = gcd(a,b) is the only graded invariant.

What would settle it

Compute the derived series of Lie({∂ₚ,∂q,∂r}) for small triples of bidegrees, for example (a,b)=(2,0), (c,d)=(0,1), (e,f)=(1,0), using the determinant bracket formula. Lemma 5.9 predicts L⁽⁴⁾≠0 for certain configurations, and Lemma 5.10 predicts solvability only when one point dominates a line. If any small triple yields a non-Abelian solvable subalgebra not of the line-plus-point form, Theorem 6.1 fails. Also verify, for each listed length-3 B = Lie(t₂,ℓ(a,b),(a,b)) with a≠b, that B⁽²⁾≠0 and B⁽³⁾=0; any deviation would refute the theorem.

Watch

Extended reading notes

Core claim

The central claim is Theorem 6.1: every regular Borel subalgebra of Lie(Aut(A²)) has derived length 2 or 3. The metabelian member is Lie(∆, ℓ(1,1)) = Lie(t₂,{(c,c): c≥1}), the span of the Euler field, ∂_{(0,0)}, and xyK[xy](x∂x − y∂y). All others are Lie(t₂, ℓ(a,b), (a,b)) for (a,b) ∈ Z²_{\ge0} ∪ {(0,−1),(−1,0)} with a≠b: the torus t₂, the derivations along the ray ℓ(a,b)∩M, plus ∂_{(a,b)}. Each length-3 member is isomorphic as a Lie algebra to Lie(t₂, ℓ(0,−1), (a,0)) with a ∈ Z_{\ge1}∪{−1}; the integer is gcd(a,b), and distinct members are not graded isomorphic. The member with a=−1 is infinitely generated, so only the positive-integer members could be pairwise abstractly isomorphic, which

Load-bearing premise

The classification collapses if Lemma 5.10 is false: the claim that every non-Abelian solvable regular subalgebra has all but one generator on a single line ℓ(a,b) through (−1,−1). The proof of that lemma is a long case analysis with easily confused line symbols (ℓ, ℓ, eℓ), so a missed configuration there would leave the list of regular Borel subalgebras incomplete.

Editorial extensions

If this is right

Every homogeneous derivation is contained in an explicitly listed regular Borel subalgebra; the paper lists, for each bidegree, all regular Borel subalgebras containing that derivation.
The triangular subalgebras j⁺₂ and j⁻₂ are exactly the length-3 family members with (a,b) = (0,−1) and (−1,0), giving a new proof that they are Borel.
For every (c,d) ∈ Z²_{\ge0} \ {(0,0)}, the subalgebras Lie(∆,ℓ(1,1)) and Lie(t₂,ℓ(a,b),(a,b)) with (a,b) ∈ Z²_{\ge0}, a≠b, do not correspond to any Borel subgroup of Aut(A²), so the subgroup–subalgebra correspondence fails in infinitely many ways.
Non-regular Borel subalgebras exist: any Borel subalgebra containing ∂_{(0,1)} + ∂_{(1,0)} is non-regular.
Up to isomorphism, the length-3 regular Borel subalgebras form the countable family Lie(t₂, ℓ(0,−1), (a,0)), a ∈ Z_{\ge1}∪{−1}; the metabelian diagonal member is the sole length-2 representative and is not isomorphic to any other regular Borel subalgebra.

Reading between the lines

Editorial extensions of the paper, not claims the author makes directly.

Inference: The line-plus-point shape of S suggests that for Lie(Aut(Aⁿ)) the analogous regular Borel subalgebras would be controlled by flags of hyperplanes in the Zⁿ degree lattice rather than single lines; a concrete next computation would check whether the derived length of the n-dimensional analogue is n+1, which would beat the general 2n bound.
Inference: The unresolved question of abstract isomorphisms among Lie(t₂,ℓ(0,−1),(a,0)) for a≥1 can likely be settled by invariants such as the dimensions of the successive centralizers of the Euler element or the size of a minimal generating set; since the paper proves graded non-isomorphism only, non-graded invariants are the right tool.
Inference: The criterion can be tested computationally by enumerating small S⊂M and checking solvability via the derived series; this is a cheap verification of Lemma 5.10 and would harden the classification beyond the paper's case analysis.

Share X Bluesky LinkedIn Reddit HN

Signed reviews

No signed human review yet.

Editorial analysis

A structured set of objections, weighed in public.

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

Desk Editor's Note

read the letter

Dear colleague,

The main theorem here is real and worth engaging with. Theorem 6.1 gives the first classification of regular Borel subalgebras of Lie(Aut(A2)): derived length 2 or 3, a unique metabelian one, and explicit generators for the derived-length-3 cases. The reduction of regular Borel subalgebras to maximal regular solvable subalgebras (Lemma 3.7) and the solvability criteria (Proposition 5.11) are substantial and appear correct. The main proof is a long case analysis, but I did not find a hole in it.

The soft spots are concentrated in the isomorphism section. Lemma 6.5(a) contains a concrete false claim: for n=-1, the set {Y1,Y2,Xi | i≥r} does not generate G(-1,...) for r≥1, because without X0 the commuting X_i (i≥1) can never produce X0. The companion assertion that {Y1,Y2,X0,...,X_{n-1}} is the smallest generating set for n≥1 is also asserted without proof and needs hypotheses on the γ_i. Proposition 6.6(b) relies on this, so the proof of graded non-isomorphism needs repair. The result is likely salvageable by a weight-set or corrected generator-count argument, but as written it is wrong.

A second, less definite concern: the proof of Lemma 5.10 is load-bearing for Theorem 6.1 and is extremely hard to audit because the symbols for the three line types (through the origin, through (-1,-1), parallel through (-1,-1)) are not reliably distinguished in the preprint text. I suspect this is a typesetting issue rather than a mathematical gap, but the author should rewrite that proof with unambiguous notation. There are also small slips—for instance, a '=' in the proof of Proposition 5.8(b) that should be '≠'.

Bottom line: this paper deserves a serious referee. The central classification is new, meaningful, and mostly convincing; the isomorphism section is not in publishable shape. I would send it to review with a clear request to fix Lemma 6.5 and clarify Lemma 5.10. Once clean, I would cite Theorem 6.1 and would happily bring it to a reading group.

Referee Report

2 major / 4 minor

Summary. The paper classifies all regular Borel subalgebras of Lie(Aut(A^2)), i.e., maximal solvable subalgebras generated by homogeneous derivations with respect to the standard Z^2-grading. The main result (Theorem 6.1) states that every such subalgebra has derived length 2 or 3; the only metabelian one is Lie(Δ,ℓ(1,1)), and the length-3 ones are exactly Lie(t2,ℓ(a,b),(a,b)) for (a,b)∈Z_{\ge0}^2∪{(0,−1),(−1,0)} with a≠b. The proof reduces the problem to a classification of regular Abelian and regular solvable subalgebras (Sections 4–5), then uses maximality to identify the Borel subalgebras. The paper also gives explicit presentations of all regular Borel subalgebras in a common format (Lemma 6.4) and a partial isomorphism classification (Proposition 6.6).

Significance. If correct, this is a substantial contribution to the structure theory of the Lie algebra of polynomial vector fields on the affine plane. It goes well beyond the known triangular Borel subalgebras, gives a complete list of all homogeneous-generated Borel subalgebras, and identifies an explicit example not coming from a Borel subgroup. The proof strategy is sound in outline: Lemma 3.7 reduces regular Borel subalgebras to maximal regular solvable subalgebras, and the later structure lemmas are natural. The paper is generally well organized, and the external results it uses are clearly cited. However, the verification burden falls on two case analyses whose notation is not sufficiently controlled, and one of the isomorphism proof's generating-set assertions is concretely false. These issues need to be fixed before the main claims can be fully trusted.

major comments (2)

[§5.2, Lemma 5.10 and Theorem 6.1(3)] The only-if direction of Lemma 5.10 is the load-bearing step for the main classification. In Case II the proof reduces L1=Lie({(c,d),(e,f)}) to four alternatives and concludes that the surviving case is (e,f)∈ℓ(c,d)=ℓ(a,b). This equality is correct only if ℓ(c,d) denotes the line through (−1,−1) and (c,d) and (c,d) was chosen on the parallel line; under the natural reading of the typesetting, the same symbol is also used for the line through (−1,−1) parallel to ℓ(c,d), in which case the equality is false. The same ambiguity affects the applications of Lemma 5.9 and Lemma 5.6 in Cases (b) and (c). Since Theorem 6.1(3) uses Lemma 5.10 to force B^(1)⊆Lie(ℓ(a,b),(a,b)), this is a direct threat to the classification. Distinct symbols must be introduced for the four line types and the case analysis re-verified in detail.
[§6.2, Lemma 6.5(a)] The generating-set assertions are false as stated. For n=−1, the set {Y1,Y2,Xi | i≥r} with r≥1 does not generate X0: every defining bracket involving X0 either requires X0 on the left or would produce X0 only from [X0,X1], which again requires X0. For n≥1, the set {Y1,Y2,X0,…,X_{n−1}} does not generate X_n, because [X0,Xi]=γ_i X_{i+n} only raises indices and [Yj,Xi] only scales. Hence the proof that G(−1, ·) and G(n, ·) are not graded isomorphic is unsupported; this is used in Proposition 6.6(b). The conclusion is probably salvageable by a correct finite-generation argument, but the text must be corrected.

minor comments (4)

[§6.2, Lemma 6.5(b)] In the displayed definition of the maps, φ(Y1) is written twice; the second occurrence should be φ(Y2).
[§2, Notation 5–8] The four line types ℓ(a,b), ℓ(a,b), ℓ(a,b), and eℓ(a,b) are not visually distinguished in the manuscript. Even if the intended reading is clear to the author, the typesetting must be changed (e.g., subscripts, superscripts, or different accents) so that a reader can follow the case analyses in Sections 5 and 6.
[§6.1, Theorem 6.1(3) proof] The exclusion of (a,b)∈{(m,−1),(−1,m) | m≥1} is compressed. Please spell out that ℓ(a,b)∩M=∅ forces S\{(a,b)}=∅, contradicting the assumption that B^(1) is non-abelian.
[§6.2, Proposition 6.6(a)] The case (a,b)∈{(0,−1),(−1,0)} is written in a compressed form. Since ℓ(0,−1) and ℓ(−1,0) are different lines, the two inclusions into A should be displayed separately to avoid confusion.

Circularity Check

0 steps flagged · score 0.0 of 10

No significant circularity: the classification is derived from the commutator relations and independent external structural results, not from its own conclusion.

full rationale

The paper's central classification (Theorem 6.1) is not circular. The derived-length dichotomy and the explicit forms of regular Borel subalgebras follow from Lemma 5.10, which is proved from Proposition 5.8, which in turn is proved from the homogeneous commutator relations (2), (3) and the non-solvability/solvability lemmas 5.6 and 5.7. No parameter is fitted to data and later called a prediction; there is no quantity that is defined in terms of the result it is supposed to establish. The cited external results — [1, Cor. 2.3] (existence of a Borel subalgebra containing a given derivation), [1, Prop. 4.9] (the triangular subalgebras are Borel), [4, Prop. 15.7.2] (Lie(Aut(A^n)) = Vec_c), and [8, Cor. 2(1)] (derived-length bound) — supply structural facts that are prerequisites but are not restatements of the paper's classification. Although the author acknowledges I. Arzhantsev for suggesting the problem, [1] has no overlapping authors with this paper, so this is not self-citation. The notation ambiguities flagged in Lemma 5.10 are expositional and verifiability concerns, not circular reductions: even if a case in the long case analysis were missed, that would be a correctness gap, not a case where the conclusion is assumed by construction. Thus the derivation chain is self-contained modulo independent external lemmas, and the appropriate circularity score is 0.

Assumptions & free parameters 0 free parameters · 5 assumptions · 0 invented entities

The paper introduces no fitted constants and no new entities; the G(n,µ,λ,α,γ) formalism repackages the constructed subalgebras. The load-bearing inputs are external theorems from [1],[4],[7],[8] and the characteristic-zero setting.

assumptions (5)

domain assumption Every derivation of Lie(Aut(A^2)) is contained in some Borel subalgebra (Arzhantsev–Zaidenberg, [1, Cor 2.3]).
Used in Lemma 3.7 to promote maximal regular solvable subalgebras to Borel subalgebras.
domain assumption j±2 = Lie(JONQ±(A^2)) are Borel subalgebras of Lie(Aut(A^2)) ([1, Prop 4.9]).
Used to identify the length-3 families corresponding to Borel subgroups and in Theorem 6.1.
domain assumption Lie(Aut(A^n)) = Vec_c(A^n) with the standard Z^2-grading and commutation relations (2)–(3) ([4, Prop 15.7.2], [7, Sec 6.2]).
Basis for the entire framework of homogeneous derivations and the determinant bracket.
domain assumption Solvable subalgebras of Der(K[x1,...,xn]) have derived length at most 2n ([8, Cor 2(1)]).
Used in Lemma 5.6 to infer non-solvability from nonzero fourth derived algebra.
standard math K is a field of characteristic zero; standard linear algebra (Lemma 3.4) about eigenspace decomposition.
Assumed throughout; Lemma 3.4 is proven in-text.

how reviews work

0 comments

Cite this review

Pith. "Pith review of Regular Borel subalgebras of the Lie Algebra of Aut($\mathbb{A}^2$)." pith.science (2026). https://pith.science/paper/3JTLLKSH

@misc{pith2026260729324,
  author       = {Pith},
  title        = {Pith review of: Regular Borel subalgebras of the Lie Algebra of Aut($\mathbbA^2$)},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/3JTLLKSH}},
  note         = {Machine review of arXiv:2607.29324}
}

abstract

In this paper, we find all regular Borel subalgebras of Lie(Aut($\mathbb{A}^2$)), i.e., maximal solvable subalgebras generated by homogeneous derivations with respect to the standard $\mathbb{Z}^2$-grading. It follows that a regular Borel subalgebra has derived length $2$ or $3$. We also describe isomorphism classes of such subalgebras. On the way, we give a combinatorial description of the regular Abelian subalgebras and the regular solvable subalgebras of Lie(Aut($\mathbb{A}^2$)).

Figures

Figures reproduced from arXiv: 2607.29324 by the authors.

Discussion (0). Continue with ORCID to comment.

Reference graph

Works this paper leans on

12 extracted references · 3 linked inside Pith

[1]

Arzhantsev and M

I. Arzhantsev and M. Zaidenberg, Acyclic curves and group actions on aﬃne toric surfaces , In: Aﬃne Algebraic Geometry, Proceedings of the Conference dedicated to Prof. Miyanishi’s 70th birthday . Kayo Masuda,
[2]

Arzhantsev and M

I. Arzhantsev and M. Zaidenberg, Borel subgroups of the automorphism groups of aﬃne toric surfaces , arXiv:2507.09679 (2025)

arXiv 2025
[3]

Arzhantsev and M

I. Arzhantsev and M. Zaidenberg, Borel subalgebras of Lie algebras of vector fields , arXiv:2510.17223 (2025)

arXiv 2025
[4]

Berest, A

Yu. Berest, A. Eshmatov, and F. Eshmatov, Dixmier groups and Borel subgroups , Adv. Math. 286 (2016), 387--429

2016
[5]

Freudenburg, Algebraic Theory of Locally Nilpotent Derivations, SpringerVerlag GmbH Germany (2017)

G. Freudenburg, Algebraic Theory of Locally Nilpotent Derivations, SpringerVerlag GmbH Germany (2017)

2017
[6]

Furter and H

J.P. Furter and H. Kraft, On the geometry of automorphism groups of aﬃne varieties , arXiv:1809.04175 (2018)

arXiv 2018
[7]

J. E. Humphreys, Introduction to Lie algebras and representation theory . Graduate Texts in Mathematics, vol. 9 , Springer, New York, 1972

1972
[8]

J. E. Humphreys, Linear Algebraic Groups . Graduate Texts in Mathematics, vol. 21 , Springer, New York, 1975

1975

Show all 12 references

[9]

Kraft and M

H. Kraft and M. Zaidenberg, Algebraically generated groups and their Lie algebras , J. London Math. Soc.(2) 109:e12866 (2024), 1--39

2024
[10]

Makedonskyi and A.P

O. Makedonskyi and A.P. Petravchuk, On nilpotent and solvable Lie algebras of derivations, J. Algebra 401 (2014), 245--257

2014
[11]

Shu, Generic property and conjugacy classes of homogeneous Borel subalgebras of restricted Lie algebras of Cartan type (I): type W, Bull

B. Shu, Generic property and conjugacy classes of homogeneous Borel subalgebras of restricted Lie algebras of Cartan type (I): type W, Bull. Inst. Math. Acad. Sin. (N.S.) 14(3) (2019), 295--329

2019
[12]

Y.F. Yao, H. Chang, Borel subalgebras of the Witt algebra , Acta. Math. Sin. Ser. 31 (2015), 1348--1358

2015

Pith tools

Reviewed August 3, 2026 · model on record in the stance chip above.

[1] [1]

Arzhantsev and M

I. Arzhantsev and M. Zaidenberg, Acyclic curves and group actions on aﬃne toric surfaces , In: Aﬃne Algebraic Geometry, Proceedings of the Conference dedicated to Prof. Miyanishi’s 70th birthday . Kayo Masuda,

[2] [2]

Arzhantsev and M

I. Arzhantsev and M. Zaidenberg, Borel subgroups of the automorphism groups of aﬃne toric surfaces , arXiv:2507.09679 (2025)

arXiv 2025

[3] [3]

Arzhantsev and M

I. Arzhantsev and M. Zaidenberg, Borel subalgebras of Lie algebras of vector fields , arXiv:2510.17223 (2025)

arXiv 2025

[4] [4]

Berest, A

Yu. Berest, A. Eshmatov, and F. Eshmatov, Dixmier groups and Borel subgroups , Adv. Math. 286 (2016), 387--429

2016

[5] [5]

Freudenburg, Algebraic Theory of Locally Nilpotent Derivations, SpringerVerlag GmbH Germany (2017)

G. Freudenburg, Algebraic Theory of Locally Nilpotent Derivations, SpringerVerlag GmbH Germany (2017)

2017

[6] [6]

Furter and H

J.P. Furter and H. Kraft, On the geometry of automorphism groups of aﬃne varieties , arXiv:1809.04175 (2018)

arXiv 2018

[7] [7]

J. E. Humphreys, Introduction to Lie algebras and representation theory . Graduate Texts in Mathematics, vol. 9 , Springer, New York, 1972

1972

[8] [8]

J. E. Humphreys, Linear Algebraic Groups . Graduate Texts in Mathematics, vol. 21 , Springer, New York, 1975

1975