[论文解读] Hypersurface Singularities and Milnor Equisingularity

Lê Dũng Tráng, David B. Massey|ArXiv.org|Apr 19, 2005

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

一句话总结

本文证明了在原点处，复超曲面奇点 $f$ 的 Milnor 纤维的约化同调群 $\widetilde{H}_{n-s}(F_f)$ 的秩，完全决定了 $f$ 是否在光滑底空间上定义了一个 Milnor 一致的 $\mu$-常数族。关键结果表明，该贝蒂数与通用的 $s$-维 Lê 数 $\lambda^s_f(\mathbf{0})$ 相等，当且仅当该族是 Milnor 一致的，通过 perverse sheaves 和消失上同调将拓扑不变量与一致性联系起来。

ABSTRACT

Suppose that $f$ defines a singular, complex affine hypersurface. If the critical locus of $f$ is one-dimensional at the origin, we obtain new general bounds on the ranks of the homology groups of the Milnor fiber, $F_{f, \mathbf 0}$, of $f$ at the origin, with either integral or $\mathbb Z/p\mathbb Z$ coefficients. If the critical locus of $f$ has arbitrary dimension, we show that the smallest possibly non-zero reduced Betti number of $F_{f, \mathbf 0}$ completely determines if $f$ defines a family of isolated singularities, over a smooth base, with constant Milnor number. This result has a nice interpretation in terms of the structure of the vanishing cycles as an object in the perverse category.

研究动机与目标

• 确定复超曲面奇点 $f$ 何时在光滑底空间上定义了一个孤立奇点族且 Milnor 数保持不变。
• 以 Milnor 纤维的拓扑不变量来刻画 Milnor 一致性。
• 理解在 perverse 范畴中消失上同调的结构及其与一致性的关系。
• 为非孤立奇点的 Milnor 纤维的贝蒂数建立有效且可计算的上界。
• 研究仿射空间上的常值层的消失上同调复形在何种情况下是半单的或可分解的。

提出的方法

• 作者使用 Milnor 纤维 $F_f$ 并计算其约化同调群 $\widetilde{H}_k(F_f)$，特别关注中间维同调群 $\widetilde{H}_{n-s}(F_f)$。
• 他们采用 $s$-维 Lê 数 $\lambda^s_f(\mathbf{0})$，该数通过临界集 $\Sigma f$ 的不可约分支上的局部 Milnor 数定义。
• 分析依赖于坐标 $\mathbf{z} = (z_0, \dots, z_{s-1})$ 的通用选择，以定义法截面并计算 $s$-维 Lê 数。
• 论文使用 perverse sheaves 理论和消失上同调函子 $\phi_f[-1]\mathbb{Z}^\bullet_\mathcal{U}[n+1]$ 来在导出范畴中解释一致性。
• 它应用 Sebastiani-Thom 定理和 Cerf 图技术来分析例子并检验上界。
• 主定理的证明通过归纳法和拓扑不变性将一般情形约化为 $s=1$ 的情形。

实验结果

研究问题

• RQ1 什么条件下 $\widetilde{H}_{n-s}(F_f)$ 的秩等于通用的 $s$-维 Lê 数 $\lambda^s_f(\mathbf{0})$？
• RQ2 确保奇点族具有常数 Milnor 数的精确拓扑条件是什么？
• RQ3 在何种条件下，消失上同调复形 $\phi_f[-1]\mathbb{Z}^\bullet_\mathcal{U}[n+1]$ 作为 perverse sheaf 是半单的？
• RQ4 在非孤立情形下，Milnor 纤维的贝蒂数能否被有效界定？
• RQ5 哪些 perverse sheaves 作为 $\mathbb{C}^{n+1}$ 上常值层的消失上同调复形出现？

主要发现

• 当且仅当 $f$ 在原点处定义了一个简单的 $\mu$-常数族时，$\widetilde{H}_{n-s}(F_f)$ 的秩等于 $\lambda^s_f(\mathbf{0})$。
• 当 $s=1$ 时，Milnor 一致性条件等价于 $\operatorname{rank}\widetilde{H}_{n-1}(F_f) = \lambda^1_f(z_0)(\mathbf{0})$，或在 $\mathbb{Z}/p\mathbb{Z}$ 系数下成立的相同等式。
• 若 $\Sigma f$ 的 $s$-维分支光滑，则 $\bigoplus_\nu (\mathbb{Z}^{\mu^\circ_\nu})^\bullet_\nu[s]$ 是 $\phi_f[-1]\mathbb{Z}^\bullet_\mathcal{U}[n+1]$ 的直和项，当且仅当 $f$ 是 Milnor 一致的。
• 在 Milnor 一致的情形下，消失上同调复形同构于 $(\mathbb{Z}^{\mu^\circ_{\Sigma f}})^\bullet_{\Sigma f}[s]$。
• 在非平凡情形下，消失上同调复形不是半单的，反例表明即使 $\Sigma f$ 同胚于 $\mathbb{C}$，该层结构仍能记住周围超曲面的几何信息。
• 存在反例表明，即使贝蒂数等于局部 Milnor 数之和，族也可能不是一致的，这表明更强的上界需要额外数据，如 Cerf 图或单值性。