English

How to construct a Hovey triple from two cotorsion pairs

Algebraic Topology 2014-06-11 v1

Abstract

Let A\mathcal{A} be an abelian category, or more generally a weakly idempotent complete exact category, and suppose we have two complete hereditary cotorsion pairs (Q,R~)(\mathcal{Q}, \widetilde{\mathcal{R}}) and (Q~,R)(\widetilde{\mathcal{Q}}, \mathcal{R}) in A\mathcal{A} satisfying R~R\widetilde{\mathcal{R}} \subseteq \mathcal{R} and QR~=Q~R\mathcal{Q} \cap \widetilde{\mathcal{R}} = \widetilde{\mathcal{Q}} \cap \mathcal{R}. We show how to construct a (necessarily unique) abelian model structure on A\mathcal{A} with Q\mathcal{Q} (respectively Q~\widetilde{\mathcal{Q}}) as the class of cofibrant (resp. trivially cofibrant) objects and R\mathcal{R} (respectively R~\widetilde{\mathcal{R}}) as the class of fibrant (resp. trivially fibrant) objects.

Cite

@article{arxiv.1406.2619,
  title  = {How to construct a Hovey triple from two cotorsion pairs},
  author = {James Gillespie},
  journal= {arXiv preprint arXiv:1406.2619},
  year   = {2014}
}
R2 v1 2026-06-22T04:35:15.401Z