[论文解读] Symmetric obstruction theories and Hilbert schemes of points on threefolds

Kai Behrend, Barbara Fantechi|ArXiv.org|Dec 24, 2005

Algebraic Geometry and Number Theory参考文献 3被引用 14

一句话总结

该论文证明，通过具有对称障碍理论的唐纳森-托马斯不变量计算的三叉面n个点的希尔伯特概形的加权欧拉示性数，等于(−1)^n倍的普通欧拉示性数。论文进一步证明，对于射影卡勒-雅可比三叉面，希尔伯特概形的点的虚拟计数与欧拉示性数在符号上一致，通过使用对称障碍理论和等变技术，证实了穆拉尼克-内克拉索夫-奥库诺夫-潘德哈里普德猜想。

ABSTRACT

We introduce the notion of symmetric obstruction theory and study symmetric obstruction theories which are compatible with C*-actions. We prove that the contribution of an isolated fixed point under a C*-action to equivariant Donaldson-Thomas type invariants is +/- 1. As an application, we compute weighted Euler characteristics of all Hilbert schemes of points on any 3-fold. Moreover, we calculate the zero-dimensional Donaldson-Thomas invariants of any projective Calabi-Yau 3-fold. This proves a conjecture of Maulik-Nekrasov-Okounkov-Pandharipande.

研究动机与目标

• 在具有群作用的模空间背景下，定义并研究对称障碍理论。
• 在具有对称障碍理论的C*-作用下，计算孤立不动点处的贝雷德函数不变量ν_X(P)。
• 将唐纳森-托马斯不变量与三叉面上点的希尔伯特概形的欧拉示性数联系起来。
• 证明卡勒-雅可比三叉面的零维MNOP猜想。
• 确立三叉面上希尔伯特概形的加权欧拉示性数为普通欧拉示性数的±1倍。

提出的方法

• 通过导出范畴上的非退化对称双线性型引入对称障碍理论。
• 利用G_m作用下的等变技术分析局部结构并计算不变量。
• 将贝雷德函数ν_X(P)应用于孤立不动点，证明ν_X(P) = (−1)^d，其中d为切空间的维数。
• 将加权欧拉示性数的计算归约为以n的分拆为指标的子概形。
• 使用平展覆盖和伽罗瓦群作用，将希尔伯特概形子概形与对称积的乘积联系起来。
• 利用ν_X(P) = (−1)^d的性质，推导加权欧拉示性数中的符号校正。

实验结果

研究问题

• RQ1 在具有对称障碍理论的G_m作用下，孤立不动点处的贝雷德函数ν_X(P)的值是多少？
• RQ2 三叉面上希尔伯特概形的加权欧拉示性数与普通欧拉示性数之间有何关系？
• RQ3 卡勒-雅可比三叉面的n个点的希尔伯特概形的唐纳森-托马斯不变量能否用欧拉示性数表示？
• RQ4 在三叉面上点的希尔伯特概形上，对称障碍理论是否导致虚拟计数的符号正确公式？
• RQ5 贝雷德函数在通过对称障碍理论计算虚拟计数中起什么作用？

主要发现

• 对于任意三叉面，n个点的希尔伯特概形的加权欧拉示性数为(−1)^n倍的普通欧拉示性数。
• 在具有对称障碍理论的孤立不动点处，贝雷德函数ν_X(P)的值为(−1)^d，其中d为扎里斯基切空间的维数。
• 对于射影卡勒-雅可比三叉面，n个点的希尔伯特概形的虚拟计数等于(−1)^n倍的欧拉示性数。
• 虚拟计数的生成函数为M(−t)^χ(Y)，与带符号校正的欧拉示性数生成函数一致。
• 该结果证实了卡勒-雅可比三叉面零维不变量的MNOP猜想。
• 证明依赖于归约为以分拆为指标的子概形，以及使用具有伽罗瓦对称性的平展覆盖。