🔢 mathematics

Inner Lipschitz Geometry of Complex Surface Germs with Non-Isolated Singularities: A Complete Classification

This paper establishes a complete invariant for the inner Lipschitz geometry of reduced and irreducible complex surface germs with non-isolated singularities, extending the work of Birbrair, Neumann, and Pichon by expressing the invariant through numerical data from the normalization map and the combinatorics of a good resolution.

Original authors: Yenni Cherik

Published 2026-06-16

📖 5 min read🧠 Deep dive

CC BY 4.0

Original authors: Yenni Cherik

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 an architect trying to understand the shape of a building. Usually, architects care about two things: what the building looks like from the outside (its topology) and how hard it is to walk through it (its metric geometry).

This paper is about a very specific type of "building": a complex surface (a 2-dimensional shape living in a higher-dimensional space) that has a kink, fold, or tear at its center (a singularity).

For a long time, mathematicians knew how to classify these shapes if the kink was a single, isolated point (like a sharp tip on a cone). But what if the kink is a whole line or a curve running through the surface? That's the messy, "non-isolated" case this paper solves.

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

1. The Problem: Two Ways to Measure Distance

Imagine you are standing on a crumpled piece of paper (the surface).

The "Outer" Distance: This is the distance if you could fly through the air from point A to point B. It ignores the crumple.
The "Inner" Distance: This is the distance if you have to walk on the paper. If the paper is folded, you have to walk all the way around the fold. This is the "Inner Lipschitz Geometry."

The paper asks: If two crumpled surfaces feel the same when you walk on them (they are "inner bilipschitz equivalent"), how can we tell them apart mathematically?

2. The Big Challenge: "Pinched" vs. "Non-Pinched" Surfaces

The authors introduce a crucial distinction between two types of crumpled surfaces:

Non-Pinched Surfaces: Imagine a surface where the "folds" are smooth. If you walk along the fold, the surface doesn't suddenly collapse or twist back on itself in a weird way. The "normalization" (a mathematical process of smoothing out the surface) acts like a perfect map here.
Pinched Surfaces: Imagine a surface that is "pinched" tight, like a piece of fabric where two edges are sewn together. If you try to walk along the seam, the surface might collapse or behave strangely. The "normalization" map fails to be a smooth map here.

The Paper's First Trick:
The authors prove that any "Pinched" surface is actually just a "Non-Pinched" surface in disguise. They show you can mathematically "un-pinch" it into a new, non-pinched shape that feels exactly the same when you walk on it.

Analogy: It's like realizing a crumpled ball of paper that looks like a knot is actually just a flat sheet that was folded in a specific way. You can unfold it to study the flat sheet, and the results will tell you everything about the knot.

3. The Tool: The "Inner Rate" Function

Once they have a "Non-Pinched" surface, they need a way to measure its "walkability." They invent a tool called the Inner Rate Function.

The Analogy: Imagine the surface is a landscape with hills and valleys. The "Inner Rate" is a number assigned to every part of the landscape that tells you how fast you can walk relative to how far you are from the center.
- If the rate is high, the terrain is "steep" or "tight" (you have to walk a long way to cover a short distance).
- If the rate is low, the terrain is "flat" or "open."

They show that this "rate" isn't just a random number; it's a fingerprint. If two surfaces have the same "Inner Rate" pattern, they are mathematically identical in terms of how you walk on them.

4. The Solution: The "Complete Invariant"

The paper's main achievement is a Complete Classification. This means they found a checklist of ingredients that, if you have them, you know exactly what the surface is.

To classify a surface, you need to look at its Dual Graph (a simplified map of the surface's structure) and decorate it with specific data:

The Map: The shape of the graph (how the pieces connect).
The Weights: Numbers representing the "multiplicity" (how many times a piece wraps around).
The Special Nodes: Specific points on the map where the "Inner Rate" hits a peak or a specific value (these are the "L-nodes," "P-nodes," and "T-nodes").
The Rates: The specific "Inner Rate" numbers at those special points.

The Result:
If you have two surfaces, and their decorated maps (Dual Graphs with these specific numbers) are identical, then the surfaces are inner bilipschitz equivalent. You can walk on one exactly as you walk on the other.

5. Why This Matters (According to the Paper)

Before this paper, we had a perfect classification for surfaces with a single bad point (isolated singularities). But the real world (and complex math) often involves surfaces with lines of bad points (non-isolated).

This paper bridges that gap. It says: "Don't worry if the surface is messy or pinched. We can turn it into a clean, non-pinched version, measure its 'walking speed' (Inner Rates), and draw a map. That map is the complete secret code of the surface's geometry."

Summary in One Sentence

The authors figured out how to take any complex, crumpled 2D surface (even ones with messy, line-like kinks), "un-pinch" it into a smooth version, measure its internal walking distances using a new "rate" system, and create a unique mathematical map that perfectly describes its shape.

Technical Summary: Inner Lipschitz Geometry of Complex Surface Germs with Non-Isolated Singularities

Problem Statement
The paper addresses the classification of complex surface germs $(X, 0)$ up to inner bilipschitz equivalence. While the topological classification of complex surface germs is well-established (determined by the homeomorphism class of the link or the dual graph of a minimal good resolution), the metric classification is more subtle. Previous work by Birbrair, Neumann, and Pichon [BNP14] provided a complete classification for germs with isolated singularities using "inner rates" as invariants. However, the case of germs with non-isolated singularities (where the singular locus has dimension 1) remained open. The primary challenge in the non-isolated case is that the normalization map $n: (\tilde{X}, 0) \to (X, 0)$ may fail to be an immersion along the singular locus, a phenomenon the author terms "pinching."

Methodology
The paper is structured into two parts, employing tools from resolution of singularities, valuation theory, and metric geometry.

Part I: Isolated Singularities and Generator Systems:
The author generalizes the concept of inner rates from primary ideals to specific systems of generators $F = (f_1, \dots, f_k)$ of an $m$ -primary ideal $I$ . For a good resolution $\pi$ , rational numbers $q^F_v$ (inner rates) are defined along exceptional divisors $E_v$ .
- Inner Rate Function: Using the non-Archimedean link $NL(X, 0)$ (the space of semivaluations), the author constructs a continuous function $I_F$ that extends the discrete inner rates. This function is piecewise linear on the dual graph of any resolution.
- Completion of Generators: A key technical tool is the "completion" of a semi-complete generator system $F$ . The author proves that for any semi-complete system $F$ , there exists an extension $G$ (adding more generators) such that the associated map $G: (X, 0) \to (G(X), 0)$ is a homeomorphism onto a surface with an isolated singularity. Crucially, the inner rate function $I_F$ is invariant under this completion ( $I_F = I_G$ ). This allows the reduction of metric problems on $(X, 0)$ to problems on the isolated singularity $(G(X), 0)$ .
Part II: Non-Isolated Singularities and Pinching:
The paper introduces the distinction between non-pinched and pinched surface germs. A germ is non-pinched if its normalization $n$ is an immersion everywhere outside the origin; otherwise, it is pinched.
- Reduction to Non-Pinched Case: The author proves (Proposition 6.1) that any pinched surface germ $(X, 0)$ is inner bilipschitz equivalent to a constructed non-pinched surface germ $(\tilde{X}, 0)$ . This is achieved by explicitly modifying the normalization map using a holomorphic function $\psi$ vanishing on the singular locus, creating a new embedding into a higher-dimensional space.
- Metric Equivalence: For non-pinched germs, the pullback of the Euclidean metric via the normalization is shown to be bilipschitz equivalent to the natural inner metric of an explicitly constructed isolated singularity (Proposition 5.5).
- Classification Theorem: By combining the reduction to the non-pinched case with the classification of isolated singularities (via the geometric decomposition into $A(q, q')$ and $B(q)$ pieces), the author derives a complete invariant for the general case.

Key Contributions and Results

Generalization of Inner Rates: The paper extends the theory of inner rates from ideals to systems of generators, defining a continuous "inner rate function" $I_F$ on the non-Archimedean link. This function serves as a metric invariant for the geometry induced by the generators.
The "Completion" Theorem (Theorem A): It is established that any semi-complete generator system of an ideal can be completed to a system defining an isolated singularity that preserves the inner rate function. This bridges the gap between general germs and the isolated case.
Pinched vs. Non-Pinched Equivalence: The paper proves that pinched germs are not metrically distinct from non-pinched ones; they are bilipschitz equivalent to explicitly constructed non-pinched models. This reduces the classification problem to the non-pinched case.
Complete Classification (Theorem B / Theorem 8.4): The main result is a complete invariant for the inner Lipschitz geometry of any complex surface germ (isolated or non-isolated). The geometry is determined by:
- The embedded topological type of the singular locus components where the normalization degree is $>1$ , along with their degrees.
- A decorated dual graph $\Gamma_{n \circ \pi}$ derived from a minimal good resolution.
- The set of "inner nodes" $N_{inn}(F)$ (specific vertices in the graph).
- The inner rates $q^F_v$ at these inner nodes.
- The topological type of the geometric decomposition pieces ( $A$ and $B$ pieces) and the homotopy class of the fibration on them.

Significance
The paper claims to provide the first complete classification of complex surface germs up to inner bilipschitz equivalence in the non-isolated setting. It extends the seminal work of Birbrair, Neumann, and Pichon [BNP14] by resolving the complications introduced by non-isolated singularities. The methodology demonstrates that the metric complexity of non-isolated singularities is entirely captured by the combinatorics of a resolution and the inner rates of the coordinate functions of the normalization, effectively reducing the problem to the well-understood isolated case via explicit bilipschitz constructions. The results unify the topological and metric classifications, showing that while the topological type is determined by the dual graph, the inner Lipschitz type requires the additional data of inner rates and the specific behavior of the normalization map along the singular locus.