[論文レビュー] The geometry of mirror symmetry

Richard Thomas|ArXiv.org|Dec 17, 2005

Geometric and Algebraic Topology参考文献 5被引用数 9

ひとこと要約

この論文は、量子コhomology、ホッジ構造の変化、モノドロミー分類を用いて、Calabi-Yau 3-fold における鏡映性の幾何的枠組みを提供する。その中心的貢献は、鏡映性が最も明確に現れる幾何的局所点としての大きな複素構造極限点（LCLP）の同定であり、Gromov-Witten 不変量とピカード＝フック方程式を通じて周期が結びつけられる。

ABSTRACT

We give a brief survey of some of the geometry of mirror symmetry, written in 2004 for the "Encyclopaedia of Mathematical Physics". Probably a little bit out of date now in a few places, but hey.

研究の動機と目的

• 物理的直感を越えて、Calabi-Yau 3-fold における鏡映性の幾何的根拠を明確化すること。
• 大きな複素構造極限点（LCLP）を介して、一方の多様体における量子コhomology とその鏡多様体における周期の間の厳密な対応を確立すること。
• 鏡映性の文脈において、量子コhomology、ホッジ構造の変化（VHS）、モノドロミー分類の数学的構造を統一すること。
• グリーン＝プリッサーの鏡予想およびギヴァンタル＝リアン＝リウ＝ヨウによる5次曲線数の証明の幾何的解釈を提供すること。
• LCLP を、鏡写像が周期比とモノドロミー作用を通じて明示的になる、モジュリ空間における標準的点として定義すること。

提案手法

• 論文は、Calabi-Yau 3-fold X の複素化されたカーラー錐を A-モデルのモジュリ空間として用い、カーラー形式 ω と B-場 B を導入し、ホッジダイアモンドの双対性によりその鏡多様体を同定する。
• ボゴモロフ＝ティアン＝トドロフの定理を適用し、鏡多様体における複素構造の変形が非遮断的であることを示し、滑らかなモジュリ空間を保証する。
• X における量子コhomology は、ホロモーフィックな有理曲線 β からの寄与を、e^{∫β ω} で重みづけたものとして計算され、A-モデルの相関関数を形成する。
• B-モデルの相関関数は、正則3形式 Ω の周期を用い、サイクルおよびその微分の積分によって計算される。
• 大きな複素構造極限点（LCLP）は、鏡多様体のモジュリ空間における正則交差除集合を介して定義され、各成分まわりのモノドロミー作用 T_i を持つ。
• コホモロジー上のモノドロミー重み分類 W• は、冪零作用素 N = log T* を用いて構成され、ラグランジュアン・トーラスファイブレーションからのレラーフィルトレーションと一致することが示される。

実験結果

リサーチクエスチョン

• RQ1 鏡映性は、X のカーラー構造モジュリとその鏡 ̌X の複素構造モジュリの間の双対性として、どのように幾何学的に理解できるか？
• RQ2 大きな複素構造極限点（LCLP）は、量子コhomology と周期の対応において果たす役割は何か？
• RQ3 モノドロミー作用と関連する重み分類は、鏡映性におけるラグランジュアン・トーラスファイブレーションの幾何にどのように関係するか？
• RQ4 周期比 ∫γi Ω / ∫γ0 Ω が、楕円曲線における j-不変量に類似した鏡多様体のモジュリ空間上の座標をどのように定めるか？
• RQ5 すべてのモノドロミー作用素 T_i に対して γ0 が不変であるという要請と LCLP を用いて、鏡写像を厳密に定義できるか？

主な発見

• ホッジダイアモンドの双対性 h^{1,1}(X) = h^{2,1}(̌X) および h^{2,1}(X) = h^{1,1}(̌X) が、鏡映性の基礎的予測として確立される。
• 5次3-fold における量子コhomology は、ホロモーフィックな有理曲線からの寄与を用いて計算され、B-モデルの周期と一致することで、次数5の有理曲線が317,206,375本存在すると予測され、後にギヴァンタルおよびリアン＝リウ＝ヨウによって証明された。
• H^3(X, ℂ) 上のモノドロミー重み分類 W• は、ラグランジュアン・トーラスファイブレーションからのレラーフィルトレーションと一致し、分類の幾何的解釈が得られる。
• 座標 q = exp(2πi ∫γ1 Ω / ∫γ0 Ω) はモノドロミーに対して不変であり、A-モデル側のカーラー座標 ∫_line ω の鏡として機能する。
• LCLP は、すべてのモノドロミー作用素 T_i に対して不変な一意な整数サイクル γ0 によって特徴づけられ、log T_i(γ_j) = δ_ij γ_0 および τ_i = ∫γi Ω / ∫γ0 Ω = (1/2πi) log z_i を満たし、z_i は鏡多様体のモジュリ空間上の局所座標となる。
• W_2 = W_3 に対して、γ_0 が W_0 = W_1 を張るような整数基底 (γ_0, ..., γ_s) の存在により、LCLP における鏡写像の整数性が保証される。