[論文レビュー] A description of Gorenstein projective modules over the tensor products of algebras

Dawei Shen|arXiv (Cornell University)|Jan 30, 2016

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

ひとこと要約

本稿は、体 $k$ 上の有限次元ゴレンシュタイン代数 $B$ と、整合的代数 $A$ のテンソル積 $A \otimes_k B$ 上の有限生成提示ゴレンシュタイン射影的加群の特徴付けを提供する。この加群がゴレンシュタイン射影的であることの必要十分条件は、それらの下位の $A$-加群および $B$-加群が特定のゴレンシュタイン射影的条件を満たすことである。$B$ が有限グローバル次元を持つ場合、より洗練された記述が可能である。

ABSTRACT

Let $A$ be a coherent algebra and $B$ be a finite-dimensional Gorenstein algebra over a field $k$. We describe finitely presented Gorenstein projective $A\otimes_k B$-modules in terms of their underlying onesided modules. Moreover, if the global dimension of $B$ is finite, we give a more precise description of finitely presented Gorenstein projective $A\otimes_k B$-modules.

研究の動機と目的

• 代数 $A \otimes_k B$ 上の有限生成提示ゴレンシュタイン射影的加群を、それらの下位の $A$-加群および $B$-加群の観点から記述すること。
• 非自明なテンソル積代数におけるゴレンシュタイン射影的加群の分類という課題に取り組むこと。
• 単射的カテゴリとゴレンシュタインホモロジー代数の結果を一般化・洗練すること。
• 特に $B$ が有限グローバル次元を持つ場合に、テンソル積設定におけるゴレンシュタイン射影的であることのホモロジー的基準を提供すること。

提案手法

• $k$-双対関手 $D = \operatorname{Hom}_k(-,k)$ を用いて、$A \otimes_k B$-加群とその下位の $A$-加群および $B$-加群との関係を確立すること。
• $B^{\mathrm{op}}$-射影的加群 $P$ に対して、同型 $\operatorname{Ext}^n_{A\otimes B}(X, M \otimes DP) \simeq \operatorname{Ext}^n_A(X \otimes_B P, M)$ を応用すること。
• 射影的加群の完全的周期的複体の概念を用いてゴレンシュタイン射影的加群を定義すること。
• 完全複体条件の利用：$M$ がゴレンシュタイン射影的であることの必要十分条件は、$n \geq 1$ に対して $\operatorname{Ext}^n_A(M,A) = 0$ かつ $\operatorname{Ext}^n_{A^{\mathrm{op}}}(M^*,A) = 0$ であり、評価写像 $M \to M^{**}$ が同型であること。
• モノモルフィズムカテゴリの構造と $A \otimes_k kQ$-加群との関係を活用し、主結果の動機を提示すること。
• 三角的およびフロベニウスカテゴリ同値を用いて応用を証明し、特に導来同値および安定カテゴリに関連して議論すること。

実験結果

リサーチクエスチョン

• RQ1 $A$ が整合的かつ $B$ が有限次元ゴレンシュタイン代数であるとき、有限生成 $A \otimes_k B$-加群がゴレンシュタイン射影的であるのはいつか？
• RQ2 $A \otimes_k B$-加群のゴレンシュタイン射影的性質が、その下位の $A$-加群および $B$-加群のゴレンシュタイン射影的性質とどのように関係するか？
• RQ3 $B$ が有限グローバル次元を持つ場合にどのような追加条件が生じ、ゴレンシュタイン射影的加群の特徴付けがどのように洗練されるか？
• RQ4 この特徴付けを用いて、クーヴァーのモノモルフィズムカテゴリの構造を代数のテンソル積へ一般化できるか？
• RQ5 この特徴付けは、ゴレンシュタイン射影的加群の導来同値および安定カテゴリにどのような影響を及えるか？

主な発見

• 有限生成 $A \otimes_k B$-加群 $X$ がゴレンシュタイン射影的であることの必要十分条件は、${}_A(D_B \otimes_B X)$ が $A$-加群としてゴレンシュタイン射影的であること、かつ ${}_B X$ が $B$-加群としてゴレンシュタイン射影的であることである。
• $B$ が有限グローバル次元を持つ場合、$X$ がゴレンシュタイン射影的であることの必要十分条件は、${}_A(X / \operatorname{rad}_B X)$ が $A$-加群としてゴレンシュタイン射影的であること、かつ ${}_B X$ が $B$-加群として射影的であることである。
• 関手 $R$ は、射影的 $A$-加群の $n$-周期的複体のカテゴリと、$A \otimes_k B_n$-加群のゴレンシュタイン射影的加群の安定カテゴリとの間で同値を誘導する。
• $A$ が有限グローバル次元を持つ場合、$A \otimes_k B_n$-加群がゴレンシュタイン射影的であることの必要十分条件は、その成分が射影的 $A$-加群であることである。
• $A \otimes_k B_n\text{-}\underline{\mathrm{Gproj}}$ の安定カテゴリは、$\mathbf{K}_n(A\text{-}\mathrm{proj})$、すなわち射影的 $A$-加群の $n$-周期的複体の三角的カテゴリと三角同値である。
• $A$ と $A'$ が有限グローバル次元を持つ導来同値な有限次元代数であれば、$\mathbf{K}_n(A\text{-}\mathrm{proj})$ と $\mathbf{K}_n(A'\text{-}\mathrm{proj})$ は三角同値である。