A Lê number addendum to the Morse Splitting Lemma

技术摘要：关于 Morse 分裂引理的 Lê 数增补

问题陈述
本文研究了复解析 Morse 分裂引理与复解析函数 $f: (U, 0) \to (\mathbb{C}, 0)$ 的广义 Lê 数（其中 $U \subset \mathbb{C}^{n+1}$）之间的关系。虽然 Morse 分裂引理描述了基于 Hessian 矩阵秩的函数在临界点附近的局部结构，但本研究旨在确定这种结构分解如何影响广义 Lê 数 ($\lambda^*_f$)。具体而言，作者探讨了当临界集合 $\Sigma_f$ 为非孤立时，Lê 数的行为如何，并旨在刻画那些 0 维广义 Lê 数 ($\lambda^0_f(0)$) 较小（至多为 3）或临界集合维度为 1 的函数。

研究方法
本文采用了复解析几何和层论的技术，特别利用了消失循环（vanishing cycles）和亏损层（perverse sheaves）理论。

1. 坐标选择： 分析依赖于“数值广义”（numerically generic）坐标的概念。这些是位于点 $p \in \Sigma_f$ 处，使得 Lê 数元组在字典序下达到最小值的线性坐标选择。作者澄清说，虽然存在广义坐标，但单一坐标系无法对邻域内的所有点都具有数值广义性；研究重点严格限定在感兴趣的点（原点）上。
2. 拓扑证明： 本文并非提供代数推导，其核心方法论是针对一个关键引理的拓扑证明。该证明利用了导出范畴中的 Sebastiani-Thom 同构。它将函数 $f$ 的迭代近邻循环与消失循环的茎上上同调，与经过坐标变换后的简化函数 $g$ 的上同调联系起来。
3. 相交理论： 在分析特定情况（即 $\lambda^0_f(0) \leq 3$ 时），本文使用了涉及相对极曲线 $\Gamma^1_f$ 与偏导数 $\partial f / \partial z_0$ 定义的超曲面的相交理论。

主要贡献与结果

• 主定理 (Theorem 1.1)： 本文建立了 Morse 分裂引理的一个“Lê 数增补”。它证明了如果 $f$ 在原点的 Hessian 矩阵的秩为 $m \leq n$，则存在一个解析坐标变换 $\eta$，使得 $f$ 分解为：
  $$(f \circ \eta)(w_1, \dots, w_m, u_1, \dots, u_{n-m}) = w_1^2 + \dots + w_m^2 + g(u_0, \dots, u_{n-m})$$
  至关重要的是，$f$ 的广义 Lê 数与剩余函数 $g$ 的广义 Lê 数相同。此外，临界集合满足 $\Sigma(f \circ \eta) = \{0\} \times \Sigma_g$，且 $g$ 在原点的重数至少为 3。

• Lê 数分裂引理的证明 (Lemma 1.2)： 作者证明了对于形式为 $f(w, y) = w^2 + g(y)$ 的函数，其临界集合为 $\{0\} \times \Sigma_g$，且 $f$ 与 $g$ 在原点的广义 Lê 数相等。这是通过 Sebastiani-Thom 同构展示的，即展示了限制在其临界集合上的相关亏损层的同构关系。

• 针对小 $\lambda^0_f(0)$ 的分类 (Section 3)：

  • 情况 $\lambda^0_f(0) = 0$： 这意味着 Milnor 纤维是复盘（complex disk）与一个切片（slice）的 Milnor 纤维的乘积，或者相对极曲线为空。
  • 情况 $\lambda^0_f(0) = 1$： 作者证明，如果 $\lambda^0_f(0) = 1$，则临界集合必须是 0 维的（$s=0$），且 $f$ 具有一个 Milnor 数为 1 的非退化孤立临界点。这解决了此前关于当临界集合维度为 1 时 $\lambda^0_f(0)$ 是否可能为 1 的不确定性。
  • **情况 $\lambda^0_f(0) = 2$ 或 $3$：** 本文为这些情况提供了结构分解，确定了剩余函数$g$ 可能的重数以及奇点复连通（complex link）的同伦类型。

• 1 维临界集合 (Section 4)：

  • 本文刻画了何时对于 1 维临界集合 Lê 数是有定义的（要求坐标 $z_0$ 是“预极”的/prepolar）。
  • 文中确立了对于 $\dim \Sigma_f = 1$，1 维 Lê 循环与坐标无关，而 0 维 Lê 数取决于坐标的选择。
  • Proposition 4.1 提供了 1 维情况下坐标为数值广义的充分必要条件。
  • Example 4.2 说明了坐标可以是预极的（定义了 Lê 数）但不一定是数值广义的，展示了一个 $\lambda^0_{f,u}(0) = 1$（非广义）对比 $\lambda^0_{f,v}(0) = 0$（广义）的案例。

意义与主张
本文将自身定位为现有文献的一个虽小规模但精确的补充。作者明确指出，主要结果是“关于 Morse 分裂引理的 Lê 数增补”。其意义在于：

1. 连接结构与不变量： 它严谨地连接了奇异性的代数分解（Morse 分裂）与拓扑不变量（Lê 数），证明了分裂过程保留了剩余函数中的这些不变量。
2. 澄清广义性： 它澄清了存在广义坐标与用于计算的特定“数值广义”值之间的区别，特别是在 1 维临界集合的背景下。
3. 解决特定案例： 它明确排除了 1 维临界集合具有广义 $\lambda^0_f(0) = 1$ 的可能性，修正了该领域之前的一个开放性问题。

这项工作并未提出新的应用或未来的实验方向，而是巩固了在非孤立奇异性背景下计算和解释 Lê 数的理论框架。