[论文解读] Twisted bundles and twisted K-theory

Max Karoubi|arXiv (Cornell University)|Dec 12, 2010

Homotopy and Cohomology in Algebraic Topology参考文献 25被引用 17

一句话总结

本文提出了一种基于纤维丛的微分几何方法来研究扭曲K-理论，通过扭曲向量丛和扭曲主丛，证明其分别等价于代数丛上的模和 torsors。通过一种初等的Chern-Weil型构造，建立了从扭曲K-理论到扭曲上同调的Chern示性类，证明其在选择上的独立性（模以典范同构），并确认其与Connes-Karoubi示性类一致。

ABSTRACT

We offer here a more direct approach to twisted K-theory, based on the notion of twisted vector bundles (of finite or infinite dimension) and of twisted principal bundles. This is closeely related to the classical notion ot torsors and bundles of modules over an algebra bundle. Twisted K-theory is simply defined as the Grothendieck group of twisted vector bundles (with a given twist). The usual operations on vector bundles (exterior powers, Adams operations) are easily extended to this twisted framework. Graded twisted K-theory, which is important for the definition and proof of the Thom isomorphism in this framework, is defined with the same formalism. We also define a twisted Chern character with target "twisted cohomology". Although there are many definitions of this character in the literature, our method is more elementary and is based on the classical definitions of the Chern-Weil theory, via connections and curvatures. In this way, we get explicit formulas very much in the spirit of Steenrod's coordinate bundles.

研究动机与目标

• 提出一种基于纤维丛的扭曲K-理论的几何表述，使用扭曲向量丛。
• 证明扭曲向量丛等价于纤维为 $\mathrm{End}(V)$ 的代数丛上的模，扭曲主丛等价于群丛上的 torsors。
• 通过联络定义从扭曲K-理论到扭曲上同调的Chern示性类，其独立于选择（模以典范同构）。
• 澄清扭曲K-理论的函子性与乘法结构，特别是关于精化与上积的性质。
• 通过分析上同调依赖性与同伦不变性，解决扭曲K-理论与Chern示性类定义中的歧义。

提出的方法

• 使用取值于 $S^1$ 的Čech上链，通过满足 $g_{kj}g_{ji} = g_{ki}$ 模2-上链 $\lambda$ 的转移函数来定义扭曲向量丛。
• 利用 $\lambda$-扭曲上链的结构，建立扭曲向量丛与纤维为 $\mathrm{End}(V)$ 的代数丛上模之间的等价性。
• 在有限维与无限维情形下引入扭曲向量丛上的联络，将Chern-Weil理论推广至扭曲情形。
• 通过这些联络的曲率形式构造Chern示性类，证明其取值于扭曲de Rham上同调 $H_{\theta}^{ev}(X)$。
• 利用扭曲上同调的同伦不变性与纤维化单位分解的重参数化，证明Chern示性类对选择的独立性。
• 分析不同覆盖之间的限制映射，证明Chern示性类与限制映射在典范同构意义下相容。

实验结果

研究问题

• RQ1 如何通过扭曲向量丛几何化实现扭曲K-理论？其与代数丛上模范畴有何关系？
• RQ2 扭曲主丛与群丛上 torsors 之间的精确关系为何？
• RQ3 如何定义一个不依赖于划分单位分解等辅助选择的、从扭曲K-理论到扭曲上同调的Chern示性类？
• RQ4 扭曲K-理论上的上积结构在多大程度上是良定义的？$H^2(X;\mathbb{Z})$ 在其函子性中起什么作用？
• RQ5 通过联络构造的Chern示性类与文献中Connes-Karoubi示性类有何关系？

主要发现

• 扭曲向量丛等价于作为纤维为 $\mathrm{End}(V)$ 的代数丛上模的向量丛，为扭曲丛提供了模理论解释。
• $\lambda$-扭曲主 $G$-丛的范畴等价于纤维为 $G$ 的群丛上的 torsors 范畴，推广了标准主丛的概念。
• 由于扭曲上同调的同伦不变性，从扭曲K-理论到扭曲上同调的Chern示性类在选择划分单位分解时是独立的（模以典范同构）。
• 通过联络构造的Chern示性类与Connes-Karoubi示性类一致，此结论由Atiyah与Segal的工作中的唯一性结果支持。
• 上积 $K_\lambda(X) \times K_\mu(X) \to K_{\lambda\mu}(X)$ 仅在 $H^2(X;\mathbb{Z}) = 0$ 时是良定义的（模以非典范同构），凸显了一个关键障碍。
• 当覆盖为精化时，不同覆盖关联的扭曲K-理论群之间的限制映射是同构，且Chern示性类与这些映射在典范同构意义下可交换。