[论文解读] Complete gradient shrinking Ricci solitons have finite topological type

Fuquan Fang, Jian-wen Man+1 more|ArXiv.org|Dec 31, 2007

Geometric Analysis and Curvature Flows参考文献 6被引用 4

一句话总结

本文证明了在较弱的曲率条件下，完备的梯度收缩里奇孤立子具有有限的拓扑类型——即微分同胚于带边界的紧致流形的内部。通过莫尔斯理论与势函数的梯度估计，作者表明：若巴尔基-埃梅里里奇张量有正的下界，且里奇曲率有上界，或内蕴半径远离零，则流形具有有限拓扑类型；对于收缩里奇孤立子，有界标量曲率已足够。

ABSTRACT

We show that a complete Riemannian manifold has finite topological type (i.e., homeomorphic to the interior of a compact manifold with boundary), provided its Bakry-Émery Ricci tensor has a positive lower bound, and either of the following conditions: (i) the Ricci curvature is bounded from above; (ii) the Ricci curvature is bounded from below and injectivity radius is bounded away from zero. Moreover, a complete shrinking Ricci soliton has finite topological type if its scalar curvature is bounded.

研究动机与目标

• 建立完备黎曼流形在巴尔基-埃梅里里奇曲率有正下界时具有有限拓扑类型的条件。
• 研究收缩里奇孤立子（其推广了正里奇曲率的紧致流形）是否也具有有限拓扑类型。
• 在孤立子情形下，通过以标量曲率有界替代里奇曲率有界，弱化先前结果中的曲率假设。
• 为“所有收缩里奇孤立子具有有限拓扑类型”这一猜想提供部分解答。

提出的方法

• 通过形变引理应用莫尔斯理论，证明势函数 f 是 proper 的，且在紧致集外无临界点。
• 利用测地线变分法与弧长的二阶变分公式，对测地线上的里奇曲率积分进行有界。
• 构造一个截断函数 φ，使其 L² 范数的导数受控，从而通过与 (n−1)∫ |φ̇|² dt 的比较来估计 ∫ Ric(γ̇,γ̇) dt。
• 利用收缩里奇孤立子的恒等式 R + |∇f|² = f，将 f 和 ∇f 控制在标量曲率范围内。
• 利用 |∇f| ≤ √(f + C) 的有界性，沿测地线积分得到 f 在半径为 1 的球面上的梯度估计。
• 结合曲率有界性与梯度估计，推导出从基点到 f 的任意临界点的距离的统一上界。

实验结果

研究问题

• RQ1 在巴尔基-埃梅里里奇曲率有正下界时，完备黎曼流形在何种条件下具有有限拓扑类型？
• RQ2 对于收缩里奇孤立子，能否放宽先前有限性定理中对里奇曲率有界的假设？
• RQ3 有界标量曲率是否蕴含收缩里奇孤立子具有有限拓扑类型？
• RQ4 是否如猜想所述，所有收缩里奇孤立子都具有有限拓扑类型？

主要发现

• 若巴尔基-埃梅里里奇张量满足 Ric + Hess(f) ≥ λg（λ > 0），且里奇曲率有上界，则流形具有有限拓扑类型。
• 若 Ric ≥ −δ⁻¹g 且 inj(M,g) ≥ δ > 0，则在相同的巴尔基-埃梅里条件下，流形具有有限拓扑类型。
• 对于满足 Ric + Hess(f) = g/2 的收缩里奇孤立子，有界标量曲率 R 蕴含有限拓扑类型。
• 势函数 f 是 proper 的，且在紧致集外无临界点，这通过莫尔斯理论意味着有限拓扑类型。
• 从固定基点到 f 的任意临界点的距离在 |∇f|(p)、B(p,1) 上 |Ric| 的上确界以及标量曲率界 C 的范围内有统一上界。
• 证明建立了到临界点距离的统一上界：ρ ≤ 4n + 8C + 4 + 2|∇f|(p) + 2sup_{B(p,1)}|Ric|。