[论文解读] Segre Numbers and Hypersurface Singularities

Terence Gaffney, Robert Gassler|ArXiv.org|Nov 1, 1996

Commutative Algebra and Its Applications参考文献 11被引用 63

一句话总结

本文引入了塞雷数（Segre numbers）作为非有限余长理想的一类不变量，推广了经典的多重性概念。它建立了这些不变量的上半连续性，并将其应用于等奇异性理论，表明相对极小多重性与 Lê 数的常数性蕴含 Whitney 正则性及含非孤立奇点的超曲面族的 $W_f$ 条件。

ABSTRACT

We define the Segre numbers of an ideal as a generalization of the multiplicity of an ideal of finite colength. We prove generalizations of various theorems involving the multiplicity of an ideal such as a principle of specialization of integral dependence, the Rees-Böger theorem, and the formula for the multiplicity of the product of two ideals. These results are applied to the study of various equisingularity conditions, such as Verdier's condition W, and conditions $A_f$ and $W_f$.

研究动机与目标

• 通过塞雷数将多重性概念推广至无有限余长的理想。
• 将经典定理（如 Rees 定理）及积分闭包的专一性原理推广至该广义设定。
• 将这些不变量应用于研究含非孤立奇点的超曲面族中的等奇异性条件，如 $W_f$、$A_f$ 及 Whitney 条件。
• 建立雅可比理想的塞雷数与几何不变量（如 Lê 数与极小多重性）之间的联系。
• 证明关键不变量的常数性蕴含 Whitney 正则性与 $W_f$ 条件，从而验证了 Parusinski 的预测。

提出的方法

• 通过交点理论定义塞雷数：将理想之爆破的例外除子与一般超平面相交，前推至基空间后取重数。
• 利用积分依赖的专一性原理（在定理 4.6 中推广），将理想之塞雷数与其实现的塞雷数关联。
• 利用极小多重性，将 $I \cdot J$ 的塞雷数与 $I$ 和 $J$ 的塞雷数关联，推广 Teissier 的混合多重性公式。
• 将该理论应用于定义超曲面族的函数 $f$ 的雅可比理想 $J(f)$，将塞雷数与 Lê 数及相对极小多重性关联。
• 利用到切锥的形变，将 $f$ 的不变量与初始形式 $f_0$ 的不变量关联，证明其在退化下的不变性。
• 运用极小横截性与塞雷数的上半连续性，控制爆破中例外除子的行为。

实验结果

研究问题

• RQ1 能否通过一组新不变量将多重性概念推广至无有限余长的理想？
• RQ2 塞雷数如何与经典不变量（如多重性、混合多重性及 Lê 数）关联？
• RQ3 塞雷数的何种条件可保证含非孤立奇点的超曲面族中满足 Whitney 正则性或 $W_f$ 条件？
• RQ4 相对极小多重性与 Lê 数的常数性是否可蕴含族中整体等奇异性？
• RQ5 是否存在关于形变至切锥是否保持 Whitney 正则性的几何刻画？

主要发现

• 理想之塞雷数是字典序上半连续的，推广了多重性的半连续性。
• $J(f_t)$ 的塞雷数与 $f_t$ 的 Lê 数一致，其交错和等于 Milnor 纤维的欧拉示性数。
• $f_t$ 的相对极小多重性与 Lê 数为常数，当且仅当满足 $W_f$ 条件，且所有相关层均为 Whitney 正则。
• 若 $X$ 的光滑层、其奇点集 $\Sigma(X)$，以及 $\Sigma(\Sigma(X))$ 的余维 1 分量在参数空间上均为 Whitney 正则，则相对极小多重性与 Lê 数为常数。
• 形变至切锥 $\mathcal{X} \to \mathbb{C}$ 沿参数轴 Whitney 等奇异性成立，当且仅当 $m_1(f)^2 = \lambda_2(f) + m_2(f)$ 且 $m_1(f)^3 = \lambda_3(f) + m_1(f)\lambda_2(f)$。
• 该证明确认了 Parusinski 的猜想：$W_f$ 条件可由 Lê 数的常数性推出，借助塞雷数与极小多重性的新框架。