[論文レビュー] Monomorphism categories, cotilting theory, and Gorenstein-projective modules

Pu Zhang|arXiv (Cornell University)|Jan 20, 2011

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

ひとこと要約

本稿は、アーティン代数における単形射カテゴリとコティルティング理論の間の双対性を確立し、コティルティング A-加群 T に対して、単形射作用素 𝒮ₙ と左直交作用素 ⊥ が 𝒮ₙ(⁁T) = ⁁m(T) を満たすことを示している。主な貢献は、Tₙ(A)-加群 m(T) の自然な構成法であり、これにより Tₙ(A) 上のゴレンシュタイン射影的加群が 𝒮ₙ(⁁A) として特徴付けられ、また、自己準同型環のグローバル次元を用いたモノモルフィズムカテゴリの有限型基準が得られる。

ABSTRACT

The monomorphism category $\mathcal S_n(\mathcal X)$ is introduced, where $\mathcal X$ is a full subcategory of the module category $A$-mod of Artin algebra $A$. The key result is a reciprocity of the monomorphism operator $\mathcal S_n$ and the left perpendicular operator $^\perp$: for a cotilting $A$-module $T$, there is a canonical construction of a cotilting $T_n(A)$-module ${ m \bf m}(T)$, such that $\mathcal S_n(^\perp T) = \ ^\perp { m \bf m}(T)$. As applications, $\mathcal S_n(\mathcal X)$ is a resolving contravariantly finite subcategory in $T_n(A)$-mod with $\hat{\mathcal S_n(\mathcal X)} = T_n(A)$-mod if and only if $\mathcal X$ is a resolving contravariantly finite subcategory in $A$-mod with $\hat{\mathcal X} = A$-mod. For a Gorenstein algebra $A$, the category $T_n(A)\mbox{-}\mathcal Gproj$ of Gorenstein-projective $T_n(A)$-modules can be explicitly determined as $\mathcal S_n(^\perp A)$. Also, self-injective algebras $A$ can be characterized by the property $T_n(A)\mbox{-}\mathcal Gproj = \mathcal S_n(A)$. Using $\mathcal S_n(A)= \ ^\perp { m \bf m}(D(A_A))$, a characterization of $\mathcal S_n(A)$ of finite type is obtained.

研究の動機と目的

• Tₙ(A) 上のコティルティング加群 m(T) の自然な構成法を通じて、モノモルフィズムカテゴリとコティルティング加群の間に双対性を確立すること。
• モノモルフィズムカテゴリ 𝒮ₙ(𝒳) が Tₙ(A)-mod において解明可能かつ反変有限である条件を特徴付けること。
• Tₙ(A) 上のゴレンシュタイン射影的加群をモノモルフィズムカテゴリの言語で記述すること。
• バイジェネレータの自己準同型環のグローバル次元を用いて、𝒮ₙ(A) の有限表現型基準を提供すること。

提案手法

• すべての成分が単形射であり、余核が 𝒳 に属するような、射のカテゴリのフル部分カテゴリとしてモノモルフィズムカテゴリ 𝒮ₙ(𝒳) を定義する。
• 上三角行列形式での T の直和分解を用いて、A-加群 T から Tₙ(A)-加群 m(T) を構成する。
• A-mod と Tₙ(A)-mod の間の六組の随伴対を用いて、reciprocity 𝒮ₙ(⁁T) = ⁁m(T) を証明する。
• 反変有限部分カテゴリおよび左直交カテゴリの理論を用いて、有限性および解明可能性の性質を関連付ける。
• バイジェネレータの自己準同型環のグローバル次元を用いて、𝒮ₙ(A) の有限表現型を特徴付ける。
• アウスランダー＝レーデン理論およびハッペルの三角同値を用いて、導来カテゴリとゴレンシュタイン射影的加群を関連付ける。

実験結果

リサーチクエスチョン

• RQ1 モノモルフィズムカテゴリ 𝒮ₙ(𝒳) が Tₙ(A)-mod において解明可能かつ反変有限であるのはいつか？
• RQ2 Tₙ(A) 上のゴレンシュタイン射影的加群は、モノモルフィズムカテゴリの言葉でどのように明示的に記述できるか？
• RQ3 𝒮ₙ(A) の表現型と A および Tₙ(A) の表現型の間にはどのような関係があるか？
• RQ4 𝒮ₙ(A) が有限表現型をとるのはどのような条件下か？
• RQ5 バイジェネレータの自己準同型環のグローバル次元を用いて、𝒮ₙ(A) の有限型を特徴付けられるか？

主な発見

• モノモルフィズムカテゴリ 𝒮ₙ(𝒳) が Tₙ(A)-mod において解明可能かつ反変有限であることは、A-mod において 𝒳 が解明可能かつ反変有限であり、かつ 𝔻(𝒳) = A-mod であるときにかつそのときに限り成り立つ。
• ゴレンシュタイン代数 A に対して、Tₙ(A)-加群のゴレンシュタイン射影的加群はちょうど 𝒮ₙ(⁁A) であり、明示的な記述が得られる。
• 自己同型代数 A に対しては 𝒮ₙ(A) = Tₙ(A)-Gproj が成り立ち、モノモルフィズムカテゴリを用いた自己同型代数の特徴付けが得られる。
• カテゴリ 𝒮ₙ(A) が有限型であることと、𝒮ₙ(A) のバイジェネレータ M が存在して gl.dim(End_{Tₙ(A)}(M)) ≤ 2 を満たすことは同値である。
• k が代数的に閉じた体で A = k[x]/⟨x^t⟩ のとき、𝒮₂(A) は t ≤ 5 ならば有限型、t = 6 ならばターム型、t > 6 ならばワイルド型である。
• グローバル次元基準により、Tₙ(A) が CM-有限であることと、ゴレンシュタイン射影的 Tₙ(A)-生成子 M が存在して gl.dim(End_{Tₙ(A)}(M)) ≤ 2 を満たすことは同値である。