Cotorsion pairs, model category structures, and representation theory
type: Item
instance of: scholarly article
title: Cotorsion pairs, model category structures, and representation theory
zbMATH Open document ID: 1016.55010
published in: Mathematische Zeitschrift
publication date: 2003-03-27T00:00:00Z
review text: The paper under review deals with Quillen model structures [\textit{D.G. Quillen}, Homotopical algebra, Lect. Notes Math. 43, Springer, Berlin-N.Y. (1967; Zbl 0168.20903)]. The author makes a general study of Quillen model category structures on abelian categories, showing that these structures are closely related to cotorsion pairs. The main results are the following. For a bicomplete abelian category with a model structure, in a predefined way, the full subcategories of cofibrant, fibrant and trivial objects produce functorially complete cotorsion pairs under certain conditions. Conversely, given classes satisfying these conditions, there is a unique model structure such that these classes are the cofibrant, fibrant and trivial objects. A functorially complete cotorsion pair is described in a Grothendieck category with enough projectives. Amodel structure defined by cotorsion pairs is a monoidal model category (compatible with a given tensor product on the abelian category), if certain conditions are satisfied. This theory is applied to (possibly non-commutative) Gorenstein rings to obtain two model structures on the category of \(R\)-modules compatible with all exact sequences, where the class of trivial objects is the class of modules of finite projective dimension. In the projective model structure, every module is fibrant, and the cofibrant objects are the Gorenstein projective modules. In the injective model structure every module is cofibrant and the fibrant objects are the Gorenstein injective modules. The homotopy categories in these two model structures are equivalent, and they are called the stable module category. The stable module category is shown to be a compactly generated triangulated category. When the ring is \(R=K[G]\), where \(K\) is a principal ideal domain and \(G\) is finite, then the stable module category is a symmetric monoidal as well. Finally, some of the known examples of model structures are shown to fit into the framework of the firs…
Mathematics Subject Classification ID: 55U35
Mathematics Subject Classification ID: 18E30
Mathematics Subject Classification ID: 18G35
Mathematics Subject Classification ID: 20C05
Mathematics Subject Classification ID: 20J05
zbMATH DE Number: 1889153
zbMATH Keywords: abstract homotopy theory
zbMATH Keywords: triangulated categories
zbMATH Keywords: chain complexes
author: Mark Hovey
reviewed by: J. Remedios
MaRDI profile type: Publication
full work available at URL: s00209-002-0431-9
OpenAlex ID: W2095343293
DOI: 10.1007/S00209-002-0431-9
description: scientific article; zbMATH DE number 1889153