Homotopy category of projective complexes and complexes of Gorenstein projective modules.

From MaRDI portal
Publication:397869

DOI10.1016/J.JALGEBRA.2013.09.045zbMATH Open1310.16005arXiv1202.1620OpenAlexW2085242440MaRDI QIDQ397869FDOQ397869


Authors: Javad Asadollahi, Rasool Hafezi, Shokrollah Salarian Edit this on Wikidata


Publication date: 12 August 2014

Published in: Journal of Algebra (Search for Journal in Brave)

Abstract: Let R be a ring with identity and C(R) denote the category of complexes of R-modules. In this paper we study the homotopy categories arising from projective (resp. injective) complexes as well as Gorenstein projective (resp. Gorenstein injective) modules. We show that the homotopy category of projective complexes over R, denoted KPC, is always well generated and is compactly generated provided KPR is so. Based on this result, it will be proved that the class of Gorenstein projective complexes is precovering, whenever R is a commutative noetherian ring of finite Krull dimension. Furthermore, it turns out that over such rings the inclusion functor iota:K(RGPrj)hookrightarrowKR has a right adjoint iotaho, where K(RGPrj) is the homotopy category of Gorenstein projective R modules. Similar, or rather dual, results for the injective (resp. Gorenstein injective) complexes will be provided. If R has a dualising complex, a triangle-equivalence between homotopy categories of projective and of injective complexes will be provided. As an application, we obtain an equivalence between the triangulated categories K(RGPrj) and K(RGInj), that restricts to an equivalence between KPR and KIR, whenever R is commutative, noetherian and admits a dualising complex.


Full work available at URL: https://arxiv.org/abs/1202.1620




Recommendations




Cites Work


Cited In (19)





This page was built for publication: Homotopy category of projective complexes and complexes of Gorenstein projective modules.

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q397869)