[论文解读] Counting Elliptic Curves in K3 Surfaces

Junho Lee, Naichung Conan Leung|ArXiv.org|May 3, 2004

Geometric and Algebraic Topology参考文献 10被引用 5

一句话总结

本文使用族格罗莫夫-威滕不变量与拓扑递推关系，通过双亏格拓扑递推关系与辛和公式，验证了在K3曲面上表示非本原同调类（索引为二）的亏格一曲线的G"{o}ttsche-Yau-Zaslow公式。关键结果表明，椭圆曲线的数量仅依赖于自交数，而不依赖于索引，从而将Yau-Zaslow公式推广至非本原类。

ABSTRACT

We compute the genus one family Gromov-Witten invariants of K3 surfaces for non-primitive classes. These calculations verify Gottsche-Yau-Zaslow formula for non-primitive classes with index two. Our approach is to use the genus two topological recursion formula and the symplectic sum formula to establish relationships among various generating functions.

研究动机与目标

• 将K3曲面上椭圆曲线计数的G"{o}ttsche-Yau-Zaslow公式推广至索引为二的非本原同调类。
• 使用拓扑递推关系与辛和公式，计算此类类别的亏格 $ g=1 $ 族格罗莫夫-威滕不变量。
• 建立表示类 $ A $ 且满足 $ A\cdot A = 2d-2 $ 与索引 $ r=2 $ 的椭圆曲线数量与索引无关，与本原类情况一致。
• 确认索引为二类别的生成函数公式 $ \sum_{d\geq 0} N_1(d,2) t^d = t G_2'(t) \prod_{l\geq 1} (1-t^l)^{-24} $。
• 通过展示多重覆盖在划分函数下一致贡献，澄清全纯映射与全纯曲线之间的区别。

提出的方法

• 使用双亏格拓扑递推关系（TRR）于族格罗莫夫-威滕不变量，将高亏格不变量与低亏格不变量关联。
• 应用[LL]中的辛和公式，将纤维化K3曲面上的不变量分解为更简单的分量。
• 定义生成函数 $ M_1(t), P_1(t), N_1(t), H_g(\cdot)(t) $，以编码不同同调类中的不变量。
• 推导涉及Eisenstein级数 $ G_2(t) = \sum_{d\geq 0} \sigma(d) t^d $ 的微分方程组，其中 $ \sigma(d) = \sum_{k|d} k $。
• 依赖于K3曲面上复结构的扭量族构造族GW不变量，确保其在复结构变化下保持不变。
• 利用 $ GW_{A,1}^{{\cal H}} $ 仅对扭量族中唯一一个$ J $ 计数全纯映射的事实，从而合理化其作为曲线计数的使用。

实验结果

研究问题

• RQ1 K3曲面上椭圆曲线计数的G"{o}ttsche-Yau-Zaslow公式是否对索引为二的非本原类成立？
• RQ2 覆盖固定度数为 $ r $ 的椭圆曲线的亏格一全纯映射数量是否等于划分函数 $ p(r) $，其对族GW不变量有何影响？
• RQ3 双亏格拓扑递推关系能否适配于族GW不变量设定，以计算 $ g=1 $ 不变量？
• RQ4 自交数为 $ 2d-2 $ 且索引为二的椭圆曲线数量 $ N_1(d,2) $ 的生成函数是否等于 $ t G_2'(t) \prod_{l\geq 1} (1-t^l)^{-24} $？
• RQ5 当 $ A $ 索引为二且 $ B $ 为本原类满足 $ B^2 = A^2 $ 时，族GW不变量 $ GW_{A,1}^{{\cal H}} $ 是否满足 $ GW_{A,1}^{{\cal H}} = GW_{B,1}^{{\cal H}} + 2 GW_{A/2,1}^{{\cal H}} $？

主要发现

• 自交数为 $ 2d-2 $ 且索引为二的同调类所代表的K3曲面上椭圆曲线数量 $ N_1(d,2) $ 的生成函数为 $ \sum_{d\geq 0} N_1(d,2) t^d = t G_2'(t) \prod_{l\geq 1} (1-t^l)^{-24} $，从而验证了索引为二类别的G"{o}ttsche-Yau-Zaslow公式。
• 对于索引为二的类 $ A $，其族格罗莫夫-威滕不变量满足 $ GW_{A,1}^{{\cal H}} = GW_{B,1}^{{\cal H}} + 2 GW_{A/2,1}^{{\cal H}} $，其中 $ B $ 为满足 $ B^2 = A^2 $ 的本原类，确认了计数在索引变化下保持不变。
• 覆盖固定度数为 $ r $ 的椭圆曲线的亏格一全纯映射数量为 $ p(r) $，即划分函数；当 $ r=2 $ 时，其值为2，但由于每条曲线在 $ N_1(d,2) $ 中仅贡献一次，因此不变量 $ GW_{A,1}^{{\cal H}} $ 尽管存在多个映射，仍对每条曲线计数一次。
• 该结果意味着 $ N_1(d,2) = N_1(d,1) $，表明椭圆曲线的计数与同调类的索引无关，从而将Yau-Zaslow公式推广至非本原类。
• 证明依赖于由双亏格TRR与辛和公式导出的微分方程，得出 $ M_1(t) = P_1(t) + 2 N_1(t^2) $，从而确认了生成函数的结构。
• 计算结果确认族GW不变量是良定义且与复结构无关的，因其通过扭量族计算，且与Bryan和Leung定义的不变量一致。