[论文解读] Decorated marked surfaces III: The derived category of a decorated marked surface

Aslak Bakke Buan, Yu Qiu+1 more|ArXiv.org|Mar 31, 2018

Algebraic structures and combinatorial models被引用 5

一句话总结

该论文通过证明从曲面的三角剖分导出的所有 Ginzburg dg 代数在一种典范方式下彼此衍生等价，建立了与带装饰标记曲面 $\mathbf{S}_\triangle$ 相关的典范 3-Calabi-Yau 范畴 $\mathcal{D}_{fd}(\mathbf{S}_\triangle)$。作为关键结果，它证明了球面扭转群 $\mathrm{ST}(\mathbf{S}_\triangle)$ 在该范畴的稳定性条件主分量上忠实作用，从而解决了 categorified cluster 理论中的典范性问题。

ABSTRACT

We study the Ginzburg dg algebra $Γ_\mathbf{T}$ associated to the quiver with potential arising from a triangulation $\mathbf{T}$ of a decorated marked surface $\mathbf{S}_\bigtriangleup$, in the sense of Qiu. We show that there is a canonical way to identify all finite dimensional derived categories $\mathcal{D}_{fd}(Γ_\mathbf{T})$, denoted by $\mathcal{D}_{fd}(\mathbf{S}_\bigtriangleup)$. As an application, we show that the spherical twist group $\operatorname{ST}(\mathbf{S}_\bigtriangleup)$ associated to $\mathcal{D}_{fd}(\mathbf{S}_\bigtriangleup)$ acts faithfully on its space of stability conditions.

研究动机与目标

• 为一个带装饰标记曲面 $\mathbf{S}_\triangle$ 建立一个与三角剖分选择无关的典范 3-Calabi-Yau 范畴 $\mathcal{D}_{fd}(\mathbf{S}_\triangle)$。
• 通过引入几何内在的等价关系，解决由带势 quiver 的突变所导致的衍生等价性非典范的问题。
• 证明球面扭转群 $\mathrm{ST}(\mathbf{S}_\triangle)$ 在稳定性条件空间的主分量 $\mathrm{Stab}^\circ(\mathbf{S}_\triangle)$ 上忠实作用。
• 为从曲面导出的 3-Calabi-Yau 范畴中类似映射类群的对称性作用提供几何与范畴论基础。

提出的方法

• 从带装饰标记曲面 $\mathbf{S}_\triangle$ 的一个三角剖分 $\mathbf{T}$ 构造 Ginzburg dg 代数 $\Gamma_{\mathbf{T}}$，使用带势 quiver (QP) 技术。
• 利用 Keller-Yang 的等价性，将不同三角剖分对应的 Ginzburg dg 代数的衍生范畴联系起来。
• 通过利用带装饰曲面的几何性质，证明这些等价性是典范的，且不依赖于 QP 突变中分解的选择。
• 通过内在构造证明所得范畴 $\mathcal{D}_{fd}(\mathbf{S}_\triangle)$ 是良定义的，且与三角剖分 $\mathbf{T}$ 无关。
• 将球面扭转群 $\mathrm{ST}(\mathbf{S}_\triangle)$ 定义为交换图 $\mathrm{EG}^\circ(\mathbf{S}_\triangle)$ 中简单对象上球面扭转生成的自同构群。
• 利用在交换图上平凡作用等价于在稳定性条件上平凡作用的事实，证明该群在 $\mathrm{Stab}^\circ(\mathbf{S}_\triangle)$ 上的作用是忠实的。

实验结果

研究问题

• RQ1 能否为一个带装饰标记曲面 $\mathbf{S}_\triangle$ 定义一个与三角剖分选择无关的典范 3-Calabi-Yau 范畴？
• RQ2 尽管 QP 突变本身非典范，但与 $\mathbf{S}_\triangle$ 的不同三角剖分相关的 Ginzburg dg 代数之间的衍生等价性是否具有典范性？
• RQ3 球面扭转群 $\mathrm{ST}(\mathbf{S}_\triangle)$ 是否在稳定性条件空间的主分量 $\mathrm{Stab}^\circ(\mathbf{S}_\triangle)$ 上忠实作用？
• RQ4 群 $\mathrm{ST}(\mathbf{S}_\triangle)$ 在 $\mathrm{Stab}^\circ(\mathbf{S}_\triangle)$ 上的作用是否等价于 braid 扭转群 $\mathrm{BT}(\mathbf{S}_\triangle)$？

主要发现

• 范畴 $\mathcal{D}_{fd}(\mathbf{S}_\triangle)$ 作为与带装饰标记曲面 $\mathbf{S}_\triangle$ 相关的典范 3-Calabi-Yau 范畴被唯一确定，且与三角剖分无关。
• 所有从 $\mathbf{S}_\triangle$ 的三角剖分 $\mathbf{T}$ 导出的 Ginzburg dg 代数 $\Gamma_{\mathbf{T}}$ 均导出衍生等价的范畴，且这种等价性是典范的。
• 球面扭转群 $\mathrm{ST}(\mathbf{S}_\triangle)$ 在稳定性条件空间的主分量 $\mathrm{Stab}^\circ(\mathbf{S}_\triangle)$ 上忠实作用。
• $\mathrm{ST}(\mathbf{S}_\triangle)$ 在 $\mathrm{Stab}^\circ(\mathbf{S}_\triangle)$ 上的作用平凡，当且仅当该自同构在交换图 $\mathrm{EG}^\circ(\mathbf{S}_\triangle)$ 的简单对象集合上作用平凡。
• 球面扭转群 $\mathrm{ST}(\mathbf{S}_\triangle)$ 同构于 braid 扭转群 $\mathrm{BT}(\mathbf{S}_\triangle)$，满足 $\mathrm{ST}(\mathbf{S}_\triangle)/\mathrm{Aut}_0 \cong \mathrm{BT}(\mathbf{S}_\triangle)$。