Phantom covering ideals in categories without enough projective morphisms (Q2197552)

Let \(\mathcal{(A, E)}\) be an exact category with \(\mathcal{A}\) locally presentable. In the paper under review, the authors prove that if \(\mathcal{E'}\) is an exact substructure of \(\mathcal{(A, E)}\) which is closed under direct limits, then an ideal \(\Phi(\mathcal{E'})\) of \(\mathcal{E'}\)-phantom morphisms is a covering ideal. Moreover, if \(\mathcal{A}\) has enough \(\mathcal{E'}\)-phantom morphisms, and \(\mathcal{E'}\) has enough injectives, then \(\Phi(\mathcal{E'})\) is a special covering ideal (see Theorem 3.15 and Corollary 3.18). Let \(\mathrm{P^1}(R)\) denote the projective line over any commutative ring \(R\) and \(\mathfrak{Qco}(\mathrm{P^1}(R))\) the category of quasi-coherent sheaves on a scheme \(\mathrm{P^1}(R)\). In the second main result (Section 4) it is proved that there are no nonzero projective morphisms in \(\mathfrak{Qco}(\mathrm{P^1}(R))\). As a consequence of this result, the authors deduce that there are no non-trivial phantom morphisms in the category \(\mathfrak{Qco}(\mathrm{P^1}(R))\).