[論文レビュー] Infinite dimensional representations of canonical algebras

Idun Reiten, Claus Michael Ringel|ArXiv.org|Jun 19, 2002

Algebraic structures and combinatorial models被引用数 4

ひとこと要約

この論文は、傾き理論を用いて、完全に代数的かつ分類可能な代数への無限次元モジュールの構造理論を、たんなる代数的かつ分類可能な代数へと拡張する。すべてのモジュールは、真の安定分離的チューブ族によって生成されたり、その双対的（cogenerated）な成分に分解され、特に一般化モジュールとプリューファー・モジュールが、核心的カテゴリの分類においてExt-直交性の中心的役割を果たす。

ABSTRACT

The aim of this paper is to extend the structure theory for infinitely generated modules over tame hereditary algebras to the more general case of modules over concealed canonical algebras. Using tilting, we may assume that we deal with canonical algebras. The investigation is centered around the generic and the Prüfer modules, and how other modules are determined by these modules.

研究の動機と目的

• たんなる代数的かつ分類可能な代数における無限生成モジュールの構造理論を、より広い分類可能な代数のクラスへ一般化すること。
• コア的な結果（一般化モジュールとプリューファー・モジュールに焦点を当てたもの）が表現型に依存するのではなく、真の安定分離的チューブ族の存在に依存することを示すこと。
• モジュール圏ModΛにおける捩れ対が分裂することを確立し、その捩れ自由クラスがチューブ族によって双対的に生成されるモジュールからなる場合、関連するカテゴリをExt-直交性によって特徴付けること。
• チューブ族によって生成されかつ双対的に生成されるモジュールからなるカテゴリωを分類し、それが一般化モジュールとプリューファー・モジュールの直和から成ることを示すこと。
• チューブ族によって双対的に生成されるモジュールのカテゴリと、それによって生成されるカテゴリが、ωとのExt-直交性によって特徴づけられることを示すこと。

提案手法

• 傾き理論を用いて、分類可能な代数の研究を、チューブ族がゼロの欠損を持つモジュールによって定義される分類可能な代数へ還元する。
• チューブ族によって双対的に生成されるカテゴリ$\Cal{C}$、チューブ族によって生成されるカテゴリ$\Cal{D}$、および$\omega = \Cal{C} \cap \Cal{D}$を導入し、これらが直積および直和極限に関して閉じていることを示す。
• 捩れ対理論を用いて、指定された捩れ自由クラスを持つすべての捩れ対が分裂することを示し、$\Cal{C}$および$\Cal{D}$が$\omega$とのExt-直交性によって特徴づけられることを示す。
• 無理数$w$に対して、$\alpha_i \to w$を満たす$\mathbb{t}_{\alpha_i}$からのモジュールの逆極限を用いて、$\Cal{M}(w)$における非ゼロモジュールを構成する。また、$\alpha_i \to w$を満たすネストされたモジュール$M_i \in \operatorname{add}\mathbb{t}_{\alpha_i}$の直和極限を用いても同様に構成する。
• $\operatorname{Add}G_\beta$および$\operatorname{Add}P_t$が直積および直和極限に関して閉じていることを利用し、$\Cal{B}_w$および$\Cal{C}_w$の閉包性質を証明する。
• $\mathbb{q}_w$および$\mathbb{p}_w$の構造を用いて、$\Cal{B}_w$に属するモジュールの積が常に$\Cal{B}_w$に属することを示し、また$\mathbb{p}_w$に属する非可約モジュールがそのような積から分裂しないことの証明を行う。

実験結果

リサーチクエスチョン

• RQ1 たんなる代数的かつ分類可能な代数における無限次元モジュールの構造理論を、分類可能な代数へどのように一般化できるか？
• RQ2 一般化モジュールとプリューファー・モジュールは、チューブ族によって生成されかつ双対的に生成されるモジュールのカテゴリを分類する際に果たす役割は何か？
• RQ3 モジュール圏ModΛにおける捩れ対が分裂する条件は何か？ただし、捩れ自由クラスが真の安定分離的チューブ族によって双対的に生成されるモジュールからなる場合。
• RQ4 無理数$w$に対して、$\Cal{M}(w)$における非ゼロモジュールをどのように明示的に構成できるか？
• RQ5 $\Cal{C}_w$、$\Cal{B}_w$、$\Cal{M}(w)$のカテゴリが直積および直和極限に関して閉じている閉包性質は何か？

主な発見

• 任意の分類可能な代数上のモジュール$M$は、$M = M_0 \oplus M_1$という直和分解を持つ。ここで$M_0$はチューブ族の直和極限閉包$\Cal{T}$によって双対的に生成され、$M_1$はチューブ族によって生成され、$\operatorname{Hom}(M_1, \Cal{T}) = 0$を満たす。
• $\Cal{T}$によって双対的に生成されるモジュールのカテゴリ$\Cal{C}$は、$\operatorname{Mod}\Lambda$における分裂捩れ対の捩れ自由クラスであり、$\{ C \mid \operatorname{Ext}^1(C, \omega) = 0 \}$として特徴づけられる。
• チューブ族によって生成されるモジュールのカテゴリ$\Cal{D}$は、$\{ D \mid \operatorname{Ext}^1(\omega, D) = 0 \}$として特徴づけられ、このような分裂捩れ対における最大の可能な捩れクラスである。
• $\omega = \Cal{C} \cap \Cal{D}$は、一般化モジュール$G$およびプリューファー・モジュールの直和から成り、構造理論において中心的な役割を果たす。
• 任意の$w \in \mathbb{R}^+$に対して、$\Cal{M}(w)$における非ゼロモジュールは、$\alpha_i \to w^+$を満たす$M_i \in \operatorname{add}\mathbb{t}_{\alpha_i}$に対して$\prod M_i / \bigoplus M_i$として、または$\alpha_i \to w^-$を満たすネストされた$M_i \in \operatorname{add}\mathbb{t}_{\alpha_i}$に対して$\lim_{\to} M_i$として構成可能である。
• $\Cal{C}_w$、$\Cal{B}_w$、$\Cal{M}(w)$の部分カテゴリは、直積および直和極限に関して閉じており、$\Cal{C}_w$は捩れ対の捩れ自由クラスであり、$\Cal{B}_w$は直積および商モジュールに関して閉じている。