The derived category of quasi-coherent sheaves and axiomatic stable homotopy

Abstract

We prove in this paper that for a quasi-compact and semi-separated (non necessarily noetherian) scheme X, the derived category of quasi-coherent sheaves over X, D(A_qc(X)), is a stable homotopy category in the sense of Hovey, Palmieri and Strickland, answering a question posed by Strickland. Moreover we show that it is unital and algebraic. We also prove that for a noetherian semi-separated formal scheme X, its derived category of sheaves of modules with quasi-coherent torsion homologies D_qct(X) is a stable homotopy category. It is algebraic but if the formal scheme is not a usual scheme, it is not unital, therefore its abstract nature differs essentially from that of the derived category of a usual scheme.

v2: 31 pages, some improvements in exposition; v3 updated bibliography, to appear Adv. Math

References in corpus (2)

• Duality and flat base change on formal schemes
• A Quillen Approach to Derived Categories and Tensor Products

Cited by in corpus (9)

• Local duality in algebra and topology
• Derived categories of Quot schemes of locally free quotients
• Kernel algebras and generalized Fourier-Mukai transforms
• A functorial formalism for quasi-coherent sheaves on a geometric stack
• On flat generators and Matlis duality for quasicoherent sheaves
• On the existence of a compact generator on the derived category of a noetherian formal scheme
• On the derived category of quasi-coherent sheaves on an Adams geometric stack
• Totally acyclic complexes over noetherian schemes
• Relative perfect complexes