The isotropy group of a derivation on a Danielewski-type algebra

Basic Information

• Paper ID: 2510.07059
• Title: The isotropy group of a derivation on a Danielewski-type algebra
• Authors: Abdessamad Ahouita, Rene Baltazar, M'hammed El Kahoui, Sergey Gaifullin
• Classification: math.RA (Ring Theory), math.AG (Algebraic Geometry)
• Publication Date: October 11, 2025 (arXiv v2)
• Paper Link: https://arxiv.org/abs/2510.07059

Abstract

This paper investigates $K$-algebras of the form $A_{c,q} = K[x,y,z]/(c(x)z - q(x,y))$ over an algebraically closed field $K$ of characteristic zero, where $c(x) \in K[x]$ is a polynomial of degree at least 2, and $q(x,y) \in K[x,y]$ is a quasi-monic polynomial in $y$ of degree at least 2. The authors provide a complete abstract group description of the $K$-automorphism group of $A_{c,q}$ and prove that for each non-locally-nilpotent $K$-derivation $\delta$ of $A_{c,q}$, its isotropy group $\text{Aut}_K(A_{c,q}, \delta)$ is a linear algebraic group of dimension at most 3.

Research Background and Motivation

1. Problem Background: This paper studies the structure of isotropy groups of derivations on Danielewski-type algebras. The isotropy group consists of automorphisms that commute with a given derivation, which is a fundamental concept in algebraic geometry and commutative algebra.
2. Research Significance:
   • The classification problem of derivations is one of the core problems in algebraic geometry
   • Understanding the structure of isotropy groups helps in studying geometric properties of affine algebraic varieties
   • Danielewski surfaces, as an important class of affine surfaces, have significant theoretical value
3. Limitations of Existing Work:
   • Rentschler completely classified locally nilpotent derivations on $K^{[2]}$
   • Locally nilpotent derivations on three-dimensional spaces and Danielewski surfaces have been studied
   • However, research on isotropy group structures for non-locally-nilpotent derivations is limited
4. Research Motivation: To verify whether the results obtained by Baltazar-Pan on $K^{[2]}$ generalize to Danielewski-type algebras, namely that the isotropy group is an algebraic group if and only if the derivation is non-locally-nilpotent.

Core Contributions

1. Complete Description of Automorphism Group Structure: Provides a complete description of the $K$-automorphism group $\text{Aut}_K(A_{c,q})$ of the Danielewski algebra $A_{c,q}$ as an abstract group (Theorem 7)
2. Dimension Bound for Isotropy Groups: Proves that the isotropy group of a non-locally-nilpotent derivation is a linear algebraic group of dimension at most 3 (Theorem 8)
3. Structural Classification of Isotropy Groups: Classifies isotropy groups into two cases:
   • Closed subgroups isomorphic to $G_{c,q}$
   • Semidirect products of $G_a$ with closed subgroups of $G_{c,q}$
4. Constructive Proof: Provides concrete examples of three-dimensional isotropy groups, showing that the dimension bound is tight

Detailed Methodology

Problem Definition

Study the isotropy group of a derivation $\delta$ on the Danielewski-type algebra $A_{c,q} = K[x,y,z]/(c(x)z - q(x,y))$: $\text{Aut}_K(A_{c,q}, \delta) = \{\sigma \in \text{Aut}_K(A_{c,q}) : \sigma\delta = \delta\sigma\}$

Core Mathematical Structure

1. Standard Derivation

Each Danielewski algebra $A_{c,q}$ admits a standard locally nilpotent derivation $\xi_{c,q}$: $\xi_{c,q}(\bar{x}) = 0, \quad \xi_{c,q}(\bar{y}) = c(\bar{x}), \quad \xi_{c,q}(\bar{z}) = \partial_y q(\bar{x}, \bar{y})$

2. Parametrization of Automorphism Group

Through Lemmas 5 and 6, a canonical homomorphism is established: $\psi: \text{Aut}_K(A_{c,q}) \to K^* \times K^*$$\sigma \mapsto (e_\sigma, u_\sigma)$ where $\sigma(\bar{x}) = e_\sigma\bar{x} + a_\sigma$, $\sigma(\bar{y}) = u_\sigma\bar{y} + h_\sigma(\bar{x})$

3. Algebraic Group $G_{c,q}$

Definition of the key algebraic subgroup: $G_{c,q} = \{(e,u) \in (K^*)^2 : c(ex) = e^n c(x), q(ex,uy) = u^d q(x,y)\}$

Technical Innovations

1. Ind-group Structure: Utilizes Shafarevich's ind-group theory to handle infinite-dimensional automorphism groups
2. Decomposition Theorem: Proves the semidirect product decomposition of the automorphism group: $1 \to U_K(A_{c,q}) \to \text{Aut}_K(A_{c,q}) \to G_{c,q} \to 1$
3. Algebraicity of Isotropy Groups: Through the non-locally-nilpotent property of derivations, proves that isotropy groups are contained in finite-dimensional algebraic groups
4. Constructive Method: For the semidirect product case, constructs explicit group actions and sections

Experimental Setup

Theoretical Verification Methods

This paper is pure mathematical research, verified primarily through:

1. Concrete Example Construction: Example 12 demonstrates an isotropy group of dimension 3
2. Classification Completeness: Proves completeness of classification through exhaustive enumeration of all possible cases
3. Consistency Checks: Verifies that results are consistent with known low-dimensional cases

Key Lemma Verification

• Lemma 5: Verifies preservation of key ideals under automorphisms
• Lemma 6: Proves the group homomorphism property of the canonical map
• Lemmas 9-11: Establish algebraic properties of isotropy groups

Experimental Results

Main Theorems

Theorem 7 (Automorphism Group Structure): $\text{Aut}_K(A_{c,q}) = U_K(A_{c,q}) \rtimes \phi(G_{c,q})$ where $U_K(A_{c,q})$ is the unipotent subgroup and $\phi: G_{c,q} \to \text{Aut}_K(A_{c,q})$ is the canonical embedding.

Theorem 8 (Isotropy Group Structure): For a non-locally-nilpotent derivation $\delta$, the isotropy group $\text{Aut}_K(A_{c,q}, \delta)$ is a closed algebraic subgroup of dimension at most 3, falling into two cases:

1. Closed subgroups isomorphic to $G_{c,q}$ (dimension ≤ 2)
2. Semidirect products of $G_a$ with closed subgroups of $G_{c,q}$ (dimension ≤ 3)

Concrete Example Analysis

Example 12: Consider the case $c(x) = x^n$, $q(x,y) = y^d$, with derivation $\Delta(x) = x, \quad \Delta(y) = ay + bx^n, \quad \Delta(z) = (ad-n)z + dby^{d-1}$ where $a > n$; in this case, the isotropy group indeed achieves dimension 3.

Tightness of Dimension Bound

Example 12 demonstrates that the dimension bound of 3 is tight, i.e., there exist isotropy groups that are exactly 3-dimensional.

Related Work

Historical Development

1. Rentschler's Theorem: Completely classified locally nilpotent derivations on $K^{[2]}$
2. Three-Dimensional Generalization: Finston-Walcher and Stampfli studied the case of $K^{[3]}$
3. Danielewski Surfaces: Previous work focused mainly on locally nilpotent derivations

Positioning of This Paper's Contribution

• Generalization: Extends from polynomial rings to Danielewski-type algebras
• Completeness: Addresses the case of non-locally-nilpotent derivations
• Structural Clarity: Provides complete group structure descriptions

Conclusions and Discussion

Main Conclusions

1. The automorphism group of Danielewski-type algebras has an explicit semidirect product structure
2. The isotropy group of a non-locally-nilpotent derivation is a finite-dimensional algebraic group
3. The isotropy group dimension has a clear upper bound (3 dimensions), and this bound is tight

Limitations

1. Characteristic Restriction: Only considers algebraically closed fields of characteristic zero
2. Algebraic Type: Limited to Danielewski-type algebras of specific forms
3. Computational Complexity: Computing isotropy groups for specific derivations may remain complex

Future Directions

1. Generalization to positive characteristic
2. Study of isotropy groups of derivations on more general affine algebras
3. Exploration of concrete computational algorithms for isotropy groups

In-Depth Evaluation

Strengths

1. Theoretical Completeness: Provides complete classification theorems covering all cases
2. Methodological Innovation: Cleverly employs ind-group theory to handle infinite-dimensional structures
3. Result Precision: Not only establishes existence but provides precise dimension bounds
4. Constructive Proof: Provides concrete examples and construction methods

Weaknesses

1. Application Scope: Results are relatively specialized with limited applicability
2. Computational Feasibility: Computing isotropy groups for concrete problems may still be difficult
3. Geometric Intuition: Lacks more geometric interpretation

Impact

1. Theoretical Contribution: Provides new tools for derivation theory and affine algebraic geometry
2. Methodological Value: The ind-group method may apply to other similar problems
3. Completeness Value: Fills the gap in research on non-locally-nilpotent derivations

Applicable Scenarios

1. Study of automorphism groups in affine algebraic geometry
2. Further development of derivation theory
3. Investigation of geometric properties of Danielewski surfaces

References

The paper cites 21 related references, primarily including:

• Rentschler's classical work on locally nilpotent derivations
• van den Essen's monograph on polynomial automorphisms
• Freudenburg's textbook on locally nilpotent derivation theory
• Recent research on Danielewski surfaces and isotropy groups of derivations

Overall Assessment: This is a high-quality pure mathematics paper that makes significant contributions at the intersection of derivation theory and affine algebraic geometry. The paper employs rigorous methods, presents complete results, and establishes a solid foundation for further research in related fields.