K-flatness in Grothendieck categories: application to quasi-coherent sheaves (Q6987648)

In [\textit{I. Emmanouil}, Isr. J. Math. 255, No. 1, 201--230 (2023; Zbl 1544.16003)], Emmanouil studied the Verdier quotient \(\mathcal{K}(R)/\mathcal{KF}\), where \(\mathcal{K}(R)\) is the chain homotopy category associated to a ring \(R\) and \(\mathcal{KF}\) is the class of \(\mathcal{K}\)-flat complexes. The aim of the reviewed article is to conduct a similar study, replacing the category Mod\((R)\) with a closed symmetric monoidal Grothendieck category \((\mathcal{G}, \otimes)\).\N\NTo describe the main results, we recall that in this context \(\otimes\) extends to the category of complexes \(Ch(\mathcal{G})\) in such a way that \((Ch(\mathcal{G}),\otimes)\) is closed symmetric monoidal. Then, \(\mathcal{KF}\) is defined as the category of objects \(X\) such that \(E\otimes X\) is acyclic for every acyclic complex \(E\). This class turns out to be a covering class in \(Ch(\mathcal{G})\). The authors show that the Verdier quotient \(\mathcal{K}(\mathcal{G})/\mathcal{KF}\) is a well-generated triangulated category. To prove this, a cofibrantly generated abelian model structure is constructed in \(Ch(\mathcal{G})\) whose weak equivalences are the morphisms with mapping cone in \(\mathcal{KF}\) (as in [\textit{J. Gillespie}, Bull. Lond. Math. Soc. 55, No. 1, 119--136 (2023; Zbl 1524.18052)]). As a culmination of the theory developed, it is proved that, under the assumption that \(\mathcal{G}\) has a set of generators \(\mathcal{X}\) such that the sphere complex \(S^{n}(X)\) belongs to \(\mathcal{KF}\) for all \(n\in \mathbb{Z}\) and all \(X\in \mathcal{X}\), a recollement \(\mathcal{K}(\mathcal{G})/\mathcal{KF}\begin{smallmatrix}\leftarrow\\\N\rightarrow\\\N\leftarrow \end{smallmatrix}\mathcal{D}_{\otimes\text{-pur}}(\mathcal{G})\begin{smallmatrix}\leftarrow\\\N\rightarrow\\\N\leftarrow \end{smallmatrix}\mathcal{D}(\mathcal{G}) \) is shown, where \(\mathcal{D}_{\otimes\text{-pur}}(\mathcal{G})\) is the \(\otimes\)-pure derived category introduced in [\textit{S. Estrada} et al., Math. Proc. Camb. Philos. Soc. 163, No. 2, 251--264 (2017; Zbl 1396.18006)]. Finally, the authors study the case where \(\mathcal{G}\) is the category of quasi-coherent sheaves over a quasi-compact semiseparated scheme. In this context, it is shown that \(\mathcal{K}(\mathcal{G})/\mathcal{KF}\) is equivalent to the chain homotopy category of acyclic complexes of \(\otimes\)-pure injectives.