K-flatness in Grothendieck categories: Application to quasi-coherent sheaves
Abstract
Let $(\mathcal{G},\otimes)$ be any closed symmetric monoidal Grothendieck category. We show that K-flat covers exist universally in the category of chain complexes and that the Verdier quotient of $K(\mathcal{G})$ by the K-flat complexes is always a well generated triangulated category. Under the further assumption that $\mathcal{G}$ has a set of $\otimes$-flat generators we can show more: (i) The category is in recollement with the $\otimes$-pure derived category and the usual derived category, and (ii) The usual derived category is the homotopy category of a cofibrantly generated and monoidal model structure whose cofibrant objects are precisely the K-flat complexes. We also give a condition guaranteeing that the right orthogonal to K-flat is precisely the acyclic complexes of $\otimes$-pure injectives. We show this condition holds for quasi-coherent sheaves over a quasi-compact and semiseparated scheme.
- Publication:
-
arXiv e-prints
- Pub Date:
- June 2023
- DOI:
- 10.48550/arXiv.2306.04816
- arXiv:
- arXiv:2306.04816
- Bibcode:
- 2023arXiv230604816E
- Keywords:
-
- Mathematics - Algebraic Geometry;
- Mathematics - Algebraic Topology;
- Mathematics - Category Theory;
- Mathematics - K-Theory and Homology;
- 18N40;
- 18G35;
- 18G25
- E-Print:
- 18 pages