[论文解读] 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 理论，以代数几何方法证明了五次三复形的亏格一 Gromov-Witten 不变量的超平面性质，代数地分离了虚拟圈中的主成分与鬼魂成分。结果确认了普通亏格一不变量等于约化不变量加上 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.

研究动机与目标

• 提供五次三复形亏格一 Gromov-Witten 不变量超平面性质的纯代数证明，该性质此前通过分析方法建立。
• 通过具有 p-场的 Guffin-Sharpe-Witten (GSW) 理论，代数地将五次三复形上亏格一稳定映射的虚拟圈分解为主成分与鬼魂成分。
• 显式计算鬼魂成分的贡献，证明其等于 1/12 的亏格零不变量。
• 建立一个使用 p-场与余截面局部化的框架，可推广至五次三复形及其他完备交的高亏格不变量。

提出的方法

• 利用 Guffin-Sharpe-Witten (GSW) 理论，将 Gromov-Witten 不变量实现为 $\mathbb{P}^4$ 上带 p-场的稳定映射的不变量，从而简化模空间结构。
• 构造亏格一稳定映射带 p-场的模空间 $\overline{M}_1(\mathbb{P}^4,d)^p$，并配备一个完美障碍理论。
• 通过五次多项式 $x_1^5 + \cdots + x_5^5$ 引入障碍层的余截面 $\sigma$，其退化点为 $\overline{M}_1(Q,d)$。
• 应用 Kiem-Li 的余截面局部化虚拟圈构造，定义 $[\overline{M}_1(\mathbb{P}^4,d)^p]^{\mathrm{vir}}_\sigma \in A_0(\overline{M}_1(Q,d))$。
• 通过关系 $N_1(d)^p_{\mathbb{P}^4} = (-1)^{5d} \cdot N_1(d)_Q$ 将局部化不变量 $N_1(d)^p_{\mathbb{P}^4}$ 与普通亏格一不变量 $N_1(d)_Q$ 关联起来。
• 通过在 $\mathbb{P}^4$ 中有理曲线族上的局部化计算鬼魂成分的贡献，利用 $\overline{W}_h = \mathbb{P}(L_B \oplus \mathcal{O}_B)$ 上的示性类计算，并评估向量丛商的欧拉类。

实验结果

研究问题

• RQ1 如何使用代数几何而非分析方法证明五次三复形亏格一 Gromov-Witten 不变量的超平面性质？
• RQ2 普通不变量与约化不变量之间关系中的 1/12 修正项的代数起源是什么？
• RQ3 Guffin-Sharpe-Witten 理论结合 p-场能否以纯代数几何方式将虚拟圈分解为主成分与鬼魂成分？
• RQ4 通过余截面理论构造的局部化虚拟圈如何捕捉鬼魂成分的贡献？
• RQ5 该方法能否推广至五次三复形及其他完备交的高亏格 Gromov-Witten 不变量？

主要发现

• 五次三复形的普通亏格一 Gromov-Witten 不变量满足 $N_1(d)_Q = N_1(d)^{\mathrm{red}}_Q + \frac{1}{12}N_0(d)_Q$，从而代数地确认了 Li-Zinger 超平面定理。
• 虚拟圈的鬼魂成分贡献恰好为 $\frac{1}{12}$ 的亏格零不变量，该结果通过在 $\mathbb{P}^4$ 中有理曲线族上的局部化计算得出。
• 鬼魂成分在局部化欧拉类计算中的贡献为 $-\frac{1}{12}$，与预期的修正项完全一致。
• 约化亏格一不变量通过主成分的合适双有理修改 $\tilde{\mathcal{X}}_{\mathrm{pri}}$ 定义，确保直接像层是局部自由的。
• 该方法成功地利用 p-场与余截面局部化将虚拟圈的主成分与鬼魂成分分离，从而实现了超平面性质的代数几何证明。
• 该结果为将此方法推广至五次三复形及其他乘积空间中完备交的高亏格不变量奠定了基础。