[論文レビュー] Length categories of infinite height

Henning Krause, Dieter Vossieck|arXiv (Cornell University)|Feb 17, 2017

Algebraic structures and combinatorial models参考文献 10被引用数 7

ひとこと要約

本稿は、無限高のアーベル的長さカテゴリを調査し、有限表現型の特徴付けを無限高の設定へと拡張する。最小長さカテゴリが無限高においてちょうど単一列的カテゴリであることを証明し、グローテンディーク群、準完全系列、関手カテゴリを通じて、そのようなカテゴリが有限性条件を満たすための条件を確立する。

ABSTRACT

For abelian length categories the borderline between finite and infinite representation type is discussed. Characterisations of finite representation type are extended to length categories of infinite height, and the minimal length categories of infinite height are described.

研究の動機と目的

• モジュールカテゴリから一般のアーベル的長さカテゴリへの既知の有限表現型の特徴付けを、無限高の設定へと拡張すること。
• 特に有限性条件と表現論的性質に注目して、無限高の長さカテゴリの構造を調査すること。
• 無限高の最小長さカテゴリを分類し、それが単一列的カテゴリに一致することを特定すること。
• 無限高の設定において、準完全系列、グローテンディーク群、関手カテゴリの間の関係を確立すること。
• 単一列的カテゴリが、Ext-有限性やHom-有限性といった有限性条件を満たすための条件を特徴づけること。

提案手法

• 分裂および一般の完全系列の関係を分析するため、K₀(C,0) → K₀(C) への標準的エピモルフィズム π を用いたグローテンディーク群の使用。
• クルール＝シュミット圏における準完全系列の応用。特に、射が左準完全であるための必要十分条件は、Fp(C,Ab) における単純関手の提示を与えることである。
• ヤオネダ埋め込みとその随伴を用いて、C の対象と Fp(Cop,Ab) の関手との関係を関係づけ、効果的関手による商をとることで C と同値になることを示す。
• Fp(C,Ab) 内の関手を Ext² を用いた双対性 F ↦ F∨ によって分析し、Eff(C,Ab) と Eff(Cop,Ab) の間の双対性を確立する。
• 特に、穏やかで、許容的で、基本的な無限次元代数の文脈において、ラジカルフィルトレーションと R-adic フィルトレーションを研究する。
• 商 A/Rˡ における極限論的議論を用いて、特に関係付きクイバーのケースを含め、無限次元代数の構造的性質を導出する。

実験結果

リサーチクエスチョン

• RQ1 有限表現型理論におけるどの有限性条件が、無限高の長さカテゴリへと拡張可能か？
• RQ2 最小長さカテゴリが無限高である場合、どのような特徴を持ち、どのような構造的性質を満たすか？
• RQ3 無限高の長さカテゴリにおいて、準完全系列とグローテンディーク群はどのように振る舞うか？
• RQ4 どのような条件下で、単一列的カテゴリが Ext-有限性および Hom-有限性を満たすか？
• RQ5 穏やかさ条件を満たす許容的かつ基本的な無限次元代数 A として、無限高を持つ代数の構造は何か？

主な発見

• 最小長さカテゴリが無限高である場合、定理6.1で示されるように、ちょうど単一列的カテゴリに一致する。
• Corollary 5.4 および Theorem 5.10 で示されるように、単一列的カテゴリは Ext-有限性および Hom-有限性の有限性条件を満たす。
• 無限高の長さカテゴリに対して、標準的エピモルフィズム π: K₀(C,0) → K₀(C) の核は、準完全系列からの関係によって生成される。
• Fp(C,Ab) における有限生成関手のカテゴリは、F ↦ Ext²(F, HomC(X,−)) を通じて双対性を備え、これにより Eff(C,Ab) と Eff(Cop,Ab) の間の双対性が誘導される。
• 穏やかで、許容的で、基本的な無限次元代数 A の場合、A のクイバーは関係のないサイクルであり、ある n に対して A は kJZₙK に同型である。
• 最小の無限高長さカテゴリに対しては、A は kJZₙK に同型であり、クイバーは関係のない長さ n のサイクルである。これは証明のステップ9で示されている。