# ポアンカレ予想 III：手術つき Ricci flow と有限時間消滅、予想の証明の論理 > Perelman の第 2・第 3 論文の主定理（手術つき Ricci flow の存在と有限時間消滅）を節番号つきで正確に述べ、手術の位相、極小球面の面積の発展不等式、そして 2 つの主定理からポアンカレ予想が従う論理を省略なしに証明する。検証の経過も年表にまとめる。 > https://rikai.mugen-giken.com/mathematics/great-problems/ricci-flow-surgery-finite-extinction ## 0. この記事の要点 「単連結な 3 次元の閉じた図形は 3 次元球面しかない」というポアンカレ予想を、図形を少しずつ変形して調べる方法で示すとき、変形の途中で一部がくびれて切れそうになります。この記事は、そのくびれた部分を切って帽子をかぶせ、変形を続ける操作（手術）が位相の上で何をするのかを調べ、変形が最後に消えてしまうことから、元の図形が何だったかを逆にたどります。読み終えると、証明の中で解析に頼る部分と、位相の議論だけで閉じる部分がどこで分かれているかが分かります。 - 対象は Perelman の第 2 論文 "Ricci flow with surgery on three-manifolds"（arXiv:math/0303109、2003 年 3 月）と第 3 論文 "Finite extinction time for the solutions to the Ricci flow on certain three-manifolds"（arXiv:math/0307245、2003 年 7 月）です。 - 特異時刻で、曲率が有界にとどまる部分 $\Omega$ の端は細長い**角**（horn）になります。角の中の細い首を $2$ 次元球面で切り、帽子を貼って流れを続けるのが**手術**です。任意の初期計量から、手術の時刻が集積しない手術つき Ricci flow がすべての時間で作れます（、第 2 論文 §4〜§5。主張のみ）。 - 手術は位相的には[連結和](/mathematics/differential-topology/tubular-neighborhoods-isotopy#def-connected-sum)の分解です。球面が多様体を 2 つに分けるなら $M\cong N_1\# N_2$、分けないなら $M\cong M'\#(S^2\times S^1)$ です（。証明します）。 - 素因子に非球面的なものがなければ、とくに基本群が有限なら、手術つきの流れは有限時間で消滅します（、第 3 論文。主張のみ）。その核になる不等式、極小 $2$ 球面の面積についての $\frac{dA}{dt}\le-4\pi-\frac12R_{\min}A$ は、滑らかな極小球面の場合に証明します（）。 - 2 つの主定理を仮定すると、消滅する多様体は[球面空間形](/mathematics/great-problems/poincare-conjecture-ricci-flow#def-spherical-space-form)と $S^2\times S^1$ の連結和で、基本群が自明ならすべての因子が $S^3$ になります。こうして**ポアンカレ予想が従います**（。この導出は完全に証明します）。 - 幾何化予想には長時間挙動の解析（第 2 論文 §6〜§8）が要りますが、ポアンカレ予想には要りません。3 本のプレプリントは査読誌に載っておらず、2006〜2008 年に公表された複数の独立した詳細な検証によって定理として受け入れられました。 ## 1. 動機 [第 4 章](/mathematics/great-problems/poincare-conjecture-ricci-flow) で Hamilton の計画を述べました。Ricci flow で計量を流し、首がつぶれそうになったら切って帽子を貼り、また流す。これを繰り返して各成分が丸くなって消えれば、もとの多様体の位相が分かる、というものです。[第 5 章](/mathematics/great-problems/perelman-entropy-noncollapsing) の非崩壊定理と標準近傍定理により、滑らかな流れの最初の特異時刻の直前では、曲率の大きい部分が首と帽子でできていることが分かりました。 残る問題は 3 つです。 1. 手術の後の流れにも、非崩壊と標準近傍の性質が引き継がれるか。引き継がれなければ、2 回目の特異時刻で切る場所が見つからない。 2. 手術の時刻が有限の時刻に集積しないか。集積すれば、流れをその先に続けられない。 3. 流れは最終的にどうなるか。単連結な多様体から出発したら、有限時間で全部が消えるか。 第 2 論文は 1 と 2 を解決します。手術する首の細さ $h$ を、標準近傍のスケール $r$ に比べて十分小さく取り、帰納的にパラメータを選ぶことで、性質が保たれるようにします。手術 1 回ごとに体積が少なくとも $h^3$ 減るので、有限時間内の手術は有限回です。第 3 論文は 3 を解決します。球面（または円板）の最小面積についての微分不等式から、基本群が有限なら流れが有限時間で消えることを示します。 この記事では、これら 2 つの主定理を正確に述べ、そこからポアンカレ予想に至る位相の議論を証明します。「消滅した多様体は何であったか」を逆向きにたどる議論で、van Kampen の定理と円板定理だけで閉じます。 ## 2. 特異時刻の構造と手術（第 2 論文 §3〜§5） ### 2.1. 特異時刻での極限 この節の用語を先に整理します。細長い円筒 $S^2\times I$ のような部分が**首**（$\varepsilon$-首は、その曲がり方が標準的な円筒にとても近いもの）、片方の端がふくらんで閉じた形になった部分が**帽子**です。特異時刻に近づくと、曲率が有界な本体から、先へ行くほど細く曲がりの強くなる首が伸びていきます。これが**角**です。以下の定義は、首の両端がどう終わるかによって、管・角・二重の角・帽子つきの角を呼び分けているだけです。 $M$ を向き付けられた閉 $3$ 次元多様体、$g(t)$（$t\in[0,T)$）を Ricci flow の解とし、$T\lt\infty$ で曲率が有界にとどまらない（特異時刻である。第 4 章の (2)）とします。記号 $\varepsilon$ は、第 5 章の (4) と が成り立つ程度に小さく固定した正の数です。$\varepsilon$-首、$\varepsilon$-帽子は のものです。 1. $\Omega\subset M$ を、$t\uparrow T$ で曲率が有界にとどまる点の全体とする。$\Omega$ は開集合で、$\Omega$ の上で $g(t)$ は $t\uparrow T$ で滑らかな計量 $\bar g$ に収束する。$\bar g$ のスカラー曲率を $\bar R$ と書く。 2. $\rho\gt0$ に対し $\Omega_\rho=\{x\in\Omega:\bar R(x)\le\rho^{-2}\}$ と置く。 3. $S^2\times I$（$I$ は開区間）の上の計量で、各点がある $\varepsilon$-首に含まれるものを、両端でスカラー曲率が有界なら **$\varepsilon$-管**、一方の端で有界で他方の端で無限大に発散するなら **$\varepsilon$-角**、両端で発散するなら**二重 $\varepsilon$-角**という。 4. $B^3$ または $\mathbb{R}P^3\setminus\bar B^3$ の上の計量で、あるコンパクト集合の外の各点が $\varepsilon$-首に含まれ、端でスカラー曲率が無限大に発散するものを**帽子つき $\varepsilon$-角**という。 (1)(2) は第 2 論文 §3、(3)(4) は同論文の冒頭 "Notation and terminology" の定義です。§3 では、標準近傍定理と $\kappa$-解の評価 $|\nabla R|\lt\eta R^{3/2}$、$|\partial_tR|\lt\eta R^2$ を使って次のことが示されます（ここでは主張として引用します）。 - $\Omega$ が空なら、$T$ の直前で多様体全体が $\varepsilon$-首と $\varepsilon$-帽子で覆われるか、正の断面曲率を持つ閉多様体になっていて、$M$ は $S^3$、$\mathbb{R}P^3$、$S^2\times S^1$、$\mathbb{R}P^3\#\mathbb{R}P^3$ または球面空間形に微分同相である。 - $\Omega$ が空でなければ、$\Omega_\rho$ はコンパクトで、$(\Omega,\bar g)$ の $\varepsilon$-首は、(a) 両端が $\Omega_\rho$ にある $\varepsilon$-管、(b) 境界が $\Omega_\rho$ にある $\varepsilon$-帽子、(c) 境界が $\Omega_\rho$ にある $\varepsilon$-角、(d) 帽子つき $\varepsilon$-角、(e) 二重 $\varepsilon$-角、のどれかに含まれる。$\Omega_\rho$ と交わる $\Omega$ の成分は有限個で、それぞれ有限個の端を持ち、各端は $\varepsilon$-角である。 特異時刻で多様体は、曲率が有界な「本体」$\Omega_\rho$ と、そこから伸びて先が無限に細くなる角とに分かれます。角の先は、時刻 $T$ の直前の多様体では、別の角か帽子につながっていました。 ### 2.2. 手術 次の定義には $r,\delta,\rho,h$ という小さい量が出ますが、順序は $h\lt\delta\rho=\delta^2r$ です。$r$ は標準的な形が見えるスケール、$h$ は実際に切る首の半径で、$h$ をずっと小さく取るのは、切ったあとの貼り替えが曲率の大きい小さな領域だけに限られるようにするためです。 $r\gt0$（標準近傍のスケール）と小さい $\delta\gt0$ を取り、$\rho=\delta r$ と置く。$h\in(0,\delta\rho)$ を、「境界が $\Omega_\rho$ にある $\varepsilon$-角の中の点 $x$ で $\bar R(x)^{-1/2}\le h$ となるものは、強い $\delta$-首の中心である」ように選ぶ（第 2 論文 4.3 節の補題で存在が示される）。特異時刻 $T$ での**手術**を次の操作と定める。 1. $\Omega_\rho$ が空なら、何も残さない（流れは時刻 $T$ で**消滅**したという）。 2. $\Omega_\rho$ が空でなければ、$\Omega_\rho$ と交わらない $\Omega$ の成分を捨てる。残った各成分の各 $\varepsilon$-角について、半径 $h$ の $\delta$-首を 1 つ選び、その中央の $2$ 次元球面で切って、角の先の側を捨て、切り口に標準的な帽子（$3$ 次元球体の上の、曲率の pinching を保つように作った回転対称な計量）を貼る。 3. こうして得た閉多様体の成分のうち、丸い球面の商に $\varepsilon$-近いものは捨てる（消滅したとみなす）。 第 2 論文 4.4 節の定義です（そこでは "Ricci flow with $\delta$-cutoff" と呼ばれます）。$r$ より小さいスケールでは解が標準的な形をしており、それよりずっと小さい半径 $h$ の首で切る、という 2 つのスケールの使い分けが、論文の冒頭で強調されている点です。 向き付けられた閉 $3$ 次元 Riemann 多様体 $(M,g_0)$ から出発する**手術つき Ricci flow** とは、次の組をいう。 - 時刻の列 $0=t_0\lt t_1\lt t_2\lt\cdots$（有限列、または集積点を持たない無限列）。 - 向き付けられた閉 $3$ 次元多様体 $M_0=M,M_1,M_2,\dots$（連結とは限らず、空でもよい）と、$M_k$ 上の Ricci flow の滑らかな解 $g_k(t)$（$t\in[t_k,t_{k+1})$、最後の $k$ については $[t_k,\infty)$）で、$g_0(0)=g_0$ を満たすもの。 - 各 $k\ge1$ について、$t_k$ は $g_{k-1}$ の特異時刻で、$(M_k,g_k(t_k))$ は $(M_{k-1},g_{k-1})$ から時刻 $t_k$ での手術（）で得られる。 ある $k$ で $M_k=\varnothing$ となるとき、流れは時刻 $t_k$ で**消滅**するといい、$t_k$ を**消滅時刻**という。 第 2 論文 4.1 節の定義にあたります。手術で貼り替えるのは曲率の大きい小さな領域だけで、$\Omega_\rho$ の近くでは手術の前後の計量は同じです。 $(M,g_0)$ を向き付けられた閉 $3$ 次元 Riemann 多様体とする。手術のパラメータ（時刻について非増加な正の関数 $r(t)$、$\delta(t)$）を適切に選ぶと、$(M,g_0)$ から出発する手術つき Ricci flow がすべての時刻 $t\in[0,\infty)$ で定義され、次を満たす。 1. （位相）各 $k\ge1$ について、$M_k$ は、$M_{k-1}$ に互いに交わらない有限個の埋め込まれた $2$ 次元球面に沿った位相的な手術（）を施し、その結果の成分のうち、球面空間形、$S^2\times S^1$、$\mathbb{R}P^3\#\mathbb{R}P^3$ のいずれかに微分同相なものをいくつか捨てたものに、向きを保って微分同相である。 2. （幾何）各有限区間 $[0,t]$ の上で、流れは Hamilton–Ivey の pinching 評価、ある $\kappa(t)\gt0$ についての非崩壊、パラメータ $r(t)$ の標準近傍の性質を満たす。 3. （スカラー曲率）時刻 $t$ の多様体の上のスカラー曲率の最小値 $R_{\min}(t)$ は、手術の時刻をまたいでも、第 4 章の (1)(3) の評価を満たす。 この定理は**主張のみ**とし、証明を付けません。第 2 論文の §4〜§5 の内容で、中心は Proposition 5.1 です。そこでは、初期計量が**正規化**されている（断面曲率の絶対値が $1$ 以下で、半径 $1$ の球の体積が Euclid の単位球の半分以上。5.1 節の定義。任意の計量は定数倍で正規化でき、定数倍しても Ricci flow の解は時間を取り替えた解になる）とき、減少列 $r_j,\kappa_j,\bar\delta_j$ があって、区間 $[2^{j-1}\varepsilon,2^j\varepsilon]$ で $\delta(t)\lt\bar\delta_j$ となる任意の $\delta(t)$ について手術つきの流れが定義され、その区間で $\kappa_j$-非崩壊かつパラメータ $r_j$ の標準近傍の性質を満たす、と述べられています。まとめは 6.1 節にあります。証明は区間ごとの帰納法で、手術の後も非崩壊が保たれること（Lemma 5.2。第 1 論文 §8 の簡約体積による局所版の非崩壊定理を、手術で切られる曲線を避けて使う）と、標準近傍の性質が保たれること（5.4 節。第 1 論文 Theorem 12.1 の証明の繰り返し）を示します。手術の時刻が集積しないことは、手術 1 回で体積が少なくとも $h^3$ 減ること（4.4 節の末尾）によります。(1) は §3 の末尾と 4.4 節から読み取れる位相の記述で、捨てる成分の型は §3 にある一覧（$S^3$、$\mathbb{R}P^3$、$S^2\times S^1$、$\mathbb{R}P^3\#\mathbb{R}P^3$）と 4.4 節の「丸い球面の商に近い成分は消滅したとみなす」によります。(3) は 7.1 節にあります。そこでは滑らかな解について式 (7.2) $R_{\min}(t)\ge-\frac32\,(t+\frac14)^{-1}$ を導いた後、これらの不等式が $\delta(t)$-切断つきの解でも成り立つと述べています（手術で貼り替えるのはスカラー曲率が大きな正の値を取る領域だけなので、最小値は手術で下がりません）。完全な証明は Kleiner–Lott の注釈、Morgan–Tian の本、Cao–Zhu の論文にあり、どれでも全体の中で最も長い部分です。Rikai で証明できる分量ではありません。 ## 3. 手術の位相 ### 3.1. 位相的な手術と、球面との連結和 定理の (1) に現れた「位相的な手術」を定義し、連結和との関係を証明します。連結和の定義と記号は のものです。$B_R\subset\mathbb{R}^n$ は半径 $R$ の開球、$D^n$ は閉単位球です。連結な向き付けられた多様体 $M_1,M_2$、向きを保つ埋め込み $f_1\colon B_R\to M_1$、向きを逆にする埋め込み $f_2\colon B_R\to M_2$（$R\gt1$）に対し、 $$ M_1\# M_2=\bigl(M_1\setminus\{f_1(0)\}\bigr)\sqcup\bigl(M_2\setminus\{f_2(0)\}\bigr)\Big/\ f_1(tu)\sim f_2\bigl((1-t)u\bigr)\quad(u\in S^{n-1},\ 0\lt t\lt1) $$ で、向きを保つ微分同相類は $f_1,f_2$ の取り方によりません（）。したがって、向きを保つ微分同相 $M_1\cong M_1'$、$M_2\cong M_2'$ があれば $M_1\# M_2\cong M_1'\# M_2'$ です（埋め込みを微分同相で写せばよい）。 $M$ を向き付けられた境界のない $n$ 次元多様体（$n\ge2$）、$e\colon S^{n-1}\times(-2,2)\to M$ を埋め込みとし、$S=e(S^{n-1}\times\{0\})$ と置く。$M\setminus S$ に 2 点 $p_+,p_-$ を付け加えた集合 $$ M_S=(M\setminus S)\sqcup\{p_+,p_-\} $$ に、$M\setminus S$ のチャートと、次の 2 つの写像を逆写像とするチャートで多様体の構造を入れる。 $$ c_\pm\colon B_2\to M_S,\qquad c_\pm(su)=e(u,\pm s)\quad(u\in S^{n-1},\ 0\lt s\lt2),\qquad c_\pm(0)=p_\pm . $$ $M_S$ を、$M$ に $S$ に沿って**手術**を施した多様体という。互いに交わらない像を持つ有限個の埋め込み $e_1,\dots,e_k$ についても同様に定める。 $M\setminus S$ の 2 つの端 $e(S^{n-1}\times(0,2))$、$e(S^{n-1}\times(-2,0))$ は、それぞれ穴あき球 $B_2\setminus\{0\}$ と微分同相で、手術はその穴を 1 点で埋めます。球を貼ると言っても同じことです。$M_S\setminus\{p_\pm\}=M\setminus S$ の向きは $M_S$ 全体の向きに延びます（$n\ge2$ で穴あき球は連結なので、チャート $c_\pm$ が向きを保つか逆にするかは全体で一定）。極座標の写像 $(u,s)\mapsto su$ と $(u,s)\mapsto(u,-s)$ の合成で $c_+$ と $c_-$ が移り合い、後者は向きを逆にするので、$c_+$ と $c_-$ の一方は向きを保ち、他方は逆にします。必要なら $e(u,s)$ を $e(u,-s)$ に替えて、以下 **$c_+$ が向きを保ち $c_-$ が逆にする**とします。$M$ がコンパクトなら $M_S$ もコンパクトです。 $M$ を連結な向き付けられた境界のない $n$ 次元多様体（$n\ge2$）とする。$M\# S^n$ は $M$ に向きを保って微分同相である。 **埋め込みの選び方。** $f_1\colon B_R\to M$ を向きを保つ埋め込みとします（チャートを縮めて作る）。$S^n$ の側は、 の立体射影 $\varphi_N\colon S^n\setminus\{N\}\to\mathbb{R}^n$、$\varphi_S\colon S^n\setminus\{S\}\to\mathbb{R}^n$ を使います。$J$ を $\mathbb{R}^n$ の恒等写像または 1 つの座標の符号を変える鏡映とし、$f_2=\varphi_S^{-1}\circ J\colon\mathbb{R}^n\to S^n$ が向きを逆にするように $J$ を選びます。$f_2(0)=N$ で、座標変換の式 $\varphi_N\circ\varphi_S^{-1}(x)=x/|x|^2$ から $$ \varphi_N\bigl(f_2(x)\bigr)=\frac{Jx}{|x|^2}\qquad(x\ne0). $$ により、この $f_1$ と $f_2|_{B_R}$ で作った連結和について示せば十分です。 **連結和の書き直し。** $\varphi_N$ で $S^n\setminus\{N\}$ を $\mathbb{R}^n$ と同一視すると、$f_2((1-t)u)$ は $Ju/(1-t)$ に対応するので $$ M\# S^n=\bigl(M\setminus\{f_1(0)\}\bigr)\sqcup\mathbb{R}^n\Big/\ f_1(tu)\sim\frac{Ju}{1-t}\quad(0\lt t\lt1) $$ です。$\mathbb{R}^n$ の点 $y$ のうち $|y|\gt1$ のものが、$f_1(B_1\setminus\{0\})$ の点とちょうど 1 対 1 に貼られています。 **半径の付け替え。** $\chi\colon\mathbb{R}\to[0,1]$ を、$(-\infty,2]$ 上で $0$、$[3,\infty)$ 上で $1$ の非減少な滑らかな関数とし、 $$ \theta(s)=(1-\chi(s))\frac s8+\chi(s)\Bigl(1-\frac1s\Bigr)\qquad(s\ge0) $$ と置きます。$\theta'(s)=\frac{1-\chi}{8}+\frac{\chi}{s^2}+\chi'(s)\bigl(1-\frac1s-\frac s8\bigr)$ で、$[2,3]$ 上で凹な関数 $1-\frac1s-\frac s8$ は端点の値 $\frac14$、$\frac7{24}$ 以上なので $\theta'\gt0$ です。$\theta(s)=s/8$（$s\le2$）、$\theta(s)=1-1/s$（$s\ge3$）で、$\theta$ は $[0,\infty)$ から $[0,1)$ への微分同相です。 **微分同相の構成。** 写像 $\Psi\colon M\# S^n\to M$ を $$ \Psi(y)=f_1\Bigl(\theta(|y|)\,\frac{J^{-1}y}{|y|}\Bigr)\ (y\in\mathbb{R}^n),\qquad \Psi(z)=z\ (z\in M\setminus f_1(B_1)),\qquad \Psi\bigl(f_1(tu)\bigr)=f_1\Bigl(\theta\Bigl(\frac{1}{1-t}\Bigr)u\Bigr)\ (0\lt t\lt1) $$ で定めます。$y=Ju/(1-t)$ のとき第 1 式は $f_1(\theta(\frac1{1-t})u)$ で第 3 式と一致するので、$\Psi$ は商の上で矛盾なく定まります。$t\ge\frac23$ では $\frac1{1-t}\ge3$ で $\theta(\frac1{1-t})=t$ なので、第 3 式は恒等写像で、第 2 式と滑らかにつながります。$|y|\le2$ では第 1 式は $f_1(J^{-1}y/8)$ で、原点でも滑らかです。$\Psi$ は、$\mathbb{R}^n$ を $f_1(B_1)$ の上へ、$M\setminus\{f_1(0)\}$ を $M\setminus f_1(\bar B_{1/8})$ の上へ、それぞれ微分同相に写します（$t\mapsto\theta(\frac1{1-t})$ は $(0,1)$ から $(\frac18,1)$ への微分同相）。集合として $M\# S^n$ は $M\setminus f_1(B_1)$ と $\mathbb{R}^n$ の非交和なので $\Psi$ は全単射で、2 つの開集合の上で微分同相だから、全体で微分同相です。$M\setminus f_1(B_1)$ の上で恒等写像なので向きを保ちます。 ### 3.2. 球面が多様体を分ける場合と分けない場合 次の補題は、球面で切っても多様体が 2 つに分かれない場合に、何が起きるかを調べるためのものです。結論は、切り口の 2 つの穴を貼り合わせる操作が、$S^{n-1}\times S^1$（$n=3$ なら $S^2\times S^1$）との連結和をとる操作と同じだ、ということです。証明は、まず $S^n$ の中での模型で貼り合わせた結果が円周と球面の積になることを示し、次に円板定理を使って一般の $N$ に移します。 $N$ を連結な向き付けられた境界のない $n$ 次元多様体（$n\ge2$）、$c_+\colon B_2\to N$ を向きを保つ埋め込み、$c_-\colon B_2\to N$ を向きを逆にする埋め込みとし、像は交わらないとする。 $$ \operatorname{Self}(N;c_+,c_-)=\bigl(N\setminus\{c_+(0),c_-(0)\}\bigr)\Big/\ c_+(tu)\sim c_-\bigl((1-t)u\bigr)\quad(u\in S^{n-1},\ 0\lt t\lt1) $$ は $N\#(S^{n-1}\times S^1)$ に微分同相である。 **模型：$S^n$ での貼り合わせは $S^{n-1}\times S^1$。** $S^n=\mathbb{R}^n\cup\{\infty\}$（$\varphi_N$ による同一視）とし、$d_+(x)=x$、$d_-(x)=9x/|x|^2$（$x\ne0$）、$d_-(0)=\infty$ と置きます。$d_+$ は $B_2$ の包含、$d_-$ は の座標変換の式から $\infty$ のまわりのチャートの逆写像で、像は $\{|y|\gt\frac92\}\cup\{\infty\}$ です。像は交わらず、反転は向きを逆にするので $d_+$ は向きを保ち $d_-$ は逆にします。$X=\operatorname{Self}(S^n;d_+,d_-)$ と置きます。$\mathbb{R}^n\setminus\{0\}$ を $y=e^su$ で $S^{n-1}\times\mathbb{R}$ と同一視すると、同一視 $tu\sim9u/(1-t)$ は、$S^{n-1}$ の成分を変えず、$\mathbb{R}$ の成分について $$ s\sim\beta(s),\qquad \beta(s)=\log9-\log(1-e^s)\qquad(s\lt0) $$ です。$\beta$ は $(-\infty,0)$ から $(\log9,\infty)$ への増加な微分同相です。よって $X=S^{n-1}\times C$、$C=\mathbb{R}/{\sim}$ です。 $C$ が円周に微分同相であることを示します。商写像を $q\colon\mathbb{R}\to C$ とします。開集合 $W$ の飽和 $W\cup\beta(W\cap(-\infty,0))\cup\beta^{-1}(W\cap(\log9,\infty))$ は開集合なので $q$ は開写像です。$\beta$ の値はすべて $\log9$ より大きく、定義域は負の数なので、$A=(-\infty,\log9)$ の 2 点が同一視されることはなく、$A'=(0,\infty)$ についても同様です。したがって $q|_A$、$q|_{A'}$ は開集合への同相で、$C=q(A)\cup q(A')$、座標変換は $\beta$ とその逆で滑らかです。Hausdorff 性を確かめます。$q(A)$ の 2 点、$q(A')$ の 2 点はそれぞれ分離できます。$q(A)$ にあって $q(A')$ にない点は $q(s)$（$s\le0$ で、どの正の数とも同値でないもの）で、$s\lt0$ は $\beta(s)\gt0$ と同値なので $q(0)$ だけです。同様に $q(A')$ にあって $q(A)$ にない点は $q(\log9)$ だけです。小さい $\eta\gt0$ について、$(-\eta,\eta)$ の飽和は $(-\eta,\eta)\cup(\beta(-\eta),\infty)$、$(\log9-\eta,\log9+\eta)$ の飽和は $(\log9-\eta,\log9+\eta)\cup(-\infty,\beta^{-1}(\log9+\eta))$ で、$\eta\to0$ のとき $\beta(-\eta)\to\infty$、$\beta^{-1}(\log9+\eta)\to-\infty$ なので、これらは交わりません。よって $C$ は Hausdorff な滑らかな $1$ 次元多様体です。$s\gt\beta(-1)$ はすべて $(-1,0)$ の点と同値なので $C=q([-1,\beta(-1)])$ はコンパクトで、連結です。コンパクトで連結な境界のない $1$ 次元多様体は $S^1$ に微分同相です（）。よって $X\cong S^{n-1}\times S^1$ です。 **$N\# S^n$ の中に模型を置く。** $S^n$ の点 $y_0=(3,0,\dots,0)\in\mathbb{R}^n$ のまわりに、向きを逆にする埋め込み $f_2\colon B_R\to S^n$（$R\gt1$）で像が $\{|y-y_0|\lt\frac12\}$ に入るものを取ります。この像は $d_\pm(B_2)$ と交わりません。向きを保つ埋め込み $f_1\colon B_R\to N$ を取り、$N\# S^n$ を作ります。$d_\pm$ の像は $S^n\setminus\{f_2(0)\}$ のうち貼り合わせに使わない部分にあるので、$d_\pm$ は $N\# S^n$ への埋め込みと見なせます。$\operatorname{Self}(N\# S^n;d_+,d_-)$ は、$(N\setminus\{f_1(0)\})\sqcup(S^n\setminus\{f_2(0),0,\infty\})$ に 2 種類の同一視を施した商で、同一視の領域は交わらないので、順序を入れ替えて $$ \operatorname{Self}(N\# S^n;d_+,d_-)=N\# X\cong N\#(S^{n-1}\times S^1) $$ です（右の連結和は $f_2$ を $X$ への埋め込みと見て作ったもので、 により埋め込みの取り方によらない）。 **$c_\pm$ に合わせる。** により向きを保つ微分同相 $\Psi\colon N\# S^n\to N$ があります。$\Psi\circ d_+$ は向きを保つ埋め込み $B_2\to N$ です。円板定理（）により、$N$ の微分同相 $\Phi_1$（恒等写像にイソトピックなので向きを保つ）で $D^n$ の上で $\Phi_1\Psi d_+=c_+$ となるものがあります。$Y=N\setminus c_+(D^n)$ は連結な向き付けられた境界のない多様体です（連結性は、第 4 章の の証明と同じく、閉球を通る道を球面 $c_+(\partial B_{3/2})$ の上で迂回させれば分かる）。$\rho$ を $\mathbb{R}^n$ の鏡映とすると、$\Phi_1\Psi d_-\circ\rho$ と $c_-\circ\rho$ は $B_2$ から $Y$ への向きを保つ埋め込みです（像が $c_+(D^n)$ と交わらないのは、$d_\pm$ の像、$c_\pm$ の像がそれぞれ交わらないことによる）。再び円板定理により、$Y$ の台がコンパクトな微分同相 $\Phi_2$ で $D^n$ の上で $\Phi_2\Phi_1\Psi d_-\rho=c_-\rho$ となるものがあります。$\Phi_2$ は $c_+(D^n)$ の近くで恒等写像なので、$c_+(D^n)$ の上で恒等写像として $N$ の微分同相に延びます。$\Phi=\Phi_2\Phi_1\Psi\colon N\# S^n\to N$ は微分同相で、$D^n$ の上で $\Phi d_\pm=c_\pm$ です。$\operatorname{Self}$ の同一視は開単位球の中だけで行うので、$\Phi$ は微分同相 $$ \operatorname{Self}(N\# S^n;d_+,d_-)\cong\operatorname{Self}(N;c_+,c_-) $$ を誘導します。前段と合わせて主張を得ます。 $M$ を連結な向き付けられた閉 $n$ 次元多様体（$n\ge2$）、$e\colon S^{n-1}\times(-2,2)\to M$ を埋め込み、$S=e(S^{n-1}\times\{0\})$、$M_S$ を $S$ に沿った手術の結果（）とする。 1. $M\setminus S$ が連結でないとき、$M_S$ はちょうど 2 つの成分 $N_1\ni p_+$、$N_2\ni p_-$ を持ち、$M\cong N_1\# N_2$。 2. $M\setminus S$ が連結のとき、$M_S$ は連結で、$M\cong M_S\#(S^{n-1}\times S^1)$。 したがって、連結な向き付けられた閉多様体のクラス $\mathcal{C}$ が連結和について閉じていて $S^{n-1}\times S^1$ を含むとき、$M$ に互いに交わらない有限個の球面に沿って手術を施した結果のすべての成分が $\mathcal{C}$ に属するならば、$M$ も $\mathcal{C}$ に属する。 **首を縮める写像。** $\chi\colon\mathbb{R}\to[0,1]$ を、$s\le-\frac32$ で $0$、$s\ge\frac32$ で $1$、$0\le\chi'\le\frac12$ を満たす滑らかな関数とし（幅 $3$ の区間で $1$ 増えるので、傾きを $\frac12$ 以下にできる）、$\lambda(s)=s-\chi(s)$ と置きます。$\lambda'\ge\frac12\gt0$、$\lambda(s)=s$（$s\le-\frac32$）、$\lambda(s)=s-1$（$s\ge\frac32$）で、$\lambda$ は $(-2,2)$ から $(-2,1)$ への微分同相です。 $Q$ を、$M\setminus S$ で $e(u,t)\sim e(u,t-1)$（$u\in S^{n-1}$、$0\lt t\lt1$）を同一視した商とします。写像 $\Psi\colon M\to Q$ を $$ \Psi(x)=[x]\ \ (x\notin e(S^{n-1}\times(-2,2))),\qquad \Psi(e(u,s))=\begin{cases}[e(u,\lambda(s))]&(\lambda(s)\lt0),\\ [e(u,\lambda(s)+1)]&(\lambda(s)\gt-1)\end{cases} $$ で定めます。$-1\lt\lambda(s)\lt0$ のとき、$t=\lambda(s)+1\in(0,1)$ について $e(u,t)\sim e(u,t-1)=e(u,\lambda(s))$ なので 2 つの式は一致します。$s\le-\frac32$ では $\Psi(e(u,s))=[e(u,s)]$、$s\ge\frac32$ でも $\Psi(e(u,s))=[e(u,s)]$ で、首の外の定義と滑らかにつながります。$Q$ の点は、$e(S^{n-1}\times(0,1))$ の点がすべて $e(S^{n-1}\times(-1,0))$ の点と同一視されるので、$M\setminus e(S^{n-1}\times[0,1))$ の点でちょうど 1 回ずつ代表されます。$\Psi$ は首の外では恒等写像、首の上では $s\mapsto\lambda(s)$（$\lambda(s)\lt0$ のとき）または $s\mapsto\lambda(s)+1\in[1,2)$（$\lambda(s)\ge0$ のとき）で、$(-2,2)$ を $(-2,0)\cup[1,2)$ に全単射に写します。よって $\Psi$ は全単射で、各点の近くで微分同相なので、$M\cong Q$ です。 **(1)** $M\setminus S$ が連結でないとします。$M\setminus S$ の点は、$M$ の中の道で $S$ まで結べ、その道が最初に首 $e(S^{n-1}\times(-2,2))$ に入るところまでは $S$ と交わらないので、$M\setminus S$ の各成分は連結な集合 $e(S^{n-1}\times(0,2))$、$e(S^{n-1}\times(-2,0))$ のどちらかを含みます。したがって成分はちょうど 2 つで、前者を含む方を $M_+$、後者を含む方を $M_-$ とすると、$N_1=M_+\cup\{p_+\}$、$N_2=M_-\cup\{p_-\}$ が $M_S$ の成分です。$f_1=c_+\colon B_2\to N_1$ は向きを保つ埋め込み、$f_2=c_-\colon B_2\to N_2$ は向きを逆にする埋め込みで、これらで作った連結和は $$ N_1\# N_2=M_+\sqcup M_-\Big/\ c_+(tu)\sim c_-\bigl((1-t)u\bigr),\qquad\text{すなわち}\quad e(u,t)\sim e(u,-(1-t))=e(u,t-1) $$ です。これは $Q$ そのものなので $M\cong N_1\# N_2$ です。 **(2)** $M\setminus S$ が連結なら $M_S=(M\setminus S)\cup\{p_\pm\}$ も連結です。$Q$ の定義の同一視は $c_+(tu)\sim c_-((1-t)u)$ なので $Q=\operatorname{Self}(M_S;c_+,c_-)$ で、 から $M\cong Q\cong M_S\#(S^{n-1}\times S^1)$ です。 **後半。** 球面の個数 $k$ についての帰納法で示します。$k=0$ は自明です。$k\ge1$ とし、$M$ に $S_1$ だけに沿って手術を施したものを $M'$ とします。残りの球面 $S_2,\dots,S_k$ とその首は $M\setminus S_1\subset M'$ に入っており、$M$ に $S_1,\dots,S_k$ に沿って手術を施した結果は、$M'$ に $S_2,\dots,S_k$ に沿って手術を施した結果と同じです。$M'$ の各成分 $N$ について、$N$ の中にある球面（$k-1$ 個以下）に沿った手術の結果は全体の結果の成分の合併で、その成分はすべて $\mathcal{C}$ に属するので、帰納法の仮定から $N\in\mathcal{C}$ です。(1)(2) から $M$ は $N_1\# N_2$ または $M'\#(S^{n-1}\times S^1)$ に微分同相で、$\mathcal{C}$ は連結和で閉じ $S^{n-1}\times S^1$ を含むので $M\in\mathcal{C}$ です。 $n=3$ の場合、手術は連結和の分解の逆操作です。球面が多様体を分けるなら 2 つの因子に分かれ、分けないなら $S^2\times S^1$ の因子が 1 つ外れます。$S$ が球体の境界になっているときは、(1) の $N_2$（または $N_1$）が $S^3$ で、 により手術は位相を変えません。Perelman の第 3 論文 1.3 節はこの場合を「位相的に自明な手術」と呼んでいます。 ## 4. 有限時間消滅（第 3 論文） ### 4.1. 主張 連結な多様体 $X$ が**非球面的**（aspherical）であるとは、すべての $k\ge2$ でホモトピー群 $\pi_k(X)$（）が自明であることをいいます。普遍被覆が可縮な多様体、たとえばトーラスや閉双曲多様体がそうです。 $M$ を連結な向き付けられた閉 $3$ 次元多様体とする。 1. $M$ の素分解（第 4 章の ）に非球面的な因子が現れないならば、$M$ 上の任意の初期計量から出発する の手術つき Ricci flow は、有限時間で消滅する。 2. $\pi_1(M)$ が有限群ならば、とくに $M$ が単連結ならば、(1) の仮定は満たされる。 この定理は**主張のみ**とし、証明を付けません。(1) は第 3 論文の Theorem 1.1 の主張そのものです。Perelman の証明（§1）は次のとおりです。可縮な閉曲線 $c$ に対し、$c$ を境界とする円板の面積の下限を $A(c,g)$ とし、閉曲線の族についての min-max の値 $A(\alpha,g)$ を、ループ空間の自明でない相対ホモトピー類 $\alpha$ について定めます。Lemma 1.2 は、滑らかな Ricci flow に沿って $$ \frac{d}{dt}A(\alpha,g(t))\le-2\pi-\frac12R_{\min}(t)\,A(\alpha,g(t)) $$ （前進差分商の上極限の意味）が成り立つことを述べ、1.3 節でこれが手術つきの流れでも成り立つこと、$R_{\min}(t)\ge-\frac32(t+\mathrm{const})^{-1}$ と合わせると $A$ が有限時間で $0$ になって矛盾することを示します。Lemma 1.2 の厳密な証明（§3）は、閉曲線を曲線短縮流で動かすときの特異点を、空間に $1$ 次元を足して正則化する方法（§2、Altschuler–Grayson の方法）で扱うもので、技術的な部分です。一般の $M$ への拡張は 1.5 節にあります。T. Colding と W. Minicozzi は、円板の代わりに $2$ 次元球面による掃き出し（sweepout）の min-max 値（幅）を使う別証明を与えました（*J. Amer. Math. Soc.* 18 (2005), 561–569、詳細は *Geom. Topol.* 12 (2008), 2537–2586）。この場合の不等式が 4.2 節で証明する $-4\pi$ の形です。どちらの証明も、min-max の値を実現する極小曲面の存在と正則性の理論（）に依ります。Morgan–Tian の本の最後の部分が、有限時間消滅の完全な証明にあてられています。 (2) の理由は次のとおりです。連結和の基本群は自由積で（第 4 章の ）、各因子の基本群は自由積に単射で入るので（）、$\pi_1(M)$ が有限なら素因子 $P$ の基本群も有限です。すると $P$ の普遍被覆 $\tilde P$ は閉多様体で、閉多様体は可縮でない（$\mathbb{Z}/2$ 係数の最高次のホモロジーが消えない）ので、$P$ は非球面的ではありません。この最後の事実に使うホモロジーの議論は Rikai にまだ無いので、(2) も主張の一部として置きます。第 3 論文の 1.4 節の注意は、ホモトピー球面から出発する場合には素分解の定理を使わずに直接同じ議論ができることを述べています。 ### 4.2. 極小球面の面積の発展 有限時間消滅の証明の核は、「極小曲面の面積は Ricci flow のもとで一定以上の速さで減る」という不等式です。滑らかに埋め込まれた極小球面について、これを証明します。 曲面が周りの空間の中でどれだけ曲がっているかを測るのが**第 2 基本形式** $\mathrm{II}$ です。平面なら $0$ で、球面のような曲がった面ほど大きくなります（曲面の場合は [第二基本形式](/mathematics/differential-geometry/curves-and-surfaces#def-shape-operator) として定義されています）。次の補題は、曲面自身の曲がり（Gauss 曲率）と、周りの空間の曲がりと、$\mathrm{II}$ の関係を与えるもので、この後の面積の計算に使います。 $(M,g)$ を $3$ 次元 Riemann 多様体、$\Sigma\subset M$ を埋め込まれた曲面とし、$\Sigma$ に誘導計量を入れる。$x\in\Sigma$ の近くで単位法ベクトル場 $\nu$ を取り、$\Sigma$ に接するベクトル場 $X,Y$ に対し第 2 基本形式を $\mathrm{II}(X,Y)=\langle\nabla_XY,\nu\rangle$ と置く（$\nabla$ は $M$ の Levi-Civita 接続）。$\mathrm{II}$ は対称で、$T_x\Sigma$ の正規直交基底 $e_1,e_2$ について $$ K_\Sigma(x)=K_M(T_x\Sigma)+\mathrm{II}(e_1,e_1)\mathrm{II}(e_2,e_2)-\mathrm{II}(e_1,e_2)^2 . $$ ここで $K_\Sigma$ は $\Sigma$ の Gauss 曲率（誘導計量の断面曲率）、$K_M(T_x\Sigma)$ は $M$ の断面曲率である。右辺の $\mathrm{II}$ の項 $\det\mathrm{II}$ と $|\mathrm{II}|^2=\sum_{i,j}\mathrm{II}(e_i,e_j)^2$ は $\nu$ の符号の取り方によらない。 接ベクトル場 $X,Y$ は $x$ の近くの $M$ のベクトル場に延長して考えます。$\Sigma$ の上で $\nabla^\Sigma_XY=\nabla_XY-\mathrm{II}(X,Y)\nu$（接成分）と置くと、これは $\Sigma$ 上のアフィン接続で、$\nabla$ の捩れがないことから $\nabla^\Sigma_XY-\nabla^\Sigma_YX=[X,Y]-(\mathrm{II}(X,Y)-\mathrm{II}(Y,X))\nu$ です。$[X,Y]$ は $\Sigma$ に接するので、法成分を比べて $\mathrm{II}$ は対称、接成分を比べて $\nabla^\Sigma$ は捩れがありません。接ベクトル場 $Z$ について $X\langle Y,Z\rangle=\langle\nabla_XY,Z\rangle+\langle Y,\nabla_XZ\rangle=\langle\nabla^\Sigma_XY,Z\rangle+\langle Y,\nabla^\Sigma_XZ\rangle$ なので計量と両立し、一意性（）から $\nabla^\Sigma$ は誘導計量の Levi-Civita 接続です。 $\langle\nu,X\rangle=0$ を微分して $\langle\nabla_Y\nu,X\rangle=-\mathrm{II}(Y,X)$ です。これを使って $$ \langle\nabla_X\nabla_YY,X\rangle=\bigl\langle\nabla_X\bigl(\nabla^\Sigma_YY+\mathrm{II}(Y,Y)\nu\bigr),X\bigr\rangle=\langle\nabla^\Sigma_X\nabla^\Sigma_YY,X\rangle-\mathrm{II}(Y,Y)\mathrm{II}(X,X), $$ 同様に $\langle\nabla_Y\nabla_XY,X\rangle=\langle\nabla^\Sigma_Y\nabla^\Sigma_XY,X\rangle-\mathrm{II}(X,Y)\mathrm{II}(Y,X)$、$\langle\nabla_{[X,Y]}Y,X\rangle=\langle\nabla^\Sigma_{[X,Y]}Y,X\rangle$ です（$\nu$ の微分を含む項は $X$ との内積で、$\nu$ に比例する項は消える）。曲率の定義（）から $$ \operatorname{Rm}_M(X,Y,Y,X)=\operatorname{Rm}_\Sigma(X,Y,Y,X)-\mathrm{II}(X,X)\mathrm{II}(Y,Y)+\mathrm{II}(X,Y)^2 . $$ $X=e_1$、$Y=e_2$ とすると、断面曲率の定義（）から主張の式です。$\nu$ を $-\nu$ に替えると $\mathrm{II}$ は符号を変えますが、2 次の量は変わりません。 曲面 $\Sigma$ が**極小**であるとは、平均曲率 $\mathrm{II}(e_1,e_1)+\mathrm{II}(e_2,e_2)$ が $0$ であること（面積の第一変分が消えること）です。 $g(t)$（$t\in[t_1,t_2]$）を $3$ 次元多様体 $M$ 上の Ricci flow の解、$\Sigma\subset M$ を滑らかに埋め込まれた $2$ 次元球面とし、$A(t)$ を $g(t)$ の誘導計量についての $\Sigma$ の面積とする。 1. 各時刻で、$T\Sigma$ の正規直交基底 $e_1,e_2$ と面積要素 $dA$ について $$ \frac{dA}{dt}=-\int_\Sigma\bigl(\operatorname{Ric}(e_1,e_1)+\operatorname{Ric}(e_2,e_2)\bigr)dA=-\int_\Sigma\Bigl(\frac R2+K_M(T\Sigma)\Bigr)dA . $$ 2. $\Sigma$ が時刻 $t_0$ の計量 $g(t_0)$ について極小ならば $$ \frac{dA}{dt}(t_0)=-4\pi-\int_\Sigma\Bigl(\frac R2+\frac12|\mathrm{II}|^2\Bigr)dA\ \le\ -4\pi-\frac12R_{\min}(t_0)\,A(t_0), $$ ここで $R_{\min}(t_0)=\inf_MR(\cdot,t_0)$。 (1) 包含写像を $\iota\colon\Sigma\to M$ とすると、誘導計量 $g_\Sigma(t)=\iota^*g(t)$ は $\partial_tg_\Sigma=-2\iota^*\operatorname{Ric}$ を満たします。第 4 章の変分公式（ (6)）を $\Sigma$ の上の計量の族 $g_\Sigma(t)$ に使うと $$ \frac{\partial}{\partial t}dA=\frac12\operatorname{tr}_{g_\Sigma}\bigl(-2\iota^*\operatorname{Ric}\bigr)dA=-\bigl(\operatorname{Ric}(e_1,e_1)+\operatorname{Ric}(e_2,e_2)\bigr)dA $$ で、積分して第 1 の等号を得ます。$e_3=\nu$ を足して $T_xM$ の正規直交基底とし、$e_i,e_j$ の張る平面の断面曲率を $K_{ij}$ と書くと、 から $$ \operatorname{Ric}(e_1,e_1)=K_{12}+K_{13},\qquad \operatorname{Ric}(e_2,e_2)=K_{12}+K_{23},\qquad R=2(K_{12}+K_{13}+K_{23}), $$ よって $\operatorname{Ric}(e_1,e_1)+\operatorname{Ric}(e_2,e_2)=K_{12}+\frac R2$ で、$K_{12}=K_M(T\Sigma)$ です。 (2) 時刻 $t_0$ で考えます。 から $K_{12}=K_\Sigma-\det\mathrm{II}$ です。極小なので $\mathrm{II}(e_2,e_2)=-\mathrm{II}(e_1,e_1)$ で $$ \det\mathrm{II}=-\mathrm{II}(e_1,e_1)^2-\mathrm{II}(e_1,e_2)^2=-\tfrac12|\mathrm{II}|^2,\qquad K_{12}=K_\Sigma+\tfrac12|\mathrm{II}|^2 . $$ $\Sigma$ は $S^2$ に微分同相なので、第 4 章の により $\int_\Sigma K_\Sigma\,dA=4\pi$ です。(1) に代入して等式を得ます。不等式は $|\mathrm{II}|^2\ge0$ と $R\ge R_{\min}(t_0)$ によります。 $-4\pi$ は Gauss–Bonnet の定理から来る位相的な項で、球面である限り曲面の大きさによらず面積を一定の速さで減らします。$3$ 次元であること（$\operatorname{Ric}$ の接方向のトレースが $\frac R2+K_{12}$ と書けること）と、極小であること（$\det\mathrm{II}\le0$）の両方を使っています。Perelman の Lemma 1.2 の円板版では、円板の Gauss–Bonnet の定理で内部の項が $-2\pi$ になり、境界の測地的曲率の項は境界の曲線を曲線短縮流で動かすことで打ち消されます。 ただし 1 つの球面を追うだけでは証明になりません。時刻 $t_0$ で極小な球面は、少し後の時刻では極小でなくなるからです。そこで、各時刻の計量に対して min-max で定まる面積の値を考えます。 次の定義のねらいは、球面を点から点へ「掃き出す」ときに、途中で一番大きくなる面積を測る量を作ることです。3 次元球面を緯度一定の球面で切っていくと、北極の点から始まり、赤道で面積が最大になり、南極の点で終わります。ほかの掃き出し方も考え、最大面積が最小になるものを選んだ値が**幅**です。$W^{1,2}$ は、面積やエネルギーが扱える程度になめらかな写像の集まりを指す記号だと読んでください。 $M$ を連結で向き付け可能な閉 $3$ 次元多様体で $\pi_3(M)\ne0$ を満たすものとし、$\beta\in\pi_3(M)$ を自明でない元とする。連続写像 $\sigma\colon S^2\times[0,1]\to M$ で、$\sigma(\cdot,0)$ と $\sigma(\cdot,1)$ が定値写像、各 $\sigma(\cdot,s)$ が Sobolev 空間 $W^{1,2}$ に属し $s$ について連続で、$S^2\times[0,1]$ の両端をそれぞれ 1 点につぶして得られる写像 $S^3\to M$ が $\beta$ を代表するものを、$\beta$ の**掃き出し**という。Riemann 計量 $g$ に対し $$ W(g)=W(g,\beta)=\inf_{\sigma}\ \max_{s\in[0,1]}\ \operatorname{Area}_g\bigl(\sigma(\cdot,s)\bigr) $$ を $(M,g)$ の（$\beta$ についての）**幅**という。下限は $\beta$ の掃き出し全体で取る。 Colding–Minicozzi の定式化です（彼らはエネルギーによる定義も使い、両者が同じ値を与えることを示しています）。$S^3$ では、$\beta$ を $\pi_3(S^3)\cong\mathbb{Z}$ の生成元（）とし、緯度一定の球面による掃き出しを考えると、丸い単位球面の幅は赤道の大球面の面積 $4\pi$ 以下です。 の状況で、次が成り立つ。 1. （存在）$W(g)\gt0$ であり、有限個の分岐つきの極小はめ込み $u_1,\dots,u_m\colon S^2\to M$（共形な調和写像）で、面積の和が $W(g)$ に等しいものが、掃き出しの最小化列の切り口の極限として得られる。 2. （微分不等式）$g(t)$（$t\in[0,T)$）が $M$ 上の Ricci flow の解ならば、$w(t)=W(g(t))$ は連続で、すべての $t$ で $$ \limsup_{h\downarrow0}\frac{w(t+h)-w(t)}{h}\le-4\pi-\frac12R_{\min}(t)\,w(t). $$ この定理は**主張のみ**とし、証明を付けません。(1) は、$2$ 次元球面からの調和写像に対する Sacks–Uhlenbeck の存在理論（*Ann. of Math.* 113 (1981)）と、エネルギーが泡（bubble）に集中するときの解析によるもので、Colding–Minicozzi の *Geom. Topol.* 12 (2008) の論文が、min-max の列のすべての切り口が極小球面の集まりに近づくという形で証明しています。極小曲面の正則性理論と調和写像のコンパクト性の理論が要り、Rikai にはまだありません。(2) は (1) から、 (2) の計算を分岐つきのはめ込みに対して行って導かれます。Colding–Minicozzi の 2005 年の論文の主定理は、$M$ が素で非球面的でない向き付け可能な閉 $3$ 次元多様体（このとき $\pi_3(M)\ne0$）の場合に、$R_{\min}$ の下界を代入した形 $-4\pi+\frac{3}{4(t+C)}w(t)$ でこの不等式を述べています。滑らかに埋め込まれた 1 つの極小球面の場合が です。 $C\gt0$ とし、連続関数 $w\colon[0,T)\to[0,\infty)$ がすべての $t\in[0,T)$ で $$ \limsup_{h\downarrow0}\frac{w(t+h)-w(t)}{h}\le-4\pi+\frac{3}{4(t+C)}\,w(t) $$ を満たすとする。このとき、すべての $t\in[0,T)$ で $$ \frac{w(t)}{(t+C)^{3/4}}\le\frac{w(0)}{C^{3/4}}-16\pi\bigl((t+C)^{1/4}-C^{1/4}\bigr),\qquad\text{とくに}\quad T\le\Bigl(C^{1/4}+\frac{w(0)}{16\pi C^{3/4}}\Bigr)^4-C . $$ **上極限の微分が $0$ 以下の連続関数は非増加。** $b\colon[t_1,t_2]\to\mathbb{R}$ を連続関数で、$[t_1,t_2)$ の各点で $D^+b(t):=\limsup_{h\downarrow0}(b(t+h)-b(t))/h\le0$ を満たすものとします。$\eta\gt0$ に対し $b_\eta(t)=b(t)-\eta t$ と置くと $D^+b_\eta\le-\eta\lt0$ です。$t^*=\sup\{t\in[t_1,t_2]:[t_1,t]\text{ 上で }b_\eta\le b_\eta(t_1)\}$ と置くと、連続性から $[t_1,t^*]$ 上で $b_\eta\le b_\eta(t_1)$ です。$t^*\lt t_2$ なら、$D^+b_\eta(t^*)\lt0$ から十分小さい $h\gt0$ で $b_\eta(t^*+h)\lt b_\eta(t^*)\le b_\eta(t_1)$ となり、$t^*$ の定義に反します。よって $b_\eta(t_2)\le b_\eta(t_1)$ で、$\eta\to0$ として $b(t_2)\le b(t_1)$ です。 **積分因子。** $\phi(t)=(t+C)^{-3/4}$、$b(t)=w(t)\phi(t)+16\pi(t+C)^{1/4}$ と置きます。$\phi\gt0$ は滑らかなので $$ \frac{w(t+h)\phi(t+h)-w(t)\phi(t)}{h}=\phi(t+h)\frac{w(t+h)-w(t)}{h}+w(t)\frac{\phi(t+h)-\phi(t)}{h} $$ の上極限を取って $D^+(w\phi)(t)\le\phi(t)D^+w(t)+w(t)\phi'(t)$ です。仮定と $\phi'=-\frac34(t+C)^{-7/4}$ から $$ D^+b(t)\le(t+C)^{-3/4}\Bigl(-4\pi+\frac{3w(t)}{4(t+C)}\Bigr)-\frac34(t+C)^{-7/4}w(t)+4\pi(t+C)^{-3/4}=0 . $$ 前段から $b$ は非増加で、$b(t)\le b(0)$ が第 1 の不等式です。左辺は $0$ 以上なので $(t+C)^{1/4}\le C^{1/4}+\frac{w(0)}{16\pi C^{3/4}}$ で、$T$ の上界を得ます。 閉 $3$ 次元多様体上の Ricci flow で $R_{\min}(0)\ge-\rho_0$（$\rho_0\gt0$）とすると、第 4 章の (3) から $-\frac12R_{\min}(t)\le\frac{3}{4(t+C)}$、$C=\frac{3}{2\rho_0}$ です。 (2) と合わせると $w(t)=W(g(t))$ は の仮定を満たします。$\pi_3(M)\ne0$ である限り幅は正（ (1)）なので、滑らかな流れは初期計量の幅と $\rho_0$ だけで決まる時刻までしか続きません。手術つきの流れでは、手術で幅が増えないこと（手術の前の多様体から後の多様体へ、距離をほとんど伸ばさない写像があること。第 3 論文 1.3 節）を加えて、同じ上界までに消滅することになります。単連結な閉 $3$ 次元多様体では $\pi_3(M)\cong\mathbb{Z}\ne0$ なので（第 4 章の ）、この議論が使えます。これが Colding–Minicozzi による の証明の筋道です。 ## 5. 2 つの主定理からポアンカレ予想へ ### 5.1. 自由積についての補題 自由積 $G*H$ は第 4 章 2.2 節で、準同型 $j_G\colon G\to G*H$、$j_H\colon H\to G*H$ と普遍性によって定めました。 $G$、$H$ を群とする。 1. $j_G$、$j_H$ は単射である。とくに $G*H$ が自明な群ならば $G$ も $H$ も自明である。 2. $a\in G$、$b\in H$ がどちらも単位元でなければ、$j_G(a)j_H(b)$ の位数は無限である。とくに $G$、$H$ がどちらも自明でなければ $G*H$ は無限群である。 (1) 普遍性を $K=G$、$\varphi_G=\mathrm{id}_G$、$\varphi_H=$（自明な準同型）で使うと、準同型 $\Phi\colon G*H\to G$ で $\Phi j_G=\mathrm{id}_G$ となるものがあります。よって $j_G$ は単射です。$j_H$ も同様です。$G*H=1$ なら単射性から $G=H=1$ です。 (2) $G\setminus\{1\}$ と $H\setminus\{1\}$ の元を交互に並べた有限列（長さ $0$ の空の列 $\varnothing$ を含む）の全体を $\mathcal{W}_0$ とします。$g\in G$ の $\mathcal{W}_0$ への作用を次で定めます。列 $w$ を、先頭が $G$ の元 $x$ なら $w=(x,w')$ と書き、そうでなければ $x=1$、$w'=w$ とします。$y\in G$ に対し、$[y]w'$ を「$y\ne1$ なら $(y,w')$、$y=1$ なら $w'$」と定めると $w=[x]w'$ で、$w'$ は $G$ の元で始まりません。そこで $$ g\cdot w=[gx]\,w' $$ と置きます。$1\cdot w=[x]w'=w$、$g\cdot(g'\cdot w)=g\cdot[g'x]w'=[gg'x]w'=(gg')\cdot w$ なので、これは $G$ の作用で、準同型 $G\to\operatorname{Sym}(\mathcal{W}_0)$（$\mathcal{W}_0$ の全単射のなす群）を与えます。$H$ についても同じように定めます。普遍性から、両方を延長する準同型 $\Phi\colon G*H\to\operatorname{Sym}(\mathcal{W}_0)$ があります。空の列に $\Phi(j_H(b))$ を施すと $(b)$、続けて $\Phi(j_G(a))$ を施すと $(a,b)$ です。繰り返して、$\Phi\bigl((j_G(a)j_H(b))^k\bigr)$ は空の列を長さ $2k$ の列 $(a,b,a,b,\dots,a,b)$ に写します。$k\ge1$ でこれは空の列でないので $(j_G(a)j_H(b))^k\ne1$ です。 ### 5.2. 消滅する多様体のクラス 連結な向き付けられた閉 $3$ 次元多様体のクラス $\mathcal{S}$ を、次の (a)(b) を満たす最小のクラスとする。 - (a) 球面空間形 $S^3/\Gamma$（どちらの向きでもよい。$S^3$ を含む）と $S^2\times S^1$ に向きを保って微分同相な多様体は $\mathcal{S}$ に属する。 - (b) $X,Y\in\mathcal{S}$ ならば $X\# Y$ に向きを保って微分同相な多様体は $\mathcal{S}$ に属する。 $\mathcal{S}$ は、有限個の球面空間形と $S^2\times S^1$ の連結和として書ける多様体の全体です。$\mathbb{R}P^3=S^3/\{\pm1\}$ なので $\mathbb{R}P^3\#\mathbb{R}P^3\in\mathcal{S}$ です。 $X\in\mathcal{S}$ とする。 1. $\pi_1(X)$ が自明ならば、$X$ は $S^3$ に微分同相である。 2. $\pi_1(X)$ が有限群ならば、$X$ は球面空間形に微分同相である。 $\mathcal{S}$ は (a) から (b) を有限回使って得られる多様体の全体なので、(b) を使う回数についての帰納法で示します。 **(a) の場合。** $X\cong S^3/\Gamma$ とします。第 4 章の により $\pi_1(X)\cong\Gamma$ です。$X$ 自身が球面空間形なので (2) は成り立ち、$\pi_1(X)=1$ なら $\Gamma=1$ で $X\cong S^3$ です。$X\cong S^2\times S^1$ なら $\pi_1(X)\cong\pi_1(S^2)\times\pi_1(S^1)\cong\mathbb{Z}$（、、）は無限群なので、(1)(2) の仮定を満たしません。 **(b) の場合。** $X\cong Y\# Z$、$Y,Z\in\mathcal{S}$ とし、$Y$、$Z$ については主張が成り立つとします。第 4 章の から $\pi_1(X)\cong\pi_1(Y)*\pi_1(Z)$ です。 (1) $\pi_1(X)=1$ なら、 (1) から $\pi_1(Y)=\pi_1(Z)=1$ で、帰納法の仮定から $Y\cong S^3$、$Z\cong S^3$ です。$S^3$ は向きを逆にする微分同相（鏡映）を持つので、これらの微分同相は向きを保つように取れます。よって $X\cong S^3\# S^3$ で、 から $S^3\# S^3\cong S^3$ です。 (2) $\pi_1(X)$ が有限なら、 (1) から $\pi_1(Y)$、$\pi_1(Z)$ も有限で、同じ補題の (2) からどちらかは自明です。$\pi_1(Z)=1$ とすると、(1)（帰納法の仮定）から $Z\cong S^3$（向きを保つように取れる）で、 から $X\cong Y\# S^3\cong Y$ です。$\pi_1(Y)$ は有限なので、帰納法の仮定から $Y$ は球面空間形です。$\pi_1(Y)=1$ の場合も同様です。 $M$ を連結な向き付けられた閉 $3$ 次元多様体とし、$M$ から出発する手術つき Ricci flow で (1) を満たすものが有限時間で消滅する（ある $K$ で $M_K=\varnothing$）とする。このとき $M\in\mathcal{S}$。 **$\mathcal{S}$ は向きの取り替えで閉じている。** 向き付けられた多様体 $X$ の向きを逆にしたものを $-X$ と書きます。$X\in\mathcal{S}$ なら $-X\in\mathcal{S}$ であることを、 の (b) を使う回数についての帰納法で示します。(a) の球面空間形はどちらの向きでもよいとしました。$S^2\times S^1$ は $S^1$ の鏡映 $(u,z)\mapsto(u,\bar z)$ という向きを逆にする微分同相を持つので、$-(S^2\times S^1)$ は $S^2\times S^1$ に向きを保って微分同相です。(b) については、$X\# Y$ を向きを保つ埋め込み $f_1$ と向きを逆にする埋め込み $f_2$ で作ったとき、$\mathbb{R}^3$ の鏡映 $\rho$ について $f_1\circ\rho$ は $-X$ への向きを保つ埋め込み、$f_2\circ\rho$ は $-Y$ への向きを逆にする埋め込みで、同一視 $f_1\rho(tu)\sim f_2\rho((1-t)u)$ は $u$ を $\rho u$ に替えただけなので同じ商を与えます。よって $-(X\# Y)=(-X)\#(-Y)$ です。したがって、$\mathcal{S}$ の多様体に（向きを保つとは限らない）微分同相な連結な向き付けられた閉 $3$ 次元多様体は $\mathcal{S}$ に属します。 **帰納法。** $k=K,K-1,\dots,0$ の順に、「$M_k$ のすべての成分は $\mathcal{S}$ に属する」ことを示します。$M_K$ は空なので成り立ちます。$M_k$ について成り立つとします。 (1) により、$M_{k-1}$ に有限個の交わらない球面に沿って手術を施した結果 $M'_{k-1}$ の成分は、$M_k$ の成分に微分同相であるか、球面空間形、$S^2\times S^1$、$\mathbb{R}P^3\#\mathbb{R}P^3$ のいずれかに微分同相で、どちらの場合も $\mathcal{S}$ に属します。$\mathcal{S}$ は連結和について閉じていて $S^2\times S^1$ を含むので、 の後半（$n=3$、$\mathcal{C}=\mathcal{S}$）を $M_{k-1}$ の各成分に使って、$M_{k-1}$ のすべての成分は $\mathcal{S}$ に属します。$k=0$ で $M=M_0\in\mathcal{S}$ です。 ### 5.3. 最終段 と が成り立つとする。このとき、連結で単連結な閉 $3$ 次元多様体は $S^3$ に微分同相である。 $M$ を連結で単連結な閉 $3$ 次元多様体とします。 1. $M$ は向き付け可能です（第 4 章の ）。向きを 1 つ決めます。 2. $M$ は Riemann 計量 $g_0$ を持ちます（）。 3. により、$(M,g_0)$ から出発する手術つき Ricci flow がすべての時間で定義され、同定理の (1) を満たします。 4. $\pi_1(M)=1$ なので、 (2) により同定理の (1) の仮定が満たされ、この流れは有限時間で消滅します。 5. により $M\in\mathcal{S}$ です。 6. $\pi_1(M)=1$ なので、 (1) により $M$ は $S^3$ に微分同相です。 これが第 4 章の の命題です。証明の中で Ricci flow が働くのは 3 と 4 だけで、そこでは計量の選び方は何でもかまいません。5 と 6 は位相の議論で、消滅したという事実だけから、多様体が何であったかを逆算しています。同じ議論で、基本群が有限の場合も分かります。 と が成り立つとする。このとき、基本群が有限な連結で向き付け可能な閉 $3$ 次元多様体は、球面空間形 $S^3/\Gamma$ に微分同相である。 の証明の 2〜5 は、$\pi_1(M)$ が有限であれば同じように進み（4 で (2) を使う）、$M\in\mathcal{S}$ です。 (2) から $M$ は球面空間形です。 第 3 論文の 1.4 節の注意が述べているのがこの系です（そこでは "elliptization conjecture" と呼ばれています）。有限群が $S^3$ に自由に作用するとき、その作用は直交変換による作用と共役である、と言っても同じです。第 2 論文の §6〜§8（長時間挙動）はここまでの議論に使われていません。
FW["F・W の単調性（第 5 章）"]:::proved FW --> NC["非崩壊定理 I（第 1 論文 §4）"]:::proved LIN["共役熱方程式の可解性"]:::claim --> NC V --> RMIN["R_min の下界"]:::proved HI["Hamilton–Ivey の評価"]:::claim --> CN NC --> CN["標準近傍定理（第 1 論文 §11–12）"]:::claim RV["簡約体積の単調性（第 1 論文 §7–8）"]:::claim --> CN CN --> SE["手術つき Ricci flow の存在（第 2 論文 §4–5）"]:::claim RV --> SE AE["極小球面の面積の発展不等式"]:::proved --> FE MM["min-max 極小球面の存在"]:::claim --> FE RMIN --> FE["有限時間消滅（第 3 論文）"]:::claim SE --> FE ST["手術と連結和（円板定理）"]:::proved --> ET SE --> ET["消滅 ⇒ M は S³/Γ と S²×S¹ の連結和"]:::proved FE --> ET VK["連結和の π₁ は自由積（van Kampen）"]:::proved --> PC ET --> PC["π₁ = 1 ⇒ M ≅ S³（ポアンカレ予想）"]:::proved classDef proved stroke:#2e7d32,stroke-width:3px classDef claim stroke:#c62828,stroke-width:2px,stroke-dasharray:2 3`} />
### 5.4. 例 $S^2\times S^1$ の積計量から出発する Ricci flow は $g(t)=(r_0^2-2t)g_{S^2}+dz^2$ で、$T=r_0^2/2$ ですべての点の曲率が発散します（第 4 章の ）。$T$ の直前で、多様体全体が細い首 $S^2\times$（区間）で覆われています。 の $\Omega$ は空で、流れは時刻 $T$ で消滅します。手術は一度も行われません。$S^2\times S^1\in\mathcal{S}$ は定義どおりです。基本群 $\mathbb{Z}$ は有限でありませんが、$S^2\times S^1$ は素で、普遍被覆 $S^2\times\mathbb{R}$ について $\pi_2(S^2\times S^1)\cong\pi_2(S^2\times\mathbb{R})\cong\pi_2(S^2)\cong\mathbb{Z}\ne0$（、）なので非球面的でなく、 (1) の仮定を満たしています。 $\pi_1(\mathbb{R}P^3\#\mathbb{R}P^3)\cong\mathbb{Z}/2*\mathbb{Z}/2$ です。生成元を $a,b$ とすると、 (2) により $ab$ の位数は無限で、この群は無限群です（無限二面体群で、$\langle ab\rangle\cong\mathbb{Z}$ が指数 $2$ の部分群）。有限群どうしの自由積は、一方が自明でない限り有限になりません。したがって「基本群が有限」は「消滅する」ための十分条件であって、必要条件ではありません。$\mathbb{R}P^3\#\mathbb{R}P^3$ は $\mathcal{S}$ に属し、第 2 論文 §3 の、特異時刻で全体が消える場合の一覧にも現れます。 (2) の証明で「どちらかの因子は自明」と言えたのは、この現象の裏返しです。 レンズ空間 $L(p,q)$（$\pi_1=\mathbb{Z}/p$）に丸い計量を入れると、Ricci flow は丸いまま縮んで有限時間で消滅します（第 4 章の の解は等長変換で不変なので、商に降りる）。Poincaré ホモロジー球面 $S^3/I^*$ も同じです。ここで $I^*\subset SU(2)=S^3$ は位数 $120$ の二項正二十面体群で、左からの積で $S^3$ に自由に作用します。$I^*$ は交換子群が自分自身に等しい群なので、$S^3/I^*$ の $1$ 次のホモロジーは消え、ホモロジーでは $S^3$ と区別できません。これが Poincaré の 1904 年の例です。消滅するという性質だけでは $S^3$ は特定できず、 で基本群の条件を使うところが本質的です。 ## 6. 長時間挙動と幾何化予想（第 2 論文 §6〜§8） 流れが有限時間で消滅しない場合、たとえば $M$ が双曲多様体やトーラスを因子に持つ場合には、$t\to\infty$ での計量の形を調べることになります。ポアンカレ予想には不要ですが、幾何化予想（第 4 章の ）はここから出ます。 コンパクトな $3$ 次元多様体が**グラフ多様体**であるとは、互いに交わらない有限個の埋め込まれたトーラスで切ると、各部分が曲面上の円周束（一般には Seifert ファイバー空間）になることをいいます。 $(M,g_0)$ を向き付けられた閉 $3$ 次元 Riemann 多様体とし、 の手術つき Ricci flow が有限時間で消滅しないとする。時刻 $t$ の多様体の点 $x$ に対し、球 $B(x,t,\rho)$ の上の断面曲率の下限がちょうど $-\rho^{-2}$ となる半径を $\rho(x,t)$ とし、$w\gt0$ に対して $\operatorname{vol}B(x,t,\rho(x,t))\lt w\,\rho(x,t)^3$ となる点の全体を**薄い部分** $M^-(w,t)$、その補集合を**厚い部分** $M^+(w,t)$ という。このとき、有限個（$0$ 個でもよい）の完備で体積有限な双曲多様体 $H_1,\dots,H_i$（断面曲率 $-\frac14$）があって、十分小さい $w$ と十分大きい $t$ について次が成り立つ。 1. 厚い部分は、計量を $t^{-1}$ 倍すると、$H_j$ のカスプを切り落としたコンパクトな部分 $H_j(w)$ のほぼ等長な埋め込みで覆われる。 2. $H_j(w)$ の境界のトーラスは、時刻 $t$ の多様体の中で非圧縮である。 3. $H_j(w)$ の埋め込みの補集合（薄い部分）は、グラフ多様体に微分同相である。 したがって、十分大きい $t$ で、時刻 $t$ の多様体の各成分は、グラフ多様体であるか、閉双曲多様体であるか、有限個の交わらない非圧縮トーラスで、グラフ多様体と体積有限の非コンパクトな完備双曲多様体とに切り分けられる。 この定理は**主張のみ**とし、証明を付けません。構想は第 1 論文 13.1 節にあり、手術つきの流れに対する証明は第 2 論文の §6〜§7 です。(1)(2) は 7.3 節で、スカラー曲率の最小値と体積から作るスケール不変量の単調性（7.1 節）と、Hamilton の 1999 年の論文（"Non-singular solutions of the Ricci flow on three-manifolds", *Comm. Anal. Geom.* 7）の議論を、曲率の有界性を仮定せずに行ったものです。そのために第 1 論文 Theorem 12.2・12.3 の手術つきの版が §6 で証明されます（6.2 節には第 1 論文 Theorem 12.2 の主張の訂正があります）。(3) は 7.4 節で、「局所的に断面曲率が下から抑えられて体積が崩壊する $3$ 次元多様体はグラフ多様体である」という定理に帰着されます。Perelman はこの定理の証明を別の論文に回すと書きましたが、その論文は公表されていません。証明は T. Shioya と T. Yamaguchi（*Math. Ann.* 333 (2005)）、J. Morgan と G. Tian（*The Geometrization Conjecture*, Clay Mathematics Monographs 5, 2014）、B. Kleiner と J. Lott（*Astérisque* 365 (2014)）らが与えました。L. Bessières、G. Besson、M. Boileau、S. Maillot、J. Porti の本（*Geometrisation of 3-Manifolds*, EMS Tracts in Mathematics 13, 2010）は、崩壊の定理を別の議論で置き換えた証明を与えています。第 2 論文 8.2 節は、$\lambda$（第 5 章の ）を使った別の定式化を述べています。 幾何化予想はこの定理から、消滅する場合の 、素分解の定理、グラフ多様体が Seifert ファイバー空間に切り分けられること（Waldhausen）、Seifert ファイバー空間が 6 つの幾何のどれかを持つことを合わせて導かれます。ポアンカレ予想と楕円化（）にはこの定理は使いません。第 3 論文 1.4 節の注意に、その場合は第 2 論文の §6〜§8 の解析が不要であると明記されています。 ## 7. 検証の経過 Perelman の 3 本の論文はプレプリントサーバ arXiv に置かれただけで、査読誌には投稿されていません。論文は圧縮された書き方で、とくに第 2 論文には "the proof is exactly the same as…" のように詳細を読者に委ねる箇所が多くあります。定理として受け入れられたのは、複数のグループが独立に全体を追い、詳細を補った文書を公表したことによります。出典のある事実を年表にまとめます。 | 時期 | 出来事 | |---|---| | 2002 年 11 月 11 日 | 第 1 論文（arXiv:math/0211159）。エントロピー、非崩壊定理、$\kappa$-解、標準近傍定理、幾何化予想の証明の素描（§13） | | 2003 年 3 月 10 日 | 第 2 論文（arXiv:math/0303109）。手術つき Ricci flow の構成と長時間挙動。冒頭で、第 1 論文 §13 の主張のうち 1 つ（角の体積の下界）が正当化できず、他の結論には不要であったと訂正 | | 2003 年 7 月 17 日 | 第 3 論文（arXiv:math/0307245）。有限時間消滅。ポアンカレ予想に限れば長時間挙動の解析が不要になる | | 2003 年 | Colding–Minicozzi が、幅を使う有限時間消滅の別証明のプレプリントを公表（*J. Amer. Math. Soc.* 18 (2005) に掲載） | | 2003 年〜2006 年 | Kleiner–Lott が第 1・第 2 論文の節ごとの注釈をウェブで公開し、書き足していく。2006 年 5 月に arXiv:math/0605667、2008 年に *Geom. Topol.* 12 に掲載 | | 2006 年 6 月 | Cao–Zhu の論文が *Asian J. Math.* 10 に掲載。同年 12 月に題を改めた改訂版（arXiv:math/0612069） | | 2006 年 7 月 | Morgan–Tian の原稿（arXiv:math/0607607）。ポアンカレ予想の証明に必要な部分の完全な記述。2007 年に Clay Mathematics Monographs 3 として刊行 | | 2006 年 8 月 | 国際数学者会議（マドリード）で Perelman に Fields 賞が授与される。Perelman は受賞を辞退した | | 2010 年 3 月 18 日 | Clay 数学研究所が、ポアンカレ予想の解決に対するミレニアム賞を Perelman に授与すると発表 | | 2010 年 7 月 | Perelman が賞を辞退したことが報じられる（7 月 1 日） | 第 2 論文の冒頭は、Hamilton の手術の議論（1997 年の論文）にも正当化されていない主張が 1 か所あり、それを直せなかったので別の方法を取った、と書いています。検証の過程でも、Perelman の論文の中に、主張の訂正が必要な箇所（第 2 論文 1.1 節と 6.2 節で本人が訂正したもの）や、証明が省かれた定理（崩壊の定理。前節）が見つかっています。いずれも補われ、主定理は変わっていません。Clay 数学研究所の問題のページは、ポアンカレ予想を解決済み（"Solved"）と表示しています（2026 年 10 月 8 日に確認）。 査読誌に載っていない証明が定理として扱われているのは、数学では珍しいことです。その根拠は、掲載の有無ではなく、Kleiner–Lott、Morgan–Tian、Cao–Zhu の 3 つの独立した詳細な記述（合わせて 1000 ページを超える）が査読誌と単行本として公表され、その後の多数の研究がこれらを土台にしていることにあります。この記事で「主張のみ」とした段の証明を確かめたい場合は、これらの文献にあたってください。 ## 8. 演習 $M$ を $\pi_3(M)\ne0$ を満たす連結で向き付け可能な閉 $3$ 次元多様体、$g(t)$（$t\in[0,T)$）を $R(\cdot,0)\ge0$ を満たす Ricci flow の解とする。 を認めて、$T\le W(g(0))/(4\pi)$ を示せ。丸い $S^3$（半径 $r_0$）の場合に、この上界と実際の消滅時刻を比べよ。 第 4 章の (1) から、すべての $t$ で $R_{\min}(t)\ge R_{\min}(0)\ge0$ です。$w(t)=W(g(t))$ は (2) から $D^+w(t)\le-4\pi-\frac12R_{\min}(t)w(t)\le-4\pi$ を満たします。$b(t)=w(t)+4\pi t$ は連続で $D^+b\le0$ なので、 の証明の前半から非増加で、$w(t)\le w(0)-4\pi t$ です。$w(t)\gt0$（ (1)）なので $t\lt w(0)/(4\pi)$ です。丸い $S^3$ では、緯度一定の球面による掃き出しから $W(g(0))\le4\pi r_0^2$（赤道の面積）で、上界は $r_0^2$ 以下です。実際の消滅時刻は $r_0^2/4$（第 4 章の ）なので、この上界は $4$ 倍ゆるい評価です。$\frac12R_{\min}w$ の項を捨てたためで、次の演習のとおり、この項まで入れると赤道の面積の変化はちょうど再現されます。 次の 2 つの場合に、 (2) の等式を直接の計算で確かめよ。(a) 半径 $r(t)$、$r(t)^2=r_0^2-4t$ の丸い $S^3$ の赤道の大球面。(b) $S^2\times S^1$ の積計量の流れ $g(t)=(r_0^2-2t)g_{S^2}+dz^2$ の中の $S^2\times\{z_0\}$。 どちらの球面も、多様体の等長変換である鏡映（(a) では赤道に関する鏡映、(b) では $z\mapsto2z_0-z$）の固定点集合です。鏡映で $\nu$ は $-\nu$ に写り、$\mathrm{II}$ は不変かつ符号を変えるので $\mathrm{II}=0$ です。したがって極小で、 (2) の等式は $\frac{dA}{dt}=-4\pi-\int_\Sigma\frac R2\,dA$ となります。 (a) 面積は $A(t)=4\pi r(t)^2=4\pi(r_0^2-4t)$ で $\frac{dA}{dt}=-16\pi$ です。右辺は、$R=6/r^2$ から $-4\pi-\frac{3}{r^2}\cdot4\pi r^2=-16\pi$ で一致します。 (b) 面積は $A(t)=4\pi(r_0^2-2t)$ で $\frac{dA}{dt}=-8\pi$ です。右辺は、$R=2/(r_0^2-2t)$ から $-4\pi-\frac{1}{r_0^2-2t}\cdot4\pi(r_0^2-2t)=-8\pi$ で一致します。 (a) では $R$ が定数なので、不等式 $\frac{dA}{dt}\le-4\pi-\frac12R_{\min}A$ も等号です。 $M=S^2\times S^1$ に、球面 $S=S^2\times\{z_0\}$ に沿って手術（）を施すと $S^3$ に同相な多様体が得られることを示し、 (2) と の結論と整合することを確かめよ。 $S^1\setminus\{z_0\}$ は開区間と同相なので、$M\setminus S\cong S^2\times\mathbb{R}$ で、これは $(u,s)\mapsto e^su$ により $\mathbb{R}^3\setminus\{0\}$ と同相です。手術は 2 つの端 $s\to-\infty$、$s\to+\infty$ にそれぞれ 1 点を付け加える操作で、前者は原点、後者は無限遠点にあたります。よって $M_S\cong\mathbb{R}^3\cup\{\infty\}=S^3$ です（滑らかな構造まで合わせるには、 の証明のように半径方向の径数を取り替えます）。$M\setminus S$ は連結なので (2) が使え、結論は $S^2\times S^1\cong M_S\#(S^2\times S^1)\cong S^3\#(S^2\times S^1)$ です。 により右辺は $S^2\times S^1$ に微分同相で、矛盾はありません。$S^2\times S^1$ は「$S^3$ の 2 点のまわりを貼り合わせたもの」で、これが の証明の模型 $X$ です。 ## 参考文献 1. G. Perelman, "Ricci flow with surgery on three-manifolds", [arXiv:math/0303109](https://arxiv.org/abs/math/0303109) (2003); "Finite extinction time for the solutions to the Ricci flow on certain three-manifolds", [arXiv:math/0307245](https://arxiv.org/abs/math/0307245) (2003). この記事の節番号はこれらのプレプリントのもの。 2. T. H. Colding, W. P. Minicozzi II, "Estimates for the extinction time for the Ricci flow on certain 3-manifolds and a question of Perelman", *J. Amer. Math. Soc.* 18 (2005), 561–569; "Width and finite extinction time of Ricci flow", *Geom. Topol.* 12 (2008), 2537–2586. 3. B. Kleiner, J. Lott, "Notes on Perelman's papers", *Geom. Topol.* 12 (2008), 2587–2855, [arXiv:math/0605667](https://arxiv.org/abs/math/0605667). 4. J. Morgan, G. Tian, *Ricci Flow and the Poincaré Conjecture*, Clay Mathematics Monographs 3, American Mathematical Society, 2007, [arXiv:math/0607607](https://arxiv.org/abs/math/0607607). 5. H.-D. Cao, X.-P. Zhu, "A complete proof of the Poincaré and geometrization conjectures — application of the Hamilton–Perelman theory of the Ricci flow", *Asian J. Math.* 10 (2006), 165–492. 改訂版 "Hamilton–Perelman's Proof of the Poincaré Conjecture and the Geometrization Conjecture", [arXiv:math/0612069](https://arxiv.org/abs/math/0612069). 6. J. Morgan, G. Tian, *The Geometrization Conjecture*, Clay Mathematics Monographs 5, American Mathematical Society, 2014. 崩壊の定理と幾何化予想の証明。 7. Clay Mathematics Institute, "Poincaré Conjecture", [https://www.claymath.org/millennium/poincare-conjecture/](https://www.claymath.org/millennium/poincare-conjecture/)（2026 年 10 月 8 日に確認。2010 年 3 月 18 日付の授与の発表への案内がある）。