Phantom covering ideals in categories without enough projective morphisms (Q2197552)
From MaRDI portal
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Phantom covering ideals in categories without enough projective morphisms |
scientific article |
Statements
Phantom covering ideals in categories without enough projective morphisms (English)
0 references
1 September 2020
0 references
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))\).
0 references
quasi-coherent sheaf
0 references
phantom map
0 references
cover
0 references
geometrical pure injective
0 references