技术摘要：代数超曲面欧氏距离函数的莫尔斯理论

1. 问题陈述

本文旨在构建一个系统的莫尔斯理论框架，用于研究从闭可定义子集 $Y \subseteq \mathbb{R}^n$ 到光滑流形 $X$ 的欧氏距离函数限制。具体而言，作者分析了如下函数：
$$\text{dist}_Y|_X : X \to \mathbb{R}, \quad \text{其中 } \text{dist}_Y(z) := \min_{y \in Y} \|y - z\|.$$

尽管距离函数在微分几何和计算代数几何中处于核心地位（定义了如欧氏距离度和瓶颈等概念），但它们通常既不可微也不凸。经典的莫尔斯理论依赖于光滑性和非退化临界点，因此无法直接应用。核心问题在于为这些利普希茨（Lipschitz）函数定义一个稳健的“临界点”和“指标”概念，使其能够进行拓扑分析（通过子水平集的变化），并提供此类临界点数量的界限，特别是当 $X$ 和 $Y$ 为一般性代数超曲面时。

2. 方法论

作者建立了一个基于利普希茨几何和连续选择理论的框架，而非经典的平滑分析。

2.1. 通过次微分定义临界点

遵循 Clarke 关于局部利普希茨函数的理论，作者将临界点 $x \in X$ 定义为 Clarke 次微分 $\partial_x (\text{dist}_Y|_X)$ 包含零向量的点。

• 次微分被构造为可微点处梯度极限的凸包。
• 对于距离函数，点 $x$ 处的次微分被明确描述为从 $x$ 指向其在 $Y$ 中最近点的归一化向量的凸包。
• 如果零向量位于该凸包在切空间 $T_x X$ 上的投影内，则该点为临界点。

2.2. 连续选择与非退化性

为了应用莫尔斯理论的结果，作者将注意力限制在 $\text{dist}_Y|_X$ 表现为有限个 $C^2$ 函数的连续选择的情形。

• 连续选择：如果函数 $f$ 满足对每个 $x$ 都有 $f(x) = f_i(x)$（对于某个 $i$），则称 $f$ 是 $(f_0, \dots, f_m)$ 的连续选择。
• 非退化临界点：临界点 $x$ 是非退化的，如果：
  1. 活跃函数 $f_i$（即满足 $f(x)=f_i(x)$ 的函数）的微分满足线性无关条件。
  2. 这些函数的特定凸组合（记为 $\lambda_f$）在其核的交集上具有非退化的二阶微分。
• 对偶指标：与具有单一指标的经典莫尔斯理论不同，该框架中的非退化临界点拥有两个指标：
  • 分段线性指标 ($k$)：定义为 $k = \#I(x) - 1$，其中 $I(x)$ 是活跃函数指标的集合。这与 $Y$ 中最近点的数量（几何瓶颈）相关。
  • 二次指标 ($\iota$)：$\lambda_f$ 的 Hessian 矩阵限制在相关子空间上的负特征值个数。

2.3. 通过多射横截性实现一般性

为了确保这些定义适用于代数超曲面的具体情况，作者采用了参数化多射横截性定理。他们证明了对于定义 $X$ 和 $Y$ 的一般性多项式：

• 距离函数在临界点附近是连续选择。
• 所有临界点都是非退化的。
• 任意 $x$ 的最近点数量被 $n+1$ 所界定。

3. 主要贡献与结果

3.1. 瓶颈与最近点问题的统一

该框架统一了计算代数几何中的两个主要问题：

1. 瓶颈：当 $X = \mathbb{R}^n$ 时，临界点对应于几何瓶颈（到 $Y$ 上多个点等距的点）。分段线性指标 $k$ 对应于瓶颈的阶数。
2. 欧氏距离度 (EDD)：当 $Y$ 为单点时，临界点对应于标准的 EDD 问题。
   作者表明，这两者都是 $\text{dist}_Y|_X$ 临界点的实例，仅通过其指标加以区分。

3.2. 拓扑变化与莫尔斯不等式

本文建立了距离函数的形变引理：如果一个区间不包含任何临界值，则子水平集可形变收缩。
对于非退化临界点，穿过临界值时的同调变化由两个指标 $(k, \iota)$ 控制。具体而言，相对同调 $H_*(X_{c+\epsilon}, X_{c-\epsilon})$ 同构于球面 $S^{k+\iota}$ 的约化同调。
这导出了联系 $X$、$X \cap Y$ 的贝蒂数与临界点的强莫尔斯不等式：
$$\sum_{i=0}^\lambda (-1)^{i+\lambda} b_i(X) \leq \sum_{i=0}^\lambda (-1)^{i+\lambda} \left( b_i(X \cap Y) + \sum_{k+\iota=i} \#C_{k,\iota}(X, Y) \right)$$
其中 $C_{k,\iota}(X, Y)$ 表示具有指标 $k$ 和 $\iota$ 的非退化临界点集合。

3.3. 对偶公式

一个显著的结果是 $X$ 和 $Y$ 欧拉示性数的对偶公式（假设紧致性和非退化性）：
$$\chi(Y) + \sum_{k,\iota \geq 0} (-1)^{k+\iota} \#C_{k,\iota}(X, Y) = \chi(X) + \sum_{k,\iota \geq 0} (-1)^{k+\iota} \#C_{k,\iota}(Y, X)$$
这推广了欧拉示性数与临界点交错和之间的经典关系。

3.4. 临界点数量的界限

作者为一般性代数超曲面 $X = Z(p)$ 和 $Y = Z(q)$（次数分别为 $d_1$ 和 $d_2$）提供了临界点数量的显式界限。

• 有限性：对于 $d_1, d_2 \geq 3$，临界点的数量是有限的。
• 次数界限：不在 $Y$ 中的 $k$-临界点（即具有 $k+1$ 个最近点的点）的数量被以下公式界定：
  $$\#C_{k,\ast}(\text{dist}_Y|_X) \leq c(k, n) \cdot d_1^n \cdot d_2^{n(k+1)}$$
  其中 $c(k, n)$ 是仅依赖于 $n$ 和 $k$ 的常数。
• 该结果推广了之前关于瓶颈度（其中 $k=1$）和欧氏距离度的界限。

4. 意义与主张

本文声称提供了一个通用的系统框架，利用利普希茨几何的语言恢复并统一了距离几何中各种临界点的概念。

• 理论统一：通过将距离函数视为连续选择，它弥合了经典微分几何（平滑莫尔斯理论）与计算代数几何（EDD、瓶颈）之间的鸿沟。
• 拓扑解释：它通过分段线性指标提供了几何现象（如瓶颈）的拓扑解释，表明拓扑变化既取决于最近点的数量（$k$），也取决于曲率性质（$\iota$）。
• 技术工具集：本文提供了一个“技术工具集”（特别是针对多项式的参数化多射横截性定理），保证了该理论适用于一般性代数超曲面。这使得能够在不依赖极类（polar classes）等复杂代数几何技术的情况下推导次数界限，尽管作者指出其技术可推广至复情形。
• 谦逊声明：作者明确指出，虽然他们专注于光滑代数超曲面，但预期结果可推广至完全交，这将留待未来工作。他们还指出，相对于集合 $Y$ 的“实欧氏距离度”定义已被引入，但对其复对应物的研究留待未来探讨。

总之，本文确立了对于一般性代数超曲面，距离函数在（连续选择的意义上）表现得足够像莫尔斯函数，从而允许进行精确的拓扑分析并获得临界点数量的定量界限。