[论文解读] Consequences of the existence of Auslander-Reiten triangles with applications to perfect complexes for self-injective algebras

Peter Webb|arXiv (Cornell University)|Jan 20, 2013

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

一句话总结

本文证明，在一个k-线性 triangulated 范畴中，Auslander-Reiten 三角形的存在性使得对象可依据同态维数在移位意义下被分类，且在大多数情况下可完全确定。对于自对偶代数上的完美复形，本文刻画了其在 Auslander-Reiten 图中的位置，证明当幂零长度≥3时，任意度数中均存在具有任意大同调的不可约完美复形，并表明同调在远离图边界区域时趋于稳定，且在对称代数中，通过边界数据可利用厄米形式进行计算。

ABSTRACT

In a k-linear triangulated category (where k is a field) we show that the existence of Auslander-Reiten triangles implies that objects are determined, up to shift, by knowing dimensions of homomorphisms between them. In most cases the objects themselves are distinguished by this information, a conclusion which was also reached under slightly different hypotheses in a theorem of Jensen, Su and Zimmermann. The approach is to consider bilinear forms on Grothendieck groups which are analogous to the Green ring of a finite group. We specialize to the category of perfect complexes for a self-injective algebra, for which the Auslander-Reiten quiver has a known shape. We characterize the position in the quiver of many kinds of perfect complexes, including those of lengths 1, 2 and 3, rigid complexes and truncated projective resolutions. We describe completely the quiver components which contain projective modules. We obtain relationships between the homology of complexes at different places in the quiver, deducing that every self-injective algebra of radical length at least 3 has indecomposable perfect complexes with arbitrarily large homology in any given degree. We find also that homology stabilizes away from the rim of the quiver. We show that when the algebra is symmetric, one of the forms considered earlier is Hermitian, and this allows us to compute its values knowing them only on objects on the rim of the quiver.

研究动机与目标

• 理解 Auslander-Reiten 三角形的存在性如何通过同态维数，决定 triangulated 范畴中对象在移位意义下的分类。
• 刻画自对偶代数的 Auslander-Reiten 图中各种完美复形（如长度为1、2、3的复形，刚性复形，截断的投影化解）的位置。
• 描述完美复形范畴中包含投影模的图分量的结构。
• 分析图中不同区域的同调行为，特别是远离边界时同调的稳定性和在任意度数中存在具有任意大同调的复形。
• 证明当代数为对称代数时，格罗滕迪克群上的双线性型为厄米型，从而可从图边界的资料计算其取值。

提出的方法

• 作者在 triangulated 范畴的格罗滕迪克群上定义双线性型，其构造类似于群表示理论中的格林环。
• 他们利用 Auslander-Reiten 图的结构，特别是自对偶代数中已知的图形状，分析完美复形的位置。
• 他们应用 Auslander-Reiten 三角形的存在性，推导出同态维数的约束，从而实现对象在移位意义下的分类。
• 对于对称代数，他们证明其中一个双线性型为厄米型，从而可从图边界的资料计算该型的取值。
• 他们分析复形在图不同区域的同调，证明在内部区域同调趋于稳定，而在靠近边界区域则呈现无界增长。
• 他们利用图的结构刻画特定类型的复形，包括投影模和截断的投影化解。

实验结果

研究问题

• RQ1 Auslander-Reiten 三角形如何通过同态维数，约束 triangulated 范畴中对象在移位意义下的分类？
• RQ2 完美复形（长度为1、2、3，以及刚性复形和截断投影化解）在 Auslander-Reiten 图中的精确位置是什么？
• RQ3 在何种条件下，自对偶代数会存在具有任意大同调的不可约完美复形（在固定度数中）？
• RQ4 完美复形的同调在 Auslander-Reiten 图的不同区域（特别是靠近边界与远离边界）如何表现？
• RQ5 当代数为对称代数时，格罗滕迪克群上的双线性型的取值能否从图边界的资料确定？

主要发现

• Auslander-Reiten 三角形的存在性意味着在 k-线性 triangulated 范畴中，对象在移位意义下由它们之间同态空间的维数完全确定。
• 对于幂零长度至少为3的自对偶代数，存在在任意给定度数中具有任意大同调的不可约完美复形。
• 完美复形的同调在 Auslander-Reiten 图的内部区域（远离边界）趋于稳定。
• 包含投影模的图分量在结构和位置上均被完全描述。
• 当代数为对称代数时，格罗滕迪克群上的双线性型为厄米型，且其取值可从图边界的资料计算得出。
• 本文对完美复形（长度为1、2、3）、刚性复形以及截断投影化解在图中的位置提供了完整刻画。