[论文解读] Higher Derivative Corrections in M-theory via Local Supersymmetry

Yoshifumi Hyakutake|ArXiv.org|Oct 14, 2007

Black Holes and Theoretical Physics参考文献 19被引用 4

一句话总结

本文利用诺特定理与计算机辅助代数计算，通过强制实现局部超对称性，推导出M理论中的高阶导数修正。该研究唯一确定了M理论中的$R^4$项，与IIA型超弦理论的一圈有效作用量精确一致，并确定了$R^4$结构的唯一解，证实了高圈修正的消失定理。

ABSTRACT

We investigate higher derivative corrections in M-theory by applying Noether's method. Cancellation of variations, which contain linear terms in 4-form field strength, under local supersymmetry is executed with the aid of computer programming. Structure of $R^4$ terms is uniquely determined and exactly matches with one-loop effective terms in type IIA superstring theory.

研究动机与目标

• 确定M理论中超越超重力的高阶导数修正结构。
• 研究局部超对称性是否唯一确定M理论中的$R^4$项。
• 验证M理论$R^4$项与IIA型超弦理论一环有效作用量之间的一致性。
• 通过超对称变分的抵消，探讨4形式场强在高阶导数修正中的作用。
• 建立一种系统方法，利用诺特程序与计算代数推导M理论中的高曲率项。

提出的方法

• 应用诺特方法，从局部超对称变换推导高阶导数项的约束条件。
• 构建一个包含$R^4$、$R^3F^2$与$R^2(DF)^2$项的11维拉格朗日量的一般假设。
• 将该假设在局部超对称变换下的变分展开至4形式场强$F$的一阶。
• 使用计算机编程（Mathematica配合GAMMA.m）系统计算并抵消4169个变分项。
• 通过求解4169个线性方程组中的1544个系数，确定$R^4$结构的唯一解。
• 将$R^4$项中的系数$b$与IIA型一环结果匹配，以固定归一化。

实验结果

研究问题

• RQ1 局部超对称性是否唯一确定M理论中的$R^4$结构？
• RQ2 M理论中的高阶导数修正如何与IIA型超弦理论的一环修正相关联？
• RQ3 对$F$线性的一阶超对称变分的抵消，是否能唯一确定$R^4$与$R^3F^2$项？
• RQ4 4形式场强在M理论高阶导数项结构中起什么作用？
• RQ5 IIA型超弦理论中不存在2圈或更高圈对应项，是否意味着M理论中存在消失定理？

主要发现

• M理论中的$R^4$项由局部超对称性唯一确定，$R^4$结构中无自由参数。
• 推导出的$R^4$结构与IIA型超弦理论的一圈有效作用量完全一致，证实了其一致性。
• $R^4$项中的系数$b$被固定为$b = \frac{1}{2\kappa_{11}^{2}}\frac{\ell_p^6}{2^{8}\cdot 4!}\frac{\pi^2}{3}$，与IIA型一环结果一致。
• $R^3F^2$与$R^2(DF)^2$项由两个未定参数控制，表明其部分确定。
• 4169个变分项的抵消产生唯一解，证明$R^4$结构仅由局部超对称性决定。
• 结果支持消失定理：M理论中不存在对应于IIA型超弦理论2圈或更高圈修正的项。