The homological theory of contravariantly finite subcategories:auslander-buchweitz contexts, gorenstein categories and (co-)stabilization (Q4515474)

Let \({\mathcal C}\) be an abelian category and \({\mathcal P}\) be the full subcategory of projective objects. There is a triangulated category \(S({\mathcal C}/{\mathcal P})\) and a functor \(S:{\mathcal C}/{\mathcal P}\to S({\mathcal C}/{\mathcal P})\) universal with respect to these properties. This functor is called the stabilisation of the quotient \({\mathcal C}/{\mathcal P}\). The dual concept is the costabilization. The central theme of the article is to study the stabilisation and costabilisation functors under various hypotheses on \({\mathcal C}\). The paper contains numerous results relating \(S({\mathcal C}/{\mathcal P})\) to other constructions like quotients of the derived or the homotopy category of \({\mathcal C}\), and dual results for \(R({\mathcal C}/{\mathcal P})\). Gorenstein properties are studied and these give concrete realisations of the stabilisation functor. Auslander-Buchweitz contexts play a crucial rôle. Finally, applications to the case \({\mathcal C}=\bmod\Lambda\) or \({\mathcal C}=\text{Mod} \Lambda\) for a ring \(\Lambda\) are given.