[论文解读] Wall-crossing formulas for framed objects

Sergey Mozgovoy|arXiv (Cornell University)|Apr 21, 2011

Algebraic structures and combinatorial models参考文献 33被引用 8

一句话总结

本文利用 Hall 代数与量子环面结构，为 ind-可构造阿贝尔范畴中框架化对象的 motivic 不变量建立了通用的墙穿跃公式。它为带势能的框架化 quiver 表示提供了一个统一的框架，通过墙穿跃关系推导出光滑模型不变量的新证明，并利用通用级数 $ B_U $ 将非交换与非框架化 Donaldson-Thomas 不变量联系起来，该级数通过墙穿跃生成所有其他不变量。

ABSTRACT

We prove wall-crossing formulas for the motivic invariants of the moduli spaces of framed objects in the ind-constructible abelian categories. Developed techniques are applied in the case of the motivic Donaldson-Thomas invariants of quivers with potentials. Another application is a new proof of the formula for the motivic invariants of smooth models of quiver moduli spaces.

研究动机与目标

• 为带有稳定性函数的框架化阿贝尔范畴中的墙穿跃公式建立通用框架。
• 通过 Hall 代数与量子环面结构，将 $ Z_c $-半稳定框架化对象与 $ Z_{c\pm\varepsilon} $-稳定对象联系起来。
• 利用 Reineke 的积分映射，为 quiver 模空间的光滑模型不变量提供新证明。
• 通过通用级数 $ B_U $ 推导框架化与非框架化 motivic Donaldson-Thomas 不变量之间的关系。
• 证明 $ B_U $ 可通过墙穿跃过程生成任意稳定性参数下的所有 $ A_{c,\mu}^\theta $ 不变量。

提出的方法

• 在 ind-可构造阿贝尔范畴中框架化对象的 motivic Hall 代数中构造墙穿跃公式。
• 应用积分映射，利用 $ K_0 $ 上的反对称形式将 Hall 代数关系转化为量子环面关系。
• 对具有平凡势能的 quiver 使用 Reineke 的积分映射，对具有势能的 quiver 使用新构造的映射以推导不变量。
• 将通用级数 $ B_U \in \widehat{\mathbb{T}}^0 $ 定义为平凡稳定性下非框架化表示的生成级数。
• 将非交换 DT 不变量 $ A^{w}_{NCDT} $ 表示为 $ S_{2\nu}B_U \circ B_U^{-1} $，从而将其与 $ B_U $ 联系起来。
• 利用对称情形的简化，当非框架化形式为零时，推导出特别简洁的墙穿跃公式。

实验结果

研究问题

• RQ1 在 ind-可构造阿贝尔范畴中，框架化对象的 motivic 不变量如何在稳定性墙之间变化？
• RQ2 Hall 代数中的墙穿跃公式能否通过积分映射转化为量子环面关系？
• RQ3 通用级数 $ B_U $ 与所有其他框架化及非框架化 motivic DT 不变量之间有何关系？
• RQ4 在循环表示中，$ B_U $ 在重构非交换 DT 不变量中起什么作用？
• RQ5 在何种条件下墙穿跃公式会简化，尤其是对称情形下？

主要发现

• Hall 代数中的墙穿跃公式将 $ Z_c $-半稳定框架化对象的生成级数与 $ Z_{c\pm\varepsilon} $-稳定对象及非框架化 $ Z $-半稳定对象的生成级数联系起来。
• 非交换 DT 不变量 $ A^{w}_{NCDT} $ 可表示为 $ S_{2\nu}B_U \circ B_U^{-1} $，表明其对通用级数 $ B_U $ 的依赖性。
• 对于 $ \mathbb{C}^3 $ quiver 及势能 $ W = xyz - xzy $，有 $ B_U = \operatorname{Exp}\left(\frac{\mathbb{L}^2}{\mathbb{L}-1}\sum_{n\geq 1}x^n\right) $。
• 对于结节 quiver 及 $ W = a_1b_1a_2b_2 - a_1b_2a_2b_1 $，有 $ B_U = \operatorname{Exp}\left(\frac{(\mathbb{L}+\mathbb{L}^2)x_1x_2 - \mathbb{L}^{1/2}(x_1+x_2)}{\mathbb{L}-1}\sum_{n\geq 0}(x_1x_2)^n\right) $。
• 结节 quiver 的 motivic DT 不变量 $ \Omega_\alpha $ 满足 $ \Omega_\alpha(-\mathbb{L}^{1/2}) \in \mathbb{N}[\mathbb{L}^{\pm 1/2}] $，支持更广泛的猜想。
• 通用级数 $ B_U $ 可生成任意 $ \theta, c, \mu $ 下的全部 $ A_{c,\mu}^\theta $ 不变量，使其成为该理论的核心对象。