[论文解读] On auto-equivalences and complete derived invariants of gentle algebras

Sebastian Opper|arXiv (Cornell University)|Apr 9, 2019

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

一句话总结

该论文证明了温和代数的导出范畴之间的三角等价关系诱导出关联的定向带线场的带标记曲面的保向微分同胚，从而证明了对偶 $(\mathcal{S}, \eta)$ 是温和代数的完整导出不变量。此外，该研究表明自同构群是映射类群中线场稳定子群与一个显式描述的群的扩张，并将球面扭转识别为德恩扭转。

ABSTRACT

We study triangulated categories which can be modeled by an oriented marked surface $\mathcal{S}$ and a line field $η$ on $\mathcal{S}$. This includes bounded derived categories of gentle algebras and -- conjecturally -- all partially wrapped Fukaya categories introduced by Haiden-Katzarkov-Kontsevich. We show that triangle equivalences between such categories induce diffeomorphisms of the associated surfaces preserving orientation, marked points and line fields up to homotopy. This shows that the pair $(\mathcal{S}, η)$ is a triangle invariant of such categories and prove that it is a complete derived invariant for gentle algebras of arbitrary global dimension. We deduce that the group of auto-equivalences of a gentle algebra is an extension of the stabilizer subgroup of $η$ in the mapping class group and a group, which we describe explicitely in case of triangular gentle algebras. We show further that diffeomorphisms associated to spherical twists are Dehn twists.

研究动机与目标

• 通过带线场的曲面模型，对温和代数的导出范畴建立几何分类。
• 证明此类范畴之间的三角等价关系诱导出保持定向、标记点和线场的微分同胚（同伦意义下）。
• 证明曲面与线场对 $(\mathcal{S}, \eta)$ 是任意全局维数的温和代数的完整导出不变量。
• 将温和代数的自同构群结构描述为映射类群与一个显式群的扩张，其中涉及标度等价关系。
• 将导出范畴中的球面扭转识别为曲面模型上的几何德恩扭转。

提出的方法

• 使用带标记曲面 $\mathcal{S}$ 和线场 $\eta$，将温和代数的导出范畴建模为类似曲面的范畴。
• 在导出范畴的不可约对象与 $\mathcal{S}$ 上的带格曲线的同伦类之间建立双射。
• 利用态射的特征序列和交点数据，重构对象并检测最小性、旋转数等基本性质。
• 证明三角等价关系在弧复形上诱导出单纯同构，该同构可提升为保持 $\eta$（同伦意义下）的曲面微分同胚。
• 应用三角剖分与映射类群作用的理论，分析自同构诱导的映射 $\Psi$ 的核与像。
• 使用几何重构技术，表明导出范畴中的倾斜对象对应满足特定交点与复合条件的弧集，从而实现端自同态环的代数重构。

实验结果

研究问题

• RQ1 温和代数的导出范畴之间的三角等价关系能否在关联的几何曲面模型上实现为微分同胚？
• RQ2 由带标记曲面与线场构成的对 $(\mathcal{S}, \eta)$ 是否是温和代数的完整导出不变量？
• RQ3 温和代数的自同构群与其曲面模型的映射类群有何关系？
• RQ4 导出范畴中的球面扭转是否对应于曲面的几何德恩扭转？
• RQ5 能否从其弧表示几何重构温和代数导出范畴中的倾斜对象？

主要发现

• 温和代数的导出范畴之间的三角等价关系诱导出关联曲面 $\mathcal{S}$ 的微分同胚，该微分同胚保持定向、标记点和线场 $\eta$（同伦意义下）。
• 对 $(\mathcal{S}, \eta)$ 是任意全局维数的温和代数的完整导出不变量，即导出等价性蕴含曲面与线场数据的等价性。
• 温和代数的自同构群是映射类群中 $\eta$ 的稳定子群与一个显式描述的标度等价群的扩张，对三角形温和代数已明确给出。
• 导出范畴中的球面扭转与曲面模型上的德恩扭转精确对应，从而实现了这些范畴自同构的几何实现。
• 温和代数导出范畴中的倾斜对象可从满足特定交点与复合条件的弧集几何重构，且其端自同态环通过几何构造同构于原代数。
• 倾斜对象的端自同态环同构于 $k\Gamma/R$，其中 $\Gamma$ 是编码弧之间有向交点的箭头图，$R$ 是二次零关系的理想，从而提供了温和代数在导出等价下封闭性的几何证明。