[论文解读] The cluster category of a surface with punctures via group actions

Claire Amiot, Plamondon, Pierre-Guy|arXiv (Cornell University)|Jul 6, 2017

Algebraic structures and combinatorial models参考文献 15被引用 7

一句话总结

本文通过 $±2$-群作用，在带 puncture 的曲面的簇范畴与覆盖的无 puncture 曲面的簇范畴之间建立了对应关系。通过构造一个具有对合 $\sigma$ 的 Galois 覆盖 $\widetilde{\Sigma}$，作者证明了覆盖曲面的 Ginzburg dg 代数是原曲面的斜群代数，从而实现了簇-倾斜对象的函子性转移。关键结果是：基于原曲面的轨道基本群范畴，对带边界且非空的带 puncture 曲面的簇范畴中的不可约对象进行了完整分类。

ABSTRACT

Given a certain triangulation of a punctured surface with boundary, we construct a new triangulated surface without punctures which covers it. This new surface is naturally equipped with an action of a group of order two, and its quotient by this action recovers the original surface. We show that the group acts on the quivers with potentials associated to the surfaces, and that their Ginzburg dg algebras are skew group algebras of each other, up to Morita equivalence. We then use these results to construct functors between the generalized cluster categories associated to the triangulations. This allows us to give a complete description of the indecomposable objects of these categories in terms of curves on the surface, when the surface has punctures and non-empty boundary.

研究动机与目标

• 通过几何覆盖空间在带 puncture 与无 puncture 曲面的簇范畴之间建立函子性桥梁。
• 通过 $\mathbb{Z}/2\mathbb{Z}$-覆盖将带 puncture 情况下簇范畴的复杂性降低为已充分理解的无 puncture 情况。
• 对带非空边界之带 puncture 曲面的簇范畴中的不可约对象提供完整分类。
• 通过轨道结构与群作用，将簇范畴的几何实现从无 puncture 曲面推广至带 puncture 曲面。

提出的方法

• 将新曲面 $\widetilde{\Sigma}$ 构造为带 puncture 曲面 $\Sigma$ 的 $\mathbb{Z}/2\mathbb{Z}$-覆盖，其中对合 $\sigma$ 作为横截变换作用。
• 在 $\widetilde{\Sigma}$ 上赋予一个三角剖分 $\widetilde{\tau}$，使得商曲面 $\widetilde{\Sigma}/\sigma$ 恢复为 $\Sigma$，且在 $\sigma$ 作用下，quiver 与势可等变提升。
• 证明覆盖曲面 $\widetilde{\Sigma}$ 的 Ginzburg dg 代数同构于原曲面 $\Sigma$ 的 Ginzburg dg 代数的斜群代数，模 Morita 等价。
• 利用 $\mathcal{C}_{\tau}$ 与 $\mathcal{C}_{\widetilde{\tau}}$ 之间的三角函子，将无 puncture 情况下已知的不可约对象分类结果转移至该情形。
• 定义轨道基本群范畴 $\pi_1^{\rm orb}(\Sigma, \mathcal{M}; \mathcal{P}')$，以参数化带 puncture 曲面簇范畴中的不可约对象。
• 利用 $\sigma$ 在 $\widetilde{\Sigma}$ 中的曲线上的作用，对对应于标记弧与扭曲表示的轨道进行分类。

实验结果

研究问题

• RQ1 如何通过群作用将带 puncture 曲面的簇范畴与无 puncture 覆盖曲面的簇范畴联系起来？
• RQ2 在 $\mathbb{Z}/2\mathbb{Z}$-作用下，原曲面与覆盖曲面的 Ginzburg dg 代数之间的确切关系是什么？
• RQ3 带 puncture 曲面的簇范畴中的不可约对象如何对应于覆盖曲面上的曲线？
• RQ4 无 puncture 情况下的不可约对象分类能否被提升，从而在带 puncture 情况下给出完整描述？
• RQ5 轨道结构（在 puncture 处具有二阶点）在参数化不可约对象中起什么作用？

主要发现

• 覆盖曲面 $\widetilde{\Sigma}$ 的 Ginzburg dg 代数同构于原曲面 $\Sigma$ 的 Ginzburg dg 代数的斜群代数，模 Morita 等价。
• 带非空边界的带 puncture 曲面的簇范畴 $\mathcal{C}_{\tau}$ 通过覆盖映射诱导的函子，与 $\mathcal{C}_{\widetilde{\tau}}$ 的全子范畴三角等价。
• 在 $\mathcal{C}_{\tau}$ 中的不可约对象与如定义 5.8 所定义的轨道基本群范畴 $\pi_1^{\rm orb}(\Sigma, \mathcal{M}; \mathcal{P}')$ 之间存在双射。
• 对于 $\widetilde{\Sigma}$ 中的闭曲线 $\widetilde{\gamma}$，$\sigma$-轨道决定了其在 $\mathcal{C}_{\tau}$ 中的对应对象：若 $\sigma\widetilde{\gamma} = \widetilde{\gamma}^{-1}$，则表示分裂为两个非同构的不可约对象，对应于标记弧。
• 当 $\sigma\widetilde{\gamma} = \widetilde{\gamma}$ 时，该对象对应于 $\mathcal{C}_{\tau}$ 中的单个不可约对象；当 $\sigma\widetilde{\gamma} = \widetilde{\gamma}^{-1}$ 时，对于 $\lambda \neq \pm 1$，表示为不可约，而在 $\lambda = \pm 1$ 时分解为对应于标记弧的表示。
• 该分类恢复了 [FST08] 中关于标记弧的已知结果，并将其推广至由对合作用下对称曲线产生的非标记弧。