[论文解读] Wall-crossing of the motivic Donaldson-Thomas invariants

Kentaro Nagao|arXiv (Cornell University)|Mar 15, 2011

Algebraic structures and combinatorial models参考文献 30被引用 18

一句话总结

本文建立了在 quiver 变换下 motivic Donaldson-Thomas 不变量的墙穿跃公式，证明当在无环的顶点处进行变换时，在存在切割和严格源点的条件下，这些不变量的生成系列通过量子 dilogarithm 变换。该结果在特定类别的 quiver with potentials 中证实了 Kontsevich 和 Soibelman 的一个猜想，包括具有几何螺旋的 del Pezzo 曲面的典范丛所对应的 quiver。

ABSTRACT

We study motivic Donaldson-Thomas invariants in the sense of Behrend-Bryan-Szendroi. A wall-crossing formula under a mutation is proved for a certain class of quivers with potentials.

研究动机与目标

• 为特定类别的 quiver with potentials 中 motivic Donaldson-Thomas 不变量的墙穿跃公式提供一个替代证明。
• 在无环顶点处的 quiver 变换下，建立 motivic DT 不变量生成系列的精确变换法则。
• 验证该变换由量子 dilogarithm 控制，与 Kontsevich 和 Soibelman 的猜想一致。
• 将框架扩展至具有几何螺旋的 del Pezzo 曲面的典范丛所生成的 quiver。
• 证明在 quiver 中存在切割和严格源点的条件下，墙穿跃公式成立。

提出的方法

• 利用与 quiver with potential (Q,W) 关联的 Ginzburg 的 dg 代数上的 dg 模的导出范畴。
• 应用模堆栈的临界点集描述为 Chern-Simons 泛函 f_W 的零点集。
• 采用切割 C 诱导 C*-作用，从而可应用 [BBS, 定理 B.1] 实现虚拟动机的因子分解。
• 通过 Keller-Yang 的结果，构建 (Q,W) 与它的变换 (Q',W') 的模范畴之间的导出等价 Φ_k。
• 在从/到被变换顶点的 Hom 为零的模子范畴之间建立等价，以确保与稳定性条件的兼容性。
• 通过证明 motivic 生成系列通过 motivic dilogarithm E(s_k) 及其逆的乘法变换，且移位 s_k[1] 负责变换中的上同调移位，从而推导出墙穿跃公式。

实验结果

研究问题

• RQ1 在无环顶点处的 quiver 变换下，motivic Donaldson-Thomas 不变量如何变换？
• RQ2 在存在切割的条件下，什么精确的代数结构控制着 motivic DT 不变量的墙穿跃？
• RQ3 motivic DT 不变量的墙穿跃公式是否与 Kontsevich 和 Soibelman 预测的量子 dilogarithm 变换一致？
• RQ4 墙穿跃公式是否可建立于具有几何螺旋的 del Pezzo 曲面的典范丛所生成的 quiver 上？
• RQ5 何种条件可确保由变换诱导的导出等价保持 motivic DT 不变量的结构？

主要发现

• 在 quiver 中存在切割和严格源点的条件下，motivic DT 不变量的墙穿跃公式被证明成立。
• motivic DT 不变量的生成系列在 motivic torus 中变换为 𝒜_{Q',W'} = 𝔼(s_k[1]) × 𝒜_{Q,W} × 𝔼(s_k)^{-1}。
• 在取权重多项式后，公式简化为 A_{Q',W'} = 𝔼_q(s_k[1]) × A_{Q,W} × 𝔼_q(s_k)^{-1}，在量子 torus 中成立。
• 该变换由量子 dilogarithm 控制，证实了在此设定下 Kontsevich 和 Soibelman 的猜想。
• 导出等价 Φ_k 在从/到被变换顶点的 Hom 为零的模子范畴之间诱导等价，确保与墙穿跃结构的兼容性。
• 该结果适用于由具有几何螺旋的 del Pezzo 曲面的典范丛所生成的 quiver with potentials，为该类提供了具体的例子。