[论文解读] Donaldson-Thomas invariants vs. intersection cohomology for categories of homological dimension one

Sven Meinhardt|arXiv (Cornell University)|Dec 10, 2015

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

一句话总结

本文建立了同调维数为一的阿贝尔范畴中唐纳森-托马斯（DT）不变量与交线上同调之间的深刻联系。它在混合霍赫代数模的格罗滕迪克群中引入了一类精化DT‘层’，证明其紧支集上同调实现了半稳定对象模空间的交线上同调——验证了整性猜想，并在关键情形（如奎夫表示、曲线与曲面上的凝聚层）中将DT不变量与交线复形等同起来。

ABSTRACT

The present paper is an extension of a previous paper written in collaboration with Markus Reineke dealing with quiver representations. The aim of the paper is to generalize the theory and to provide a comprehensive theory of Donaldson-Thomas invariants for abelian categories of homological dimension one (without potential) satisfying some technical conditions. The theory will apply for instance to representations of quivers, coherent sheaves on smooth projective curves, and some coherent sheaves on smooth projective surfaces. We show that the (motivic) Donaldson-Thomas invariants satisfy the Integrality conjecture and identify the Hodge theoretic version with the (compactly supported) intersection cohomology of the corresponding moduli spaces of objects. In fact, we deal with a refined version of Donaldson-Thomas invariants which can be interpreted as classes in the Grothendieck group of some "sheaf" on the moduli space. In particular, we reproduce the intersection complex of moduli spaces using Donaldson-Thomas theory.

研究动机与目标

• 为无势能的同调维数为一的阿贝尔范畴发展一个完整的唐纳森-托马斯不变量理论。
• 将先前关于奎夫表示的结果推广至更广泛的范畴，包括光滑射影曲线与曲面上的凝聚层。
• 在该设定下建立动机DT不变量的整性猜想。
• 将霍赫理论DT不变量与半稳定对象模空间的紧支集交线上同调相等。
• 在混合霍赫代数模的格罗滕迪克群中构造一类精化DT‘层’，其上同调实现交线复形。

提出的方法

• 通过混合霍赫代数模的格罗滕迪克群中的类形式化一类精化DT理论，将DT不变量视为模空间上的‘层状’对象。
• 应用卢纳的截面定理与GIT商技巧，通过带框架的奎夫表示分析模空间的局部结构。
• 利用形变理论与普遍格拉斯曼ian，确保在技术条件下模函子的存在性与良置性。
• 采用λ-环结构与卷积积定义动机DT不变量并证明整性猜想。
• 依赖欧拉形式(E,F)的对称性与局部常数性作为关键技术条件，确保同调维数为一的行为。
• 将希尔伯特-肖映射的纤维识别为带框架奎夫的幂零表示模空间，从而连接几何与范畴结构。

实验结果

研究问题

• RQ1 如何对唐纳森-托马斯不变量进行精化，以在同调维数为一的范畴中捕捉超越数值或动机不变量的霍赫理论信息？
• RQ2 在何种条件下，DT不变量与半稳定对象粗模空间的交线上同调相等？
• RQ3 能否仅从混合霍赫代数模的格罗滕迪克群中的DT理论数据重构模空间的交线复形？
• RQ4 动机DT不变量在同调维数为一的阿贝尔范畴中，整性猜想在多大程度上成立？
• RQ5 带框架的奎夫表示与幂零结构如何通过希尔伯特-肖映射编码模空间的局部几何？

主要发现

• 精化DT不变量（作为混合霍赫代数模格罗滕迪克群中的类）同构于粗模空间中单点集闭包的交线复形。
• 对每个维数向量d，霍赫理论DT不变量等于紧支集交线上同调类：若稳定点集非空，则DT_d = IC_c(M_d, Q)，否则为0。
• 在该设定下，动机DT不变量的整性猜想成立，生成系列可分解为简单对象上的欧拉乘积。
• 希尔伯特-肖映射在卢纳层上的纤维同构于带框架奎夫的幂零表示模空间，从而将几何分层与表示理论联系起来。
• 通过普遍格拉斯曼ian与卢纳截面构造DT‘层’，提供了一种将交线复形实现为DT对象的典范方式。
• 欧拉形式(E,F)的对称性与局部常数性确保该范畴表现出同调维数为一的性质，从而支持整个理论框架。