[論文レビュー] Tropical coamoeba and torus-equivariant homological mirror symmetry for the projective space

Masahiro Futaki, Kazushi Ueda|arXiv (Cornell University)|Jan 27, 2010

Algebraic structures and combinatorial models参考文献 11被引用数 6

ひとこと要約

本稿は、射影空間 Pⁿ の鏡対称の Fukaya 圏を符号化する組合せ論的構造としてのトロピカル・コアモエーバを導入する。これは、実 n 次元トーラスを n+1 個の順序 n+1 のパーミュートヘドロンに分解することによって得られる。本稿は、Pⁿ に対してトーラスに不変なホモロジカル鏡対称性のバージョンを証明し、トロピカル・コアモエーバから得られる A∞-圏が、Pⁿ 上の T-不変一貫的層の導来圏と quasi-equivalent であることを示す。これにより、層の完全な例外的コレクションを介して、予想される同値性が確立される。

ABSTRACT

We introduce the notion of a tropical coamoeba which gives a combinatorial description of the Fukaya category of the mirror of a toric Fano stack. We show that the polyhedral decomposition of a real n-torus into (n + 1) permutohedra gives a tropical coamoeba for the mirror of the projective space, and prove a torus-equivariant version of homological mirror symmetry for the projective space. As a corollary, we obtain homological mirror symmetry for toric orbifolds of the projective space.

研究の動機と目的

• トーリック Fano スタック、特に射影空間 Pⁿ に対して、トーラスに不変なホモロジカル鏡対称性のバージョンを確立すること。
• Pⁿ の鏡対称の Fukaya 圏を記述するための組合せ論的ツールとして、トロピカル・コアモエーバを導入すること。
• トロピカル・コアモエーバに関連する A∞-圏の導来圏が、Pⁿ 上の T-不変一貫的層の導来圏と同値であることを証明すること。
• 同じ枠組みを用いて、Pⁿ のトーリックオビルドフォルダに一般化し、トーラスに不変なホモロジカル鏡対称性を証明すること。

提案手法

• 実 n 次元トーラス Tⁿ を n+1 個の順序 n+1 のパーミュートヘドロンに分解し、その facet と codimension 二の面に次数関数と符号関数を定義することで、トロピカル・コアモエーバを定義する。
• 次数関数と符号関数のデータを用いて、トロピカル・コアモエーバから A∞-圏 AG を構成し、それが鏡の Lefschetz 纏ひの普遍被覆の Fukaya 圏と quasi-equivalent であることを保証する。
• 対称群 Sn+1 がパーミュートヘドロンに作用することを用い、{1,…,n+1} の集合分割を介して facet と面の包含関係を定義する。
• トーラス T の特徴のテンソル積と関連付けることで、A∞-圏を不変設定に上げる。
• Pⁿ 上で (Ωⁿ(n)[n], …, O) のコレクションが完全な例外的コレクションをなすという結果を適用し、導来圏の同値性を示す。
• 得られた A∞-圏 AG が、Pⁿ 上の T-不変一貫的層の導来圏と quasi-equivalent であることを証明し、これにより主定理を確立する。

実験結果

リサーチクエスチョン

• RQ1 Pⁿ の鏡対称の Fukaya 圏は、実 n 次元トーラスの分解を用いて組合せ論的に記述可能か？
• RQ2 トロピカル・コアモエーバの構成は、A∞-圏と鏡の Lefschetz 纏ひの普遍被覆の Fukaya 圏との quasi-equivalence を与えるか？
• RQ3 トロピカル・コアモエーバから得られる A∞-圏の導来圏は、Pⁿ 上の T-不変一貫的層の導来圏と同値か？
• RQ4 この枠組みは、Pⁿ のトーリックオビルドフォルダに対して、トーラスに不変なホモロジカル鏡対称性を証明するために拡張可能か？

主な発見

• Pⁿ の鏡対称のためのトロピカル・コアモエーバは、実 n 次元トーラスを n+1 個の順序 n+1 のパーミュートヘドロンに分解することによって得られる。
• トロピカル・コアモエーバに関連する A∞-圏は、Lefschetz 纏ひの pull-back の Fukaya 圏と quasi-equivalent である。
• A∞-圏の導来圏は、Pⁿ 上の T-不変一貫的層の導来圏と同値であり、Pⁿ に対して予想 1.1 を証明する。
• 同値性は不変設定に持ち上がり、Pⁿ 及びそのトーリックオビルドフォルダに対して通常のホモロジカル鏡対称性を示唆する。
• facet 上の次数関数は、分割 B₁ ⊔ B₂ = {1,…,n+1} における部分集合 B₂ のサイズによって与えられ、符号関数は外積代数における符号によって定まる。
• 整数線形変換によるニュートン多面体の変形を用いて、この構成はトーリックオビルドフォルダに一般化され、より広いクラスのトーリック Fano スタックへ結果を拡張する。