Approximations and Hovey triples by objects of finite homological dimensions: Applications to sheaves

Abstract

Let $\mathcal{Q}$ be a class of objects in an abelian category $\mathcal{A}$ which need not have enough projective or injective objects. In this paper, we prove that if $\mathcal{Q}$ is the first class of a Hovey triple $(\mathcal{Q},\mathcal{W},\mathcal{R})$ in $\mathcal{A}$ satisfying certain assumptions-weaker than those required in the recent literature-then ${\mathcal{Q}}_n$, the class of objects with $\mathcal{Q}$-resolution dimension at most an integer $n\ge 0$, forms the first class of a hereditary Hovey triple ${\mathcal{M}}_n=({\mathcal{Q}}_n,{\mathcal{W}}_{\mathcal{Q},n},{\mathcal{R}}_{\mathcal{Q},n})$, where ${\mathcal{W}}_{\mathcal{Q},n}$ and ${\mathcal{R}}_{\mathcal{Q},n}$ are described explicitly. Consequently, ${\mathcal{Q}}_n$ is the left-hand side of a complete hereditary cotorsion pair and hence a special precovering class. The dual statement is also established. As a main application, we construct an abelian model structure on $Qcoh(X)$, the category of quasi-coherent sheaves over a semi-separated Noetherian scheme $X$, in which the cofibrant (resp. fibrant) objects are precisely the sheaves with Gorenstein flat (resp. Gorenstein injective) dimension at most $n$.

15 pages, comments are welcome