A lower bound for the Milnor number of vector fields

技术摘要：向量场 Milnor 数的下界

问题陈述
本文研究了 $\mathbb{C}^n$ 上全纯向量场 $X$ 的行为，其奇异集 $\text{Sing}(X)$ 包含一个余维数为 $d \geq 2$ 的光滑、正维度的局部完全相交子簇 $W$。虽然孤立奇异性的理论已非常成熟（特别是通过 Soares 关于 $\mathcal{K}$-等价和有限决定性的研究），但非孤立奇异集的案例呈现出截然不同的挑战。在全纯形变 $\{X_t\}$ 下，孤立奇异点可能会从 $W$ 处产生、保持在固定邻域内，或者随着参数 $t \to 0$ 收敛于 $W$。此外，在进行射影紧化后，部分总指数可能会集中在无穷远超平面处。

核心问题在于是否存在一个一致的下界，用于描述在任何容许的全纯扰动下收敛于 $W$ 的孤立奇异性的总 Milnor 数（或 Poincaré–Hopf 指数）。具体而言，是否存在一个量 $\mu_0(X, W)$，使得对于每一个具有有限奇异集的形变 $\{X_t\}$，收敛于 $W$ 的点的 Milnor 数之和的极限满足 $\mu(X_t, W) \geq \mu_0(X, W)$？

方法论
作者结合了形变理论、相交理论以及全纯叶状结构的研究。

1. 形变与扰动： 研究重点在于“嵌入奇异点”，即由足够小的容许形变产生的、收敛于 $W$ 的孤立奇异点。这与 Bracci 和 Suwa 开发的 Baum–Bott 残差形变理论相一致。
2. $\mathcal{K}$-等价与决定性： 本文利用了 Mather 的 $\mathcal{K}$-决定性理论。对于孤立奇异性，有限决定性允许将其简化为有限阶喷射（jet）。对于正维度分量，作者通过参数依赖的 $\mathcal{K}(d)$-等价性扩展了这一理论，分析了定义 $W$ 的映射的等维切片。
3. 射影紧化与吹胀： 分析涉及沿 $W$ 吹胀 $\mathbb{P}^n$，以研究叶状结构沿例外除子的行为。“歧路型”（dicritical）与“非歧路型”分量的概念对于确定沿例外除子的消失阶数至关重要。
4. 多项式逼近： 定理 3.1 确立了任何具有光滑完全相交奇异集的全纯叶状结构都可以由多项式叶状结构逼近，从而允许使用代数技术来研究指数的极限行为。
5. 梯度场： 研究结果被应用于全纯函数丛的梯度场 $\nabla f$，将向量场的 Milnor 数与函数在临界点处的 Milner 数联系起来。

主要贡献与结果

• 精确全局公式 (定理 1.2)： 作者为 $\mathbb{P}^n$ ($n \geq 3$) 上的全纯叶状结构提供了一个精确的全局公式，其奇异集由光滑、非歧路型的完全相交分量 $W_j$ 及孤立点组成。该公式将孤立点处的指数之和与残差项 $\nu(\mathcal{F}, W_j, \varphi_0)$ 以及嵌入点数 $N(\mathcal{F}, A_{W_j})$ 联系起来：
  $$\sum \mu(\mathcal{F}, p_i) = \sum k^i + \sum \nu(\mathcal{F}, W_j, \varphi_0) - \sum N(\mathcal{F}, A_{W_j})$$
  这识别了由正维度分量支撑的贡献。

• 尖锐局部下界 (定理 1.3)： 本文的主要结果是关于收敛于 $W$ 的奇异性的 Milnor 数的一个局部下界。对于 $\mathbb{C}^n$ 上具有光滑完全相交 $W \subset \text{Sing}(\mathcal{F})$ 的全纯叶状结构丛 $\mathcal{F}$，本文证明了：
  $$\mu(\mathcal{F}_t, W) \geq N(\mathcal{F}, A_W)$$
  其中 $N(\mathcal{F}, A_W)$ 是与 $W$ 相关联的嵌入闭点数（按扰动意义计数）。该界限是尖锐的；文中证明了对于“完全简单”（totally simple）叶状结构（即 Jacobian 矩阵沿 $W$ 有非零子式），存在一种使得 Miltor 数之和的极限恰好为零的扰动。

• 梯度场的应用 (推论 1.4)： 通过将向量场结果应用于梯度场 $\nabla f$，作者导出了在光滑正维度临界分量 $W$ 附近产生的孤立临界点的总 Milnor 数的一个下界。在 Morse 化（morsification）的情况下（即形变产生非退化临界点），这成为了收敛于 $W$ 的 Morse 临界点数量的一个下界。

• 显式族与尖锐性 (第 4 节)： 作者构造了显式的向量场族来展示界限的尖锐性。这些示例说明了：

  • 奇异性在固定仿射邻域与无穷远超平面之间的重新分配。
  • 在通过超越系数的多项式截断时，无穷远处的贡献可以变得任意大，这表明在一般类中，无穷远处的贡献不存在统一的上界。
  • 实现下界的情景（例如，在完全简单情形下，扰动可以完全消除 $W$ 附近的奇异性）。

意义与主张
本文声称解决了是否存在关于收敛于正维度分量的奇异性的 Milnor 数下界的问题。它确立了“嵌入贡献”（即嵌入点数 $N(\mathcal{F}, A_W)$）即为该尖锐下界。

作者将其工作定位为与涉及 Lê 循环、Lê 数和极数（polar multiplicities）（Teissier, Gaffney）的现有理论相辅相成。虽然这些理论通过 Chern 理论不变性描述了临界集的分裂，但本文隔离出了一个由嵌入贡献决定的特定下界。研究结果阐明了奇异性在形变下的行为，区分了那些留在分量附近的奇异性和那些迁移到无穷远的奇异性，并为射影设置下的总指数提供了精确公式。这项工作将经典的孤立奇异性理论（Soares, Esteves, Vainsencher）扩展到了非孤立情形，为计算存在正维度奇异集的 Milnor 数提供了一个统一的框架。