Flat model structures for accessible exact categories

Abstract

We develop techniques for constructing model structures on chain complexes valued in accessible exact categories, and apply this to show that for a closed symmetric monoidal, locally presentable exact category $\mathpzc{E}$ with exact filtered colimits and enough flat objects, the flat cotorsion pair on $\mathpzc{E}$ induces an exact model structure on $\mathrm{Ch}(\mathpzc{E})$. Further we show that when enriched over $\mathbb{Q}$ such categories furnish convenient settings for homotopical algebra - in particular that they are Homotopical Algebra Contexts, and admit powerful Koszul duality theorems. As an example, we consider categories of sheaves valued in monoidal locally presentable exact categories.

arXiv commentPreliminary Version; Comments very welcome! 73 pages