[論文レビュー] Gorenstein projective bimodules via monomorphism categories and filtration categories

Wei Hu, Xiu-Hua Luo+2 more|arXiv (Cornell University)|Feb 28, 2017

Algebraic structures and combinatorial models参考文献 24被引用数 7

ひとこと要約

この論文は、任意の有限次元代数上の単射的定義を用いてモノモルフィズムカテゴリを定義し、フィルトレーションカテゴリと併用することで、2つの有限次元代数のテンソル積上のゴレンシュタイン射影的双モジュールを分類する。主な結果は、両方の代数がゴレンシュタインであるとき、$A \otimes B$ 上のすべてのゴレンシュタイン射影的双モジュールのカテゴリが、Quillenの小さな対象の技法を用いて、$A\mbox{-GProj} \otimes B\mbox{-GProj}$ が生成するフィルトレーションカテゴリの加法的閉包に正確に一致することを示している。

ABSTRACT

We generalize the monomorphism category from quiver (with monomial relations) to arbitrary finite dimensional algebras by a homological definition. Given two finite dimension algebras $A$ and $B$, we use the special monomorphism category Mon(B, A-Gproj) to describe some Gorenstein projective bimodules over the tensor product of $A$ and $B$. If one of the two algebras is Gorenstein, we give a sufficient and necessary condition for Mon(B, A-Gproj) being the category of all Gorenstein projective bimodules. In addition, If both $A$ and $B$ are Gorenstein, we can describe the category of all Gorenstein projective bimodules via filtration categories. Similarly, in this case, we get the same result for infinitely generated Gorenstein projective bimodules.

研究の動機と目的

• クォーバーにモノミアル関係をもつ場合のモノモルフィズムカテゴリの概念を、ホモロジー的定義を用いて任意の有限次元代数へ一般化すること。
• カテゴリ $\operatorname{Mon}(B, A\mbox{-GProj})$ を用いて、$A \otimes B$ 上のゴレンシュタイン射影的双モジュールを記述すること。
• 一方の代数がゴレンシュタインである場合に、$\operatorname{Mon}(B, A\mbox{-GProj})$ がすべてのゴレンシュタイン射影的双モジュールを捉えるための必要十分条件を確立すること。
• 両方の代数 $A$ と $B$ がゴレンシュタインである場合に、フィルトレーションカテゴリを用いて、$A \otimes B$ 上のすべてのゴレンシュタイン射影的双モジュールのカテゴリを完全に記述すること。
• ゴレンシュタインの場合に、無限生成のゴレンシュタイン射影的双モジュールに対しても分類を拡張すること。

提案手法

• ホモロジー的条件を用いて、任意の有限次元代数上のモノモルフィズムカテゴリを定義し、クォーバーの場合の先行定義を一般化すること。
• $A$-ゴレンシュタイン射影的モジュールを値とする $B$-モジュールのフル部分カテゴリとして $\operatorname{Mon}(B, A\mbox{-GProj})$ を構成すること。
• Quillenの小さな対象の技法を用いて、$\operatorname{\overline{\sf Filt}}(A\mbox{-GProj} \otimes B\mbox{-GProj})$ が完全なコトルーションペアをなすことを示すこと。
• コトルーションペアおよび超限拡張の理論を応用して、$(A\otimes B)\mbox{-GProj}$ が $A\mbox{-GProj} \otimes B\mbox{-GProj}$ から生成されるフィルター付きモジュールの加法的閉包に一致することを特徴づけること。
• 単純 $A\otimes B$-モジュールが、単純 $A$-モジュール $T$ と単純 $B$-モジュール $S$ に対して $T \otimes S$ の形に書けること（分裂体の仮定のもと）を活用すること。
• $ (A\otimes B)\mbox{-GProj} = {}^{\perp_1}(\{\Omega^{d_A + d_B}((A\otimes B)/I)\}^{\perp_1}) $ を証明し、これによりフィルトレーションによる特徴付けが得られること。

実験結果

リサーチクエスチョン

• RQ1 モノモルフィズムカテゴリ $\operatorname{Mon}(B, A\mbox{-GProj})$ が、すべてのゴレンシュタイン射影的 $A\otimes B$-双モジュールのカテゴリと同値となるのはいつか？
• RQ2 両方の $A$ と $B$ がゴレンシュタイン代数であるとき、$A\otimes B$ 上のゴレンシュタイン射影的双モジュールはどのように記述できるか？
• RQ3 $A\otimes B$ 上のすべてのゴレンシュタイン射影的双モジュールのカテゴリは、フィルトレーションカテゴリを用いて完全に特徴付けられるか？
• RQ4 Quillenの小さな対象の技法は、テンソル積上のゴレンシュタイン射影的モジュールのカテゴリを構成するために果たす役割は何か？
• RQ5 $A\otimes B$ 上のゴレンシュタイン射影的モジュールは、$A$ と $B$ 上のゴレンシュタイン射影的モジュールのテンソル積とどのように関係するか？

主な発見

• $\operatorname{Mon}(B, A\mbox{-GProj})$ がすべてのゴレンシュタイン射影的 $A\otimes B$-双モジュールを捉えるのは、$A$ または $B$ のいずれかがゴレンシュタインであるとき、かつそのときに限る。
• 両方の $A$ と $B$ がゴレンシュタインであるとき、$A \otimes B$ 上のすべてのゴレンシュタイン射影的双モジュールのカテゴリは $\operatorname{\overline{\sf Filt}}(A\mbox{-GProj} \otimes B\mbox{-GProj})$ に等しい。
• この結果は、両代数がゴレンシュタインである限り、有限生成および無限生成のゴレンシュタイン射影的双モジュールの両方に対して成り立つ。
• 証明はQuillenの小さな対象の技法に依拠しており、$ (A\otimes B)\mbox{-GProj} = {}^{\perp_1}(\{\Omega^{d_A + d_B}((A\otimes B)/I)\}^{\perp_1}) $ が成り立ち、これは $\operatorname{\overline{\sf Filt}}(A\mbox{-GProj} \otimes B\mbox{-GProj})$ に等しい。
• この特徴付けは、$k$ が $A$ または $B$ に対して分裂体である場合に有効であり、そのとき単純 $A\otimes B$-モジュールは単純 $A$-モジュール $T$ と単純 $B$-モジュール $S$ に対して $T \otimes S$ の形に書ける。
• 本結果は、$T_2$-拡張、上三角行列代数、経路代数とのテンソル積に関する先行研究を統一的なホモロジー的枠組みで一般化している。