[論文レビュー] Lagrangian Floer theory on compact toric manifolds: survey

Kenji Fukaya, Yong‐Geun Oh+2 more|arXiv (Cornell University)|Nov 17, 2010

Geometric and Algebraic Topology参考文献 47被引用数 15

ひとこと要約

このサーベイ論文は、コンパクトなトーリック多様体における $T^n$-軌道のラグランジュ・フロアー上同調群と、ポテンシャル関数 $\mathfrak{PO}$ のジャコビアン環との間に深い関係を確立し、非自明なフロアー上同調群の数が多様体のベッチ数に一致することを証明している。ビッグ量子上同調群とジャコビアン環の間に同型を構成し、Saitoのフォーブリウス多様体理論と留数ペアリングを用いて、トーリックAモデルとランドー＝ギンツブルグBモデルの間のミラー対称性を実現している。

ABSTRACT

This article is a survey of a series of papers [FOOO3,FOOO4,FOOO5] in which we developed the method of calculation of Floer cohomology of Lagrangian torus orbits in compact toric manifolds, and its applications to symplectic topology and to mirror symmetry. In this article we summarize the main ingredients of calculation and illustrate them by examples. The second half of the survey is devoted to discussion of the most recent result from [FOOO5] (arXiv:1009.1648) where the mirror symmetry between the two Frobenius manifolds arising from the big quantum cohomology and from the K. Saito theory of singularities was established.

研究の動機と目的

• $\mathcal{F}^{\text{Fuk}}$-理論の技術を用いて、コンパクトなトーリック多様体における $T^n$-軌道のラグランジュ・フロアー上同調群を体系的に計算すること。
• ビッグ量子上同調群 $QH(X;\Lambda_0)$ とポテンシャル関数 $\mathfrak{PO}$ のジャコビアン環 $\text{Jac}(\mathfrak{PO})$ の間の環同型を確立し、シンプレクティック位相幾何学と特異点理論を結びつけること。
• 非可動ラグランジュ部分多様体 $L(\mathbf{u})$ が $\mathfrak{PO}$ の臨界点と一対一に対応し、半単純量子上同調群の直和成分とも一致することを示すこと。
• ビッグ量子上同調群上のポアンカーレ双対性ペアリングが、$\mathfrak{ks}_{\mathfrak{b}}$ マップによって誘導される同型を通じて、ジャコビアン環上の留数ペアリングと一致することを示すこと。
• $\mathbb{C}P^2$ のブロー・アップやヒルツェブルク面を含む具体的な例を通じて、このミラー対称性同型を検証し、ヘッシアン行列式と留数計算により対応関係を確認すること。

提案手法

• フロアー理論と量子上同調群における係数を形式化するために、ユニバーサル・ノヴィコフ環 $\Lambda_0$ 及びその拡張 $\Lambda$ と $\Lambda_+$ を用いる。
• $T^n$-軌道上に境界を持つ擬全純ディスクの理論を適用し、ホロモーフィック・ディスクからの量子補正を符号化するポテンシャル関数 $\mathfrak{PO}^\mathfrak{b}$ を定義する。
• フロアー上同調群におけるバッチ変形を用いて、$QH(X;\Lambda_0)$ と $\text{Jac}(\mathfrak{PO}^\mathfrak{b})$ の間の同型をビッグ量子上同調群の設定に一般化する。
• 量子上同調群からジャコビアン環への $\mathfrak{ks}_{\mathfrak{b}}$ 同型を構成し、明示的な代数的および幾何的議論によりそれが同型であることを証明する。
• Saitoの孤立的超曲面特異点理論を用いて、$\text{Jac}(\mathfrak{PO}^\mathfrak{b})$ 上の留数ペアリングを定義し、それが $QH(X;\Lambda_0)$ 上のポアンカーレ双対性ペアリングと一致することを示す。
• $F_2(\alpha)$ や $\mathbb{C}P^2$ のモノトーン・ブロー・アップなどの具体例に対して、ヘッシアン行列式と留数の和を計算することで、同型と双対性を検証する。

実験結果

リサーチクエスチョン

• RQ1 コンパクトなトーリック多様体における $T^n$-軌道のフロアー上同調群は、ポテンシャル関数 $\mathfrak{PO}$ の臨界点とどのように関係しているか？
• RQ2 トーリック多様体のビッグ量子上同調群は、そのポテンシャル関数 $\mathfrak{PO}^\mathfrak{b}$ のジャコビアン環と同型であるか？また、この同型はフォーブリウス多様体構造を保存するか？
• RQ3 この同型の下で、量子上同調群上のポアンカーレ双対性ペアリングは、ジャコビアン環上の留数ペアリングと一致するか？
• RQ4 非可動ラグランジュ部分多様体 $L(\mathbf{u})$ は、半単純量子上同調群の分解からどのように生じるか？また、Entov-Polterovichの準状態とどのように関係するか？
• RQ5 $F_2(\alpha)$ や $\mathbb{C}P^2$ のモノトーン・ブロー・アップといった具体的な例において、量子上同調群とジャコビアン環の間の同型を明示的に検証できるか？

主な発見

• 非自明なフロアー上同調群を持つペア $(L(\mathbf{u}), b)$ の数は、トーリック多様体 $X$ のベッチ数に一致し、それぞれがポテンシャル関数 $\mathfrak{PO}$ の臨界点に対応する。
• 環同型 $QH(X;\Lambda_0) \cong \text{Jac}(\mathfrak{PO})$ が成り立ち、$QH(X;\Lambda)$ が半単純であるとき、各直和成分は $\mathfrak{PO}$ の臨界点に対応する。
• 同型 $\mathfrak{ks}_{\mathfrak{b}}: QH(X;\Lambda_0) \to \text{Jac}(\mathfrak{PO}^\mathfrak{b})$ は環同型であり、左辺のポアンカーレ双対性ペアリングと右辺の留数ペアリングを整合させる。
• ヒルツェブルク面 $F_2(\alpha)$ において、4つの臨界点におけるヘッシアン行列式は $4T, 4T, -4T, -4T$ であり、非退化性が確認され、量子上同調群構造と一致する。
• $\mathbb{C}P^2$ のモノトーン・ブロー・アップにおいて、$T^{-2/3} \sum_{i=1}^4 \frac{z_i}{4 - z_i^3} = 0$ が検証され、Corollary 12.21 と留数ペアリングの恒等式が確認された。
• ビッグ量子上同調群（Dubrovin）上のフォーブリウス多様体構造と、$\text{Jac}(\mathfrak{PO}^\mathfrak{b})$ 上のSaitoのフォーブリウス構造が一致し、トーリックAモデルとランドー＝ギンツブルグBモデルの間のミラー対称性が実現された。