[论文解读] Moduli of Bridgeland semistable objects on 3-folds and Donaldson-Thomas invariants

Dulip Piyaratne, Yukinobu Toda|arXiv (Cornell University)|Apr 6, 2015

Algebraic Geometry and Number Theory参考文献 28被引用 15

一句话总结

该论文在 Bogomolov-Gieseker (BG) 不等式猜想成立的前提下，证明了光滑射影3-流形上 Bridgeland 半稳定对象的模堆栈是拟紧致的有限型代数堆栈。通过证明任意极弱稳定性条件下的 BG 不等式等价形式，作者构建了在满足猜想的 Calabi-Yau 3-流形上计数 Bridgeland 半稳定对象的良好 Donaldson-Thomas 不变量，包括阿贝尔3-流形的 étale 商。

ABSTRACT

We show that the moduli stacks of Bridgeland semistable objects on smooth projective 3-folds are proper algebraic stacks of finite type, if they satisfy the Bogomolov-Gieseker (BG for short) inequality conjecture proposed by Bayer, Macrì and the second author. The key ingredients are the equivalent form of the BG inequality conjecture and its generalization to arbitrary very weak stability conditions. This result is applied to define Donaldson-Thomas invariants counting Bridgeland semistable objects on smooth projective Calabi-Yau 3-folds satisfying the BG inequality conjecture, for example on étale quotients of abelian 3-folds.

研究动机与目标

• 解决关于3-流形上 Bridgeland 半稳定对象模堆栈的拟紧致性与有限型性质的 Conjecture 1.1(ii)。
• 为在 Calabi-Yau 3-流形上定义计数 Bridgeland 半稳定对象的 Donaldson-Thomas 不变量奠定基础。
• 证明 BG 不等式猜想与任意极弱稳定性条件下的广义稳定性不等式之间的等价性。
• 通过李代数与动机技术，将 DT 不变量的构造推广至 Bridgeland 半稳定对象。

提出的方法

• 证明 BG 不等式猜想蕴含3-流形上 Bridgeland 半稳定对象模堆栈的拟紧致性与有限型性质。
• 将 BG 不等式推广至任意极弱稳定性条件，证明在 B 与 ω 不成比例时仍保持等价性。
• 利用 Riemann-Roch 定理与 Euler 配对，在 t-结构心的 Hall 代数上定义李代数结构。
• 通过从 Hall 代数到由 Chern 特征生成的李代数的李代数同态，构造 DT 不变量。
• 通过在中心电荷参数相等的 Harder-Narasimhan 因子上求和，定义不变量 DTσ(v)，并利用支撑性质确保其有限性。
• 通过将非良好稳定性条件扰动为良好条件，将 DT 不变量的定义扩展至非良好稳定性条件，确保其独立性与有理性。

实验结果

研究问题

• RQ1 若 BG 不等式猜想成立，则光滑射影3-流形上 Bridgeland 半稳定对象的模堆栈是否为拟紧致的有限型代数堆栈？
• RQ2 BG 不等式猜想是否与任意极弱稳定性条件下的广义稳定性不等式等价？
• RQ3 能否在满足 BG 不等式猜想的 Calabi-Yau 3-流形上为 Bridgeland 半稳定对象定义 Donaldson-Thomas 不变量？
• RQ4 当稳定性条件被扰动时，DT 不变量在墙穿跃下的行为如何？
• RQ5 在 Bridgeland 稳定性背景下，半稳定对象 Hall 代数的精确代数结构是什么？

主要发现

• 若 BG 不等式猜想成立，则光滑射影3-流形上 Bridgeland 半稳定对象的模堆栈为拟紧致且有限型。
• 即使 B 与 ω 不成比例，BG 不等式猜想仍与 tilt 半稳定对象的广义不等式等价。
• 在满足 BG 不等式猜想的 Calabi-Yau 3-流形上，计数 Bridgeland 半稳定对象的 Donaldson-Thomas 不变量是良好定义的。
• 不变量 DTσ(v) 为有理数，且实际上计数了具有固定 Chern 特征 v 的 σ-半稳定对象。
• 通过 Hall 代数技术构造 DT 不变量，确保了当 σ 非良好时，其结果与扰动选择无关。
• 这些不变量满足预期性质，如有理性与墙穿跃不变性，符合弦理论与双有理几何的预期。