ON AUTO-EQUIVALENCES AND COMPLETE DERIVED INVARIANTS OF GENTLE ALGEBRAS

中文速览

论文研究的是一类能用带标记点的曲面和线场来描述的三角范畴，核心问题是范畴等价或自同构究竟能否被曲面上的几何变换准确反映出来。作者把不可分解对象对应到曲线，并通过弧复形、三角剖分以及对象之间的交互来构造和验证这种几何对应，证明三角等价会诱导保持方向、标记点和线场同伦类的微分同胚。由此得到，曲面连同线场是这类范畴的完整不变量，尤其两个 gentle 代数导出等价，当且仅当它们的曲面模型之间存在保持这些结构的微分同胚；同时，自同构群可分解为曲面映射类群中稳定线场的部分与代数性的部分，球面对象对应的球面扭转则几何上正是沿相应闭曲线的 Dehn 扭转。这个结果把抽象的导出范畴问题转化为可视化的曲面拓扑问题，并为 gentle 代数的分类及其自同构研究提供了统一工具。

摘要

We study triangulated categories which can be modeled by an oriented marked surface $\mathcal{S}$ and a line field $\eta$ on $\mathcal{S}$ . This includes bounded derived categories of gentle algebras and – conjecturally – all partially wrapped Fukaya categories introduced by Haiden-Katzarkov-Kontsevich [22]. 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},\eta)$ 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 $\eta$ 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.

术语表

triangulated category

三角范畴

surface-like category

曲面型范畴

oriented marked surface

带定向标记曲面

line field

线场

partially wrapped Fukaya category

部分绕包福柯范畴

gentle algebra

gentle代数

bounded derived category

有界导出范畴

triangle equivalence

三角等价

auto-equivalence

自等价

diffeomorphism

微分同胚

mapping class group

映射类群

homotopy class

同伦类

A∞-category

A∞-范畴

indecomposable object

不可分解对象

local system

局部系统

mapping cone

映射锥

Auslander-Reiten triangle

Auslander–Reiten三角

derived invariant

导出不变量

triangle invariant

三角不变量

spherical twist

球面扭结

Dehn twist

Dehn扭转

Ext-quiver

Ext箭图

global dimension

整体维数

Brauer graph algebra

Brauer图代数

AAG invariant

AAG不变量

standard auto-equivalence

标准自等价