[論文レビュー] An algebraic proof of the hyperplane property of the genus one GW-invariants of quintics

Huai-Liang Chang, Jun Li|arXiv (Cornell University)|Jun 23, 2012

Algebraic Geometry and Number Theory参考文献 12被引用数 3

ひとこと要約

本稿は、p-場を用いたGuffin-Sharpe-Witten理論を用いて、仮想サイクルにおける主成分とゴースト成分を代数的に分離することで、5次3次元超曲面の genus one Gromov-Witten 不変量の超平面性質について代数的幾何的証明を提供する。これは、従来の解析的手法によって示された結果を再確認するもので、通常の genus one 不変量が、還元不変量に加えて genus zero 不変量の 1/12 を加えたものに等しいことを確認する。

ABSTRACT

Li-Zinger's hyperplane theorem states that the genus one GW-invariants of the quintic threefold is the sum of its reduced genus one GW-invariants and 1/12 multiplies of its genus zero GW-invariants. We apply the Guffin-Sharpe-Witten's theory (GSW theory) to give an algebro-geometric proof of the hyperplane theorem, including separation of contributions and computation of 1/12.

研究の動機と目的

• 5次3次元超曲面の genus one Gromov-Witten 不変量の超平面性質を、解析的手段に依存せずに完全に代数的証明すること。
• Guffin-Sharpe-Witten (GSW) 理論とp-場を用いて、5次3次元超曲面への genus one 穩定写像の仮想サイクルを主成分とゴースト成分に代数的に分離すること。
• ゴースト成分の寄与を明示的に計算し、それが genus zero 不変量の 1/12 に等しいことを示すこと。
• p-場とcosection局在化を用いた枠組みを構築し、5次超曲面や他の完全交差多様体の高 genus 不変量へ拡張可能であることを確立すること。

提案手法

• Guffin-Sharpe-Witten (GSW) 理論を用い、Gromov-Witten 不変量を $\mathbb{P}^4$ への安定写像にp-場を導入したものとして実現し、モジュライ空間の構造を単純化する。
• $\overline{M}_1(\mathbb{P}^4,d)^p$ として、p-場を備えた genus one 穩定写像のモジュライ空間を構成し、完全な障害理論を備える。
• 5次多項式 $x_1^5 + \cdots + x_5^5$ を用いて障害層のcosection $\sigma$ を導入し、その特異性集合が $\overline{M}_1(Q,d)$ に一致することを示す。
• Kiem-Li のcosection局在化仮想サイクル構成法を適用し、$[\overline{M}_1(\mathbb{P}^4,d)^p]^{\mathrm{vir}}_\sigma \in A_0(\overline{M}_1(Q,d))$ を定義する。
• localized 不変量 $N_1(d)^p_{\mathbb{P}^4}$ と通常の genus one 不変量 $N_1(d)_Q$ の関係を $N_1(d)^p_{\mathbb{P}^4} = (-1)^{5d} \cdot N_1(d)_Q$ として関係づける。
• 有理曲線族の上で局在化を用い、$\overline{W}_h = \mathbb{P}(L_B \oplus \mathcal{O}_B)$ 上でのチャーン類計算とベクトルバンドル商のオイラー類の評価により、ゴースト成分の寄与を計算する。

実験結果

リサーチクエスチョン

• RQ1 5次3次元超曲面の genus one Gromov-Witten 不変量の超平面性質を、解析的手段に代えて代数的幾何学的手法を用いてどのように証明できるか？
• RQ2 通常不変量と還元不変量の関係における 1/12 補正項の代数的起源は何か？
• RQ3 Guffin-Sharpe-Witten 理論とp-場を用いて、仮想サイクルを主成分とゴースト成分に完全に代数的幾何学的に分解できるか？
• RQ4 cosection理論による局在化仮想サイクル構成法は、ゴースト成分の寄与をどのように捉えているか？
• RQ5 この手法は、5次超曲面や他の完全交差多様体の高 genus Gromov-Witten 不変量へ一般化可能か？

主な発見

• 5次3次元超曲面の通常の genus one Gromov-Witten 不変量は、$N_1(d)_Q = N_1(d)^{\mathrm{red}}_Q + \frac{1}{12}N_0(d)_Q$ を満たし、Li-Zinger の超平面定理が代数的に確認された。
• 仮想サイクルのゴースト成分の寄与は、$\mathbb{P}^4$ 内の有理曲線族の上で局在化を用いた計算により、正確に genus zero 不変量の 1/12 に等しいことが判明した。
• 局在化されたオイラー類の計算において、ゴースト成分の寄与は $-\frac{1}{12}$ に計算され、期待される補正項と一致した。
• 還元 genus one 不変量は、主成分の適切な被約的修正 $\tilde{\mathcal{X}}_{\mathrm{pri}}$ を用いて定義され、その直下の層が局所的に自由になるように保証されている。
• p-場とcosection局在化を用いることで、仮想サイクルの主成分とゴースト成分を成功裏に分離し、超平面性質の代数的証明が可能になった。
• 本結果は、5次超曲面や他の完全交差多様体の高 genus 不変量へのこの手法の応用を確立する基盤を提供した。