[论文解读] Infinite connected sums, K-area and positive scalar curvature

Levi Lopes de Lima|arXiv (Cornell University)|Aug 17, 2004

Advanced Operator Algebra Research参考文献 10被引用 3

一句话总结

本文利用有界 $K$-面积不变量，建立了一种新的正数量曲率障碍，适用于无限连通和的自旋流形。通过证明当附加一个具有无限 $K$-面积的流形时，此类连通和的 $K$-面积变为无穷大，本文证明了在有界几何类中不存在正数量曲率度量，从而推广了基于指标理论的早期结果。

ABSTRACT

Whyte used the index theory of Dirac operators and Block-Weiberger uniformly finite homology to show that certain infinite connected sums do not carry a metric with nonnegative scalar curvature in their bounded geometry class. His proof uses a coarse version of the $\hat{A}$-class to obstruct such metrics. In this note we prove a version of Whyte's result where a variant of the notion of infinite $K$-area, originally due to Gromov, is used to obstruct metrics with positive scalar curvature.

研究动机与目标

• 将现有对无限连通和上正数量曲率的障碍研究从指标理论方法推广至更广泛的情形。
• 确立有界 $K$-面积不变量在有界几何设定下提供更强、更普遍的障碍。
• 证明无限 $K$-面积在连通和中存在时，意味着正数量曲率度量不存在。
• 证明 $K_{\rm area}^b(X) = +\infty$ 意味着不存在在任意大紧集外部数量曲率非正的度量。
• 展示 $K$-面积障碍适用于所有偶数维，而不仅限于 4 的倍数，与 $˂ A$-类障碍不同。

提出的方法

• 采用格罗莫夫提出的 $K$-面积概念，并通过不变量 $K_{\rm area}^b(X)$ 适配到有界几何，该不变量在有界微分同胚下保持稳定。
• 将有界几何范畴 ${\mathcal{B}\mathcal{G}}_{n}$ 分解为可约（$H_0^{\rm uf}(X) \neq 0$）与不可约部分。
• 证明当 $K_{\rm area}(M) = +\infty$ 且 $Y \in \mathcal{B}\mathcal{G}_{2k}^A$ 具有有限 $K_{\rm area}^b(Y)$ 时，有 $K_{\rm area}^b(Y \sharp_S M) = +\infty$。
• 应用向量丛上的亚当斯运算分析陈特征类，并推导有界陈数的消失结果。
• 利用谱理论与曲率控制估计大区域上狄拉克算子的指标和 $L^2$-范数。
• 通过普遍多项式关系将问题约化为有界陈特征类与陈类的消失。

实验结果

研究问题

• RQ1 能否使用 $K$-面积不变量来阻碍有界几何中无限连通和上的正数量曲率？
• RQ2 当附加一个具有无限 $K$-面积的流形时，无限连通和的 $K$-面积是否仍保持有限？
• RQ3 是否存在一种几何障碍，其强度超过 $˂ A$-类障碍，并适用于所有偶数维？
• RQ4 当 $˂ A$-类消失时，$K$-面积不变量是否仍能检测正数量曲率度量的不存在性？
• RQ5 一致有限同调与有界几何在 $K$-面积在无限连通和下稳定性中的作用是什么？

主要发现

• 若 $Y \in \mathcal{B}\mathcal{G}_{2k}^A$ 满足 $K_{\rm area}^b(Y)$ 有限且 $[S] \neq 0$ 在 $H_0^{\rm uf}(Y)$ 中，则当 $K_{\rm area}(M) = +\infty$ 时，有 $K_{\rm area}^b(Y \sharp_S M) = +\infty$。
• 若 $X \in \mathcal{B}\mathcal{G}_{2k}$ 满足 $K_{\rm area}^b(X) = +\infty$，则其不能携带在任意大紧集外部数量曲率非正的度量。
• 特别地，此类流形在其有界几何类中不存在正数量曲率度量。
• $K$-面积障碍适用于所有偶数维 $2k$，而不仅限于 4 的倍数，因此比 $˂ A$-类障碍更一般。
• 所有有界陈数 ${c}_I^b({\mathcal{E}})$ 的消失可由 $K$-面积的有限性推出，这意味着 $\mathcal{E}$ 是 $b$-同调平凡的。
• 证明依赖于亚当斯运算与曲率控制的谱估计，以表明约化陈特征类必须消失，若 $K_{\rm area}^b(X) < \infty$ 则导致矛盾。