[論文レビュー] Auslander-Reiten theory revisited

Osamu Iyama|arXiv (Cornell University)|Mar 19, 2008

Algebraic structures and combinatorial models参考文献 103被引用数 35

ひとこと要約

本稿は、$n$-クラスタティルティング部分カテゴリを導入することで、アウスランダー＝レーゲン理論を再考し、ほぼ分裂系列およびアウスランダー代数の高次元版を確立する。特に、クルール次元 $n+1$ の順序上の $n$-アウスランダー代数は、特に良い性質を示し、$n$-カラビ＝ヤウ圏や非可換クリープント・リゾリューションとの関係を有する。ハイパーサーフェス特異点および前置代数における $2$-クラスタティルティング対象の明示的分類がなされている。

ABSTRACT

We recall several results in Auslander-Reiten theory for finite-dimensional algebras over fields and orders over complete local rings. Then we introduce $n$-cluster tilting subcategories and higher theory of almost split sequences and Auslander algebras there. Several examples are explained.

研究の動機と目的

• クラスタティルティング部分カテゴリを用いて、古典的アウスランダー＝レーゲン理論を高次元に一般化すること。
• クラスタティルティングの文脈において、高次元のほぼ分裂系列およびアウスランダー代数の理論を確立すること。
• 順序上のコhen-Macaulay加群から生じる $n$-アウスランダー代数の表現論を調査すること。
• ハイパーサーフェス特異点および前置代数における $2$-クラスタティルティング対象を分類すること。
• $n$-アウスランダー代数と $n$-カラビ＝ヤウ圏、非可換クリープント・リゾリューションとの関係を明らかにすること。

提案手法

• モジュールカテゴリ内での最大の $(n-1)$-直交部分カテゴリとして $n$-クラスタティルティング部分カテゴリを導入する。
• 古典的概念の高次元版として、$n$-ほぼ分裂系列および $n$-アウスランダー＝レーゲン移動を定義する。
• $n$-クラスタティルティング部分カテゴリ内の加法的生成元の自己準同型代数として $n$-アウスランダー代数を構成する。
• 整合的関手および安定モジュールカテゴリを用いて、古典的アウスランダー＝レーゲン理論を高次元に一般化する。
• ティルティング変異理論およびフォミン＝ツェレヴィンスキーのクラスタ代数の結果を応用し、$2$-クラスタティルティング対象を分類する。
• 縮小されたコクセター群の元およびクイバー関係を用いて、前置代数およびハイパーサーフェス特異点における $2$-クラスタティルティング対象を分析する。

実験結果

リサーチクエスチョン

• RQ1 どのようにして、$n$-クラスタティルティング部分カテゴリを用いて、古典的アウスランダー＝レーゲン理論を高次元に一般化できるか？
• RQ2 順序およびコhen-Macaulay加群の文脈において、$n$-アウスランダー代数の構造的性質は何か？
• RQ3 ハイパーサーフェス特異点および前置代数において、$2$-クラスタティルティング対象が存在する条件は何か？
• RQ4 $n$-クラスタティルティング部分カテゴリにおいて、$n$-ほぼ分裂系列および $n$-アウスランダー＝レーゲン双対性はどのように振る舞うか？
• RQ5 $n$-アウスランダー代数と非可換クリープント・リゾリューションとの関係は、$n$-カラビ＝ヤウ設定においてどのように規定されるか？

主な発見

• タイプ $A_{2m-1}$ の単純特異点に対して、$Ω\text{CM}(\Lambda)$ 内には正確に二つの $2$-クラスタティルティング対象が存在し、それに対応する自己準同型代数は $k[x]/(x^m)$ に同型である。
• タイプ $D_{2m}$ の単純特異点に対して、正確に六つの $2$-クラスタティルティング対象が存在し、自己準同型代数は関係 $\varphi^{m-1} = \alpha\beta$、$\varphi\alpha = \beta\varphi = 0$ を持つクイバーで与えられる。
• タイプ $T_{3,2q+2}$ の最小的楕円的曲線特異点（$q \geq 3$）に対して、正確に六つの $2$-クラスタティルティング対象が存在し、関係 $\alpha\beta = \varphi^2$、$\beta\alpha = \psi^q$、$\alpha\psi = \varphi\alpha$、$\psi\beta = \beta\varphi$ を持つクイバーである。
• タイプ $T_{2p+2,2q+2}$ の最小的楕円的曲線特異点（$p,q \geq 1$ かつ $(p,q) \neq (1,1)$）に対して、正確に二十四の $2$-クラスタティルティング対象が存在し、$\varphi, \alpha, \beta, \gamma, \delta, \psi$ を含む六つの関係を持つクイバーである。
• クルール次元3において、$\Lambda' = k[[x,y,u,v]]/(f(x,y) + uv)$ で $f_i \notin (x,y)^2$ のとき、$w \in \mathfrak{S}_n$ でインデックスづけられた正確に $n!$ 個の基本的 $2$-クラスタティルティング対象 $M'_w$ が存在し、空でない $I \subseteq \{1,\dots,n\}$ に対して $2^n - 1$ 個の非分解的剛性対象 $U_I$ が存在する。
• $\operatorname{End}_{\Lambda'}(M'_w)$ は非可換クリープント・リゾリューションであり、互いに導来同値な $3$-カラビ＝ヤウ代数である。