[論文レビュー] 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超弦理論における1ループ有効作用と正確に一致することを示し、$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超弦理論における1ループ有効作用との整合性を検証すること。
• 4形式ゲージ場強度が、超対称性変換のキャンセレーションを通じて高次微分補正の構造に果たす役割を明らかにすること。
• ネーターの手続きと計算代数を用いて、M理論における高次曲率項を体系的に導出する方法を確立すること。

提案手法

• 局所的超対称性変換から高次微分項にかかる制約を導出するため、ネーターの方法を適用する。
• 11次元における$R^4$、$R^3F^2$、$R^2(DF)^2$項を含む一般化されたラグランジアンのアンサンブルを構築する。
• 4形式ゲージ場強度$F$に関して、アンサンブルの変動を線形項まで展開する。
• プログラミング（MathematicaとGAMMA.m）を用いて、4169個の変動項を体系的に計算・キャンセルする。
• 4169個の線形方程式を1544個の係数に関して解き、$R^4$構造の唯一の解を特定する。
• 1ループ型IIA結果と一致させるために、$R^4$項の係数$b$を固定する。

実験結果

リサーチクエスチョン

• RQ1 局所的超対称性はM理論における$R^4$構造を一意に決定するか？
• RQ2 M理論における高次微分補正は、型IIA超弦理論における1ループ補正とどのように関係するか？
• RQ3 $F$に関して線形な超対称性変動のキャンセレーションが、$R^4$および$R^3F^2$項を一意に固定できるか？
• RQ4 4形式ゲージ場強度は、M理論における高次微分項の構造にどのような役割を果たすか？
• RQ5 型IIA超弦理論において2ループ以上に対応する項が存在しないことは、M理論においても消滅定理が成り立つことを示唆するか？

主な発見

• M理論における$R^4$項は、局所的超対称性によって一意に決定され、$R^4$構造には自由パラメータが存在しない。
• 導出された$R^4$構造は、型IIA超弦理論における1ループ有効作用と正確に一致し、整合性が確認された。
• $R^4$項の係数$b$は$b = \frac{1}{2\kappa_{11}^{2}}\frac{\ell_p^6}{2^{8}\cdot 4!}\frac{\pi^2}{3}$として固定され、1ループ型IIA結果と一致した。
• $R^3F^2$および$R^2(DF)^2$項は2つの未決定パラメータに支配されており、部分的な決定であることが示された。
• 4169個の変動項のキャンセレーションから唯一の解が得られ、$R^4$構造が局所的超対称性のみによって固定されることを証明した。
• この結果は、消滅定理を支持する：型IIA超弦理論における2ループ以上に対応するM理論の項は存在しない。