[论文解读] Gromov-Witten theory and Noether-Lefschetz theory

Davesh Maulik, Rahul Pandharipande|arXiv (Cornell University)|May 11, 2007

Algebraic Geometry and Number Theory参考文献 44被引用 80

一句话总结

本文建立了3-流形的Gromov-Witten不变量与K3曲面模空间中Noether-Lefschetz除子之间的深层联系。通过利用Borcherds的theta提升以及O(2,19)格上的Kudla-Millson理论，作者计算了度数为2、4、6和8的K3曲面的Noether-Lefschetz度数，表明它们是权为21/2、级别为8的模形式的傅里叶系数——尤其针对四次K3曲面。该工作验证了经典枚举结果，并推测Noether-Lefschetz除子生成模空间的有理Picard群。

ABSTRACT

Noether-Lefschetz divisors in the moduli of K3 surfaces are the loci corresponding to Picard rank at least 2. We relate the degrees of the Noether-Lefschetz divisors in 1-parameter families of K3 surfaces to the Gromov-Witten theory of the 3-fold total space. The reduced K3 theory and the Yau-Zaslow formula play an important role. We use results of Borcherds and Kudla-Millson for O(2,19) lattices to determine the Noether-Lefschetz degrees in classical families of K3 surfaces of degrees 2, 4, 6 and 8. For the quartic K3 surfaces, the Noether-Lefschetz degrees are proven to be the Fourier coefficients of an explicitly computed modular form of weight 21/2 and level 8. The interplay with mirror symmetry is discussed. We close with a conjecture on the Picard ranks of moduli spaces of K3 surfaces.

研究动机与目标

• 将1-parameter族K3曲面中Noether-Lefschetz除子的度数与3-纤维总空间的Gromov-Witten不变量联系起来。
• 利用模形式与格理论技术，计算经典族中度数为2、4、6和8的K3曲面的Noether-Lefschetz度数。
• 通过模数据验证这些度数是否与经典枚举计数（例如K3曲面上的直线或椭圆曲线数量）一致。
• 推测Noether-Lefschetz除子生成拟极化K3曲面模空间的有理Picard群。

提出的方法

• 使用Gopakumar-Vafa的BPS态计数，将3-纤维总空间的Gromov-Witten不变量与K3纤维上的约化不变量联系起来。
• 应用Borcherds的theta提升以及O(2,19)格上的Kudla-Millson理论，计算Noether-Lefschetz度数的生成系列。
• 利用引理7中的Hodge项、节点项和Castelnuovo消去条件，确定模形式的结构。
• 通过镜像对称与超几何函数恒等式，显式推导出四次K3曲面的权为21/2、级别为8的模形式。
• 通过交点理论，利用具有可除性m的精化除子$D_{m,h,d}$，定义精化Noether-Lefschetz数$NL^{ au}_{m,h,d}$。
• 应用Bruinier公式，计算由Noether-Lefschetz除子张成的Picard群的维数，使用权为21/2的尖点形式和表示$ρ_l^*$。

实验结果

研究问题

• RQ1 1-parameter族K3曲面中Noether-Lefschetz除子的度数与3-纤维总空间的Gromov-Witten不变量之间有何关系？
• RQ2 在度数为8及以下的经典K3曲面族中，Noether-Lefschetz度数的生成系列的模形式结构是什么？
• RQ3 通过Gromov-Witten理论计算出的Noether-Lefschetz度数是否与经典枚举计数（例如K3曲面上的直线或椭圆曲线数量）一致？
• RQ4 Noether-Lefschetz除子是否能完全生成模空间$\mathcal{M}_l$的有理Picard群？

主要发现

• 对于四次K3曲面，Noether-Lefschetz度数是权为21/2、级别为8的模形式的傅里叶系数，本文中已显式计算出。
• 对于格$\begin{pmatrix}6&3\\3&0\end{pmatrix}$，Noether-Lefschetz度数为168，与椭圆平面曲线的经典计数一致。
• 对于格$\begin{pmatrix}6&1\\1&-2\end{pmatrix}$，Noether-Lefschetz度数为198，证实了通用度数6 K3曲面上直线的数量。
• 对于度数8的K3曲面，包含一条直线的纤维数量为128，与经典几何及模形式计算一致。
• 由Noether-Lefschetz除子张成的$\mathcal{M}_l$的有理Picard群的维数为$1 + \frac{31}{24} + \frac{31}{48}l - \cdots$，其中$l=2,4,6$时的显式值分别为2、3、4。
• 通过与已知Picard秩的一致性，验证了Noether-Lefschetz除子生成$\mathrm{Pic}(\mathcal{M}_l)\otimes\mathbb{Q}$的猜想在$l=2$和$l=4$时成立。