Equisingularity in families of double point curves

技术摘要：双点曲线族中的等奇性

问题陈述
本文研究有限确定映射芽 $f: (\mathbb{C}^2, 0) \to (\mathbb{C}^3, 0)$ 的单参数展开 $F = (f_t, t)$ 的等奇性与其关联的双点曲线族等奇性之间的关系。具体而言，作者分析了四个关联轨形：源空间中的双点曲线 $D(F)$、双点曲线的像 $F(D(F))$、双点空间 $D_2(F)$ 以及商空间 $D_2(F)/S_2$。

核心问题在于：展开 $F$ 的特定等奇性概念（拓扑平凡性、惠特尼等奇性和双 Lipschitz 等奇性）是否蕴含这些关联曲线族具有相同的性质。虽然已确立 $F$ 的拓扑平凡性蕴含所有四个关联族的拓扑平凡性，但在更强条件（惠特尼和双 Lipschitz）下的行为尚不明确。本文旨在确定逆命题是否成立，或者是否存在反例，即 $F$ 满足强等奇性条件，但关联曲线却不满足。

方法论
作者运用奇点理论的工具，利用通过 Fitting 理想定义的多重点空间的解析结构，以及将双点空间构建为复空间的方法。关键的方法论组成部分包括：

1. 解析结构：文章严格定义了 $D(f)$、$f(D(f))$ 和 $D_2(f)/S_2$ 的解析结构。对于 $D_2(f)/S_2$，作者利用置换群 $S_2$ 在 $D_2(f)$ 上的作用，并提供显式计算方法（包括 Singular 代码）以推导商理想的生成元。
2. 不变量与判据：研究依赖于经典不变量，如米尔诺数（$\mu$）、重数（$m$）以及稳定化中的交叉帽数（$C$）和三重点数（$T$）。等奇性通过检验这些不变量的常数性以及是否满足惠特尼条件 (b) 来进行测试。
3. 反例构造：作者构造了显式的映射芽族 $f_t$ 以检验等奇性蕴含关系的极限。这些例子通常涉及拟齐次或齐次映射芽，其中形变添加了具有特定加权次数的项。
4. 推广：该方法将双点曲线的经典公式从 $(\mathbb{C}^2, 0) \to (\mathbb{C}^3, 0)$ 的情形推广到 $n \geq 3$ 时从 $(\mathbb{C}^n, 0) \to (\mathbb{C}^{2n-1}, 0)$ 的映射芽的高维情形。

主要贡献与结果

1. 等奇性蕴含关系的细化：
   本文对等奇性类型进行了系统比较。它确认了如果 $F$ 是拓扑平凡的，则所有四个关联族都是拓扑平凡的。然而，作者提出了反例表明：

   • 如果 $F$ 是惠特尼等奇的，$D_2(F)/S_2$ 可能不是惠特尼等奇的。
   • 如果 $F$ 是惠特尼等奇的，$D_2(F)$ 可能不是双 Lipschitz 等奇的。
   • 如果 $F$ 是双 Lipschitz 等奇的，$D_2(F)/S_2$ 可能不是惠特尼或双 Lipschitz 等奇的。
   • 即使 $F$ 是惠特尼等奇的，$F(D(F))$ 也可能不是双 Lipschitz 等奇的。

2. 双 Lipschitz 等奇性的充分条件：
   作者证明，如果 $f$ 是齐次映射芽且 $F$ 是拓扑平凡的，则 $D_2(F)$ 是双 Lipschitz 等奇的。这一结果依赖于齐次映射双点空间的特定几何结构，其中各分量是直线的并集。

3. Henry 型族：
   本文引入并构造了被称为"Henry 型”的新曲线族。这些被定义为拓扑平凡但未能满足惠特尼等奇性条件（由于重数非常数）的拟齐次完全交曲线族。作者证明了源自特定展开的族 $D_2(F)/S_2$ 构成了此类 Henry 型族，为等奇性理论提供了新的反例来源。

4. 双点公式的推广：
   针对关于高维映射芽（$n \geq 3$）的问题，作者利用约化 Fitting 理想为曲线 $D(f)$ 和 $f(D(f))$ 提出了一种便捷的解析结构。他们确立了对于 $f: (\mathbb{C}^n, 0) \to (\mathbb{C}^{2n-1}, 0)$，$D(f)$ 的米尔诺数等于 $D_2(f)$ 的米尔诺数。他们还提供了一个公式，将 $\mu(D(f)_{red})$ 与 $\mu(D_2(f))$ 以及 $D(f)$ 的 $\epsilon$ 不变量联系起来。

意义
本文的意义在于阐明了双点轨形等奇性条件的层级关系。它表明，展开 $F$ 的等奇性在惠特尼或双 Lipschitz 条件下并不会自动传递到其所有关联的双点曲线，从而细化了对奇点理论中几何约束的理解。

通过构造显式反例，作者挑战了源映射的拓扑平凡性或惠特尼等奇性蕴含商双点空间 $D_2(F)/S_2$ 具有类似性质的假设。引入新的 Henry 型族扩展了可用于检验该领域基本猜想的反例目录。此外，将双点公式推广到高维（$n \geq 3$）为研究余维数为 $n-1$ 的映射芽提供了必要的解析框架，扩展了此前仅限于 $(\mathbb{C}^2, 0) \to (\mathbb{C}^3, 0)$ 情形的经典结果。