---
title: Non-Homogeneous Automorphisms in Algebra and Geometry
url: https://www.emergentmind.com/topics/non-homogeneous-automorphisms
type: topic
---

# Non-Homogeneous Automorphisms in Algebra and Geometry

Non-homogeneous automorphisms are automorphisms of algebraic, geometric, or combinatorial structures that do not preserve a canonical or standard grading, symmetry, or orbit decomposition. The term “non-homogeneous” distinguishes such automorphisms from those arising from group actions with open dense or transitive orbits, or those compatible with a pre-imposed grading. Recent research has clarified both their construction in various contexts and their impact on the structure and classification of automorphism groups.

## 1. Definitions and General Framework

Non-homogeneous automorphisms arise in contexts where the automorphism group of a structure contains elements that do not align with any obvious grading or homogeneous action. This can happen in algebraic structures such as the Grassmann algebra [2508.15628], Riemann surface covers [2407.05442], affine Cremona groups [1209.3427], toric varieties [2208.11755], and affine surfaces [1311.3823][2210.12781].

**Key situations include:**
- Automorphisms not compatible with a group action yielding an open dense orbit (almost homogeneous varieties [1810.09115]).
- Automorphisms or gradings not derived from eigenvectors or “pure” elements (Grassmann algebra).
- Lifts of automorphisms in covering spaces that do not produce split exact sequences (Riemann surfaces).
- Polynomial or birational automorphisms in varieties generated by derivations or reversions not arising from group-theoretic or grading constraints.

**Canonical contrasting examples:**
- Homogeneous automorphisms: preserve grading or act transitively (e.g., affine Veronese surfaces [2210.12781], canonical grading in the Grassmann algebra).
- Non-homogeneous automorphisms: fail to split, mix orbit structures, or involve generators not mapping to ± themselves.

## 2. Construction in Algebraic and Geometric Settings

### 2.1 Affine and Toric Varieties

In affine toric geometry [2208.11755], automorphism groups are often constructed from normalized additive group actions (i.e., 𝔾ₐ-actions) that correspond to homogeneous locally nilpotent derivations. Extension to non-normal varieties shows that the group Aut(X) can be isomorphic to that of a normal variety, with non-homogeneous automorphisms not arising from the torus action but still tightly controlled via generalizations of Demazure roots:
$$
\partial_{α}(\chi^m) = \rho(m) \cdot \chi^{m+α}
$$
where α is a Demazure root and ρ is a distinguished ray.

### 2.2 Grassmann Algebra

The Grassmann algebra exhibits a rich supply of non-homogeneous automorphisms of order 2 [2508.15628]. Construction typically involves:
- Selecting an infinite subset I of indices, with a partition into $I^{+}, I^{-}$ for which $φ(e_i) = \pm e_i$.
- For $j \notin I$, setting $φ(e_j) = -e_j + d_j$ with $d_j$ constructed to meet the necessary anti-commutativity and order-2 conditions.

**Type 2, 3, and 4 automorphisms** introduce various correction terms and modifications:
- Type 3: Finitely many modified generators, e.g.,
$$
φ(e_n) = -e_n + \lambda_n (e_1 \cdots e_{k+t}) e_n
$$
- Type 4: No generator is an eigenvector for φ; explicit combinatorial constructions ensure $φ^2(e_i) = e_i$ but $φ(e_i) \neq \pm e_i$.

### 2.3 Non-homogeneous Gizatullin Surfaces

Automorphisms constructed via birational maps obtained from paired reversions at points in large sets of C*-orbits span a free subgroup [1311.3823]. The freeness is certified by a minimal-length decomposition and isolation from algebraic subgroups:
- For $a \in A$, define $P_a = v_a \circ v_{o(a)}^{-1}$, yielding a free group $F$ with trivial intersection with Aut(V)_alg.

### 2.4 Homology Covers of Riemann Surfaces

Given a Riemann surface S with a non-abelian fundamental group, the k-homology cover $\widetilde{S}_k$ has a deck transformation group $M_k \cong H_1(S; \mathbb{Z}_k)$ [2407.05442]. For $L \leq Aut(S)$, the lifted automorphism group $\widetilde{L}_k$ fits into the exact sequence:
$$
1 \to M_k \to \widetilde{L}_k \to L \to 1
$$
If this sequence does not split, automorphisms of $\widetilde{S}_k$ cannot be separated into direct products of $L$ and $M_k$, physically manifesting non-homogeneous automorphisms.

## 3. Rigidity Results and Classification

### 3.1 Cremona Groups and Tame/Wild Automorphisms

The affine Cremona group Aut($\mathbb{C}^n$) contains both tame (homogeneous) and wild (non-homogeneous) automorphisms. A key result [1209.3427] is that any abstract automorphism θ that fixes a closed torus (and hence the tame subgroup) must also fix large classes of non-tame automorphisms, including the Nagata automorphism:
$$
N = \exp(pD), \quad D = -2y(\partial/\partial x) + z (\partial/\partial y), \quad p = xz + y^2
$$
If $f \in \ker D \setminus \mathbb{C}[z]$, $\exp(fD)$ is non-tame and θ fixes all such automorphisms whenever it fixes the tame subgroup.

### 3.2 Quasi-homogeneity from Contracting Automorphisms

Any complex analytic singularity admitting a contracting automorphism must be quasi-homogeneous [2412.11583]. The proof involves embedding the singularity in $\mathbb{C}^d$, conjugating the automorphism to a Poincaré-Dulac normal form, and demonstrating that the invariant ideal is generated by weighted homogeneous polynomials.

## 4. Impact on Group Structure and Presentations

### 4.1 Automorphism Groups as Free or Amalgamated Products

Research shows that automorphism groups generated by non-homogeneous automorphisms can have highly nontrivial structure:
- For smooth Gizatullin surfaces, the subgroup $F$ generated by paired reversions is free and its intersection with Aut(V)_alg is trivial [1311.3823].
- The automorphism group of a Veronese surface’s coordinate ring admits an amalgamated free product structure, controlled by graded automorphisms [2210.12781].

### 4.2 Arithmetic Properties and Infinite Presentations

Almost homogeneous varieties exhibit automorphism groups with linear/algebraic and arithmetic structures, with the possibility of infinite component groups [1810.09115]. Open questions remain as to full classification, realizability of all linear algebraic groups as automorphism groups, and structure in positive characteristic.

For Higman-Thompson groups and their overgroups, presentations and subgroup structures of automorphism-like groups are open for investigation [1605.09302].

## 5. Broader Applications and Open Problems

Non-homogeneous automorphisms play critical roles in:
- Determining rigidity properties of symmetry groups,
- Classifying affine and projective varieties,
- Studying moduli of Riemann surfaces and covers,
- Understanding dynamical consequences and gradings of operator algebras,
- Extending the scope of automorphism group presentations and the theory of infinite-dimensional transformation groups.

**Representative open problems include:**
- Classifying all non-homogeneous automorphisms up to graded isomorphism (conjecture for Grassmann algebras: all $\mathbb{Z}_2$-gradings are isomorphic to homogeneous gradings [2508.15628]).
- Establishing criteria for splitting/non-splitting of exact sequences in lifted automorphism groups [2407.05442].
- Extending the rigidity results for ind-groups, Cremona groups, and toric varieties to higher dimensions and broader categories.

**Comparative table: Non-homogeneous automorphism contexts**

| Structure                        | Non-homogeneous automorphism | Classification/Impact                |
|----------------------------------|-----------------------------|--------------------------------------|
| Grassmann algebra (E)            | φ not ±id on all generators | Conjectured isomorphic to homogeneous|
| Gizatullin/affine surfaces (V)   | Free group by reversions    | Not generated by algebraic subgroups |
| Toric varieties (X)              | Lifts not torus-normalized  | Aut(X) ≅ Aut(normalization)          |
| Cremona groups Aut(ℂ³)           | Modifications exp(fD)       | Fixed by automorphisms fixing tame   |
| Riemann surface covers Sₖ        | Non-split exact sequences   | Extensions not semidirect products   |

## 6. Conclusion

Non-homogeneous automorphisms highlight subtle and often rigid features of algebraic, geometric, and combinatorial objects. Across multiple settings, they influence group structure, connect with rigidity phenomena, and pose significant classification problems. The interplay between homogeneity, grading, and automorphism types remains central to ongoing research in geometry, group theory, and algebraic dynamics.

Source: https://www.emergentmind.com/topics/non-homogeneous-automorphisms