[论文解读] Perelman's Stability Theorem

Vitali Kapovitch|ArXiv.org|Feb 28, 2007

Geometric and Algebraic Topology参考文献 18被引用 22

一句话总结

本文提供了佩雷尔曼稳定性定理的详细且易于理解的证明，表明对于一列非坍塌的 $n$-维阿列克桑德罗夫空间，若其下界曲率满足 $\kappa$，且在 Gromov-Hausdorff 拓扑下收敛于一个 $n$-维极限空间，则该序列中所有足够远的成员均与极限空间同胚。该证明依赖于 DC（凹函数之差）函数和极小子集上的相对纤维化结构，通过归纳法与粘贴技术，从局部近似构造出全局同胚映射。

ABSTRACT

We give a proof of the celebrated stability theorem of Perelman stating that for a noncollapsing sequence $X_i$ of Alexandrov spaces with curvature bounded below Gromov-Hausdorff converging to a compact Alexandrov space $X$, $X_i$ is homeomorphic to $X$ for all large $i$.

研究动机与目标

• 提供佩雷尔曼稳定性定理的清晰、易读且自包含的证明，该定理断言：下界曲率 $\geq \kappa$ 的非坍塌 $n$-维阿列克桑德罗夫空间序列最终与它们的 Gromov-Hausdorff 极限同胚。
• 通过整合佩雷尔曼后期著作中的构造，特别是 DC 函数与极小子集的使用，简化并澄清其原始证明。
• 为对 $(X, E)$ 构造相对版本的稳定性定理，其中 $E$ 是一个极小子集，从而支持分层结构的归纳法。
• 证明稳定性结果可推出曲率与直径有界时流形的有限性定理，包括此前方法失效的三维情形。
• 探讨阿列克桑德罗夫空间上 DC 结构的潜力，并提出关于其与经典几何结构（如光滑、PL 或 Lipschitz）关系的开放问题。

提出的方法

• 通过极小子集的框架进行反向归纳，利用局部纤维化与粘贴技术，构造出全局同胚映射。
• 在阿列克桑德罗夫空间上使用 DC（凹函数之差）函数，这些函数自然源于距离函数，以定义与拓扑相容的几何结构。
• 关键技术工具是相对局部纤维化定理，它允许在相对情形下于小邻域上构造纤维丛。
• 将强粘贴定理适配到相对范畴中，使得在受控度量条件下，可将局部同胚拼合成全局同胚。
• 使用分层对 $(X,E)$ 的 $\varkappa$-连通性概念，以确保在粘贴过程中对逼近质量实现统一控制。
• 构造一个辅助函数 $\tilde{h}$，将一般情形约化为函数在某一层上恒为零的简化情形，从而促进归纳法的应用。

实验结果

研究问题

• RQ1 能否使用现代度量几何与 DC 函数工具，以更易理解且系统化的方式重新证明佩雷尔曼的稳定性定理？
• RQ2 稳定性结果是否可推广至对 $(X, E)$，其中 $E$ 是一个极小子集？若可推广，对逼近空间的拓扑有何影响？
• RQ3 是否可加强稳定性结果，使得逼近空间与极限空间之间的同胚映射为双李普希茨映射，如佩雷尔曼所声称？
• RQ4 阿列克桑德罗夫空间上的 DC 结构与经典几何结构（如光滑、PL 或 Lipschitz）之间存在何种关系？
• RQ5 相对稳定性定理是否意味着极小子集的维数在非坍塌 Gromov-Hausdorff 极限下保持不变？

主要发现

• 稳定性定理成立：对任意紧致的 $n$-维阿列克桑德罗夫空间 $X$，其曲率 $\geq \kappa$，存在 $\epsilon > 0$，使得任意 $n$-维阿列克桑德罗夫空间 $Y$ 满足 $d_{GH}(X,Y) < \epsilon$ 时，$Y$ 与 $X$ 同胚。
• 该证明表明，在非坍塌条件下，Gromov-Hausdorff 近似 $X_i \to X$ 可被同胚映射逼近，对所有充分大的 $i$ 成立。
• 证明了稳定性定理的相对版本：若 $E_i \subset X_i$ 与 $E \subset X$ 是极小子集，且 $X_i \to X$ 非坍塌，则对充分大的 $i$，有 $E_i$ 同胚于 $E$，且 $\dim E_i = \dim E$。
• 相对稳定性定理表明，极小子集的维数在非坍塌 Gromov-Hausdorff 极限下保持不变。
• 本文表明，格鲁夫-彼得森-吴关于曲率 $\geq \kappa$、直径 $\leq D$ 且体积 $\geq v$ 的流形的有限性定理在所有维数下成立，包括 $n=3$，其证明依赖于稳定性定理。
• 本文确认，相对稳定性定理意味着极小子集 $E_i$ 的极限同胚于 $E$ 且无坍塌，且对充分大的 $i$ 有 $\dim E = \dim E_i$。