[论文解读] Critical Super F-theories

William D. Linch, Warren Siegel|arXiv (Cornell University)|Jul 7, 2015

Black Holes and Theoretical Physics参考文献 33被引用 16

一句话总结

本文提出了一类新的F-理论——临界超F-理论（Critical Super F-theories）——通过使用具有显式G × G′对称性的自对偶电流超代数，将格林-施瓦茨超弦理论推广至更高维的世界体积。其中G = En(n)（n ≤ 7），G′ = GL(10−D)。该形式化方法确保了世界体积共形不变性，避免了宇宙学项，并在维度约化后自然还原为10D型II型超弦理论，且时空维度D = 3, 4, 6, 10由Fierz恒等式与例外群约束固定。

ABSTRACT

We present F-theories that reduce to 10D Type II Green-Schwarz superstrings. They vary in manifest U-duality according to division between spacetime and "internal" coordinates. They are defined by selfdual current superalgebras in higher worldvolume dimensions with manifest $\mathrm G imes \mathrm G'$ symmetry where the spacetime symmetry $\mathrm G=\mathrm E_{n(n)}$ ranges over the (split form of the) exceptional groups with ranks $n=\mathrm D+1 \leq 7$ and the internal symmetry $\mathrm {G'= GL(10-D)}$.

研究动机与目标

• 通过构建一个共形不变的世界体积形式化，解决基本膜理论中的谱问题（如连续质量谱与无无质量态），
• 通过一种在维度约化下自然还原为格林-施瓦茨超弦的形式化，统一F-理论与10D型II型超弦理论。
• 通过分离时空坐标与内部坐标，显式展现增强的U- duality对称性，其中G = En(n)，G′ = GL(10−D)。
• 利用自对偶电流超代数与确保与超引力及Fierz恒等式一致的约束，提供F-理论的哈密顿形式化。
• 将该框架扩展至更高维（D=5,6,7），并解决D=7时E8与SO*(16)表示中的开放问题。

提出的方法

• 在更高世界体积维数中使用自对偶电流超代数形式化F-理论，将格林-施瓦茨超弦推广至更高维膜。
• 引入一个哈密顿作用量，其中动量P共轭于世界体积场X，且P对应于场强F的τ分量。
• 通过高斯定律（U ∼ ∂P）与D约束施加约束，该约束闭合代数并确保与超对称性的相容性。
• 利用广义度规与Fierz恒等式，从特定旋量迹的消失推导出总时空维数被固定为D=3,4,6,10。
• 应用扭量表示与截面条件，以保持显式U-duality并探索非零模态的推广。
• 通过维度约化还原该理论，恢复已知的超 Yang-Mills 与超引力约束，从而与S-理论和F-理论对偶性建立联系。

实验结果

研究问题

• RQ1 如何构建一个一致的高维F-理论，使其在约化后能还原为10D型II型格林-施瓦茨超弦理论？
• RQ2 世界体积共形不变性在避免宇宙学项与保证无质量谱中的作用是什么？
• RQ3 在例外群En(n)与内部对称性GL(10−D)的背景下，Fierz恒等式如何将允许的时空维数限制为D=3,4,6,10？
• RQ4 自对偶电流超代数形式化能否推广至D=5,6？D=7时的障碍是什么（例如E8与SO*(16)表示不匹配）？
• RQ5 如何完成拉格朗日形式化，包括引入Virasoro生成元T与κ对称性，超越当前基于S的作用量？

主要发现

• 该理论通过自对偶电流超代数实现世界体积共形不变性，从而排除了世界体积宇宙学项的出现。
• 时空维数由Fierz恒等式（源自特定旋量迹在γ矩阵作用下为零）在经典层面被固定为D=3,4,6,10。
• 当D=1时，Fierz恒等式退化为标准恒等式(γa)α′β′(γa)γ′δ′ = 0，与型IIB一致，但X⊕Y的分离消除了IIA/B的区分。
• 当D=2时，恒等式(γa′)α′|˜β′(γa′)|γ′˜δ′ = 2δα′γ′δ˜β′˜δ′ 在D′=1,2,4,8下成立，其中D′=8情形与三重性及{γ,γ}=2I相关。
• 当D=3时，恒等式(γa′)α′|β′(γa′)|γ′δ′ = 2δα′γ′δβ′δ′ − δβ′(α′δγ′)δ′ 在D′=0,1,3,7下成立，由D=2情形的维度约化导出。
• 当D=4时，恒等式(γa′)α′β′(¯γa′)γ′δ′ = δγ′[α′δδ′β′] 在D′=0,2,6下成立，其中D′=6情形对应于ϵabcd下的反对称张量，与实性条件一致。