[论文解读] Quantitative K-theory, positive scalar curvature, and band width

Hao Guo, Zhizhang Xie+1 more|arXiv (Cornell University)|Oct 5, 2020

Advanced Operator Algebra Research参考文献 25被引用 8

一句话总结

本文在算子K-理论的框架下，对高阶指标理论进行了定量精化，以研究正标量曲率及格罗莫夫的带宽猜想。研究证明，在具有均匀正标量曲率的旋流形上，高阶指标消失的传播尺度与曲率下限的平方根成反比，并利用定量K-理论技术，建立了带显式常数的带宽不等式。

ABSTRACT

We develop two connections between the quantitative framework of operator $K$-theory for geometric $C^*$-algebras and the problem of positive scalar curvature. First, we introduce a quantitative notion of higher index and use it to give a refinement of the well-known obstruction of Rosenberg to positive scalar curvature on closed spin manifolds coming from the higher index of the Dirac operator. We show that on a manifold with uniformly positive scalar curvature, the propagation at which the index of the Dirac operator vanishes is related inversely to the curvature lower bound. Second, we give an approach, using related techniques, to Gromov's band width conjecture, which has been the subject of recent work by Zeidler and Cecchini from a different point of view.

研究动机与目标

• 开发几何C*-代数中高阶指标理论的定量框架。
• 利用定量K-理论，精化罗伯森对正标量曲率度量存在的障碍。
• 通过定量指标消失，提供格罗莫夫带宽猜想的新证明。
• 基于曲率建立带宽的显式曲率依赖界。

提出的方法

• 在几何C*-代数的算子K-理论框架下，引入定量最大高阶指标。
• 使用谱乘子和截断函数，在万有覆盖上构造狄拉克算子的近似单位。
• 通过谱投影与预解算子范数的估计，控制指标的传播。
• 利用函数演算与多项式逼近（通过泰勒级数）来控制狄拉克算子逆的逼近误差。
• 在曲率与尺度参数下，建立近似单位及其逆的范数的统一有界性。
• 利用定量指标消失条件，推导出带宽的曲率依赖上界。

实验结果

研究问题

• RQ1 狄拉克算子的高阶指标在何种传播尺度下消失，其与标量曲率下限的关系如何？
• RQ2 定量K-理论能否为闭旋流形上正标量曲率度量的存在性提供更精细的障碍？
• RQ3 利用K-理论方法，格罗莫夫猜想中带宽的最优定量界是什么？
• RQ4 定量高阶指标能否用于恢复或改进已知的带宽估计？
• RQ5 具有正标量曲率的流形中，带宽不等式的显式常数是多少？

主要发现

• 对于具有均匀正标量曲率 $ c $ 的闭旋流形，狄拉克算子的 $ \Gamma $-等变定量最大高阶指标在尺度 $ r \geq \frac{\omega_0}{\sqrt{c}} $ 处消失，其中 $ \omega_0 $ 为绝对常数。
• 若流形 $ V \cong M \times [-1,1] $ 的标量曲率 $ \sigma > 0 $，则其带宽 $ L $ 满足 $ L \leq C \sqrt{\frac{n-1}{n}} \frac{1}{\sqrt{\sigma}} $，其中当 $ n $ 为偶数时 $ C \leq 190\pi $，当 $ n $ 为奇数时 $ C \leq 328\pi $。
• 若 $ L > C \sqrt{\frac{n-1}{n}} \frac{1}{\sqrt{\sigma}} $，则最大高阶指标 $ \operatorname{Ind}_{\Gamma,\textnormal{max}}(D_{\widetilde{M}}) $ 在 $ K_1(C^*_{\textnormal{max}}(\Gamma)) $ 中消失。
• 该方法对利赫纳罗维奇指标消失定理进行了定量精化，将曲率界与有限传播下的指标消失联系起来。
• 数值估计表明，近似单位构造中的误差小于 0.209，使得K-理论中的扰动理论可被应用。
• 通过计算机辅助优化，常数 $ C $ 可被减小至约 $ 64\pi $，从而改进原始界。