[论文解读] On the derived categories of gentle and skew-gentle algebras: homological algebra and matrix problems

Igor Burban, Yuriy Drozd|arXiv (Cornell University)|Jun 26, 2017

Algebraic structures and combinatorial models参考文献 43被引用 12

一句话总结

该论文证明了任意gentle代数或skew-gentle代数的导出范畴的Rouquier维数至多为1，并进一步将其推广至任意tame投影曲线，证明其Rouquier维数也为1。此外，该研究通过矩阵问题和半链表示，对gentle代数上投射模的同伦范畴中的不可约对象进行了分类。

ABSTRACT

In this paper, we investigate properties of the bounded derived category of finite dimensional modules over a gentle or skew-gentle algebra. We show that the Rouquier dimension of the derived category of such an algebra is at most one. Using this result, we prove that the Rouquier dimension of an arbitrary tame projective curve is equal to one, too. Finally, we elaborate the classification of indecomposable objects of the (possibly unbounded) homotopy category of projective modules of a gentle algebra.

研究动机与目标

• 确定有限维gentle代数与skew-gentle代数的模的导出范畴的Rouquier维数。
• 将上述关于Rouquier维数的结果推广至tame投影曲线。
• 对gentle代数上投射模的同伦范畴中的不可约对象进行分类。
• 为分类skew-gentle代数及其导出范畴的表示，建立矩阵问题框架。
• 从导出范畴到矩阵表示范畴，建立一个全纯、本质满射且保持不可约性的函子。

提出的方法

• 使用recollement技巧与同调代数分析skew-gentle代数及其导出范畴。
• 构造一个三元组范畴，并将其与矩阵问题关联，以建模skew-gentle代数的表示。
• 引入范畴 $\mathsf{Tri}^*(A)$，并通过带装饰的矩阵将其与矩阵问题关联。
• 应用双模问题与(半-)链族的表示，对不可约对象进行分类。
• 利用半正交分解，为gentle代数的导出范畴定义一个矩阵问题。
• 从 $D^b(B\text{-mod})$ 到半链族 $\mathfrak{Y}$ 的表示范畴建立一个全纯且本质满射的函子，将对象映射为带装饰的矩阵 $\Theta$。

实验结果

研究问题

• RQ1 gentle代数或skew-gentle代数的导出范畴的Rouquier维数是多少？
• RQ2 能否使用导出范畴技巧确定tame投影曲线的Rouquier维数？
• RQ3 如何对gentle代数上投射模的同伦范畴中的不可约对象进行分类？
• RQ4 skew-gentle代数表示理论背后的矩阵问题结构是什么？
• RQ5 是否存在从skew-gentle代数的导出范畴到矩阵表示范畴的全纯且本质满射函子？

主要发现

• 任意gentle代数或skew-gentle代数的导出范畴的Rouquier维数至多为1。
• 作为上述结果的推论，任意tame投影曲线的Rouquier维数等于1。
• gentle代数的完美导出范畴中的不可约对象，可通过与之对应的skew-gentle代数关联的半链族进行分类。
• gentle代数上投射模的同伦范畴中的不可约对象，可通过与半链关联的矩阵问题实现分类。
• 存在一个全纯、本质满射且保持不可约性的函子，从 $D^b(B\text{-mod})$ 到半链族 $\mathfrak{Y}$ 的表示范畴，将对象映射为带装饰的矩阵 $\Theta$。
• 对 $B$-模 $S_\gamma$ 与 $\widetilde{W}_{(e,(a,b))}$ 之间态射的分类，导出了导出范畴的一致矩阵问题模型。