On the existence of a compact generator on the derived category of a noetherian formal scheme

DOI10.1007/S10485-009-9204-5zbMATH Open1242.14018arXiv0905.2063OpenAlexW3101226607MaRDI QIDQ409247FDOQ409247

Leovigildo Alonso-Tarrío, Ana Jeremías López, Marta Pérez Rodríguez, María J. Vale Gonsalves

Publication date: 12 April 2012

Published in: Applied Categorical Structures (Search for Journal in Brave)

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.

Full work available at URL: https://arxiv.org/abs/0905.2063

Recommendations

• Strong generators in \(\mathbf{D}^{\mathrm{perf}}(X)\) and \(\mathbf{D}^b_{\mathrm{coh}}(X)\)
• Quasiexcellence implies strong generation
• On compact generation of deformed schemes
• the stable derived category of a noetherian scheme
• The homotopy category of complexes of projective modules

zbMATH Keywords

derived categoriesperfect complexescompactly generated categoriesformal schemesskeletally small categories

Mathematics Subject Classification ID

(Co)homology theory in algebraic geometry (14F99)

Cites Work

• Sur quelques points d'algèbre homologique
• Triangulated categories
• Axiomatic stable homotopy theory
• Title not available (Why is that?)
• The Grothendieck duality theorem via Bousfield’s techniques and Brown representability
• Title not available (Why is that?)
• Title not available (Why is that?)
• Localization in Categories of Complexes and Unbounded Resolutions
• The connection between the $K$-theory localization theorem of Thomason, Trobaugh and Yao and the smashing subcategories of Bousfield and Ravenel
• Quasi-perfect scheme-maps and boundedness of the twisted inverse image functor
• Complete modules and torsion modules
• Construction of 𝑡-structures and equivalences of derived categories
• Bousfield localization on formal schemes
• Variance and Duality for Cousin Complexes on Formal Schemes
• Duality and flat base change on formal schemes
• Title not available (Why is that?)
• The derived category of quasi-coherent sheaves and axiomatic stable homotopy

Cited In (5)

• Strong generators in 𝐷_{𝑝𝑒𝑟𝑓}(𝑋) for schemes with a separator
• Generators in formal deformations of categories
• Strong generators in \(\mathbf{D}^{\mathrm{perf}}(X)\) and \(\mathbf{D}^b_{\mathrm{coh}}(X)\)
• Hochster duality in derived categories and point-free reconstruction of schemes
• On the derived category of sheaves on a manifold

This page was built for publication: On the existence of a compact generator on the derived category of a noetherian formal scheme

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q409247)