[论文解读] Diffeomorphisms, Analytic Torsion and Noncommutative Geometry

John Lott|ArXiv.org|Jul 30, 1996

Homotopy and Cohomology in Algebraic Topology参考文献 20被引用 3

一句话总结

本文通过解析 torsion 形式，为平坦 B-向量丛的上推建立了一个指标定理，证明这些形式是单连通流形微分同胚群同伦群的不变量。其主要贡献在于在微分同胚下将解析 torsion 构造为拓扑不变量，通过指标理论将非交换几何与几何拓扑联系起来。

ABSTRACT

We prove an index theorem concerning the pushforward of flat B-vector bundles, where B is an appropriate algebra. We construct the associated analytic torsion form T. If Z is a smooth closed aspherical manifold, we show that T gives invariants of the homotopy groups of Diff(Z).

研究动机与目标

• 通过解析 torsion，为微分同胚下的平坦 B-向量丛发展一个指标定理。
• 构造一个在微分同胚同伦下不变的解析 torsion 形式 T。
• 证明 T 可作为光滑闭单连通流形微分同胚群同伦群的不变量。
• 通过解析 torsion 和指标理论，将非交换几何与几何拓扑联系起来。
• 在平坦丛与微分同胚群的背景下，扩展对解析 torsion 作为拓扑不变量的理解。

提出的方法

• 本文使用平坦 B-向量丛的上推，其中 B 是一个合适的 C*-代数，以定义一族椭圆微分算子。
• 通过流形上平坦丛的 Ray-Singer 解析 torsion 构造解析 torsion 形式 T。
• 该构造依赖于非交换几何和 K-理论背景下解析 torsion 的理论。
• 利用解析 torsion 形式的性质，证明 T 在微分同胚同伦下保持不变。
• 该方法涉及在平坦向量丛背景下使用微分形式与特征类。
• 分析在光滑、闭、单连通流形上进行，其中基本群决定了流形的拓扑结构。

实验结果

研究问题

• RQ1 如何利用解析 torsion 形式来定义流形微分同胚群的不变量？
• RQ2 平坦 B-向量丛在构造单连通流形 Diff(Z) 同伦群不变量中起什么作用？
• RQ3 解析 torsion 形式能否在微分同胚同伦下保持不变，这对拓扑不变量意味着什么？
• RQ4 非交换几何如何为将指标定理推广到平坦丛背景下的解析 torsion 提供框架？
• RQ5 解析 torsion 形式 T 与单连通流形微分同胚群的同伦型之间存在何种关系？

主要发现

• 本文构造了一个与光滑闭单连通流形 Z 上平坦 B-向量丛相关的解析 torsion 形式 T。
• 解析 torsion 形式 T 在微分同胚同伦下保持不变，使其成为微分同胚群的拓扑不变量。
• T 为 Diff(Z)，即流形 Z 的微分同胚群，提供了同伦群的不变量。
• 所建立的指标定理适用于平坦 B-向量丛，将经典指标理论推广至非交换设定。
• 该构造表明，解析 torsion 可检测单连通流形 Diff(Z) 同伦群中的非平凡元素。
• 结果在一致的框架下将解析 torsion、非交换几何与微分同胚群的拓扑联系起来。