[论文解读] On the motivic stable pairs invariants of K3 surfaces

S. Katz, A. Klemm+1 more|arXiv (Cornell University)|Jul 11, 2014

Algebraic Geometry and Number Theory被引用 4

一句话总结

本文提出了K3曲面的精化动机稳定对不变量理论，猜想其Betti实现受该曲面上点的Hilbert概形的Hodge数支配。在Yau-Zaslow与KKV猜想的基础上，引入了形变与可除性不变量，将不变量与模形式联系起来，并通过数值数据暗示其与Mathieu M24月光现象的关联。

ABSTRACT

For a K3 surface S, we study motivic invariants of stable pairs moduli spaces associated to 3-fold thickenings of S. We conjecture suitable deformation and divisibility invariances for the Betti realization. Our conjectures, together with earlier calculations of Kawai-Yoshioka, imply a full determination of the theory in terms of the Hodge numbers of the Hilbert schemes of points of S. The work may be viewed as the third in a sequence of formulas starting with Yau-Zaslow and Katz-Klemm-Vafa (each recovering the former). Numerical data suggest the motivic invariants are linked to the Mathieu M_24 moonshine phenomena. The KKV formula and the Pairs/Noether-Lefschetz correspondence together determine the BPS counts of K3-fibered Calabi-Yau 3-folds in fiber classes in terms of modular forms. We propose a framework for a refined P/NL correspondence for the motivic invariants of K3-fibered CY 3-folds. For the STU model, a complete conjecture is presented.

研究动机与目标

• 将Yau-Zaslow与KKV猜想推广至K3曲面的精化动机稳定对理论。
• 对动机稳定对不变量的Betti实现提出形变与可除性不变量猜想。
• 在K3纤维化的Calabi-Yau三fold中建立动机不变量的精化P/NL对应关系。
• 利用精化框架为STU模型提出完整猜想。
• 通过数值证据将动机不变量与Mathieu M24月光现象相联系。

提出的方法

• 猜想动机稳定对不变量的Betti实现由K3曲面上点的Hilbert概形的Hodge生成系列决定。
• 利用KKV公式与Pairs/Noether-Lefschetz对应关系，将K3纤维化的Calabi-Yau三fold中的BPS计数与模形式联系起来。
• 为K3纤维化的Calabi-Yau三fold中的动机不变量提出精化P/NL对应关系框架。
• 借助Gopakumar-Vafa模空间的非奇性（附录中R. Thomas所证）来支持动机猜想。
• 运用 perverse Leray滤子技术，从模空间上的拉格朗日子丛计算精化Gopakumar-Vafa不变量。
• 利用稳定对模空间与Hilbert概形之间的形变等价性，转移Hodge数据。

实验结果

研究问题

• RQ1 动机稳定对不变量在K3曲面上的复结构形变下如何行为？
• RQ2 动机不变量与K3曲面上点的Hilbert概形的Hodge数之间的确切关系为何？
• RQ3 能否在K3纤维化的Calabi-Yau三fold中为动机不变量形式化精化P/NL对应关系？
• RQ4 动机不变量是否表现出类似月光的对称性，特别是与Mathieu M24相关？
• RQ5 Gopakumar-Vafa模空间在实现动机稳定对猜想中扮演何种角色？

主要发现

• 猜想动机稳定对不变量的Betti实现由K3曲面上点的Hilbert概形的Hodge生成系列支配。
• Hilbert概形的Hodge数的生成系列由包含变量u、y和q的乘积公式给出，反映Hodge分次。
• 当取欧拉示性数时，该猜想退化为KKV猜想。
• 数值证据表明动机不变量与Mathieu M24月光现象之间存在关联。
• 即使在非本原情形下，稳定对的Gopakumar-Vafa模空间也被证明是非奇的，支持了猜想框架。
• 模空间上拉格朗日子丛的perverse Leray Hodge数与Hilbert概形的Hodge数一致，从而可计算精化不变量。