[論文レビュー] Cluster tilting for higher Auslander algebras

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

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

ひとこと要約

本稿は、高次アウスラー理論におけるクラスターティルティングを用いて、$n$-完全代数の体系的帰納的構成を提示する。有限次元代数$\Lambda$が$n$-完全（preinjective-likeなモジュールが$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.

研究の動機と目的

• 高次表現理論におけるクラスターティルティングを用いて、古典的アウスラー対応の高次版を構築すること。
• $n$-クラスターティルティング部分カテゴリをもつ有限次元代数を$n$-完全性の概念を用いて特徴付けること。
• 表現型のヘーシアン代数から出発して、$n$-完全代数の帰納的構成を提供すること。
• $n$-完全代数の構造を、一般化されたアウスラー代数構成に類似した関係付きクーヴィーを用いて提示すること。

提案手法

• 注入的モジュールからpreinjective-likeなモジュールを生成するための$n$-アウスラー＝リーマン移動関手$\tau_n$を導入する。
• このようなモジュールのカテゴリ$\mathcal{M}_n$が$n$-クラスターティルティング対象$M$の$\operatorname{add} M$に等しいとき、その代数を$n$-完全代数と定義する。
• $n$-クラスターティルティング対象$M$の自己準同型代数$\Gamma = \operatorname{End}_\Lambda(M)$を用いて、系列における次の代数を構成する。
• $(n+1)$-剛性およびマッピングコーン技法を適用し、$\Gamma$が$(n+1)$-完全であることを示す。
• 帰納的構造を用いて、$n$-完全代数の導来カテゴリに$n$-クラスターティルティング部分カテゴリを構成する。
• $\Lambda^{(n)}$を、$n$-アウスラー＝リーマン移動に基づく関係付きクーヴィーとして明示的に提示する。

実験結果

リサーチクエスチョン

• RQ1 どのようにして$n$-クラスターティルティング部分カテゴリをもつ代数を帰納的に構成できるか？
• RQ2 自己準同型代数が$n$-クラスターティルティング対象をもつとき、それが$(n+1)$-完全であるための条件は何か？
• RQ3 高次表現理論において、$n$-アウスラー＝リーマン移動はどのように$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$-アウスラー＝リーマン移動に基づく関係付きクーヴィーとしての表示が得られる。
• $n$-完全代数の導来カテゴリには$n$-クラスターティルティング部分カテゴリが存在し、古典的アウスラー＝リーマン理論を高次元に一般化する。
• この構成は、$2$-完全の場合に古典的アウスラー代数に一般化され、$\Lambda^{(2)} = \operatorname{End}_{\Lambda^{(1)}}(M^{(1)})$（$\Lambda^{(1)}$は表現型のヘーシアン代数）となる。
• $\Lambda^{(n)}$の構造は、移動付きクーヴィーのパス代数の商として明示的に記述され、古典的メイククーヴィーの図式を高次元に拡張する。