[論文レビュー] Mixed-Spin-P fields of Fermat quintic polynomials

Huai-Liang Chang, Jun Li+2 more|arXiv (Cornell University)|May 28, 2015

Algebraic Geometry and Number Theory参考文献 18被引用数 32

ひとこと要約

本稿はフェルマー5次多項式に対するミックススピンP（MSP）場を導入し、それらのモジュライ空間を分離されたデリーニュ＝ムーディー スタックとして構成し、局所化された仮想サイクルを定義するための同型的障害理論と同型的コセクションを確立する。主な貢献は、ランダウ＝ジンブルグ模型のFJRW不変量とカルラビ＝ヤウ5次3次元多様体のグロモフ＝ウィッテン不変量を統一する幾何的枠組みを提供することであり、仮想局所化とウォールクロスイン・トランジションを用いて全種数不変量を効果的に計算するためのアルゴリズムを可能にする。

ABSTRACT

This is the first part of the project toward an effective algorithm to evaluate all genus Gromov-Witten invariants of quintic Calabi-Yau threefolds. In this paper, we introduce the notion of Mixed-Spin-P fields, construct their moduli spaces, and construct the virtual cycles of these moduli spaces.

研究の動機と目的

• ランダウ＝ジンブルグ模型のFJRW不変量と5次カルラビ＝ヤウ3次元多様体のグロモフ＝ウィッテン不変量を結ぶ統一的枠組みを構築すること。
• フェルマー5次多項式に対する安定なミックススピンP場のモジュライ空間を構成すること。
• $\mathbb{G}_m$-作用のもとでコセクションを用いた局所化により仮想サイクルを定義し、不変量の効果的計算を可能にすること。
• FJRW不変量を用いて全種数のグロモフ＝ウィッテン不変量を計算するアルゴリズムの基盤を構築すること。

提案手法

• 5次多項式のフェルマー型に適した、線分束 $\mathscr{L}$ と $\mathscr{N}$ を持つねじれ曲線上の3つの場 $\varphi$, $\rho$, $\nu$ としてミックススピンP場を導入し、LG理論とGW理論の両方の情報を符号化する。
• $\mathcal{W}_{g,\gamma,\mathbf{d}}$ を、種数 $g$、モノドロミー $\gamma$、二重次数 $\mathbf{d} = (d_0, d_\infty)$ を持つ安定MSP場のモジュライスタックとして定義する。
• $\mathcal{W}_{g,\gamma,\mathbf{d}}$ 上に相対的完全障害理論を構成し、仮想次元が $\delta(g,\emptyset,\mathbf{d}) = d_0 + d_\infty - g + 1$ となることを示す。
• $T = \mathbb{G}_m$-作用を導入し、5次超ポテンシャル $\mathfrak{w}_5 = \sum x_i^5$ を用いて障害層へのコセクション $\sigma$ を定義する。
• $\sigma$ の零点としての退化局所 $\mathcal{W}_{g,\gamma,\mathbf{d}}^{-}$ を定義する。これは閉部分stackであり、コンパクトかつ有限型である。
• 文献[KL]のコセクション局所化を適用し、$T$--equivariant 仮想サイクル $[\mathcal{W}_{g,\gamma,\mathbf{d}}]^{\mathrm{vir}}_{\mathrm{loc}} \in A^T_*({\mathcal{W}_{g,\gamma,\mathbf{d}}^{-}})^T$ を得る。

実験結果

リサーチクエスチョン

• RQ1 ランダウ＝ジンブルグ模型 $[\mathbb{C}^5/\boldsymbol{\mu}_5]$ のFJRW不変量と5次カルラビ＝ヤウ3次元多様体のグロモフ＝ウィッテン不変量を結ぶ幾何的ブリッジをどのように構築できるか？
• RQ2 フェルマー5次多項式に対する安定MSP場のモジュライ空間の構造は何か？
• RQ3 超ポテンシャルからのコセクションと $\mathbb{G}_m$-作用を用いて、このモジュライ空間上に局所化された仮想サイクルを定義できるか？
• RQ4 コセクションの退化局所は、モジュライ空間の安定性および有限性とどのように関係するか？
• RQ5 この枠組みは、5次3次元多様体の全種数グロモフ＝ウィッテン不変量を再帰的に計算するためのアルゴリズムを導くことができるか？

主な発見

• $\mathcal{W}_{g,\gamma,\mathbf{d}}$ は分離されたデリーニュ＝ムーディー スタックであり、局所的に有限型であり、完全な相対的障害理論を有する。
• 自明なモノドロミーをもつ $\mathcal{W}_{g,\gamma,\mathbf{d}}$ の仮想次元は $\delta(g,\emptyset,\mathbf{d}) = d_0 + d_\infty - g + 1$ である。
• フェルマー5次超ポテンシャル $\mathfrak{w}_5 = \sum x_i^5$ を用いて障害層へのコセクション $\sigma$ が適切に定義され、その退化局所 $\mathcal{W}_{g,\gamma,\mathbf{d}}^{-}$ は閉、コンパクトかつ有限型である。
• $T = \mathbb{G}_m$-作用は障害理論およびコセクションと整合し、等変局所化を可能にする。
• $\xi \in \mathcal{W}_{g,\gamma,\mathbf{d}}^{-}(\mathbb{C})$ のための装飾付き双対グラフ $\Upsilon_{\xi}$ の集合は有限であるため、モジュライ空間の有界性が保証される。
• $\mathcal{W}_{g,\gamma,\mathbf{d}}^{-}(\mathbb{C})$ の集合は有界であるため、仮想サイクルは局所化を用いて適切に定義され、計算可能である。