Localization theory in higher homological algebra (Q6051009)

From MaRDI portal
scientific article; zbMATH DE number 7739978
Language Label Description Also known as
English
Localization theory in higher homological algebra
scientific article; zbMATH DE number 7739978

    Statements

    Localization theory in higher homological algebra (English)
    0 references
    19 September 2023
    0 references
    Let \(n\geq1\) be a fix integer. The paper under review mainly investigates localization theory in higher homological algebra, concentrating at the localizations of \(n\)-abelian and \((n+2)\)-angulated categories. The first main result constructs in two steps the localization of an \(n\)-abelian category with respect to a class of morphisms. Let \(\mathcal{M}\) be an \(n\)-abelian category, \(S\) a bicalculable system of morphisms in \(\mathcal{M}\) and \(\mathcal{M}[S^{-1}]\) the localization of \(\mathcal{M}\) with respect to \(S\) in the sense of Gabriel-Zisman. The author first showed that \(\mathcal{M}[S^{-1}]\) is a pre-\(n\)-abelian category. Denote by \(\widetilde{\mathcal{M}[S^{-1}]}\) the idempotent completion of \(\mathcal{M}[S^{-1}]\) and by \(\widetilde{Q}\) the composition of the localization functor \(Q: \mathcal{M}\rightarrow \mathcal{M}[S^{-1}]\) and the inclusion functor \(\imath: \mathcal{M}[S^{-1}]\rightarrow \widetilde{\mathcal{M}[S^{-1}]}\). The author then showed that \(\widetilde{\mathcal{M}[S^{-1}]}\) is an \(n\)-abelian category, the functor \(\widetilde{Q}\) is \(n\)-exact and \(\widetilde{\mathcal{M}[S^{-1}]}\) satisfies certain universal property. The second main result provides an analogous result for \((n+2)\)-angulated categories. Let \(\mathcal{C}\) be an \((n+2)\)-angulated category and \(S\) a bicalculable system of morphisms in \(\mathcal{C}\) which is compatible with \((n+2)\)-angulation. The author showed that the localization \(\mathcal{C}[S^{-1}]\) of \(\mathcal{C}\) with respect to \(S\) is an \((n+2)\)-angulated category and the localization functor \(Q\) is an \((n+2)\)-exact functor of \((n+2)\)-angulated categories, moreover, \(\mathcal{C}[S^{-1}]\) satisfies certain universal property.
    0 references
    0 references
    \(n\)-abelian categories
    0 references
    \(n\)-angulated categories
    0 references
    Gabriel-Zisman localizations
    0 references
    \(n\)-cluster tilting subcategories
    0 references

    Identifiers

    0 references
    0 references
    0 references
    0 references
    0 references
    0 references