[论文解读] Curve counting theories via stable objects I. DT/PT correspondence

Yukinobu Toda|ArXiv.org|Feb 25, 2009

Algebraic structures and combinatorial models参考文献 23被引用 10

一句话总结

本文利用导出范畴中的弱稳定性条件与壁穿跃理论，建立了卡拉比-丘3流形上DT/PT对应关系的欧拉特征版本。证明了在去除0维贡献后，DT模空间的欧拉特征生成系列等于PT稳定对的生成系列，从而证实了代数几何与范畴化不变量中曲线计数的一个关键猜想。

ABSTRACT

The Donaldson-Thomas invariant is a curve counting invariant on Calabi-Yau 3-folds via ideal sheaves. Another counting invariant via stable pairs is introduced by Pandharipande and Thomas, which counts pairs of curves and divisors on them. These two theories are conjecturally equivalent via generating functions, called DT/PT correspondence. In this paper, we show the Euler characteristic version of DT/PT correspondence, using the notion of weak stability conditions and the wall-crossing formula.

研究动机与目标

• 建立彭达里帕德-托马斯猜想中关于唐纳森-托马斯与彭达里帕德-托马斯生成系列等价性的欧拉特征版本。
• 通过导出范畴中的壁穿跃现象研究卡拉比-丘3流形上的曲线计数不变量。
• 证明DT模空间与PT模空间的欧拉特征生成系列相等，即使在不存在虚拟基本链的情况下亦成立。
• 为未来在导出范畴中研究翻转不变性与广义麦克凯对应关系奠定基础。

提出的方法

• 在卡拉比-丘3流形的相干层导出范畴上使用弱稳定性条件。
• 应用壁穿跃公式，关联不同稳定性条件下的不变量。
• 使用模空间的拓扑欧拉特征定义生成系列，而非虚拟不变量。
• 在对称障碍理论背景下，通过贝赫雷德函数与虚拟不变量构造广义唐纳森-托马斯不变量。
• 利用导出范畴的结构，通过壁穿跃转变将理想层（DT）与稳定对（PT）联系起来。
• 应用壁穿跃下的变换公式，证明约化生成系列相等。

实验结果

研究问题

• RQ1 卡拉比-丘3流形上，DT模空间的欧拉特征生成系列是否与PT模空间的生成系列一致？
• RQ2 能否使用欧拉特征而非虚拟不变量来证明DT/PT对应关系？
• RQ3 导出范畴中的弱稳定性条件与壁穿跃如何影响曲线计数不变量的结构？
• RQ4 在去除0维贡献后，DT不变量的约化生成系列是否为有理函数，且在 $ x \leftrightarrow 1/x $ 下不变，如MNOP猜想所预测？
• RQ5 欧拉特征版本的DT/PT对应关系能否推广以证明完整的猜想对应关系？

主要发现

• 欧拉特征版本的DT/PT对应关系成立：$ \widehat{\mathrm{DT}}^\prime(X) = \widehat{\mathrm{PT}}(X) $，证实了欧拉特征设定下的猜想。
• 系列 $ \widehat{\mathrm{DT}}^\prime_{\beta}(X) $ 是 $ x $ 的有理函数的洛朗展开，且在 $ x \leftrightarrow 1/x $ 下不变，符合MNOP猜想的预测。
• 约化生成系列 $ \mathrm{DT}^\prime(X) $ 独立于一般稳定性条件 $ \sigma \in \mathcal{V} $ 的选择，证实其内在性质。
• 广义DT不变量 $ N_{n,\beta} $ 为有理数，且 $ N_{n,0} = -\sum_{r|n} \frac{\chi(X)}{r^2} $，将其与3流形的欧拉特征联系起来。
• 壁穿跃公式成功关联了不同稳定性条件下的欧拉特征生成系列，从而实现了对应关系的证明。
• 通过相同方法，完整DT/PT猜想（猜想1.1）得以证明，将欧拉特征结果推广至虚拟设定。