Relative homological algebra in the category of quasi-coherent sheaves. (Q557587)

Recall that a quiver \(Q=(V,E)\) is a directed graph with the set \(V\) of vertices and the set \(E\) of edges. A representation \(R\) of \(Q\) in the category of rings associates to each vertex \(v\in V\) a ring \(R(v)\) and to each edge \(a\colon v\to w\) a ring homomorphism \(R(a)\colon R(v)\to R(w)\). Given a class \(\mathcal F\) of objects in a Grothendieck category \(\mathcal C\), an \(\mathcal F\)-precover of an object \(M\) is a morphism \(\varphi\colon F\to M\) with \(F\in\mathcal F\) such that \(\Hom(F',F)\to\Hom(F',M)\) is an epimorphism for every \(F'\in\mathcal F\). If moreover \(\varphi f=\varphi\) when \(f\in\Hom(F,F)\) implies that \(f\) is an automorphism, then \(\varphi\) is said to be an \(\mathcal F\)-cover. \(\mathcal F\)-preenvelopes and envelopes are defined dually. The main result of the paper states that if \(Q\) is a quiver and \(R\) is a flat representation of \(Q\) in the category of rings, then the category of quasi-coherent \(R\)-modules admits flat covers and cotorsion envelopes.