Auslander's defects over extriangulated categories: an application for the general heart construction (Q2058814): Difference between revisions

The notion of extriangulated category was introduced by \textit{H. Nakaoka} and \textit{Y. Palu} [Cah. Topol. Géom. Différ. Catég. 60, No. 2, 117--193 (2019; Zbl 1451.18021)] as a simultaneous generalization of exact categories and triangulated categories. It allows us to unify many results on exact categories and triangulated categories in the same framework. A typical example of extriangulated categories (which are possibly neither exact nor triangulated) is an extension-closed subcategory in a triangulated category. In this paper, the author provides an extension to extriangulated categories of Auslander's formula: for some extriangulated category \(\mathcal C\), there exists a localization sequence \[\mathrm{def}\mathcal C\rightarrow \mathrm{mod}\mathcal C\rightarrow\mathrm{lex}\mathcal C,\] where \(\mathrm{def}\mathcal C\) denotes the full subcategory of Auslander's defects, \(\mathrm{mod}\mathcal C\) denotes the category of finitely presented functors from \(\mathcal C\) to the category of abelian groups and \(\mathrm{lex}\mathcal C\) denotes the full subcategory of finitely presented left exact functors. Moreover, the author gives a connection between the above localization sequence and the Gabriel-Quillen embedding theorem. As an application, the author provides a good understanding for the heart and the cohomological functor.