[论文解读] The enumerative geometry of K3 surfaces and modular forms

Jim Bryan, Naichung Conan Leung|arXiv (Cornell University)|Nov 24, 1997

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

一句话总结

本文利用格罗莫夫-威滕不变量、退化技巧和障碍丛计算，证明了关于K3曲面上 genus-g 曲线在具有 n 个节点时的计数的丘-扎斯洛猜想与戈茨埃猜想。研究确立了这些计数的生成函数为拟模形式，将早期针对有理曲线的结果推广至任意亏格。

ABSTRACT

We prove the conjectures of Yau-Zaslow and Gottsche concerning the number curves on K3 surfaces. Specifically, let X be a K3 surface and C be a holomorphic curve in X representing a primitive homology class. We count the number of curves of geometric genus g with n nodes passing through g generic points in X in the linear system |C| for any g and n satisfying C^2=2g+2n-2. When g=0, this coincides with the enumerative problem studied by Yau and Zaslow who obtained a conjectural generating function for the numbers. Recently, Gottsche has generalized their conjecture to arbitrary g in terms of quasi-modular forms. We prove these formulas using Gromov-Witten invariants for families, a degeneration argument, and an obstruction bundle computation. Our methods also apply to P^2 blown up at 9 points where we show that the ordinary Gromov-Witten invariants of genus g constrained to g points are also given in terms of quasi-modular forms.

研究动机与目标

• 解决关于K3曲面上具有节点的有理曲线（亏格0）数量的丘-扎斯洛猜想。
• 通过戈茨埃关于拟模形式的猜想，将丘-扎斯洛公式推广至任意亏格 g 的曲线。
• 利用先进的代数几何技术，建立K3曲面的枚举不变量与模形式之间的严格联系。
• 将该方法扩展至其他曲面，如在九个点上进行 blown up 的射影平面，证明其格罗莫夫-威滕不变量也表现出类似的模形式行为。
• 为使用障碍理论与退化论证，在K3曲面上的线性系统中计算曲线计数提供统一框架。

提出的方法

• 对K3曲面上曲线族使用格罗莫夫-威滕不变量，在相对情形下计算枚举不变量。
• 使用退化论证将问题简化为更简单的几何结构，使计算变得可行。
• 应用障碍丛技术，计算具有指定奇点（节点）和亏格的曲线的虚拟计数。
• 利用所得生成函数的模形式性质，证明其为拟模形式。
• 利用稳定映射模空间与虚拟基本类的结构，在族中定义不变量。
• 将方法扩展至在九个点上进行 blown up 的 P^2，证明约束于 g 个点的普通亏格-g 格罗莫夫-威滕不变量同样为拟模形式。

实验结果

研究问题

• RQ1 在K3曲面的初等线性系统中，具有 n 个节点的亏格-g 曲线的精确生成函数是什么？
• RQ2 此类曲线的计数如何与模形式相关联，特别是在高亏格情况下？
• RQ3 能否通过模形式将有理曲线的丘-扎斯洛公式推广至任意亏格的曲线？
• RQ4 格罗莫夫-威滕不变量在计算具有指定奇点的K3曲面上枚举不变量时起到什么作用？
• RQ5 在其他代数曲面（如具有例外除子的有理曲面）上，格罗莫夫-威滕不变量是否也表现出类似的模结构？

主要发现

• 本文证明了在K3曲面的初等线性系统中，具有 n 个节点的亏格-g 曲线的生成函数为拟模形式。
• 对于亏格0的情况，该结果证实了丘-扎斯洛猜想，表明生成函数是权为10的模形式。
• 对戈茨埃关于任意亏格 g 的猜想进行了验证，生成函数被表达为拟模形式。
• 该方法适用于在九个点上进行 blown up 的 P^2，证明约束于 g 个点的普通亏格-g 格罗莫夫-威滕不变量同样为拟模形式。
• 计算依赖于退化至由若干曲面构成的并集，其中障碍丛技术可给出正确的虚拟计数。
• 结果在K3曲面的枚举几何与模形式理论之间建立了深刻联系，证实了长期存在的猜想。