[论文解读] 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$ 上的两个代数——一个凝聚代数 $A$ 和一个有限维 Gorenstein 代数 $B$——的张量积上的有限生成 Gorenstein 投射模进行了刻画。结果表明，此类模是 Gorenstein 投射模当且仅当其底层的 $A$-模和 $B$-模满足特定的 Gorenstein 投射条件，且当 $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$-模和 $B$-模来描述 $A \otimes_k B$ 上的有限生成 Gorenstein 投射模。
• 解决在非平凡张量积代数中分类 Gorenstein 投射模的挑战。
• 推广并细化来自单射范畴和 Gorenstein 同调代数的结果。
• 为张量积情形下的 Gorenstein 投射性提供同调准则，特别是当 $B$ 具有有限整体维数时。

提出的方法

• 使用 $k$-对偶函子 $D = \operatorname{Hom}_k(-,k)$ 将 $A \otimes_k B$-模与其底层的 $A$-模和 $B$-模联系起来。
• 应用同构关系 $\operatorname{Ext}^n_{A\otimes B}(X, M \otimes DP) \simeq \operatorname{Ext}^n_A(X \otimes_B P, M)$，其中 $P$ 为 $B^{\mathrm{op}}$-投射模。
• 采用投射模的完全正合复形的概念来定义 Gorenstein 投射模。
• 使用完整解析条件：$M$ 是 Gorenstein 投射模当且仅当对所有 $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$-模的关系来激发主要结果。
• 利用三角范畴与 Frobenius 范畴的等价性来证明应用，特别是涉及导出等价性和稳定范畴。

实验结果

研究问题

• RQ1 当 $A$ 是凝聚代数且 $B$ 是有限维 Gorenstein 代数时，一个有限生成的 $A \otimes_k B$-模在什么条件下是 Gorenstein 投射模？
• RQ2 一个 $A \otimes_k B$-模的 Gorenstein 投射性如何与其底层 $A$-模和 $B$-模的 Gorenstein 投射性相关？
• RQ3 当 $B$ 具有有限整体维数时，会引出哪些额外条件？这些条件如何细化 Gorenstein 投射模的刻画？
• RQ4 能否通过此刻画将 quiver 上单射范畴的结构推广到代数张量积？
• RQ5 此刻画对 Gorenstein 投射模的导出等价性和稳定范畴有何影响？

主要发现

• 一个有限生成的 $A \otimes_k B$-模 $X$ 是 Gorenstein 投射模当且仅当 ${}_A(D_B \otimes_B X)$ 作为 $A$-模是 Gorenstein 投射模，且 ${}_B X$ 作为 $B$-模是 Gorenstein 投射模。
• 当 $B$ 具有有限整体维数时，$X$ 是 Gorenstein 投射模当且仅当 ${}_A(X / \operatorname{rad}_B X)$ 作为 $A$-模是 Gorenstein 投射模，且 ${}_B X$ 作为 $B$-模是投射模。
• 函子 $R$ 诱导了投射 $A$-模的 $n$-周期复形范畴与 $A \otimes_k B_n$-模的 Gorenstein 投射模的稳定范畴之间的等价。
• 若 $A$ 具有有限整体维数，则 $A \otimes_k B_n$-模是 Gorenstein 投射模当且仅当其分量是 $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})$ 三角等价。