Rigidity for Lie algebras of locally finite derivations

Abstract

Let A be a finitely generated commutative algebra over a field 𝕂 of characteristic zero. We prove that every finitely generated Lie subalgebra of Der_𝕂(A) whose elements are locally finite on A is finite-dimensional. Consequently, for a Lie subalgebra generated by finitely many locally finite derivations, the following are equivalent: it is finite-dimensional, it acts locally finitely on A, and all its elements are locally finite. A key ingredient is a second theorem: every Lie subalgebra of Der_𝕂(A) whose elements are locally nilpotent is solvable; when A is reduced, its derived length is at most dim A, and this bound is sharp. In general, the (dim A)-th term of its derived series is nilpotent, of class bounded in terms of A only. We also prove that every solvable Lie subalgebra of Der_𝕂(A) generated by finitely many locally finite derivations is finite-dimensional and acts locally finitely on A. For an affine variety X over an algebraically closed field, we deduce that a subgroup of Aut(X) generated by finitely many connected algebraic subgroups is algebraic if and only if every element of the Lie algebra generated by their tangent algebras is locally finite. For two unipotent one-parameter subgroups, this gives an answer to a 2005 problem of Popov. Our results also characterize polynomial control systems admitting an exact finite-dimensional bilinear realization by polynomial observables containing the state coordinates. The proof uses derivations vanishing to second order along a suitable finite subscheme, on which local finiteness forces local nilpotence.

Lie Algebras of Locally Finite Derivations over Fields of Positive Characteristic
Oksana Bezushchak, Anatoliy Petravchuk
arXiv11 Oct 2026PreprintCC BY 4.0Full textAlgebra & number theoryarXiv
Locally finite solvable Lie algebras of derivations
M Zaidenberg
HAL29 Oct 2026PreprintCC BY 4.0Full textGeneral mathematicsHAL
On the Isotropy Groups of Locally Finite Derivations of Laurent Polynomial Algebras
Anderson Porto, Marcelo Veloso
arXiv8 Oct 2026PreprintCC BY 4.0Full textAlgebra & number theoryarXiv
Coarse rigidity in von Neumann algebras via derivations
Manish Kumar, Melchior Wirth
arXiv19 Oct 2026PreprintCC BY-SA 4.0Full textAnalysis & PDEsarXiv
On Locally Finite Derivations in Ore Extensions
R. Baltazar, A. Bianchi, M. Veloso +1
arXiv28 Aug 2026PreprintarXiv licenceFull textAlgebra & number theoryarXiv

Cite

BibTeX RIS

BibTeX

@misc{belabbas2026rigidity,
  title = {{Rigidity for Lie algebras of locally finite derivations}},
  author = {Mohamed Ali Belabbas},
  howpublished = {arXiv},
  year = {2026},
  month = oct,
  doi = {10.48550/arxiv.2608.12567},
  eprint = {2608.12567},
  archivePrefix = {arXiv},
  url = {https://arxiv.org/abs/2608.12567},
}

RIS

TY  - UNPB
TI  - Rigidity for Lie algebras of locally finite derivations
AU  - Mohamed Ali Belabbas
PY  - 2026
DA  - 2026/10/05
PB  - arXiv
DO  - 10.48550/arxiv.2608.12567
UR  - https://arxiv.org/abs/2608.12567
AB  - Let A be a finitely generated commutative algebra over a field 𝕂 of characteristic zero. We prove that every finitely generated Lie subalgebra of Der_𝕂(A) whose elements are locally finite on A is finite-dimensional. Consequently, for a Lie subalgebra generated by finitely many locally finite derivations, the following are equivalent: it is finite-dimensional, it acts locally finitely on A, and all its elements are locally finite. A key ingredient is a second theorem: every Lie subalgebra of Der_𝕂(A) whose elements are locally nilpotent is solvable; when A is reduced, its derived length is at most dim A, and this bound is sharp. In general, the (dim A)-th term of its derived series is nilpotent, of class bounded in terms of A only. We also prove that every solvable Lie subalgebra of Der_𝕂(A) generated by finitely many locally finite derivations is finite-dimensional and acts locally finitely on A. For an affine variety X over an algebraically closed field, we deduce that a subgroup of Aut(X) generated by finitely many connected algebraic subgroups is algebraic if and only if every element of the Lie algebra generated by their tangent algebras is locally finite. For two unipotent one-parameter subgroups, this gives an answer to a 2005 problem of Popov. Our results also characterize polynomial control systems admitting an exact finite-dimensional bilinear realization by polynomial observables containing the state coordinates. The proof uses derivations vanishing to second order along a suitable finite subscheme, on which local finiteness forces local nilpotence.
ER  -

Abstract

Related

Cite