Ricci 流改变度量,不改变底层点集
目标: a(t) 的零点是否仍描述该时刻的光滑度量?
几何流是在同一个固定光滑流形上的一条测量规则路径。只有明确引入时变微分同胚后,点才被重新标记。 计算前先写明固定流形、时间区间、度量约定、曲率符号、归一化、正则类别、紧致性或完备性假设,并说明结论是逐点、积分、时空局部、整体,还是只在奇性时刻之前成立。
逐个把对象读成文字:固定流形 M,令 g(t) 在 t∈I 上为光滑正定对称二张量,并记 h=∂_t g。Ricci 流满足 h=−2Ric(g(t))。 本章使用的准确结论是:每个时刻的 g(t) 都定义自己的距离、体积、联络与曲率。对任何派生对象求导时,都必须包含它对 g(t) 的依赖。 要区分对任意度量变分成立的恒等式,与需要 Ricci 流方程、最大值原理、紧性或非塌缩假设的定理。
按照本章论证实际需要展开的完整证明或诚实限定范围的证明路线是:1. 先固定流形与不随时间改变的坐标标签。 2. 把 h 定义为度量速度,并把每个派生对象展开成 g 的函数。 3. 先建立一般变分恒等式,再代入 h=−2Ric。 必须记录每个拉回、尺度因子、时间方向、边界项、截断函数、曲率界、基点、子列与等号情形,不能把它们藏在记号中。
从给定度量重建模型“在固定 n 维流形上令 g(t)=a(t)g₀,计算 h,并说明 g(t) 何时仍为 Riemann 度量。”。核验结果是:h=a′g₀=(a′/a)g,允许的时间集合恰为 {t:a(t)>0}。 最近的失效边界是:若坐标本身依赖时间,就会出现额外 Lie 导数项。忽略它会混淆几何演化与重新标记。 渲染曲面、有限网格、拟合曲率、短时模拟或小残差,只能作为所记录离散与容差下的证据;绝不能把它当成光滑延拓、奇性后唯一性、拓扑变化或整体分类的证明。
每个时刻的 g(t) 都定义自己的距离、体积、联络与曲率。对任何派生对象求导时,都必须包含它对 g(t) 的依赖。
先固定流形与不随时间改变的坐标标签。
把 h 定义为度量速度,并把每个派生对象展开成 g 的函数。
先建立一般变分恒等式,再代入 h=−2Ric。
在固定 n 维流形上令 g(t)=a(t)g₀,计算 h,并说明 g(t) 何时仍为 Riemann 度量。
- 求导得到 h=a′(t)g₀。 这是按本章定义得到的准确结果,并未提前舍入。
- 在 a(t)>0 处改写为 h=[a′(t)/a(t)]g(t)。 这是按本章定义得到的准确结果,并未提前舍入。
- 因 g₀ 正定,正定性等价于 a(t)>0。 这是按本章定义得到的准确结果,并未提前舍入。
结果: h=a′g₀=(a′/a)g,允许的时间集合恰为 {t:a(t)>0}。 这是按本章定义得到的准确结果,并未提前舍入。