[论文解读] 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

一句话总结

本文引入了任意有限维代数上的同调定义的单射态射范畴，并利用这些范畴与滤子范畴，对两个有限维代数的张量积上的Gorenstein投射双模进行分类。关键结果表明，当两个代数均为Gorenstein代数时，$A \otimes B$ 上所有Gorenstein投射双模的范畴恰好是通过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.

研究动机与目标

• 将单射态射范畴的概念从具有单项关系的quiver推广到任意有限维代数，采用同调定义。
• 通过范畴 $\operatorname{Mon}(B, A\mbox{-GProj})$ 描述 $A \otimes B$ 上的Gorenstein投射双模。
• 建立 $\operatorname{Mon}(B, A\mbox{-GProj})$ 捕获所有Gorenstein投射双模的充要条件，当其中一个代数为Gorenstein代数时。
• 当 $A$ 和 $B$ 均为Gorenstein代数时，利用滤子范畴完整描述所有 $A \otimes B$-Gorenstein投射双模的范畴。
• 将分类结果推广至Gorenstein情形下的无限生成Gorenstein投射双模。

提出的方法

• 通过同调条件在任意有限维代数上定义单射态射范畴，推广先前对quiver的定义。
• 将 $\operatorname{Mon}(B, A\mbox{-GProj})$ 构造为取值于 $A$-Gorenstein投射模的 $B$-模的全子范畴。
• 利用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$-模在分裂域假设下可表为 $T \otimes S$ 的事实，其中 $T$ 和 $S$ 分别为简单 $A$-模与 $B$-模。
• 证明 $ (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$-双模的Gorenstein投射模范畴？
• RQ2 当 $A$ 和 $B$ 均为Gorenstein代数时，如何描述 $A\otimes B$ 上的Gorenstein投射双模？
• RQ3 能否通过滤子范畴完全刻画 $A\otimes B$ 上所有Gorenstein投射双模的范畴？
• RQ4 Quillen的小对象构造法在构造张量积上Gorenstein投射模范畴时起到何种作用？
• RQ5 $A\otimes B$ 上的Gorenstein投射模与 $A$ 和 $B$ 上Gorenstein投射模的张量积之间有何关系？

主要发现

• 范畴 $\operatorname{Mon}(B, A\mbox{-GProj})$ 捕获所有 $A\otimes B$-双模的Gorenstein投射模当且仅当 $A$ 或 $B$ 为Gorenstein代数。
• 当 $A$ 和 $B$ 均为Gorenstein代数时，所有 $A\otimes B$-双模的Gorenstein投射模的范畴等于 $\operatorname{\overline{\sf Filt}}(A\mbox{-GProj} \otimes B\mbox{-GProj})$。
• 该结果在两个代数均为Gorenstein代数的假设下，对有限生成与无限生成的Gorenstein投射双模均成立。
• 证明依赖于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$-模可表为 $T \otimes S$ 的形式，其中 $T$ 和 $S$ 分别为简单 $A$-模与 $B$-模。
• 该结果推广了先前关于 $T_2$-扩张、上三角矩阵代数以及与路径代数张量积的研究，提供了一个统一的同调框架。