Bousfield localization on formal schemes (Q1882988)

Let \((X,{\mathcal O}_X)\) be a noetherian formal scheme, and let \(A(X)\) be the category of \({\mathcal O}_X\)-modules, \(A_t(x)\), resp. \(A_{qc}(X)\) be the full subcategory of all torsion, resp. all quasi-coherent \({\mathcal O}_X\)-modules in \(A(X)\), \(A_{qct}(X)=A_t(X)\cap A_{qc}(X)\). Suppose that \(D(X)=D(A(X))\) is the derived category of \(A(X)\). Then \(D_{qct}(X)\) is the full subcategory of \(D(X)\) which consists of complexes with the homologies in \(A_{qct}(X)\). The authors prove the generalization of \textit{A. Neeman}'s results [Topology 31, 519--532 (1992; Zbl 0793.18008)], namely they prove that there is a bijection between the set of rigid localizing subcategories of \(D_{qct}(X)\) and the subsets of \(X\). The methods proposed are similar to the methods developed by Neeman. Besides, the authors give the description of the acyclization functors associated with the subsets closed under specializations, namely the acyclization functors are the derived functors of sections with support. The authors also specify the relationship of the acyclization functors with Lipman's pairs. The localizing subcategories associated with such subsets by means of homological support are described, this provides the comparison of the obtained results with the Thomason's classification which is obtained in the case of a separated noetherian scheme. The authors remind that the question of describing localizations for subsets that are neither stable for specialization nor generically stable still remains open.