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

DOI10.1016/J.JALGEBRA.2013.09.045MaRDI QIDQ397869zbMATH OpenOpenAlexFDO

Authors Javad Asadollahi, Rasool Hafezi, Shokrollah Salarian

Publication date 12 August 2014

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

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

zbMATH Keywords

adjoint functorshomotopy categoriesprecoverscategories of complexescompactly generated triangulated categoriesGorenstein projective complexes

Mathematics Subject Classification ID

Syzygies, resolutions, complexes and commutative rings (13D02) Syzygies, resolutions, complexes in associative algebras (16E05) Homological conditions on associative rings (generalizations of regular, Gorenstein, Cohen-Macaulay rings, etc.) (16E65) Adjoint functors (universal constructions, reflective subcategories, Kan extensions, etc.) (18A40)

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 $iot{a}_{ho}$, 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.

Recommendations

• The homotopy category of complexes of projective modules
• Homotopy category of \(N\)-complexes of projective modules
• Morphism categories of Gorenstein-projective modules
• Homotopy categories of unbounded complexes of projective modules
• Homotopy Categories, Leavitt Path Algebras, and Gorenstein Projective Modules
• Auslander-Reiten theory on the homotopy category of projective modules.
• The homotopy category of acyclic complexes of pure-projective modules
• The homotopy category of monomorphisms between projective modules
• A projective homotopy theory of crossed \(G\)-modules
• Gorenstein projective \(N\)-complexes.

Cites work

• scientific article; zbMATH DE number 3879716 (Why is no real title available?)
• scientific article; zbMATH DE number 3663412 (Why is no real title available?)
• scientific article; zbMATH DE number 3632726 (Why is no real title available?)
• scientific article; zbMATH DE number 1313601 (Why is no real title available?)
• Acyclicity versus total acyclicity for complexes over noetherian rings
• Approximations and endomorphism algebras of modules.
• Cotorsion pairs in \(\mathbf{C}(R-\text{Mod})\)
• Existence of Gorenstein projective resolutions and Tate cohomology
• Gorenstein Projective, Injective, and Flat Complexes
• Gorenstein homological dimensions.
• Gorenstein injective and projective complexes
• Gorenstein injective complexes of modules over Noetherian rings.
• Gorenstein projective and flat complexes over Noetherian rings
• Homotopy equivalences induced by balanced pairs
• Localization theory for triangulated categories
• On the homotopy categories of projective and injective representations of quivers
• Stable \(t\)-structures and homotopy category of Gorenstein-projective modules
• The Grothendieck duality theorem via Bousfield’s techniques and Brown representability
• The homological theory of contravariantly finite subcategories:auslander-buchweitz contexts, gorenstein categories and (co-)stabilization
• The homotopy category of complexes of projective modules
• The homotopy category of flat modules, and Grothendieck duality
• Totally acyclic complexes over noetherian schemes
• Triangulated categories
• the stable derived category of a noetherian scheme

Cited in

(19)

• Homotopy Categories, Leavitt Path Algebras, and Gorenstein Projective Modules
• Applications of cotorsion pairs on triangulated categories
• Constructing cogenerators in triangulated categories and Brown representability
• Complexes of injective \(kG\)-modules.
• The Gorenstein defect category
• Auslander-Reiten theory on the homotopy category of projective modules.
• Homotopy categories of unbounded complexes of projective modules
• The homotopy category of complexes of projective modules
• Quillen equivalence of singular model categories
• Homotopy equivalences induced by balanced pairs
• Some adjoints in homotopy categories
• Spectra of modules
• The homotopy category of acyclic complexes of pure-projective modules
• Approximations and adjoints for categories of complexes of Gorenstein projective modules
• Verdier quotients of homotopy categories of rings and Gorenstein-projective precovers
• Neeman's characterization of \(K\)(R-proj) via Bousfield localization
• A smashing subcategory of the homotopy category of Gorenstein projective modules
• On the existence of Gorenstein projective precovers
• Compactly generated triangulated subcategories of homotopy categories induced by cotorsion pairs

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)