From short exact sequences of abelian categories to short exact sequences of homotopy categories and derived categories (Q2127504)

Given an abelian category \(\mathcal A\) and a Serre subcategory \(\mathcal C\), then we may form the quotient \({\mathcal A}/{\mathcal C}\) as the category with the same objects as \(\mathcal A\), but formally inverting all morphisms with kernel and cokernel in \(\mathcal C\). This is then again an abelian category. Denote by \(Q\) the natural functor from \(\mathcal A\) to the quotient. As a first result the authors show that then the category of right bounded, resp. left bounded, resp. bounded, resp. unbounded, complexes over \(\mathcal C\) is a Serre subcategory of the category of complexes over \(\mathcal A\) of the same type, and the quotient is the category of complexes of the same type over \({\mathcal A}/{\mathcal C}\). If \(\mathcal A\) is triangulated and \(\mathcal C\) is a triangulated subcategory, then we may form the Verdier localisation (or quotient) as the category with the same objects as \(\mathcal A\) but inverting those morphisms with cone in \(\mathcal C\). We denote by \({\mathcal A}/{\mathcal C}\) the Verdier localisation of \(\mathcal A\) by \(\mathcal C\) and again by \(Q\) the natural functor from \(\mathcal A\) to the localisation. Miyachi showed that the \(Q\) induces a functor from the left bounded, resp. right bounded, resp. bounded, derived category of \(\mathcal A\) to the derived category of the same kind of the quotient. The kernel of this functor is the full subcategory of the derived category of the same kind over \(\mathcal A\) generated by objects with homology in \(\mathcal C\). As a consequence of their first result the authors show that if \(\mathcal A\) is an abelian category with Serre subcategory \(\mathcal C\) then the natural functor \(Q\) to the quotient induces a full dense functor on the homotopy category of right bounded, resp. left bounded, resp. unbounded, complexes over the corresponding categories. The kernel is this functor is not made precise. However, it is possible to generalise Miyachi's result to the unbounded derived categories over the relevant abelian categories. The paper gives interesting criteria when the derived category over \(\mathcal A\) with homology in \(\mathcal C\) is equivalent with the derived category over \(\mathcal C\). Further, a sequence of examples is given, for functor categories, for lower triangular matrix rings, and others.