Cotilting sheaves on Noetherian schemes (Q2197648)

\textit{Tilting theory} is a machinery composed of well established methods for investigating equivalences between triangulated categories in homological algebra, struggling to answer the question how to characterize the situation that, given two abelian categories \(\mathcal{A}\)\ and \(\mathcal{H}\), which may not be equivalent, their derived categories are equivalent, namely, \[ \boldsymbol{D}\left( \mathcal{H}\right)\simeq\boldsymbol{D}\left(\mathcal{A}\right) \] If \(\mathcal{H}\)\ is a module category, say, \(\mathcal{H}=\boldsymbol{Mod}-R\), it is well known that existence of a tilting complex in \(\boldsymbol{D}\left(\mathcal{A}\right)\) whose endomorphism ring is \(R\) guarantees such a derived equivalence. This paper begins with the question how to detect the case that \(\mathcal{H}\) has an injective cogenerator \(W\), e.g. if \(\mathcal{H}\)\ is a Grothendieck category, in which the image \(C\) of \(W\) in \(\boldsymbol{D}\left(\mathcal{A}\right)\) should hopefully be a cotilting complex. There are several definitions in the case where \(C\)\ is required to be an object of \(\mathcal{A}\)\ [\textit{R. Colpi} et al., J. Algebra 191, No. 2, 461--494 (1997; Zbl 0876.16004); J. Algebra 307, No. 2, 841--863 (2007; Zbl 1120.18008); Commun. Algebra 25, No. 10, 3225--3237 (1997; Zbl 0893.16017); \textit{L. Fiorot} et al., Proc. Am. Math. Soc. 145, No. 4, 1505--1514 (2017; Zbl 1359.18006); \textit{C. E. Parra} and \textit{M. Saorín}, J. Pure Appl. Algebra 219, No. 9, 4117--4143 (2015; Zbl 1333.18017); \textit{J. Šťovíček}, Adv. Math. 263, 45--87 (2014; Zbl 1301.18015); ``The tilting-cotilting correspondence'', Int. Math. Res. Notices rnz116, \url{doi:10.1093/imrn/rnz116}], and rather recent research deals with the case that \(C\)\ is an actual complex [\textit{P. Nicolás} et al., J. Pure Appl. Algebra 223, No. 6, 2273--2319 (2019; Zbl 1436.18013); \textit{C. Psaroudakis} and \textit{J. Vitória}, Math. Z. 288, No. 3--4, 965--1028 (2018; Zbl 1407.18014)]. One of the main difficulties in manipulating cotilting complexes is that, unlike the ring in its module category, injective cogenerators are usually very far from being finitely generated in any reasonable sense. The authors focus on derived equivalences coming from turning around a torsion pair \(\left(\mathcal{T},\mathcal{F}\right) \) in \(\mathcal{A}\), which is a very general method introduced by \textit{D. Happel} et al. [Tilting in abelian categories and quasitilted algebras. Providence, RI: American Mathematical Society (AMS) (1996; Zbl 0849.16011)]. The principal objective in this paper is, inspired by the recent progress in the study of cotilting sheaves of affine schemes [\textit{M. Hrbek} and \textit{J. Šťovíček}, Forum Math. 32, No. 1, 235--267 (2020; Zbl 1454.13020); \textit{L. A. Hügel} et al., Trans. Am. Math. Soc. 366, No. 7, 3487--3517 (2014; Zbl 1291.13018)], to comprehend the situation in detail for the particular case that \(\mathcal{A}\)\ is also a Grothendieck category, and preferably even the category \(\mathrm{QCoh}_{X}\) of quasi-coherent sheaves on a Noetherian scheme \(X\). A synopsis of the paper, consisting of six section together with two appendices, goes as follows. \S 2 establishes basic theory of cotitling objects of injective dimension at most \(1\), showing that basic aspects of cotilting modules [\textit{R. Colpi} et al., J. Algebra 191, No. 2, 461--494 (1997; Zbl 0876.16004); Commun. Algebra 25, No. 10, 3225--3237 (1997; Zbl 0893.16017)] generaiize to Grothendieck categories rather easily and that the definition here matches perfectly with the one in [\textit{L. Fiorot} et al., Proc. Am. Math. Soc. 145, No. 4, 1505--1514 (2017; Zbl 1359.18006); \textit{P. Nicolás} et al., J. Pure Appl. Algebra 223, No. 6, 2273--2319 (2019; Zbl 1436.18013)]. \S 3 is concerned with pure-injectivity of cotilting objects, describing the cotilting torsion-free classes in \(\mathcal{A}\)\ (Theorem 3.10), and showing that if \ is a locally Noetherian Grothendieck category, cotilting objects are parametrized, up to equivalence, by torsion pairs in the category \(\mathcal{A}_{0}\) of Noetherian objects in \(\mathcal{A}\) (Theorem 3.13). \S 4 is concerned with derived equivalences, its exposition being standard, except that a cotilting object in a Grothendieck category is shown to induce a derived equivalence to another Grothendieck category in crucial use of pure-injectivity of cotilting objects. \S 5 aims to specialize to categories of quasi-coherent sheaves on Noetherian schemes, being devoted to the description of suitable torsion pairs in the categories of coherent and quasi-coherent sheaves. \S 6 aims at classifying those cotilting torsion-free classes in \(\mathrm{QCoh}_{X}\), which are closed under taking injective envelopes or, equivalently, for those \(X\)\ which have an ample family of line bundles, under tensoring with line bundles.