On the existence of a compact generator on the derived category of a noetherian formal scheme
classification
🧮 math.AG
math.CT
keywords
categorycompactderivedformalnoetherianproveschemeappendix
read the original abstract
In this paper, we prove that for a noetherian formal scheme X, its derived category of sheaves of modules with quasi-coherent torsion homologies D_qct(X) is generated by a single compact object. In an appendix we prove that the category of compact objects in D_qct(X) is skeletally small.
This paper has not been read by Pith yet.
Forward citations
Cited by 2 Pith papers
-
Contraherent cosheaves of contramodules on Noetherian formal schemes
The paper defines the exact category of contraherent cosheaves of contramodules on locally Noetherian formal schemes and constructs direct and inverse image functors along with Hom and contratensor operations.
-
Homomorphisms of topological rings and change-of-scalar functors
For left proflat topological ring epimorphisms, restriction of scalars on contramodules is fully faithful and the forgetful square is a pseudopullback.
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.