[論文レビュー] The Coherent-Constructible Correspondence and Homological Mirror Symmetry for Toric Varieties

Bohan Fang, Chiu-Chu Melissa Liu+2 more|arXiv (Cornell University)|Jan 27, 2009

Algebraic structures and combinatorial models参考文献 51被引用数 22

ひとこと要約

本稿は、モレリのK理論公式のカテゴリフィケーションを通じて、トーリック多様体上の等長的コherent ファンクター、実ベクトル空間の余接 bundle の Fukaya 圏、および多面体的分解上の可解的ファイバーの三重同値性を確立する。この同値性により、トーリック多様体におけるホモロジカルミラー対称性が証明され、T双対性および微小局所ファイバー理論を介して、コherent ファンクターの導来圏と Fukaya-Seidel 圏を結ぶコherent-constructible 対応が構成される。

ABSTRACT

This is an expository article describing recent results of the authors and David Nadler on microlocalization, the Fukaya category, and coherent sheaves on toric varieties. The original papers are arXiv:math/0604379, arXiv:math/0612399 and arXiv:0811.1228v1.

研究の動機と目的

• 微小局所幾何学を通じて、等長的コherent ファンクターと可解的ファイバーを結ぶことで、トーリック多様体におけるカテゴリカルミラー対称性の対応を確立すること。
• モース理論と微小局所化を用いて、実ベクトル空間の余接 bundle の Fukaya 圏がその空間上の可解的ファイバーの圏と同値であることを証明すること。
• Hori-Vafa のミラー構成を、導来的・カテゴリカルな枠組みへと拡張することにより、トーリック多様体上のコherent ファンクターの導来圏とミラー Landau-Ginzburg モデルの Fukaya-Seidel 圏との関係を明らかにすること。
• トーリック多様体の等長的K理論に対するモレリの公式の組合せ論的・K理論に適合するカテゴリフィケーションを提供すること。
• トーリックFano表面のコherent ファンクターの導来圏が、ミラーの Fukaya-Seidel 圏の部分圏と quasi-equivalent であり、明示的なオブジェクト対応が成立することを示すこと。

提案手法

• トーリック多様体上の実トーラス作用を双対化することで、T双対ミラー幾何を構成し、$(\mathbb{C}^*)^n$ のシンプレクティック幾何を $T^*\mathbb{R}^n$ に写像する。
• Fukaya-Ohの定理を用いて、$T^*\mathbb{R}^n$ の Fukaya 圏と $\mathbb{R}^n$ 上の可解的ファイバーの圏との関係を確立し、多面体に台を持つファイバーを扱う。
• コherent-constructible 対応を介して、トーリック多様体 $X_\Sigma$ 上の等長的コherent ファンクターから $M_\mathbb{R} = N_\mathbb{R}^\vee$ 上の可解的ファイバーへの関手を定義する。
• 微小局所ファイバー理論を適用し、特異的台と特徴的サイクルを、ミラーポリトープおよびファイバー情報の組合せ論と関連付ける。
• モーメント写像とシンプレクティック双対性を用いて、等長的ラインバンドルをT双対幾何におけるラグランジュ部分多様体に上げることで、ミラー関手を構成する。
• 具体的な例（ヒルツェブルト表面 $\mathbb{F}_m$）を用いてミラー対応を検証し、Fukaya-Seidel 圏における消滅サイクルが $D^b Coh(\mathbb{F}_m)$ 内の例外的集合に対応することを確認する。

実験結果

リサーチクエスチョン

• RQ1 コherent-constructible 対応を、トーリック多様体における完全なホモロジカルミラー対称性同値性へと拡張することは可能か？
• RQ2 トーリック多様体上の等長的導来圏とその Hori-Vafa ミラーの Fukaya-Seidel 圏との間の明確なカテゴリカル関係は何か？
• RQ3 T双対構成は、トーリック多様体上の等長的ラインバンドルをミラーの余接 bundle 内のラグランジュ部分多様体とどのように関連付けるか？
• RQ4 コherent-constructible 対応は、等長的K理論のモレリの組合せ論的公式のカテゴリフィケーションとして解釈可能か？
• RQ5 ミラー Landau-Ginzburg モデルにおけるスーパーポテンシャル $W_m$ の役割は何か？また、その臨界点は導来圏内の例外的オブジェクトとどのように対応するか？

主な発見

• 本稿は、コherent-constructible 対応を通じて、等長的導来圏 $D^b Coh_T(X_\Sigma)$、Fukaya 圏 $Fuk(T^*M_\mathbb{R}; \Lambda)$、可解的ファイバーの圏 $Sh_{cc}(M_\mathbb{R}; \Lambda)$ の三重同値性を確立する。
• ヒルツェブルト表面 $\mathbb{F}_m$ に対して、導来圏 $D^b Coh(\mathbb{F}_m)$ は、4つの消滅サイクル $L_0, L_1, L_2, L_3$ によって生成される部分圏 $D\mathcal{B}FS((\mathbb{C}^*)^2, W_m)$ と quasi-equivalent である。
• ミラー対応により、$L_0 \sim \mathcal{O}_{\mathbb{F}_1}$、$L_1 \sim \pi^*T_{\mathbb{P}^2}(-1)$、$L_2 \sim \pi^*\mathcal{O}_{\mathbb{P}^2}(1)$、$L_3 \sim \mathcal{O}_E$ と対応し、完全な強例外的集合が一致する。
• 任意の滑らかで射影的なトーリック多様体 $X$ に対して、ミラー $Y^\vee$ 内のスーパーポテンシャル $\mathfrak{PO}$ の臨界点の数は、$\dim_{\mathbb{Q}} H^*(X, \mathbb{Q})$ に一致し、臨界点数に関する予想を裏付ける。
• コherent-constructible 対応は、モレリの公式をカテゴリフィケーションする：$K^T(X_\Sigma)$ から $K_0(Sh_{cc})$ への関手は、組合せ論的K理論写像と一致する。
• $m > 2$ のとき、$D\mathcal{B}FS((\mathbb{C}^*)^2, W_m) \hookrightarrow DFS((\mathbb{C}^*)^2, W_m)$ は同値でないが、無限遠点に追加の臨界点が存在するため、有界部分圏が正しい導来圏を捉えている。