MathLabs

解法：佩雷尔曼的带手术里奇流(2002–2003年),概要版

第 3/9 步：作为梯度流的里奇流:F泛函
上一步下一步
通俗地说

一个沿山坡滚下的球只会不断失去高度——除非它已经处在谷底,否则它永远无法准确地爬回出发点。2002年,Perelman 着手寻找一种隐藏的“地形”,使得里奇流本身始终沿着它往下滚。

他证明了,只要修正点的重新标记方式(一个微分同胚),里奇流总是朝着使一个称为 F 的泛函增大的方向运动。由于 F 只能增加,流永远不能精确重复自己的历史——这是第一个线索,表明奇点而非无穷循环,才是这个流走投无路时的自然归宿。

F(g,f)=∫M(R+∣∇f∣2)e−f dV,dFdt=2∫M∣Rij+∇i∇jf∣2e−f dV≥0\mathcal{F}(g,f) = \int_M (R+|\nabla f|^2)e^{-f}\,dV, \qquad \frac{d\mathcal{F}}{dt} = 2\int_M \big|R_{ij}+\nabla_i\nabla_j f\big|^2 e^{-f}\,dV \ge 0
详细分析

Perelman 的第一个突破(arXiv:math/0211159, §1)将里奇流 ∂tgij=−2Rij\partial_t g_{ij} = -2R_{ij} 与一个按逆时间热方程演化的辅助函数 ff 相耦合,并研究泛函 F(g,f)=∫M(R+∣∇f∣2)e−f dV\mathcal{F}(g,f) = \int_M (R+|\nabla f|^2)e^{-f}\,dV。

ff 的流中吸收一个微分同胚之后(§1.2–1.3),这个耦合系统恰好就是 F\mathcal{F} 的 L2L^2-梯度流,直接计算给出 dFdt=2∫M∣Rij+∇i∇jf∣2e−f dV≥0\frac{d\mathcal{F}}{dt} = 2\int_M |R_{ij}+\nabla_i\nabla_j f|^2 e^{-f}\,dV \ge 0,等号仅在稳态或孤立子解处成立。

一个沿流严格递增(孤立子处除外)的泛函不可能回到其初始值,因此里奇流不存在非平凡的周期解(“呼吸子”)。这一梯度流结构正是 Perelman 在下一步中精炼为尺度不变熵——足以直接控制奇点——的萌芽。

本步骤中的术语
梯度流
沿着使某个泛函增大(或减小)最快的方向运动的流,该泛函的值沿流单调变化。
呼吸子/梯度里奇孤立子
“呼吸子”是里奇流的非平凡解,其几何在相差一个缩放与微分同胚后随时间周期性重复;梯度里奇孤立子是其边界情形,度量仅通过缩放与微分同胚演化,不产生真正新的几何。
本步骤用到的知识
黎曼几何