Locally type \(\mathrm{FP}_n\) and \(n\)-coherent categories (Q2694799): Difference between revisions

The first and third author [J. Pure Appl. Algebra 221, No. 6, 1249--1267 (2017; Zbl 1362.18019)] described a nice interplay between modules of type \(\mathrm{FP}_{n}\)\ and \(n\)-coherent\ rings in terms of closure properties. The principal objective in this paper is to present and study the concept of \(n\)-coherent categories as a general framework for the study of finiteness conditions of objects, based mainly in the proposal of the concept of locally type \(\mathrm{FP}_{n}\) categories and \(n\)-coherent objects, as generalizations of locally f-initely generated and locally finitely presented categories, and of noetherian and coherent objects [\textit{B. Stenström}, Rings of quotients. An introduction to methods of ring theory. Berlin-Heidelberg-New York: Springer-Verlag (1975; Zbl 0296.16001; \textit{J. Stovicek}, ``On purity and applications to coderived and singularity categories'', Preprint, \url{arXiv:1412.1615}]. The main result is Theorem 5.5, where several characterizations of \(n\)-coherent categories are given. One of these characterizations is given in terms of the existence of a hereditary small cotorsion theory generated by the class of objects of type \(\mathrm{FP}_{n}\). Theorem 5.5 also generalizes the results in [\textit{D. Bravo} and \textit{M. A. Pérez}, J. Pure Appl. Algebra 221, No. 6, 1249--1267 (2017; Zbl 1362.18019)] concerning modules of type \(\mathrm{FP}_{n}\), \(\mathrm{FP}_{n}\)-injective modules and \(n\)-coherent rings to the more general context of Grothendieck categories. The synopsis of the paper goes as follows. \begin{itemize} \item[\S 2] is concerned with categorical and homological preliminaries. \item[\S 3] presents the concept of objects of type \(\mathrm{FP}_{n}\)\ in a Grothendieck category, studying several closure properties along with some alternative descriptions under some extra assumption in the ground category. The authors also define locally type \(\mathrm{FP}_{n}\) categories as a formal setting for the existence of objects of type \(\mathrm{FP}_{n}\). \item[\S 4] investigates injectivity relative to objects of type \(\mathrm{FP}_{n}\). The authors define the class \(\mathcal{FP}_{n}\)-Inj of \(\mathrm{FP}_{n}\)-injective objects, showing that this class is the right half of a complete cotorsion pair \(\left( ^{\bot_{1}}\left( \mathcal{FP} _{n}\text{-Inj}\right) ,\mathcal{FP}_{n}\text{-Inj}\right) \) cogenerated by a set in any locally type \(\mathrm{FP}_{n}\)\ category. \item[\S 5] is devoted to \(n\)-coherent categories. One of the principal results in this section is that the previous cotorsion pair is hereditary iff the ground category is \(n\)-coherent. Another important result holding in \(n\)-coherent categories is that \(\mathcal{FP}_{n}\)-Inj is a covering class. \item[\S 6] defines the Gorenstein \(\mathrm{FP}_{n}\)-injective objects, constructing model structures such that they form the class of fibrant objects. \end{itemize}