[論文レビュー] Descendent Tropical Mirror Symmetry for $\mathbb{P}^2$

D. Peter Overholser|arXiv (Cornell University)|Apr 23, 2015

Nonlinear Waves and Solitons参考文献 16被引用数 4

ひとこと要約

この論文は、一般位置の点と追加構造 $\Xi_i$, $f$, $\Omega$ からの組み合わせ的データを用いて、Grossの鏡像対称性構成を精緻化することで、$\mathbb{P}^2$ の子孫的トロピカル Landau-Ginzburg ポテンシャルを導入する。このポテンシャルの周期積分は、Givental の $J$-関数と一致するトロピカル生成関数 $\mathbb{T}_{\text{trop}}$ を計算し、トロピカル子孫的 Gromov-Witten 不変量が、古典的対応物を正確に回復することを証明する。

ABSTRACT

We modify Gross's construction of mirror symmetry for $\mathbb{P}^2$ by introducing a descendent tropical Landau-Ginzburg potential. The period integrals of this potential compute a modification of Givental's J-function, explicitly encoding a larger sector of the big phase space. As a byproduct of this construction, new tropical methods for computing certain descendent Gromov-Witten invariants are defined.

研究の動機と目的

• Gross の $\mathbb{P}^2$ に対するトロピカル鏡像対称性を、組み合わせ的データから構成される精緻化されたトロピカル Landau-Ginzburg ポテンシャルを用いて、子孫的不変量を統合することで拡張すること。
• 従来の方法では不可能だった、より大きなフェーズ空間のセクターを記述できる組み合わせ的トロピカル枠組みを定義すること。
• 周期積分を通じて、トロピカル子孫的不変量と古典的 Givental $J$-関数との間の対応関係を確立すること。
• トロピカル生成関数 $\mathbb{T}_{\text{trop}}$ が古典的 $J$-関数 $\mathbb{J}$ と等しいことを証明し、トロピカル不変量が正しい数え上げ不変量であることを裏付けること。
• 標準的なトロピカル幾何学では到達できない、$\mathbb{P}^2$ の子孫的 Gromov-Witten 不変量を計算するための新しいトロピカル手法を提供すること。

提案手法

• 一般位置の点と追加構造 $\Xi_i$, $f$, $\Omega$ からの組み合わせ的データを用いて、子孫的トロピカル Landau-Ginzburg ポテンシャルを構成する。
• 子孫的トロピカルディスクの和として定義されるトロピカル曲線を導入し、[kan] や [M+R] の先行研究を一般化する。挿入条件は、量子コホモロジー類 $T_{i,trop}$ を模倣する。
• ポテンシャルの周期積分を計算し、子孫的不変量 $\langle \psi^\nu T_{i,trop}, T_{0,trop}^k, \psi^{r_1}T_{2,trop}, \dots \rangle^{\text{trop}}_{0,d}$ を含むトロピカル $J$-関数 $\mathbb{T}_{\text{trop}}$ を生成する。
• 鏡写し写像を用いて、Bモデルのフレット・フォロスマン多様体座標とAモデルの量子コホモロジーを関連づけ、平坦座標がトロピカル曲線によって生成されることを示す。
• Gromov-Witten 理論の公理と次数の整合性を用いて、$\mathbb{T}_{\text{trop}}$ と古典的 $J$-関数 $\mathbb{J}$ を比較する。微分作用素 $\operatorname{diff}$ を用い、次数ごとの解析を実施する。
• 次数に関する帰納法を用いて $\mathbb{T}_{\text{trop}} = \mathbb{J}$ を証明し、$\psi$-類の正の指数を持つ例外的ケースを含め、すべての次数で一致することを示す。

実験結果

リサーチクエスチョン

• RQ1 一般位置の点と追加構造 $\Xi_i$, $f$, $\Omega$ を用いた、$\mathbb{P}^2$ の大フェーズ空間における子孫的不変量を符号化できるように、Landau-Ginzburg ポテンシャルのトロピカル構成を精緻化できるか？
• RQ2 この精緻化されたトロピカルポテンシャルの周期積分が、Givental の $J$-関数と一致する生成関数を計算するか？
• RQ3 この手法によって定義されるトロピカル子孫的不変量は、それらの古典的 Gromov-Witten 対応物と等価か？
• RQ4 鏡像対称性フレームワークは、標準的なコホモロジー挿入を超えて $\psi$-類を含む挿入を扱えるように拡張可能か？
• RQ5 $\operatorname{gr}$ の次数は、$J$-関数の項を整理し、トロピカル不変量と古典的不変量の整合性を保証するために果たす役割は何か？

主な発見

• 周期積分によって定義されるトロピカル子孫的不変量は、古典的 Gromov-Witten 不変量と正確に一致する。
• トロピカル曲線から計算される生成関数 $\mathbb{T}_{\text{trop}}$ は、微分作用素 $\operatorname{diff}$ を用いた次数ごとの比較により、古典的 $J$-関数 $\mathbb{J}$ と等しいことが証明された。
• この構成により、従来のトロピカル曲線数え上げでは到達できなかった、$\mathbb{P}^2$ の子孫的 Gromov-Witten 不変量を計算するための新しいトロピカル手法が得られた。
• Bモデルのフレット・フォロスマン多様体上の平坦座標は、タイプ $\langle T_{i,trop}, T_{0,trop}^k, \psi^{r_1}T_{2,trop}, \dots \rangle^{\text{trop}}_{0,d}$ のトロピカル曲線によって生成され、それらの数え上げ的意義が確認された。
• $J$-関数における次数 $\operatorname{gr}$ により、項の体系的な比較が可能となり、$\mathbb{T}$ と $\mathbb{J}$ の $n$ 次部分が帰納的に一致することが示された。
• $\hbar$ のべきに記録されない非自明な $\psi$-類を含む例外的次数は、かつて問題視されていたが、Gross の先行結果により解決され、$\mathbb{T} = \mathbb{J}$ の証明が完全に完了した。