[論文レビュー] Geometric Aspects of Mirror Symmetry (with SYZ for Rigid CY manifolds)

Naichung Conan Leung|ArXiv.org|Apr 12, 2002

Geometric Analysis and Curvature Flows参考文献 44被引用数 7

ひとこと要約

この論文は、SYZ予想を通じて、Calabi-Yau多様体における鏡像対称性を調査し、鏡像多様体が平坦なバンドルを備えた特別ラグランジュ部分多様体のモジュライ空間として生じることを提案する。複素幾何とシンプレクティック幾何の間のフーリエ＝ムカイ双対性を明らかにするために、B-サイクル（変形されたヘルミート・ヤン・ミルズバンドルを備えた複素部分多様体）のモジュライ空間が自然なn形式相関関数を備え、A-サイクル（平坦なバンドルを備えた特別ラグランジュ部分多様体）のモジュライ空間がシンプレクティック構造を備えるという幾何的双対性を確立する。

ABSTRACT

In this article we discuss the geometry of moduli spaces of (1) flat bundles over special Lagrangian submanifolds and (2) deformed Hermitian-Yang-Mills bundles over complex submanifolds in Calabi-Yau manifolds. These moduli spaces reflect the geometry of the Calabi-Yau itself like a mirror. Strominger, Yau and Zaslow conjecture that the mirror Calabi-Yau manifold is such a moduli space and they argue that the mirror symmetry duality is a Fourier-Mukai transformation. We review various aspects of the mirror symmetry conjecture and discuss a geometric approach in proving it. The existence of rigid Calabi-Yau manifolds poses a serious challenge to the conjecture. The proposed mirror partners for them are higher dimensional generalized Calabi-Yau manifolds. For example, the mirror partner for a certain K3 surface is a cubic fourfold and its Fano variety of lines is birational to the Hilbert scheme of two points on the K3. This hyperkahler manifold can be interpreted as the SYZ mirror of the K3 by considering singular special Lagrangian tori. We also compare the geometries between a CY and its associated generalized CY. In particular we present a new construction of Lagrangian submanifolds.

研究の動機と目的

• SYZ予想を通じて、Calabi-Yau多様体における鏡像対称性の幾何的実現を理解すること。
• 変形されたヘリミート・ヤン・ミルズバンドルを備えたB-サイクル（複素部分多様体）と、平坦なバンドルを備えた特別ラグランジュ部分多様体であるA-サイクルのモジュライ空間を分析すること。
• 相関形式とシンプレクティック商を介して、Calabi-Yau多様体上の複素幾何とその鏡像上のシンプレクティック幾何の間の双対性を確立すること。
• 剛体Calabi-Yau多様体が引き起こす課題を解決するため、K3表面のための立方体四重多様体のような高次元の一般化されたCalabi-Yau鏡像を提案すること。

提案手法

• 積分 ${}_{B}\Omega = \int_C \mathrm{Tr}\, \mathbb{F}^m \wedge \mathrm{ev}^*\Omega$ を用いて、B-サイクルのモジュライ空間に相関n形式を構成する。
• 写像と接続の配置空間に、$\mathrm{Im}\, e^{i\theta} \int_C \mathrm{Tr}[(\omega^\mathbb{C} + F)^{m-1} B_1 B_2]_{\mathrm{sym}}$ および $\int_C \omega(v_1,v_2)\omega^m$ を用いて、前シンプレクティック形式 ${}_{B}\omega$ を定義する。
• 写像 $\mathrm{Map}(C,M) \times \mathcal{A}_C(E)$ 上でのゲージ群作用に対して、シンプレクティック減少を適用し、そのモーメント写像条件が変形されたヘリミート・ヤン・ミルズ方程式に対応することを示す。
• 実マングェ・アムペール方程式 $\det(\nabla^2 \phi) = 1$ を用いて、半平坦なSYZファイブレーションを構成し、インスタントン補正なしに鏡像対称性の幾何的構成を可能にする。
• K3表面のSYZ鏡像として、立方体四重多様体内の直線のファノ多様体としてラグランジュ部分多様体を構成する新手法を導入する。
• Calabi-Yau多様体とその一般化されたCalabi-Yau鏡像の幾何を比較し、K3上の2点のヒルベルトスキームと双有理的であるファノ多様体を示す。

実験結果

リサーチクエスチョン

• RQ1 特殊ラグランジュ部分多様体と変形されたヘリミート・ヤン・ミルズバンドルのモジュライ空間を通じて、鏡像対称性予想をどのように幾何的に実現できるか？
• RQ2 剛体Calabi-Yau多様体はSYZフレームワークにおいて果たす役割は何か？ また、それらの鏡像はどのように構成されるべきか？
• RQ3 B-サイクルとA-サイクルのモジュライ空間上の相関形式は、複素幾何とシンプレクティック幾何の双対性をどのように反映するか？
• RQ4 立方体四重多様体内の直線のファノ多様体は、SYZ構成を通じてK3表面の鏡像として機能できるか？
• RQ5 Calabi-Yau多様体とその一般化されたCalabi-Yau鏡像パートナーとの間の正確な幾何的関係は何か？

主な発見

• Calabi-Yau多様体上のB-サイクルのモジュライ空間は、自然な正則n形式 ${}_{B}\Omega = \int_C \mathrm{Tr}\, \mathbb{F}^m \wedge \mathrm{ev}^*\Omega$ を備え、これは鏡像対称性における相関関数として機能する。
• A-サイクルのモジュライ空間は、シンプレクティック幾何の鏡像を反映する前シンプレクティック形式 ${}_{A}\omega = \int_C \mathrm{Tr}(\mathrm{ev}^*\omega + \mathbb{F})^n$ を備える。
• K3表面に対して、鏡像は立方体四重多様体内の直線のファノ多様体として実現され、これはK3上の2点のヒルベルトスキームと双有理的であり、SYZを通じてハイパーカイラー鏡像を提供する。
• 変形されたヘリミート・ヤン・ミルズ方程式は、写像と接続の配置空間のシンプレクティック減少におけるモーメント写像条件として現れる。
• 方程式 $\det(\nabla^2 \phi) = 1$ の解を用いた半平坦なSYZ構成は、インスタントン補正なしに鏡像対称性の幾何的枠組みを提供する。
• 本論文は、特にK3表面とその立方体四重多様体鏡像の状況において、SYZファイブレーションの繊維としてラグランジュ部分多様体を構成する新手法を提示する。