[論文レビュー] Auslander correspondence

Osamu Iyama|arXiv (Cornell University)|Nov 29, 2004

Algebraic structures and combinatorial models被引用数 165

ひとこと要約

本稿は、有限次元代数のグローバル次元とドミナント次元を制御するものとして、モジュール圏における最大の $(n-1)$-直交部分カテゴリと関連付けることにより、アウスランダーの対応の高次元一般化を確立する。タイプ $(d,m,n)$ のアウスランダー代数のホモロジー的特徴づけを提供し、古典的表現論を高次元へ拡張するとともに、非可換クリープント解消と表現次元へ接続する。

ABSTRACT

We study Auslander correspondence from the viewpoint of higher dimensional Auslander-Reiten theory on maximal orthogonal subcategories. We give homological characterizations of Auslander algebras, especially an answer to a question of M. Artin. They are also closely related to Auslander's representation dimension of artin algebras and Van den Bergh's non-commutative crepant resolutions of Gorenstein singularities.

研究の動機と目的

• 最大の $(n-1)$-直交部分カテゴリを用いた高次元表現論へのアウスランダーの古典的対応の一般化。
• グローバル次元やドミナント次元といったホモロジー不変量を用いたタイプ $(d,m,n)$ のアウスランダー代数の特徴づけ。
• $d>2$ に対してコhen-Macaulay加群における加法的生成子の自己同型環のホモロジー的特徴づけに関する M. アルチンの問いの解決。
• 高次元アウスランダー＝アレン理論と非可換クリープント解消および表現次元との接続。
• 最大の $1$-直交部分カテゴリに関する導来同値性の結果を確立し、非可換代数幾何学におけるより広範な予想を支援する。

提案手法

• 有限次元代数 $\Lambda$ に対して、$Ω$-mod$λ$ における最大の $(n-1)$-直交部分カテゴリを定義・研究し、古典的アウスランダー＝アレン理論を一般化する。
• このような部分カテゴリの加法的生成子 $M$ に対して、自己同型代数 $\Gamma = \mathrm{End}_\Lambda(M)$ を構成し、そのホモロジー的性質を分析する。
• アウスランダーの $n$-ゴレンスタイン条件とドミナント次元の間の橋渡しとして、$(m+1,n+1)$-条件を導入し、ホモロジー的特徴づけを可能にする。
• 導来圏と三角圏、特にクラスター圏 $\mathcal{C}_H = D^b(\mathrm{mod}\, H)/F$ を用い、$\mathrm{Ext}^1$-配置と最大の $1$-直交部分カテゴリを関連付ける。
• 被覆関手 $\mathbb{P}: k(\mathbb{Z}\Delta) \to \underline{\mathrm{mod}}\,\Lambda$ を含む可換図式を確立し、導来シフトとシンジーギー関手を結びつける。
• 結果を $\mathrm{CM}\Lambda$、つまり $R$-順序上のコhen-Macaulay加群の圏に適用し、$\mathrm{id}_\Lambda T = m$ を満たすコチルティング加群 $T$ に対する直交部分カテゴリ $^\perp T$ を研究する。

実験結果

リサーチクエスチョン

• RQ1 最大の $(n-1)$-直交部分カテゴリを用いたアウスランダーの古典的対応は、高次元へ一般化可能か？
• RQ2 このような部分カテゴリの加法的生成子の自己同型環のホモロジー的性質は何か？
• RQ3 $d>2$ のコhen-Macaulay順序に対して、$\mathrm{End}_\Lambda(M)$ のホモロジー的特徴づけに関する M. アルチンの問いはどのように解決できるか？
• RQ4 最大の $(d-1)$-直交部分カテゴリと非可換クリープント解消の間の関係は何か？
• RQ5 与えられた圏におけるすべての最大の $1$-直交部分カテゴリは、導来同値な自己同型代数を与えるか？

主な発見

• 有限次元代数 $\Gamma$ に対して、$\mathrm{gl.dim}\,\Gamma \leq n+1$ および $\mathrm{dom.dim}\,\Gamma \geq n+1$ を満たすものについて、$\mathrm{mod}\,\Lambda$ 内の有限最大 $(n-1)$-直交部分カテゴリの同値類と、モラita同値類の間の全単射が確立された。
• $(n+1,n+1)$-条件は、タイプ $(d,d,d-1)$ のアウスランダー代数を特徴づけ、$d$ 次元のアーチン＝シュレーディンガー正則代数と関連付ける。
• $d=m=n+1$ のとき、$(n+1,n+1)$-条件は、ホモロジー的意味で $n$-ほぼ分解系列の存在を示唆する。
• すべての最大の $1$-直交部分カテゴリは、ヴァン・デン・ベルグによるボンダル＝オルロフ予想の一般化を支援する意味で導来同値である。
• コチルティング加群 $T$ に対して $\mathrm{id}_\Lambda T = m$ を満たすとき、$^\perp T$ のカテゴリは、$m>2$ であっても最大の $(n-1)$-直交部分カテゴリを介して高次元アウスランダー＝アレン理論を支持する。
• 被覆関手 $\mathbb{P}: D^b(\mathrm{mod}\, H) \to \underline{\mathrm{mod}}\,\Lambda$ は、自己同値 $F = \tau^{-1}[1]$ を安定圏へ上昇させ、$\mathrm{Ext}^1$-直交性を保ち、$\mathrm{Ext}^1$-配置と最大の $1$-直交部分カテゴリの間の対応を可能にする。