[论文解读] Cohomological Donaldson-Thomas theory

Balázs Szendröi|arXiv (Cornell University)|Mar 25, 2015

Algebraic structures and combinatorial models参考文献 69被引用 6

一句话总结

本文引入了上同调唐纳森-托马斯（DT）理论，作为对卡拉比-丘三流形和3-卡拉比-丘范畴上层的数值DT不变量的范畴化，利用奇异上同调与消失循环构造具有霍奇理论结构的上同调不变量。关键贡献在于DT层与上同调霍尔代数（COHA）的构造，该理论范畴化了DT不变量，并揭示了与纽结不变量及丛代数的深刻联系。

ABSTRACT

This review gives an introduction to cohomological Donaldson-Thomas theory: the study of a cohomology theory on moduli spaces of sheaves on Calabi-Yau threefolds, and of complexes in 3-Calabi-Yau categories, categorifying their numerical DT invariant. Local and global aspects of the theory are both covered, including representations of quivers with potential. We will discuss the construction of the DT sheaf, a nontrivial topological coefficient system on such a moduli space, along with some cohomology computations. The Cohomological Hall Algebra, an algebra structure on cohomological DT spaces, will also be introduced. The review closes with some recent appearances, and extensions, of the cohomological DT story in the theory of knot invariants, of cluster algebras, and elsewhere.

研究动机与目标

• 为卡拉比-丘三流形的唐纳森-托马斯不变量发展一种上同调精化，超越数值不变量，进入更丰富的拓扑与霍奇理论框架。
• 在层的模空间上全局构造DT层，作为非平凡系数系统，通过消失循环编码上同调DT不变量。
• 引入上同调霍尔代数（COHA），作为上同调DT空间上的代数结构，推广数值DT不变量的代数结构。
• 探索上同调DT理论与其他领域的联系，包括纽结不变量、丛代数以及量子正性。
• 提供适合研究生阅读的教程级介绍，技术基础涵盖 perverse sheaves、霍奇模与混合霍奇结构。

提出的方法

• 理论基于光滑环境空间上正则函数的消失循环层，该层导出一个编码上同调DT不变量的 perverse sheaf。
• DT层作为半稳定层或带势能quiver表示的模空间上的层复形被全局构造，使用临界点集与导出临界扭量。
• 上同调霍尔代数（COHA）通过表示模空间上同调的卷积积定义，其结构常数由纤维积的上同调给出。
• 通过K-群上的权多项式与庞加莱-塞尔伯多项式，从单体混合霍奇结构中提取霍奇理论不变量，从而获得超越欧拉示性数的精细不变量。
• 该理论应用于局部几何，如 $\mathbb{C}^3$、解析化锥面与点的希尔伯特概形，其中进行了显式上同调计算。
• 该框架被扩展至包含导出辛几何与全局商叠，对单体性与单体设定下的 Verdier 对偶进行了细致处理。

实验结果

研究问题

• RQ1 如何将数值DT不变量范畴化为具有霍奇理论结构的上同调不变量？
• RQ2 在卡拉比-丘三流形上层的模空间上，DT层的全局构造是什么？其在形变下的行为如何？
• RQ3 上同调霍尔代数（COHA）如何从带势能quiver表示模空间的上同调中自然出现？
• RQ4 $\mathbb{C}^3$ 与 $\mathbb{C}^3$ 上点的希尔伯特概形的上同调DT不变量是什么？它们与BPS指标有何关系？
• RQ5 上同调DT理论在哪些方面与纽结不变量、丛代数及量子正性相联系？

主要发现

• 在 $\mathbb{C}^3$ 上，上同调DT不变量被实现为点的希尔伯特概形的上同调，该上同调携带纯霍奇结构，并在半扭意义下同构于仿射直线的上同调。
• DT层被构造为模空间上的 perverse sheaf，其上同调编码精细DT不变量；当势能非退化时，它自然携带单体结构。
• 上同调霍尔代数（COHA）被定义在带势能quiver表示模空间的上同调上，其作用于临界点集的上同调，推广了数值DT不变量的代数结构。
• 在 $\mathbb{C}^3$ 上，上同调DT不变量的权多项式为 $q^{-1/2} + 1 + q^{1/2}$，与 $x^2$ 的消失循环上同调的庞加莱-塞尔伯多项式一致。
• 该理论在卡拉比-丘结构的光滑形变下具有形变不变性，且在局部情形下对双有理变换保持不变。
• 该理论通过 $\mathbb{C}^2$ 上点的希尔伯特概形上同调，为纽结不变量提供了新框架，通过精细BPS指标与HOMFLY-PT多项式相联系。