[論文レビュー] Structure of Higher Genus Gromov-Witten Invariants of Quintic 3-folds

Shuai Guo, Felix Janda+1 more|arXiv (Cornell University)|Dec 31, 2018

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

ひとこと要約

本稿は、五次3次元超曲面の高 genus Gromov–Witten不変量に関する山口–楊の予想のうち最初の3つを証明する：階数有限生成性、オルビフォールド正則性、および正則性方程式。対数GLSMモジュライ空間と、削減済みおよび非削減済みの虚拟サイクルの比較公式を用いて、理論を $ R $-行列作用として表す組合せ的構造定理を導出し、これにより有限生成性が示され、微分関係を経て正則性方程式が得られる。

ABSTRACT

There is a set of remarkable physical predictions for the structure of BCOV's higher genus B-model of mirror quintic 3-folds which can be viewed as conjectures for the Gromov-Witten theory of quintic 3-folds. They are (i) Yamaguchi--Yau's finite generation, (ii) the holomorphic anomaly equation, (iii) the orbifold regularity and (iv) the conifold gap condition. Moreover, these properties are expected to be universal properties for all the Calabi-Yau 3-folds. This article is devoted to proving first three conjectures. The main geometric input to our proof is a log GLSM moduli space and the comparison formula between its reduced virtual cycle (reproducing Gromov--Witten invariants of quintic 3-folds) and its nonreduced virtual cycle. Our starting point is a Combinatorial Structural Theorem expressing the Gromov-Witten cohomological field theory as an action of a generalized $R$-matrix in the sense of Givental. An $R$-matrix computation implies a graded finite generation property. Our graded finite generation implies Yamaguchi-Yau's (nongraded) finite generation, as well as the orbifold regularity. By differentiating the Combinatorial Structural Theorem carefully, we derive the holomorphic anomaly equations. Our technique is purely A-model theoretic and does not assume any knowledge of B-model. Finally, above structural theorems hold for a family of theories (the extended quintic family) including the theory of quintic as a special case.

研究の動機と目的

• 山口–楊およびBCOVが予言した五次3次元超曲面の高 genus Gromov–Witten不変量の構造を証明すること。
• 形式的五次理論上の $ R $-行列作用を用いて、不変量の階数有限生成性およびオルビフォールド正則性を確立すること。
• 微分作用素を用いた $ R $-行列の組合せ的構造から、正則性方程式を導出すること。
• 対数GLSMモジュライ空間上の虚拟サイクルの比較を用いて、これらの結果を全五次3次元超曲面へ拡張すること。
• 拡張された五次族の構成を通じて、すべてのCalabi–Yau 3次元超曲面に対してこれらの構造が普遍的であることを示すこと。

提案手法

• 五次3次元超曲面への安定写像の虚拟サイクルを研究するため、対数GLSMモジュライ空間を構成する。
• 対数GLSM空間上での削減済みおよび非削減済みの虚拟サイクルの比較公式を用いて、実際のGromov–Witten不変量と関連付ける。
• コhomological Field Theoryを一般化された $ R $-行列の作用として表す組合せ的構造定理を導出する。
• $ R $-行列の計算を適用して、不変量の階数有限生成性を証明し、これにより山口–楊の有限生成性およびオルビフォールド正則性が従う。
• 構造定理を微分して、正則性方程式を導く微分方程式を導出する。
• Picard–Fuchs方程式および漸近展開を用いて、$ r_{k\alpha} $ の次数を評価し、$ R $-行列成分における多項式性と正則性を保証する。

実験結果

リサーチクエスチョン

• RQ1 五次3次元超曲面のGromov–Witten理論は、山口–楊の有限生成性予想を満たすか？
• RQ2 B-modelの入力を仮定せずに、A-model構造から高 genus不変量の正則性方程式を導出できるか？
• RQ3 生成関数 $ f_g $ のオルビフォールド正則性は、階数有限生成性の性質の結果であるか？
• RQ4 $ R $-行列形式を用いて、拡張された五次族全体の構造定理を証明できるか？
• RQ5 $ R $-行列展開における係数 $ r_{k\alpha} $ にどのような次数の上限があるか？また、Picard–Fuchs方程式とどのように関係するか？

主な発見

• 著者らは、$ R $-行列作用を用いて五次3次元超曲面のGromov–Witten不変量の階数有限生成性を証明し、これにより山口–楊の有限生成性およびオルビフォールド正則性が示された。
• 正則性方程式は、$ R $-行列構造から組合せ的構造定理を微分することで純粋に導出され、B-modelデータを仮定しない。
• $ R $-行列係数 $ r_{k\alpha} $ は、$ \deg_{L^m}(L_\alpha^k \cdot r_{k\alpha}) = k $ という次数の上限を満たし、Picard–Fuchs方程式を用いて $ m $ に関して多項式であることが示された。
• 結果は拡張された五次族に対して普遍的に成り立ち、全五次3次元超曲面は特別な場合として含まれ、すべてのCalabi–Yau 3次元超曲面に対する構造的予想が確認された。
• 対数GLSMモジュライ空間上での削減済みおよび非削減済みの虚拟サイクルの比較公式により、任意の genus におけるGromov–Witten不変量の計算が可能となった。
• $ R $-行列形式は、すべての genus $ g $ 生成関数を完全に記述するフレームワークを提供し、$ f_g $ は $ Z $ に関して次数 $ 3g-3 $ の多項式であり、コンタクトギャップ条件を満たす。