[論文レビュー] Fabric idempotents and homological dimensions

Jordan McMahon|arXiv (Cornell University)|Mar 19, 2018

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

ひとこと要約

本稿は、有限次元代数における特別なイデアル的イデアル（ファブリックイデアル）を導入し、ホモロジー次元を制御するとともに特異カテゴリの分類を可能にする。Chen-Yeのナカヤマ代数に関する結果を一般化することで、高次ナカヤマ代数の特異カテゴリが自己同型的高次ナカヤマ代数の安定カテゴリと同値であることを証明し、高次元の類似物への分類を拡張する。

ABSTRACT

Over a finite-dimensonal algbera $A$, simple $A$-modules that have projective dimension one have special properties. For example, Geigle-Lenzing studied them in connection to homological epimorphisms of rings, and they have also appeared in work concerning the finitistic dimension conjecture. If we however work in a $d$-cluster-tilting subcategory, then not all simples are contained in this subcategory. In this context, a replacement might be to work with idempotent ideals instead, and utilise the theory of Auslander-Platzeck-Todorov. We introduce the notion of a fabric idempotent as an analogue of the localising modules studied by Chen-Krause, and to illustrate the theory we show that they provide rich combinatorial properties. An application is to extend the classification of singularity categories of Nakayama algebras by Chen-Ye to higher Nakayama algebras.

研究の動機と目的

• ナカヤマ代数の特異カテゴリの分類を、ホモロジー不変量を用いて高次ナカヤマ代数へと拡張すること。
• 射影次元1のモジュールの局所化モジュールの一般化として、ファブリックイデアルを定義し、その性質を調べること。
• ゴレンスタインインジェクティブモジュールの分解における射影生成子の追跡を可能にするためのファブリック次元に基づく枠組みを提供すること。
• 繰り返しイデアルの縮約を用いて、特異カテゴリと自己同型的代数の安定モジュールカテゴリの同値性を確立すること。

提案手法

• 有限次元代数 A におけるイデアル的元 f を、商代数 A/⟨f⟩ が射影次元が1以下であり、Auslander-Reiten 移動に関して双対的条件を満たすものとしてファブリックイデアルと定義する。
• 射影 A/⟨f⟩-加群のファブリック次元を、それがあるインジェクティブ A-加群の n 番目のシジージに現れる最小の n として定義する。
• Auslander-Platzeck-Todorov理論を用いて、ファブリックイデアルとホモロジー次元、ゴレンスタインインジェクティブモジュールの関係を確立する。
• ファブリックイデアルに沿った繰り返しの縮約を適用し、高次ナカヤマ代数を自己同型的代数に還元し、特異カテゴリを保存する。
• 明示的なクーヴィと関係の縮約を構成し、D_sg(A) ≅ D_sg(fAf) および最終的に D_sg(A) ≅ D_sg(B)（B は自己同型的）を示す。
• 最終的な縮約代数 f′fAff′ が自己同型的であることを確認し、D_sg(f′fAff′) ≅ mod(B) が成り立つことを示す。

実験結果

リサーチクエスチョン

• RQ1 ナカヤマ代数の特異カテゴリの分類を高次ナカヤマ代数へと拡張することは可能か？
• RQ2 どのような構造的条件が、ファブリックイデアルの存在とホモロジー次元の制御を可能にするか？
• RQ3 モジュールのファブリック次元がその分解における射影生成子の変化をどのように決定するか？
• RQ4 ファブリックイデアルに沿った縮約が特異カテゴリを保存するのはどのような条件下か？
• RQ5 繰り返しファブリックイデアルの縮約を適用すると、いつ自体が自己同型的代数に到達するか？

主な発見

• 有限次元の高次ナカヤマ代数 A に対して、D_sg(A) ≅ D_sg(B) ≅ mod(B) を満たす自己同型的高次ナカヤマ代数 B が存在する。
• 例5における6-Iwanaga-Gorenstein代数では、A/⟨f⟩ のファブリック次元は5であり、インジェクティブモジュールの最初の6つのシジージが A(e + e_14) によって生成され、それ以上は Af によって生成されることを示している。
• 例5において、Ω²(I_03) = P_14、Ω⁶(I_13) = P_12、Ω⁶(I_23) = P_13 が成り立ち、ファブリック次元と生成子のシフトが確認されている。
• 例5における代数 fAf は、l′ = (4,3,3,3) を持つ高次ナカヤマ代数 A^{(2)}_{∝l′} と同型であり、fAf は自己同型的ではないが、f′fAff′ は自己同型的である。
• 最終的な代数 f′fAff′ は、頂点 12,13,23,25,35,36 とメッシュ関係を持つクーヴィを持ち、その特異カテゴリは安定モジュールカテゴリと同値である。
• 構成により、D_sg(A) ≅ D_sg(fAf) ≅ D_sg(f′fAff′) ≅ mod(f′fAff′) が成り立ち、分類が完成する。