Model category structures on chain complexes of sheaves

DOI10.1090/S0002-9947-01-02721-0MaRDI QIDQ2706619zbMATH OpenFDO

Authors Mark Hovey

Publication date 20 March 2001

Published in Transactions of the American Mathematical Society (Search for Journal in Brave)

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

zbMATH Keywords

chain complexes of sheavescofibrantmodel categorymonoidalnoetherian schemeprojective dimensionquasi-coherent

Mathematics Subject Classification ID

Presheaves and sheaves, stacks, descent conditions (category-theoretic aspects) (18F20) Chain complexes (category-theoretic aspects), dg categories (18G35) Abstract and axiomatic homotopy theory in algebraic topology (55U35)

Abstract: In this paper, we try to realize the unbounded derived category of an abelian category as the homotopy category of a Quillen model structure on the category of unbounded chain complexes. We construct such a model structure based on injective resolutions for an arbitrary Grothendieck category, as has apparently also been done by Morel. In particular, this works for sheaves on a ringed space, and for quasi-coherent sheaves on a quasi-compact, quasi-separated scheme. However, this injective model structure is not well suited to studying the derived tensor product, so we investigate other model structures. The most successful of these is the flat model structure on complexes of sheaves over a ringed space. This is based on flat resolutions, and is compatible with the tensor product. As a corollary, we get model categories of differential graded algebras of sheaves and differential graded modules over a given differential graded algebra of sheaves. This is the author's first attempt to understand sheaves, so comments from those more experienced with the subject are welcome.

Review text

Let \({\mathcal C}h(\mathcal{A})\) be the category of unbounded chain complexes in an abelian category \(\mathcal{A}\) obtained by adjoining formal inverses to all maps inducing homology isomorphisms. The category \({\mathcal C}h(\mathcal{A})\) is the unbounded derived category of \(\mathcal{A}\). A model structure on \({\mathcal C}h(\mathcal{A})\) is defined in the case where \(\mathcal{A}\) has a set of generators of finite projective dimension. The author uses this model structure to show, for instance: NEWLINENEWLINENEWLINE1. Suppose that \(S\) is a noetherian scheme with enough injectives and is either finite-dimensional or separated. Let \({\mathcal {QC}}o(S)\) be the category of quasi-coherent sheaves on \(S\). Then, locally free sheaves of finite rank form a set of small weak generators for the derived category \(D({\mathcal {QC}}o(S))\). NEWLINENEWLINENEWLINE2. Suppose that \((S,\mathcal{O})\) is a ringed space with finite hereditary global dimension. Then, NEWLINENEWLINENEWLINE(a) there is a cofibrantly generated proper model structure on \({\mathcal C}h(\mathcal{O}\text{-}{\mathcal M}od)\), called the flat model structure where weak equivalences are quasi-isomorphisms and the fibrations are the surjections with dimensionwise flasque kernel. NEWLINENEWLINENEWLINE(b) The flat model structure on \({\mathcal C}h(\mathcal{O}\text{-}{\mathcal M}od)\) makes it into a symmetric monoidal category.

Recommendations

• The flat model structure on complexes of sheaves
• The flat model structure on 𝐂𝐡(𝐑)
• Locally projective monoidal model structure for complexes of quasi-coherent sheaves on P ¹ (k )
• Kaplansky classes and derived categories
• Models for mock homotopy categories of projectives

Cites work

• Algebras and Modules in Monoidal Model Categories
• Axiomatic stable homotopy theory
• Homotopical algebra
• scientific article; zbMATH DE number 4036043 (Why is no real title available?)
• scientific article; zbMATH DE number 47944 (Why is no real title available?)
• scientific article; zbMATH DE number 3463819 (Why is no real title available?)
• scientific article; zbMATH DE number 3572315 (Why is no real title available?)
• scientific article; zbMATH DE number 1226952 (Why is no real title available?)
• scientific article; zbMATH DE number 937397 (Why is no real title available?)
• Residues and duality. Lecture notes of a seminar on the work of A. Grothendieck, given at Havard 1963/64. Appendix: Cohomology with supports and the construction of the \(f^!\) functor by P. Deligne
• Sheafifiable homotopy model categories
• Simplicial cohomology of orbifolds
• Sur quelques points d'algèbre homologique

Cited in

(45)

• On the derived category of quasi-coherent sheaves on an Adams geometric stack
• Tilting theory via stable homotopy theory
• Kernels for noncommutative projective schemes
• Dualizable and semi-flat objects in abstract module categories
• Derived \(\ell\)-adic zeta functions
• Scalar extensions of derived categories and non-Fourier-Mukai functors
• Locally torsion-free quasi-coherent sheaves
• Equivariant homotopy theory for pro-spectra
• Homotopical algebraic context over differential operators
• An algebraic model for rational naïve-commutative ring SO(2)-spectra and equivariant elliptic cohomology
• The derived category with respect to a generator
• External Spanier-Whitehead duality and homology representation theorems for diagram spaces
• Topological K-theory of complex noncommutative spaces
• Symmetric monoidal structure on non-commutative motives
• Some remarks on a theorem of Bergman
• Lectures on dg-categories
• Models for mock homotopy categories of projectives
• A classification theorem for t-structures
• scientific article; zbMATH DE number 5960295 (Why is no real title available?)
• The flat model structure on complexes of sheaves
• A Lazard-like theorem for quasi-coherent sheaves
• Model category structures arising from Drinfeld vector bundles
• Higher symmetries in abstract stable homotopy theories
• Twisted complexes on a ringed space as a dg-enhancement of the derived category of perfect complexes
• Derived categories for Grothendieck categories of enriched functors
• Models for homotopy categories of injectives and Gorenstein injectives
• Kaplansky classes and cotorsion theories of complexes.
• Moduli of objects in dg-categories
• Locally projective monoidal model structure for complexes of quasi-coherent sheaves on P ¹ (k )
• Relative homological algebra in the category of quasi-coherent sheaves.
• OPERADS AND JET MODULES
• scientific article; zbMATH DE number 5180838 (Why is no real title available?)
• Sheafifiable homotopy model categories. II
• Monoidality of Franke's exotic model
• mathlib4 Module Mathlib/Algebra/Homology/DerivedCategory/Basic
• Regular Lagrangians are smooth Lagrangians
• Formalization of derived categories in Lean/mathlib
• On the derived category of a regular toric scheme
• A poisonous example to explicit resolutions of unbounded complexes
• Sheaf models for choice sequences
• The generating hypothesis in the derived category of R-modules
• The homotopy theory of dg-categories and derived Morita theory
• The derived category of quasi-coherent sheaves and axiomatic stable homotopy
• Modules over motivic cohomology
• Homological mirror symmetry for the 4-torus

This page was built for publication: Model category structures on chain complexes of sheaves

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