[论文解读] Donaldson-Thomas theory for categories of homological dimension one with potential

Ben Davison, Sven Meinhardt|arXiv (Cornell University)|Dec 30, 2015

Homotopy and Cohomology in Algebraic Topology参考文献 30被引用 22

一句话总结

本文为同调维数至多为1的阿贝尔范畴中带有任意势能的唐纳森-托马斯理论提供了严格的公理化框架，证明了积分映射、壁-crossing以及PT–DT对偶性等基础结果。在温和条件下，建立了带有任意势能的DT函数与零势能DT函数之间的几何等价性，统一了孔采维奇-索伊贝尔曼与乔伊丝-宋的框架，并在混合霍奇模、奇异层与构造函数中实现了几何解释。

ABSTRACT

The aim of the paper is twofold. Firstly, we give an axiomatic presentation of Donaldson-Thomas theory for categories of homological dimension at most one with potential. In particular, we provide rigorous proofs of all standard results concerning the integration map, wall-crossing, PT-DT correspondence, etc. following Kontsevich and Soibelman. We also show the equivalence of their approach and the one given by Joyce and Song. Secondly, we relate Donaldson-Thomas functions for such a category with arbitrary potential to those with zero potential under some mild conditions. As a result of this, we obtain a geometric interpretation of Donaldson-Thomas functions in all known realizations, i.e. mixed Hodge modules, perverse sheaves and constructible functions.

研究动机与目标

• 为同调维数≤1的阿贝尔范畴中带有势能的唐纳森-托马斯理论提供严格的公理化基础。
• 在该框架内证明标准结果——积分映射、壁-crossing、PT–DT对偶性。
• 在重叠区域建立孔采维奇-索伊贝尔曼与乔伊丝-宋方法之间的等价性。
• 在温和条件下，建立带有任意势能的DT函数与零势能DT函数之间的关联。
• 在混合霍奇模、奇异层与构造函数等不同实现中，对DT函数给出几何解释。

提出的方法

• 采用受孔采维奇与索伊贝尔曼启发的公理化方法，利用λ-环与λ-代数结构形式化DT理论。
• 将DT函数作为贝热函数的推广，从不变量推广至构造函数。
• 通过阿贝尔范畴中对象的模空间，使用带框架与标准版本的DT理论定义不变量。
• 应用维数约化技术，并通过λ-代数理论中的消失循环构造积分映射。
• 通过伦格尔-霍尔代数结构与动机积分，建立壁-crossing公式。
• 通过证明λ-环结构的同构性与积分映射的相容性，展示孔采维奇-索伊贝尔曼与乔伊丝-宋框架之间的等价性。

实验结果

研究问题

• RQ1 如何为同调维数≤1的阿贝尔范畴中带有任意势能的唐纳森-托马斯理论提供严格的公理化形式化？
• RQ2 带有任意势能的DT函数与零势能DT函数之间的精确关系是什么？
• RQ3 在该设定下，孔采维奇-索伊贝尔曼与乔伊丝-宋的DT理论方法在多大程度上一致？
• RQ4 如何在不同实现形式——混合霍奇模、奇异层、构造函数——中对DT函数进行几何解释？
• RQ5 λ-环与λ-代数结构在统一DT理论的动机与范畴化方面起到了何种作用？

主要发现

• 本文在同调维数≤1的范畴中带有势能的背景下，严格证明了积分映射、壁-crossing与PT–DT对偶性的结果。
• 在温和条件下，建立了带有任意势能的范畴与同一范畴中零势能的DT函数之间的几何等价性。
• 在同调维数≤1的范畴设定下，孔采维奇-索伊贝尔曼与乔伊丝-宋的DT理论方法被证明是等价的。
• DT函数在所有标准实现形式中均实现了几何解释：混合霍奇模、奇异层与构造函数。
• 在模空间上构造λ-环结构，使得DT不变量得以实现范畴化与动机化形式。
• 本文证明了从R⟨x⟩±到R[𝕃−1/r]的λ-环同态是满射，并诱导出同构R⟨𝕃−1/r⟩± ≅ R[𝕃−1/r]，且保持λ-结构。