Symmetric Auslander and Bass categories

TL;DR

This paper introduces the symmetric Auslander and Bass categories, linking them to Gorenstein projective homomorphisms and establishing an equivalence of triangulated categories related to complexes of projective modules.

Contribution

It defines the symmetric Auslander category and proves its equivalence to the stable category of Gorenstein projective homomorphisms, extending the classical theory.

Findings

A^s(R) contains A(R) and relates to Gorenstein projective homomorphisms.

Established an equivalence between tor GMor(R) and A^s(R)/K^b(Prj R).

Developed a broader theory for symmetric Auslander and Bass categories.

Abstract

We define the symmetric Auslander category A^s(R) to consist of complexes of projective modules whose left- and right-tails are equal to the left- and right tails of totally acyclic complexes of projective modules. The symmetric Auslander category contains A(R), the ordinary Auslander category. It is well known that A(R) is intimately related to Gorenstein projective modules, and our main result is that A^s(R) is similarly related to what can reasonably be called Gorenstein projective homomorphisms. Namely, there is an equivalence of triangulated categories: \underline{GMor}(R) --> A^s(R) / K^b(Prj R). Here \underline{GMor}(R) is the stable category of Gorenstein projective objects in the abelian category Mor(R) of homomorphisms of R-modules, and K^b(Prj R) is the homotopy category of bounded complexes of projective R-modules. This result is set in the wider context of a theory for A^s(R) and B^s(R), the symmetric Bass category which is defined dually.