[論文レビュー] String Theory on K3 Surfaces

Paul S. Aspinwall, D.R.O. Morrison|ArXiv.org|Apr 24, 1994

Black Holes and Theoretical Physics参考文献 25被引用数 147

ひとこと要約

本稿は、古典的K3のモジュライ空間解析と鏡映性を組み合わせることで、K3表面におけるN=(4,4)超弦理論のモジュライ空間を特定し、離散的対称性群が符号(4,20)の偶標数ユニモジュラー格子の整数的直交群であることを証明する。研究は、モジュライ空間の正確な量子幾何的記述を確立し、代数的K3表面における鏡写像を通じてアーノルドの奇妙な双対性のCFT的解釈を提供する。

ABSTRACT

The moduli space of N=(4,4) string theories with a K3 target space is determined, establishing in particular that the discrete symmetry group is the full integral orthogonal group of an even unimodular lattice of signature (4,20). The method combines an analysis of the classical theory of K3 moduli spaces with mirror symmetry. A description of the moduli space is also presented from the viewpoint of quantum geometry, and consequences are drawn concerning mirror symmetry for algebraic K3 surfaces.

研究の動機と目的

• K3を標的空間とするN=(4,4)超弦理論のモジュライ空間のグローバル構造を特定すること。
• 古典的幾何学と鏡映性を組み合わせることで、長年の疑問であったモジュライ空間のグローバル形式の曖昧さを解消すること。
• 複素構造とカーラー変形およびB場を含む、両方の変形を含む量子幾何的記述を提供すること。
• 代数的K3表面における鏡映性現象、特にアーノルドの奇妙な双対性に対して、コンformal field theory (CFT)的解釈を与えること。
• K3表面における鏡写像と、軌道的構成法によるCalabi-Yau3-foldの鏡対を結ぶ関係を確立すること。

提案手法

• H^2(X,Z)上の交差形式とN=(4,4)超コンフォートアルジュブラを用いて、K3表面の古典的モジュライ空間を分析する。
• 鏡映性を適用し、K3シグマモデルのモジュライ空間とその双対を関連づけ、鏡写像を計量とB場の空間上の非自明な自己同型写像として特定する。
• 偶標数ユニモジュラー格子Λ^{4,20}の構造を用いて、グローバルモジュライ空間をΓ\G/Hの商として記述する。ここでGは直交群O(4,20)、Γは離散的直交群である。
• 複素構造の変形（タイプMの代数的K3）とM⊗RからのカーラーおよびB場データを組み合わせることで、タイプMのCFTモジュライ空間を定義する。
• 複素構造とカーラーモジュライの役割を、コホロジー格子内の双曲平面の交換によって交換する鏡写像μを構成する。
• K3の鏡写像と、X×EのZ2軌道的構成法によるVoisinのCalabi-Yau3-foldの鏡対構成法を関連づけ、K3の鏡対が3-foldの鏡対を誘導することを示す。

実験結果

リサーチクエスチョン

• RQ1 K3表面におけるN=(4,4)超弦理論のモジュライ空間のグローバル構造は何か？
• RQ2 鏡映性はK3シグマモデルのモジュライ空間にどのように作用するか？また、それは完全な離散的対称性群を特定するために利用可能か？
• RQ3 K3表面における鏡写像は、代数的K3表面におけるアーノルドの奇妙な双対性のCFT的解釈を提供できるか？
• RQ4 B場は、22次元空間に存在するが、カーラー形式は最大20次元を占めるという事実を踏まえると、モジュライ空間構造にどのように影響を与えるか？
• RQ5 K3表面における鏡写像は、例えばVoisinの軌道的構成法のような既知のCalabi-Yau3-foldの鏡構成をどの程度再現できるか？

主な発見

• K3表面におけるN=(4,4)超弦理論のモジュライ空間は、Γが偶標数ユニモジュラー格子Λ^{4,20}の整数的直交群であるとして、二重コセット空間Γ\O(4,20)/O(4)×O(20)にグローバルに同型である。
• モジュライ空間の離散的対称性群は、完全な整数的直交群O(Λ^{4,20})である。これは、グローバル構造が格子の等長変換によって完全に決定されることを確認する。
• 鏡映性は、コホロジー格子内の双曲平面の交換によって、複素構造とカーラーモジュライの役割を交換する非自明な自己同型写像として作用する。
• 任意の符号(1,ρ−1)の原始的部分格子M ⊂ H^2(X,Z)に対して、タイプMのCFTモジュライ空間は複素次元20であり、複素構造の変形は次元20−ρ、カーラー/B場の変形は次元ρである。
• M⊥ = H⊕Nを満たす場合、鏡写像μはタイプMのCFTモジュライ空間をタイプNのものに写像し、これによりアーノルドの奇妙な双対性のCFT的実現が得られる。
• K3の鏡写像は、X1とX2が鏡K3であるとき、X×EのZ2軌道的構成法Y=(X×E)/Z2が、CFTのレベルで真の鏡Calabi-Yau3-fold Y1とY2を誘導することを直接示す。