[论文解读] Generalized soap bubbles and the topology of manifolds with positive scalar curvature

Otis Chodosh, Chao Li|arXiv (Cornell University)|Aug 27, 2020

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

一句话总结

本文证明了闭的非球面4-和5-流形不能赋予正数量曲率的黎曼度量，且当 n ≤ 7 时，n-环面与任意 n-流形的连通和也不能赋予完备的正数量曲率度量。作者引入广义肥皂泡——即对于指定平均曲率泛函（μ-泡泡）处于稳定状态的曲面——作为新颖的几何工具，以推导正数量曲率的全局拓扑障碍，从而拓展了Geroch猜想的结果，并支持了局部共形平坦流形在非负数量曲率下的Schoen–Yau Liouville定理。

ABSTRACT

We prove that for $n\in \{4,5\}$, a closed aspherical $n$-manifold does not admit a Riemannian metric with positive scalar curvature. Additionally, we show that for $n\leq 7$, the connected sum of a $n$-torus with an arbitrary manifold does not admit a complete metric of positive scalar curvature. When combined with forthcoming contributions by Lesourd--Unger--Yau, this proves that the Schoen--Yau Liouville theorem holds for all locally conformally flat manifolds with non-negative scalar curvature. A key tool in these results are generalized soap bubbles -- surfaces that are stationary for prescribed-mean-curvature functionals (also called $μ$-bubbles).

研究动机与目标

• 将Geroch猜想推广至4和5维的闭非球面流形，证明其不能赋予正数量曲率的度量。
• 解决关于当 n ≤ 7 时，n-环面与任意 n-流形的连通和是否能赋予完备正数量曲率度量的猜想。
• 通过一种新颖的几何方法，证明Schoen–Yau Liouville定理对所有局部共形平坦且具有非负数量曲率的流形均成立。
• 引入并应用广义肥皂泡（μ-泡泡）作为推导正数量曲率全局拓扑障碍的新工具。

提出的方法

• 作者分析了预定平均曲率问题的稳定解，将广义肥皂泡定义为对 μ-泡泡泛函处于稳定状态的曲面。
• 他们利用 μ-泡泡的稳定性，通过曲率与体积比较论证，推导出对周围流形的几何与拓扑约束，尤其关注其在高斯曲率与体积增长方面的性质。
• 该方法涉及使用共形拉普拉斯算子的格林函数构造共形爆破，以将数量曲率与渐近平坦几何联系起来。
• 关键步骤在于：利用最大值原理与衰减估计，证明由格林函数展开导出的调和函数必为常数。
• 若正数量曲率存在，则在爆破后的流形大区域上构造出平坦度量，将导致矛盾，该矛盾源于Lohkamp的商空间思想。
• 证明依赖于对格林函数与共形变换的详细渐近分析，特别是围绕发展映射奇点附近的性质。

实验结果

研究问题

• RQ1 闭的非球面4-和5-流形能否赋予黎曼度量使其具有正数量曲率？
• RQ2 当 n ≤ 7 时，n-环面与任意 n-流形的连通和能否赋予完备的正数量曲率度量？
• RQ3 Schoen–Yau Liouville定理能否推广至所有局部共形平坦且具有非负数量曲率的流形？
• RQ4 广义肥皂泡（μ-泡泡）能否作为推导正数量曲率全局拓扑障碍的新工具？

主要发现

• 当 n ∈ {4,5} 时，任意闭的非球面 n-流形均不能赋予正数量曲率的黎曼度量；此类流形上任意非负数量曲率的度量必为平坦的。
• 当 n ≤ 7 时，n-环面与任意 n-流形的连通和不能赋予完备的正数量曲率度量；唯一可能的完备非负数量曲率度量为平坦度量。
• 作者的结果与Lesourd–Unger–Yau即将发表的工作相结合，证实了Schoen–Yau Liouville定理对所有局部共形平坦且具有非负数量曲率的流形均成立。
• μ-泡泡的应用首次实现了预定平均曲率曲面在数量曲率几何中的全局拓扑应用。
• 由共形拉普拉斯算子的格林函数导出的调和函数必为常数，这意味着格林函数及其共形变换完全一致，从而在极限下迫使数量曲率趋于零。
• 在爆破后的流形中，若其平坦区域经商空间构造后产生矛盾，则可排除原始情形下正数量曲率的存在性。