[论文解读] Generating functions of stable pair invariants via wall-crossings in derived categories

Yukinobu Toda|ArXiv.org|May 31, 2008

Algebraic Geometry and Number Theory参考文献 18被引用 19

一句话总结

本文建立了Pandharipande-Thomas（PT）不变量的有理函数猜想与卡拉比-丘3-流形上凝聚层导出范畴中的墙-crossing现象之间的联系。通过极限稳定性与Joyce的动机积分框架，证明了若解决了涉及虚拟类的关键技术问题，则PT生成函数的有理函数性质可由包含虚拟不变量的墙-crossing公式推出。

ABSTRACT

The notion of limit stability on Calabi-Yau 3-folds is introduced by the author to construct an approximation of Bridgeland-Douglas stability conditions at the large volume limit. It has also turned out that the wall-crossing phenomena of limit stable objects seem relevant to the rationality conjecture of the generating functions of Pandharipande-Thomas invariants. In this article, we shall make it clear how wall-crossing formula of the counting invariants of limit stable objects solves the above conjecture.

研究动机与目标

• 将Pandharipande-Thomas不变量的有理函数猜想解释为卡拉比-丘3-流形上凝聚层导出范畴中的墙-crossing现象。
• 通过极限稳定性作为连接桥，将稳定对不变量的生成函数与导出范畴中的墙-crossing公式联系起来。
• 在Joyce积分理论中虚拟类问题得以解决的前提下，证明PT生成函数的有理函数性质可由墙-crossing公式推出。
• 通过将稳定对嵌入导出范畴中的两段复形，将DT理论中的墙-crossing机制推广至PT理论。
• 提出一个猜想性框架，其中通过Behrend函数与Joyce积分理论定义的虚拟不变量可导致PT生成函数的有理函数性质。

提出的方法

• 在卡拉比-丘3-流形上引入极限稳定性，作为逼近大体积极限下Bridgeland稳定性条件的工具。
• 将稳定对表示为导出范畴 $D^b(X)$ 中的两段复形，将其与广义凝聚层范畴 $\mathcal{A}^p$ 中的对象对应起来。
• 利用 $\sigma$-极限稳定对象的模空间 $\mathcal{L}_n^\sigma(X,\beta)$ 定义计数不变量 $L_{n,\beta}(\sigma)$ 为加权欧拉示性数。
• 应用Joyce的动机积分理论，通过构造可测函数在范畴的格罗滕迪克群中建立墙-crossing公式。
• 提出从 $\mathcal{A}^p$ 的格罗滕迪克群到其李代数的映射 $\Theta'$，满足与Behrend函数和虚拟类相容的交换关系。
• 推导出 $L_{n,\beta}(\sigma)$ 的墙-crossing公式，其结构与生成函数 $Z_{\rm{PT}}$ 相似，从而在虚拟类相容性假设下推出有理函数性质。

实验结果

研究问题

• RQ1 Pandharipande-Thomas不变量的有理函数猜想能否被解释为卡拉比-丘3-流形上凝聚层导出范畴中的墙-crossing现象？
• RQ2 卡拉比-丘3-流形上的极限稳定性与稳定对不变量的墙-crossing之间有何关系？
• RQ3 Joyce的积分理论在将虚拟不变量与PT理论中的生成函数联系起来的过程中起什么作用？
• RQ4 是否存在一个从广义凝聚层范畴的格罗滕迪克群到其李代数的典范映射 $\Theta'$，可提升Behrend函数并保持墙-crossing关系？
• RQ5 极限稳定不变量的墙-crossing公式在何种条件下可推出PT生成函数的有理函数性质？

主要发现

• 在问题4.18中虚拟类问题得以解决的前提下，PT生成函数 $P_\beta(q) = \sum_n P_{n,\beta} q^n$ 的有理函数性质可由导出范畴中的墙-crossing公式推出。
• 稳定对 $(F,s)$ 被实现为 $D^b(X)$ 中的两段复形，其不变量在极限稳定性下对应于 $\mathcal{A}^p$ 中的极限稳定对象。
• 极限稳定不变量 $L_{n,\beta}(\sigma)$ 的墙-crossing公式与PT生成函数 $Z_{\rm{PT}}$ 的结构一致，且对充分大的 $k$ 有 $L_{n,\beta}(\sigma) = (-1)^{\dim \mathop{Pic}(X)} P_{n,\beta}$。
• 生成函数 $Z_{\rm{PT}}$ 具有类似于DT理论中推导出的展开形式，从而在有理函数层面确认了猜想的GW-DT-PT对应关系。
• 关键的技术障碍在于将虚拟类整合进Joyce的框架中，因为当前的不变量是通过欧拉示性数而非虚拟周期定义的。
• 若问题4.18中的映射 $\Theta'$ 存在且满足所需的交换关系，则通过相同的墙-crossing机制可证明关于 $P_\beta(q)$ 有理函数性质的猜想1.1。