Quillen model structures for relative homological algebra

Abstract

An important example of a model category is the category of unbounded chain complexes of R-modules, which has as its homotopy category the derived category of the ring R. This example shows that traditional homological algebra is encompassed by Quillen's homotopical algebra. The goal of this paper is to show that more general forms of homological algebra also fit into Quillen's framework. Specifically, a projective class on a complete and cocomplete abelian category A is exactly the information needed to do homological algebra in A. The main result is that, under weak hypotheses, the category of chain complexes of objects of A has a model category structure that reflects the homological algebra of the projective class in the sense that it encodes the Ext groups and more general derived functors. Examples include the "pure derived category" of a ring R, and derived categories capturing relative situations, including the projective class for Hochschild homology and cohomology. We characterize the model structures that are cofibrantly generated, and show that this fails for many interesting examples. Finally, we explain how the category of simplicial objects in a possibly non-abelian category can be equipped with a model category structure reflecting a given projective class, and give examples that include equivariant homotopy theory and bounded below derived categories.

29 pages. v4: Published in Math. Proc. Cambridge Philos. Soc. v5: Minor corrections to published version appear on last page

Cited by in corpus (34)

• Global homotopy theory
• A necessary and sufficient condition for induced model structures
• An algebraic model for commutative HZ-algebras
• On purity and applications to coderived and singularity categories
• Algebraic weak factorisation systems II: categories of weak maps
• Morita theory in abelian, derived and stable model categories
• Generalized Brown representability in homotopy categories
• Analytic geometry over F_1 and the Fargues-Fontaine curve
• Proper equivariant stable homotopy theory
• Classification of stable model categories
• Ghost numbers of Group Algebras
• Behavior of Quillen (co)homology with respect to adjunctions
• Obstruction Theory in Model Categories
• Pure exact structures and the pure derived category of a scheme
• Integral models of Harish-Chandra modules of the finite covering groups of PU(1,1)
• An example of a non-cofibrantly generated model category
• Homotopy theory in a quasi-abelian category
• Ghost numbers of group algebras II
• On combinatorial model categories
• Levels of algebraicity in stable homotopy theories
• Homotopy theory of coalgebras over operads
• The derived category with respect to a generator
• On relative derived categories
• The effective model structure and $\infty$-groupoid objects
• Localization with respect to a class of maps I - Equivariant localization of diagrams of spaces
• Quasi-coherent sheaves in differential geometry
• Accessible model categories
• Homotopy in Exact Categories
• Koszul duality in exact categories
• A generalization of Quillen's small object argument
• Monoidality of Franke's Exotic Model
• Complete cotorsion pairs in exact categories
• On Pure Derived Categories
• Pure resolutions of unbounded complexes of modules