[論文レビュー] Prepotential, Mirror Map and F-Theory on K3

W. Lerche, Stephan Stieberger|ArXiv.org|Apr 27, 1998

Black Holes and Theoretical Physics参考文献 30被引用数 3

ひとこと要約

本稿は、T^2 における異種弦理論の compactification における 1 ループ F^4 耦合項を計算し、それらが正則的ポテンシャルによって支配されることを示し、K3 上の 7-brane 幾何学を介して F-theory にマッピングする。8 次元における F-theory–異種弦理論双対性の非自明なテストを提供する一方で、開きじゅんと閉じゅんのセクターの間の新規なミラー写像を確立し、E_8×E_8 および SO(8)^4 のゲージ対称性を持つ K3 表面から正則的 5 点耦合項を導出する。

ABSTRACT

We compute certain one-loop corrections to F^4 couplings of the heterotic string compactified on T^2, and show that they can be characterized by holomorphic prepotentials. We then discuss how some of these couplings can be obtained in F-theory, or more precisely from 7-brane geometry in type IIB language. We in particular study theories with E_8 x E_8 and SO(8)^4 gauge symmetry, on certain one-dimensional sub-spaces of the moduli space that correspond to constant IIB coupling. For these theories, the relevant geometry can be mapped to Riemann surfaces. Physically, the computations amount to non-trivial tests of the basic F-theory -- heterotic duality in eight dimensions. Mathematically, they mean to associate holomorphic 5-point couplings of the form (del_t)^5 G = sum[ g_l l^5 q^l/(1-q^l) ] to K3 surfaces. This can be seen as a novel manifestation of the mirror map, acting here between open and closed string sectors.

研究の動機と目的

• T^2 に compactified された異種弦理論における 1 ループ F^4 耦合項を計算すること。
• ミラー対称性の文脈において、正則的ポテンシャルを用いてこれらの耦合項を特徴付けること。
• 特に IIB の axio-dilaton が定数である極限において、双対性を用いて異種弦理論の compactification を F-theory の K3 上にマッピングすること。
• IIB 言語における 7-brane 幾何学を分析し、プリポテンシャルおよび耦合構造を再構成すること。
• ミラー写像を用いて、開きじゅんデータ（7-brane 組織）を閉じゅんデータ（K3 上のモジュラー形式）に結びつけること。
• K3 表面上で (del_t)^5 G = ∑[g_l l^5 q^l / (1 - q^l)] の形をとる正則的 5 点耦合項の明示的表現を導出すること。

提案手法

• モジュラー不変性および正則的異常方程式を用いて、T^2 に compactified された異種弦理論における 1 ループ補正を F^4 耦合項に適用する。
• プリポテンシャルが F^4 耦合項の正則的依存性を符号化していると特定する。
• 特に IIB の axio-dilaton が定数である極限において、双対性を用いて異種弦理論の compactification を F-theory の K3 にマッピングする。
• IIB 言語における 7-brane 幾何学の解析を通じて、プリポテンシャルおよび耦合構造を再構成する。
• ミラー写像を用いて、開きじゅんデータ（7-brane 組織）を閉じゅんデータ（K3 上のモジュラー形式）に結びつける。
• K3 表面上で (del_t)^5 G = ∑[g_l l^5 q^l / (1 - q^l)] の形をとる正則的 5 点耦合項の明示的表現を導出する。

実験結果

リサーチクエスチョン

• RQ1 T^2 に compactified された異種弦理論における 1 ループ F^4 耦合項は、正則的ポテンシャルとどのように関係するか？
• RQ2 F-theory における開きじゅん（7-brane）と閉じゅん（K3）のセクターを結ぶミラー写像の役割は何か？
• RQ3 K3 上の F-theory は、8 次元における異種弦理論の compactification のプリポテンシャル構造をどのように再現するか？
• RQ4 K3 上のモジュラー関数を用いて、正則的 5 点耦合項の明示的形はどのように表されるか？
• RQ5 8D での compactification における 1 ループ補正のもとで、F-theory と異種弦理論の双対性はどのように成立するか？

主な発見

• T^2 に compactified された異種弦理論における 1 ループ F^4 耦合項は、正則的ポテンシャルによって完全に特徴づけられる。
• プリポテンシャルは、非自明なモジュラーおよび幾何的データを符号化しており、開きじゅんと閉じゅんのセクターを結ぶミラー写像に結びつく。
• E_8×E_8 および SO(8)^4 のゲージ群に対して、プリポテンシャルは K3 上の 7-brane 組織から導出され、リーマン面にマッピングされる。
• 正則的 5 点耦合項は (del_t)^5 G = ∑[g_l l^5 q^l / (1 - q^l)] の形を取り、明示的にモジュラー形式と結びつく。
• 結果は、8 次元における F-theory–異種弦理論双対性の非自明なテストを提供し、双対的記述間の整合性を確認する。
• ミラー写像は、開きじゅんデータ（7-brane 幾何学）と閉じゅんデータ（K3 上のモジュラー不変量）の間で作用し、新規な双対性構造を明らかにする。