[论文解读] Enumerative Geometry of Calabi-Yau 5-Folds

Rahul Pandharipande, Aleksey Zinger|ArXiv.org|Feb 12, 2008

Algebraic Geometry and Number Theory参考文献 10被引用 6

一句话总结

本文通过格罗莫夫-威滕理论，对卡拉比-丘5流形中的亏格0和亏格1曲线发展了枚举几何，建立了亏格0不变量的递推关系，并计算了移动多重覆盖对亏格1不变量的贡献。关键结果是局部 $\mathbb{P}^2$ 几何中整数BPS不变量的猜想公式，已对度数至200进行显式验证，并由G. Martin提出涉及莫比乌斯函数与符号/绝对值函数的闭式猜想。

ABSTRACT

Gromov-Witten theory is used to define an enumerative geometry of curves in Calabi-Yau 5-folds. We find recursions for meeting numbers of genus 0 curves, and we determine the contributions of moving multiple covers of genus 0 curves to the genus 1 Gromov-Witten invariants. The resulting invariants, conjectured to be integral, are analogous to the previously defined BPS counts for Calabi-Yau 3 and 4-folds. We comment on the situation in higher dimensions where new issues arise. Two main examples are considered: the local Calabi-Yau P^2 with balanced normal bundle 3O(-1) and the compact Calabi-Yau hypersurface X_7 in P^6. In the former case, a closed form for our integer invariants has been conjectured by G. Martin. In the latter case, we recover in low degrees the classical enumeration of elliptic curves by Ellingsrud and Stromme.

研究动机与目标

• 通过在卡拉比-丘5流形中定义亏格0和亏格1不变量，将Gopakumar-Vafa整数性猜想推广至卡拉比-丘5流形。
• 计算卡拉比-丘5流形中亏格0曲线的移动多重覆盖对亏格1格罗莫夫-威滕不变量的贡献。
• 提供一个类似于卡拉比-丘3-和4-流形中整数BPS不变量的框架。
• 在两个关键例子中验证亏格1不变量的整数性：局部 $\mathbb{P}^2$ 和紧致卡拉比-丘超曲面 $X_7 \subset \mathbb{P}^6$。
• 检验并支持G. Martin关于局部 $\mathbb{P}^2$ 几何中亏格1不变量的闭式表达式的猜想。

提出的方法

• 使用格罗莫夫-威滕理论，通过稳定映射模空间上的虚拟基本类定义亏格0和亏格1不变量。
• 利用陈类计算和配置空间技术，推导出亏格0不变量的降度递推关系。
• 通过分析在 $\mathbb{C}^*$-作用下模空间的固定点，计算亏格1不变量，特别关注具有收缩椭圆分支的直线的 $d$-重覆盖。
• 应用局部化技术计算移动多重覆盖的贡献，权重来自障碍丛和切丛的等变欧拉类。
• 使用Aspinwall-Morrison公式将亏格0格罗莫夫-威滕不变量与整数BPS计数 $n_{0,\beta}$ 关联。
• 采用递归算法从亏格0数据和亏格1格罗莫夫-威滕不变量 $N_{1,d}$ 计算亏格1不变量 $n_{1,d}$，并在度数至200内进行数值验证。

实验结果

研究问题

• RQ1 能否在卡拉比-丘5流形中利用亏格0和亏格1格罗莫夫-威滕不变量，定义类似于低维卡拉比-丘流形中的整数BPS不变量？
• RQ2 亏格0曲线的移动多重覆盖对卡拉比-丘5流形中亏格1不变量的贡献是什么？
• RQ3 在局部 $\mathbb{P}^2$ 几何中，亏格1不变量 $n_{1,d}$ 是否如G. Martin所猜想的那样具有闭式表达式？
• RQ4 为何在某些卡拉比-丘5流形中，当度数被8整除时，亏格1不变量可能为零？是否存在辛几何解释？
• RQ5 局部 $\mathbb{P}^2$ 几何中的不变量与紧致卡拉比-丘超曲面中的经典枚举计数相比如何？

主要发现

• 通过Aspinwall-Morrison公式计算，局部 $\mathbb{P}^2$ 的亏格0不变量 $n_{0,d}$ 满足：$d=1$ 时为 $1$，$d=2$ 时为 $-1$，$d \geq 3$ 时为 $0$。
• 亏格1不变量 $n_{1,d}$ 在度数至200内被数值计算，结果为整数，支持了整数性猜想。
• 在局部 $\mathbb{P}^2$ 中，亏格1不变量满足 $n_{1,d} = S(d)V(d)$，其中 $S(d)$ 是基于莫比乌斯函数的符号函数，$V(d)$ 是分段定义的绝对值函数，与G. Martin的猜想一致。
• 当 $d$ 被8整除时，$S(d) = 0$，因此 $n_{1,d} = 0$，表明局部 $\mathbb{P}^2$ 几何的通用形变可能不包含度数被8整除的嵌入椭圆曲线。
• 在紧致卡拉比-丘超曲面 $X_7 \subset \mathbb{P}^6$ 中，亏格1不变量在低度数下恢复了Ellingsrud和Strömme的经典椭圆曲线枚举结果。
• 亏格1格罗莫夫-威滕不变量 $N_{1,d}$ 表示为对 $d$-重覆盖的求和，通过局部化和等变积分计算贡献，得到有理数，再用于提取整数BPS计数 $n_{1,d}$。