[论文解读] K-theoretic Donaldson invariants via instanton counting

Lothar Göttsche, Hiraku Nakajima+1 more|ArXiv.org|Nov 30, 2006

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

一句话总结

本文通过瞬子计数和K-理论Nekrasov分划函数，将光滑射影环面曲面上的K-理论Donaldson不变量计算为秩2半稳定层模空间上行列式线丛的全纯欧拉示性数。利用瞬子计数和K-理论Nekrasov分划函数，推导出关于椭圆函数和模形式的壁穿跃不变量的显式生成函数，将经典Donaldson理论的结果推广至精化K-理论设置。

ABSTRACT

In this paper we study the holomorphic Euler characteristics of determinant line bundles on moduli spaces of rank 2 semistable sheaves on an algebraic surface X, which can be viewed as $K$-theoretic versions of the Donaldson invariants. In particular, if X is a smooth projective toric surface, we determine these invariants and their wallcrossing in terms of the K-theoretic version of the Nekrasov partition function (called 5-dimensional supersymmetric Yang-Mills theory compactified on a circle in the physics literature). Using the results of math.AG/0606180 we give an explicit generating function for the wallcrossing of these invariants in terms of elliptic functions and modular forms.

研究动机与目标

• 将K-理论Donaldson不变量定义为代数曲面上半稳定层模空间上行列式线丛的全纯欧拉示性数。
• 在K-理论设置下，利用瞬子计数技术建立这些不变量的壁穿跃公式。
• 以椭圆函数和模形式表达壁穿跃项的生成函数，将经典Donaldson理论的结果加以推广。
• 为4-流形几何中的K-理论不变量提供数学基础，其动机来自几何工程和Gromov-Witten理论。
• 建议将K-理论Donaldson不变量推广至具有Spin^c结构的任意4-流形。

提出的方法

• 作者利用ADHM构造将Uhlenbeck紧化实现为仿射代数簇，从而通过坐标环的特征定义K-理论不变量。
• 他们采用K-理论Nekrasov分划函数——即瞬子模空间坐标环的特征——作为K-理论不变量的生成函数。
• 通过Hilbert概形技术计算壁穿跃项，并与K-理论分划函数比较，建立与椭圆函数的对应关系。
• 生成函数使用theta函数和模形式表达，其显式公式源自K-理论Nekrasov猜想的解。
• 该方法利用了[58]中关于K-理论Nekrasov分划函数及其与Calabi-Yau 3-流形的Gromov-Witten不变量关系的结果。
• 作者利用爆破公式和theta函数的变换性质，在等变参数趋于零的极限下验证壁穿跃公式的自洽性。

实验结果

研究问题

• RQ1 在标准维数计数失效的代数曲面上，如何定义K-理论Donaldson不变量？
• RQ2 当稳定性参数改变时，K-理论Donaldson不变量的壁穿跃行为如何？
• RQ3 K-理论Nekrasov分划函数能否用于计算这些不变量的生成函数？
• RQ4 这些K-理论不变量与模形式和椭圆函数有何关系？
• RQ5 是否存在K-理论Donaldson不变量在具有Spin^c结构的一般4-流形上的自然推广？

主要发现

• K-理论Donaldson不变量被定义为光滑射影环面曲面上秩2半稳定层模空间上行列式线丛的全纯欧拉示性数。
• 壁穿跃生成函数表示为theta函数的比值，具体涉及θ11和θ01，从而以椭圆函数形式给出闭式表达。
• 生成函数的最低阶项恢复了经典Donaldson不变量壁穿跃公式中出现的模形式，证实与已知结果的一致性。
• 生成函数被证明等价于K-理论Nekrasov分划函数，而后者已知可计算非紧环面Calabi-Yau 3-流形的Gromov-Witten不变量。
• 通过爆破公式和在β→0极限下的渐近分析，验证了壁穿跃项的最终公式，确认与同调版本的一致性。
• 结果强烈表明，K-理论Donaldson不变量可自然地推广至任意具有Spin^c结构的4-流形，将不变量的适用范围从代数曲面扩展至更广的范畴。