For hereditary complete cotorsion pairs generated by a set in a Grothendieck category, the coderived category of the left class is equivalent to the contraderived category of the right class, and for sandwiched pairs this flat-type behavior is equivalent to two periodicity properties.
How to construct a Hovey triple from two cotorsion pairs
1 Pith paper cite this work. Polarity classification is still indexing.
abstract
Let $\mathcal{A}$ be an abelian category, or more generally a weakly idempotent complete exact category, and suppose we have two complete hereditary cotorsion pairs $(\mathcal{Q}, \widetilde{\mathcal{R}})$ and $(\widetilde{\mathcal{Q}}, \mathcal{R})$ in $\mathcal{A}$ satisfying $\widetilde{\mathcal{R}} \subseteq \mathcal{R}$ and $\mathcal{Q} \cap \widetilde{\mathcal{R}} = \widetilde{\mathcal{Q}} \cap \mathcal{R}$. We show how to construct a (necessarily unique) abelian model structure on $\mathcal{A}$ with $\mathcal{Q}$ (respectively $\widetilde{\mathcal{Q}}$) as the class of cofibrant (resp. trivially cofibrant) objects and $\mathcal{R}$ (respectively $\widetilde{\mathcal{R}}$) as the class of fibrant (resp. trivially fibrant) objects.
citation-role summary
citation-polarity summary
fields
math.CT 1years
2025 1verdicts
CONDITIONAL 1roles
background 1polarities
unclear 1representative citing papers
citing papers explorer
-
Coderived and contraderived categories for a cotorsion pair, flat-type cotorsion pairs, and relative periodicity
For hereditary complete cotorsion pairs generated by a set in a Grothendieck category, the coderived category of the left class is equivalent to the contraderived category of the right class, and for sandwiched pairs this flat-type behavior is equivalent to two periodicity properties.