[论文解读] Cluster tilting for higher Auslander algebras

Osamu Iyama|arXiv (Cornell University)|Sep 29, 2008

Algebraic structures and combinatorial models参考文献 48被引用 5

一句话总结

本文通过高阶Auslander理论中的簇丛倾斜，系统地构造了$n$-完全代数。证明了若有限维代数$\Lambda$是$n$-完全的（即其预内射类模构成一个$n$-簇丛倾斜子范畴），则其自同态代数$\operatorname{End}_\Lambda(M)$是$(n+1)$-完全的，从而得到一族递归构造的代数，这些代数具有$n$-簇丛倾斜对象，并给出了明确的有向图表示。

ABSTRACT

The concept of cluster tilting gives a higher analogue of classical Auslander correspondence between representation-finite algebras and Auslander algebras. The $n$-Auslander-Reiten translation functor $τ_n$ plays an important role in the study of $n$-cluster tilting subcategories. We study the category $\MM_n$ of preinjective-like modules obtained by applying $τ_n$ to injective modules repeatedly. We call a finite dimensional algebra $Λ$ \emph{$n$-complete} if $\MM_n=\add M$ for an $n$-cluster tilting object $M$. Our main result asserts that the endomorphism algebra $\End_Λ(M)$ is $(n+1)$-complete. This gives an inductive construction of $n$-complete algebras. For example, any representation-finite hereditary algebra $Λ^{(1)}$ is 1-complete. Hence the Auslander algebra $Λ^{(2)}$ of $Λ^{(1)}$ is 2-complete. Moreover, for any $n\ge1$, we have an $n$-complete algebra $Λ^{(n)}$ which has an $n$-cluster tilting object $M^{(n)}$ such that $Λ^{(n+1)}=\End_{Λ^{(n)}}(M^{(n)})$. We give the presentation of $Λ^{(n)}$ by a quiver with relations. We apply our results to construct $n$-cluster tilting subcategories of derived categories of $n$-complete algebras.

研究动机与目标

• 通过高阶表示理论中的簇丛倾斜，发展经典Auslander对应关系的高阶类比。
• 通过$n$-完全性的概念，刻画存在$n$-簇丛倾斜子范畴的有限维代数。
• 从表示有限型的遗传代数出发，提供$n$-完全代数的归纳构造方法。
• 通过有向图与关系描述$n$-完全代数的结构，推广经典Auslander代数的构造。

提出的方法

• 引入$n$-Auslander-Reiten平移函子$\tau_n$，从内射模生成预内射类模。
• 将$n$-完全代数定义为：此类模的范畴$\mathcal{M}_n$等于某个$n$-簇丛倾斜对象$M$的加法闭包$\operatorname{add} M$。
• 利用$n$-簇丛倾斜对象$M$的自同态代数$\Gamma = \operatorname{End}_\Lambda(M)$，构造序列中的下一个代数。
• 应用$(n+1)$-刚性与映射锥技巧，证明$\Gamma$是$(n+1)$-完全的。
• 利用归纳结构，在$n$-完全代数的导出范畴中构造$n$-簇丛倾斜子范畴。
• 显式给出$\Lambda^{(n)}$作为有向图与关系的商代数，推广了带网格关系的平移有向图的路径代数。

实验结果

研究问题

• RQ1 如何归纳构造具有$n$-簇丛倾斜子范畴的代数？
• RQ2 在什么条件下，$n$-簇丛倾斜对象的自同态代数本身是$(n+1)$-完全的？
• RQ3 $n$-Auslander-Reiten平移如何在高阶表示理论中生成$n$-簇丛倾斜子范畴？
• RQ4 通过此归纳过程产生的$n$-完全代数的有向图与关系表示是什么？
• RQ5 这些代数的导出范畴中如何实现$n$-簇丛倾斜子范畴？

主要发现

• 在$n$-完全代数$\Lambda$中，$n$-簇丛倾斜对象$M$的自同态代数$\operatorname{End}_\Lambda(M)$是$(n+1)$-完全的。
• 从任意表示有限型遗传代数$\Lambda^{(1)}$出发，可通过$\Lambda^{(n+1)} = \operatorname{End}_{\Lambda^{(n)}}(M^{(n)})$递归构造出一族$n$-完全代数$\Lambda^{(n)}$。
• 每个$\Lambda^{(n)}$都存在一个$n$-簇丛倾斜对象$M^{(n)}$，且该代数可由$n$-Auslander-Reiten平移导出的关系有向图明确表示。
• $n$-完全代数的导出范畴中存在$n$-簇丛倾斜子范畴，将经典Auslander-Reiten理论推广至高维情形。
• 该构造推广了经典Auslander代数：当$n=2$时，$\Lambda^{(2)} = \operatorname{End}_{\Lambda^{(1)}}(M^{(1)})$，即$2$-完全情形。
• 代数$\Lambda^{(n)}$的结构被显式描述为平移有向图的路径代数模以网格关系，将经典McKay有向图图景推广至高维。