Gorenstein projective bimodules via monomorphism categories and filtration categories

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.

arXiv comment23 pages

References in corpus (6)

• The Auslander-Reiten Translation in Submodule Categories
• Submodule Categories of Wild Representation Type
• A description of Gorenstein projective modules over the tensor products of algebras
• A Description of Totally Reflexive Modules for a Class of non-Gorenstein Rings
• The Gorenstein-projective modules over a monomial algebra
• Separated monic representations II: Frobenius subcategories and RSS equivalences

Cited by in corpus (2)

• Singularity categories of representations of algebras over local rings
• Quiver representations over a quasi-Frobenius ring and Gorenstein-projective modules