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.
What problem does this paper attempt to address?
The problem that this paper attempts to solve is to construct a model structure on chain complexes in an accessible exact category and explore the applications of these model structures in homotopical algebra. Specifically, the author focuses on how to construct model structures in a closed symmetric monoidal locally presentable exact category \(E\) with enough flat objects, so that these model structures can be used in the context of homotopical algebra. In particular, when \(E\) is enriched over \(\mathbb{Q}\), these model structures can become Homotopical Algebra Contexts.
### Main Contributions
1. **Construction of Model Structures**:
- The author proves that in an accessible exact category \(E\) satisfying certain conditions, model structures on chain complexes \(\text{Ch}(E)\) and non - negative chain complexes \(\text{Ch}_{\geq 0}(E)\) can be constructed. These conditions include:
- \(\lambda\)-pure monomorphisms are admissible.
- Colimits of transfinite sequences are admissible.
- \(E\) has enough flat objects.
- In these model structures, weak equivalences are quasi - isomorphisms, fibrations are layer - by - layer admissible monomorphisms, and their cokernels are flat.
2. **Applications in Homotopical Algebra**:
- When \(E\) is \(\lambda\)-presentable and enriched over \(\mathbb{Q}\), these model structures make \(\text{Ch}(E)\) and \(\text{Ch}_{\geq 0}(E)\) become Homotopical Algebra Contexts.
- The author also proves that under these model structures, the powerful Koszul Duality Theorem can be carried out.
3. **Specific Examples**:
- The author considers the sheaf category \(\text{Shv}(X,\text{Ind}(\text{Ban}_k))\) of taking values in a monoidal locally presentable exact category on a certain space \(X\), where \(k\) is a Banach field or Banach ring. Although this category usually does not have enough projective objects, it has enough flat objects, which is sufficient to endow \(\text{Ch}(\text{Shv}(X,\text{Ind}(\text{Ban}_k)))\) with a flat model structure and make it a Homotopical Algebra Context.
### Technical Details
- **Hovey Triples**: Model structures are constructed through Hovey triples \((C, W, F)\), where \(C\) is the class of fibrant objects, \(W\) is the class of weak equivalences, and \(F\) is the class of fibrations. These classes are generated by flat cotorsion pairs \((\text{Flat},\text{Flat}^\perp)\).
- **Deconstructibility**: The author uses the concept of deconstructibility to prove that certain classes of objects can construct pre - covering classes and cotorsion pairs through the small object argument.
- **K - Flat Model Structures**: The author also proves the existence of K - flat model structures and shows the corresponding complex resolutions.
### Conclusion
This paper provides a new framework for homotopical algebra by constructing model structures on accessible exact categories. In particular, when dealing with sheaf categories, these model structures provide a powerful tool for studying homological algebra.