[論文レビュー] Auslander-Reiten theory in functorially finite resolving subcategories

Matthias Krebs|arXiv (Cornell University)|Jan 6, 2015

Algebraic structures and combinatorial models参考文献 18被引用数 4

ひとこと要約

この論文は、アーツィン代数の関手的に有限な解消部分カテゴリに対して、アウスランダー＝リーン理論を拡張し、非可約準同型の次数理論を導入し、アウスランダー＝リーンクォーラの構造を特徴づける。この部分カテゴリに対してブラウアー＝スラル1.5予想を証明し、左部分グラフ型を用いて連結成分を分類し、部分カテゴリが有限であるときかつそのときに限り、それらがディンキン型であることを示す。非周期的成分の分類において、ヘリカル成分（後にコレイトーブとして特定）が重要な役割を果たす。

ABSTRACT

We analyze Auslander-Reiten quivers of functorially finite resolving subcategories. Chapter 1 gives a short introduction into the basic definitions and theorems of Auslander-Reiten theory in A-mod. We generalize these definitions and theorems in Chapter 2 and prove generalizations of the first and one and a half Brauer-Thrall conjecture for functorially finite resolving subcategories. Moreover, we show that sectional paths in Auslander-Reiten-quivers are invariants of decompositions of morphisms into sums of compositions of irreducible morphisms between indecomposable modules and are strongly connected to irreducible morphisms in subcategories. In Chapter 3 we introduce degrees of irreducible morphisms and use this notion to prove the generalization of the Happel-Preiser-Ringel theorem for functorially finite resolving subcategories. Finally, in Chapter 4, we analyze left stable components of Auslander-Reiten quivers and find out that their left subgraph types are given by Dynkin diagrams if and only if the corresponding subcategory is finite. In the preparation of the proof we discover connected components with certain properties and name them helical components due to their shape. It turns out later that these components are the same as coray tubes. In the final section we discuss under which conditions the length of modules tends to infinity if we knit to the left in a component and give a complete description of all connected components in which this is not the case.

研究の動機と目的

• アーツィン代数のモジュールカテゴリ A-mod から、関手的に有限な解消部分カテゴリ Ω へのアウスランダー＝リーン理論の一般化を図ること。
• Ω-非可約準同型 X → Y に対して、l(X) ≤ p·l(Y) を満たす定数 p を確立し、Ω におけるブラウアー＝スラル1.5予想の証明を可能にする。
• 非可約準同型の次数を定義し、それを利用することで、Ω 内部におけるハッペル＝プリーザー＝リンゲル定理を一般化すること。
• アウスランダー＝リーンクォーラの左安定成分の形状を特徴づけ、特に左部分グラフ型がディンキン図形である場合を特定すること。
• 左に knitting する際、モジュール長が無限に増大しない成分の構造を記述し、A∞、安定チューブ、ZA∞ が可能なタイプとして特定すること。

提案手法

• 関手的に有限な解消部分カテゴリ内での非可約準同型を導入・研究し、長さ比の上限を確立する。
• 非可約準同型の次数を、断面的経路に沿った合成における出現回数として定義する。
• 次数理論を用いてハッペル＝プリーザー＝リンゲル定理を一般化し、非可約準同型のグローバル次数がクォーラの構造を制御することを示す。
• アウスランダー＝リーンクォーラ ΓΩ の左安定成分を、その左部分グラフ型を研究することで分析し、翻訳クォーラの構造定理（Riedtmann）を用いる。
• ヘリカル成分（後にコレイトーブとして特定）を、非周期的かつ非ディンキン構造から生じる新しい成分クラスとして同定する。
• τΩ-軌道と長さの増加の理論を応用し、長さが繰り返し τΩ を適用しても有界のままである成分を分類する。

実験結果

リサーチクエスチョン

• RQ1 関手的に有限な解消部分カテゴリ Ω のアウスランダー＝リーンクォーラが、ディンキン図形によって与えられる左部分グラフ型をとる条件は何か？
• RQ2 ΓΩ の断面的経路に沿って、繰り返し適用される翻訳関手 τΩ に対して、モジュール長が有界のままであるのはいつか？
• RQ3 左に knitting する際、長さが無限に発散しない連結成分 Γ の構造は何か？
• RQ4 Ω 内での次数と非可約性の概念は、古典的ハッペル＝プリーザー＝リンゲル定理をどのように一般化するか？
• RQ5 ブラウアー＝スラル1.5予想は、関手的に有限な解消部分カテゴリへ拡張可能か？また、その成立条件は何か？

主な発見

• 任意の関手的に有限な解消部分カテゴリ Ω に対してブラウアー＝スラル1.5予想が成り立つ：Ω が無限大であれば、無限個の非同型の非分解モジュールが長さ k をとるような k が無限個存在する。
• ΓΩ の連結成分 Γ の左部分グラフ型がディンキン図形であることは、Ω が有限であることと同値である。これは、A∞∞、ユークリッド型、D∞ 型の排除によって示される。
• ヘリカル成分（後にコレイトーブとして特定）は、左安定成分の構造に自然に現れ、非周期的かつ非ディンキン的挙動によって特徴づけられる。
• 連結成分 Γ に、n → ∞ のとき l(τΩ^n(X)) が無限大に発散しないようなモジュール X が存在するならば、Γ の左部分グラフ型は A∞ であり、Γ は安定チューブまたは ZA∞ に同型である。
• 連結成分 Γ に有限個の τΩ-軌道しか存在しないならば、任意の k ∈ ℕ に対して、Γ 内に長さ k のモジュールは有限個しか存在しない。
• 第二ブラウアー＝スラル予想が部分カテゴリに対して反証される可能性があるが、これは、無限大の関手的に有限な解消部分カテゴリ Ω であって、τΩ-軌道が有限個であるような例が存在する場合に限るが、そのような例はまだ知られていない。