[论文解读] Ricci flow and nonnegativity of curvature

Lei Ni|ArXiv.org|May 16, 2003

Geometric Analysis and Curvature Flows参考文献 24被引用 3

一句话总结

该论文在假设里奇流保持截面曲率非负的前提下，建立了单连通、完备黎曼流形在有界非负截面曲率下的拓扑分裂定理。通过发展一种时间依赖的张量最大值原理，并分析布塞曼函数的热方程形变，作者证明了此类流形可等距分裂为一个紧致非负曲率流形与欧几里得空间的乘积，并构造了首个已知的在维度≥4时里奇流无法保持截面曲率非负性的例子。

ABSTRACT

In this paper, we prove a general maximum principle for the time dependent Lichnerowicz heat equation on symmetric tensors coupled with the Ricci flow on complete Riemannian manifolds. As an application we construct complete manifolds with bounded nonnegative sectional curvature of dimension greater than or equal to four such that the Ricci flow does not preserve the nonnegativity of the sectional curvature, even though the nonnegativity of the sectional curvature was proved to be preserved by Hamilton in dimension three. The example is the first of this type. This fact is proved through a general splitting theorem on the complete family of metrics with nonnegative sectional curvature, deformed by the Ricci flow.

研究动机与目标

• 研究里奇流在完备非紧流形上保持非负截面曲率时的拓扑后果。
• 解决在时变里奇流下对非可微布塞曼函数应用最大值原理的技术挑战。
• 在度量演化下，为热方程解的Hessian建立时间依赖的张量最大值原理。
• 构造维度≥4的完备黎曼流形显式例子，其截面曲率有界且非负，但里奇流不保持截面曲率的非负性。
• 使用热流方法对具有有界非负曲率算子的完备流形进行分类。

提出的方法

• 发展了[NT3]中最优张量最大值原理的时间依赖版本，适用于度量的里奇流演化。
• 分析了在里奇流下布塞曼函数Hessian的热方程，推导出Hessian分量的抛物型PDE。
• 为时变热方程建立了Li-Yau型热核估计与哈纳克不等式，推广了Grigoryan [Gr1] 和 Saloff-Coste [Sa] 的方法。
• 利用布塞曼函数的热方程形变研究水平集的渐近几何，推导出分裂结构。
• 应用最大值原理证明在流形演化下，布塞曼函数的Hessian保持半正定。
• 通过黎曼纤维丛构造了一个非紧流形上的完备黎曼度量，其截面曲率有界且非负，证明其在里奇流下不保持截面曲率的非负性。

实验结果

研究问题

• RQ1 在具有有界非负截面曲率的完备非紧流形上，里奇流是否保持截面曲率的非负性？
• RQ2 在里奇流下，布塞曼函数的热方程形变能否用于推导拓扑分裂结果？
• RQ3 当里奇流在单连通完备流形上保持非负截面曲率时，其结构有何含义？
• RQ4 是否存在维度≥4的完备流形，其截面曲率有界且非负，但里奇流不保持该曲率条件？
• RQ5 能否使用热流技术对完备流形上的曲率算子非负性条件进行分类？

主要发现

• 在单连通、完备黎曼流形上，若其截面曲率有界且非负，且里奇流保持截面曲率的非负性，则该流形可等距分裂为一个紧致非负曲率流形与一个微分同胚于欧几里得空间的流形的乘积。
• 本文构造了首个已知的维度≥4的完备黎曼流形例子，其截面曲率有界且非负，但里奇流不保持截面曲率的非负性。
• 在里奇流下，为时变热方程建立了热核估计与哈纳克不等式，将先前结果推广至更广泛的方程类。
• 所构造例子的曲率一致有界，且度量通过SO(3)与T(S²)的黎曼纤维丛显式描述。
• 证明了黎曼纤维丛π′的纤维为全测地，支持曲率有界性与几何结构。
• 该结果为具有有界非负曲率算子的完备流形的分类提供了另一种证明，此前该分类曾通过不同方法建立。