[论文解读] Uniqueness of solutions of Ricci flow on complete noncompact manifolds

Shu-Yu Hsu|arXiv (Cornell University)|Apr 26, 2007

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

一句话总结

本文通过DeTurck技巧，对具有有界曲率的完备非紧流形上的Ricci流解的唯一性提供了更正且简化的证明。它指出了先前文献[CZ]中一个有缺陷的引理并予以否定，建立了在有界曲率下Ricci调和流的存在性与唯一性，并构造了一个反例，表明尽管曲率有界，截面半径在无穷远处仍可能趋于零。

ABSTRACT

We prove the uniqueness of solutions of the Ricci flow on complete noncompact manifolds with bounded curvatures using the De Turck approach. As a consequence we obtain a correct proof of the existence of solution of the Ricci harmonic flow on complete noncompact manifolds with bounded curvatures.

研究动机与目标

• 更正[CZ]中关于具有有界曲率的完备非紧流形上Ricci流的有缺陷的唯一性证明。
• 通过DeTurck方法，为完备非紧流形上的Ricci流提供一个严谨且简化的唯一性证明。
• 证明完备非紧流形上具有有界曲率的Ricci调和流解的存在性。
• 构造一个完备流形的反例，其曲率有界但截面半径在无穷远处趋于零。
• 为[CZ]中声称可通过黎曼卷积构造具有有界导数的光滑函数的引理2.2提供强有力的反驳。

提出的方法

• 应用DeTurck技巧将弱抛物型Ricci流转化为严格抛物型的Ricci-DeTurck流，从而简化分析。
• 使用Ricci调和流$ F $作为微分同胚，将度量拉回到固定目标流形上，从而诱导出Ricci-DeTurck流。
• 使用光滑核$ \psi $进行黎曼卷积以逼近距离函数，但表明当截面半径趋于零时，该方法无法产生一致有界的导数。
• 应用Hessian比较定理控制距离函数$ \rho $的Laplacian，得到$ \widetilde{\nabla}_\alpha \widetilde{\nabla}_\beta \rho \leq \frac{1 + \sqrt{k_0}\rho}{\rho} h_{\alpha\beta} $。
• 使用截断函数$ \widetilde{\phi}(y) = \phi(\rho(y)/R_1) $对能量估计进行局部化，并在$ u = |\hat{g} - \hat{\overline{g}}|_h^2 \widetilde{\phi} $上应用最大值原理。
• 对加权函数$ q(y,t) = u(y,t)e^{-2C_2\sqrt{t}} - (2C_4/R_1)t $应用加权最大值原理，证明$ q \leq 0 $，从而在$ R_1 \to \infty $时推出$ \hat{g} \equiv \hat{\overline{g}} $。

实验结果

研究问题

• RQ1 为何[CZ]中的引理2.2在截面半径趋于零的非紧流形上无法用于构造具有有界导数的光滑函数？
• RQ2 DeTurck方法能否在具有有界曲率的完备非紧流形上严格应用于证明Ricci流的唯一性？
• RQ3 若存在一个完备非紧流形，其曲率有界但截面半径在无穷远处趋于零，这是否否定了依赖于一致有界性的先前唯一性论证？
• RQ4 能否在非紧流形上，在有界曲率假设下证明Ricci调和流的存在性与唯一性？
• RQ5 当截面半径不一致有下界时，黎曼卷积算子的正确行为是什么？

主要发现

• CZ中关键的引理2.2无效，因为当截面半径趋于零时，距离函数的黎曼卷积无法产生一致有界的高阶协变导数。
• 本文构造了一个完备非紧黎曼流形，其曲率有界但截面半径在无穷远处趋于零，证明了此类流形的存在性且非病态。
• 通过DeTurck方法，建立了具有有界曲率的完备非紧流形上Ricci流唯一性的更正且简化的证明。
• 在具有有界曲率的完备非紧流形上，Ricci调和流的存在性与唯一性得到了严格证明。
• 使用截断函数$ \widetilde{\phi} $和加权函数$ q $的最大值原理论证，最终推出$ \hat{g} \equiv \hat{\overline{g}} $在$ N \times [0,T_0] $上成立，从而在DeTurck规范下证明了唯一性。
• 最终的唯一性定理指出：若两个Ricci流解$ g(t) $和$ \overline{g}(t) $在$ M \times (0,T) $上从同一初始度量出发，且曲率一致有界（即$ \|Rm\| \leq k_0 $），则它们完全相同：$ g(t) \equiv \overline{g}(t) $。