[论文解读] Geometric and topological aspects of Type IIB D-branes

Kim Laine|ArXiv.org|Dec 2, 2009

Black Holes and Theoretical Physics参考文献 81被引用 3

一句话总结

本文通过使用算子K-理论与循环同调，将扭曲K-理论与陈特征构造推广至非交换时空，从而建立了Type IIB弦理论中D-膜电荷的非交换推广版Minasian-Moore公式。证明了包含平方根化Todd类的修正陈特征，可在K-理论与Hochschild同调之间诱导等距配对，推广了经典指标配对，并在UCT与有限维性假设下，为非交换几何中D-膜电荷的分类提供了框架。

ABSTRACT

In string theory D-branes can be classified by the RR-charge they carry. In the simplest case the quantized RR-charge takes values in K-theory of the spacetime manifold. However, if the D-brane worldvolume is not spin^c or if there is a background B-field present, the Freed-Witten anomaly cancellation condition requires the RR-charge to take values in twisted K-theory. Twisted K-theory can be defined using the language of noncommutative geometry, thus opening up a possibility for noncommutative generalizations, in particular of the Minasian-Moore formula for the classical approximation of the charge (as was done in arXiv:hep-th/0607020v3). A friendly introduction to these topics is given.

研究动机与目标

• 将Type IIB弦理论中D-膜RR电荷的Minasian-Moore公式推广至非交换时空。
• 通过算子K-理论，将扭曲K-理论与陈特征形式化推广至非交换D-膜世界体积。
• 通过修正陈特征，在K-理论与Hochschild同调之间建立非交换等距配对。
• 在UCT与有限维性条件下，为非交换几何中D-膜电荷的分类提供数学框架。
• 利用若尔当代数标准型与可逆矩阵理论，解决在非交换设定下定义Todd类平方根的技术障碍。

提出的方法

• 利用算子K-理论与KK-理论，将扭曲K-理论推广至非交换代数。
• 在非交换几何中应用庞加莱对偶同构，关联K-理论与Hochschild同调。
• 引入修正陈特征 $ \mathrm{Ch}(\alpha) := \mathrm{ch}(\alpha) \otimes_A \sqrt{\mathrm{Td}(A)} $，将K-理论类映射至Hochschild同调。
• 利用普遍系数定理（UCT）确保在 $ \mathrm{GL}_n(\mathbb{C}) $ 中Todd类平方根的存在性。
• 利用若尔当代数标准型，为任意可逆矩阵构造平方根，确保在有限维性条件下 $ \sqrt{\mathrm{Td}(A)} $ 的存在性。
• 建立包含Gysin映射与陈特征的交换图表，以证明等距配对性质。

实验结果

研究问题

• RQ1 如何将D-膜RR电荷的Minasian-Moore公式推广至非交换时空？
• RQ2 在非交换几何中，Todd类的平方根在何种条件下存在？
• RQ3 经典K-理论与上同调之间的等距配对能否推广至非交换代数？
• RQ4 普遍系数定理（UCT）在确保非交换Todd类的存在性与唯一性方面起什么作用？
• RQ5 庞加莱对偶性与循环同调结构如何在非交换D-膜理论中推广经典指标配对？

主要发现

• 在UCT与有限维性假设下，修正陈特征 $ \mathrm{Ch}(\alpha) := \mathrm{ch}(\alpha) \otimes_A \sqrt{\mathrm{Td}(A)} $ 定义了从 $ K_\bullet(A) $ 到 $ HL_\bullet(A) $ 的良定映射。
• 对任意可逆矩阵 $ M \in \mathrm{GL}_n(\mathbb{C}) $，存在平方根 $ \sqrt{M} \in \mathrm{GL}_n(\mathbb{C}) $，确保在 $ \dim_{\mathbb{C}}(HL_\bullet(A)) < \infty $ 时 $ \sqrt{\mathrm{Td}(A)} $ 的存在性。
• 等距配对公式成立：$ (\alpha, \beta)_K = \left( \mathrm{Ch}(\alpha), \mathrm{Ch}(\beta) \right)_H $，将经典指标配对推广至非交换几何。
• 非交换Minasian-Moore公式定义为 $ QC(B, \xi) := \mathrm{ch}(\varphi_!(\xi)) \otimes_A \sqrt{\mathrm{Td}(A)} \in HL_\bullet(A) $，其中 $ \varphi: A \to B $ 是一个K-定向的 $ \ast $-同态。
• 当 $ A $ 与 $ \widehat{A} $ 满足UCT且具有有限维Hochschild同调时，配对 $ (x, y)_H := (x \otimes y) \otimes_{A \otimes \widehat{A}} \Xi $ 是非退化的。
• 当 $ A = C(X) $，$ \widehat{A} = C(X) $，且 $ \Xi $ 为循环基本类时，可恢复交换情形下的经典等距配对（对 $ X $ 为Spinc流形）。