[论文解读] Thom isomorphism and Push-forward map in twisted K-theory

Alan L. Carey, Bai‐Ling Wang|ArXiv.org|Jul 21, 2005

Homotopy and Cohomology in Algebraic Topology参考文献 11被引用 6

一句话总结

本文在任意光滑映射之间建立了扭K-理论中的Thom同构与广义上推映射，即使在非K-定向的情形下亦成立。该工作推广了Atiyah-Singer指标定理，并通过上推映射将扭K-群中的元素与D-膜电荷关联，为弦理论中非平凡B-场下的D-膜电荷提供了规范框架，解决了长期存在的D-膜分类问题。

ABSTRACT

We establish the Thom isomorphism in twisted K-theory for any real vector bundle and develop the push-forward map in twisted K-theory for any differentiable proper map $f: X o Y$ (not necessarily K-oriented). The push-forward map generalizes the push-forward map in ordinary K-theory for any $K$-oriented differentiable proper map and the Atiyah-Singer index theorem of Dirac operators on Clifford modules. For $D$-branes satisfying Freed-Witten's anomaly cancellation condition in a manifold with a non-trivial $B$-field, we associate a canonical element in the twisted K-group to get the so-called D-brane charges.

研究动机与目标

• 将K-理论中的上推映射推广至非K-定向映射的情形，特别是在扭K-理论的背景下。
• 为实向量丛在扭K-理论中建立Thom同构，涵盖挠与非挠情形。
• 在非平凡B-场下，为弦理论中的D-膜电荷提供严格的数学表述，满足Freed-Witten异常消除条件。
• 在扭K-理论框架下统一Dirac算子在Clifford模上的Atiyah-Singer指标定理。
• 证明扭K-理论是微分几何与数学物理中拓扑指标理论与上推构造的自然设定。

提出的方法

• 作者通过类 $ W_3(f) \in H^3(X, \mathbb{Z}) $（即第二Stiefel-Whitney类差的Bockstein像）为任意光滑映射 $ f: X \to Y $ 定义了扭K-理论中的上推映射。
• 构造了上推映射 $ f_!: K^*_{f^*\sigma + W_3(f)}(X) \to K^*_{\sigma}(Y) $，其阶数偏移为 $ \dim X - \dim Y \mod 2 $，并与Picard群作用相容。
• 通过在丛的总空间上构造丛gerbe模结构，利用基流形的类 $ W_3 $，建立了实向量丛的Thom同构。
• 当 $ f: X \to \text{pt} $ 时，上推映射恢复了Clifford模上Dirac算子的Atiyah-Singer指标，表明与已知指标理论的一致性。
• 该构造利用了 $ Cl(X) $-模与提升丛gerbe $ \Gamma_{W_3(X)} $ 的丛gerbe模之间的等价性，使得指标可识别为扭K-理论类。
• D-膜电荷通过上推 $ \iota_!: K(Q) \to K^*_{\sigma}(X) $ 定义，其中 $ \iota: Q \to X $ 满足 $ \iota^*\sigma + W_3(Q) = 0 $，确保异常消除。

实验结果

研究问题

• RQ1 在扭K-理论背景下，如何将K-理论中的上推映射推广至非K-定向映射？
• RQ2 当流形非旋或非K-定向时，Atiyah-Singer指标定理在扭K-理论中的正确框架是什么？
• RQ3 在非平凡B-场存在下，如何严格定义D-膜电荷，使其满足Freed-Witten异常消除条件？
• RQ4 类 $ W_3(f) $ 在扭K-理论中定义上推映射的扭结构时起什么作用？
• RQ5 能否在不假设挠或K-定向的条件下，为实向量丛在扭K-理论中建立Thom同构？

主要发现

• 对任意光滑映射 $ f: X \to Y $，上推映射 $ f_!: K^*_{f^*\sigma + W_3(f)}(X) \to K^*_{\sigma}(Y) $ 是良定义的，阶数偏移为 $ \dim X - \dim Y \mod 2 $，推广了经典的Gysin映射。
• 当 $ f $ 为K-定向时，上推映射退化为标准的Atiyah-Hirzebruch构造，且公式 $ f_{!}^{c_1 + 2c}(a) = f_{!}^{c_1}(a \cdot [L_c]) $ 成立。
• 当 $ f: X \to \text{pt} $ 时，上推映射计算了Clifford模上Dirac算子的Atiyah-Singer指标，通过扭K-理论将指标恢复为 $ \mathbb{Z} $ 中的元素。
• 在任意实向量丛上，扭K-理论中的Thom同构已建立，满足 $ K^*_{W_3(X)}(X) \cong K^*(TX) $，利用总空间上的丛gerbe结构。
• 对于满足 $ \iota^*\sigma + W_3(Q) = 0 $ 的D-膜，其电荷定义为 $ \iota_!(\xi) \in K^*_{\sigma}(X) $，在扭K-群中提供了一个规范类。
• 该构造与扭K-理论上的Picard群作用相容，确保在线丛扭曲下具有自然性与一致性。