[论文解读] Noether-Lefschetz theory and the Yau-Zaslow conjecture

Albrecht Klemm, Davesh Maulik+2 more|ArXiv.org|Jul 15, 2008

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

一句话总结

本文通过建立诺特-莱夫谢茨理论、格罗莫夫-威滕不变量与模形式之间的深刻联系，证明了K3曲面上所有有效曲线类的丘-扎斯洛猜想。利用STU模型和镜像对称性，作者通过模形式恒等式推导出亏格0的BPS不变量，包括对克莱姆-勒舍-迈尔恒等式的全新证明，以及对扎吉尔证明哈维-摩尔恒等式的呈现，最终确认这些计数由戴德金eta函数的24次方给出。

ABSTRACT

The Yau-Zaslow conjecture determines the reduced genus 0 Gromov-Witten invariants of K3 surfaces in terms of the Dedekind eta function. Classical intersections of curves in the moduli of K3 surfaces with Noether-Lefschetz divisors are related to 3-fold Gromov-Witten theory via the K3 invariants. Results by Borcherds and Kudla-Millson determine the classical intersections in terms of vector-valued modular forms. Proven mirror transformations can often be used to calculate the 3-fold invariants which arise. Via a detailed study of the STU model (determining special curves in the moduli of K3 surfaces), we prove the Yau-Zaslow conjecture for all curve classes on K3 surfaces. Two modular form identities are required. The first, the Klemm-Lerche-Mayr identity relating hypergeometric series to modular forms after mirror transformation, is proven here. The second, the Harvey-Moore identity, is proven by D. Zagier and presented in the paper.

研究动机与目标

• 证明K3曲面上所有非零有效曲线类的丘-扎斯洛猜想，该猜想预测亏格0的BPS不变量由戴德金eta函数的24次方编码。
• 通过STU模型，建立K3曲面上经典诺特-莱夫谢茨理论与三叉的格罗莫夫-威滕不变量之间的对应关系。
• 在镜像变换后，证明克莱姆-勒舍-迈尔恒等式，该恒等式将超几何级数与模形式联系起来。
• 呈现并应用扎吉尔对哈维-摩尔恒等式的证明，该恒等式是计算BPS不变量所必需的关键模形式恒等式。
• 证明K3曲面的约化格罗莫夫-威滕不变量仅依赖于曲线类的范数，而不依赖于其可除性，从而确认该猜想对可除性的独立性。

提出的方法

• 作者使用STU模型——一种四维的卡拉比-丘紧化——研究K3曲面模空间中的特殊曲线，并通过镜像对称性将其与格罗莫夫-威滕不变量联系起来。
• 他们利用皮卡德-富克斯微分方程和B模型镜像对称性，在复结构模量趋于零的极限下计算格罗莫夫-威滕不变量。
• 该计算依赖于在 $ u_3 \to 0 $ 极限下某些三重耦合的消失，从而将问题简化为模形式的有理函数。
• 关键的模形式恒等式——哈维-摩尔恒等式——通过Hecke算子和弱全纯模形式理论得到证明，特别使用了函数 $ f(\tau) = E_4 E_6 / \eta^{24} $。
• 作者利用博尔恒等式证明 $ f''' \in M_4^! $，从而能够构造出编码BPS计数的Hecke特征形式 $ F_n $。
• 最终结果通过将亚纯模形式 $ \frac{f(\tau_1)E_4(\tau_2)}{j(\tau_1) - j(\tau_2)} $ 的傅里叶展开与BPS不变量的生成函数匹配而得出。

实验结果

研究问题

• RQ1 K3曲面上的亏格0 BPS不变量 $ r_{0,\beta} $ 是否仅依赖于范数 $ \langle \beta, \beta \rangle $，而与可除性无关？
• RQ2 能否通过格罗莫夫-威滕理论和镜像对称性，证明Yau-Zaslow公式 $ \sum_{h \geq 0} r_{0,h} q^h = \prod_{n=1}^\infty (1 - q^n)^{-24} $ 对所有曲线类均成立？
• RQ3 为将STU模型的格罗莫夫-威滕不变量与Yau-Zaslow计数联系起来，需要哪些模形式恒等式？
• RQ4 如何利用Hecke算子和模形式理论严格证明哈维-摩尔恒等式？
• RQ5 克莱姆-勒舍-迈尔恒等式（在镜像变换后将超几何级数与模形式联系起来）在K3曲面曲线计数的背景下是否成立？

主要发现

• 丘-扎斯洛猜想在K3曲面 $ S $ 的所有非零有效曲线类 $ \beta \in \text{Pic}(S) $ 上被完全证明，确认亏格0的BPS不变量仅依赖于范数 $ \langle \beta, \beta \rangle $。
• 当此类类存在时，约化格罗莫夫-威滕不变量 $ R_{0,\beta} $ 被证明与可除性 $ m(\beta) $ 无关，符合猜想1的预测。
• BPS不变量的生成函数被确认为 $ \sum_{h \geq 0} r_{0,h} q^{h-1} = \eta(\tau)^{-24} $，与丘-扎斯洛猜想的模形式预测一致。
• 本文证明了克莱姆-勒舍-迈尔恒等式，确立了在镜像对称背景下超几何级数向模形式的模变换关系。
• 扎吉尔对哈维-摩尔恒等式的证明被呈现并用于推导出BPS态的正确生成函数，完整完成了模形式论证。
• STU模型中格罗莫夫-威滕不变量的计算产生了一个Eisenstein级数与模形式的有理函数，通过恒等式 $ \frac{E_4 E_6}{\eta^{24}} = \sum_{n=-1}^\infty c(n) q^n $ 简化为所需的模形式表达式。