[论文解读] A theory of generalized Donaldson-Thomas invariants

Dominic Joyce, Yinan Song|arXiv (Cornell University)|Oct 31, 2008

Algebraic Geometry and Number Theory参考文献 9被引用 21

一句话总结

该论文提出了一种广义唐纳森-托马斯（DT）不变量的理论，通过贝雷德函数与有理权重的加权欧拉特征，对卡拉比-丘3-流形上的稳定与严格半稳定层进行计数。通过证明模堆栈在局部上具有临界图结构，建立了形变不变性与壁穿跃公式，进而发展出一个李代数同态框架，该框架可推广至具有超势能的 quiver 表示。

ABSTRACT

Let X be a Calabi-Yau 3-fold over C. The Donaldson-Thomas invariants of X are integers DT^a(t) which count stable sheaves with Chern character a on X, with respect to a Gieseker stability condition t. They are defined only for Chern characters a for which there are no strictly semistable sheaves on X. They have the good property that they are unchanged under deformations of X. Their behaviour under change of stability condition t was not understood until now. This book defines and studies a generalization of Donaldson-Thomas invariants. Our new invariants \bar{DT}^a(t) are rational numbers, defined for all Chern characters a, and are equal to DT^a(t) if there are no strictly semistable sheaves in class a. They are deformation-invariant, and have a known transformation law under change of stability condition. To prove all this we study the local structure of the moduli stack M of coherent sheaves on X. We show that an atlas for M may be written locally as Crit(f) for f a holomorphic function on a complex manifold, and use this to deduce identities on the Behrend function of M. We compute our invariants in examples, and make a conjecture about their integrality properties. We extend the theory to abelian categories of representations of a quiver with relations coming from a superpotential, and connect our ideas with Szendroi's "noncommutative Donaldson-Thomas invariants" and work by Reineke and others. This book is surveyed in the paper arXiv:0910.0105.

研究动机与目标

• 将传统DT不变量从仅计数稳定层扩展至包含具有有理权重的严格半稳定层。
• 为所有陈类特征 $\alpha$ 定义广义DT不变量 $\overline{DT}_\alpha(\tau)$，即使存在严格 $\tau$-半稳定层亦成立。
• 证明这些不变量在卡拉比-丘3-流形形变下保持不变，并在稳定性条件改变时满足壁穿跃公式。
• 将该理论推广至由带超势能的quiver生成的3-卡拉比-丘范畴，与非交换DT理论建立联系。
• 通过堆函数与构造性不变量建立李代数同态框架，实现不变量的计算与整数性猜想。

提出的方法

• 利用贝雷德函数 $\nu_M$ 将DT不变量表示为加权欧拉特征 $\chi(M_{\text{st}}, \nu_M)$，并将其扩展至包含半稳定层。
• 证明相干层模堆栈 $M$ 局部上具有临界图结构 $\operatorname{Crit}(f)$，其中 $f$ 为光滑空间上的全纯函数，从而可应用微分几何技术。
• 应用米尔诺纤维与消失上同调理论，推导出在形变与壁穿跃下贝雷德函数 $\nu_M$ 的恒等式。
• 构造从堆函数空间到李代数 $\widetilde{L}(B_p)$ 的李代数同态 $\widetilde{\Psi}_{B_p}$，将不变量与代数恒等式联系起来。
• 利用堆函数形式化与投影算子 $\Pi_{v_i}^n$ 定义并计算不变量 $\overline{DT}_\alpha(\tau)$ 与 $PI_{\alpha,n}(\tau')$。
• 通过在稳定对模空间上构造完美障碍理论，证明不变量 $PI_{\alpha,n}(\tau')$ 的形变不变性。

实验结果

研究问题

• RQ1 如何将唐纳森-托马斯不变量扩展至包含具有有理权重的严格半稳定层？
• RQ2 卡拉比-丘3-流形上相干层模堆栈的局部解析结构是什么？其与全纯函数临界点有何关联？
• RQ3 当稳定性条件改变时，广义DT不变量如何通过壁穿跃公式变换？
• RQ4 广义DT不变量 $\overline{DT}_\alpha(\tau)$ 的整数性结构是什么？在何种条件下其为整数？
• RQ5 该理论如何推广至具有超势能的quiver表示？其与非交换DT不变量有何关系？

主要发现

• 广义DT不变量 $\overline{DT}_\alpha(\tau)$ 对所有陈类特征 $\alpha$ 均有定义，且当不存在严格 $\tau$-半稳定层时，与经典 $DT_\alpha(\tau)$ 一致。
• 不变量 $\overline{DT}_\alpha(\tau)$ 在卡拉比-丘3-流形 $X$ 的形变下保持不变，此结果由贝雷德函数的形变不变性所支持。
• 在稳定性条件 $\tau$ 变化时，不变量满足壁穿跃公式，其推导基于李代数同态 $\widetilde{\Psi}_{B_p}$。
• 对于稳定对模空间 $M_{\alpha,n}^{\text{stp}}(\tau')$，不变量 $PI_{\alpha,n}(\tau')$ 为形变不变量，当 $\text{rank}(\alpha) \neq 1$ 时，通过构造完美障碍理论得以证明。
• 在quiver设定下，不变量 $\widehat{DT}_d^{Q,I}(\mu)$ 在通用稳定性条件下被猜想为整数，其证据来自具体例子中的显式计算。
• 在配对模堆栈 $M_{(\beta,1)}^{B_p}$ 上，贝雷德函数满足 $\nu_{M_{(\beta,1)}^{B_p}} = (-1)^{\overline{\chi}([\mathcal{O}_X(-n)], \beta) - 1} \pi^*(\nu_\beta)$，其中 $\pi$ 为纤维为 $\mathbb{P}^{\overline{\chi}([\mathcal{O}_X(-n)], \beta) - 1}$ 的光滑纤维丛。