[论文解读] Positive curvature, partial vanishing theorems, and coarse indices

John Roe|arXiv (Cornell University)|Oct 23, 2012

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

一句话总结

本论文为完备黎曼流形上具有在子集 $ Z $ 外正曲率的狄拉克算子建立了局部化的粗指标定理，表明此类算子的粗指标属于 $ C^*(Z\backslash X) $ 的 $ K $-理论，即靠近 $ Z $ 的算子的 $ C^* $-代数。关键结果通过基于有限传播和曲率界约束的相对指标构造，将格罗莫夫-劳森消去定理推广至非紧致情形。

ABSTRACT

Let M be a complete Riemannian manifold, D a Dirac-type operator on M whose Weitzenbock curvature is uniformly positive on the complement of a subset Z of M. We show that the coarse index of D is localized to the K-theory of the coarse C*-algebra of Z. Applications are discussed, including a coarse form of the relative index theorem.

研究动机与目标

• 为在子集 $ Z $ 外具有正曲率的粗指标部分消去定理提供详细证明，扩展粗指标理论中先前的结果。
• 阐明曲率正性与 $ K $-理论中 $ C^*(Z\backslash X) $ 的粗指标支撑之间的关系。
• 为在区域 $ Z $ 外曲率一致正的流形上狄拉克算子建立相对指标定理。
• 证明局部化粗指标仅依赖于 $ Z $ 附近的几何结构，与大尺度结构无关。
• 通过粗装配映射，形式化粗指标与 $ K $-同调之间的联系，利用相对同调类。

提出的方法

• 使用有限传播速度方法分析狄拉克算子的函数演算，特别是 $ f(D) $，其中 $ f $ 为紧支集函数且定义在 $ (-a,a) $ 内。
• 应用韦伊岑鲍克公式 $ D^2 = \nabla^*\nabla + R_D $，其中 $ R_D $ 为曲率自伴算子，并假设在 $ Z $ 外有 $ R_D \geq a^2 I $。
• 通过 $ D^*(X)/C^*(X) $ 的 $ K $-理论正合序列中的边界映射，定义局部化粗指标 $ \operatorname{Index}_Z(D) \in K_j(C^*(Z\subseteq X)) $，其中 $ C^*(Z\subseteq X) $ 作为理想。
• 为在 $ Z $ 外一致的流形对 $ (M_1, M_2) $ 引入一个拉回 $ C^* $-代数 $ A $，从而在 $ K_j(C^*(Z)) $ 中定义相对指标。
• 利用分裂的短正合列将 $ K_j(A) $ 分解为直和，将相对指标分离为局部指标之差。
• 依赖粗装配映射 $ A: K_*(Z) \to K_*(C^*(Z)) $，将相对指标与 $ K_*(Z) $ 中的相对同调类关联，证明其对局部几何的不变性。

实验结果

研究问题

• RQ1 在子集 $ Z $ 外的正曲率如何影响 $ K $-理论中粗指标的支撑？
• RQ2 当曲率在 $ Z $ 外一致为正时，狄拉克算子的粗指标能否被局部化至子集 $ Z $？
• RQ3 局部化粗指标与 $ K $-理论中相对指标之间的精确关系为何？
• RQ4 相对指标是否仅依赖于不一致区域附近的几何，还是也依赖于全局结构？
• RQ5 粗装配映射如何将相对同调类与 $ C^*(Z) $ 的 $ K $-理论联系起来？

主要发现

• 若曲率自伴算子 $ R_D $ 满足对所有 $ x \notin Z $ 有 $ R_D \geq a^2 I $，则对所有 $ f \in C_c(-a,a) $ 有 $ f(D) \in C^*(Z\subseteq X) $，这意味着局部化指标属于 $ K_j(C^*(Z\subseteq X)) $。
• 粗指标 $ \operatorname{Index}(D) \in K_j(C^*(X)) $ 通过 $ \operatorname{Index}_Z(D) \in K_j(C^*(Z\subseteq X)) $ 因子化，表明在正曲率条件下指标在 $ Z $ 附近支撑。
• 相对指标 $ \operatorname{Index}_r(D_1,D_2) \in K_j(C^*(Z)) $ 定义为 $ K_j(A) $ 直和分解中 $ \operatorname{Index}_Z(D_1) - \operatorname{Index}_Z(D_2) $ 的分量，且仅依赖于 $ Z_1 $ 和 $ Z_2 $ 附近的几何。
• 相对指标是 $ K_*(Z) $ 中一个相对同调类在粗装配映射下的像，该同调类仅依赖于不一致区域附近的局部几何。
• 当 $ Z $ 紧致时，$ C^*(Z\subseteq X) $ 同构于紧算子代数，局部化指标恢复经典弗雷德霍姆指标，从而推广了格罗莫夫-劳森消去定理。
• 该结果对任意正规化函数 $ \chi $ 成立，只要 $ \chi^2 - 1 $ 的支集位于 $ (-a,a) $ 内，从而保证 $ \chi(D) $ 模 $ C^*(Z\subseteq X) $ 定义了一个良定义的对合。