[论文解读] Index theory for locally compact noncommutative geometries

Alan L. Carey, Victor Gayral+2 more|arXiv (Cornell University)|Jul 5, 2011

Advanced Operator Algebra Research参考文献 49被引用 55

一句话总结

本文在半有限非交换几何中为非单位代数上的谱三元组建立了局部指标公式，将康奈斯-莫斯科维茨公式扩展至非单位情形。通过发展一种与权域和施瓦茨范数相容的精细伪微分演算及积分理论，作者在不假设局部单位存在的前提下证明了该公式，从而实现了非紧致与非交换几何中的指标配对，包括有界几何流形以及非单位非交换例子（如Moyal平面）的应用。

ABSTRACT

Spectral triples for nonunital algebras model locally compact spaces in noncommutative geometry. In the present text, we prove the local index formula for spectral triples over nonunital algebras, without the assumption of local units in our algebra. This formula has been successfully used to calculate index pairings in numerous noncommutative examples. The absence of any other effective method of investigating index problems in geometries that are genuinely noncommutative, particularly in the nonunital situation, was a primary motivation for this study and we illustrate this point with two examples in the text. In order to understand what is new in our approach in the commutative setting we prove an analogue of the Gromov-Lawson relative index formula (for Dirac type operators) for even dimensional manifolds with bounded geometry, without invoking compact supports. For odd dimensional manifolds our index formula appears to be completely new. As we prove our local index formula in the framework of semifinite noncommutative geometry we are also able to prove, for manifolds of bounded geometry, a version of Atiyah's L^2-index Theorem for covering spaces. We also explain how to interpret the McKean-Singer formula in the nonunital case. In order to prove the local index formula, we develop an integration theory compatible with a refinement of the existing pseudodifferential calculus for spectral triples. We also clarify some aspects of index theory for nonunital algebras.

研究动机与目标

• 将康奈斯-莫斯科维茨局部指标公式推广至非单位代数，此前因缺乏局部单位而使方法失效。
• 为非单位情形开发一种与权域和施瓦茨范数相容的伪微分演算及积分理论。
• 证明半有限非交换几何中非单位版本的麦凯恩-辛格公式，以及具有有界几何的流形覆盖空间的 $L^2$-指标定理。
• 为局部紧致、非紧致及非交换空间上的指标理论提供统一框架。
• 通过在开流形和非交换例子（如Moyal平面与环面作用）中的应用，展示公式的实用性。

提出的方法

• 利用权域和对温和算子的施瓦茨范数估计，为谱三元组发展精细伪微分演算。
• 引入预解式与余上链复形构造，以在半有限设定下定义局部指标公式。
• 使用双重构造与约化上链处理狄拉克算子 $\mathcal{D}$ 的非可逆性。
• 通过辅助上链与同伦至陈示性类的手段，建立预解式上链的连续性与横截性。
• 应用分数幂的积分公式与渐近展开，以控制算子范数与迹可微性。
• 利用 Hölder 不等式与 $\mathcal{L}^q(\mathcal{N}, \tau)$ 中的范数估计，证明关键算子族的迹范数可微性。

实验结果

研究问题

• RQ1 康奈斯-莫斯科维茨局部指标公式能否在不假设局部单位存在的情况下，推广至非单位谱三元组？
• RQ2 在半有限非交换几何中，非单位版本的麦凯恩-辛格公式应如何表述并证明？
• RQ3 具有有界几何的奇数维流形的局部指标公式结构为何？其与偶数维情形有何不同？
• RQ4 在真正非单位的非交换几何（如Moyal平面）中，如何计算指标配对？
• RQ5 权域与施瓦茨范数在构建非单位谱三元组的一致积分理论中起何作用？

主要发现

• 本文在半有限冯诺依曼代数中为非单位谱三元组建立了局部指标公式，且无需假设代数中存在局部单位。
• 证明了非单位版本的麦凯恩-辛格公式，使在非单位设定下可通过热核迹计算指标配对。
• 对于具有有界几何的流形，本文证明了其覆盖空间的 $L^2$-指标定理，将阿蒂亚的结果推广至非单位情形。
• 推导出一个奇数维指标公式，据信是该领域内首个此类结果，突破了已知的偶数维结果。
• Moyal平面具有光滑可求和的谱三元组，且局部指标公式为该非交换例子中的指标配对提供了具体的解析表达式。
• 证明依赖于一种新颖的积分理论与伪微分算子的施瓦茨范数估计，迹范数可微性通过 Hölder 不等式与积分估计得以确立。