[论文解读] Twisted K-theory of differentiable stacks

Jean-Louis Tu, Ping Xu+1 more|arXiv (Cornell University)|Jun 8, 2003

Homotopy and Cohomology in Algebraic Topology参考文献 30被引用 5

一句话总结

本文通過 S¹-gerbes 和 C*-代數工具的 KK-理論機制，為可微堆疊建立了扭 K-理論，提供了一個統一的框架，涵蓋了拓撲空間、軌物和等變 K-理論的扭 K-理論。主要貢獻在於完整的上同調與分析表述，包括 Mayer-Vietoris 序列、Bott 週期性與乘積結構，並在適當條件下與扭向量叢等價。

ABSTRACT

In this paper, we develop twisted $K$-theory for stacks, where the twisted class is given by an $S^1$-gerbe over the stack. General properties, including the Mayer-Vietoris property, Bott periodicity, and the product structure $K^i_α\otimes K^j_β o K^{i+j}_{α+β}$ are derived. Our approach provides a uniform framework for studying various twisted $K$-theories including the usual twisted $K$-theory of topological spaces, twisted equivariant $K$-theory, and the twisted $K$-theory of orbifolds. We also present a Fredholm picture, and discuss the conditions under which twisted $K$-groups can be expressed by so-called "twisted vector bundles". Our approach is to work on presentations of stacks, namely \emph{groupoids}, and relies heavily on the machinery of $K$-theory ($KK$-theory) of $C^*$-algebras.

研究动机与目标

• 建立可微堆疊上扭 K-理論的一般框架，涵蓋並推廣現有的扭 K-理論。
• 證明基本性質，如 Mayer-Vietoris 性質、Bott 週期性與扭 K-群上的乘積結構。
• 提供扭 K-理論的 Fredholm 算子圖像，並描述扭 K-群在何種條件下來自扭向量叢。
• 利用李群叢表示法，將各種扭 K-理論——普通、等變與軌物——統一於單一形式系統之下。

提出的方法

• 透過李群叢的表示來處理可微堆疊，利用 Morita 等價定義與表示無關的不變量。
• 使用群叢的 S¹-中心擴張來建模扭 K-理論類，其中 Dixmier-Douady 類分類扭變。
• 構造群叢的 S¹-中心擴張的約化 C*-代數，使用連續 C*-代數族與希爾伯特模。
• 將扭 K-理論定義為 S¹-中心擴張的約化 C*-代數的 K-理論，使用 KK-理論與 Kasparov 乘積。
• 透過希爾伯特模表示建立 Fredholm 圖像，並定義扭向量叢為群叢上相關叢的截面。
• 證明扭 K-理論群同構於 C*-代數 K-群，透過 KK-雙函子實現乘積結構。

实验结果

研究问题

• RQ1 如何一致地定義可微堆疊上的扭 K-理論，推廣已知情形如軌物與等變 K-理論？
• RQ2 堆疊上扭 K-理論必須滿足的基本上同調性質是什麼——例如 Mayer-Vietoris 與 Bott 週期性？
• RQ3 在何種條件下，扭 K-理論可由扭向量叢表示，這與 Fredholm 圖像有何關係？
• RQ4 在此框架中，乘積結構 $ K^i_\alpha \otimes K^j_\beta \to K^{i+j}_{\alpha+\beta} $ 如何產生？
• RQ5 群叢的 C*-代數在實現扭 K-理論中扮演何種精確角色，KK-理論如何促進此過程？

主要发现

• 可微堆疊上的扭 K-理論滿足 Mayer-Vietoris 性質，確保其表現為上同調理論。
• 扭 K-理論在堆疊上具有 Bott 週期性，其 2-週期結構由 C*-代數框架所誘導。
• 乘積結構 $ K^i_\alpha \otimes K^j_\beta \to K^{i+j}_{\alpha+\beta} $ 透過 KK-理論中的 Kasparov 乘積自然實現。
• 扭 K-理論群同構於李群叢的 S¹-中心擴張的約化 C*-代數的 K-理論。
• 在適當條件下——特別是當扭變由連續 Fell 捲積表示時——扭 K-理論同構於扭向量叢的 K-理論。
• 扭 K-理論的 Fredholm 圖像透過約化 C*-代數在希爾伯特模上的作用實現，為 K-群提供了分析模型。