[論文レビュー] Castelnuovo bound and higher genus Gromov-Witten invariants of quintic 3-folds

Zhiyu Liu, Yongbin Ruan|arXiv (Cornell University)|Oct 24, 2022

Commutative Algebra and Its Applications被引用数 4

ひとこと要約

この論文は、5次3次元超曲面のGopakumar–Vafa不変量に対するCastelnuovoの境界予想を証明し、$ g > \frac{d^2 + 5d + 10}{10} $ の場合にそれらが消えることを示している。以前に確立されたBCOV公理（有限生成性、正則異常方程式、軌道的正則性、およびコンパクト化ギャップ条件）と組み合わせることで、Gromov–Witten不変量を genus 53 まで完全に計算可能となる。

ABSTRACT

We prove a conjectural vanishing result for Gopakumar--Vafa invariants of quintic 3-folds, referred to as Castelnuovo bound in the literature. Furthermore, we calculate Gopakumar--Vafa invariants at Castelnuovo bound $g=\frac{d^2+5d+10}{10}$. As physicists showed, these two properties allow us to compute all Gromov--Witten invariants of quintic 3-folds up to genus $53$, provided that the conifold gap condition holds. We also give a bound for the genus of any one-dimensional closed subscheme in a smooth hypersurface of degree $\leq 5$, which may be of independent interest.

研究の動機と目的

• 5次3次元超曲面のGopakumar–Vafa不変量に対するCastelnuovo境界予想を証明すること。これは、高 genus において不変量が消えることを予測する。
• $ d = 5m $、$ m \geq 2 $ の場合に、臨界 genus $ g = \frac{d^2 + 5d + 10}{10} $ における非消える不変量の計算を通じて、境界の鋭さを確立すること。
• コンパクト化ギャップ条件が成り立つものと仮定して、5次3次元超曲面のすべての高genus Gromov–Witten不変量を genus 53 まで数学的に完全に構築すること。
• 次数 $ \leq 5 $ の滑らかな超曲面内の1次元閉部分スキームの最大 genus に対する境界を提示すること。これは独立した幾何的価値を有する可能性がある。

提案手法

• 安定性条件とウォールクロッシング技術を用いて、Gopakumar–Vafa不変量 $ n_g^d $ が $ g > \frac{d^2 + 5d + 10}{10} $ の場合に消えることを証明する。
• Gopakumar–Vafaの公式を用いて、GW不変量 $ N_{g,d} $ をGV不変量 $ n_g^d $ に結びつけ、低genusのデータを再帰的に用いて計算可能にする。
• BCOV公理（有限生成性、正則異常方程式、軌道的正則性、コンパクト化ギャップ条件）をgenusごとに帰納的に適用する。
• Castelnuovo境界を用いて、正則異常方程式における初期条件を固定し、未知数の数を有限に制限する。
• 逆ミラー写像と $ q $-座標における展開を用いて、$ Y $-乗数に関する制約を $ q $ に関する多項方程式に変換し、線形代数により解ける形に変形する。
• 臨界genus $ d = 20 $ における $ n_{51}^{20} = 175 $ の計算を通じて、境界の鋭さを検証する。これは、$ g = 51 $ において非消えることを示しており、境界が達成される最高のgenusである。

実験結果

リサーチクエスチョン

• RQ1 5次3次元超曲面のGopakumar–Vafa不変量に対してCastelnuovo境界が成り立つか、すなわち $ g > \frac{d^2 + 5d + 10}{10} $ の場合に不変量が消えるか？
• RQ2 Castelnuovo境界を用いて、BCOV正則異常方程式における初期条件を多数固定でき、Gromov–Witten不変量を genus 53 まで完全に計算可能になるか？
• RQ3 Castelnuovo境界は鋭いか？特に、$ d \in 5\mathbb{Z} $、$ d \geq 10 $ の場合に $ n_g^d \neq 0 $ となるか、$ g = \frac{d^2 + 5d + 10}{10} $ で成立するか？
• RQ4 次数 $ \leq 5 $ の滑らかな超曲面内の任意の1次元閉部分スキームの最大 genus は何か？
• RQ5 BCOV公理とCastelnuovo境界の組み合わせにより、$ g \leq 53 $ のすべての genus $ g $ におけるGromov–Witten生成関数 $ F_g(t) $ が完全に決定可能か？

主な発見

• Castelnuovo境界が成立する：すべての $ g > \frac{d^2 + 5d + 10}{10} $ に対して $ n_g^d = 0 $ であり、Gopakumar–Vafa不変量の消える予想が証明された。
• $ d = 5m $、$ m \geq 2 $ の場合、不変量 $ n_{\frac{d^2 + 5d + 10}{10}}^d = (-1)^{\binom{m+3}{3} - \binom{m-2}{3}} $ であり、境界が鋭いことを示している。
• 不変量 $ n_{51}^{20} = 175 $ であり、$ d = 20 $ の臨界genus $ g = 51 $ で非消えることが確認され、境界が達成される最大のgenusである。
• $ g \leq 53 $、$ g \neq 51 $ の場合、すべての $ d \leq \lfloor \frac{2g - 2}{5} \rfloor $ に対して $ n_g^d = 0 $ である。これはBCOV再帰における未知数の数を著しく削減する。
• コンパクト化ギャップ条件が成り立つ場合、BCOV公理とCastelnuovo境界を組み合わせることで、すべての $ g \leq 53 $ に対して $ F_g(t) $ を効果的に計算可能となり、Klemmの物理的予想の数学的導出を完全に完了した。
• 次数 $ \leq 5 $ の滑らかな超曲面内の1次元閉部分スキームに対して、$ \frac{d^2 + 5d + 10}{10} $ の genus に対する境界が確立された。これは独立した幾何的価値を有する可能性がある。