[论文解读] Tilting theory of preprojective algebras and $c$-sortable elements

Yuta Kimura|arXiv (Cornell University)|May 16, 2014

Algebraic structures and combinatorial models参考文献 19被引用 3

一句话总结

该论文在 w 为 c-可排序元素的条件下，建立了预投影代数因子 Πw 的子模的加权稳定范畴与相对稳定Auslander代数的有界导出范畴之间的导出等价关系。证明了 Sub^Z Πw 拥有一个倾斜对象 M，且 M 的自同态代数同构于 mod kQ 中某个扭无类的稳定Auslander代数，其整体维数至多为二。

ABSTRACT

For a finite acyclic quiver $Q$ and the corresponding preprojective algebra $Π$, we study the factor algebra $Π_w$ associated with a element $w$ in the Coxeter group introduced by Buan-Iyama-Reiten-Scott. The algebra $Π_w$ has a natural $\mathbb{Z}$-grading, and we prove that $\underline{\mathsf{Sub}}^{\mathbb{Z}}Π_w$ has a tilting object $M$. Moreover, we show that the endomorphism algebra of $M$ is isomorphic to the stable Auslander algebra of a certain torsion free class of $\mathsf{mod}\,kQ$.

研究动机与目标

• 构建 Sub Πw 与丛范畴之间 Amiot-Reiten-Todorov 等价关系的导出范畴版本。
• 研究有限无向有向quiver Q 的 Coxeter 群中 c-可排序元素 w 关联的代数 Πw 的加权结构。
• 在 w 为 c-可排序元素时，建立加权稳定范畴 Sub^Z Πw 中倾斜对象的存在性。
• 将倾斜对象的自同态代数描述为相对稳定Auslander代数，并对其整体维数进行界定。
• 在 Sub^Z Πw 与自同态代数的有界导出范畴之间建立导出等价性。

提出的方法

• 利用 quiver Q 的方向性，对预投影代数因子 Πw 引入 Z-加权结构。
• 将 c-可排序元素定义为在 Coxeter 元素 c 的子词中具有嵌套支撑集且存在约化表达式 w = c(0)⋯c(m) 的 w ∈ W。
• 对 c-可排序的 w，构造 Sub^Z Πw 中的倾斜对象 M = ⊕_{i=0}^m (Π_{c(0)⋯c(i)})(i)。
• 利用余倾模理论与相对稳定范畴理论分析自同态代数 Aw = End^Z_Πw(M)。
• 证明 Aw 同构于 End_kQ(M₀)/[T]，其中 M₀ 是 M 的零度部分，T 是一个满足 Sub T 以 M₀ 为加法生成元的倾斜 kQ-模。
• 应用余倾理论与 Hom^T 中的长正合列，将 Aw 的整体维数界为 2。

实验结果

研究问题

• RQ1 当 w 为 c-可排序元素时，加权稳定范畴 Sub^Z Πw 是否拥有倾斜对象？
• RQ2 倾斜对象在 Sub^Z Πw 中的自同态代数结构如何？
• RQ3 能否在 Sub^Z Πw 与自同态代数的有界导出范畴之间建立导出等价性？
• RQ4 倾斜对象的自同态代数的整体维数是多少？
• RQ5 该自同态代数与 mod kQ 中扭无类的稳定Auslander代数有何关系？

主要发现

• 对于有限无向有向quiver Q 的 Coxeter 群中任意 c-可排序元素 w，范畴 Sub^Z Πw 拥有一个倾斜对象 M = ⊕_{i=0}^m (Π_{c(0)⋯c(i)})(i)。
• 自同态代数 Aw = End^Z_Πw(M) 同构于 End_kQ(M₀)/[T]，其中 M₀ 是 M 的零度部分，T 是一个满足 Sub T 以 M₀ 为加法生成元的倾斜 kQ-模。
• 通过余倾理论与高阶 Ext 群的消失性，证明了 Aw 的整体维数至多为二。
• 存在一个三角等价关系 Sub^Z Πw ≃ D^b(Aw)，建立了加权稳定范畴与自同态代数的有界导出范畴之间的导出等价性。
• 该构造提供了 Amiot-Reiten-Todorov 等价关系的导出版本，通过加权结构将范畴 Sub Πw 与丛范畴联系起来。
• Aw 的整体维数界为二，源于关于相对稳定Auslander代数的一般性结果，该结果通过 n=2 的余倾解析过程（n步）得出。