解法: ペレルマンの手術付きリッチ流(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$ -非崩壊性を組み合わせると、3次元の有限時間特異点におけるあらゆるブローアップ極限は「 $\kappa$ -解」、すなわち $(-\infty,0]$ 上で定義される完備で非平坦、有界非負断面曲率を持ち、すべてのスケールで $\kappa$ -非崩壊な古代解となる。

arXiv:math/0211159 の§§11–12においてペレルマンは3次元の $\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$ -非崩壊であるもの;3次元におけるあらゆる有限時間特異点に対する局所モデル。
標準近傍: 高曲率の点の周りの小さな近傍で、リスケール後には有限個の標準的な形——頚、キャップ、あるいは正曲率の閉じた断片——のいずれかに見えることが保証されている。

このステップで使う知識

滑らかな多様体ポアンカレ予想