🔢 mathematics

Equivalence of germs (of mappings and sets) over k vs that over K

This paper establishes that for mapping-germs and scheme-germs over a base ring $k$ , equivalence (including right, left-right, and contact types) over a faithfully-flat extension $K$ implies equivalence over the original base $k$ , thereby generalizing known results for real and complex analytic maps to arbitrary characteristics and singular settings.

Original authors: Dmitry Kerner

Published 2026-04-29

📖 5 min read🧠 Deep dive

CC BY 4.0

Original authors: Dmitry Kerner

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 a sculptor working with clay. You have a lump of clay (a mathematical "map" or shape) and you want to know if two different lumps are essentially the same. In mathematics, we say two shapes are "equivalent" if you can twist, stretch, or rotate one to look exactly like the other without tearing it.

This paper by Dmitry Kerner tackles a very specific puzzle: Does the answer to "Are these shapes the same?" change depending on the "universe" you are working in?

Here is the breakdown of the paper's ideas using simple analogies:

1. The Two Universes: Real vs. Complex (The "Shadow" Analogy)

Imagine you are looking at a 3D object in a room with real light (the Real world, $\mathbb{R}$ ). You can see its true shape, shadows, and texture. Now, imagine you step into a magical room where the light is "complex" (the Complex world, $\mathbb{C}$ ). In this magical room, you can see more details, and some things that looked different in the real room might look identical here because the complex light bends around obstacles differently.

The Problem: Sometimes, two shapes look different in the Real room, but if you take them into the Complex room, they look identical. The paper asks: If they look the same in the Complex room, do they have to be the same in the Real room?
The Old Guess: Mathematicians suspected the answer was "No, but maybe only if the difference is tiny."
The Paper's Discovery: The author proves a stronger rule. If the two shapes look the same in the Complex room, and the transformation required to make them match is "almost doing nothing" (mathematically, it's "unipotent" or "identity modulo higher order terms"), then they are definitely the same in the Real room too.

2. The "Base Ring" (The "Language" Analogy)

The paper doesn't just look at Real vs. Complex. It looks at any "base language" ( $k$ ) and any "extended language" ( $K$ ).

Think of $k$ as speaking English and $K$ as speaking English plus a few extra words from French.
You have a sentence (a mathematical map). If you can prove the sentence makes sense and is equivalent to another sentence using the extended vocabulary (French words included), does that mean you could have proven it using only the original English vocabulary?
The Result: Usually, yes. If the extension is "faithfully flat" (a technical way of saying the new language doesn't break the old rules), then if you can solve the puzzle in the big language, you can solve it in the small language.

3. The "Unipotent" Condition (The "Almost Identity" Rule)

The paper introduces a special condition called unipotent.

Analogy: Imagine you have a rubber sheet. If you stretch it wildly, it's a big change. But if you just wiggle it slightly so that it looks exactly the same as before, except for tiny, invisible ripples, that is "unipotent."
The Finding: If you can turn Shape A into Shape B using a "wild stretch" in the Complex world, they might not be the same in the Real world. But if the stretch is just a "tiny wiggle" (unipotent), then they are the same in the Real world. This is a powerful tool because it tells us that the "Real" and "Complex" worlds only disagree on very specific, low-level details.

4. Families and Stability (The "Movie" Analogy)

The paper also looks at families of shapes, like a movie where the shape changes over time (a deformation).

The Question: If a movie of shapes looks "trivial" (boring, nothing really changes) when viewed in the Complex world, is it also boring in the Real world?
The Answer: Yes. If the "movie" is trivial in the big language, it is trivial in the small language. This is crucial for mathematicians studying how shapes deform or break apart.

5. The "Finite Determinacy" (The "Snapshot" Rule)

One of the most practical findings is about finite jets.

Analogy: Imagine you are trying to identify a person. Do you need to see their entire life history (infinite details) to know who they are? Or is a single snapshot (a finite amount of detail) enough?
The Result: The paper proves that to decide if two shapes are equivalent, you don't need to look at the infinite, microscopic details. You only need to look at a "finite snapshot" (a finite number of layers of detail). If two shapes match in that snapshot in the Complex world, they match in the Real world. This turns an impossible infinite problem into a manageable finite one.

6. The "Splitting" of Orbits (The "Group of Friends" Analogy)

Finally, the paper discusses what happens when you take a group of friends (an orbit of shapes) from the Complex world and bring them back to the Real world.

The Result: In the Complex world, they might all be one big group. When you bring them back to the Real world, this big group might split into several smaller, distinct groups. However, the paper proves that this splitting is always finite. You won't get an infinite number of tiny, disconnected groups; it will always be a countable, manageable number.

Summary

In simple terms, this paper is a translation guide between different mathematical universes. It tells us:

If you can solve a shape-matching puzzle in a "bigger" universe (Complex/Extended), you can usually solve it in the "smaller" universe (Real/Base).
The only time you can't is if the transformation required is "wild" or "non-unipotent."
You don't need to check infinite details; a finite snapshot is enough to make the decision.
When bringing complex solutions back to reality, they might split into a few distinct groups, but never an infinite mess.

This helps mathematicians be confident that when they use powerful "Complex" tools to solve "Real" problems, they aren't cheating—they are getting valid, real-world answers.

1. Problem Statement

The paper addresses a fundamental question in Singularity Theory and Algebraic Geometry: When does equivalence of map-germs over an extension field $K$ imply equivalence over the base field $k$ ?

Specifically, consider two map-germs $f, \tilde{f}$ defined over a base ring/field $k$ (mapping between germs of spaces $X$ and $Y$ ). If these maps are equivalent under a group action $G$ (Right, Left-Right, Contact, etc.) when the base is extended to a larger field $K$ (i.e., $f \sim_{G_K} \tilde{f}$ ), does it follow that they are equivalent over the original field $k$ (i.e., $f \sim_{G_k} \tilde{f}$ )?

Context: Classically, results are often proved over $\mathbb{C}$ and then applied to $\mathbb{R}$ . However, it is well known that $\mathbb{C}$ -equivalence does not always imply $\mathbb{R}$ -equivalence (e.g., the signature of a quadratic form is preserved under real equivalence but not complex).
The Gap: The paper investigates whether this failure is "low-order" or if specific conditions (like unipotence of the transformation or algebraic closure of the base field) can guarantee the descent of equivalence from $K$ to $k$ .
Scope: The work generalizes beyond the classical smooth case ( $\mathbb{R}^n \to \mathbb{R}^m$ $R^{n} \to R^{m}$ ) to:
- Arbitrary singularities in source and target.
- Formal, analytic, and Nash (algebraic) germs.
- Arbitrary base rings $k$ and faithfully flat extensions $k \subset K$ .

2. Methodology

The author employs a combination of Commutative Algebra, Singularity Theory, and Galois Cohomology. The methodology is structured around several key technical pillars:

A. Generalized Group Actions and Tangent Spaces

The paper rigorously defines the equivalence groups ($R, L, LR, C, K$) and their actions on spaces of maps $\text{Maps}(X, Y)$ where $X$ and $Y$ are arbitrary singular germs.

It defines the tangent spaces $T_G$ to these groups at the identity.
It establishes the action of these tangent spaces on the space of maps, $T_G \times \text{Maps} \to T(\text{Maps})$ .
Crucially, it handles the case where the target $Y$ is singular, a scenario often overlooked in classical literature.

B. Filtrations and Unipotence

The paper introduces filtrations on the groups and their tangent spaces (e.g., $G^{(j)}$ ).

Unipotence: A transformation is considered "unipotent" if its linear part (1-jet) is the identity modulo higher-order terms.
The core strategy for the characteristic 0 case is to reduce the non-linear equivalence problem to a linear problem in the tangent space. If the transformation $g_K$ is unipotent, it can be expressed as the exponential of a tangent vector $\xi_K$ . The problem then becomes solving for $\xi_K$ in the tensor product $K \otimes T_G$ .

C. Artin Approximation and Artin-Rees Lemmas

To bridge the gap between formal power series solutions and analytic/Nash solutions, the author utilizes:

Artin Approximation: To deduce analytic/Nash equivalence from formal equivalence.
Strong Artin Approximation: To handle cases where equivalence is known only order-by-order (modulo $m^d$ ).
New Artin-Rees Lemmas: The paper proves novel versions of the Artin-Rees lemma adapted to the image tangent spaces of these group actions ( $T_G f$ ). This is essential for proving that the intersection of the orbit with a high-order neighborhood implies membership in a specific subgroup orbit.

D. Algebraic Geometry and Galois Cohomology

For the case where the base field is algebraically closed, the author translates the equivalence condition into a system of polynomial equations.

If a solution exists over an extension $K$ , Hilbert's Nullstellensatz and properties of algebraically closed fields are used to show a solution exists over $k$ .
For finite extensions, the paper utilizes Galois Cohomology (specifically $H^1$ ) to analyze the splitting of orbits, referencing Serre's work on fields of type F.

3. Key Contributions and Results

Main Theorem (Theorem 5.1)

The central result establishes conditions under which $G_K$ -equivalence implies $G_k$ -equivalence:

Characteristic 0 (Unipotent Case): If $k \subset K$ $k \subset K$ is a faithfully flat extension and $\tilde{f} = g_K \cdot f$ $\tilde{f} = g_{K} \cdot f$ where $g_K$ $g_{K}$ has a unipotent linear part (identity modulo higher order terms), then $\tilde{f} \sim_{G_k} f$ $\tilde{f} \sim_{G_{k}} f$ .
- Significance: This resolves the "low-order" intuition. If the complex transformation is "close" to the identity, the real (or $k$ ) equivalence holds.
Algebraically Closed Base: If the base field $k$ $k$ is algebraically closed (of any characteristic), then $G_K$ $G_{K}$ -equivalence implies $G_k$ $G_{k}$ -equivalence for any extension $K$ $K$ .
- Significance: This confirms that algebraic closure is a sufficient condition for the descent of equivalence, regardless of the characteristic.

Corollaries and Applications

Stability of Families (Corollary 5.6): If a family of maps $\{f_t\}$ is trivial over an extension $K$ (i.e., can be deformed to a constant family), it is trivial over $k$ . This is crucial for deformation theory and unfoldings.
Finite Determinacy of the "k vs K" Question (Corollary 5.9): The question of whether two maps are equivalent over $k$ given they are equivalent over $K$ is finitely determined. There exists an integer $N$ such that if $f$ and $\tilde{f}$ agree up to order $N$ and are $G_K$ -equivalent, they are $G_k$ -equivalent.
Finite Splitting of Orbits (Corollary 5.10): For fields of "type F" (e.g., $\mathbb{R}$ $R$ , $p$ $p$ -adic fields, finite fields) and finite extensions $K$ $K$ , the intersection of a complex orbit with the real space splits into a finite number of real orbits.
- Counter-example: The paper shows that for non-type F fields (like $\mathbb{Q}$ ) or infinite extensions, this splitting can be infinite.

Technical Innovations

Singular Targets: The paper provides the first comprehensive setup for contact and left-right equivalence when the target space $Y$ is singular, defining the relevant tangent spaces and group actions.
Non-linear Artin-Rees: The author proves a non-linear version of the Artin-Rees lemma for the group orbits, which is a significant contribution to Commutative Algebra.
Nash/Algebraic Context: The results are formulated to cover Nash germs (algebraic power series), bridging the gap between algebraic geometry and real/complex analysis.

4. Significance

This paper resolves long-standing ambiguities in Singularity Theory regarding the relationship between real and complex equivalence.

Clarification of Real vs. Complex: It clarifies exactly when real equivalence fails to follow from complex equivalence (low-order obstructions) and when it is guaranteed (unipotence or algebraic closure).
Deformation Theory: The results provide a rigorous foundation for studying deformations and unfoldings over base rings, ensuring that triviality over an extension implies triviality over the base.
Computational Utility: The "finite determinacy" result implies that checking equivalence over an extension field is a finite computational problem relative to the base field, which is vital for algorithmic singularity theory.
Generalization: By extending these results to singular targets and arbitrary base rings, the paper unifies the treatment of formal, analytic, and Nash germs, making the theory applicable to a broader range of geometric and algebraic problems, including the Nash-Tognoli and Hilbert 17th problems.

In summary, Kerner provides a robust theoretical framework that connects the geometry of singularities over different fields, proving that "good" behavior (unipotence or algebraic closure) ensures that local geometric properties are preserved under field extension and restriction.