ポアンカレ予想

これはリッチフローを勾配流のように振る舞わせる「時間の矢」である。$\mathcal{F}$ は増加することしかできないため、フローは一度離れた計量に決して戻ることができず(非自明な周期軌道が存在しない)、フローの不動点(微分同相とスケール変換を除いて)はちょうど $\mathcal{F}$ の臨界点、すなわち勾配リッチソリトンに一致する。これにより非線形偏微分方程式系が、エネルギー地形上の勾配降下と同じ定性的構造を持つものへと変換される。

ステップ1(保存される測度)。 リッチフローの下で $\partial_t\,dV=-R\,dV$ が成り立つ($\partial_t\log\sqrt{\det g}=\tfrac12g^{ij}\partial_tg_{ij}=-R$ より)。これを $f$ の発展式 $\partial_t f = -\Delta f + |\nabla f|^2 - R$ と組み合わせると、$\Delta(e^{-f})=e^{-f}(|\nabla f|^2-\Delta f)$ を用いて $\partial_t(e^{-f}dV)=(-\partial_tf-R)e^{-f}dV=(\Delta f-|\nabla f|^2)e^{-f}dV=-\Delta(e^{-f})\,dV$ となる。閉多様体 $M$ 上で積分すると発散定理により右辺は消え、$\int_M e^{-f}dV$ は時間について一定となる。すなわち $e^{-f}dV$ は結合されたフローに沿って運ばれる保存測度である。

**ステップ2($\partial_t\varphi-\Delta\varphi$の積分への帰着)。** $\varphi=R+|\nabla f|^2$ とおくと $\mathcal F(g,f)=\int_M\varphi\,e^{-f}dV$ となる。積分記号下で微分し、ステップ1の $\partial_t(e^{-f}dV)=-\Delta(e^{-f})\,dV$ を用いると $\frac{d}{dt}\mathcal F=\int_M(\partial_t\varphi)e^{-f}dV-\int_M\varphi\,\Delta(e^{-f})\,dV$ となる。閉多様体 $M$ 上で通常のラプラシアンは $dV$ に関して自己随伴なので $\int_M\varphi\,\Delta(e^{-f})\,dV=\int_M(\Delta\varphi)e^{-f}dV$ となり、$\frac{d}{dt}\mathcal F=\int_M\big[\partial_t\varphi-\Delta\varphi\big]e^{-f}dV$ を得る。

**ステップ3($R$の部分)。** スカラー曲率に対するハミルトンの発展公式は $\partial_tR=\Delta R+2|\mathrm{Ric}|^2$ であり、したがって直接 $\partial_tR-\Delta R=2|\mathrm{Ric}|^2$ となる。これによりステップ2の括弧に $2|\mathrm{Ric}|^2$ が寄与する。

**ステップ4($|\nabla f|^2$の部分)。** $\partial_tg^{ij}=2R^{ij}$ であるから連鎖律により $\partial_t|\nabla f|^2=2\mathrm{Ric}(\nabla f,\nabla f)+2\langle\nabla f,\nabla(\partial_tf)\rangle$ となり、$\partial_tf=-\Delta f+|\nabla f|^2-R$ と恒等式 $\langle\nabla f,\nabla|\nabla f|^2\rangle=2\nabla^2f(\nabla f,\nabla f)$ を代入すると $\partial_t|\nabla f|^2=2\mathrm{Ric}(\nabla f,\nabla f)-2\langle\nabla f,\nabla\Delta f\rangle+4\nabla^2f(\nabla f,\nabla f)-2\langle\nabla f,\nabla R\rangle$ となる。ボホナーの公式は $\Delta|\nabla f|^2=2|\nabla^2f|^2+2\langle\nabla f,\nabla\Delta f\rangle+2\mathrm{Ric}(\nabla f,\nabla f)$ を与えるので、引き算すると $\mathrm{Ric}(\nabla f,\nabla f)$ の両方の項が相殺し $\partial_t|\nabla f|^2-\Delta|\nabla f|^2=-2|\nabla^2f|^2+4\nabla^2f(\nabla f,\nabla f)-4\langle\nabla f,\nabla\Delta f\rangle-2\langle\nabla f,\nabla R\rangle$ が残る。

ステップ5(重み付きボホナーと消える発散項)。 バクリー・エミリー($f$重み付き)ラプラシアン $\Delta_f h = \Delta h - \langle\nabla f,\nabla h\rangle$ を導入する。これは $\Delta_fh\,e^{-f}=\mathrm{div}(e^{-f}\nabla h)$ が純粋な発散であることから、任意の関数 $h$ に対して $\int_M(\Delta_fh)e^{-f}dV=0$ を満たす。$\Delta f=\Delta_ff+|\nabla f|^2$ と書くと $\langle\nabla f,\nabla\Delta f\rangle$ は $\langle\nabla f,\nabla\Delta_ff\rangle+2\nabla^2f(\nabla f,\nabla f)$ となり、重み付きボホナー・ヴァイツェンベック恒等式 $\tfrac12\Delta_f|\nabla f|^2=|\nabla^2f|^2+\langle\nabla f,\nabla\Delta_ff\rangle+(\mathrm{Ric}+\nabla^2f)(\nabla f,\nabla f)$ が $\langle\nabla f,\nabla\Delta_ff\rangle$ を分離する。これらすべてをステップ4の式に代入すると、$\Delta_f|\nabla f|^2$ から構成される項はすべて上記の消える発散性により $e^{-f}dV$ に対して積分すると0になり、残るのはちょうど $\int_M\big[2|\nabla^2f|^2+4\mathrm{Ric}(\nabla f,\nabla f)-2\langle\nabla f,\nabla R\rangle\big]e^{-f}dV$ である。

ステップ6(縮約ビアンキ恒等式による平方完成)。 $\langle\mathrm{Ric},\nabla^2f\rangle$ を部分積分し、縮約された第二ビアンキ恒等式 $\nabla^iR_{ij}=\frac12\nabla_jR$ を用いると、ちょうど $4\int_M\langle\mathrm{Ric},\nabla^2f\rangle e^{-f}dV=\int_M\big[4\mathrm{Ric}(\nabla f,\nabla f)-2\langle\nabla f,\nabla R\rangle\big]e^{-f}dV$ が得られる――これはまさにステップ5で残った交差項である。これを代入し、ステップ3の $2|\mathrm{Ric}|^2$ を加えると、被積分関数はちょうど完全平方 $2|\mathrm{Ric}|^2+4\langle\mathrm{Ric},\nabla^2f\rangle+2|\nabla^2f|^2=2|\mathrm{Ric}+\nabla^2f|^2$ にまとまる。

結論。 したがって $\frac{d}{dt}\mathcal{F}(g,f)=2\int_M|R_{ij}+\nabla_i\nabla_jf|^2e^{-f}dV\ge0$ であり、これは正の重み $e^{-f}dV$ に対する平方和であるから、$\mathcal{F}$ は結合されたフローに沿って非減少であり、ある区間で一定であるのはちょうどそこで $R_{ij}+\nabla_i\nabla_jf\equiv0$ のとき、すなわちちょうど定常勾配リッチソリトンのときに限る。$\blacksquare$

幾何化は、閉3次元多様体上の手術付きリッチフローに対して長期的な運命をちょうど二つ予測する。すなわち(スケール変換後)真の幾何学的断片の集まりへ収束するか、有限時間で消滅するかである。単連結性は非正曲率のすべての幾何構造($\mathbb{H}^3$, $\mathrm{Nil}$, $\mathrm{Sol}$, $\mathbb{H}^2\times\mathbb{R}$, $\widetilde{\mathrm{SL}_2\mathbb{R}}$ はいずれもコンパクトな断片に非自明な基本群を強制する)を排除するため、$M\cong S^3$ の候補にとって唯一可能な運命は消滅である――この定理はその運命を定量的なものにし、定性的な位相的議論を厳密な解析へと変える。

ステップ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$