[论文解读] Four Lectures on Scalar Curvature

Misha Gromov|arXiv (Cornell University)|Aug 28, 2019

Advanced Differential Geometry Research被引用 8

一句话总结

本文系统探讨了黎曼几何中数量曲率的上界约束，聚焦于拓扑、几何与分析之间的相互作用。通过利用狄拉克算子的指标理论与几何测度论，本文建立了正数量曲率的尖锐障碍，特别通过最小超曲面、稳定 μ-泡沫及循环的利普希茨控制来实现。核心贡献在于提出了一套新框架，通过度量不变量与拓扑障碍来理解数量曲率灵活性的极限。

ABSTRACT

We overview main topics and ideas in spaces with their scalar curvatures bounded from below, and present a more detailed exposition of several known and some new geometric constraints on Riemannian spaces implied by the lower bounds on their scalar curvatures

研究动机与目标

• 系统理解数量曲率有下界的流形，特别是 Sc ≥ 0 的情形。
• 统一分析与几何方法，特别是指标理论与几何测度论，以研究数量曲率约束。
• 利用拓扑与度量不变量，建立正数量曲率度量存在的尖锐障碍。
• 探讨超曲面、调和映射与利普希茨控制在刻画数量曲率行为中的作用。
• 提出并研究关于数量曲率、拓扑与大尺度几何之间相互作用的开放问题。

提出的方法

• 利用阿蒂亚-辛格指标定理与旋量流形上狄拉克算子的李赫诺维奇公式，推导出拓扑障碍。
• 应用稳定 μ-泡沫与扭曲 FCS-对称化方法，分析最小超曲面与曲率约束。
• 采用共形变形与共形拉普拉斯算子，研究度量变化下的数量曲率。
• 引入超球半径与循环的利普希茨控制概念，以度量大尺度几何复杂性。
• 应用利普希茨悬架引理，证明若流形 Z 满足 RadLip_m(Z) = ∞ 且可等距嵌入 X，则当 dim(X) > m 时，有 RadLip_m(X) = ∞。
• 利用 LSLU（大尺度利普希茨一致嵌入）在流形之间转移几何与拓扑性质，尤其在阿塞尔曼流形的背景下。

实验结果

研究问题

• RQ1 在给定流形上，存在正数量曲率黎曼度量的拓扑障碍是什么？
• RQ2 几何测度论与最小超曲面理论如何约束数量曲率的上界？
• RQ3 一个流形的数量曲率在多大程度上可由其循环的大尺度几何控制？
• RQ4 狄拉克算子与指标理论在检测数量曲率正性中起什么作用？
• RQ5 在何种条件下，具有给定基本群的流形可赋予正数量曲率度量？

主要发现

• 若一个一致可缩的黎曼流形 X 拥有一系列 (m−1)-循环，其超球半径可任意大，且满足某些几何控制条件，则 RadLip_m(X) = ∞。
• 利普希茨悬架引理表明：若流形 Z 满足 RadLip_m(Z) = ∞，且可 LSLU 嵌入 X，则当 dim(X) > m 时，有 RadLip_m(X) = ∞。
• 对于基本群包含曲面群的紧致阿塞尔曼 6-流形 X，其不存在正数量曲率度量，原因在于其万有覆盖的超球半径为无穷。
• 若 π₁(X) 中存在曲面群，则其万有覆盖 ˜X 满足 RadLip_2(˜X) = ∞，这与在 dim(Y) = 3 时 T⋊-稳定化下 σ/2 > 0 的数量曲率约束矛盾。
• 若一致可缩的 n-流形 ˜X 满足 RadLip_m(˜X) = ∞，则其包含维度为 n−m−1 的紧致子流形 Y，其填充半径可任意大，这与稳定化下的正数量曲率约束矛盾。
• 本文建立 K-面积不变量与数量曲率之间与辛不变量的联系，尽管该联系尚不清晰，且是关键的开放研究方向。