[論文レビュー] Auslander-Reiten duality for subcategories

Rasool Hafezi|arXiv (Cornell University)|May 18, 2017

Algebraic structures and combinatorial models参考文献 12被引用数 8

ひとこと要約

本稿は、アーティン代数上の有限射影次元を持つ加群やグローバー・プロジェクト型加群を含む、mod-Λ の解消-コ解消で、関手的に有限な部分カテゴリに対してアウスランダー＝レーゲン・双対性を確立する。Λ が 1-グローバー代数であるとき、𝒫<∞(Λ) における相対アウスランダー＝レーゲン移動の計算方法を提供し、Gprj-Λ 上の移動が最初のシジージ関手と一致する条件を同定する。

ABSTRACT

Auslander-Reiten duality for module categories is generalized to some sufficiently nice subcategories. In particular, our consideration works for $\mathcal{P}^{

研究の動機と目的

• mod-Λ の部分カテゴリへのアウスランダー＝レーゲン双対性の拡張を、特に解消-コ解消で、関手的に有限で、直和成分について閉じた部分カテゴリに対して行う。
• Λ が 1-グローバー代数であるとき、有限射影次元を持つ加群の部分カテゴリにおけるアウスランダー＝レーゲン移動の計算手法を提供する。
• グローバー・プロジェクト型加群のカテゴリ上でのアウスランダー＝レーゲン移動が最初のシジージ関手と一致する条件を同定する。
• グローバー・プロジェクト型加群の文脈において、グローバル次元や導来同値といった古典的不変量と相対アウスランダー＝レーゲン双対性との関係を確立する。
• リングルとチャンの双対性結果をより広いカテゴリカル枠組みへ一般化し、特異性やプレプロジェクティブ代数への応用を可能にする。

提案手法

• 安定カテゴリの部分カテゴリに対するリングル＝チャンの同値性の一般化を用い、射影的を十分に備えたアーベルカテゴリおよびエピモンフィズムの核について閉じた部分カテゴリへ拡張する。
• 「$ S_{\mathcal{X}}(\mathcal{A})/\mathcal{V} $」の構成（$ \mathcal{V} $ は自明な複体からなる）を用い、$ \mathrm{mod}\underline{\mathcal{X}} $ と同値であることを確立し、双対性結果を得る。
• コトルスン・ペアと相対ホモロジー代数の理論を用い、特にグローバー代数の文脈で $ \mathcal{P}^{<\infty}(\Lambda) $ と $ \mathrm{Gprj}\text{-}\Lambda $ を関連付ける。
• クローフォードによるプレプロジェクティブ代数とクライン特異点に関する結果を応用し、三角同値 $ \mathrm{Gprj}\text{-}T_2(R_Q)/\mathcal{V} \simeq \mathrm{mod}\Pi(\mathcal{Q}) $ を導出し、表現論と特異性理論を結びつける。
• 「$ \mathrm{mod}(\underline{\mathrm{Gprj}}\text{-}\Lambda) $」上のフレーバー型カテゴリ構造を用い、相対アウスランダー＝レーゲン移動を通じてグローバル次元と半単純性を分析する。
• 安定グローバー・プロジェクト型カテゴリの導来同値不変性を適用し、導来同値な代数間で半単純性と双対性の性質が保たれることを示す。

実験結果

リサーチクエスチョン

• RQ1 解消-コ解消で、関手的に有限な mod-Λ の部分カテゴリがアウスランダー＝レーゲン双対性を有するための条件は何か？
• RQ2 Λ が 1-グローバー代数であるとき、部分カテゴリ $ \mathcal{P}^{<\infty}(\Lambda) $ におけるアウスランダー＝レーゲン移動をどのように明示的に計算できるか？
• RQ3 グローバー・プロジェクト型加群のカテゴリ上でのアウスランダー＝レーゲン移動が最初のシジージ関手と同型となるのはいつか？
• RQ4 $ \mathrm{mod}(\underline{\mathrm{Gprj}}\text{-}\Lambda) $ のグローバル次元とそのカテゴリの半単純性の関係は何か？
• RQ5 導来同値性や代数のグルーピング構成は、グローバー・プロジェクト型部分カテゴリにおけるアウスランダー＝レーゲン双対性の存在と形態にどのように影響するか？

主な発見

• $ \mathcal{P}^{<\infty}(\Lambda) $ である有限射影次元を持つ加群の部分カテゴリは、Λ が 1-グローバー代数である限り、アウスランダー＝レーゲン双対性を有し、相対アウスランダー＝レーゲン移動を明示的に計算可能である。
• グローバー・プロジェクト型加群に関しては、アウスランダー＝レーゲン移動が最初のシジージ関手と同型となるのは、$ \mathrm{mod}(\underline{\mathrm{Gprj}}\text{-}\Lambda) $ が半単純である場合に限る。これは、グローバル次元が 0 であるときに限り成立する。
• 同値 $ \underline{\mathrm{Gprj}}\text{-}T_2(R_Q)/\mathcal{V} \simeq \mathrm{mod}\Pi(\mathcal{Q}) $ が成立し、一般化された双対性枠組みを通じてクライン特異点とプレプロジェクティブ代数を結びつける。
• 二次単項式代数は、$ \mathrm{mod}(\underline{\mathrm{Gprj}}\text{-}\Lambda) $ が半単純であるという条件を満たす。なぜなら、そのグローバー・プロジェクト型安定カテゴリは三角カテゴリであり、半単純カテゴリの積と同値であるからである。
• 代数の単純グルーピング構成は、$ \mathrm{mod}(\underline{\mathrm{Gprj}}\text{-}\Lambda) $ の半単純性を保つ。したがって、$ \mathbb{A}_n $ 型のクラスター・ティルト代数や、クラスタータブの最大剛性対象の自己準同型代数は、双対性条件を満たす。
• 導来同値性の下で、$ \mathrm{mod}(\underline{\mathrm{Gprj}}\text{-}\Lambda) $ が半単純であるという性質は保存される。これは、安定グローバー・プロジェクト型カテゴリの不変性によって示される。