[论文解读] E8 Gauge Theory, and a Derivation of K-Theory from M-Theory

Duiliu-Emanuel Diaconescu, Gregory Moore+1 more|arXiv (Cornell University)|May 10, 2000

Black Holes and Theoretical Physics参考文献 13被引用 48

一句话总结

本文建立了在圆上紧化后的IIA型弦理论与M理论中Ramond-Ramond场的划分函数之间的精确匹配，表明IIA型理论中由自对偶性和K-理论引起的微妙相位因子，与M理论中E₈规范理论所引起的相位因子完全一致。这一一致性为M理论/IIA型弦理论对偶性提供了强有力证据，并验证了十一维超引力中K-理论与E₈规范理论形式的正确性。

ABSTRACT

The partition function of Ramond-Ramond p-form fields in Type IIA supergravity on a ten-manifold X contains subtle phase factors that are associated with T-duality, self-duality, and the relation of the RR fields to K-theory. The analogous partition function of M-theory on X x S1 contains subtle phases that are similarly associated with E8 gauge theory. We analyze the detailed phase factors on the two sides and show that they agree, thereby testing M-theory/Type IIA duality as well as the K-theory formalism in an interesting way. We also show that certain D-brane states wrapped on nontrivial homology cycles are actually unstable, that (-1)^{F_L} symmetry in Type IIA superstring theory depends in general on a cancellation between a fermion anomaly and an anomaly of RR fields, and that Type IIA superstring theory with no wrapped branes is well-defined only on a spacetime with W_7=0.

研究动机与目标

• 通过比较Ramond-Ramond场的划分函数，检验在X×S¹上的M理论与在十维流形X上的IIA型弦理论之间的对偶性。
• 证明IIA型理论中由自对偶性和K-理论引起的RR场划分函数中的微妙相位因子，与M理论中由E₈规范理论引起的相位因子完全匹配。
• 阐明全局拓扑不变量如W₇与Atiyah-Hirzebruch谱序列在IIA型理论与M理论紧化的一致性中的作用。
• 解决IIA型弦理论中D膜异常与R对称性结构解释中的模糊性。
• 表明IIA型理论中的RR场通量自然由K-理论描述，且该描述与M理论紧化一致。

提出的方法

• 作者计算了在十维流形X上的IIA型超引力中RR p-形式场的划分函数，重点关注G₄与G₂场的通量及其相关的相位因子。
• 他们分析了在X×S¹上的M理论划分函数，将G₄识别为M理论四形式的一个分量，G₂识别为圆丛的第一陈类，并通过陈-西蒙斯相互作用识别相位因子。
• 利用Atiyah-Hirzebruch谱序列，将上同调类与K-理论类关联，从而在两种框架中比较拓扑不变量（如W₇与β(ξ)）。
• 通过建立Ω̃¹⁰spin(K(Q/Z,3))与Ω̃¹⁰spin(K(Z,4))之间的 bordism 同构，证明了存在使相位因子I(X,ξ) = 1的流形，从而确认了一致性。
• 他们利用十一维超引力中的陈-西蒙斯项∫C∧G∧G推导出M理论中的全局相位因子，表明其与IIA型理论中的K-理论相位完全匹配。
• 他们验证了对于特定流形X满足ξ ∈ H³(X, Q/Z)，有∫X ξ ∪ W₇(X) = 1，从而证明了IIA型理论中K-理论相位结构的非平凡性。

实验结果

研究问题

• RQ1 IIA型弦理论中由自对偶性和K-理论引起的RR场划分函数的微妙相位因子，是否与在圆上紧化的M理论中的相位因子完全匹配？
• RQ2 能否通过E₈规范理论与陈-西蒙斯耦合，从M理论推导出RR场的K-理论解释？
• RQ3 W₇特征类在确定IIA型弦理论在时空流形上的一致性中起什么作用？
• RQ4 RR场中的异常与费米子零模式如何相互抵消，以保持IIA理论中的(−1)^F_L对称性？
• RQ5 在不包含缠绕D膜的情况下，是否存在定义IIA型弦理论的拓扑障碍？若有，其本质是什么？

主要发现

• 在IIA型理论中，利用K-理论与自对偶性计算的RR场划分函数相位，与在S¹上紧化的M理论中通过陈-西蒙斯相互作用与E₈规范理论计算的相位完全匹配。
• 在满足H³(X, Q/Z) ≠ 0的流形X上，相位因子∫X ξ ∪ W₇(X) = 1被实现，确认了IIA型理论中K-理论相位结构的非平凡拓扑性质。
• bordism 群Ω̃¹⁰spin(K(Q/Z,3))与Ω̃¹⁰spin(K(Z,4))同构，确保了K-理论相位结构在对偶性下的整体一致性。
• 本文表明，IIA型弦理论若不包含缠绕D膜，则仅在满足W₇ = 0的时空流形上定义良好，这是一种与K-理论形式密切相关的拓扑障碍。
• IIA理论中的(−1)^F_L对称性并非源于简单全局对称性，而是由费米子异常与RR场异常之间的抵消所产生。
• RR场G₀在M理论中尚无已知起源，因此包含G₀的完整划分函数无法与M理论直接比较，该情形仍不完整。