Bousfield localization on formal schemes
Abstract
Let (X, OX) be a noetherian formal scheme and consider Dqct(X) its derived category of sheaves with quasi-coherent torsion homology. We show that there is a bijection between the set of rigid (i.e. -ideals) localizing subcategories of Dqct(X) and subsets in X, generalizing previous work by Neeman. If moreover X is separated, the associated localization and acyclization functors are described in certain cases. When Z is a stable for specialization subset of X, its associated acyclization is Z. When X is an scheme, the corresponding localizing subcategories are generated by perfect complexes and we recover Thomason's classification of thick subcategories. On the other hand, if Y is a generically stable subset of X, we give an expression for the associated localization functor.
Turn this paper into a full lesson
ArcXiv compiles a staged curriculum from this paper: 8-12 lessons across beginner → advanced, synthesised section guides, visuals, flashcards, a quiz, exercises, and on-demand deep dives per section. Grounded in the abstract, never invented.