[论文解读] K-Theory, D-Branes and Ramond-Ramond Fields

Alessandro Valentino|ArXiv.org|Dec 3, 2008

Homotopy and Cohomology in Algebraic Topology参考文献 80被引用 3

一句话总结

本文在D-brane的型I弦理论与全局商空间上的Ramond-Ramond场之间，建立了等变KO-同调的几何与解析等价性，构建了一种推广霍普金斯-辛格微分K-理论至有限群作用的轨道微分K-理论。证明了在良好轨道空间上，Ramond-Ramond通量的狄拉克量子化由等变K-理论与等变陈特征所支配，为全局商空间上的型II弦理论中通量量子化与平坦场分类提供了完整框架。

ABSTRACT

This thesis is dedicated to the study of K-theoretical properties of D-branes and Ramond-Ramond fields. We construct abelian groups which define a homology theory on the category of CW-complexes, and prove that this homology theory is equivalent to the bordism representation of KO-homology, the dual theory to KO-theory. We construct an isomorphism between our geometric representation and the analytic representation of KO-homology, which induces a natural equivalence of homology functors. We apply this framework to describe mathematical properties of D-branes in type I String theory. We investigate the gauge theory of Ramond-Ramond fields arising from type II String theory defined on global orbifolds. We use the machinery of Bredon cohomology and the equivariant Chern character to construct abelian groups which generalize the properties of differential K-theory defined by Hopkins and Singer to the equivariant setting, and can be considered as a differential extension of equivariant K-theory for finite groups. We show that the Dirac quantization condition for Ramond-Ramond fieldstrengths on a good orbifold is dictated by equivariant K-theory and the equivariant Chern character, and study the group of flat Ramond-Ramond fields in the particular case of linear orbifolds in terms of our orbifold differential K-theory.

研究动机与目标

• 开发一种几何与分析框架，用于等变KO-同调，统一描述型I弦理论中D-brane的拓扑与指标理论描述。
• 将微分K-理论推广至有限群的等变设定，构建一种捕捉全局轨道空间上Ramond-Ramond通量的轨道微分K-理论。
• 利用等变K-理论与等变陈特征，推导出良好轨道空间上Ramond-Ramond场强的狄拉克量子化条件。
• 通过所提出的轨道微分K-理论，对线性轨道空间中的平坦Ramond-Ramond场进行分类。
• 在等变设定下，建立几何与解析等变K-同调表示之间的自然等价性，将阿蒂亚-辛格指标定理推广至等变情形。

提出的方法

• 通过G-循环构造几何等变K-同调：三元组(W, E, f)，其中W是具有G-自旋^c结构的G-流形，E是G-向量丛，f: W → X是G-映射。
• 通过 bordism、直和与向量丛修正定义K-循环上的等价关系，构成群K^G_0(X)与K^G_1(X)。
• 通过等变狄拉克算子，将K-循环映射至弗雷德霍姆G-模类，建立几何与解析等变K-同调之间的同构。
• 应用等变陈特征将K-理论类与布雷东上同调联系起来，实现在轨道空间上的通量量子化。
• 利用等变陈特征与布雷东上同调，为有限群定义等变K-理论的微分扩张，推广霍普金斯-辛格的微分K-理论至等变设定。
• 将良好轨道空间上Ramond-Ramond场的狄拉克量子化条件作为等变陈特征在布雷东上同调中的像的推论导出。

实验结果

研究问题

• RQ1 在型I弦理论中D-brane的背景下，几何与解析等变KO-同调表示如何被自然地识别？
• RQ2 对于轨道空间上有限群作用的正确微分扩张是什么？它如何捕捉Ramond-Ramond通量？
• RQ3 良好轨道空间上Ramond-Ramond场强的狄拉克量子化条件如何编码于等变K-理论与等变陈特征中？
• RQ4 线性轨道空间中平坦Ramond-Ramond场的群结构是什么？它如何通过轨道微分K-理论描述？
• RQ5 在群作用存在的情况下，等变指标定理如何与几何与解析K-同调群相关联？

主要发现

• 建立了几何与解析等变KO-同调之间的同构，证明了K-同调的两种表示形式在自然意义上等价。
• 证明了良好轨道空间上Ramond-Ramond场强的狄拉克量子化条件等价于等变陈特征在布雷东上同调中的像。
• 构建了轨道微分K-理论作为有限群等变K-理论的微分扩张，推广了霍普金斯-辛格的微分K-理论至等变设定。
• 线性轨道空间上平坦Ramond-Ramond场的群被识别为轨道微分K-理论群中等变陈特征核。
• 该框架在等变设定下实现了Riemann-Roch公式，通过等变陈特征将K-同调类与特征类联系起来。
• 本文使用KO-同调为型I弦理论中D-brane电荷提供了完整的数学描述，包括挠效应。