[论文解读] Whitney equisingularity of families of surfaces in $\mathbb{C}^3$

María Aparecida Soares Ruas, O. N. Silva|arXiv (Cornell University)|Aug 30, 2016

Algebraic Geometry and Number Theory参考文献 12被引用 3

一句话总结

本文研究了 Ruas 长期以来的猜想：对于有限确定的映射芽 $f:(\mathbb{C}^2,0)\to(\mathbb{C}^3,0)$ 的 1 参数展开，若其拓扑平凡，则蕴含 Whitney 一致奇异性。通过反例，作者证明该猜想在一般情况下不成立，展示了即使双点曲线的 Milnor 数 $\mu(D(f_t))$ 保持不变，也无法保证 Whitney 一致奇异性。然而，他们识别出一类满足 $\gcd(n,m)\neq2$ 的齐次映射芽，使得该猜想成立，从而在 25 年后给出了该问题的完整解答。

ABSTRACT

In this work, we study families of singular surfaces in $\mathbb{C}^3$ parametrized by $\mathcal{A}$-finitely determined map germs. We consider the topological triviality and Whitney equisingularity of an unfolding $F$ of a finitely determined map germ $f:(\mathbb{C}^2,0) ightarrow(\mathbb{C}^3,0)$. We investigate the following conjecture: topological triviality implies Whitney equisingularity of the unfolding $F$? We provide a complete answer to this conjecture, given counterexamples showing how the conjecture can be false.

研究动机与目标

• 解决 Ruas 于 1994 年提出的猜想：对于有限确定的映射芽 $f:(\mathbb{C}^2,0)\to(\mathbb{C}^3,0)$ 的 1 参数展开，若其拓扑平凡，则蕴含 Whitney 一致奇异性。
• 研究双点曲线的 Milnor 数 $\mu(D(f_t))$ 的常数性是否足以保证展开的 Whitney 一致奇异性。
• 通过构造反例并识别该猜想成立的条件，为该猜想提供完整解答。
• 阐明极值多重性与 Hilbert-Samuel 多重性在刻画 $\mathbb{C}^3$ 中曲面族 Whitney 一致奇异性中的作用。

提出的方法

• 通过构造具有常数 $\mu(D(f_t))$ 但高阶不变量不恒定的映射芽族，构造 Ruas 猜想的显式反例。
• 应用 Gaffney 对 Whitney 一致奇异性的刻画：即 $\mu(D(f_t))$、$m_1(f_t(\mathbb{C}^2),0)$ 和 $m_0(f_t(D(f_t)))$ 的常数性。
• 利用由 $ (f\times f)^*\mathcal{I}_3 $ 生成的理想 $\mathcal{I}^2(f)$ 及雅可比矩阵 $\alpha_{ij}$ 的 $2\times2$ 子式，分析双点曲线 $D(f)$ 及其提升 $D^2(f)$。
• 通过双点曲线 $D(f)$ 的不可约分支的参数化与次数分析，计算不变量 $\mu(D(f_t))$、$m_0(f_t(D(f_t)))$ 和 $\mu_1(f_t(\mathbb{C}^2))$。
• 使用公式 $m_0(f(D(f))) = \frac{dn}{2}$，适用于齐次映射芽 $f(x,y) = (x^n, y^m, (x+y)^k)$，其中 $n,m,k$ 两两互素且 $n < m < k$，$d = nmk - n - m - k + 2$。
• 应用引理 7.1 和定理 7.2，证明当 $f(D(f))$ 的所有分支均为光滑时，拓扑平凡性蕴含 Whitney 一致奇异性。

实验结果

研究问题

• RQ1 映射芽 $f:(\mathbb{C}^2,0)\to(\mathbb{C}^3,0)$ 的 1 参数展开 $F$ 拓扑平凡是否蕴含 Whitney 一致奇异性？
• RQ2 双点曲线的 Milnor 数 $\mu(D(f_t))$ 的常数性是否足以保证展开 $F$ 的 Whitney 一致奇异性？
• RQ3 在 $\mathbb{C}^3$ 中的曲面族中，拓扑平凡性在何种条件下蕴含 Whitney 一致奇异性？
• RQ4 该猜想是否对特定类别的映射芽（如满足 $\gcd(n,m)\neq2$ 的齐次映射芽）成立？
• RQ5 Hilbert-Samuel 多重性 $m_0(f_t(D(f_t)))$ 与第一极值多重性 $m_1(f_t(\mathbb{C}^2),0)$ 在刻画 Whitney 一致奇异性中起何作用？

主要发现

• 该猜想——即对于有限确定的映射芽 $f:(\mathbb{C}^2,0)\to(\mathbb{C}^3,0)$ 的 1 参数展开，若其拓扑平凡则蕴含 Whitney 一致奇异性——在一般情况下不成立，已通过显式反例证明。
• 仅凭 Milnor 数 $\mu(D(f_t))$ 无法保证 Whitney 一致奇异性，如示例所示：$\mu(D(f_t))$ 保持常数，但 $m_0(f_t(D(f_t)))$ 或 $m_1(f_t(\mathbb{C}^2),0)$ 发生变化。
• 对于齐次映射芽 $f(x,y) = (x^n, y^m, (x+y)^k)$，其中 $n,m,k$ 两两互素且 $n < m < k$，双点曲线 $D(f)$ 具有 $d = nmk - n - m - k + 2$ 个光滑不可约分支，且所有分支均为识别分支。
• 在此类齐次映射芽中，若 $\gcd(n,m) \neq 2$，则拓扑平凡性蕴含 Whitney 一致奇异性，因为 $f(D(f))$ 的所有分支均为光滑，故每个分支满足 $m_0(f(D(f))) = 1$。
• 该公式 $m_0(f(D(f))) = \frac{dn}{2}$ 对此类齐次映射芽成立，其中 $d$ 为 $D(f)$ 的不可约分支数，$n$ 为第一分支的次数。
• 对于这些齐次映射芽，第一极值多重性 $\mu_1(f(\mathbb{C}^2))$ 为 $(n-1)(m-1) + dn$，其中 $d = nmk - n - m - k + 2$。