[论文解读] On the M-theory Interpretation of Orientifold Planes

Eric G Gimon|ArXiv.org|Jun 29, 1998

Black Holes and Theoretical Physics参考文献 9被引用 25

一句话总结

本文通过应用9-11翻转——一系列T对偶与S对偶变换——解决了IIA型orientifold四平面对M理论的解释，将同一M理论背景的两种IIA描述联系起来。结果表明，具有平凡$U(1)_{RR}$丛的$O4^+$平面源于$ ^5/ _2$奇点处的双重包裹M5膜，而具有非平凡丛的平面则源于光滑的M"obius丛，从而解决了M5膜在奇点处'冻结'的谜题。

ABSTRACT

We obtain an M--theory interpretation of different IIA orientifold planes by compactifying them on a circle and use a chain of dualities to get a new IIA limit of these objects using this circle as the eleventh dimension. Using the combination of the two IIA description, we give an interpretation for all orientifold four-planes in M-theory, including a mechanism for freezing M5-branes at singularities.

研究动机与目标

• 解决IIA型orientifold四平面的M理论解释，特别是具有平凡$U(1)_{RR}$丛的对称性$O4^+$平面尚未解决的情况。
• 阐明M5膜在奇点处'冻结'的机制，该现象此前缺乏一致的M理论描述。
• 证明9-11翻转——通过T对偶与S对偶——为从对偶的IIA描述系统重构M理论背景提供了一种有效方法。
• 表明在未紧化的M理论中仅存在一种类型的orientifold五平面，其源于$ ^5/ _2$商空间且M5膜电荷为$-1/2$。

提出的方法

• 沿$O4$平面的世界体积圈执行T-S-T对偶链（T对偶、S对偶、T对偶），实现9-11翻转，将IIA紧化圈与M理论圈互换。
• 利用得到的对偶IIA背景重构M理论几何结构，将两种IIA描述视为M理论完整配置中重叠的图册。
• 将$O4^{-}$与$O4^{0}$平面视为通过在五个空间方向进行$ _2$反射并结合M圈上的半周期位移而形成的光滑M"obius丛。
• 将具有平凡$U(1)_{RR}$丛的$O4^{+}$平面识别为M理论在奇点背景$ ^5/ _2 \times \bar{S}^1$上的实现，其源为固定点处的双重包裹M5膜。
• 利用9-11翻转验证，具有$I=\pi$的$O4^{+}$平面在对偶IIA描述中对应于M"obius纤维中心圈上包裹的$D4$膜。
• 区分两类$O4$平面：一类源于光滑的M"obius丛（具有非平凡$U(1)_{RR}$），另一类源于$ ^5/ _2$奇点背景（具有平凡$U(1)_{RR}$）。

实验结果

研究问题

• RQ1 在M理论中，具有平凡$U(1)_{RR}$丛的$O4^+$平面如何产生，考虑到其与标准M5膜配置的明显不相容性？
• RQ2 M5膜在M理论奇点处如何实现'冻结'，其机制是什么，且如何实现一致描述？
• RQ3 9-11翻转过程是否能系统揭示所有IIA型orientifold四平面的M理论起源，包括具有非平凡规范丛的情况？
• RQ4 为何未紧化的M理论中仅存在一种类型的orientifold五平面，其与$ ^5/ _2$商空间有何关联？
• RQ5 M圈在区分不同$O4$平面类型中起什么作用，其如何影响规范群结构？

主要发现

• IIA中的$O4^{-}$平面在M理论中对应于光滑的M"obius丛，其由五个空间方向的$ _2$反射与M圈上的半周期位移组合而成。
• $O4^{0}$平面源于相同的光滑M"obius丛，但附加了一个被卡住的半$D4$膜，导致IIA极限下出现$SO(2N+1)$规范群。
• 具有平凡$U(1)_{RR}$丛的$O4^{+}$平面在M理论中实现为$ ^5/ _2$奇点处的双重包裹M5膜，该膜无法解开为两个单重包裹的M5膜。
• 9-11翻转证实，具有$I=\pi$的$O4^{+}$平面在对偶IIA背景中对应于M"obius纤维中心圈上包裹的$D4$膜。
• 在未紧化的M理论中，仅存在一种类型的orientifold五平面，对应于$ ^5/ _2$商空间且M5膜电荷为$-1/2$，其在紧化后可产生$Sp$与$SO$规范群。
• 分析表明，M圈在区分具有非平凡与平凡$U(1)_{RR}$丛的$O4$平面中至关重要，意味着在完整的M理论极限下仅存在一个此类平面。