[论文解读] Derived category of coherent sheaves and counting invariants

Yukinobu Toda|arXiv (Cornell University)|Apr 15, 2014

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

一句话总结

该论文通过卡拉比-丘三流形上凝聚层导出范畴中的布里吉兰稳定性条件，建立了唐纳森-托马斯（DT）不变量与模形式之间的深刻联系。证明了DT不变量生成系列在流形翻转（flop）下的变换由梅朗诺吉雅可比形式相乘所决定，为S对偶性猜想提供了有力证据，并通过枚举几何中的数学结构对OSV猜想进行了深化。

ABSTRACT

We survey recent developments on Donaldson-Thomas theory, Bridgeland stability conditions and wall-crossing formula. We emphasize the importance of the counting theory of Bridgeland semistable objects in the derived category of coherent sheaves to find a hidden property of the generating series of Donaldson-Thomas invariants.

研究动机与目标

• 通过布里吉兰稳定性条件，理解DT不变量生成系列的隐藏模结构。
• 建立一个将DT不变量与弦理论中的S对偶性和OSV猜想相联系的数学框架。
• 证明DT不变量在翻转下通过雅可比形式相乘而变换，为模性提供证据。
• 对德内夫-莫尔猜想中关于黑洞熵与拓扑弦振幅函数关系的版本进行改进。
• 证明扭 sheaf 的DT不变量生成系列展现出有理性和模对称性性质。

提出的方法

• 利用布里吉兰稳定性条件，在卡拉比-丘三流形上凝聚层的导出范畴中定义并计数半稳定对象。
• 应用墙-crossing公式，关联不同稳定性条件下的不变量，从而研究形变下模空间的性质。
• 利用Mukai向量和示性类数据构造DT不变量的生成系列，其系数计数$H$-半稳定层。
• 采用Behrend函数和虚拟基本链环，将加权欧拉示性数定义为DT不变量。
• 应用Torus局部化和动机Hall代数技术计算不变量，并验证其有理性和模性质。
• 利用雅可比形式的变换律——特别是Dedekind eta函数和theta函数——描述DT生成系列的翻转不变性。

实验结果

研究问题

• RQ1 在凝聚层导出范畴中，DT不变量生成系列在墙-crossing下的行为如何？
• RQ2 DT不变量生成系列在翻转变换下表现出何种模性质？
• RQ3 能否通过翻转下的变换律，从数学上验证DT不变量的S对偶性猜想？
• RQ4 OSV猜想在黑洞熵方面与DT不变量和Gromov-Witten不变量的生成系列在多大程度上相关？
• RQ5 在布里吉兰稳定性假设下，德内夫-莫尔猜想中关于D6-反D6膜系统的未加权版本在数学上是否成立？

主要发现

• 卡拉比-丘三流形上曲线的Hilbert概形的加权欧拉示性数的商系列是一个在$ q \to 1/q $下不变的有理函数，证实了MNOP有理性猜想的关键预测。
• 对于Mukai向量为$ (0, P, -\beta, -n) $的层，DT不变量的生成系列在翻转下通过乘以一个梅朗诺吉雅可比形式变换，如定理4.3所示。
• 该变换涉及Dedekind eta函数$ \theta(q) $和雅可比theta函数$ \theta_{1,1}(q,t) $，表明DT理论中存在深刻的模结构。
• 在假设猜想3.14成立的前提下，德内夫-莫尔猜想的未加权版本已得证明，将D6-反D6膜系统与DT不变量联系起来。
• 生成系列$ \text{DT}_H(0,P,-\beta,-n) $在翻转下表现出模变换性质，为DT理论中的S对偶性猜想提供了强有力证据。
• 系列$ \text{DT}_H(mH) $被证明等于在$ w = -1 $处截断生成函数的导数，模去某些次数界，支持了OSV猜想的数学表述。