[論文レビュー] Moduli spaces of hyperkaehler manifolds and mirror symmetry

Daniel Huybrechts|ArXiv.org|Oct 15, 2002

Algebraic Geometry and Number Theory参考文献 28被引用数 15

ひとこと要約

この論文は、特にK3表面を対象として、周期領域と離散的群作用を介した複素構造およびケーラー構造のモジュライ空間の分析を通じて、ハイパーケーラー多様体における鏡像対称性の幾何的枠組みを確立する。鏡像対称性は、ムカイ格子上の離散的群作用から生じ、ラティス極性付与や楕円的K3表面などのさまざまな鏡像双対性が、ハイパーケーラー回転と大複素構造極限を介して統一される。

ABSTRACT

These are notes of my lectures given at the school on intersection theory and moduli at the ICTP, Trieste. We construct moduli spaces of K3 surfaces and higherdimensional hyperkaehler manifolds, including moduli spaces of (2,2)-conformal field theories associated to hyperkaehler manifolds, and describe their period domains. Recent results on these manifolds are discussed from the moduli space point of view. The second goal is to present a detailed account of mirror symmetry for K3 surfaces. Arguments due to Aspinwall and Morrison allow one to explain various versions of mirror symmetry (e.g. for lattice polarized or elliptic K3 surfaces) by the same general principle.

研究の動機と目的

• 周期領域と幾何的不変量を用いて、特にK3表面を含むハイパーケーラー多様体のモジュライ空間の構造を明確化すること。
• B場とムカイ格子構造を介して、コンformal field theory (CFT) のモジュライ空間を数学的に解釈すること。
• ラティス極性付与や楕円的ファイブレーションなどのK3表面のさまざまな鏡像双対性を、単一の群論的枠組みで統一すること。
• 鏡像写像が離散的群作用とハイパーケーラー回転からどのように生じるか、特に大複素構造極限において説明すること。
• 特定のコhomology類に属するケーラー形式を持つK3表面の鏡像が、収縮するファイバーを持つ特別なラグランジュアンファイブレーションをもつことを示すこと。

提案手法

• マーク付きハイパーケーラー多様体のモジュライ空間からムカイ格子内の周期領域への周期写像を用いる。
• ホロモーフィックシンプレクティック形式を介して、複素構造とコhomologicalデータを結ぶグローバルTorelli定理を適用する。
• 特に、反射とハイパーケーラー回転によって生成される群のムカイ格子上の作用を分析する。
• 周期領域における群作用を通じて鏡像写像を構成し、鏡像対をこの作用の軌道として同定する。
• 与えられたケーラー形式と整合する複素構造を回転させることで、鏡像複素構造をハイパーケーラー回転を用いて実現する。
• 大複素構造極限の技法を適用し、鏡像における特別なラグランジュアンファイバーの体積が0に近づくことを示す。

実験結果

リサーチクエスチョン

• RQ1 離散的群作用の下で、特にK3表面を含むハイパーケーラー多様体のモジュライ空間はどのように分解されるか？
• RQ2 周期領域の観点から、K3表面における鏡像対称性の正確な幾何的およびコhomologicalメカニズムは何か？
• RQ3 鏡像写像は、ハイパーケーラー回転と特別なラグランジュアンファイブレーションの幾何学とどのように関係するか？
• RQ4 ムカイ格子上の離散的群作用は、K3表面のさまざまな鏡像双対性をどのように統一するか？
• RQ5 複素構造が大複素構造極限に近づく際、鏡像における特別なラグランジュアンファイバーの体積はどのように変化するか？

主な発見

• ケーラー構造と複素構造の両方に依存するS²族の適合複素構造の存在により、K3表面のハイパーケーラー計量のモジュライ空間は、カルラ・ヤウ多様体とは異なり、複素モジュライとケーラー・モジュライに分解されない。
• K3表面における鏡像対称性は、ムカイ格子上の離散的群作用を通じて、計量のモジュライ空間間の同型写像として実現され、複素構造とケーラー構造が交換される。
• 与えられたコhomology類に属するケーラー形式を持つK3表面の鏡像は、体積がt → 0のとき0に近づくファイバー類$v$を持つ特別なラグランジュアンファイブレーションをもつ。
• 鏡像において$<\text{Re}(\sigma), v\u003e \to 0$というコhomological条件は、SLAGファイバー$v$の体積が大複素構造極限で消えることを示唆する。
• ハイパーケーラー回転により、与えられたケーラー形式に対応する鏡像複素構造を実現できるが、この構成は大複素構造極限と可換でないため、ハイパーケーラー回転と鏡像対称性の間には限定的な関係があることが示唆される。
• 楕円的ファイブレーションとケーラー形式$\omega_J = (\alpha/2 + 1)f + \sigma_0$を持つK3表面の鏡像は$X^\vee = (M, -K)$として実現され、鏡像ファイブレーションのファイバーが収縮するのは、複素構造を固定したままケーラー形式を適切にスケーリングした場合に限る。