庞加莱猜想

这正是使里奇流表现得像梯度流的"时间之箭"：$\mathcal{F}$ 只能增大，因此该流永远不会回到它已经离开过的度量(不存在非平凡的周期轨道)，而该流的不动点(在微分同胚与尺度变换意义下)恰好就是 $\mathcal{F}$ 的临界点，即梯度里奇孤立子。它把一个非线性偏微分方程组变成了在能量地形上做梯度下降那样的定性结构。

第一步(守恒测度)。 在里奇流下 $\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$ 是被耦合流所携带的守恒测度。

**第二步(化简为 $\partial_t\varphi-\Delta\varphi$ 的积分)。** 记 $\varphi=R+|\nabla f|^2$，则 $\mathcal F(g,f)=\int_M\varphi\,e^{-f}dV$。在积分号下求导，并利用第一步的 $\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$。

**第三步($R$ 的部分)。** 哈密顿关于数量曲率的演化公式是 $\partial_tR=\Delta R+2|\mathrm{Ric}|^2$，因此直接得到 $\partial_tR-\Delta R=2|\mathrm{Ric}|^2$。这已经为第二步括号中的表达式贡献了 $2|\mathrm{Ric}|^2$。

**第四步($|\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$。

第五步(带权博赫纳公式与一个消失的散度项)。 引入巴克里–埃米里(以 $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$。把这些代回第四步的表达式，所有由 $\Delta_f|\nabla f|^2$ 构成的项按上述消失散度性质对 $e^{-f}dV$ 积分后为零，剩下的恰为 $\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$。

第六步(利用缩并比安基恒等式配方)。 对 $\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$——这正是第五步中剩下的交叉项。代回并加上第三步的 $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$

几何化对闭三维流形上带手术的里奇流恰好预测两种长期命运：(重新标度后)收敛到一组真正的几何分块，或在有限时间内灭绝。单连通性排除了所有非正曲率几何($\mathbb{H}^3$, $\mathrm{Nil}$, $\mathrm{Sol}$, $\mathbb{H}^2\times\mathbb{R}$, $\widetilde{\mathrm{SL}_2\mathbb{R}}$ 都会给任何紧致分块强加非平凡基本群)，因此对于 $M\cong S^3$ 的候选者而言，唯一可能的命运就是灭绝——该定理把这一命运定量化，把一个定性的拓扑论证变成了严格的分析论证。

第一步(三维特有的柯西–施瓦茨不等式)。 在三维流形的一点，里奇张量是特征值为 $\lambda_1,\lambda_2,\lambda_3$ 的对称 $3\times3$ 矩阵，且 $R=\lambda_1+\lambda_2+\lambda_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$)成立。这一不等式是三维特有的，正是它使得论证仅用数量曲率 $R$ 就能封闭。

**第二步($R$ 的微分不等式)。** 代入哈密顿的演化公式 $\partial_tR=\Delta R+2|\mathrm{Ric}|^2$ 得 $\partial_tR=\Delta R+2|\mathrm{Ric}|^2\ge\Delta R+\tfrac23R^2$。

第三步(极小值处的极大值原理)。 记 $R_{\min}(t)=\min_{x\in M}R(x,t)$。在 $R$ 达到空间极小值的点处，$\Delta R\ge0$(二阶导数判据)，因此第二步的微分不等式在障碍函数意义下(哈密顿关于里奇流下演化极小值的极大值原理)迫使 $\frac{d}{dt}R_{\min}\ge\frac23R_{\min}^2$。手术只会接入曲率不低于手术阈值的度量，因此它绝不会把 $R_{\min}$ 降到之前的值以下；故此微分不等式在有限多次手术时刻之间持续成立。

第四步(求解模型常微分方程)。 用分离变量法求解 $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$。

第五步(比较)。 由于 $R_{\min}(t)$ 满足 $\frac{d}{dt}R_{\min}\ge\tfrac23R_{\min}^2$，而 $y(t)$ 以相同初值 $r_0$ 取等号满足该常微分方程，由常微分方程比较原理，只要两者都有定义就有 $R_{\min}(t)\ge y(t)$。由于当 $t\to T^-$ 时 $y(t)\to+\infty$，$R_{\min}(t)$ 必须在 $T$ 之前就已趋于 $+\infty$：流不可能在曲率不爆炸的情况下光滑延续超过 $T$，因此手术必须不迟于 $T$ 介入。

第六步(从爆炸到灭绝)。 与第四步的模型收缩球面相比，$R_{\min}\to\infty$ 的分量处处至少以同样快的速度体积收缩至零；它没有任何余地在 $T$ 之后继续存在。因为 $M$ 单连通，几何化不允许出现任何非正曲率的分块($\mathbb{H}^3$, $\mathrm{Nil}$, $\mathrm{Sol}$, $\mathbb{H}^2\times\mathbb{R}$, $\widetilde{\mathrm{SL}_2\mathbb{R}}$ 分块都会给紧致三维流形强加非平凡基本群)，所以正曲率分块收缩消失之后不会残留任何几何分块：时刻 $t$ 存在的每一个连通分量都必须不迟于时刻 $T=\tfrac{3}{2r_0}$ 被手术消去，即带手术的流在 $T$ 之前灭绝。$\blacksquare$