Purity in categories of sheaves (Q2223514)

Purity plays a key role in the model theory of modules, finding many uses in the representation theory of finite-dimensional algebras. The theory of purity is based on that of a pure-exact sequence, extending to many additive categories, including those of sheaves and those of quasicoherent sheaves. It should be stressed that this \textit{categorical} purity differes, outside the affine case, from the \textit{geometric} purity. The general relationship has been investigated in [\textit{E. Enochs} et al., Proc. Edinb. Math. Soc., II. Ser. 59, No. 3, 623--640 (2016; Zbl 1370.18011)]. Looking more closely, this paper considers categorical and geometric purity for sheaves over a scheme abiding by some mild conditions, both for the category of all sheaves and for the category of quasicoherent sheaves. A synopsis of the paper goes as follows. \S 1 explores the relations between the purities in \(\mathcal{O}_{X}-\mathrm{Mod}\) and \(\mathrm{QCoh}\left(X\right)\). \S 2 looks deeper into the purity-related notions in the category, investigating which of them are preserved or reflected by the three functors associated to an open subset, namely, the restriction, the extension by zero and the direct image. The main result therein is that the geometric pure-injective in \(\mathcal{O}_{X}-\mathrm{Mod}\) are the skyscraper sheaves with an indecomposable module of sections. \S 3 presents an example of the Zuegler spectrum of the category \(\mathcal{O}_{X}-\mathrm{Mod}\)\ over a local affine \(1\)-dimensional scheme \(X\). \S 4 turns to quasicoherent sheaves, restricting to the case of quasicompact quasiseparated schemes. It is shown that such schemes are affine iff the two purities coincide in the category \(\mathrm{QCoh}\left(X\right)\). The authors proceed by describing the geometric part of the Ziegler spectrum of \(\mathrm{QCoh}\left( X\right)\), showing that this is always glued from afine pieces and forms a quasicompact closed subset of the spectrum. A definable subcategory \(\mathcal{D}_{X}\subseteq\mathrm{QCoh}\left(X\right)\) is assigned to this closed set, such that its objects enjoy the property that every geometrically pure-exact sequence starting in them is categorically pure. \S 5 is devoted to the computation of the Ziegler spectrum of the category of quasicoherent sheaves over a projective line. Both the points and the topology are described, noting that, unlike the affine case, the Ziegler spectrum is not quasicompact. The subcategory \(\mathcal{D}_{X}\)\ allows of a more explicit description in this case.