[論文レビュー] Generalization of the Correspondence about DTr-selfinjective algebras

Fan Kong|arXiv (Cornell University)|Apr 4, 2012

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

ひとこと要約

この論文は、n ≥ 2 に対して、n−1-DTr-自己同型代数と、投射次元とinjective次元が両方nに等しい代数の間の一対一対応を確立する。これは、アウスラーダーとソルバーグ（1997）の古典的対応を一般化し、高次元のアウスラーダー＝レーゲン理論とゴレンシュタインホモロジー代数論を結びつける。その結果、このような代数のゴレンシュタイン射影的モジュールカテゴリが、周期的DTr-軌道を持つ代数のゴレンシュタイン射影的モジュールカテゴリと同値であることが示された。

ABSTRACT

We give a correspondence between (n-1)-DTr-selfinjective algebras and algebras with dominant dimension and selinjective dimension being both n for any n bigger than 1 . Furthermore, we show the relation between the module categories of the two kinds of algebras. At last we show the sepcial condition n = 2.

研究の動機と目的

• アウスラーダーとソルバーグが確立した2-DTr-自己同型代数と、投射次元とinjective次元が両方2に等しい代数の間の対応を一般化すること。
• この対応を高次元にまで拡張し、特にn ≥ 2 に対して、(n−1)-DTr-自己同型代数と、投射次元とinjective次元が両方nに等しい代数との関係を明らかにすること。
• これらの2つの代数クラスのゴレンシュタイン射影的モジュールカテゴリの関係を明確にすること。
• この一般化された設定において、高次元DTr-軌道の周期性がゴレンシュタイン射影的モジュールカテゴリを特徴づけることの証明。

提案手法

• 生成子・余生成子Qが(n−2)-自己直交的で、かつτ^{n−1}およびτ^{-(n−1)}作用で閉じていることにより、(n−1)-DTr-自己同型代数を定義する。
• 代数のクラスにおいて投射次元とinjective次元がnであるものから、(n−1)-DTr-自己同型代数のクラスへの関手Fを、最小の忠実な射影的モジュールI^Λの反対環の自己同型環を用いて構成する。
• 逆方向への関手Gを、(n−1)-DTr-自己同型代数における生成子・余生成子Qの自己同型環を用いて定義する。
• モラータ同値を用いて代数および生成子・余生成子の同値類を定義し、代数的構造を保つ対応を保証する。
• 高次アウスラーダー＝レーゲン理論の道具、特にτ^mおよびτ^{-m}関手、および直交部分カテゴリ(⊥_n, ⊥_n)を用いてモジュールカテゴリを分析する。
• 構成された関手を通じて、𝒟_nに属する代数のゴレンシュタイン射影的モジュールが、ℬ_nに属する代数のゴレンシュタイン射影的モジュールと同値であることを確立する。

実験結果

リサーチクエスチョン

• RQ1 2-DTr-自己同型代数と、投射次元とinjective次元が両方2に等しい代数の間の対応は、n ≥ 2 に対して高次元に一般化可能か？
• RQ2 投射次元がnである代数が(n−1)-DTr-自己同型代数と結びつくための明確な構造的条件は何か？
• RQ3 提案された対応下で、これらの2つの代数クラスのゴレンシュタイン射影的モジュールカテゴリの関係は何か？
• RQ4 この一般化された設定において、高次元DTr-軌道の周期性がゴレンシュタイン射影的モジュールカテゴリを特徴づけるか？
• RQ5 この対応はモラータ同値類のレベルで関手的かつ全単射的か？

主な発見

• 投射次元とinjective次元が両方nに等しい代数のモラータ同値類と、(n−1)-DTr-自己同型代数のモラータ同値類との間の一対一対応が確立された。
• F([Λ]) = [End^{op}(I^Λ), D(I^Λ)] および G([Γ,Q]) = [End^{op}(Q)] によって対応が明示的に構成され、最小の忠実なモジュールと生成子・余生成子の自己同型環が反対環を通じて関連付けられていることが示された。
• 𝒟_nに属する代数のゴレンシュタイン射影的モジュールカテゴリは、ℬ_nに属する代数のゴレンシュタイン射影的モジュールカテゴリと同値であり、ホモロジー的構造が保たれている。
• 高次元におけるDTr-軌道の周期性（τ^{n−1}Q ∈ add Q）が、この対応を特徴づける主要なホモロジー的不変量であることが示された。
• 構成は関手的であり、直交部分カテゴリとホモロジー有限性の性質を用いて、モジュールカテゴリ間のカテゴリカル同値を保証している。
• 証明は、関連するアーベルカテゴリにおける射影的生成子の存在に依拠しており、非同型写像の無限列に関する背理法によってその存在が示された。