Transverse slices, Ruas' conjecture, and Zariski's multiplicity conjecture for quasihomogeneous surfaces

Basic Information

• Paper ID: 2509.01634
• Title: Transverse slices, Ruas' conjecture, and Zariski's multiplicity conjecture for quasihomogeneous surfaces
• Authors: Silva, O. N. and Silva Jr, M. M.
• Classification: math.AG (Algebraic Geometry), math.CV (Complex Variables)
• Publication Date: October 13, 2025 (v2)
• Paper Link: https://arxiv.org/abs/2509.01634

Abstract

This paper investigates finitely determined quasihomogeneous corank 1 map germs $f: (\mathbb{C}^2,0) \to (\mathbb{C}^3,0)$. The authors introduce the concept of $\mu_{m,k}$-minimal transverse slices of $f$, which, being plane curves, possess topological normal forms. Under the $\mu_{m,k}$-minimal transverse slice hypothesis, the authors prove the equivalence between topological triviality and Whitney equisingularity in Ruas' conjecture. They also provide counterexamples demonstrating that Whitney equisingularity does not imply bi-Lipschitz equisingularity. Furthermore, they prove that every topologically trivial 1-parameter deformation of $f=(f_1,f_2,f_3)$ has non-negative degree, and as a corollary, establish a proof of Zariski's multiplicity conjecture for 1-parameter families of such germs.

Research Background and Motivation

Core Problems

This paper addresses two fundamental conjectures in singularity theory:

1. Ruas' Conjecture (1994): Concerning equivalence relations between equisingularity concepts for finitely determined map germs
2. Zariski's Multiplicity Conjecture (1971): Concerning equimultiplicity of topologically trivial families

Problem Significance

These problems hold foundational importance in singularity theory:

• Theoretical significance: Connecting different equisingularity concepts (topological triviality, Whitney equisingularity, bi-Lipschitz equisingularity)
• Geometric significance: Simplifying the study of equisingularity for surfaces in $\mathbb{C}^3$ through transverse slice techniques
• Historical significance: Zariski's multiplicity conjecture has remained an open problem since its proposal in 1971

Limitations of Existing Methods

• The original form of Ruas' conjecture has been shown to fail in general cases
• Known counterexamples indicate the need for more refined conditions to establish equivalences
• Lack of deep understanding of equisingularity relations under special geometric conditions

Core Contributions

1. Introduction of $\mu_{m,k}$-minimal plane curves: Provides complete characterization and explicit normal forms for plane curves with minimal Milnor number
2. Partial resolution of Ruas' conjecture: Under the $\mu_{m,k}$-minimal transverse slice hypothesis, proves the equivalence between topological triviality and Whitney equisingularity
3. New counterexamples: Constructs infinitely many counterexamples demonstrating that Whitney equisingularity does not imply bi-Lipschitz equisingularity
4. Non-negative degree problem: Proves that every topologically trivial deformation of quasihomogeneous corank 1 map germs has non-negative degree
5. Zariski's multiplicity conjecture: Establishes equimultiplicity for 1-parameter families of quasihomogeneous corank 1 map germs

Methodology Details

Task Definition

Study equisingularity problems for map germs $f: (\mathbb{C}^2,0) \to (\mathbb{C}^3,0)$, where:

• Input: Finitely determined quasihomogeneous corank 1 map germs and their 1-parameter deformations
• Output: Relations between equisingularity concepts and corresponding geometric invariants
• Constraints: Map germs must satisfy finite determinacy, quasihomogeneity, and corank 1 conditions

Core Methodological Framework

1. $\mu_{m,k}$-Minimal Curve Theory

Definition: Let $\Lambda_{m,k}$ denote the set of all plane curves with $r$ branches, where the $i$-th branch has multiplicity $m_i$ and $k_i$ characteristic exponents. A curve $(X,0) \in \Lambda_{m,k}$ is $\mu_{m,k}$-minimal if and only if: $\mu(X,0) = \min_{(Y,0) \in \Lambda_{m,k}} \mu(Y,0)$

Normal Form: For irreducible $\mu_{m,k}$-minimal curves, when $m \geq 4$ is composite, the normal form is: $\phi(u) = (u^m, u^{m+d_1} + u^{m+d_1+d_2} + \cdots + u^{m+d_1+\cdots+d_{k-2}} + u^{m+d_1+\cdots+d_{k-2}+1})$

where $d_0 = m > d_1 > \cdots > d_{k-2} > d_{k-1} = 1$ is a nested divisor sequence of $m$.

2. Transverse Slice Technique

Transverse slice definition: For a map germ $f: (\mathbb{C}^2,0) \to (\mathbb{C}^3,0)$, a transverse slice $\gamma$ is defined as the intersection of the image of $f$ with a general plane $H \subset \mathbb{C}^3$ passing through the origin.

Generality conditions: The plane $H$ must satisfy:

• $H \cap df_0(\mathbb{C}^2) = \{(0,0,0)\}$
• $H \cap f(D(f)) = \{(0,0,0)\}$
• $H \cap C_0(f(D(f))) = \{(0,0,0)\}$

3. Whitney Equisingularity Characterization

Introduces a new invariant $W(f) := D(f) \cup f^{-1}(\gamma)$, proving:

Theorem: Let $F = (f_t, t)$ be a deformation of $f$. Then: $F\text{ is Whitney equisingular} \Leftrightarrow \mu(W(f_t), 0)\text{ is constant}$

Technical Innovations

1. Geometric optimization perspective: Introduces $\mu_{m,k}$-minimality through Milnor number minimization, providing refined classification of curve topology
2. Constructive methods: Not only provides existence results but also explicit parametrizations and deformation constructions
3. Unified framework: Incorporates both Ruas' conjecture and Zariski's multiplicity conjecture into a unified theoretical framework

Experimental Setup

Theoretical Verification

As a pure mathematics paper, this work verifies results through rigorous mathematical proofs rather than numerical experiments:

1. Counterexample Construction

• New counterexample family: Constructs infinitely many counterexamples of the form $f_t(x,y) = (x+ty^{14}, y^{16}+xy^{15}, y^{18}+xy^{17}+x^{17}y)$
• Computational verification: Uses Singular software to verify Milnor numbers and multiplicity calculations for concrete examples

2. Normal Form Verification

Verifies through explicit computation the normal forms and Milnor numbers of $\mu_{36,k}$-minimal curves:

Experimental Results

Main Theorems

Theorem 1.1 (Partial Resolution of Ruas' Conjecture)

Let $f: (\mathbb{C}^2,0) \to (\mathbb{C}^3,0)$ be a finitely determined quasihomogeneous corank 1 map germ. If $F = (f_t,t)$ is a topologically trivial 1-parameter deformation and the transverse slice $\gamma$ of $f$ is $\mu_{m,k}$-minimal, then $F$ is Whitney equisingular.

Theorem 1.2 (Whitney Equisingularity Characterization)

Let $F = (f_t,t)$ be a deformation of $f$, and define $W(f_t) := D(f_t) \cup f_t^{-1}(\gamma_t)$. Then: $F\text{ is Whitney equisingular} \Leftrightarrow \mu(W(f_t),0)\text{ is constant}$

Theorem 5.2 (Zariski's Multiplicity Conjecture)

Let $f: (\mathbb{C}^2,0) \to (\mathbb{C}^3,0)$ be a finitely determined quasihomogeneous corank 1 map germ. If $F = (f_t,t)$ is a topologically trivial 1-parameter deformation, then $F$ is equimultiple.

Counterexample Results

Proposition 4.18 (Whitney Does Not Imply Bi-Lipschitz)

For the homogeneous map $f(x,y) = (x^{14}, y^8, (x-y)(x-2y)(x-3y))$, its 1-parameter deformation $f_t(x,y) = f(x,y) + (0,0,ty^{12})$ is Whitney equisingular but not bi-Lipschitz trivial.

New Counterexample Families

Constructs infinitely many counterexamples demonstrating that topological triviality does not imply Whitney equisingularity:

Related Work

Historical Development

1. Zariski (1971): Proposes the multiplicity conjecture
2. Ruas (1994): Proposes the equisingularity conjecture for map germs
3. Callejas-Bedregal, Houston, Ruas (2006): Prove $(\mu) \Leftrightarrow (Top)$
4. Ruas, Silva (2016): Provide counterexamples to the original Ruas conjecture

Related Techniques

• Transverse slice method (Marar-Nuño-Ballesteros): Simplifies the study of surface equisingularity
• Varchenko theory: Deformation theory of quasihomogeneous singularities
• Damon's results: Topological triviality of non-negative degree deformations

Conclusions and Discussion

Main Conclusions

1. Under the $\mu_{m,k}$-minimal transverse slice condition, topological triviality and Whitney equisingularity are equivalent in Ruas' conjecture
2. Whitney equisingularity and bi-Lipschitz equisingularity are not equivalent in general
3. Quasihomogeneous corank 1 map germs satisfy Zariski's multiplicity conjecture

Limitations

1. Corank restriction: Results primarily apply to the corank 1 case
2. Quasihomogeneity assumption: Requires map germs to possess special homogeneous structure
3. $\mu_{m,k}$-minimality condition: This is a relatively strong geometric condition

Future Directions

1. Generalization to higher corank: Extend to cases with corank ≥ 2
2. General map germs: Remove the quasihomogeneity assumption
3. Higher-dimensional cases: Generalize to $(\mathbb{C}^n,0) \to (\mathbb{C}^{n+1},0)$

In-Depth Evaluation

Strengths

1. Theoretical innovation: The $\mu_{m,k}$-minimality concept provides new geometric perspective
2. Constructive results: Provides explicit normal forms and parametrizations
3. Unified framework: Incorporates multiple important conjectures into unified theory
4. Technical depth: Synthesizes profound results from algebraic geometry, singularity theory, and complex analysis

Weaknesses

1. Limited scope: Results are restricted to specific geometric situations
2. Computational complexity: Determining $\mu_{m,k}$-minimality may be computationally complex
3. Generality: Requires multiple technical assumptions to obtain main results

Impact

1. Theoretical contribution: Provides new approaches to classical conjectures
2. Methodological value: Novel applications of transverse slice techniques
3. Inspirational value: Provides new insights for research on related problems

Applicable Scenarios

• Classification and deformation theory of quasihomogeneous map germs
• Equisingularity problems under special geometric conditions
• Computational and applied problems in singularity theory

Open Problems

The paper raises three important open problems:

Problem 1: For finitely determined quasihomogeneous map germs $f: (\mathbb{C}^n,0) \to (\mathbb{C}^{n+1},0)$, do all topologically trivial 1-parameter deformations have non-negative degree?

Problem 2: Removing the quasihomogeneity assumption, does the $\mu_{m,k}$-minimal transverse slice condition still guarantee Whitney equisingularity?

Problem 3: Do there exist families of plane curves $L_t$ such that bi-Lipschitz equisingularity is equivalent to the constancy of $\mu(L_t,0)$?

These problems point toward deeper structural issues in singularity theory and provide clear directions for future research.