[論文レビュー] Morse Homology, Tropical Geometry, and Homological Mirror Symmetry for Toric Varieties

Mohammed Abouzaid|arXiv (Cornell University)|Sep 29, 2006

Nonlinear Waves and Solitons参考文献 21被引用数 5

ひとこと要約

この論文は、トーリックFano多様体のホモロジカルミラー対称性の同値性を、Landau-Ginzburg鏡の中でのラグランジュ部分多様体のセクションの$A_\infty$カテゴリの構成により確立する。このカテゴリが元の多様体のコherent層の導来カテゴリと準同型であることを証明し、トロピカル幾何とモース理論を用いてラグランジュ部分多様体の交差をラインバンドルのČechコホモロジーと関連付ける。

ABSTRACT

Given a smooth projective toric variety X, we construct an A-infinity category of Lagrangians with boundary on a level set of the Landau-Ginzburg mirror of X. We prove that this category is quasi-equivalent to the DG category of line bundles on X. This establishes part of the Homological Mirror Conjecture for toric varieties.

研究の動機と目的

• 滑らかで射影的なトーリックFano多様体に対して、シンプレクティック幾何と代数幾何の間の関係を用いてホモロジカルミラー対称性（HMS）を確立すること。
• トーリック多様体のLandau-Ginzburg鏡におけるラグランジュセクションの$A_\infty$カテゴリを構成すること。
• このシンプレクティックカテゴリが、元のトーリック多様体上のコherent層の導来カテゴリと準同型であることを証明すること。
• トロピカル幾何とモース理論を用いて、ラグランジュ部分多様体の交差とラインバンドルのČechコホモロジーとの間の橋渡しをすること。
• セル分割と鏡の中での双対性を用いて、Fano多様体に対するHMS予想の幾何的実現を提供すること。

提案手法

• スーパーpotentialの等高線を用いて、Landau-Ginzburg鏡におけるラグランジュセクションの$A_\infty$カテゴリを構成すること。
• トロピカル幾何を用いて、ラグランジュ部分多様体を鏡空間内の多面体分割の双対としてモデル化すること。
• モース理論を用いて、境界を持つ多様体上のセルチェインを定義し、それを単体的コチェインと関連付けること。
• 鏡内の分割同士のセルの交差ペアリングを、$C^1$-近いセル分割を用いて定義すること。
• 高さ関数を備えたセルラルラグランジュセクションのカテゴリ$\operatorname{Cell}(\check{{\mathscr{P}}})$を導入し、交差の衝突を用いて積を定義すること。
• $\operatorname{Cell}(\check{{\mathscr{P}}})$から$\operatorname{Simp}({\mathscr{P}})$への忘却関手が準同型であることを証明し、HMS同値性を確立すること。

実験結果

リサーチクエスチョン

• RQ1 トーリックFano多様体のホモロジカルミラー対称性は、Landau-Ginzburg鏡におけるラグランジュセクションのシンプレクティックカテゴリによって実現可能か？
• RQ2 トロピカル幾何とモース理論をどのように組み合わせて、トーリック多様体上のコherent層の導来カテゴリをモデル化できるか？
• RQ3 鏡におけるセルチェインと、元の多様体上のラインバンドルのČechコホモロジーとの正確な関係は何か？
• RQ4 鏡内のセル分割が、導来カテゴリの構造を反映するwell-definedな交差ペアリングをもたらすための条件は何か？
• RQ5 トロピカルラグランジュセクションの$A_\infty$カテゴリは、トーリック多様体上のコherent層の導来カテゴリと準同型か？

主な発見

• 滑らかで射影的なトーリックFano多様体のLandau-Ginzburg鏡におけるラグランジュセクションの$A_\infty$カテゴリは、元の多様体のコherent層の導来カテゴリと準同型である。
• 2つのセル分割$\check{{\mathscr{P}}}_0$と$\check{{\mathscr{P}}}_1$が単体的配置にあるとき、それらの交差パターンは多面体分割の双対セル構造と一致する。
• 分割が$C^1$-近いとき、セルの交差$\check{\sigma}_0 \cap \check{\tau}_1$は双対セル$\check{\rho}_1$に$\delta$-近いので、位相的制御が保証される。
• $\check{{\mathscr{P}}}_0 \Cap \check{{\mathscr{P}}}_1$から$\check{{\mathscr{P}}}_1$への衝突写像$\operatorname{coll}_{{\mathscr{P}}_1}$は、セルカテゴリにおけるwell-definedな積を誘導する。
• $\operatorname{Cell}(\check{{\mathscr{P}}}) \to \operatorname{Simp}({\mathscr{P}})$への忘却関手は準同型であり、セルモデルが導来カテゴリの構造を完全に捉えていることを意味する。
• この構成により、KontsevichのFano多様体に対するHMS予想が実現され、鏡の導来フクヤカテゴリがトーリック多様体上のコherent層の導来カテゴリと一致することが示された。