2025-11-23T11:40:15.683494

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

da Silva, Júnior
In this work, we consider a finitely determined, quasihomogeneous, corank 1 map germ $f$ from $(\mathbb{C}^2,0)$ to $(\mathbb{C}^3,0)$. We introduce the concept of the $μ_{\mathbf{m},\mathbf{k}}$-minimal transverse slice of $f$}. Since such a slice is a plane curve, it admits a topological normal form, which we describe explicitly. Assuming the $μ_{\mathbf{m},\mathbf{k}}$-minimal transverse slice hypothesis, we provide a proof for the equivalence between topological triviality and Whitney equisingularity in Ruas' conjecture within this setting. We also provide a counterexample which shows that Whitney equingularity does not imply bi-Lipschitz equisingularity, given an answer to a question by Ruas. Moreover, we show that every topologically trivial $1$-parameter unfolding of $f=(f_1,f_2,f_3)$ (not necessarily with $μ_{\mathbf{m},\mathbf{k}}$-minimal transverse slice) is of non-negative degree; that is, any additional term $α$ in the deformation of $f_i$ has weighted degree not smaller than that of $f_i$. As a consequence, we provide a proof of Zariski's multiplicity conjecture for 1-parameter families of such germs.
academic

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

基本信息

  • 论文ID: 2509.01634
  • 标题: Transverse slices, Ruas' conjecture, and Zariski's multiplicity conjecture for quasihomogeneous surfaces
  • 作者: Silva, O. N. and Silva Jr, M. M.
  • 分类: math.AG (代数几何), math.CV (复变函数)
  • 发表时间: 2025年10月13日 (v2版本)
  • 论文链接: https://arxiv.org/abs/2509.01634

摘要

本文研究有限确定的拟齐次corank 1映射芽f:(C2,0)→(C3,0)f: (\mathbb{C}^2,0) \to (\mathbb{C}^3,0)。作者引入了ff的μm,k\mu_{m,k}-极小横截面的概念，由于这种截面是平面曲线，它具有拓扑标准形式。在μm,k\mu_{m,k}-极小横截面假设下，作者证明了Ruas猜想中拓扑平凡性与Whitney等奇性之间的等价性。同时提供了反例证明Whitney等奇性不蕴含双Lipschitz等奇性。此外，证明了f=(f1,f2,f3)f=(f_1,f_2,f_3)的每个拓扑平凡1-参数展开都具有非负次数，作为推论给出了此类芽的1-参数族的Zariski重数猜想的证明。

研究背景与动机

核心问题

本文要解决的核心问题是奇点理论中的两个基本猜想：

  1. Ruas猜想 (1994)：关于有限确定映射芽的等奇性概念之间的等价关系
  2. Zariski重数猜想 (1971)：关于拓扑平凡族的等重性

问题重要性

这些问题在奇点理论中具有基础性地位：

  • 理论意义：连接了不同的等奇性概念（拓扑平凡性、Whitney等奇性、双Lipschitz等奇性）
  • 几何意义：通过横截面技术简化了C3\mathbb{C}^3中曲面的等奇性研究
  • 历史意义：Zariski重数猜想自1971年提出以来一直是开放问题

现有方法局限性

  • Ruas猜想的原始形式已被证明在一般情况下不成立
  • 已知的反例表明需要更精细的条件来建立等价关系
  • 缺乏对特殊几何条件下等奇性关系的深入理解

核心贡献

  1. 引入μm,k\mu_{m,k}-极小平面曲线概念：提供了具有最小Milnor数的平面曲线的完整刻画和显式标准形式
  2. 证明Ruas猜想的部分情况：在μm,k\mu_{m,k}-极小横截面假设下，证明了拓扑平凡性与Whitney等奇性的等价性
  3. 提供新的反例：构造了无穷多个反例证明Whitney等奇性不蕴含双Lipschitz等奇性
  4. 解决非负次数问题：证明了拟齐次corank 1映射芽的每个拓扑平凡展开都具有非负次数
  5. 证明Zariski重数猜想：为拟齐次corank 1映射芽的1-参数族建立了等重性

方法详解

任务定义

研究映射芽f:(C2,0)→(C3,0)f: (\mathbb{C}^2,0) \to (\mathbb{C}^3,0)的等奇性问题，其中：

  • 输入：有限确定的拟齐次corank 1映射芽及其1-参数展开
  • 输出：等奇性概念之间的关系和相应的几何不变量
  • 约束：映射芽必须满足有限确定性、拟齐次性和corank 1条件

核心方法架构

1. μm,k\mu_{m,k}-极小曲线理论

定义：设Λm,k\Lambda_{m,k}为所有具有rr个分支的平面曲线集合，其中第ii个分支具有重数mim_i和kik_i个特征指数。曲线(X,0)∈Λm,k(X,0) \in \Lambda_{m,k}是μm,k\mu_{m,k}-极小的当且仅当： μ(X,0)=min⁡(Y,0)∈Λm,kμ(Y,0)\mu(X,0) = \min_{(Y,0) \in \Lambda_{m,k}} \mu(Y,0)

标准形式：对于不可约μm,k\mu_{m,k}-极小曲线，当m≥4m \geq 4为合成数时，标准形式为： ϕ(u)=(um,um+d1+um+d1+d2+⋯+um+d1+⋯+dk−2+um+d1+⋯+dk−2+1)\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})

其中d0=m>d1>⋯>dk−2>dk−1=1d_0 = m > d_1 > \cdots > d_{k-2} > d_{k-1} = 1是mm的嵌套除子序列。

2. 横截面技术

横截面定义：对于映射芽f:(C2,0)→(C3,0)f: (\mathbb{C}^2,0) \to (\mathbb{C}^3,0)，横截面γ\gamma定义为ff的像与通过原点的一般平面H⊂C3H \subset \mathbb{C}^3的交集。

一般性条件：平面HH必须满足：

  • H∩df0(C2)={(0,0,0)}H \cap df_0(\mathbb{C}^2) = \{(0,0,0)\}
  • H∩f(D(f))={(0,0,0)}H \cap f(D(f)) = \{(0,0,0)\}
  • H∩C0(f(D(f)))={(0,0,0)}H \cap C_0(f(D(f))) = \{(0,0,0)\}

3. Whitney等奇性刻画

引入新的不变量W(f):=D(f)∪f−1(γ)W(f) := D(f) \cup f^{-1}(\gamma)，证明了：

定理：设F=(ft,t)F = (f_t, t)是ff的展开，则 F是Whitney等奇的⇔μ(W(ft),0)是常数F\text{是Whitney等奇的} \Leftrightarrow \mu(W(f_t), 0)\text{是常数}

技术创新点

  1. 几何最优化观点：通过最小化Milnor数引入μm,k\mu_{m,k}-极小性概念，提供了曲线拓扑的精细分类
  2. 构造性方法：不仅给出了存在性结果，还提供了显式的参数化和变形构造
  3. 统一框架：将Ruas猜想和Zariski重数猜想纳入统一的理论框架

实验设置

理论验证

作为纯数学论文，本文通过严格的数学证明而非数值实验来验证结果：

1. 反例构造

  • 新反例族：构造了形如ft(x,y)=(x+ty14,y16+xy15,y18+xy17+x17y)f_t(x,y) = (x+ty^{14}, y^{16}+xy^{15}, y^{18}+xy^{17}+x^{17}y)的无穷族反例
  • 计算验证：使用Singular软件验证了具体例子的Milnor数和重数计算

2. 标准形式验证

通过具体计算验证了μ36,k\mu_{36,k}-极小曲线的标准形式和Milnor数：

曲线类型标准形式Milnor数
μ36,2\mu_{36,2}-极小ϕ(u)=(u36,u37)\phi(u) = (u^{36}, u^{37})1260
μ36,3\mu_{36,3}-极小ϕ(u)=(u36,u38+u39)\phi(u) = (u^{36}, u^{38} + u^{39})1296
μ36,4\mu_{36,4}-极小ϕ(u)=(u36,u40+u42+u43)\phi(u) = (u^{36}, u^{40} + u^{42} + u^{43})1372

实验结果

主要定理

定理1.1 (Ruas猜想的部分解)

设f:(C2,0)→(C3,0)f: (\mathbb{C}^2,0) \to (\mathbb{C}^3,0)是有限确定的拟齐次corank 1映射芽。若F=(ft,t)F = (f_t,t)是拓扑平凡的1-参数展开且ff的横截面γ\gamma是μm,k\mu_{m,k}-极小的，则FF是Whitney等奇的。

定理1.2 (Whitney等奇性刻画)

设F=(ft,t)F = (f_t,t)是ff的展开，定义W(ft):=D(ft)∪ft−1(γt)W(f_t) := D(f_t) \cup f_t^{-1}(\gamma_t)，则： F是Whitney等奇的⇔μ(W(ft),0)是常数F\text{是Whitney等奇的} \Leftrightarrow \mu(W(f_t),0)\text{是常数}

定理5.2 (Zariski重数猜想)

设f:(C2,0)→(C3,0)f: (\mathbb{C}^2,0) \to (\mathbb{C}^3,0)是有限确定的拟齐次corank 1映射芽。若F=(ft,t)F = (f_t,t)是拓扑平凡的1-参数展开，则FF是等重的。

反例结果

命题4.18 (Whitney不蕴含双Lipschitz)

对于齐次映射f(x,y)=(x14,y8,(x−y)(x−2y)(x−3y))f(x,y) = (x^{14}, y^8, (x-y)(x-2y)(x-3y))，其1-参数展开ft(x,y)=f(x,y)+(0,0,ty12)f_t(x,y) = f(x,y) + (0,0,ty^{12})是Whitney等奇的但不是双Lipschitz平凡的。

新反例族

构造了无穷多个反例证明拓扑平凡性不蕴含Whitney等奇性：

映射芽族μ(γ,0)\mu(\gamma,0)μ(γt,0)\mu(\gamma_t,0)
ft(x,y)=(x+ty14,y16+xy15,y18+xy17+x17y)f_t(x,y) = (x+ty^{14}, y^{16}+xy^{15}, y^{18}+xy^{17}+x^{17}y)270268
ft(x,y)=(x+ty14,y16+xy13,y22+xy19+x7y)f_t(x,y) = (x+ty^{14}, y^{16}+xy^{13}, y^{22}+xy^{19}+x^7y)328326

相关工作

历史发展

  1. Zariski (1971)：提出重数猜想
  2. Ruas (1994)：提出映射芽的等奇性猜想
  3. Callejas-Bedregal, Houston, Ruas (2006)：证明了(μ)⇔(Top)(\mu) \Leftrightarrow (Top)
  4. Ruas, Silva (2016)：给出原始Ruas猜想的反例

相关技术

  • 横截面方法 (Marar-Nuño-Ballesteros)：简化曲面等奇性研究
  • Varchenko理论：拟齐次奇点的变形理论
  • Damon结果：非负次数变形的拓扑平凡性

结论与讨论

主要结论

  1. 在μm,k\mu_{m,k}-极小横截面条件下，Ruas猜想中的拓扑平凡性与Whitney等奇性等价
  2. Whitney等奇性与双Lipschitz等奇性在一般情况下不等价
  3. 拟齐次corank 1映射芽满足Zariski重数猜想

局限性

  1. corank限制：结果主要适用于corank 1情况
  2. 拟齐次假设：需要映射芽具有特殊的齐次结构
  3. μm,k\mu_{m,k}-极小条件：这是一个相对强的几何条件

未来方向

  1. 推广到高corank：扩展到corank ≥ 2的情况
  2. 一般映射芽：去除拟齐次假设
  3. 高维情况：推广到(Cn,0)→(Cn+1,0)(\mathbb{C}^n,0) \to (\mathbb{C}^{n+1},0)

深度评价

优点

  1. 理论创新：μm,k\mu_{m,k}-极小性概念提供了新的几何视角
  2. 构造性结果：给出了显式的标准形式和参数化
  3. 统一框架：将多个重要猜想纳入统一理论
  4. 技术深度：综合运用了代数几何、奇点理论和复分析的深刻结果

不足

  1. 适用范围：结果局限于特定的几何情况
  2. 计算复杂性：μm,k\mu_{m,k}-极小性的判定可能计算复杂
  3. 一般性：需要多个技术假设才能得到主要结果

影响力

  1. 理论贡献：为经典猜想提供了新的解决途径
  2. 方法论价值：横截面技术的新应用
  3. 启发性：为相关问题的研究提供了新思路

适用场景

  • 拟齐次映射芽的分类和变形理论
  • 特殊几何条件下的等奇性问题
  • 奇点理论中的计算和应用问题

开放问题

论文提出了三个重要的开放问题：

问题1：对于有限确定的拟齐次映射芽f:(Cn,0)→(Cn+1,0)f: (\mathbb{C}^n,0) \to (\mathbb{C}^{n+1},0)，拓扑平凡的1-参数变形是否都具有非负次数？

问题2：去除拟齐次假设，μm,k\mu_{m,k}-极小横截面条件是否仍能保证Whitney等奇性？

问题3：是否存在平面曲线族LtL_t使得双Lipschitz等奇性等价于μ(Lt,0)\mu(L_t,0)的常性？

这些问题指向了奇点理论中更深层的结构性问题，为未来研究提供了明确方向。