[论文解读] Differential Twisted K-theory and Applications

Alan L. Carey, Jouko Mickelsson+1 more|ArXiv.org|Aug 23, 2007

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

一句话总结

本文提出了一种微分扭K-理论的几何模型，该模型结合了扭gerbe上的连接与曲率，推广了普通微分K-理论。它定义了一个依赖于几何数据的微分扭陈示性类，建立了扭设置下的黎曼-罗赫定理，并应用该框架计算了SU(2)和SU(3)等紧致单李群的扭K-理论，通过Eta形式与线丛次数揭示了挠类。

ABSTRACT

In this paper, we develop differential twisted K-theory and define a twisted Chern character on twisted K-theory which depends on a choice of connection and curving on the twisting gerbe. We also establish the general Riemann-Roch theorem in twisted K-theory and find some applications in the study of twisted K-theory of compact simple Lie groups.

研究动机与目标

• 开发一种精炼的上同调理论——微分扭K-理论——其不仅依赖于扭，还依赖于扭gerbe的连接与曲率等几何数据。
• 定义一个微分扭陈示性类，以编码拓扑与几何信息，推广扭K-理论中的经典陈示性类。
• 在扭微分设定下建立一个黎曼-罗赫定理，将微分扭K-理论与具有微分形式曲率 $d - H$ 的扭上同调联系起来。
• 将该框架应用于计算紧致单李群（特别是SU(2)和SU(3)）的扭K-理论群，并通过微分不变量（如Eta形式）检测挠类。

提出的方法

• 通过PU(\mathcal{H})-丛的局部平凡化与自伴算子的谱截断，构造微分扭K-理论 $\check{K}^{ev/odd}(X,\check{\sigma})$。
• 将微分扭陈示性类 $ch_{\check{\sigma}}$ 定义为从 $\check{K}^{ev/odd}(X,\check{\sigma})$ 到 $\Omega^{ev/odd}(X,d-H)$ 的映射，通过命题3.3确保其与选择无关。
• 利用带通用连接的分类空间构造微分扭K-理论的通用模型，从而实现陈示性类的全局定义。
• 应用族指标定理与谱理论，分析SU(3)中扭共轭类上狄拉克算子的零模式，将其与线丛及表示联系起来。
• 计算零模式线丛的次数为 $2(2j+1)$，该值决定了 $K^1(SU(3),k)$ 中的类，其奇偶性取决于 $k$。
• 通过在 $SU(2) \subset SU(3)$ 上积分Eta形式，提取参数 $2j+1$ 模 $k$，从而检测 $\mathbb{Z}/k\mathbb{Z}$ 中的类。

实验结果

研究问题

• RQ1 如何构造微分扭K-理论，使其能纳入扭gerbe上的连接与曲率等几何数据？
• RQ2 微分扭陈示性类的精确形式是什么？它与扭K-理论中经典陈示性类有何关系？
• RQ3 能否在扭微分设定下建立黎曼-罗赫定理，将 $\check{K}^{ev/odd}(X,\check{\sigma})$ 与 $H^{ev/odd}(X,d-H)$ 联系起来？
• RQ4 微分不变量（如Eta形式）如何检测紧致李群（如SU(3)）的扭K-理论中的挠类？
• RQ5 参数 $2j+1$ 在确定 $K^1(SU(3),k)$ 中类时起什么作用？它如何从微分数据中恢复？

主要发现

• 微分扭陈示性类 $ch_{\check{\sigma}}$ 是良好定义的，且与局部平凡化和谱截断的选择无关，如命题3.3所证明。
• 对于 $SU(2)$，扭 $K^1$ 群为 $\mathbb{Z}/k\mathbb{Z}$，微分陈示性类通过 $\int_{S^2} c_1(L_j, \nabla_j) \mod k$ 检测类，结果为 $2(2j+1) \mod k$。
• 在 $SU(3)$ 情形下，零模式线丛的次数为 $2(2j+1)$，其在 $K^1(SU(3),k)$ 中的类在 $k$ 为偶数时为偶数，在 $k$ 为奇数时为奇数。
• 微分形式 $\eta_{[0]}$ 在 $SU(2)$ 上的积分为 $\int_{SU(2)} \eta_{[0]} H_0 = -\frac{2(2j+1)}{k} \mod c_G(k)/k$，从而从微分数据中恢复了参数 $2j+1$。
• 当 $k$ 为偶数时，$K^1(SU(3),k) \cong \mathbb{Z}/(k/2)\mathbb{Z}$，且 $K^0(SU(3))$ 与之的张量积仅产生偶类，与次数为偶数一致。
• 扭共轭类 $M_7 = SU(3)/SO(2)$ 支持一个通用轨道，其零模式丛为线丛 $L = SU(3) \times_{2j+1} \mathbb{C}$，其表示由特征 $2j+1$ 决定。