[論文レビュー] A mirror theorem for genus two Gromov-Witten invariants of quintic threefolds

Shuai Guo, Felix Janda+1 more|arXiv (Cornell University)|Sep 21, 2017

Algebraic Geometry and Number Theory参考文献 33被引用数 30

ひとこと要約

本稿は、局所化およびねじれたGromov-Witten理論を用いて、生成関数の閉形式式を導出し、5次的3次元多様体の genus 2 ミラー対称性予想を証明する。著者らは、I関数から導かれる基本的および追加の生成子を用いて不変量を表現することで、BCOV予想を検証し、展開における明示的な有理関数表現と整数係数を確認することで、長年の予想を明確に裏付けた。

ABSTRACT

We derive a closed formula for the generating function of genus two Gromov-Witten invariants of quintic 3-folds and verify the corresponding mirror symmetry conjecture of Bershadsky, Cecotti, Ooguri and Vafa.

研究の動機と目的

• 5次的3次元多様体のBershadsky, Cecotti, Ooguri, Vafa (BCOV)によるgenus 2 ミラー対称性予想を証明すること。
• 5次的3次元多様体のgenus 2 Gromov-Witten不変量の生成関数に対する閉形式表現を導出すること。
• ねじれたGromov-Witten理論および局所化技術を用いて、数学的計算と物理学者が予想した式との等価性を確立すること。
• I関数から導かれる基本的および追加の生成子を用いた明示的公式を通じて、不変量の整数性および有理関数性を検証すること。

提案手法

• 著者らは、安定写像のモジュライ空間における等長的局所化を用いて、5次的3次元多様体のgenus 2 Gromov-Witten不変量を計算する。
• 彼らは $\mathbb{P}^4$ 上にねじれた理論を適用し、不変量をI関数およびその微分と関連付ける。
• この手法では、局所化グラフの寄与を、自明、1辺、2辺、3辺のグラフに分解し、それぞれを留数計算で計算する。
• 量子積関係およびI関数の恒等式を計算するための、$S$-行列、$\Psi$-行列、$R$-行列構造が重要な役割を果たす。
• 著者らは、基本的および追加の生成子における非同次多項式を用いて、各局所化グラフの寄与、特に $\Gamma^2_5$、$\Gamma^2_6$、$\Gamma^2_7$ の閉形式表現を導出する。
• 彼らは多項式 $\mathcal{E}$ および $L = (1 - 5^5 q)^{-1/5}$ における有理関数を導入し、展開における多項式性および整数性を保証する。

実験結果

リサーチクエスチョン

• RQ1 5次的3次元多様体のgenus 2 Gromov-Witten不変量の生成関数は、BCOV予想と一致するか？
• RQ2 局所化およびねじれたGromov-Witten理論を用いて、genus 2 不変量の閉形式式を導出できるか？
• RQ3 I関数から導かれる基本的および追加の生成子を用いた不変量の正確な代数的構造は何か？
• RQ4 自明、1辺、2辺、3辺の局所化グラフからの寄与は、どのように組み合わせて全genus 2 不変量を生成するか？
• RQ5 得られる式は、ミラー写像変数 $Q$ に関して有理的かつ整数的か？

主な発見

• 本稿は、基本的生成子 $\mathcal{X}_k$、$\mathcal{Y}_k$、$\mathcal{Z}_k$ および追加の生成子 $\mathcal{Z}_k$ を用いた、genus 2 Gromov-Witten生成関数 $F^{GW}_2(Q)$ の閉形式式を導出し、BCOV予想を確認した。
• $F^{GW}_2(Q)$ の主要項は $-\frac{5}{144} + \frac{575}{48}Q + \frac{5125}{2}Q^2 + \frac{7930375}{6}Q^3 + O(Q^4)$ であり、すべての係数が有理数で、定数項が負である。
• $\Gamma^2_5$、$\Gamma^2_6$、$\Gamma^2_7$ の局所化グラフからの寄与は、生成子における有理関数として表現され、$\mathcal{E}$ および $L$ を含む明示的な多項式表現が与えられた。
• 非同次多項式 $\mathcal{E}$ は、$\mathrm{Cont}'_{\Gamma^2_5}$、$\mathrm{Cont}'_{\Gamma^2_6}$、$\mathrm{Cont}'_{\Gamma^2_7}$ 展開における係数の整数性を保証し、$\frac{\mathcal{E}}{L^5 - 1}$ は $45q + 227400q^2 + \cdots$ と整数係数で展開される。
• $F^{GW}_2(Q)$ の式は、生成子およびその微分の構造が正確に一致することにより、物理学者の予想と等価であることが示された。
• 証明により、不変量の多項式性および有理関数性が確立され、コン pact Calabi–Yau 3次元多様体における高 genus ミラー対称性の長年の未解決問題が解決された。