Six model structures for DG-modules over DGAs: Model category theory in homological action

Tobias Barthel*, J. P. May, Emily Riehl

*Corresponding author for this work

Research output: Contribution to journalArticlepeer-review

26 Citations (Scopus)


In Part 1, we describe six projective-type model structures on the category of differential graded modules over a differential graded algebra A over a commutative ring R. When R is a field, the six collapse to three and are well-known, at least to folklore, but in the general case the new relative and mixed model structures offer interesting alternatives to the model structures in common use. The construction of some of these model structures requires two new variants of the small object argument, an enriched and an algebraic one, and we describe these more generally. In Part 2, we present a variety of theoretical and calculational cofi-brant approximations in these model categories. The classical bar construction gives cofibrant approximations in the relative model structure, but generally not in the usual one. In the usual model structure, there are two quite different ways to lift cofibrant approximations from the level of homology modules over homology algebras, where they are classical projective resolutions, to the level of DG-modules over DG-algebras. The new theory makes model theoretic sense of earlier explicit calculations based on one of these constructions. A novel phenomenon we encounter is isomorphic cofibrant approximations with different combinatorial structure such that things proven in one avatar are not readily proven in the other.

Original languageEnglish
Pages (from-to)1077-1159
Number of pages83
JournalNew York Journal of Mathematics
Publication statusPublished - 2014
Externally publishedYes


  • Differential homological algebra
  • Differential torsion products
  • Eilenberg–Moore spectral sequence
  • Massey product
  • Model category theory
  • Projective class
  • Projective resolution
  • Relative homological algebra


Dive into the research topics of 'Six model structures for DG-modules over DGAs: Model category theory in homological action'. Together they form a unique fingerprint.

Cite this