[論文レビュー] Ricci flow with surgery on three-manifolds

Grisha Perelman|ArXiv.org|Mar 10, 2003

Geometric Analysis and Curvature Flows参考文献 1被引用数 947

ひとこと要約

本稿は、コンパクトな3次元多様体におけるスurgery付きリッチフローの存在を確立し、任意の such 多様体が、非負のリッチ曲率を持つ部分と曲率 $-1/4$ の双曲的部品に、標準的かつ一意に分解可能であることを証明する。主な貢献は、トポロジー的分類である：スカラー曲率関数 $ \lambda$ が $ \bar{\lambda} < 0$ を満たす場合、3次元多様体は $ \mathbb{S}^2\times\mathbb{S}^1$、球面型空間形式、および双曲的多様体の連結和として表される。体積制約は、最小双曲的体積に関連している。

ABSTRACT

This is a technical paper, which is a continuation of math.DG/0211159. Here we construct Ricci flow with surgeries and verify most of the assertions, made in section 13 of that e-print; the exceptions are (1) the statement that manifolds that can collapse with local lower bound on sectional curvature are graph manifolds - this is deferred to a separate paper, since the proof has nothing to do with the Ricci flow, and (2) the claim on the lower bound for the volume of maximal horns and the smoothness of solutions from some time on, which turned out to be unjustified and, on the other hand, irrelevant for the other conclusions.

研究の動機と目的

• コンパクトな3次元多様体におけるスurgery付きリッチフローの厳密な存在を確立し、ハミルトンの元々の証明におけるギャップを是正すること。
• スurgery付きリッチフローのトポロジー的帰結を検証すること、特に幾何的部品への3次元多様体の分類に焦点を当てる。
• 関数 $\lambda > 0$ を持つ計量が存在するならば、その多様体は $ \mathbb{S}^2\times\mathbb{S}^1$ と球面型空間形式の連結和に微分同相であることを証明すること。
• $\bar{\lambda} = 0$ の場合、多様体はグラフ多様体であり、$\bar{\lambda} < 0$ を満たす多様体は存在しないこと。
• スケールの境界 $h$（カットオフ半径）と $r$（標準幾何学的半径）を制御することで、標準的フローの構成を可能にし、$h \to 0$ である一方で $r$ は0から正の距離を保つようにすること。

提案手法

• スケールの境界を2つ導入：$h$ はスurgeryのネックに、$r$ は標準幾何を持つ領域に使用され、特異点の制御が可能になる。
• $\epsilon$-ネック、$\epsilon$-チューブ、$\epsilon$-キャップ、強化 $\epsilon$-ネックを用いて、曲率とトポロジーが制御された領域を分類する。
• $\lambda$-汎関数と体積制約を用いて、スカラー曲率の挙動に基づき多様体を分類する。
• 勾配収縮ソリトンと漸近的ソリトンを用いて、古代解を分析し、正の曲率を持つ非コンパクト $\kappa$-解が存在しないことを除外する。
• $\epsilon$-ネックとチューブにおける比較推定を用いて、スurgery後の $-4\Delta + R$ の第一固有値 $\lambda^{-}$ を評価する。
• スurgery後の計量から前スurgery計量への固有関数の拡張を、誤差を制御して行い、関数的境界を保持するとともに、体積損失が無視できる程度に保つ。

実験結果

リサーチクエスチョン

• RQ1 ハミルトンの元々の証明におけるギャップを補うにあたり、コンパクトな3次元多様体におけるスurgery付きリッチフローを厳密に構成可能か？
• RQ2 コンパクトな3次元多様体にスurgery付きリッチフローを適用したとき、どのようなトポロジー的構造が現れるか？
• RQ3 3次元多様体が $\lambda > 0$ を満たす計量を持つための条件は何か？そのトポロジー的型は？
• RQ4 $\bar{\lambda} < 0$ を満たす多様体における双曲的部品の最小体積は何か？また、$\bar{\lambda}$ とどのように関係しているか？
• RQ5 最大の時空領域上で標準的リッチフローを定義可能か？スケール境界 $h$ と $r$ はその実現をどのように支援するか？

主な発見

• スカラー曲率関数 $\lambda > 0$ を持つ計量が存在する多様体は、$ \mathbb{S}^2\times\mathbb{S}^1$ と球面型空間形式の商計量の連結和に微分同相である。
• $\bar{\lambda} = 0$ の場合、多様体はグラフ多様体であり、$\bar{\lambda} < 0$ を満たす多様体は存在しない。
• $\bar{\lambda} < 0$ の場合、双曲的部品の最小体積 $\bar{V}$ は $(-\frac{2}{3}\bar{\lambda})^{3/2}$ に等しく、曲率 $-1/4$ のこのような双曲的多様体は、多様体の素因数分解に埋め込むことができる。
• スurgery後の $-4\Delta + R$ の第一固有値 $\lambda^{-}$ は $r(T_0)^{-2}$ で上から抑えられ、固有関数 $a$ は $\int_{M_{\text{cap}}} a^2 < h^6$ を満たす（$h$ が小さいとき）。
• スurgeryによる体積損失は少なくとも $h^3$ であるが、固有関数は誤差 $O(h^4)$ を伴い、前スurgery計量に拡張可能であり、$\lambda$-汎関数の制御が可能になる。
• 構成法により、$h$ を任意に小さくできる一方で $r$ は0から正の距離を保つようにできるため、最大時空領域上で標準的リッチフローを定義可能である。