[论文解读] Hall algebras and curve-counting invariants

Tom Bridgeland|arXiv (Cornell University)|Feb 23, 2010

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

一句话总结

本文利用乔伊斯的动机 Hall 代数框架，证明了卡拉比-丘三fold 上曲线计数的约化唐纳森-托马斯不变量与巴恩德里帕德-托马斯稳定对不变量一致，且它们的生成函数是关于 $ q \leftrightarrow q^{-1} $ 对称的有理函数的洛朗展开。该结果在代数几何的两大曲线计数理论之间建立了深刻的对应关系。

ABSTRACT

We use Joyce's theory of motivic Hall algebras to prove that reduced Donaldson-Thomas curve-counting invariants on Calabi-Yau threefolds coincide with stable pair invariants, and that the generating functions for these invariants are Laurent expansions of rational functions.

研究动机与目标

• 建立卡拉比-丘三fold 上约化唐纳森-托马斯不变量与稳定对不变量之间的等价性。
• 证明这些不变量的生成函数是有理函数的洛朗展开。
• 证明生成函数在变换 $ q \leftrightarrow q^{-1} $ 下保持不变。
• 通过不同于友达方法的动机 Hall 代数技术，提供 DT/PT 对应关系的新证明。

提出的方法

• 应用乔伊斯的动机 Hall 代数理论，分析卡拉比-丘三fold 上凝聚层模空间的结构。
• 利用贝热的构造函数 $ \nu_S $，将虚拟计数与加权欧拉示性数联系起来。
• 定义希尔伯特纲 $ \operatorname{Hilb}_M(\beta,n) $ 和稳定对模空间 $ \operatorname{Hilb}^\sharp_M(\beta,n) $，用于参数化给定陈特征的层。
• 通过积分映射和稳定性条件，利用 Hall 代数结构关联这些模空间的虚拟计数。
• 应用虚拟不可约元技术及修正的 Hall 代数元素，确保生成函数的收敛性与整数性。
• 通过分析 Hall 代数中渐近行为与滤子结构，证明约化 DT 生成函数 $ \operatorname{DT}'_\beta(q) $ 等于 PT 生成函数 $ \operatorname{PT}_\beta(q) $。

实验结果

研究问题

• RQ1 卡拉比-丘三fold 上曲线计数的约化唐纳森-托马斯不变量是否与巴恩德里帕德-托马斯稳定对不变量一致？
• RQ2 这些不变量的生成函数是否为有理函数的洛朗展开？
• RQ3 生成函数在变换 $ q \leftrightarrow q^{-1} $ 下是否保持不变？
• RQ4 能否使用动机 Hall 代数技术而非其他方法证明 DT/PT 对应关系？

主要发现

• 对于每个曲线类 $ \beta \in N_1(M) $，约化 DT 生成函数 $ \operatorname{DT}'\_\beta(q) $ 等于稳定对生成函数 $ \operatorname{PT}'\_\beta(q) $，从而确立了 DT/PT 对应关系。
• 生成函数 $ \operatorname{DT}'\_\beta(q) $ 是 $ q $ 的有理函数的洛朗展开，证实了莫勒克等人提出的猜想。
• 生成函数在变换 $ q \leftrightarrow q^{-1} $ 下保持不变，表明曲线计数不变量中存在深刻的对称性。
• 该证明依赖于乔伊斯虚拟不可约元技术的修正版本，以及对 Hall 代数框架的更正应用，以确保整数性与收敛性。
• 该论证通过在导出范畴背景下建立贝热权重要恒等式，弥补了友达早期证明中的漏洞。
• 该结果独立于友达的原始证明，提供了基于动机 Hall 代数的第二个证明，并将框架扩展至包含带框架的层与稳定对。