[論文レビュー] Auslander-Gorenstein algebras, standardly stratified algebras and dominant dimensions

René Marczinzik|arXiv (Cornell University)|Oct 10, 2016

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

ひとこと要約

本稿は、Auslander-Gorenstein代数、標準的層付き代数、および主な次元の間の深い関係を確立する。具体的には、Gorenstein次元 $ r $ を持つAuslander-Gorenstein代数に対して、主な次元 $ r-j $ の加群のカテゴリーとGorenstein射影的次元 $ j $ の加群のカテゴリーが一致することを示す。さらに、このような代数が適切に層付きであり、単純を保存する双対性を持ち、特徴的トライビングモジュールと特徴的コトライビングモジュールが一致する場合、Gorenstein次元は $ 2m $ であり、標準的フィルター付き加群のカテゴリーは主な次元およびGorenstein射影的カテゴリーと正確に一致する。

ABSTRACT

We give new properties of algebras with finite Gorenstein dimension coinciding with the dominant dimension $\geq 2$, which are called Auslander-Gorenstein algebras in the recent work of Iyama and Solberg, see \cite{IyaSol}. In particular, when those algebras are standardly stratified, we give criteria when the category of (properly) (co)standardly filtered modules has a nice homological description using tools from the theory of dominant dimensions and Gorenstein homological algebra. We give some examples of standardly stratified algebras having dominant dimension equal to the Gorenstein dimension, including examples having an arbitrary natural number as Gorenstein dimension and blocks of finite representation-type of Schur algebras.

研究の動機と目的

• 有限次元代数における主な次元、Gorensteinホモロジー代数、および標準的層付き構造の相互作用を調査すること。
• (co)標準的フィルター付き加群のカテゴリーが主な次元およびGorenstein射影的／インジェクティブ次元によってホモロジー的記述を受ける条件を特定すること。
• クラス $\mathcal{A}$（単純を保存する双対性を備えた quasi-hereditary で、主な次元 $\geq 2$）の表現有限代数を分類し、それらが $K[x]/(x^3)$ のAuslander代数またはシュール代数のブロックに同型であることを示すこと。
• 特別な場合における特徴的トライビングモジュールのホモロジー的特徴づけを提供し、それらを射影的およびインジェクティブ次元と結びつけること。
• 主定理の条件を満たす代数に対して、カテゴリー $F(\overline{\Delta})$ における相対Auslander-Reiten転送の公式を確立すること。

提案手法

• Gorenstein次元 $ r $ が主な次元 $ \geq 2 $ に等しい有限次元代数としてAuslander-Gorenstein代数を定義し、高次Auslander代数を一般化する。
• すべての $ j = 0,1,\dots,r $ に対して $ Dom_{r-j} = GProj_j $ および $ Codom_{r-j} = GInj_j $ の同値性を用い、主な次元とGorensteinホモロジー次元を結びつける。
• Muellerの定理を適用し、最小射影的分解を用いて $ Ext^i(M,M) $ の高次の消滅を介して主な次元を計算する。
• 単純加群の明示的最小射影的分解を構成し、$ Ext^i(S_n, S_n) = 0 $ が $ i = 1,\dots,2n-2 $ で成り立つことを確認することで、主な次元が $ 2n-2 $ であることを証明する。
• 生成子・余生成子 $ A \oplus S_n $ を用い、$ End_A(A \oplus S_n) $ を適用して代数 $ B(n,1,\dots,1) $ を実現し、それが高次Auslander代数であることを示す。
• 対称代数および生成子・余生成子の性質を活用し、代数がクラス $ \mathcal{A} $ に属することを保証し、分類結果を得る。

実験結果

リサーチクエスチョン

• RQ1 (適切に) (co)標準的フィルター付き加群のカテゴリーが、主な次元およびGorenstein射影的／インジェクティブ次元によってホモロジー的記述を受けるのはどのような場合か？
• RQ2 Auslander-Gorenstein代数において、特徴的トライビングモジュールと特徴的コトライビングモジュールが一致する条件は何か？
• RQ3 クラス $ \mathcal{A} $ に属する表現有限代数はどのようなものがあり、それらの構造はAuslander代数またはシュール代数のブロックとしてどのように記述できるか？
• RQ4 この設定において、Gorenstein次元、主な次元、および標準的層付き代数の構造の正確な関係は何か？
• RQ5 主定理の双対性およびトライビング条件を満たす代数に対して、$ F(\overline{\Delta}) $ における相対Auslander-Reiten転送はどのように計算できるか？

主な発見

• Gorenstein次元 $ r $ を持つAuslander-Gorenstein代数に対して、すべての $ j = 0,1,\dots,r $ に対してカテゴリー $ Dom_{r-j} $ と $ GProj_j $ が一致し、主な次元とGorensteinホモロジー次元の間の直接的な関係が確立される。
• 代数が適切に層付きであり、単純を保存する双対性を持ち、特徴的トライビングモジュールと特徴的コトライビングモジュールが一致する場合、Gorenstein次元は $ 2m $ である。ここで $ m $ はトライビングモジュールの射影的次元である。
• この場合、$ F(\bar{\Delta}) = Dom_m = GProj_m $、$ F(\Delta) = Proj_m $、$ F(\bar{\nabla}) = Codom_m = GInj_m $、$ F(\nabla) = Inj_m $ が成り立ち、完全なホモロジー的同値性が示される。
• $ B(n,1,1,\dots,1) $ は主な次元 $ 2n-2 $、グローバル次元 $ 2n-2 $ を持ち、$ F(\Delta) = Dom_{n-1} = Proj_{n-1} $ を満たす。これにより、高次Auslander代数であることが確認される。
• クラス $ \mathcal{A} $ に属するすべての表現有限代数は、$ K[x]/(x^3) $ のAuslander代数または $ B(n,1,1,\dots,1) $ に同型であり、シュール代数のブロックとモルタ同値である。
• 代数 $ B(n,1,1,\dots,1) $ の特徴的トライビングモジュールは $ T = eA \oplus S_1 $ で与えられ、ここで $ eA $ は最小の忠実な射影的・インジェクティブなモジュールであり、$ \Omega^{n-1}((1-e)B) = S_1 $ が成り立つ。これにより、トライビング構造が確認される。