[论文解读] On an Index Theorem of Chang, Weinberger and Yu

Thomas Schick, Mehran Seyedhosseini|arXiv (Cornell University)|Nov 20, 2018

Advanced Operator Algebra Research参考文献 16被引用 7

一句话总结

本文为张、温伯格和余在紧致自旋流形（带边界）上关于相对指标的消失定理提供了概念性且直接的证明，表明相对指标是绝对K-理论指标在自然映射下的像。通过引入一个几何动机的C∗-完备化 $ C^*_q $，作者解决了极大Roe代数构造中的基础性问题，并证明：当整个流形具有正 scalar 曲率时，相对指标消失。

ABSTRACT

In this paper we prove a strengthening of a theorem of Chang, Weinberger and Yu on obstructions to the existence of positive scalar curvature metrics on compact manifolds with boundary. They construct a relative index for the Dirac operator, which lives in a relative K-theory group, measuring the difference between the fundamental group of the boundary and of the full manifold. Whenever the Riemannian metric has product structure and positive scalar curvature near the boundary, one can define an absolute index of the Dirac operator taking value in the K-theory of the C*-algebra of fundamental group of the full manifold. This index depends on the metric near the boundary. We prove that the relative index of Chang, Weinberger and Yu is the image of this absolute index under the canonical map of K-theory groups. This has the immediate corollary that positive scalar curvature on the whole manifold implies vanishing of the relative index, giving a conceptual and direct proof of the vanishing theorem of Chang, Weinberger, and Yu. To take the fundamental groups of the manifold and its boundary into account requires working with maximal C* completions of the involved *-algebras. A significant part of this paper is devoted to foundational results regarding these completions.

研究动机与目标

• 解决张、温伯格和余原始证明中关于相对指标消失定理的基础性缺口。
• 使用绝对与相对K-理论指标，提供一个新、直接且概念性的消失定理证明。
• 构建一个几何动机的C∗-完备化 $ C^*_q $，以恢复完全函子性，并简化粗指标理论中的几何论证。
• 建立具有可逆边界算子的绝对指标与张、温伯格和余所定义的相对指标之间的精确关系。
• 证明：当流形允许正scalar曲率度量时，相对指标消失，其根源在于绝对指标的自然像。

提出的方法

• 为具有边界流形上的Dirac算子定义一个绝对K-理论指标 $ \mathrm{Ind}_{\pi_1(M)}(g) \in K_*(C^*_q(\pi_1(M))) $，利用正scalar曲率下边界算子的可逆性。
• 引入群C∗-代数的新 $ C^*_q $-完备化，整合所有正规商 $ \Gamma/N $，以恢复完全函子性与几何控制。
• 通过相对K-同调与相对指标映射，构造相对指标 $ \mu([M,N]) \in K_*(C^*_q(\pi_1(M), \pi_1(N))) $。
• 证明 $ j(\mathrm{Ind}_{\pi_1(M)}(g)) = \mu([M,N]) $，其中 $ j $ 是K-理论群长正合列中的自然映射。
• 利用范数收敛性论证与涉及Dirac算子函数及截断函数的显式算子构造，证明两个指标类互为像。
• 借助Bott周期性与悬垂同构，通过悬垂构造 $ M \times S^1 $ 将结果从偶数维推广至奇数维。

实验结果

研究问题

• RQ1 如何以更直接且概念性的方式证明张、温伯格和余的消失定理？
• RQ2 具有可逆边界算子的Dirac算子的绝对指标与张、温伯格和余所定义的相对指标之间的确切关系是什么？
• RQ3 能否构造一个几何动机的C∗-完备化，以保持函子性并简化极大Roe代数的分析？
• RQ4 新的 $ C^*_q $-完备化是否保留了障碍理论（特别是与诺维科夫猜想相关）的必要信息？
• RQ5 如何以一致且计算透明的方式将指标理论从偶数维流形扩展至奇数维流形？

主要发现

• 张、温伯格和余的相对指标 $ \mu([M,N]) $ 是绝对指标 $ \mathrm{Ind}_{\pi_1(M)}(g) $ 在自然映射 $ j $ 下的像，即证明了 $ j(\mathrm{Ind}_{\pi_1(M)}(g)) = \mu([M,N]) $。
• 新构造的群C∗-代数的 $ C^*_q $-完备化整合了所有正规商 $ \Gamma/N $，恢复了完全函子性，并使得几何论证无需技术复杂性。
• 绝对指标 $ \mathrm{Ind}_{\pi_1(M)}(g) $ 的构造依赖于边界附近的度量，当整个流形具有正scalar曲率时，其值为零，从而意味着相对指标的消失。
• 证明依赖于截断算子与Dirac算子函数的范数收敛性，表明当 $ t \to 1 $ 且 $ R \to \infty $ 时，有 $ \| \tilde{q}^{N}_{D,R}(0)(t) - q_p(0) \| + \| \tilde{q}_{D,R}(\cdot)(t) - q(\cdot)(1) \| \to 0 $。
• 在正scalar曲率下，绝对指标的消失意味着相对指标的消失，从而为原始定理提供了直接且概念性的证明。
• 通过悬垂构造 $ M \times S^1 $，结果可推广至奇数维流形，利用K"unneth同构与悬垂同构，将偶数维结果上移。