解法：佩雷尔曼的带手术里奇流(2002–2003年),概要版

第 6/9 步：

\kappa

-解与典范邻域定理

上一步下一步

通俗地说

有了(来自 Hamilton–Ivey 估计的)曲率控制和(来自无局部坍缩的)体积控制之后,奇点附近一切可能的“放大图像”竟然都只属于一份很短、可分类的形状清单:圆柱形(颈)、封了帽的圆柱、或者正曲率的闭合碎片。

就好比无论气球被捏得多么厉害,近看它也只能呈现少数几种标准形状之一——绝不会是什么怪异的东西。正是这份简短的清单,使得下一步中的手术能够以受控、可重复的方式进行。

(M_\infty,g_\infty(t))_{t\in(-\infty,0]}\ \ \kappa\text{-noncollapsed},\quad \mathrm{Rm}\ge 0

详细分析

将 Hamilton–Ivey 夹逼与 $\kappa$ -非坍缩性结合起来,三维有限时间奇点处的任何爆炸极限都是一个“ $\kappa$ -解”:定义在 $(-\infty,0]$ 上、具有有界非负截面曲率且在一切尺度上 $\kappa$ -非坍缩的完备非平坦古解。

在 arXiv:math/0211159 的第 11–12 节中,佩雷尔曼分类了所有三维 $\kappa$ -解并推出典范邻域定理:标量曲率 $R(x,t)\ge r_0^{-2}$ 充分大的每个点,在尺度 $R(x,t)^{-1/2}$ 下都有一个邻域,要么是 $\epsilon$ -颈(接近 $S^2\times I$ ),要么是 $\epsilon$ -帽(封住颈部的拓扑 $B^3$ 或扭曲球),要么属于正曲率闭流形。

这种典范邻域结构正是定义并控制下一步中穿过颈部夹断的手术所需要的局部模型。

本步骤中的术语

$\kappa$ -解: 在一切 $t\le 0$ 上都有定义的完备非平坦里奇流古解,具有有界非负曲率且在一切尺度上 $\kappa$ -非坍缩;是三维中每个有限时间奇点的局部模型。
典范邻域: 高曲率点周围的一个小邻域,经过重标度后保证呈现为有限多种标准形状之一:颈、帽,或正曲率闭合碎片。

本步骤用到的知识

光滑流形庞加莱猜想