[论文解读] Twisted K-theory, old and new

Max Karoubi|ArXiv.org|Jan 27, 2007

Algebraic structures and combinatorial models参考文献 36被引用 21

一句话总结

本文通過將歷史基礎與數學物理的現代發展相統一，重新探討扭曲K-理論，引入廣義的Thom同構，利用有限群作用的Chern特徵計算等變扭曲K-群，並定義新的上同調運算。透過Fredholm算子模型與分次Banach代數K-理論，將理論推廣至$H^3(X;\mathbb{Z})$中的非扭類，提供一個綜合框架，調和代數、拓撲與分析的觀點。

ABSTRACT

Twisted K-theory has its origins in the author's PhD thesis [27] : http://www.numdam.org/item?id=ASENS_1968_4_1_2_161_0 and in the paper with P. Donovan http://www.numdam.org/item?id=PMIHES_1970__38__5_0 The objective of this paper is to revisit the subject in the light of generalizations and new developments inspired by Mathematical Physics. See for instance E. Witten (hep-th/9810188), J. Rosenberg http://anziamj.austms.org.au/JAMSA/V47/Part3/Rosenberg.html, C. Laurent-Gentoux, J.-L. Tu, P. Xu (math/0306138) and M.F. Atiyah, G. Segal (math/0407054), among many authors. The unifiyng theme in our presentation is the notion of K-theory of graded Banach algebras,implicit in [27], from which most of the classical theorems in twisted K-theory are derived. We also prove some new results in the subject : a Thom isomorphism in this setting, explicit computations in the equivariant case and new cohomology operations (in the graded and ungraded cases).

研究动机与目标

• 整合Donovan與Karoubi的奠基性工作與數學物理的現代發展，以綜合並延伸扭曲K-理論。
• 將Thom同構推廣至$H^3(X;\mathbb{Z})$中非扭類的扭曲，實現未分次與分次扭曲K-理論的統一處理。
• 利用Chern特徵與廣義Thom同構，計算有限群作用下的等變扭曲K-群。
• 引入與先前文獻中運算互補的新上同調運算，豐富扭曲K-理論的上同調結構。
• 提供基於Fredholm算子的扭曲K-理論模型，適用於一般情況，不限於扭轉類。

提出的方法

• 利用Atiyah-Jänich定理，以Fredholm算子空間表示扭曲K-理論，使理論得以推廣至非扭類。
• 應用分次Banach代數及其K-理論理論，將扭曲K-群定義為分次Clifford代數模類別的Grothendieck群。
• 採用Baum、Connes、Kuhn與Slominska定義的有限群作用Chern特徵，計算等變扭曲K-理論。
• 透過分析與向量叢相關的Clifford代數K-理論，構造廣義Thom同構，並證明其僅依賴於在分次Brauer群$GBr(X)$中的類。
• 透過分次Hilbert叢上自伴、度數為一的Fredholm自同態的同倫類定義扭曲K-理論，提供一個分析模型。
• 利用Bockstein同態$\beta: H^2(X;\mathbb{Z}/2) \to H^3(X;\mathbb{Z})$描述$GBr(X)$的群結構，整合Stiefel-Whitney類與第三整上同調類。

实验结果

研究问题

• RQ1 如何將扭曲K-理論中的Thom同構推廣至非扭轉的扭曲，特別是超越傳統扭轉限制？
• RQ2 有限群作用下等變扭曲K-理論的結構為何？如何利用Chern特徵與廣義Thom同構進行計算？
• RQ3 扭曲K-理論中出現了哪些與[DK]和[AS2]中運算互補的新上同調運算？它們如何豐富理論？
• RQ4 如何在所有扭曲下統一使用Fredholm算子描述扭曲K-理論，而不僅限於扭轉類？
• RQ5 分次Brauer群$GBr(X)$（其非平凡群運算涉及Bockstein）以何種方式控制扭曲K-理論的結構？

主要发现

• 為$GBr(X)$中所有扭曲建立了廣義Thom同構，不僅限於扭轉類，證明對實向量叢$V$有$K^{C(V)}(X) \cong K^\alpha(\text{Th}(V))$。
• 利用Chern特徵與廣義Thom同構，計算了有限群作用下的等變扭曲K-理論，推廣了[LTX]、[AS1]與[AS2]的結果。
• 引入與[DK]和[AS2]中運算互補的新上同調運算，豐富了扭曲K-理論的上同調結構。
• 扭曲K-理論群$K^\alpha(X)$與某種Banach代數叢的分次K-理論同構，其Fredholm算子模型適用於一般情況。
• 對以$M_2(\mathscr{K})$或$\mathscr{K} \times \mathscr{K}$為模型的分次代數叢，建立了至$K^\alpha(X)$的顯式同構，連結代數與分析模型。
• 當$\mathscr{A}$以$\mathscr{K} \times \mathscr{K}$為模型時，證明$K^\alpha(X)$同構於$K_1(\mathscr{A}')$，從而以$K_1$-理論形式實現具體化。