[论文解读] Type III and spectral triples

Alain Connes, Henri Moscovici|ArXiv.org|Sep 25, 2006

Advanced Topics in Algebra参考文献 6被引用 75

一句话总结

本文提出了一种扭曲谱三元组框架，通过使用代数自同构修改交换子条件，将非交换几何扩展至此前标准谱三元组无法处理的III型因子。关键结果是，Chern示性类与指标配对仍位于未扭曲的循环上同调与K-理论中，从而实现了将局部指标公式推广至III型情形，该结果在余维一叶状的横截几何上得到验证。

ABSTRACT

We explain how a simple twisting of the notion of spectral triple allows to incorporate type III examples, such as those arising from the transverse geometry of codimension one foliations. Since the twisting of the commutators turns the usual hypertrace constructed out of the Dixmier trace into a twisted trace on the coordinate algebra, one would be tempted to interpret that as a manifestation of twisting at the level of cyclic cohomology, akin to that introduced by the authors in the context of Hopf cyclic cohomology. The main point of this note, besides giving simple natural examples of the general notion and developing the first basic steps of the theory, is to show that contrary to the initial expectations no cohomological twisting is in fact required. The Chern character of finitely summable spectral triples extends to the twisted case, and lands in fact in ordinary (untwisted) cyclic cohomology. The same holds true for the local Hochschild character. The index pairing with ordinary (untwisted) K-theory continues to make sense and the index formula is still given by the pairing of the corresponding Chern characters. This opens the road to extending the local index formula, as well as the analogue of the hypoelliptic construction on the dual system together with the corresponding Thom isomorphism, to the context of twisted spectral triples of type III.

研究动机与目标

• 将谱三元组框架扩展至包含III型冯诺依曼代数，这些代数在标准非交换几何中被排除。
• 解决有限求和性与Dixmier迹——指标公式的核心——在III型中失效的问题，原因在于缺乏超迹。
• 证明尽管交换子条件被扭曲，Chern示性类与指标配对仍保持在未扭曲循环上同调中的良好定义性。
• 为将局部指标公式及相关构造（如Thom同构、拟椭圆指标理论）推广至III型例子提供基础。
• 在余维一叶状的横截几何上展示扭曲框架的适用性，特别是通过与微分同胚群的半直积代数实现。

提出的方法

• 通过代数𝒜上的自同构σ引入扭曲谱三元组，将有界性条件修改为要求[D, a]σ = D a − σ(a) D有界。
• 使用σ(a) = e^{2h} a e^{-2h}定义扭曲交换子条件，其中h ∈ 𝒜为自伴元，该形式自然源于Dirac算子的共形重标度。
• 证明有限求和性扭曲谱三元组的经典Chern示性类落入普通（未扭曲）循环上同调中，而非扭曲上同调。
• 确立与未扭曲K-理论的指标配对保持有效，并通过Chern示性类的配对计算得出。
• 运用符号演算与同伦技术，将扭曲Chern示性类与标准形式关联，证明其连续性与形变不变性。
• 将该框架应用于𝒜 = C∞(S¹) ⋊ Γ上的横截谱三元组，其中Γ通过保向微分同胚作用且具有孤立不动点，显式计算局部Hochschild上循环。

实验结果

研究问题

• RQ1 谱三元组的概念能否推广至包含III型因子，这些因子缺乏迹且在标准非交换几何中被排除？
• RQ2 扭曲谱三元组的Chern示性类是否仍落入未扭曲循环上同调中，从而保持指标公式的结构？
• RQ3 能否通过扭曲谱三元组将局部指标公式推广至III型例子？
• RQ4 扭曲交换子条件如何影响与K-理论的指标配对？是否仍能通过Chern示性类配对计算？
• RQ5 在扭曲设定下，局部Hochschild上循环的显式形式是什么？它是否代表叶状理论中横截基本类的代表？

主要发现

• 有限求和性σ-扭曲谱三元组的Chern示性类映射至普通（未扭曲）循环上同调中，与初始预期的同调扭曲相反。
• 与普通K-理论的指标配对保持良好定义，且通过标准Chern示性类配对计算，从而保持指标公式的结构。
• 在C∞(S¹) ⋊ Γ上横截谱三元组的局部Hochschild上循环被显式计算为Ψ₁ = −2i τ + ℒδ τ，其中τ为循环上循环，ℒδ为李导数。
• 该局部上循环在周期循环上同调中代表与横截基本类[S¹/Γ]成比例的类。
• 扭曲谱三元组框架满足关键正则性条件|D|⁻ᵗ(|D|ᵗ a − σᵗ(a) |D|ᵗ) ∈ ℒ^{n,∞}对所有t ∈ ℝ成立，确保与符号演算的相容性。
• 符号演算可被调整以定义标准与扭曲Chern示性类之间的连续同伦，从而确认构造的一致性与连续性。