[論文レビュー] Polytopes and Skeleta

David Treumann, Eric Zaslow|arXiv (Cornell University)|Sep 20, 2011

Algebraic structures and combinatorial models参考文献 13被引用数 4

ひとこと要約

この論文は、双対的で反射的である多面体対から、Kashiwara-Schapira理論を用いてdgカテゴリの層を備えたLegendrian空間 $\Lambda^\infty$ を構成する。著者らは、この層が大体積極限 $Z^\vee_\infty$ のFukayaカテゴリをモデル化すると予想し、Danilov-Khovanskiïb2011が計算したベッチ数と一致するホモロジー計算による計算的証拠を提示する。本研究は、トーリック超曲面における大複素構造極限におけるホモロジカルミラー対称性を支持する。

ABSTRACT

To each simplicial reflexive polytope in Z^(n+1), we attach an n-dimensional space, Lambda^\infty. It is the Legendrian boundary of a conic Lagrangian considered in work of the authors, Fang and Liu, and because of this it carries a sheaf of dg categories called the "Kashiwara-Schapira sheaf." We discuss some conjectures and results about the role that Lambda^\infty and the Kashiwara-Schapira sheaf should play in homological mirror symmetry.

研究の動機と目的

• 鏡像トーリック超曲面の大きな体積極限 $Z^\vee_\infty$ のラグランジュスケルトンとして機能しうる位相的空間 $\Lambda^\infty$ を定義すること。
• $\Lambda^\infty$ にKashiwara-Schapira理論を用いてdgカテゴリの層を備え、それが $Z^\vee_\infty$ のFukayaカテゴリをモデル化すると予想すること。
• DanilovとKhovanskiïb2011が計算した結果と一致するように、$\Lambda^\infty$ のホモロジーが $Z^\vee_\infty$ のベッチ数と一致することを計算的証拠で示すこと。
• トーリック超曲面に対して、大複素構造極限および大体積極限におけるKontsevichのホモロジカルミラー対称性予想を支持すること。
• 層の全体切断が $\mathrm{Perf}(Z^\infty)$ を回復することを保証する枠組みを確立すること。

提案手法

• 双対多面体 $\triangle^\vee$ から、コンactバンドルのコンパクトトーラスの余接バンドルの接触境界内にLegendrian部分多様体 $\Lambda^\infty$ を構成する。
• その特異ラグランジュ的構造を活用し、Kashiwara-Schapiraの層の道具立てを用いて $\Lambda^\infty$ にdgカテゴリの層を割り当てる。
• 多面体 $\triangle^\vee$ の頂点と辺から生成されるものとして、$\Lambda^\infty$ のホモロジーをモデル化するチェイン複体 $C_*$ を定義し、面の包含関係によって微分を符号化する。
• 面に付随する $G_F$-群間の写像の行列表現を用いて $C_*$ のホモロジーを計算し、Sageを用いてSmith標準形に還元する。
• 194個の facet-単体的3次元反射的多面体すべてに対して、Sageワークシートを用いて自動化し、面包含写像を符号化する行列を用いる。
• 得られたベッチ数をDanilov-Khovanskiïb2011の結果と比較して一致を確認する。

実験結果

リサーチクエスチョン

• RQ1 $\Lambda^\infty$ は、大体積極限におけるアフィン超曲面 $Z^\vee_\infty$ とホモトピー同値か？
• RQ2 Kashiwara-Schapiraの層が、$Z^\vee_\infty$ 上のコンパクトラグランジュブレーンのFukayaカテゴリをモデル化するか？
• RQ3 写像 $\Lambda^\infty \to \partial\triangle^\vee$ に対するLerayスペクトル系列は、$\mathbb{Q}$ 上で $E^2$ で退化するか、という予想は正しいか？
• RQ4 ホモロジーがアルゴリズム的に計算可能であり、$Z^\vee_\infty$ のベッチ数と一致するか？
• RQ5 層の全体切断が、ミラー対称性で期待されるように $\mathrm{Perf}(Z^\infty)$ に同値か？

主な発見

• チェイン複体 $C_*$ を用いた $\Lambda^\infty$ のホモロジー計算により、$H_0(\Lambda^\infty) \cong \mathbb{Q}$ および $H_1(\Lambda^\infty) \cong \mathbb{Q}^3 \oplus \mathbb{Q}^7$ が得られ、$Z^\vee_\infty$ のベッチ数と一致する。
• 標準単体 $\triangle^\vee = \mathrm{conv}\{v_1,v_2,v_3\}$ の場合、微分行列 $\partial: \mathbb{Q}^9 \to \mathbb{Q}^3$ のランクは2であり、$\dim H_0 = 1$ および $\dim H_1 = 10$ が得られ、$Z^\vee_\infty$ が9点を除いた楕円曲線であることに整合する。
• 194個の facet-単体的3次元反射的多面体すべてについて、計算されたベッチ数はDanilovとKhovanskiïb2011の結果と一致する。
• 写像 $\Lambda^\infty \to \partial\triangle^\vee$ に対するLerayスペクトル系列の $E^2$ ページは、$\mathbb{Q}$ 上で退化すると予想されており、$\Lambda^\infty$ と $Z^\vee_\infty$ のホモトピー同値性を支持する。
• Sageにおけるアルゴリズム的実装は、$G_F$-群間の写像のランクと核を正しく計算でき、$\mathbb{Z}$ 上でのホモロジーの自動検証を可能にする。
• dgカテゴリの層が $\Lambda^\infty$ 上に定義され、Fukayaカテゴリと同値であると予想されており、その全体切断は $\mathrm{Perf}(Z^\infty)$ を回復すると期待される。