[論文レビュー] M-theory/type IIA duality and K3 in the Gibbons-Hawking approximation

Michael Schulz, Elliott Tammaro|arXiv (Cornell University)|Jun 5, 2012

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

ひとこと要約

本稿は、M理論／type IIA双対性に基づく $T^3/\mathbb{Z}_2$ オリエンタード・バージョン上でのGibbons-Hawking多中心計量を用いて、K3多様体の解ける微分幾何的モデルを構築する。超ケーラー形式、調和コhomology代表元、およびモジュライ空間計量を2通りの方法—補償子射影と単純な次元削減—で明示的に計算し、正確なK3コセットモジュライ空間と完全に一致することを確認した。これにより近似の妥当性が裏付けられ、弦理論におけるK3幾何の完全でアクセス可能な微分幾何的記述が得られた。

ABSTRACT

We review the geometry of K3 surfaces and then describe this geometry from the point of view of an approximate metric of Gibbons-Hawking form. This metric arises from the M-theory lift of the tree-level supergravity description of type IIA string theory on the T^3/Z_2 orientifold, the D6/O6 orientifold T-dual to type I on T^3. At large base, it provides a good approximation to the exact K3 metric everywhere except in regions that can be made arbitrarily small. The metric is hyperkähler, and we give explicit expressions for the hyperkähler forms as well as harmonic representatives of all cohomology classes. Finally, in the Gibbons-Hawking approximation, we compute the metric on the moduli space of metrics in two ways, first by projecting to transverse traceless deformations (using compensators), and then by computing the naive moduli space metric from dimensional reduction. In either case, we find agreement with the exact coset moduli space of K3 metrics. The T^3/Z_2 orientifold provides a simple example of a warped compactification, and in a separate paper, this work will be applied to study warped Kaluza-Klein reduction on T^3/Z_2.

研究の動機と目的

• 弦理論家を対象に、超ケーラー構造、コhomology、モジュライを強調したK3表面の包括的で微分幾何的アプローチのレビューを提供すること。
• M理論へのtype IIAの$T^3/\mathbb{Z}_2$へのアップラップを用いて、16個のD6ブレインと8個のO6平面を伴う歪みのあるコンパクト化として、Gibbons-Hawking近似によるK3計量を構築・解析すること。
• この解けるモデルにおいて、超ケーラー2形式およびすべてのコhomology類の調和代表元を明示的に計算すること。
• 補償子射影と単純な次元削減の2通りの方法でモジュライ空間計量を導出し、正確なK3コセットモジュライ空間と一致することを確認すること。
• 文献における空白を埋めるために、$(-E_8)^2 \oplus (U_{1,1})^3$ および $(-D_{16})^2$ のK3ホモロジー格子の分解を、オルビフォールド基底に基づいて完全かつアクセス可能な形で提示すること。

提案手法

• 大ベース半径および小さな特異領域から離れた領域で有効なGibbons-Hawking多中心計量のアンザッツを用いて、グローバルK3計量を近似する。
• type IIAの$T^3/\mathbb{Z}_2$オリエンタードにM理論のアップラップを適用し、D6ブレインとO6平面を、K3上のM2ブレイン源に写像する。
• Gibbons-Hawkingポテンシャル $Z$ 及びその勾配を用いて、超ケーラー三重の2形式 $\omega_I$, $\omega_J$, $\omega_K$ の明示的表現を構築する。
• Lichnerowicz作用素およびラプラス＝ド・ラーム方程式を用いて、コhomology類の調和代表元を計算し、零モードが計量の摂動に対応することを特定する。
• 2通りのアプローチ—(1)補償子を用いた横波トレースなし摂動への射影、(2)4次元有効アクションからの直接次元削減—を用いてモジュライ空間計量を導出する。
• 重要な積分 $\int \omega_I \wedge \omega_J = \delta_{IJ}$ および $\int \frac{1}{Z} F_I \wedge \star F_J = 3\delta_{IJ}$ を評価し、正規化および一貫性を確認する。

実験結果

リサーチクエスチョン

• RQ1 Gibbons-Hawking計量は正確なK3超ケーラー構造をどの程度近似するか。近似が破綻する領域はどこか。
• RQ2 Gibbons-Hawking近似における明示的な調和形式（超ケーラー三重を含む）は何か。それらはK3のホモロジー格子をどのように実現するか。
• RQ3 補償子射影と単純な次元削減の両方を用いて、K3のモジュライ空間計量を一貫して導出でき、それらが一致するか。
• RQ4 このモデルにおいて、$T^4/\mathbb{Z}_2$ オルビフォールドから $(-E_8)^2 \oplus (U_{1,1})^3$ および $(-D_{16})^2$ のホモロジー格子の分解はどのようにして生じるか。
• RQ5 この解けるK3モデルにおいて、計量の摂動、調和形式、超複素構造の間の正確な関係は何か。

主な発見

• Gibbons-Hawking計量は、任意に小さな領域を除き、正確なK3計量の有効な近似を提供し、近似内でも完全に超ケーラー構造が実現されている。
• 明示的な調和2形式 $\omega_I$ が構築され、その交差形式は $\int \omega_I \wedge \omega_J = \delta_{IJ}$ を満たし、$(-E_8)^2$ 格子構造と一致する。
• 明示的な超ケーラー計量からの計量摂動は、不変テンソルおよび調和形式の必要な組み合わせと一致し、このモデルにおけるYauの定理との整合性が確認された。
• 補償子射影による横波トレースなし摂動への射影で得られたモジュライ空間計量は、単純な次元削減の結果および正確なK3コセットモジュライ空間計量と完全に一致した。
• 積分 $\int \frac{1}{Z} F_I \wedge \star F_J = 3\delta_{IJ}$ および $\int \frac{Z_I Z_J}{Z^3} G^{\alpha\beta} \partial_\alpha Z \partial_\beta Z = 0$ が計算され、ゲージ場の零モードの正しい正規化および直交性が確認された。
• このモデルは、$T^4/\mathbb{Z}_2$ オルビフォールドから $(-D_{16})^2$ のK3ホモロジー格子の分解を正確に再現し、この格子分解の明確な実現を提供した。