Tangent Lie Algebras of Automorphism Groups of Free Algebras

Basic Information

• Paper ID: 2507.20486
• Title: Tangent Lie Algebras of Automorphism Groups of Free Algebras
• Authors: Ivan Shestakov (Universidade de São Paulo), Ualbai Umirbaev (Wayne State University & Institute of Mathematics and Mathematical Modeling, Almaty)
• Classification: math.RA (Rings and Algebras), math.GR (Group Theory)
• Publication Date: October 15, 2025 (arXiv v2)
• Paper Link: https://arxiv.org/abs/2507.20486

Abstract

This paper investigates analogues of the Andreadakis-Johnson filtration for automorphism groups of free algebras and introduces the concept of tangent Lie algebras, defined as subalgebras of derivation Lie algebras. The research demonstrates that for many classical algebraic varieties, tangent Lie algebras are contained within derivation Lie algebras with constant divergence. The article introduces the concepts of approximately tame and absolutely wild automorphisms of free algebras in arbitrary algebraic varieties, and employs tangent Lie algebras to study their properties. The investigation reveals that nearly all known wild automorphisms of free algebras are absolutely wild, with the notable exceptions of Nagata and Anick automorphisms. The paper proves that the Bergman automorphism of the second-order free matrix algebra is absolutely wild, and further establishes that any polynilpotent Lie algebra variety, except abelian and metabelian varieties, possesses free algebras with absolutely wild automorphisms.

Research Background and Motivation

Problem Background

1. Complexity of Automorphism Groups: The structure of automorphism groups of free groups and free algebras is extremely complex, particularly the study of IA automorphism groups (automorphisms inducing the identity on abelianization) remains a central problem in algebra.
2. Filtration Theory: The Andreadakis-Johnson filtration is an important tool for studying automorphism groups of free groups, defined through descending filtrations via quotients of the lower central series, whose graded quotients possess natural Lie ring structures.
3. Tame and Wild Automorphisms: Distinguishing between tame and wild automorphisms is a fundamental problem in algebraic geometry and algebra. Tame automorphisms are generated by elementary automorphisms, while wild automorphisms cannot be expressed as compositions of elementary automorphisms.

Research Motivation

1. Theoretical Unification: Generalizing the Andreadakis-Johnson filtration theory from group theory to free algebras of general algebraic varieties, establishing a unified theoretical framework.
2. Classification Problems: Systematically studying and classifying the tameness and wildness of automorphisms in different algebraic varieties, particularly introducing the new concept of "absolute wildness."
3. Algorithmic Detection: Developing algorithmic methods for detecting absolutely wild automorphisms, providing practical tools for concrete problems.

Core Contributions

1. Introduction of Tangent Lie Algebra Concept: Defines tangent Lie algebras T(H) for subgroups of automorphism groups containing affine or linear automorphism groups, as graded subalgebras of derivation Lie algebras.
2. Establishment of Divergence Theory: Proves that for several important algebraic varieties (Nielsen-Schreier varieties, associative algebra varieties, commutative associative algebra varieties, metabelian Lie algebra varieties), tangent Lie algebras are contained within derivation Lie algebras with constant divergence.
3. Definition of New Automorphism Classification: Introduces the concepts of "approximately tame" and "absolutely wild" automorphisms, providing a finer classification system than traditional tame/wild classification.
4. Proof of Concrete Results:
   • Proves the Bergman automorphism is absolutely wild
   • Proves that polynilpotent Lie algebra varieties, except abelian and metabelian varieties, possess absolutely wild automorphisms
   • Reformulates results of Bryant-Drensky and Kofinas-Papistas
5. Provision of Detection Methods: Develops algorithms for detecting absolutely wild automorphisms based on divergence calculations.

Detailed Methodology

Basic Definitions and Notation

Let M be an algebraic variety over a field K of characteristic zero, and A = K_M⟨x₁,...,xₙ⟩ be the free algebra in M. Consider the natural grading:

A = A₀ ⊕ A₁ ⊕ ... ⊕ Aₖ ⊕ ...

Construction of Tangent Lie Algebras

1. IA Filtration: Define IA(k) = {ϕ ∈ Aut(A) : ϕ induces the identity transformation on A/(Aₖ₊₁ + Aₖ₊₂ + ...)}
2. Tangent Map: For ϕ ∈ IA(i)\IA(i+1), define the tangent T(ϕ) = f₁∂₁ + ... + fₙ∂ₙ, where ϕ = (x₁ + f₁ + F₁, ..., xₙ + fₙ + Fₙ)
3. Vector Space Structure:

   Vᵢ(H) = {0} ∪ {T(ϕ) : ϕ ∈ Hᵢ\Hᵢ₊₁}
   

4. Tangent Lie Algebra:

   T(H) = L₋₁ ⊕ L₀ ⊕ V₁ ⊕ V₂ ⊕ ... ⊕ Vₖ ⊕ ...
   

Divergence Theory

1. Universal Derivation: Define Fox derivatives ∂a/∂xᵢ using the universal enveloping algebra U(A)
2. Jacobian Matrix: J(ϕ) = ∂ⱼ(fᵢ)₁≤ᵢ,ⱼ≤ₙ
3. Divergence Definition:

   div(D) = Tr(J(D)) in the image of U/([U,U] + R)
   

   
   where R = Rad(U) is the Jacobson radical
4. Key Property: div(D₁,D₂) = D₁*(div(D₂)) - D₂*(div(D₁))

Technical Innovations

1. Generalization of Filtrations: Successfully extends the Andreadakis-Johnson filtration from group theory to free algebras of arbitrary algebraic varieties.
2. Modified Divergence Definition: Incorporates the Jacobson radical in the divergence definition, ensuring that tangent Lie algebras are contained within derivation Lie algebras with constant divergence.
3. Density Characterization: Characterizes the density of subgroups in the power series topology through equivalence of tangent Lie algebras.

Main Theorems and Results

Theorem 1 (Lie Algebra Structure of Tangent Lie Algebras)

T(H) is a graded Lie subalgebra of the derivation Lie algebra Der(A).

Theorem 2 (Divergence Properties)

For Nielsen-Schreier varieties, associative algebra varieties, commutative associative algebra varieties, and metabelian Lie algebra varieties, if H is a subgroup of Aut(A) containing Grₙ, then T(H) ⊆ S̃Der(A) (derivation Lie algebra with constant divergence).

Theorem 3 (Characterization of Approximate Tameness)

If T(Aut(A)) modulo L₋₁ + L₀ is generated by derivations of the form f∂₁ (where f ∈ K_M⟨x₂,...,xₙ⟩ is a homogeneous element of degree ≥ 2), then every automorphism of A is approximately tame.

Theorem 5 (Absolute Wildness Detection)

Let ε ∈ IE_i(A)\IE_{i+1}(A) induce an automorphism ϕ of B = A/I. If div(T(ε)) ≠ 0 and I contains no elements of degree ≤ i+1, then ϕ is absolutely wild.

Theorem 6 (Absolute Wildness in Polynilpotent Lie Algebras)

Except for abelian and metabelian varieties, any polynilpotent Lie algebra variety M possesses free algebras with absolutely wild automorphisms.

Concrete Application Examples

Reformulation of Bryant-Drensky Results

For free metabelian Lie algebras Mₙ:

• When n ≥ 4, S̃Der(Mₙ) modulo L₀ is generated by the derivation y₂,y₃∂₁
• When n = 3, additional derivations ad(y₁,y₂) are required

Absolute Wildness of Bergman Automorphism

Proves that the Bergman automorphism β = (x₁ + x₁,x₂², x₂) induces an absolutely wild automorphism of the free algebra in the variety generated by M₂(K).

Related Work

Historical Development

1. Jung-van der Kulk Theorem: All automorphisms of the two-variable polynomial algebra are tame
2. Shafarevich-Anick Result: All automorphisms of multivariate polynomial algebras are approximately tame
3. Cohn Theorem: All automorphisms of finitely generated free Lie algebras are tame
4. Nielsen-Schreier Varieties: Free algebras in these varieties have only tame automorphisms

Examples of Wild Automorphisms

1. Nagata Automorphism: A wild but approximately tame automorphism of Kx,y,z
2. Anick Automorphism: A wild automorphism of K⟨x,y,z⟩ (tameness unknown)
3. Exponential Automorphisms: Wild automorphisms of free metabelian Lie algebras

Conclusions and Discussion

Main Conclusions

1. Tangent Lie algebras provide powerful tools for studying automorphism groups, unifying theories across multiple algebraic varieties
2. The divergence concept plays a key role in distinguishing tame and absolutely wild automorphisms
3. With few exceptions, nearly all known wild automorphisms are absolutely wild

Open Problems

1. Problem 1: Is every automorphism of the free associative algebra and free Poisson algebra approximately tame?
2. Problem 2: Is T(Aut(A)) always a subalgebra of S̃Der(A)?

Future Directions

1. Extending the theory to more general algebraic varieties
2. Developing more efficient algorithms for absolute wildness detection
3. Investigating the generator structure of tangent Lie algebras

In-Depth Evaluation

Strengths

1. Theoretical Innovation: Successfully generalizes classical group-theoretic theory to algebraic varieties, establishing a new theoretical framework
2. Technical Depth: Skillfully combines techniques from Lie algebras, derivation theory, and universal enveloping algebras
3. Practical Value: Provides concrete algorithms for detecting absolutely wild automorphisms
4. Rich Results: Features both profound theoretical results and concrete applications

Limitations

1. Scope of Applicability: Main results are restricted to characteristic zero fields and specific algebraic varieties
2. Computational Complexity: Divergence calculations may face complexity issues in practical applications
3. Open Problems: Several important open problems remain unresolved

Impact

1. Theoretical Contribution: Provides new research tools and perspectives for automorphism group theory
2. Application Prospects: Potential applications in algebraic geometry and combinatorial algebra
3. Methodological Value: Demonstrates how to transform abstract theory into concrete algorithms

Applicable Scenarios

1. Studying automorphism group structures of free algebras in specific algebraic varieties
2. Classifying and detecting wild automorphisms
3. Rational mapping research in algebraic geometry
4. Symbolic computation problems in computational algebra

References

The paper cites 78 related references, covering classical and recent results in automorphism group theory, Lie algebras, algebraic geometry, and other fields, providing a solid theoretical foundation for the research.