[論文レビュー] Rejective subcategories of artin algebras and orders

Osamu Iyama|ArXiv.org|Nov 17, 2003

Algebraic structures and combinatorial models参考文献 33被引用数 40

ひとこと要約

本稿では、アーベル代数および順序のためのアウスランダーの表現次元を一般化する関数 $ r_{\mathrm{\Lambda}} $ を導入し、拒絶的部分カテゴリと解像次元を用いて定式化する。$ r_{\Lambda} $ の上界が半単純代数の表現型を決定することを示し、拒絶的部分カテゴリの鎖を用いて有限グローバル次元を持つ環を構成することで、表現次元およびゼータ関数に関する未解決問題を解決する。

ABSTRACT

We will study the resolution dimension of functorially finite subcategories. The subcategories with the resolution dimension zero correspond to ring epimorphisms, and rejective subcategories correspond to surjective ring morphisms. We will study a chain of rejective subcategories to construct modules with endomorphisms rings of finite global dimension. We apply these result to study a function $r_Λ:\modΛ o nn_{\ge0}$ which is a natural extension of Auslander's representation dimension.

研究の動機と目的

• アーベル代数および順序のためのより広範な不変量 $ r_{\Lambda} $ としてアウスランダーの表現次元を一般化すること。
• 特に拒絶的部分カテゴリである関手的に有限な部分カテゴリの解像次元を研究すること。
• 拒絶的部分カテゴリの鎖を用いてグローバル次元が有限である環を構成すること。
• 未解決問題の解決：ソロモンのゼータ関数に関する予想および表現次元の有限性。
• $ r_{\Lambda} $ が半単純代数における表現型および反射的有限性とどのように関係するかを明らかにすること。

提案手法

• 関手的に有限な部分カテゴリの解像次元をホモロジー的測度として導入する。
• 拒絶的部分カテゴリを、因子代数および拡大環に対応する特別な双反射的部分カテゴリのクラスとして定義する。
• 関手 $ \mathbf{F}_{\mathcal{C}} $ を用いて、拒絶的鎖を構築し、グローバル次元が有限である環を生成する。
• $ r_{\Lambda} $ を用いて表現次元を一般化し、$ \Lambda \oplus D\Lambda $ において表現次元に一致することを示す。
• 相対アウスランダー＝レーデン理論および安定同値を用いて、有限同値の下で表現次元が不変であることを示す。
• 拒絶的鎖を準ヘレディタリー代数と関係づけ、構造的分解を用いてグローバル次元を計算する。

実験結果

リサーチクエスチョン

• RQ1 拒絶的部分カテゴリの解像次元は、関連する環のグローバル次元とどのように関係するか？
• RQ2 拒絶的鎖を用いてグローバル次元が有限である環を構成できるか？
• RQ3 $ r_{\Lambda} $ の上界は、代数の tame と wild の場合を区別できるか？
• RQ4 特に安定同値の下で $ r_{\Lambda} $ はどのように振る舞うか？
• RQ5 $ r_{\Lambda} $ とアーベル代数の反射的有限性との関係は何か？

主な発見

• $ r_{\Lambda} $ はアウスランダーの表現次元を一般化し、ホモロジー的表現理論の精神に沿った自然な拡張を提供する。
• $ r_{\Lambda} $ の上界が半単純代数の表現型を決定し、tame と wild の場合を区別する。
• 拒絶的鎖はグローバル次元が有限である環をもたらし、カテゴリ的鎖を用いたこのような環の構成を可能にする。
• 表現次元は有限同値の下で不変であり、シャンゲイエンの結果を一般化する。
• $ r_{\Lambda}(\Lambda) $ の値は $ \Lambda $ の反射的有限性と密接に関係し、ホモロジー的基準を提供する。
• 本理論により二つの未解決問題が解決された：ソロモンのゼータ関数に関する予想およびアーベル代数における表現次元の有限性。