[论文解读] Twisted K-homology theory, twisted Ext-theory

Varghese Mathai, I. M. Singer|ArXiv.org|Dec 6, 2000

Advanced Operator Algebra Research参考文献 10被引用 14

一句话总结

本文在 C*-代数非交换几何框架下，发展了扭曲 K-同调与扭曲 Ext-理论，通过纤维丛扭曲将经典 K-同调与 Ext-理论推广至包含 3-类 H ∈ H³(X,ℤ) 的情形。研究证明扭曲 K-同调同构于 C₀(X,ℰₕ) 的扭曲 K-理论，通过使用带有 Spinᶜ 流形、扭曲向量丛及到 X 的连续映射的扭曲 K-循环，建立了类似 Baum-Douglas 的拓扑描述，其等价关系基于 bordism、直和与扭曲向量丛修正。

ABSTRACT

These are notes on twisted K-homology theory and twisted Ext-theory from the C*-algebra viewpoint, part of a series of talks on ``C*-algebras, noncommutative geometry and K-theory'', primarily for physicists.

研究动机与目标

• 通过 C*-代数与 H-通量（由 H ∈ H³(X,ℤ) 分类）将 K-同调与 Ext-理论推广至扭曲情形。
• 将扭曲 K-同调以 C*-代数形式表述为代数 C₀(X,ℰₕ) 的 K-理论，其中 ℰₕ 是具有 Dixmier-Douady 类 [H] 的紧算子丛。
• 通过扭曲 K-循环构建扭曲 K-同调的拓扑描述，将 Baum-Douglas 模型推广至扭曲情形。
• 通过 Kasparov 的 KK-理论框架，证明扭曲 Ext-群 Ext(C₀(X,ℰₕ), ℂ) 同构于扭曲 K-理论群 K₀(X,[H])。

提出的方法

• 使用 C*-代数 C₀(X,ℰₕ)，即具有纤维 ℒ(ℋ) 与结构群 PU 的丛 ℰₕ 上在无穷远处趋于零的连续截面，其分类由 [H] ∈ H³(X,ℤ) 给出。
• 通过 Busby 不变量分类 ℳ 对 C₀(X,ℰₕ) 的扩张，以 K-理论方式定义扭曲 K-同调。
• 构造扭曲 K-循环 (M, E, φ)，其中 M 为紧致的 Spinᶜ 流形，E 为具有类 [H] 的 M 上的扭曲向量丛，φ: M → X 为连续映射。
• 通过 bordism、直和与扭曲向量丛修正（通过偶维数 Spinᶜ 向量丛的球丛定义）定义扭曲 K-循环的等价关系。
• 利用 KK⁰(C₀(X,ℰₕ), ℂ) 与 K₀(X,[H]) 之间的同构，将扭曲 K-同调识别为 X 上的扭曲 K-理论。
• 应用 Bott 陈化与 C₀(X,ℰₕ) 上的 Fredholm 模块分类，将扭曲 Ext-理论与扭曲 K-同调关联。

实验结果

研究问题

• RQ1 当存在非平凡 H-通量时，K-同调如何推广至扭曲情形？
• RQ2 扭曲 K-同调的 C*-代数表述为何？其与扭曲 K-理论有何关系？
• RQ3 能否构造一个类似于 Baum-Douglas 模型的扭曲 K-同调的拓扑模型？
• RQ4 扭曲 Ext-群 Ext(C₀(X,ℰₕ), ℂ) 如何与扭曲 K-理论及 KK-理论关联？
• RQ5 在扭曲 K-循环上应采用何种等价关系，以确保扭曲 K-同调群的良定义性？

主要发现

• 扭曲 K-同调 Kₜⱼ(X,[H]) 与扭曲 K-理论 Kⱼ(X,[H]) 对 j=0,1 同构，通过与 C*-代数 C₀(X,ℰₕ) 的 K-理论识别实现。
• 扭曲 K-同调群 K₀ᵗ(X,[H]) 同构于偶维扭曲 K-循环模去 bordism、直和与扭曲向量丛修正的商群。
• 扭曲 Ext-群 Ext(C₀(X,ℰₕ), ℂ) 通过 KK-理论同构 KK⁰(C₀(X,ℰₕ), ℂ) ≅ K₀(X,[H]) 同构于 K₀(X,[H])。
• C₀(X,ℰₕ) 上的 Fredholm 模块是一个三元组 (ℋ, φ, F)，其中 F 为奇、自伴算子，且对所有 a ∈ C₀(X,ℰₕ)，有 (F²−1)φ(a) 与 [F,φ(a)] 属于 ℳ，此类模块分类了 K₀ᵗ(X,[H]) 的元素。
• 通过偶维数 Spinᶜ 向量丛的球丛定义的扭曲向量丛修正操作，保持扭曲 K-循环的等价类，是该拓扑模型中的关键要素。
• 当 H=0 时，扭曲 K-同调退化为普通 K-同调，恢复标准的 Baum-Douglas 模型，此时 ℰₕ 变为 X×ℳ，且 C₀(X,ℰₕ) ≅ C₀(X)⊗ℳ。