[论文解读] Stability conditions for preprojective algebras and root systems of Kac-Moody Lie algebras

Akishi Ikeda|arXiv (Cornell University)|Feb 6, 2014

Algebraic structures and combinatorial models参考文献 14被引用 6

一句话总结

本文证明了与无环quiver相关的预投射代数的幂零模的有界导出范畴上的稳定性条件空间的特殊连通分支是复化格罗滕迪克群的一个开子集上的覆叠空间，该开子集由相应基灵代数的根系决定。覆叠结构通过外尔群和 braid 群的作用来描述，将先前对 ADE 及仿射 ADE quiver 的结果推广至任意无环 quiver。

ABSTRACT

The aim of this paper is to study the space of stability conditions on the bounded derived category of nilpotent modules over the preprojective algebra associated with a quiver without loops. We describe this space as a covering space of some open set determined by the root system of the Kac-Moody Lie algebra associated with the quiver.

研究动机与目标

• 描述与无环 quiver 相关的预投射代数的幂零模有界导出范畴上的稳定性条件空间的结构。
• 将先前关于 ADE 及仿射 ADE quiver 的稳定性条件结果推广至任意无环 quiver。
• 将稳定性流形的特殊连通分支识别为复化格罗滕迪克群的一个开子集上的覆叠空间，该开子集由相关基灵李代数的根系决定。
• 阐明外尔群与 braid 群在此覆叠空间上的作用，特别是通过提升变换（deck transformations）的作用。

提出的方法

• 本文采用 Bridgeland 对三角范畴上稳定性条件的框架，聚焦于预投射代数的有限维幂零模的导出范畴。
• 通过欧拉形式，将格罗滕迪克群 $ K(\tcal{D}_Q) $ 与基灵李代数的根格 $ L_Q $ 识别。
• 证明稳定性条件空间 $ \mathrm{Stab}^\circ(\mathcal{D}_Q) $ 局部同构地映射到开子集 $ X_{\mathrm{reg}} \subset \mathrm{Hom}_{\mathbb{Z}}(K(\mathcal{D}_Q), \mathbb{C}) $，该子集避开了与非零根正交的超平面。
• 外尔群 $ W $ 作用于 $ X_{\mathrm{reg}} $，并通过 $ \mathbb{Z}[2] \times \mathrm{Br}(\mathcal{D}_Q) $ 的作用确立了覆叠结构，其中 braid 群自由且本征不连续地作用。
• 证明依赖于支撑性质以及半稳定对象上中心电荷的行为，结合射线收敛性论证与实根和虚根的结构。
• 关键技术工具包括归一化墙 $ C^N $、中心电荷映射 $ \pi $，以及将 $ \mathrm{Stab}(\mathcal{A}_Q)^N $ 与 $ C^N $ 识别，从而确保向 $ X_{\mathrm{reg}}/W $ 的映射是单射。

实验结果

研究问题

• RQ1 对于无环 quiver，预投射代数的幂零模导出范畴上的稳定性条件空间结构如何？
• RQ2 稳定性流形与相关基灵李代数的根系之间存在何种关系？
• RQ3 在此背景下，外尔群与 braid 群如何作用于稳定性条件空间？
• RQ4 能否以根系与格罗滕迪克群为依据，明确描述稳定性流形的覆叠结构？
• RQ5 虚锥与实根集合在决定中心电荷映射定义域中起什么作用？

主要发现

• 特殊连通分支 $ \mathrm{Stab}^\circ(\mathcal{D}_Q) $ 是复化格罗滕迪克群的开子集 $ X_{\mathrm{reg}} \subset \mathrm{Hom}_{\mathbb{Z}}(K(\mathcal{D}_Q), \mathbb{C}) $ 上的覆叠空间，该开子集通过移除与非零根正交的超平面而定义。
• 覆叠映射通过商空间 $ X_{\mathrm{reg}}/W $ 因子化，其中 $ W $ 是与 quiver $ Q $ 相关的基灵李代数的外尔群。
• $ \mathbb{Z}[2] \times \mathrm{Br}(\mathcal{D}_Q) $ 在 $ \mathrm{Stab}^\circ(\mathcal{D}_Q) $ 上的作用是自由且本征不连续的，且商空间同构于 $ X_{\mathrm{reg}}/W $。
• 中心电荷映射 $ \pi: \mathrm{Stab}^\circ(\mathcal{D}_Q) \to X_{\mathrm{reg}} $ 是局部同构，其全局结构由外尔群与 braid 群诱导的提升变换决定。
• 归一化墙 $ C^N \subset X_{\mathrm{reg}} $ 同构于 $ \mathrm{Stab}(\mathcal{A}_Q)^N $，即心为 $ \mathcal{A}_Q $ 的稳定性条件集合，从而允许对全局覆叠结构进行识别。
• 证明依赖于反证法，涉及支撑性质以及根射线上中心电荷的行为，表明任何稳定性条件都不可能在虚锥中的射线或正实根锥中的射线上具有非零中心电荷。