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
\(n\)-abelian categories
0 references
\(n\)-angulated categories
0 references
Gabriel-Zisman localizations
0 references
\(n\)-cluster tilting subcategories
0 references
0 references