[论文解读] The Ricci-Bourguignon Flow

Giovanni Catino, Laura Cremaschi+3 more|arXiv (Cornell University)|Jul 1, 2015

Geometric Analysis and Curvature Flows参考文献 9被引用 7

一句话总结

本文引入并分析了Ricci–Bourguignon流，这是一种广义Ricci流的一族单参数几何流。它在 $\rho < \frac{1}{2(n-1)}$ 时建立了短时间存在性与曲率估计，证明了当最大时间 $T$ 被逼近时黎曼曲率张量会爆破，并对梯度 $\rho$-爱因斯坦孤立子进行了分类，将已知的Ricci流结果推广到了这一更广泛的流类。

ABSTRACT

In this paper we present some results on a family of geometric flows introduced by Bourguignon that generalize the Ricci flow. For suitable values of the scalar parameter involved in these flows, we prove short time existence and provide curvature estimates. We also state some results on the associated solitons.

研究动机与目标

• 在 $\rho < \frac{1}{2(n-1)}$ 时，为紧致黎曼流形的Ricci–Bourguignon流建立短时间存在性。
• 推导曲率估计，并证明当最大存在时间 $T$ 被逼近时，黎曼曲率张量趋于无界。
• 分析被保持的曲率条件，并在三维情况下建立Hamilton–Ivey估计。
• 对与流相关的梯度 $\rho$-爱因斯坦孤立子进行分类并研究其结构。
• 解决临界Schouten流（$\rho = \frac{1}{2(n-1)}$）的短时间存在性这一开放问题，并解释为何在此情况下DeTurck技巧失效。

提出的方法

• 对于 $\rho < \frac{1}{2(n-1)}$，使用DeTurck技巧证明短时间存在性，此时流算子的主符号在微分同胚不变性带来的零特征值外严格正定。
• 推导流下曲率张量（包括黎曼、 Ricci 和数量曲率）的演化方程。
• 应用最大值原理，证明诸如非负Ricci曲率或非负截面曲率等某些曲率条件在流下被保持。
• 利用能量方法与插值不等式，建立关于黎曼曲率张量高阶导数的 $L^2$-先验估计。
• 通过Sobolev不等式与度量的统一等价性，控制曲率导数的逐点范数，从而实现到 $T$ 的 $C^\infty$ 收敛。
• 通过研究流的不动点并导出相应的孤立子方程，分析梯度 $\rho$-爱因斯坦孤立子的结构。

实验结果

研究问题

• RQ1 当 $\rho < \frac{1}{2(n-1)}$ 时，Ricci–Bourguignon流是否对任意紧致初始度量都存在短时间光滑解？
• RQ2 哪些曲率条件在Ricci–Bourguignon流下被保持，它们与三维情况下Hamilton–Ivey估计的关系如何？
• RQ3 为何DeTurck技巧在Schouten流（$\rho = \frac{1}{2(n-1)}$）中失效，且在此情况下短时间存在性是否仍可能成立？
• RQ4 对于流的紧致解，黎曼曲率张量是否能在有限最大时间 $T$ 之前保持有界？
• RQ5 由Ricci–Bourguignon流产生的梯度 $\rho$-爱因斯坦孤立子的结构与分类是什么？

主要发现

• 当 $\rho < \frac{1}{2(n-1)}$ 时，每个紧致黎曼流形在某个正时间区间内都存在唯一的光滑解。
• 当最大存在时间 $T$ 被逼近时，黎曼曲率张量趋于无界，表明 $T$ 确实是最大存在时间。
• 在三维情况下，当 $\rho < \frac{1}{2(n-1)}$ 时，Hamilton–Ivey估计在Ricci–Bourguignon流下成立，将Ricci流中的一个关键结果推广到了此情形。
• 建立了关于黎曼张量高阶导数的先验 $L^2$-估计，其形式为 $\|\nabla^k \mathrm{Riem}\|_{L^2} \leq \frac{C}{t^k} \|\mathrm{Riem}\|_{L^2}$，其中 $t \in (0,T)$。
• 临界Schouten流（$\rho = \frac{1}{2(n-1)}$）的短时间存在性问题仍为开放问题，原因在于主符号中多出一个零特征值，导致DeTurck技巧无法适用。
• 梯度 $\rho$-爱因斯坦孤立子被分类为满足方程 $\mathrm{Ric} - \rho R g = \frac{1}{2} \mathcal{L}_X g + \lambda g$ 的解，其中 $X$ 为某向量场，$\lambda$ 为常数，这推广了Ricci孤立子的概念。