[論文レビュー] 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-線型三角的圏において、Auslander-Reiten三角形の存在が、自己同型の次元を用いたずれによる分類を可能にし、大多数の場合は完全に決定されることを確立している。自己同型的代数上の完全複体に関しては、Auslander-Reiten図の位置を特徴づけ、radical長が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三角形の存在が、自己同型の次元を用いて、ずれによる対象の分類をどのように決定するかを理解すること。
• 自己同型的代数のAuslander-Reiten図における、長さ1, 2, 3の完全複体、剛性複体、および切断された射影的分解の位置を特徴づけること。
• 完全複体の圏における射影的加群を含む図の成分の構造を記述すること。
• 図全体におけるホモロジーの振る舞いを分析し、特に縁から離れた領域でのホモロジーの安定化と、任意の次数で任意に大きなホモロジーをもつ複体の存在を明らかにすること。
• 対称代数の場合に、Grothendieck群上の双線形形式がヘルミート的であることを示し、その値が図の縁のデータから計算可能であることを示すこと。

提案手法

• 著者たちは、群表現理論におけるグリーン環に類似した、三角的圏のGrothendieck群への双線形形式を定義する。
• 自己同型的代数における既知の形状を持つAuslander-Reiten図の構造を用いて、完全複体の位置を分析する。
• Auslander-Reiten三角形の存在を応用し、自己同型の次元に関する制約を導出し、ずれによる対象の分類を導く。
• 対称代数の場合、双線形形式の一つがヘルミート的であることを示し、その形式の値が図の縁のデータから計算可能であることを示す。
• 図の異なる領域における複体のホモロジーを分析し、内部領域ではホモロジーが安定化し、縁付近では無限大に発散することを証明する。
• 図の構造を用いて、射影的加群や切断された射影的分解など、特定のクラスの複体を特徴づける。

実験結果

リサーチクエスチョン

• RQ1 Auslander-Reiten三角形は、自己同型の次元に基づいて、三角的圏における対象のずれによる分類をどのように制約するか。
• RQ2 長さ1, 2, 3の完全複体、剛性複体、および切断された射影的分解の、Auslander-Reiten図における正確な位置は何か。
• RQ3 自己同型的代数が、固定された次数で任意に大きなホモロジーをもつ非分解的完全複体をもつための条件は何か。
• RQ4 完全複体のホモロジーは、Auslander-Reiten図の異なる領域、特に縁付近と縁から離れた領域でどのように振る舞うか。
• RQ5 代数が対称的であるとき、Grothendieck群上の双線形形式の値は、図の縁のデータから決定可能か。

主な発見

• Auslander-Reiten三角形の存在により、k-線型三角的圏における対象は、それらの間の自己同型空間の次元によって、ずれを除いて一意に決定される。
• radical長が3以上の自己同型的代数では、任意の指定された次数で任意に大きなホモロジーをもつ非分解的完全複体が存在する。
• 完全複体のホモロジーは、Auslander-Reiten図の内部領域（縁から離れた領域）では安定化する。
• 射影的加群を含む図の成分は、その構造と位置に関して完全に記述されている。
• 代数が対称的であるとき、Grothendieck群上の双線形形式はヘルミート的であり、その値は図の縁に制限されたデータから計算可能である。
• 本稿では、長さ1, 2, 3の完全複体、剛性複体、および切断された射影的分解の、図内における位置が完全に特徴づけられている。