[論文レビュー] Genus one GW invariants of quintic threefolds via MSP localization

Huai-Liang Chang, Shuai Guo+2 more|arXiv (Cornell University)|Nov 28, 2017

Algebraic Geometry and Number Theory参考文献 21被引用数 5

ひとこと要約

この論文は、混合スピンP場（MSP）と同等化局在化を用いて、5次的三つ組のジャンル1のグロモフ＝ミラー・ウィッテン不変量を計算し、ザイガーのアプローチを拡張する。詳細な安定写像のモジュライ空間解析の代わりにFJRW不変量を用いる。新しい超幾何的恒等式を導出し、I関数の間の微分多項式関係を確立することで、MSP局在化を用いた高世代不変量の体系的アルゴリズムを可能にする。

ABSTRACT

The moduli stack of Mixed Spin P-fields (MSP) provides an effective algorithm to evaluate all genus Gromov-Witten invariants of quintic Calabi-Yau threefolds. This paper is to apply the algorithm in genus one case. We use the localization formula, the proposed algorithm in [CLLL1, CLLL2], and Zinger's packaging technique to compute the genus one Gromov-Witten invariants of quintic Calabi-Yau threefolds. New hypergeometric series identities are also discovered in the process.

研究の動機と目的

• 5次的カラビ＝ヤウ三つ組のジャンル1のグロモフ＝ウィッテン不変量をMSPフレームワークを用いて計算すること。
• 安定写像のモジュライ空間の複雑な解析をMSP理論によるFJRW不変量に置き換えること。
• MSP局在化を用いて高世代GW不変量の体系的アルゴリズムを開発すること。
• ループ型（B）グラフの文脈で、新しい超幾何的級数恒等式を発見すること。
• I関数形式論を用いたパッケージング技術により、MSP局在化アプローチがジンガーのジャンル1不変量と整合することを検証すること。

提案手法

• 仮想次元 $ d_0 + d_\nu - g + 1 $ を持つ混合スピンP場（MSP）のモジュライスタックに同等化局在化を適用する。
• I関数およびその微分を含む積分を簡略化するために、ジンガーのパッケージング技術を用いる。
• $ \beta $-依存性を扱うために、$ \beta $-ねじれ微分作用素 $ \tilde{D}_i $ と $ \tilde{D}_j $ を用いる。
• 局在化恒等式 $ \int [\mathcal{W}_{1,(0,n)}^{\text{vir}}] \mathfrak{t} \cdot c_{\text{top}-1}(R\pi_*\mathcal{L}_\mathcal{W} \otimes \mathcal{N}_\mathcal{W}) = 0 $ から生成子 $ A, B, C $ に関する微分多項式恒等式を導出する。
• 部分積分を実行し、命題C.1およびC.3を適用して、積分を $ I_0, I_1, I_2, I_3 $ 及びその微分の式に還元する。
• $ \mathbb{C}^* $-作用を用いてグラフをA〜D型に分類し、A型はジャンル1のGW不変量に寄与し、D型はFJRW不変量に寄与する。

実験結果

リサーチクエスチョン

• RQ1 MSP局在化フレームワークは、詳細なモジュライ空間解析を回避して、5次的三つ組のジャンル1のグロモフ＝ウィッテン不変量を効果的に計算できるか？
• RQ2 MSP局在化におけるループ型（B）グラフの計算から、どのような新しい超幾何的恒等式が生じるか？
• RQ3 ジャンル1の設定において、$ \beta $-ねじれ微分作用素 $ \tilde{D}_i $ と $ \tilde{D}_j $ はI関数およびその微分とどのように関係するか？
• RQ4 A, B, Cに関する微分多項式恒等式を用いて、ジャンル1不変量の閉形式表現を導出できるか？
• RQ5 パッケージング技術によりI関数形式論に包摂されたMSPアプローチは、ジンガーのジャンル1不変量と整合性を保っているか？

主な発見

• A, B, Cを含む微分多項式恒等式が導出され、その右辺と左辺の微分が一致する $ \partial_t \text{LHS} = \partial_t \text{RHS} $ と一致し、整合性が確認された。
• タイプB（ループ）グラフの計算から、Gromov-Witten理論における既知の恒等式を拡張する新しい超幾何的級数恒等式が発見された。
• Fermat型5次的三つ組のジャンル1GW不変量が、MSP局在化を用いて効果的に計算され、ジャンル0の2点関数の必要性が回避された。
• 仮想サイクル恒等式 $ \int [\mathcal{W}_{1,(0,n)}^{\text{vir}}] \mathfrak{t} \cdot c_{\text{top}-1}(R\pi_*\mathcal{L}_\mathcal{W} \otimes \mathcal{N}_\mathcal{W}) = 0 $ は、ジャンル1不変量を決定する方程式系を導く。
• $ \beta $-ねじれ $ \tilde{D} $-系およびI関数における $ \beta $-依存性は、正しい不変量を捉え、整合性を保つために不可欠である。
• 最終的な恒等式 $ \partial_t \text{LHS} = \partial_t \text{RHS} $ は、両辺を $ -\frac{1}{5}C $ まで一致させることで検証され、微分多項式関係の正しさが確認された。