[论文解读] On the multiplicities of families of complex hypersurface-germs

Camille Plénat, David Trotman|arXiv (Cornell University)|Feb 23, 2012

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

一句话总结

本文研究复超曲面芽的 $μ$-常数族的等多重性，证明在定义函数的切锥满足特定几何条件时，多重性保持不变。利用 Lê-Saito-Teissier 的 $μ$-常数判别准则，本文表明：若 $f$ 的切锥的奇异集不包含于 $h$ 的切锥中，则族 $f + tg + t^2h$ 是等多重的，从而解决了 Zariski 关于多重性拓扑不变性问题的关键情形。

ABSTRACT

We show that the possible drop in multiplicity in an analytic family $F(z,t)$ of complex analytic hypersurface singularities with constant Milnor number is controlled by the powers of $t$. We prove equimultiplicity of $μ$-constant families of the form $f + tg + t^2h$ if the singular set of the tangent cone of $\{f = 0}$ is not contained in the tangent cone of $\{h = 0}$.

研究动机与目标

• 研究复超曲面芽的 $μ$-常数族是否为等多重的，解决奇点理论中的一个核心开放问题。
• 检验 Teissier 的猜想：$μ$-常数蕴含等多重性，这将解决 Zariski 关于多重性拓扑不变性的问题。
• 识别一族初始形式切锥的几何条件，以保证等多重性。
• 将先前在 Whitney 或 $(C)$-正则性下的等多重性结果推广至更广泛的 $μ$-常数族类别。

提出的方法

• 应用 Lê-Saito-Teissier 判别准则：$μ$-常数等价于当 $(z,t) \to (0,0)$ 时，$|F_t| / ||F_z|| \to 0$，其中 $F_t = \partial F/\partial t$ 且 $F_z = (\partial F/\partial z_1, \dots, \partial F/\partial z_n)$。
• 通过分析沿解析弧 $\gamma(u) = (uz_0, ut_0)$ 的 $F_t$ 和 $F_z$ 的零点阶数，检测该准则的违反情况。
• 利用 $f$ 的初始形式 $f_m$ 和 $h$ 的初始形式 $h_m$ 定义切锥，并研究 $f_m=0$ 的奇异集 $\Sigma(f_m)$。
• 施加条件 $\Sigma(f_m) \not\subset \{h_m = 0\}$，以确保 $F_z$ 的零点阶数足够高，从而满足准则。
• 采用阶论论证：$V(F_t) = \min_k \{ (k-1) + v(g_k) \}$ 且 $V(F_z) = \min\{m-1, V(F_t)\}$，其中 $v(g_k)$ 是 $g_k$ 沿弧的阶数。
• 通过反证法将问题归约为：当 $m(h) = m-1$ 时，利用 Lê-Saito-Teissier 准则证明 $m(h) \geq m$。

实验结果

研究问题

• RQ1 在 $f$ 和 $h$ 的切锥满足何种条件时，族 $F(z,t) = f(z) + tg(z) + t^2h(z)$ 沿小 $t$ 的多重性为常数？
• RQ2 若 $\Sigma(f_m) \not\subset \{h_m = 0\}$，是否意味着 $μ$-常数族中存在等多重性？
• RQ3 Lê-Saito-Teissier 准则能否用于排除当 $m(h) = m-1$ 时多重性的跳跃？
• RQ4 若 $f$ 具有孤立的切锥奇点，则形式为 $f + tg + t^2h$ 的 $μ$-常数族是否保证等多重性？
• RQ5 若 $f$ 的切锥奇异集关于 $h$ 非退化，是否强制 $m(h) \geq m$？

主要发现

• 若 $\{f=0\}$ 的切锥奇异集不包含于 $\{h=0\}$ 的切锥中，则 $m(h) \geq m$，且对小的 $t$，$F(\cdot,t)$ 的多重性为常数。
• 对于 $F(z,t) = f(z) + tg(z) + t^2h(z)$ 且 $μ$ 为常数的情形，若 $m(h) = m-1$，则 Lê-Saito-Teissier 准则被违反，导致矛盾。
• 通过分析一般弧及 $F_t$ 和 $F_z$ 的零点阶数，可得 $g$ 的多重性必须满足 $m(g) \geq m = m(f)$。
• 该结果可推广至高阶族：若 $\Sigma(f_m) \not\subset \{g_k = 0\}$，则对 $μ$-常数族有 $m(g_k) \geq m - k + 2$。
• 条件 $\Sigma(f_m) \not\subset \{h_m = 0\}$ 确保 $t$ 的低阶项不会破坏 $F_z$ 的阶数，从而保持准则成立。
• 证明依赖于 $t$ 的幂次分离，使得在一般弧上不会发生抵消，从而保持阶估计的稳定性。