[論文レビュー] TASI Lectures on Compatification and Duality

David R. Morrison|ArXiv.org|Nov 11, 2004

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

ひとこと要約

この論文は、16または32のスーパーチャージを持つ理論に焦点を当て、超弦理論におけるコン팩ティフィケーションと双対性について包括的なレビューを提供している。M理論におけるK3空間、トーラス上のヘテロティック弦、F理論におけるK3空間の間の双対性を確立し、幾何学的特異点としての2次元球面（S²）の収縮によって非アーベルゲージ対称性が生じることを示している。特に、M理論の膜が自己交叉数-2のホロモルフィック曲線に巻きつけられることでE8 × E8ゲージ群が実現されることを示している。

ABSTRACT

We describe the moduli spaces of theories with 32 or 16 supercharges, from several points of view. Included is a review of backgrounds with D-branes (including type I' vacua and F-theory), a discussion of holonomy of Riemannian metrics, and an introduction to the relevant portions of algebraic geometry. The case of K3 surfaces is treated in some detail.

研究の動機と目的

• Calabi–Yau多様体へのコンパクト化を通じて、16または32のスーパーチャージを持つ超弦理論のモジュライ空間を体系的に探求すること。
• M理論におけるK3空間、トーラス上のヘテロティック弦、F理論におけるK3空間の間の双対性を、特に非摂動的効果の文脈で確立すること。
• 自己交叉数-2の縮小するホロモルフィック2次元球面（S²）の幾何学的特徴から、M理論における非アーベルゲージ群の起源を説明すること。
• ADEダイナキン図やオルビフォールドといった代数幾何学的構造を、コンパクト化された超弦理論におけるゲージ対称性の強化に直接結びつけること。
• Dブレーン、T双対性、ホロノミーの役割を明らかにし、超対称性を保存する整合的なコンパクト化を構築すること。

提案手法

• T双対性とDブレーンの解析を用いて、タイプIおよびタイプIIA超弦理論からタイプI′およびF理論を導出する。
• リーマン多様体のホロノミー分類を適用し、超対称性を保存するための適切なコンパクト化空間としてCalabi–Yau多様体を同定する。
• 特にK3表面、ホロモルフィック2サイクル、交差形式の理論を用いた代数幾何学的ツールを用いて、モジュライ空間を分析する。
• M理論のK3空間へのコンパクト化を分析し、モジュライ空間がO(3,19;Z)\(O(3,19)/O(3)×O(19)) × R⁺として与えられ、Zに沿った特異点が質量ゼロの状態に対応することを特定する。
• 自己交叉数-2のホロモルフィックS²の交差行列からゲージ代数を構成し、そのような配置によってE8×E8のルート格子が実現されることを示す。
• ADEダイナキン図と交差する-2球面の配置の対応関係を用いて、M理論コンパクト化における得られるゲージ群を分類する。

実験結果

リサーチクエスチョン

• RQ1 M理論がK3空間にコンパクト化された場合、幾何的特異点を通じて非アーベルゲージ対称性はどのようにして生じるのか？
• RQ2 T³上のヘテロティック弦とM理論におけるK3空間の間の正確な双対性は何か？そして、モジュライ空間の構造とどのように関係するか？
• RQ3 DブレーンとT双対性は、タイプIおよびタイプIIA超弦理論からF理論およびタイプI′理論をどのように構成するのか？
• RQ4 調和形式とリッチ平坦計量は、M理論がK3空間にコンパクト化された場合のモジュライ空間を決定するために果たす役割は何か？
• RQ5 モジュライ空間内の特異的領域Zは、M理論およびヘテロティックコンパクト化におけるゲージ対称性の強化とどのように対応するか？

主な発見

• M理論がK3空間にコンパクト化された場合のモジュライ空間は、O(3,19;Z)\(O(3,19)/O(3)×O(19)) × R⁺として与えられ、質量ゼロの状態が現れる領域Zに特異点を持つ。
• Zに沿って、ホロモルフィック2次元球面（S²）が面積ゼロに収縮し、それらにM理論の膜が巻きつけられることで質量ゼロのゲージボソンが実現される。
• 自己交叉数-2で互いに0または1の交差を示すホロモルフィックS²の交差行列は、ADEリーダイナキン代数のルート格子（E8×E8を含む）を再現する。
• M理論におけるK3空間へのコンパクト化で実現されるゲージ代数はE8×E8であり、根はe = ∑m_i e_i で表され、e·e = -2を満たす。
• Zに沿った特異点は、有限部分群Γ ⊂ SU(2)に対するC²/Γとして幾何学的に記述され、特異点をブロー・アップするか、複素構造を調整することで解消される。
• T³上のヘテロティック弦とM理論におけるK3空間の間の双対性は、モジュライ空間の一致と、同じ特異的領域でゲージ対称性が現れることによって確認される。