On the existence of a compact generator on the derived category of a noetherian formal scheme
arXiv:0905.2063 · doi:10.1007/s10485-009-9204-5
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.
arXiv comment13 pages