🔢 mathematics

Fast vanishing cycles on perturbations of complex weighted-homogeneous complete intersection germs

This paper characterizes the fast vanishing cycles of perturbations of complex weighted-homogeneous complete intersection germs via their weights, thereby generating diverse exotic Lipschitz structures on topological manifolds and establishing specific weight-based obstructions for these germs to be inner metrically conical.

Original authors: Dmitry Kerner, Rodrigo Mendes

Published 2026-08-04

📖 6 min read🧠 Deep dive

CC BY 4.0

Original authors: Dmitry Kerner, Rodrigo Mendes

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

The Shape of Things to Come: When Curves Get "Fast"

Imagine you are looking at a crumpled piece of paper or a twisted knot. In the world of mathematics, specifically a field called Singularity Theory, mathematicians study what happens when shapes get tangled up at a single point, like the tip of a cone or the center of a starburst. Usually, when you zoom in really close to these messy points, they start to look like simple, smooth cones. This is a comforting idea: no matter how messy things get, they eventually settle down into a predictable, cone-like shape.

But there is a catch. While these shapes might look like cones from a distance, they might not act like cones if you try to walk across them. Think of a cone made of rubber versus a cone made of a super-sticky, stretchy slime. If you try to walk from one side of the rubber cone to the other, you take a direct path. But on the slime cone, the path might get stretched out, twisted, or forced to take a weird detour because the surface itself is behaving strangely. Mathematicians call this the difference between "topological" shape (what it looks like) and "metric" shape (how distances work on it).

The big question this paper tackles is: How can we tell if a messy shape is actually a "nice" cone, or if it's a tricky, stretched-out monster? To do this, the authors look for specific "fast cycles." Imagine a loop drawn on a shape. If you shrink that loop down to a point, it usually shrinks at a steady, linear pace. But a "fast cycle" is a loop that shrinks incredibly quickly—much faster than you'd expect, like a balloon deflating in a vacuum. These fast cycles are the smoking gun that proves a shape is not a simple cone, even if it looks like one. The authors want to find these fast cycles in a specific type of shape: those that are slightly messy versions of "weighted-homogeneous" shapes (shapes that have a special kind of symmetry, like a snowflake or a star).

The Paper's Discovery: Hunting for the Fast Shrinkers

In this paper, Dmitry Kerner and Rodrigo Mendes act like detectives hunting for these elusive "fast cycles" in complex, multi-dimensional shapes. They focus on germs, which are just fancy math words for shapes that are being examined right at their most tangled point. Specifically, they look at shapes that are formed by taking a perfectly symmetrical, weighted-homogeneous shape and adding a little bit of "noise" or higher-order terms to it. Think of it like taking a perfect, symmetrical star and adding a few extra wobbles to its points.

The authors developed a new, powerful method to spot these fast cycles. They found that if the "weights" (the mathematical numbers that describe how the shape stretches in different directions) are not all the same, the shape is almost guaranteed to have these fast cycles. It's like saying if a star has points of different lengths, it will inevitably have a loop that shrinks super-fast.

Here is what they found, broken down into their main discoveries:

1. The "Fast Cycle" Recipe
The authors proved that if you have a shape where the weights are arranged in a specific way (some are small, some are larger), you can predict exactly where the fast cycles will hide. They showed that these cycles are formed by taking a loop on the "link" (the edge of the shape) and stretching it out toward the center. If the weights are unbalanced, this stretched-out loop becomes a "fast cycle." They didn't just find them; they calculated exactly how fast they shrink (the "vanishing rate") and what their shape looks like (their "homotopy type"). It's like having a recipe that tells you exactly how fast a specific type of balloon will pop based on the ingredients you used.

2. The "No-Go" Zone for Simple Cones
One of the most important things the paper does is rule out the idea that these messy shapes are simple cones. The authors proved a clear rule: If a shape has a fast cycle, it cannot be an "Inner-Metrically Conical" (IMC) shape. In plain English, if you find a fast cycle, you know for sure that the shape is not a simple, nice cone. The distances on the surface are too weird. This is a big deal because it gives mathematicians a clear test: if you see these fast cycles, you can stop trying to treat the shape as a simple cone.

3. A Zoo of Exotic Shapes
Using their new method, the authors created a "zoo" of new examples. They showed that you can build an infinite number of different shapes that all look the same (they are topologically the same, like a sphere) but act completely differently because of their fast cycles. They found that for any given dimension and complexity, you can tweak the weights to create a new, unique "Lipschitz structure." This means there are infinitely many ways to twist a shape so that it looks like a sphere but has a completely different internal geometry. They even found that these exotic shapes can be realized as very simple algebraic equations, which is surprising because usually, such complex behavior requires very complicated formulas.

4. The "Newton Diagram" Clue
The paper also applied this logic to shapes defined by "Newton diagrams" (a way of visualizing the ingredients of a mathematical equation). They found that if you look at the "faces" of these diagrams, you can predict whether the shape will have fast cycles just by looking at the numbers (weights) associated with those faces. If the lowest weights on a face don't match up, the shape will have fast cycles and won't be a simple cone. This gives mathematicians a quick visual check to see if a shape is "nice" or "tricky."

What They Didn't Find (and What They Are Sure About)
The authors are very sure about their main result: they have mathematically proved that these fast cycles exist under the conditions they described. They didn't just guess or simulate; they provided a rigorous proof. However, they also noted that while they can find these cycles, the full story of what happens to the shape's "monodromy" (a complex way of describing how the shape twists as you go around it) is even more complicated and is saved for a future paper. They also clarified that while they found a vast number of these exotic shapes, they are specifically looking at complex-analytic germs, so these rules apply to this specific mathematical universe.

In short, Kerner and Mendes gave us a new flashlight to shine into the dark corners of complex shapes. They showed us that if the "weights" of a shape are unbalanced, it hides a secret: a fast-shrinking loop that proves the shape is far more twisted and complex than it appears. This not only helps us identify "bad" cones but also opens the door to an infinite collection of new, exotic shapes that look the same but feel completely different.

Technical Summary: Fast Vanishing Cycles on Perturbations of Complex Weighted-Homogeneous Complete Intersection Germs

1. Problem Statement and Context
The paper addresses the Lipschitz geometry of complex-analytic germs $X \subset (\mathbb{C}^N, o)$ . While the Conic Structure Theorem establishes that any such germ is topologically homeomorphic to the cone over its link, $X \cong \text{Cone}[\text{Link}[X]]$ , this equivalence is rarely differentiable. The authors focus on the stronger property of being inner-metrically conical (IMC), where the homeomorphism can be chosen to be bi-Lipschitz with respect to the inner metrics (induced by path lengths within $X$ ).

The central obstruction to the IMC property is the existence of "fast cycles" (or fast loops in dimension 1). These are "thin" subgerms (where the dimension of the germ exceeds the dimension of its tangent cone) that cannot be deformed via a "hornic" link-homotopy to a non-thin germ. Detecting these cycles is generally difficult, with established criteria primarily limited to normal surface singularities via resolution graphs. The paper aims to generalize the detection of fast cycles to higher-dimensional perturbations of weighted-homogeneous complete intersections and to characterize their metric and topological properties.

2. Methodology
The authors develop a framework based on weighted-homogeneous foliations and their perturbations.

Foliation by Arcs: They consider germs $X$ foliated by arcs $\gamma_s(t)$ that behave like weighted-homogeneous arcs modulo higher-order terms. Specifically, the arcs are parametrized as $\gamma_s(t) = (t^{\omega_1}s_1 + \dots, \dots, t^{\omega_N}s_N + \dots)$ , where $\omega_i$ are weights.
Orbit Construction: For a cycle $Z$ on the link $\text{Link}[X]$ , they construct the subgerm $R_{\ge 0}Z$ by taking the union of arcs passing through $Z$ .
General Criterion (Lemma 4.4): The core technical tool is a lemma establishing conditions under which $R_{\ge 0}Z$ $R_{\geq 0} Z$ is a fast cycle. The conditions require:
1. The dimension of $Z$ to be strictly greater than the dimension of its projection under the weights (specifically, $\dim_{\mathbb{R}} Z > \dim_{\mathbb{R}} \pi Z$ ).
2. $Z$ to be non-contractible within the fiber of the projection.
3. The existence of a hornic neighborhood containing the germ.
Vanishing Rate Analysis: The authors define the vanishing rate of a fast cycle as the supremum of distances to non-thin subgerms. They prove that for perturbations of weighted-homogeneous germs, this rate is bounded below by the ratio of the weights, specifically $\frac{\omega_{r+1}}{\omega_1}$ , where $\omega_1 = \dots = \omega_r < \omega_{r+1}$ .

3. Key Contributions and Results

Characterization of Fast Cycles on Perturbations:
The paper provides a method to detect fast cycles on perturbations $X = V(f^p + f^{>p})$ of weighted-homogeneous complete intersections $X_0 = V(f^p)$ .
- Theorem 4.6: If the weights satisfy $\omega_1 < \omega_l$ (where $l = n - \dim_{\mathbb{C}} \text{Sing}[X \cap V(x_1)]$ ), then $X$ possesses a fast cycle $R_{\ge 0}Z$ of dimension $l \le \dim_{\mathbb{R}} R_{\ge 0}Z \le n$ .
- Properties: The tangent cone of this cycle lies in a specific half-plane determined by the weights, its homotopy type corresponds to the Milnor fiber of the section $X \cap V(x_1)$ , and its vanishing rate is at least $\frac{\omega_{r+1}}{\omega_1}$ .
Obstructions to IMC Property:
- Corollary 4.7 & 4.9: The existence of such fast cycles implies that $X$ is not IMC. Consequently, if a perturbed weighted-homogeneous germ is IMC, its lowest weights must coincide (i.e., $\omega_1 = \dots = \omega_n$ ).
- This generalizes previous results for Brieskorn-Pham singularities and surface germs to arbitrary dimensions and codimensions.
Exotic Lipschitz Structures:
- Corollary 4.12: The authors construct countable families of topological manifolds (specifically germs homeomorphic to $(\mathbb{R}^{2n}, o)$ ) that possess pairwise distinct inner-Lipschitz structures.
- Unlike previous constructions that relied on "separating sets," these distinct structures are distinguished by the vanishing rates of fast cycles or their topological complexity (Milnor numbers). These examples are realized as simple complex-algebraic hypersurfaces.
Newton Non-Degenerate Germs:
- Corollary 4.13 & Example 4.14: The criteria are applied to Newton-non-degenerate germs. The authors show that if such a germ is IMC, the weights associated with any face of the Newton diagram intersecting the lowest-weight coordinate hyperplane must satisfy specific coincidence conditions (e.g., the two lowest weights coincide for surfaces).

4. Significance and Claims
The paper claims to provide a "vast zoo" of fast cycles with prescribed properties, derived directly from the weights of the defining equations.

Detection: It offers an immediate and computable criterion for the existence of fast cycles on perturbations of weighted-homogeneous germs, bypassing the need for complex resolution graphs in many cases.
Metric Invariants: It explicitly links the metric property of "vanishing rate" to the algebraic weights, providing a new invariant for distinguishing Lipschitz structures.
New Examples: The construction of countable families of exotic Lipschitz structures on topological manifolds represents a significant expansion of known examples, moving beyond the use of separating sets to utilize fast cycles.

The authors note that while their construction yields stronger invariants (such as monodromy and intersection lattices of the fast cycles), these are deferred to future work. The current paper focuses on establishing the existence, homotopy type, and vanishing rates of these cycles.

The Shape of Things to Come: When Curves Get "Fast"

The Paper's Discovery: Hunting for the Fast Shrinkers

More like this