🔢 mathematics

Locally finite solvable Lie algebras of derivations

This paper establishes criteria for the local finiteness of solvable Lie subalgebras of derivations generated by locally finite subalgebras on an affine variety and confirms that such a subalgebra is indeed locally finite when the variety is the affine plane.

Original authors: Mikhail Zaidenberg

Published 2026-04-06

📖 5 min read🧠 Deep dive

CC BY 4.0

Original authors: Mikhail Zaidenberg

Original paper licensed under CC BY 4.0 (http://creativecommons.org/licenses/by/4.0/). ✨ This is an AI-generated explanation of the paper below. It is not written or endorsed by the authors. For technical accuracy, refer to the original paper. Read full disclaimer

Imagine you are the mayor of a bustling, infinite city called Affine Space. This city is made of buildings (polynomials) and the rules that govern how they can move, stretch, or twist (derivations).

In this city, there are two types of "movement rules" (mathematical operators):

The Locally Finite Rules: These are like gentle, rhythmic dances. If you apply them to a building, it might wiggle, but it stays within a small, manageable neighborhood. It never spirals out of control into infinity.
The Wild Rules: These are chaotic forces that can send a building flying off into the infinite distance, never to return.

The Big Question
The paper asks a very specific question about how these rules interact. Suppose you have a few different "gentle dance" groups (let's call them Group A and Group B). Each group, on its own, is well-behaved and keeps everything in its neighborhood.

If you mix these groups together to form a new, larger organization (a Solvable Lie Algebra), does the new organization stay well-behaved? Or does the combination create a monster that sends buildings flying into the void?

The author, Mikhail Zaidenberg, is trying to prove that if you mix well-behaved groups, the result is still well-behaved, at least in certain types of cities.

The Main Characters and Tools

To solve this, the author uses a few clever metaphors and tools:

1. The "J-Saturated" Filter
Imagine you have a messy pile of rules. Some are pure chaos, some are pure order. The author introduces a "filter" (called J-saturated). This filter separates the rules into two buckets:

The Nilpotent Bucket: Rules that eventually stop doing anything after you apply them enough times (like a machine that runs out of fuel).
The Semisimple Bucket: Rules that are like perfect, steady rotations (like a spinning top that never wobbles).
The author proves that if you understand how these two buckets interact, you understand the whole problem.

2. The "Triangular" City (The Affine Plane)
The paper focuses heavily on a specific type of city: the Affine Plane ( $A^2$ ), which is just a flat, 2D grid (like a sheet of graph paper).
In this 2D world, the author discovers a secret: Every well-behaved group of rules can be "triangulated."

What does "Triangulated" mean? Imagine you have a messy pile of furniture in a room. "Triangulating" it means rearranging everything so that all the heavy sofas are in the corner, the chairs are in the middle, and the lamps are on the wall. Everything is neatly organized in a hierarchy.
In math terms, this means the rules can be written in a "triangular" form where they don't mess with each other in complicated ways. If you can organize the rules into a triangle, you know they will never go crazy.

The Plot of the Paper

Part 1: The General City (Any Dimension)
First, the author looks at cities of any size (3D, 4D, or infinite dimensions).

The Problem: In higher dimensions (3D and up), things get messy. There are "wild" rules (like the famous Nagata derivation) that are gentle on their own but refuse to be organized into a triangle. They are like a ghost that can pass through walls.
The Result: The author establishes a rule: If the "inner conflict" (the derived ideal) of your group of rules is "nilpotent" (meaning the fighting eventually stops), then the whole group is safe and finite.

Part 2: The Special Case (The 2D Plane)
Then, the author zooms in on the 2D plane ( $A^2$ ). This is the main event.

The Strategy: The author breaks the problem down into two scenarios:
1. The "Irrational" Spin: Imagine a rule that spins the city at an angle that never repeats (like spinning 1.5707... degrees). The author proves that if your group has this kind of "weird spin," the rules are forced to line up neatly. They can't be chaotic because the "weird spin" acts like a strict bouncer, only letting specific types of rules in.
2. The "Rational" Spin: Imagine a rule that spins at a nice, repeating angle (like 90 degrees). Here, the author uses a "Newton Polygon" (a fancy shape drawn on a graph to map out the rules).
  - He shows that if you have two different "gentle" rules that try to fight each other, they create a chain reaction that would eventually make the group "unsolvable" (infinite and chaotic).
  - Since we know the group is solvable (it's a "nice" group), this chain reaction can't happen. Therefore, the rules must be compatible and well-organized.

The Grand Conclusion
The paper concludes with a happy ending for the 2D plane:
Yes! If you take a bunch of well-behaved, gentle rules in a 2D city and mix them together, the result is always well-behaved. You can always organize them into a neat triangle. They will never create a monster.

Why Does This Matter?

In the world of mathematics, knowing that a system is "locally finite" is like knowing a machine is safe to operate. It means you can predict its behavior, calculate its limits, and understand its structure.

Zaidenberg's paper is like a safety inspector for the mathematical city of the 2D plane. He proves that as long as you start with safe, gentle components, you can build complex structures without fear of them collapsing into chaos. It's a reassuring proof that in the 2D world, order always wins over chaos.

1. Problem Statement

The paper addresses a fundamental question regarding the structure of Lie algebras of derivations on affine varieties, specifically concerning the property of local finiteness.

Context: Let $X$ be an affine variety over an algebraically closed field $k$ of characteristic zero. Let $\text{Lie}(\text{Aut}(X))$ denote the Lie algebra of derivations associated with the automorphism group of $X$ .
Definition: A Lie subalgebra $\mathfrak{h} \subset \text{Lie}(\text{Aut}(X))$ is locally finite if every element $f \in \mathcal{O}(X)$ (the coordinate ring) belongs to a finite-dimensional subspace invariant under $\mathfrak{h}$ .
The Core Question (Question 1.1): If $\mathfrak{h}$ is a solvable Lie subalgebra generated by a finite collection of locally finite Lie subalgebras $\mathfrak{h}_1, \dots, \mathfrak{h}_k$ , is $\mathfrak{h}$ itself locally finite?
Motivation: While it is known that a locally finite Lie subalgebra must be finite-dimensional, the converse or the closure of this property under generation by solvable subalgebras was an open problem. The authors aim to determine if the solvability of the generated algebra preserves local finiteness.

2. Methodology

The paper employs a combination of algebraic geometry, Lie theory, and combinatorial methods involving Newton polygons. The approach is divided into two main parts:

A. General Affine Varieties (Section 2)

The authors perform a series of reductions to simplify the problem:

Induction on Generators: Reducing the problem to the case where $\mathfrak{h}$ is generated by two locally finite subalgebras, $\mathfrak{a}$ and $\mathfrak{b}$ .
Dimension Reduction: Reducing the dimension of one generator to 1 (making it abelian).
Jordan Decomposition: Utilizing the additive Jordan decomposition ( $\partial = \partial_s + \partial_n$ ) to separate semisimple and locally nilpotent parts. They introduce the concept of J-saturated subalgebras (closed under taking semisimple and nilpotent parts).
Algebraicity Criteria: They establish that for solvable algebras, local finiteness is equivalent to finite-dimensionality under specific conditions (Proposition 2.12). Specifically, a solvable Lie algebra generated by locally finite subalgebras is finite-dimensional if and only if its derived ideal $[\mathfrak{h}, \mathfrak{h}]$ is nilpotent.

B. The Case of the Affine Plane $\mathbb{A}^2$ (Section 3)

For the specific case $X = \mathbb{A}^2$ , the authors utilize the rich structure of $\text{Lie}(\text{Aut}(\mathbb{A}^2))$ :

Bigrading: They utilize the bigrading of the Lie algebra of zero-divergence derivations, $\text{Vec}_0(\mathbb{A}^2)$ , using lattice points $(a,b) \in \mathbb{Z}^2$ .
Newton Polygons: They associate a Newton polygon $N(\partial)$ to derivations. A key result (Corollary 3.8) states that for locally finite derivations, the vertices of the Newton polygon must be specific lattice points (Demazure points or the origin).
Triangulability: They prove that any locally finite solvable subalgebra of $\text{Lie}(\text{Aut}(\mathbb{A}^2))$ is triangulable (conjugate to a subalgebra of upper or lower triangular derivations). This relies on the fact that Borel subgroups of $\text{Aut}(\mathbb{A}^2)$ are conjugate to the de Jonquières group.
Spectral Decomposition: They analyze the action of semisimple derivations (toral subalgebras) on the space of derivations, distinguishing between algebraic (rational eigenvalues) and non-algebraic (irrational eigenvalues) cases.

3. Key Contributions and Results

General Results (Arbitrary Affine Varieties)

Finite-Dimensionality Criterion (Proposition 1.3 / Prop 2.12): A solvable Lie subalgebra $\mathfrak{h}$ generated by locally finite subalgebras is finite-dimensional (and thus locally finite) if and only if its derived ideal $[\mathfrak{h}, \mathfrak{h}]$ is nilpotent.
Unipotent Case (Theorem 1.4): If the generators are all locally nilpotent derivations, the generated algebra $\mathfrak{h}$ is the Lie algebra of a unipotent algebraic subgroup, hence it is locally finite.

Specific Results for the Affine Plane $\mathbb{A}^2$

Main Theorem (Theorem 1.6 / Theorem 3.1): Yes, the answer to Question 1.1 is affirmative for $X = \mathbb{A}^2$ . Any solvable Lie subalgebra generated by locally finite derivations is itself locally finite.
Triangulability (Lemma 3.4): Every locally finite solvable subalgebra of $\text{Lie}(\text{Aut}(\mathbb{A}^2))$ $Lie (Aut (A^{2}))$ is triangulable and has a derived length of at most 3.
- Significance: This property fails for $n \geq 3$ (Remark 3.5), where non-triangulable examples exist (e.g., related to the Nagata derivation).
Handling Non-Algebraic Semisimple Derivations (Proposition 3.17): If the algebra contains a semisimple derivation with irrational eigenvalue ratios, the algebra is forced into a triangular form (upper or lower) due to constraints on the Newton polygon vertices, ensuring local finiteness.
Handling Algebraic Semisimple Derivations (Proposition 3.22): If all semisimple derivations are algebraic, the authors use the concept of "opportune pairs" (a semisimple derivation and a locally nilpotent derivation satisfying specific commutation relations) to show that the algebra either has rank 2 (handled by previous cases) or rank 1, where it embeds into a known finite-dimensional structure (like $\mathfrak{sl}_2$ ).

4. Significance and Implications

Resolution of an Open Problem: The paper provides a complete affirmative answer to Question 1.1 in the specific but important case of the affine plane.
Structural Insight: It establishes a strong link between the algebraic property of "local finiteness" and the geometric property of "triangulability" in dimension 2.
Dimensional Contrast: The work highlights a sharp distinction between dimension 2 and higher dimensions ( $n \geq 3$ ). While solvable locally finite algebras in $\mathbb{A}^2$ are always triangulable, this is not true in higher dimensions, suggesting that the structure of $\text{Aut}(\mathbb{A}^n)$ becomes significantly more complex as $n$ increases.
Methodological Tool: The use of Newton polygons and bigraded Lie algebra structures provides a powerful toolkit for analyzing derivations on toric varieties, which the author suggests could be extended to normal affine toric surfaces.

Conclusion

Mikhail Zaidenberg successfully proves that for the affine plane, the class of locally finite solvable Lie algebras is closed under finite generation. The proof relies on a sophisticated reduction strategy, the classification of Borel subgroups of the automorphism group, and a detailed analysis of the spectral properties of derivations via Newton polygons. This result deepens the understanding of the automorphism groups of affine varieties and the behavior of their associated Lie algebras.