pith. sign in

arxiv: 2510.17223 · v3 · pith:VL26KI4Rnew · submitted 2025-10-20 · 🧮 math.AG

Borel subalgebras of Lie algebras of vector fields

Ivan Arzhantsev , Mikhail Zaidenberg This is my paper

Pith reviewed 2026-05-18 06:30 UTC · model grok-4.3

classification 🧮 math.AG
keywords Borel subalgebrasLie algebras of vector fieldsautomorphism groupsaffine varietiestoric surfacesintegrable subalgebras
0
0 comments X

The pith

Integrable Borel subalgebras in the Lie algebra of an automorphism group are exactly the tangent algebras of its Borel subgroups.

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

The paper defines an integrability condition for Borel subalgebras inside the Lie algebra of vector fields on an affine variety. It proves that subalgebras satisfying this condition are precisely the tangent algebras of Borel subgroups of the automorphism group. The correspondence is applied to classify all integrable Borel subalgebras on affine toric surfaces, with explicit results for the affine plane and its cyclic quotients. A reader would care because the result turns the study of certain subgroups of automorphism groups into a question about their Lie algebras.

Core claim

Integrable Borel subalgebras in the Lie algebra of the automorphism group of an affine variety are precisely the tangent algebras of the Borel subgroups. For toric affine surfaces this yields a complete classification, including the affine plane and its quotients by cyclic groups.

What carries the argument

The integrability condition on a Borel subalgebra, which ensures the subalgebra arises as the tangent algebra of a Borel subgroup of the automorphism group.

Load-bearing premise

The integrability condition introduced for Borel subalgebras is the one that makes them correspond exactly to tangent algebras of Borel subgroups, at least for affine toric surfaces.

What would settle it

An explicit affine variety together with a Borel subalgebra that satisfies the integrability condition yet is not the tangent algebra of any Borel subgroup of its automorphism group.

read the original abstract

In [I. Arzhantsev and M. Zaidenberg, Borel subgroups of the automorphism groups of affine toric surfaces, arXiv:2507.09679 (2025)] we described the Borel subgroups and maximal solvable subgroups of the automorphism groups of affine toric surfaces. In the present paper, we introduce the notion of an integrable Borel subalgebra in the Lie algebra of the automorphism group of an affine variety. We show that they are precisely the tangent algebras of the Borel subgroups. We classify the integrable Borel subalgebras in the Lie algebras of the automorphism groups of toric affine surfaces, notably of the affine plane and its cyclic quotients.

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

1 major / 0 minor

Summary. The manuscript introduces the notion of an integrable Borel subalgebra in the Lie algebra of the automorphism group of an affine variety X. It proves that these subalgebras correspond precisely to the tangent algebras of Borel subgroups of Aut(X). The paper then classifies the integrable Borel subalgebras in the Lie algebras of automorphism groups of affine toric surfaces, including the affine plane and its cyclic quotients, extending prior group-level results from arXiv:2507.09679.

Significance. If the correspondence holds, the work establishes a direct link between the group-theoretic Borel subgroups of Aut(X) for affine varieties and their Lie-algebraic counterparts via the new integrability condition. The explicit classification for affine toric surfaces provides concrete, usable data on the structure of these automorphism groups and their Lie algebras, which may facilitate further investigations in algebraic geometry and infinite-dimensional Lie theory. The approach of defining integrability to achieve a clean bijection is standard and effective in this context.

major comments (1)
  1. The section defining integrability (likely §2 or the preliminary section): the integrability condition is introduced specifically to ensure the equivalence with tangent algebras of Borel subgroups. While this yields the desired correspondence, the paper should clarify whether this condition is independent of the group-level results in the cited prior work or if it implicitly relies on properties already established there for the classification on toric surfaces to be fully self-contained.

Simulated Author's Rebuttal

1 responses · 0 unresolved

We thank the referee for the careful reading of the manuscript and the positive recommendation for minor revision. We address the single major comment below.

read point-by-point responses

  1. Referee: The section defining integrability (likely §2 or the preliminary section): the integrability condition is introduced specifically to ensure the equivalence with tangent algebras of Borel subgroups. While this yields the desired correspondence, the paper should clarify whether this condition is independent of the group-level results in the cited prior work or if it implicitly relies on properties already established there for the classification on toric surfaces to be fully self-contained.

    Authors: The integrability condition is introduced in a general setting for the Lie algebra of the automorphism group of an arbitrary affine variety X, and the proof establishing the bijection with tangent algebras of Borel subgroups is carried out without any reference to the classification results of arXiv:2507.09679. The prior work is used exclusively in the final section to extend the group-level description of Borel subgroups on affine toric surfaces to the corresponding integrable Borel subalgebras. We will add a short clarifying paragraph in the introduction and at the beginning of the section on integrability to state explicitly that the definition and the correspondence theorem are independent of the cited classification and are fully self-contained. revision: yes

Circularity Check

0 steps flagged

No significant circularity detected

full rationale

The paper cites its own prior arXiv:2507.09679 for the classification of Borel subgroups of Aut(X) on affine toric surfaces, but the present work introduces a fresh definition of 'integrable Borel subalgebra' in the Lie algebra of vector fields, proves that these are precisely the tangent algebras of Borel subgroups, and then classifies them for toric surfaces. This equivalence and classification rest on independent arguments and the new integrability condition rather than reducing by construction, fitted parameters, or unverified self-citation chains to the inputs of the prior paper. Self-citation of related prior results is normal and does not create circularity here, as the core derivation is self-contained against external mathematical benchmarks.

Axiom & Free-Parameter Ledger

0 free parameters · 1 axioms · 1 invented entities

The paper relies on standard facts from algebraic geometry and Lie theory for affine varieties; the new definition of integrability is introduced without independent external evidence.

axioms (1)
  • standard math Standard properties of Lie algebras associated to automorphism groups of affine varieties hold.
    Invoked to relate subalgebras to tangent spaces of subgroups.
invented entities (1)
  • integrable Borel subalgebra no independent evidence
    purpose: To identify subalgebras whose corresponding subgroups are Borel and to enable classification.
    New definition introduced in the paper with no external falsifiable handle provided in the abstract.

pith-pipeline@v0.9.0 · 5633 in / 1271 out tokens · 27142 ms · 2026-05-18T06:30:50.525101+00:00 · methodology

discussion (0)

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

Forward citations

Cited by 1 Pith paper

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

  1. Locally finite solvable Lie algebras of derivations

    math.AG 2026-04 unverdicted novelty 5.0

    Criteria are given for local finiteness of solvable Lie algebras of derivations on affine varieties, with an affirmative answer for the affine plane under an additional assumption.

Reference graph

Works this paper leans on

30 extracted references · 30 canonical work pages · cited by 1 Pith paper · 1 internal anchor

  1. [1]

    Aitzhanova, L

    B. Aitzhanova, L. Makar-Limanov, and U. Umirbaev,Automorphisms of Veronese subalgebras of polyno- mial algebras and free Poisson algebras, J. Algebra Appl.24(2025), no. 3, Article ID 2550095, 15 pp

    work page 2025

  2. [2]

    Aitzhanova and U

    B. Aitzhanova and U. Umirbaev,Automorphisms of affine Veronese surfaces, Int. J. Algebra Comput.33 (2023), no. 2, 351–367

    work page 2023

  3. [3]

    Arzhantsev, O

    I. Arzhantsev, O. Makedonskyi, and A. P. Petravchuk,Finite-dimensional subalgebras in polynomial Lie algebras of rank one, Ukrainian Math. J.63(2011), no. 5, 827–832

    work page 2011

  4. [4]

    Arzhantsev and M

    I. Arzhantsev and M. Zaidenberg,Acyclic curves and group actions on affine toric surfaces, In:Affine Al- gebraic Geometry, Proceedings of the Conference dedicated to Prof. Miyanishi’s 70th birthday. Kayo Masuda, Hideo Kojima, Takashi Kishimoto (eds.), 1–41. World Scientific Publishing Co. 2013

    work page 2013

  5. [5]

    Arzhantsev and M

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

    work page arXiv 2025

  6. [6]

    V. V. Bavula,The groups of automorphisms of the Lie algebras of polynomial vector fields with zero or constant divergence, Comm. Algebra45(2017), no. 3, 1114–1133

    work page 2017

  7. [7]

    Berest, A

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

    work page 2016

  8. [8]

    Billig and V

    Y. Billig and V. Futorny,Lie algebras of vector fields on smooth affine varieties, Comm. Algebra46 (2018), 3413–3429

    work page 2018

  9. [9]

    Cantat, H

    S. Cantat, H. Kraft, A. Regeta, and I. van Santen(a paper under preparation)

    work page

  10. [10]

    Cantat, A

    S. Cantat, A. Regeta, and J. Xie,Families of commuting automorphisms, and a characterization of the affine space, Am. J. Math.145(2023), no. 2, 413–434

    work page 2023

  11. [11]

    Fulton,Introduction to toric varieties

    W. Fulton,Introduction to toric varieties. Ann. Math. Studies131, Princeton University Press, Prince- ton, NJ, 1993

    work page 1993

  12. [12]

    On the geometry of the automorphism groups of affine varieties

    J.-P. Furter and H. Kraft,On the geometry of automorphism groups of affine varieties, arXiv:1809.04175 (2018), 179 pages

    work page internal anchor Pith review Pith/arXiv arXiv 2018

  13. [13]

    Furter and J.-M

    J.-P. Furter and J.-M. Poloni,On the maximality of the triangular subgroup, Ann. Inst. Fourier68(2018), no. 1, 393–421

    work page 2018

  14. [14]

    Hauser and G

    H. Hauser and G. M¨ uller,On the Lie algebraΘ(X)of vector fields on a singularity, J. Math. Sci. Univ. Tokyo1(1994), 239–250

    work page 1994

  15. [15]

    J. E. Humphreys,Algebraic Lie algebras over fields of prime characterstic, Ph.D. Thesis, Yale University, New Haven, 1966

    work page 1966

  16. [16]

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

    work page 1972

  17. [17]

    D. A. Jordan,On the ideals of a Lie algebra of derivations, J. London Math. Soc. (2)33(1986), 33–39

    work page 1986

  18. [18]

    Kovalenko, A

    S. Kovalenko, A. Perepechko, and M. Zaidenberg,On automorphism groups of affine surfaces, in:Alge- braic varieties and automorphism groups, 207–286. Adv. Stud. Pure Math.75. Math. Soc. Japan, Tokyo, 2017

    work page 2017

  19. [19]

    Kraft,Automorphism groups of varieties - a survey, Mathematisches Forschungsinstitut Oberwolfach, Report No

    H. Kraft,Automorphism groups of varieties - a survey, Mathematisches Forschungsinstitut Oberwolfach, Report No. 20/2025 (2025), 22–31. DOI: 10.4171/OWR/2025/20

    work page doi:10.4171/owr/2025/20 2025

  20. [20]

    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

    work page 2024

  21. [21]

    Kraft and M

    H. Kraft and M. Zaidenberg,Automorphism groups of affine varieties and their Lie algebras, Contemp. Math. (to appear), arxiv:2403.12489 (2024)

    work page arXiv 2024

  22. [22]

    Makedonskyi and A

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

    work page 2014

  23. [23]

    Martelo and J

    M. Martelo and J. Rib´ on,Derived length of solvable groups of local diffeomorphisms, Math. Ann.358 (2014), no. 3-4, 701–728

    work page 2014

  24. [24]

    A. L. Onishchik, E. B. Vinberg,Lie Groups and Algebraic Groups. Springer-Verlag, Berlin, Heidelberg, New York, London, Paris, Tokyo, Hong Kong, 1990

    work page 1990

  25. [25]

    Perepechko,Structure of connected nested automorphism groups, arXiv:2312.08359 (2023)

    A. Perepechko,Structure of connected nested automorphism groups, arXiv:2312.08359 (2023)

    work page arXiv 2023

  26. [26]

    V. L. Popov,Quasiomogeneous affine algebraic varieties of the groupSL(2), Math. USSR Izvestija 7(1973), no. 4, 793–831. BOREL SUBALGEBRAS 25

    work page 1973

  27. [27]

    Regeta, Ch

    A. Regeta, Ch. Urech, and I. van Santen,Group theoretical characterizations of rationality, Invent. Math. 241(2025), 681–716

    work page 2025

  28. [28]

    I. R. Shafarevich,On some infinite-dimensional groups. II, Izv. Akad. Nauk SSSR Ser. Mat.45(1981), no. 1, 214–226;Letter to the Editor, Izvestiya: Mathematics59(1995), no. 3, 663

    work page 1981

  29. [29]

    Siebert,Lie-Algebren von Derivationen und affine algebraische Geometrie ¨ uber K¨ orpern der Charak- teristik0, Dissertation, Berlin, 1992

    Th. Siebert,Lie-Algebren von Derivationen und affine algebraische Geometrie ¨ uber K¨ orpern der Charak- teristik0, Dissertation, Berlin, 1992

    work page 1992

  30. [30]

    Y. F. Yao, H. Chang,Borel subalgebras of the Witt algebra, Acta. Math. Sin. Ser.31(2015), 1348–1358. F aculty of Computer Science, HSE University, Pokrovsky Boulevard 11, Moscow, 109028 Russia Email address:arjantsev@hse.ru Univ. Grenoble Alpes, CNRS, IF, 38000 Grenoble, France Email address:mikhail.zaidenberg@univ-grenoble-alpes.fr

    work page 2015