[论文解读] Fourth order curvature flows and geometric applications

Vincent Bour|arXiv (Cornell University)|Dec 1, 2010

Geometric Analysis and Curvature Flows参考文献 19被引用 23

一句话总结

本文研究紧致黎曼流形上的四阶曲率流，重点关注曲率二次泛函（如曲率的$L^2$范数）的梯度流。证明表明，在雅姆贝不变量有统一正下界时，曲率有界下的流形坍缩不会引发奇点；相反，奇点仅在曲率爆破时出现，且爆破序列收敛于完备的Bach平坦、标量曲率为零的极限流形。若初始能量低于某一临界阈值，流将全局存在并收敛于球面或实射影空间，从而为张、古尔斯基与杨关于积分偏曲率4-流形的结果提供了新证明。

ABSTRACT

We study a class of fourth order curvature flows on a compact Riemannian manifold, which includes the gradient flows of a number of quadratic geometric functionals, as for instance the L2 norm of the curvature. Such flows can develop a special kind of singularities, that could not appear in the Ricci flow, namely singularities where the manifold collapses with bounded curvature. We show that this phenomenon cannot occur if we assume a uniform positive lower bound on the Yamabe invariant. In particular, for a number of gradient flows in dimension four, such a lower bound exists if we assume a bound on the initial energy. This implies that these flows can only develop singularities where the curvature blows up, and that blowing-up sequences converge (up to a subsequence) to a "singularity model", namely a complete Bach-flat, scalar-flat manifold. We prove a rigidity result for those model manifolds and show that if the initial energy is smaller than an explicit bound, then no singularity can occur. Under those assumptions, the flow exists for all time, and converges up to a subsequence to the sphere or the real projective space. This gives an alternative proof, under a slightly stronger assumption, of a result from Chang, Gursky and Yang asserting that integral pinched 4-manifolds with positive Yamabe constant are space forms.

研究动机与目标

• 分析紧致黎曼流形上的四阶曲率流，特别是曲率二次泛函（如$\mathcal{F}_{Rm}$、$\mathcal{F}_{Ric}$和$\mathcal{F}_2$）的梯度流。
• 理解此类流中奇点的性质，尤其是流形在曲率有界下发生坍缩的可能性，这在里奇流中不会发生。
• 建立此类流避免坍缩奇点、而仅发展曲率爆破奇点的条件。
• 证明在雅姆贝不变量有统一正下界时，爆破序列收敛于完备的Bach平坦、标量曲率为零的极限流形。
• 证明若初始能量低于显式阈值，流将全局存在并收敛于球面或实射影空间，从而为张、古尔斯基与杨的结果提供替代证明。

提出的方法

• 分析依赖于紧致黎曼流形上张量场的Sobolev型插值不等式，特别是高阶Sobolev嵌入。
• 论文使用从$H_k^m$、$H_k^p$和$H_{k+1}^q$曲率张量的Sobolev范数之间进行$L^p$-范数插值导出的先验估计。
• 应用广义Sobolev嵌入定理，通过$L^2$和更高阶Sobolev范数控制曲率及其导数的点态范数。
• 主结果的证明采用爆破分析技术：假设度量序列出现奇点，通过缩放构造极限流形，并证明其必为Bach平坦且标量曲率为零。
• 通过证明任何具有有限能量的完备Bach平坦、标量曲率为零的流形必为空间形式，确立极限流形的刚性。
• 全局存在性的能量阈值由$\mathcal{F}_2$的共形不变性和四维的高斯-博内公式导出。

实验结果

研究问题

• RQ1 四阶曲率流是否可能因曲率有界下的流形坍缩而产生奇点？若可能，在何种几何条件下可排除此情况？
• RQ2 此类流中曲率爆破时形成的奇点模型具有何种结构？
• RQ3 在何种初始能量条件下，流将全局存在并收敛于空间形式？
• RQ4 雅姆贝不变量的正性如何约束四阶曲率流中坍缩型奇点的形成？
• RQ5 能否在比先前已知更强的能量条件下，确立流收敛于球面或实射影空间？

主要发现

• 若雅姆贝不变量被统一正下界控制，则四阶曲率流不会因曲率有界下的流形坍缩而产生奇点。
• 此类流中的爆破序列（子列意义下）收敛于一个完备的Bach平坦、标量曲率为零的流形，即奇点模型。
• 当初始能量低于临界阈值时，流将全局存在，并（子列意义下）收敛于标准球面或实射影空间。
• 临界能量阈值由四维的共形不变量和高斯-博内公式显式确定。
• 刚性结果表明，任何具有有限能量的完备Bach平坦、标量曲率为零的流形必为空间形式，这意味着唯一可能的极限是球面或实射影空间。
• 这在稍强的能量假设下，为张、古尔斯基与杨的结果提供了替代证明：具有正雅姆贝常数的积分偏曲率4-流形必为空间形式。