[論文レビュー] Local Mirror Symmetry: Calculations and Interpretations

Ti-Ming Chiang, Albrecht Klemm+2 more|arXiv (Cornell University)|Mar 5, 1999

Algebraic Geometry and Number Theory参考文献 16被引用数 19

ひとこと要約

本稿は、Aモデルの局所化技法とBモデルのピカール＝フクス微分方程式を組み合わせることで、局所ミラー対称性の厳密な数学的枠組みを確立し、固定点局所化によるGromov-Witten不変量と周期積分から導かれる不変量の間で正確な一致を示した。Fano表面における不変量の明示的な枚挙的解釈を、$c\mathcal{O}(5)→\mathbb{P}^4$、$c\mathcal{O}(3)→\mathbb{P}^2$、およびヒルツェブルフ面の標準バンドルを含む、Calabi-Yau三様のFano表面に対して提示し、仮想クラスと過剰交差公式による検証が行われた。

ABSTRACT

We describe local mirror symmetry from a mathematical point of view and make several A-model calculations using the mirror principle (localization). Our results agree with B-model computations from solutions of Picard-Fuchs differential equations constructed form the local geometry near a Fano surface within a Calabi-Yau manifold. We interpret the Gromov-Witten-type numbers from an enumerative point of view. We also describe the geometry of singular surfaces and show how the local invariants of singular surfaces agree with the smooth cases when they occur as complete intersections.

研究の動機と目的

• 文献において統一的な取り扱いが不足していた、局所ミラー対称性の包括的な数学的記述を提供すること。
• Fano表面の局所幾何における、局所化により計算されたAモデル不変量と、ピカール＝フクス方程式から導かれるBモデル不変量との直接的対応を確立すること。
• Gromov-Witten型不変量を、特にFano表面の除数族における有理曲線の数え上げという枚挙的幾何的視点から解釈すること。
• ミラー原理をトーリックFano表面に拡張し、特異的および完全交差ケースを含む既知の不変量と整合性を確認すること。
• 過剰交差理論による局所不変量が、コンパクトCalabi-Yauへの特殊化によって得られる不変量と一致することを示し、局所的アプローチの本質的性質を裏付けたこと。

提案手法

• トーリックFano幾何に特化したミラー原理と局所化技法を用い、トーリックFano表面への安定写像のモジュライ空間から直接Aモデル不変量を計算した。
• トーリック多様体における固定点局所化を用いて、低次の有理曲線の仮想オイラー次元およびGromov-Witten不変量を明示的に計算した。
• 非横断的交差を考慮するため、写像のモジュライ空間における過剰交差公式を用いて仮想基本クラスを構成した。
• 特にトーリック多様体上の標準ラインバンドルに対して、Fano表面の局所幾何から直接ピカール＝フクス微分方程式を導出した。
• 楕円的ファイバーの極限を用いて、トーリックFano幾何のWeierstrassコンパクト化に至り、コンパクトCalabi-Yau多様体への参照なしに内在的なBモデルデータを得た。
• 複数の例（$\mathcal{O}(3)\to\mathbb{P}^2$ および $K_{F_n}$ 幾何）において、AモデルとBモデルの結果を数値的不変量の比較により一貫性を確認した。

実験結果

リサーチクエスチョン

• RQ1 グローバルなミラーCalabi-Yau多様体に依存せずに、Aモデルの局所化技法を用いて局所ミラー対称性を一貫して定式化する方法は何か？
• RQ2 Fano表面の標準バンドルから計算されたGromov-Witten型不変量の枚挙的意味は何か？
• RQ3 局所極限においてAモデルとBモデルの不変量が一致するのはなぜか？この一致を保証する条件は何か？
• RQ4 特異的表面への退化において不変量はどのように振る舞い、滑らかな場合の結果に還元されるか？
• RQ5 非凸幾何における写像のモジュライ空間における非横断的交差を補正するために、過剰交差公式が果たす役割は何か？

主な発見

• $\mathcal{O}(5)\to\mathbb{P}^4$ に対して、Aモデル計算では $n_1 = 21$ を得ており、これは一般の1パラメータ族における有理曲線の数と一致する。
• $\mathcal{O}(3)\to\mathbb{P}^2$ に対して、不変量 $n_d$ は $d=1,2,3$ で $21, 21, 18$ の繰り返しパターンを示し、$n_1 = 21$ は $\mathbb{P}^2 \times \mathbb{P}^5$ 上の交差理論により検証された。
• $K_{F_0}$ の場合、$d_B = d_F = 1$ の不変量は $-2$ であり、$K_{\mathbb{P}^2}$ のそれと一致し、ブローモー等価性の確認が得られた。
• $K_{F_1}$ の場合、$d_B = d_F = 1$ の不変量はそれぞれ $1$ と $3$ であり、$d_B = d_F = 2$ の値は $K_{\mathbb{P}^2}$ のそれと一致しており、点でのブローモーの期待通りであった。
• $K_{F_2}$ のAモデル計算では、$d_B = d_F = 1$ に対して非整数値 $-1/2$ を得たが、非凸性のため信頼性が低いとされ、Bモデルの結果 $0$ が正しいとされた。
• $K_{F_2}$ の高次の度数においては、AモデルとBモデルの結果が再び一致し、非凸な基底上の低次の写像に限って不一致が生じることを示した。