[論文レビュー] Syzygy Filtrations of Cyclic Nakayama Algebras

Emre Sen|arXiv (Cornell University)|Mar 11, 2019

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

ひとこと要約

本稿では、巡回ナカヤマ代数Λに対して、第二シンジーギー加群を符号化するsyzygy filtered algebra ε(Λ)を導入し、ホモロジー的不変量の再帰的削減を可能にする。すべての主要な不変量—finitistic、φ-、ゴレンスタイン、およびドミナント次元—が、定義関係の数rに対して2r未満であることを確立し、ε(Λ)に関する帰納法により一様な上界および対称性の性質を証明する。

ABSTRACT

For any cyclic Nakayama algebra $Λ$, we construct \emph{syzygy filtered algebra} $\bm\varepsilon(Λ)$ which corresponds to various syzygy modules as the name suggests. We prove that the category of modules over the syzygy filtered algebra $\bm\varepsilon(Λ)$ is equivalent to the wide subcategory cogenerated by projective-injective modules of the original algebra $Λ$ along with other categorical equivalences. In terms of this new algebra, we interpret the following homological invariants of $Λ$: left and right finitistic dimension, left and right $φ$-dimension, Gorenstein dimension, dominant dimension and their upper bounds. For all of them, we obtain a unified upper bound $2r$ where $r$ is the number of relations defining the algebra $Λ$. We show that the left finitistic and $φ$-dimensions are equal to the right finitistic and $φ$-dimensions respectively, as well as the difference between $φ$-dimension and the finitistic dimension is at most one. Furthermore, we recover various seemingly unrelated results in a uniform way.

研究の動機と目的

• 巡回ナカヤマ代数Λの第二シンジーギー加群を符号化するsyzygy filtered algebra ε(Λ)を構成すること。
• ε(Λ)上の加群とΛの広義部分カテゴリ、特に射影的・インジェクティブ加群によって余生成される部分カテゴリとのカテゴリカル同値を確立すること。
• 巡回ナカヤマ代数全体にわたるホモロジー的不変量—finitistic、φ-、ゴレンスタイン、ドミナント次元—の境界を統一的・一般化的に確立すること。
• 左・右のホモロジー次元の間の対称性を証明し、φ次元とfinitistic次元の差が1以下であることを示すこと。
• higher syzygy filtered algebras を用いた再帰的枠組みを提供し、グローバル次元の境界を証明し、既知の結果を一様に再得すること。

提案手法

• irredundant relations のシステムを用いて syzygy filtered algebra ε(Λ) を定義し、その加群圏がΛの射影的・インジェクティブ加群によって余生成される広義部分カテゴリと同値であることを保証する。
• 関係のベース集合とソクル集合を用いて ε(Λ) の構造を特徴付け、それがナカヤマ代数のままであることを保証する。
• higher syzygy filtered algebras εⁿ(Λ) を用いた再帰的削減を適用し、各反復でランクと関係数が減少することを示す。
• 次元削減の公式を確立する。例えば、finitistic次元 ≥ 2 かつグローバル次元が無限大の場合、Λのfinitistic次元はε(Λ)のfinitistic次元に2を加えたものに等しい。
• ナカヤマ代数においてφ次元とゴレンスタイン次元が等価であることを証明し、Λがゴレンスタインであればε(Λ)もゴレンスタインであり、次元が2ずつシフトすることを示す。
• 関係数rに関する帰納法を用いて、すべての不変量が2r未満であることを証明し、連続するεⁿ(Λ)代数のランク減少に依存する。

実験結果

リサーチクエスチョン

• RQ1 巡回ナカヤマ代数の第二シンジーギー加群を、ホモロジー的解析を簡素化する新しい代数的構造に符号化する方法は何か？
• RQ2 巡回ナカヤマ代数Λのホモロジー次元とそのsyzygy filtered algebra ε(Λ)のホモロジー次元との関係は何か？
• RQ3 r個の関係で定義される巡回ナカヤマ代数に対して、finitistic、φ-、ゴレンスタイン、ドミナント次元の上界として2rを統一的に確立できるか？
• RQ4 巡回ナカヤマ代数のφ次元は、常にfinitistic次元と等しいか、差が1以下であるか？
• RQ5 syzygy filtration 法を用いて、[MM18] や [Gus85] における既存のグローバル次元境界を再証明し、一般化できるか？

主な発見

• syzygy filtered algebra ε(Λ) はナカヤマ代数であり、その加群圏はΛの射影的・インジェクティブ加群によって余生成される広義部分カテゴリと同値である。
• 任意の巡回ナカヤマ代数Λに対して、finitistic、φ-、ゴレンスタイン、ドミナント次元といったすべてのホモロジー的不変量は、冗長でない関係の数rに対して2r未満に上界を持つ。
• φ次元について、φdimΛ ≥ 2 かつ gl.dimΛ = ∞ の場合、φdimΛ = φdimε(Λ) + 2 が成り立ち、finitistic次元およびグローバル次元に対しても同様の関係が成り立つ。
• Λがゴレンスタインであれば、ε(Λ)もゴレンスタインであり、gor.dimΛ ≥ 2 の場合、gor.dimΛ = gor.dimε(Λ) + 2 が成り立つ。
• dom.dimΛ ≥ 3 の場合、dom.dimΛ = dom.dimε(Λ) + 2 が成り立つ。
• φ次元とfinitistic次元の差は1以下である：φdimΛ − fin.dimΛ ≤ 1。