手術付きリッチフローの有限時間消滅

ステップ1(次元3に特有のコーシー・シュワルツ不等式)。 3次元多様体上の一点において、リッチテンソルは固有値 $\lambda_1,\lambda_2,\lambda_3$ を持つ対称 $3\times3$ 行列であり、$R=\lambda_1+\lambda_2+\lambda_3$ である。3つの数に対するコーシー・シュワルツ(べき平均)不等式は $(\lambda_1+\lambda_2+\lambda_3)^2\le3(\lambda_1^2+\lambda_2^2+\lambda_3^2)$、すなわち $|\mathrm{Ric}|^2\ge R^2/3$ を与え、等号はアインシュタイン点($\mathrm{Ric}=\tfrac{R}{3}g$)でちょうど成立する。この不等式は次元3に特有であり、スカラー曲率 $R$ のみで議論を閉じさせるものである。

**ステップ2($R$に対する微分不等式)。** ハミルトンの発展公式 $\partial_tR=\Delta R+2|\mathrm{Ric}|^2$ に代入すると $\partial_tR=\Delta R+2|\mathrm{Ric}|^2\ge\Delta R+\tfrac23R^2$ が得られる。

ステップ3(最小値での最大値原理)。 $R_{\min}(t)=\min_{x\in M}R(x,t)$ とおく。$R$ の空間的最小値が達成される点では $\Delta R\ge0$(2階微分判定)であるから、ステップ2の微分不等式はバリアの意味で $\frac{d}{dt}R_{\min}\ge\frac23R_{\min}^2$ を強制する(リッチフロー下で発展する最小値に対するハミルトンの最大値原理)。手術は手術の閾値以上の曲率を持つ計量のみを接ぎ木するため、$R_{\min}$ をそれ以前の値より下げることは決してなく、したがってこの微分不等式は有限個の手術時刻を通じて持続する。

ステップ4(モデルODEを解く)。 変数分離により $y'=\tfrac23y^2$、$y(0)=r_0>0$ を解く: $\int y^{-2}dy=\int\tfrac23dt$ から $-\tfrac1y=\tfrac23t-\tfrac1{r_0}$、すなわち $\tfrac1{y(t)}=\tfrac1{r_0}-\tfrac23t$、すなわち $y(t)=\dfrac{r_0}{1-\frac23 r_0 t}$ を得る。これはちょうど対応する初期サイズを持つ収縮する円形球面のスカラー曲率であり、分母がゼロになるとき、すなわち $t=T$(ここで $T=\dfrac{3}{2r_0}$)のときにちょうど $y(t)\to+\infty$ となる。

ステップ5(比較)。 $R_{\min}(t)$ が $\frac{d}{dt}R_{\min}\ge\tfrac23R_{\min}^2$ を満たす一方、$y(t)$ は同じ初期値 $r_0$ でこのODEを等号で満たすため、ODE比較原理により両者が定義される限り $R_{\min}(t)\ge y(t)$ となる。$y(t)\to+\infty$ ($t\to T^-$)であるから、$R_{\min}(t)$ はすでに $T$ 以前に $+\infty$ に発散していなければならない。すなわち曲率が爆発することなしにフローを $T$ を超えて滑らかに続けることはできず、手術は遅くとも $T$ までに介入しなければならない。

ステップ6(爆発から消滅へ)。 $R_{\min}\to\infty$ となる成分は、ステップ4のモデル収縮球面との比較により、少なくとも同じ速さで至る所で体積がゼロへ収縮しており、$T$ を超えて存続する余地はない。$M$ が単連結であるため、幾何化は非正曲率の断片を一切許さず($\mathbb{H}^3$, $\mathrm{Nil}$, $\mathrm{Sol}$, $\mathbb{H}^2\times\mathbb{R}$, $\widetilde{\mathrm{SL}_2\mathbb{R}}$ の各断片はコンパクトな3次元多様体に非自明な基本群を強制する)、正曲率の断片が縮んでなくなった後に残る幾何学的断片は存在しえない。したがって時刻 $t$ に存在するすべての連結成分は、遅くとも時刻 $T=\tfrac{3}{2r_0}$ までに手術によって消え去らざるを得ない。すなわち手術付きフローは $T$ までに消滅する。$\blacksquare$