[论文解读] Stability structures, motivic Donaldson-Thomas invariants and cluster transformations

Maxim Kontsevich, Yan Soibelman|ArXiv.org|Nov 16, 2008

Algebraic structures and combinatorial models参考文献 71被引用 730

一句话总结

本文通过稳定性结构和 motivic Hall 代数，在非交换三维 Calabi-Yau 范畴中建立了一套广义 Donaldson-Thomas (DT) 不变量的框架。它推导了在稳定性条件改变时这些不变量的墙穿跃公式，并证明了量子 DT 不变量在 quiver 变换下通过类似簇的变换协变变换，其准经典极限恢复了已知的簇变换。

ABSTRACT

We define new invariants of 3d Calabi-Yau categories endowed with a stability structure. Intuitively, they count the number of semistable objects with fixed class in the K-theory of the category ("number of BPS states with given charge" in physics language). Formally, our motivic DT-invariants are elements of quantum tori over a version of the Grothendieck ring of varieties over the ground field. Via the quasi-classical limit "as the motive of affine line approaches to 1" we obtain numerical DT-invariants which are closely related to those introduced by Behrend. We study some properties of both motivic and numerical DT-invariants including the wall-crossing formulas and integrality. We discuss the relationship with the mathematical works (in the non-triangulated case) of Joyce, Bridgeland and Toledano-Laredo, as well as with works of physicists on Seiberg-Witten model (string junctions), classification of N=2 supersymmetric theories (Cecotti-Vafa) and structure of the moduli space of vector multiplets. Relating the theory of 3d Calabi-Yau categories with distinguished set of generators (called cluster collection) with the theory of quivers with potential we found the connection with cluster transformations and cluster varieties (both classical and quantum).

研究动机与目标

• 通过稳定性条件将 Donaldson-Thomas 不变量推广至非交换三维 Calabi-Yau 范畴。
• 通过 motivic Hall 代数定义 motivic DT 不变量，并建立其整性与墙穿跃行为。
• 证明量子 DT 不变量在 quiver 变换下协变变换，将其与簇变换联系起来。
• 建立不变量的准经典极限，使其在辛双倍环面上恢复经典簇变换。
• 证明自同态 $\Phi_{\mathcal{C}} = \operatorname{Ad}_{A_{\mathcal{C}}}^{-1} \circ \tau$ 的共轭类在变换下不变，从而为 quiver 提供一个范畴不变量。

提出的方法

• 通过格点李代数上的稳定性数据，利用 motivic Hall 代数构造定义 motivic DT 不变量。
• 引入等变设置下的 motivic Milnor 纤维和 motivic 函数，以处理奇点并构造不变量。
• 应用 Behrend 微局部公式，在对称障碍理论设定下定义虚拟计数。
• 构造与 quiver 相关的量子环面，并定义自同态 $\Phi_Q = \operatorname{Ad}_{\mathbf{E}_Q}^{-1} \circ \tau$ 以编码 DT 不变量。
• 推导 $C_{Q,0}$ 的作用，即一系列同构与共轭的复合，以描述在变换下量子环面生成元的变换。
• 取准经典极限，以辛双倍环面上的坐标表示恢复簇变换公式，与已知公式一致。

实验结果

研究问题

• RQ1 在非交换三维 Calabi-Yau 范畴中，motivic DT 不变量在墙穿跃下的行为如何？
• RQ2 量子 DT 不变量在 quiver 变换下的变换规则是什么？
• RQ3 motivic Hall 代数构造如何导致 DT 不变量的整性？
• RQ4 在准经典极限下，自同态 $\Phi_Q$ 与簇变换之间存在何种关系？
• RQ5 在具有有限生成心的 $t$-结构中，$\Phi_{\mathcal{C}}$ 的共轭类在稳定性条件改变下是否保持不变？

主要发现

• 自同态 $\Phi_Q = \operatorname{Ad}_{\mathbf{E}_Q}^{-1} \circ \tau$ 编码了量子 DT 不变量，并在 quiver 变换下协变变换。
• $C_{Q,0}$ 满足 $C_{Q,0} \circ \Phi_Q = \Phi_{Q'} \circ C_{Q,0}$，证明了 DT 不变量结构在变换下的不变性。
• 在准经典极限下，$C_{Q,0}$ 对生成元的作用重现了以 $y_i$ 和 $x_i$ 坐标表示的标准簇变换公式。
• $\Phi_Q$ 的共轭类是 quiver 在变换下的不变量，为非交换设定提供了范畴不变量。
• 量子 DT 不变量的准经典极限保持了由 $y_i = -\prod_j x_j^{a_{ij}}$ 定义的代数簇 $N$，将代数结构与几何簇簇联系起来。
• 对于具有有限生成心的 $t$-结构，$\Phi_{\mathcal{C}}$ 的共轭类不依赖于稳定性条件的选择，从而确立了一个稳健的不变量。