[论文解读] Scalar curvature and vector bundles

Mario Listing|arXiv (Cornell University)|Feb 20, 2012

Homotopy and Cohomology in Algebraic Topology参考文献 49被引用 4

一句话总结

本文引入了K–面积上同调这一新的上同调理论，该理论源自有限维厄米特向量丛的曲率，建立了曲率界与拓扑之间的联系。证明了复向量丛的$L^\infty$-曲率间隙为正，当且仅当K–面积上同调在偶数维上与约化奇异上同调一致，并为紧致流形上的数量曲率提供了上界，推广了Llarull、Goette和Semmelmann的结果。

ABSTRACT

In the first part we use Gromov's K--area to define the K--area homology which stabilizes into singular homology on the category of pairs of compact smooth manifolds. The second part treats the questions of certain curvature gaps. For instance, the $L^\infty $--curvature gap of complex vector bundles on a compact manifold is positive if and only if the K--area homology coincides with the reduced singular homology in all even degrees. In the third part we give some upper bounds of the scalar curvature on compact manifolds. In particular, we generalize results by Llarull and Goette, Semmelmann.

研究动机与目标

• 定义一种新的上同调理论——K–面积上同调，基于紧致流形上有限维厄米特向量丛的曲率。
• 研究曲率间隙，特别是复向量丛的$L^\infty$-曲率间隙，并将其与拓扑不变量关联。
• 利用几何与分析方法，为紧致流形上的数量曲率建立上界，推广已知结果。
• 证明K–面积上同调能检测奇异上同调无法识别的拓扑差异，尤其在同调同构但曲率行为不同的流形中。

提出的方法

• 通过有限维厄米特向量丛上厄米特联络的曲率算子范数$ \|R^{\mathcal{E}}\| $的逆，定义同调类的K–面积。
• 将K–面积上同调$ \mathscr{H}_k(M;G) \subseteq H_k(M;G) $构造为具有有限K–面积的同调类子群，且与黎曼度量无关。
• 利用格罗莫夫的K–面积及Hanke对Rosenberg指标的结果，将K–面积上同调与$ \alpha^{\mathbb{R}}_{\mathrm{max}}(M) $的消失性联系起来，后者是正数量曲率的一个关键障碍。
• 应用共形形变技巧与Bochner–Weitzenböck公式中的曲率估计，推导数量曲率的上界。
• 利用陈示性类与扭Dirac算子上的指标理论，通过非零指标检测K–面积上同调的非平凡性。
• 采用度量缩放与膨胀估计，分析映射下曲率行为，尤其在$ S^1 $乘积情形，通过$ \epsilon \to 0 $的极限导出矛盾论证。

实验结果

研究问题

• RQ1 复向量丛的$L^\infty$-曲率间隙在何时消失？这对其基流形的拓扑意味着什么？
• RQ2 K–面积上同调与奇异上同调之间有何关系？在何种情况下它们一致或不同？
• RQ3 对于 admits 正数量曲率度量的紧致流形，其数量曲率的上界可被如何限定？
• RQ4 曲率张量或Weyl张量在$L^{n/2}$-范数下的曲率间隙能否用于检测拓扑障碍？
• RQ5 共形形变与膨胀估计在多大程度上可用于约束具有非平凡K–面积上同调的流形之间映射的几何？

主要发现

• 紧致流形上复向量丛的$L^\infty$-曲率间隙为正，当且仅当K–面积上同调在所有偶数维上与约化奇异上同调一致。
• K–面积上同调是同伦不变量，能检测奇异上同调无法识别的拓扑差异：例如，$ \mathscr{H}_3(T^3) = \{0\} $，而$ \mathscr{H}_3(S^3) = \mathbb{Z} $，尽管奇异上同调同构。
• 对于双曲同调球面$ M^3 $，基本类具有无限K–面积，而$ S^3 $具有有限K–面积，表明K–面积上同调可区分同调相同但不同胚的流形。
• 本文通过扭Dirac算子中的曲率估计与共形度量，推广了Llarull与Goette–Semmelmann的数量曲率上界结果。
• 在极限$ \epsilon \to 0 $时，曲率估计迫使映射$ f $为黎曼覆盖，意味着$ \mathrm{dil}_2(f) = \text{const} > 0 $，且$ f $共形拉回度量$ g_0 $。
• 分析表明，若数量曲率$ \mathrm{scal}_{\tilde{g}} \geq 2K_0\beta $，则$ \beta = \frac{n(n-1)}{2} \mathrm{dil}_2(f) \circ \pi $，且等式成立时必有$ \lambda_i(x) = \lambda_j(x) $对所有$ i,j $成立，从而强制共形平坦性与覆盖结构。