[论文解读] On the Genus-One Gromov-Witten Invariants of a Quintic Threefold

Jun Li, Aleksey Zinger|ArXiv.org|Jun 6, 2004

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

一句话总结

本文在广受认可的卡拉比-丘三叠复流形中全纯曲线刚性性质假设下，通过将其与 $\mathbb{P}^4$ 的亏格零和亏格一不变量关联，对 $\mathbb{P}^4$ 中的五次三叠复流形的亏格一格罗莫夫-威滕不变量提供了直接的几何推导。该方法避开了先前工作的复杂工具，为五次三叠复流形的亏格一镜像对称预测提供了更透明、更几何化的路径。

ABSTRACT

We rederive a relation between the genus-one GW-invariants of a quintic threefold in $\Pf$ and the genus-zero and genus-one GW-invariants of $\Pf$. In contrast to the more general derivation in a separate paper, the present derivation relies on a widely believed, but still unproven, statement concerning rigidity of holomorphic curves in Calabi-Yau threefolds. On the other hand, this paper's derivation is more direct and geometric. It requires a bit more effort, but relies on less outside work.

研究动机与目标

• 提供 $\mathbb{P}^4$ 中五次三叠复流形的亏格一格罗莫夫-威滕不变量的直接、几何化推导。
• 在不依赖先前工作高级构造的前提下，将这些不变量与 $\mathbb{P}^4$ 的亏格零和亏格一不变量关联起来。
• 在广受认可的刚性假设下，证明五次三叠复流形的亏格一镜像对称预测与已知数学结构一致。
• 将该方法推广至射影空间中的其他卡拉比-丘完全交三叠复流形。

提出的方法

• 推导使用了到 $\mathbb{P}^4$ 的度数为 $d$ 的亏格一稳定映射的模空间 $\overline{\mathfrak{M}}_{1}^{0}(\mathbb{P}^4,d;J)$，并配备了一个自然向量丛 $\mathcal{V}_1^d$。
• 构造了层 $\pi_{g*}^d \textnormal{ev}_g^{d*}\mathfrak{L}$ 的截面 $s_g^d$，其零点集对应于映入五次三叠复流形 $Y$ 的映射。
• 关键步骤涉及分析模空间 $\overline{\mathfrak{M}}_1^0(\mathbb{P}^4,d;J)$ 上的向量丛 $\mathcal{V}_1^d$ 的欧拉类，该类编码了 $Y$ 的亏格一不变量。
• 开发了一种亏格一粘合程序，以处理模空间的紧化以及极限中气泡分支的行为。
• 该方法依赖于五次三叠复流形中亏格零和亏格一 $J$-全纯曲线的刚性假设，该假设虽未被证明但广受认可。
• 构造使用了 $L^2$-正交投影，以及调和代表元空间与形变空间之间的同构，以控制障碍丛。

实验结果

研究问题

• RQ1 能否通过几何与拓扑方法，直接从 $\mathbb{P}^4$ 的不变量推导出五次三叠复流形的亏格一格罗莫夫-威滕不变量？
• RQ2 卡拉比-丘三叠复流形中全纯曲线的刚性如何影响亏格一模空间及其不变量的结构？
• RQ3 障碍丛 $\mathcal{V}_1^d$ 的欧拉类在计算五次三叠复流形的亏格一不变量中起什么作用？
• RQ4 能否构造一种亏格一粘合程序，将映射到 $\mathbb{P}^4$ 的模空间与映射到五次三叠复流形的模空间关联起来？
• RQ5 与先前工作中更抽象的方法相比，该推导在复杂度和一般性方面有何差异？

主要发现

• 本文在曲线刚性假设下，建立了五次三叠复流形的亏格一格罗莫夫-威滕不变量与 $\mathbb{P}^4$ 的亏格零和亏格一不变量之间的直接关系。
• 五次三叠复流形的亏格一不变量被表达为模空间 $\overline{\mathfrak{M}}_1^0(\mathbb{P}^4,d;J)$ 上自然向量丛 $\mathcal{V}_1^d$ 的欧拉类。
• 该推导避免了先前工作中使用的约化不变量和虚拟基本类，转而依赖于对形变空间的几何与分析控制。
• 该方法可推广至射影空间中的其他卡拉比-丘完全交三叠复流形，但不适用于同种方式下的法诺三叠复流形。
• 丛同构 $\Phi_{\mathcal{T}}$ 以及投影映射 $S_{\upsilon;P}, S_{\upsilon;B}$ 的构造，确保了在退化情形下障碍理论的连续性与良定义性。
• 估计式 (4.30) 和同构 $T_{\upsilon}$ 确认了线性化算子的可逆性，这对于定义虚拟周期至关重要。