On equivalence of derived categories
type: Item
instance of: scholarly article
title: On equivalence of derived categories
zbMATH Open document ID: 0853.18008
DOI: 10.1007/BF00538187
author: Dongyuan Yao
published in: \(K\)-Theory
publication date: 1996-08-28T00:00:00Z
review text: Consider an abelian category \({\mathcal A}\) and a thick subcategory \({\mathcal B}\) of \({\mathcal A}\). Let \(D^b ({\mathcal B})\) denote the derived category of cohomologically bounded chain complexes of objects in \({\mathcal B}\) and \(D^b_{\mathcal B} ({\mathcal A})\) the derived category of cohomological bounded chain complexes of objects in \({\mathcal A}\) with cohomology in \({\mathcal B}\). The paper considers the question whether the embedding of \({\mathcal B}\) into \({\mathcal A}\) induces an equivalence of categories from \(D^b ({\mathcal B})\) to \(D^b_{\mathcal B} ({\mathcal A})\). Two positive answers to this question are given. First, let us denote by \(y \text{Ext}^n_{\mathcal A} (A,B)\) the Yoneda \(n\)-extension, i.e., the set of all \(n\)-extensions from \(A\) by \(B\), modulo the equivalence relation generated by morphisms of \(n\)-extensions. With this notation, the authors prove that the inclusion \(i\) of \({\mathcal A}\) into \({\mathcal B}\) induces an equivalence of derived categories between \(D^b ({\mathcal A})\) and \(D^b_{\mathcal B} ({\mathcal A})\) if and only if for any \(A,B\) in \({\mathcal B}\) and any positive integer \(n\), we have \[ y \text{Ext}^n_{\mathcal B} (A,B) = y \text{Ext}^n_{\mathcal A} (iA, iB), \] up to isomorphism. Examples when this condition is satisfied include the case when \({\mathcal B}\) has enough \({\mathcal A}\)-injectives and the geometric example, where \(X\) is a quasicompact and semi-separated scheme, in which case there is an equivalence between the categories \(D^b (\text{Qcoh} (X))\) and \(D^b_{qc} (X)\). If one works over a Grothendieck category \({\mathcal A}\), a second positive answer to the previous question is given by the following result. Consider a thick subcategory \({\mathcal T}\) of \({\mathcal A}\) which is closed under taking direct sums and denote by \(t\) the torsion theory (or the idempotent kernel functor) associated to \({\mathcal T}\). Then the embedding of \({\mathcal T}…
Mathematics Subject Classification ID: 18E30
Mathematics Subject Classification ID: 14C35
Mathematics Subject Classification ID: 18E40
Mathematics Subject Classification ID: 18E15
Mathematics Subject Classification ID: 18G35
Mathematics Subject Classification ID: 19E99
zbMATH DE Number: 895839
zbMATH Keywords: Yoneda \(n\)-extension
zbMATH Keywords: cohomological bounded chain complexes
zbMATH Keywords: equivalence
zbMATH Keywords: derived categories
zbMATH Keywords: quasicompact and semi-separated scheme
zbMATH Keywords: Grothendieck category
zbMATH Keywords: torsion theory
MaRDI profile type: Publication
cites work: Riemann-Roch theorems for higher algebraic K-theory
cites work: Q3999819
cites work: Exact sequences in algebraic K-theory
cites work: 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
cites work: Q3125202
cites work: Q3995189
cites work: Homotopical algebra
cites work: Higher algebraic K-theory: I
cites work: On fundamental theorems of algebraic K-theory
cites work: Q4049223
cites work: Q3356420
cites work: A Lefschetz formula in equivariant algebraic \(K\)-theory
cites work: The \(K\)-groups of a blow-up scheme and an excess intersection formula
cites work: Q3701607
cites work: Q4010234
cites work: Higher algebraic \(K\)-theory of admissible abelian categories and localization theorems
cites work: A generalization of Brauer's map of decomposition
description: scientific article; zbMATH DE number 895839