[论文解读] Index obstructions to positive scalar curvature via submanifolds

Rudolf Zeidler|arXiv (Cornell University)|Dec 21, 2015

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

一句话总结

该论文证明了，当 $N \to M \to B$ 是一个纤维丛，其中 $B$ 为双曲空间且 $\pi_1(B)$ 具有有限渐近维数时，子流形 $N$ 的Rosenberg指标阻碍了全空间自旋流形 $M$ 上正标量曲率的存在。通过一种新颖的多部分划分流形指标定理变体，作者证明了该阻碍在余维数为一的情况下依然成立，并通过 $\hat{A}$-示性类识别了基本阻碍。

ABSTRACT

We exhibit geometric situations, where higher indices of the spinor Dirac operator on a spin manifold $N$ are obstructions to positive scalar curvature on an ambient manifold $M$ that contains $N$ as a submanifold. In the main result of this note, we show that the Rosenberg index of $N$ is an obstruction to positive scalar curvature on $M$ if $N \hookrightarrow M woheadrightarrow B$ is a fiber bundle of spin manifolds with $B$ aspherical and $\pi_1(B)$ of finite asymptotic dimension. The proof is based on a new variant of the multi-partitioned manifold index theorem which might be of independent interest. Moreover, we present an analogous statement for codimension one submanifolds. We also discuss some elementary obstructions using the $\hat{A}$-genus of certain submanifolds.

研究动机与目标

• 确定子流形 $N$ 上旋量Dirac算子的高阶指标阻碍全空间流形 $M$ 上正标量曲率存在的几何条件。
• 证明当 $N \to M \to B$ 是自旋流形的纤维丛，且 $B$ 为双曲空间、$\pi_1(B)$ 具有有限渐近维数时，$N$ 的Rosenberg指标构成阻碍。
• 将阻碍结果推广至余维数为一的子流形。
• 通过子流形的 $\hat{A}$-示性类探索基本阻碍。

提出的方法

• 为具有双曲基空间的纤维丛量身定制一种多部分划分流形指标定理的新变体。
• 在纤维丛结构 $N \to M \to B$ 的背景下，将Rosenberg指标理论应用于子流形 $N$。
• 利用 $\pi_1(B)$ 的有限渐近维数来控制指标在丛投影下的行为。
• 利用 $B$ 的双曲性，确保基本群对指标类的作用处于受控状态。
• 通过将主定理适配到此几何设定，分析余维数为一情形下的指标阻碍。
• 将 $\hat{A}$-示性类用作子流形上正标量曲率阻碍的次级、基本阻碍。

实验结果

研究问题

• RQ1 在何种几何条件下，子流形 $N$ 的Rosenberg指标会阻碍全空间流形 $M$ 上正标量曲率的存在？
• RQ2 在纤维丛 $N \to M \to B$ 中，基空间 $B$ 的拓扑如何影响正标量曲率的指标理论阻碍？
• RQ3 能否将主要阻碍结果推广至余维数为一的子流形？
• RQ4 $\hat{A}$-示性类在检测子流形上正标量曲率阻碍中起什么作用？
• RQ5 $\pi_1(B)$ 的有限渐近维数在指标阻碍有效性中起到何种作用？

主要发现

• 当 $N \to M \to B$ 是自旋流形的纤维丛，且 $B$ 为双曲空间、$\pi_1(B)$ 具有有限渐近维数时，子流形 $N$ 的Rosenberg指标阻碍了 $M$ 上正标量曲率的存在。
• 发展并使用了一种新的多部分划分流形指标定理变体，该变体作为关键技术工具，可能在指标理论中具有独立应用价值。
• 阻碍结果被推广至余维数为一的子流形情形，从而扩大了指标阻碍的几何适用范围。
• 通过某些子流形的 $\hat{A}$-示性类识别了正标量曲率的基本阻碍，为检测提供了更简单、更粗略的不变量。
• 基空间 $B$ 的双曲性以及 $\pi_1(B)$ 的有限渐近维数是确保指标阻碍定义良好且非平凡的关键拓扑条件。