Frobenius \(n\)-exangulated categories (Q2186026)

\textit{H. Nakaoka} and \textit{Y. Palu} [Cah. Topol. Géom. Différ. Catég. 60, No. 2, 117--193 (2019; Zbl 1451.18021)] introduced the notion of extriangulated categories by extracting those properties of Ext\(^1\) on exact categories and on triangulated categories. As a higher dimensional analogues of extriangulated categories, \textit{M. Herschend} et al. [``\(n\)-exangulated categories'', Preprint, \url{arXiv:1709.06689}] introduced the notion of \(n\)-exangulated categories, which is a simultaneous generalization of \(n\)-exact categories and \((n+2)\)-angulated categories. Roughly speaking, an \(n\)-exangulated category is a triplet \((\mathcal{C},\mathbb{E},\mathfrak{s})\), where \(\mathcal{C}\) is an additive category, \(\mathbb{E}:\mathcal{C}^{op}\times \mathcal{C}\rightarrow Ab\) is an additive bifunctor and \(\mathfrak{s}\) assigns to each \(\delta\in\mathbb{E}(C,A)\) a class of \((n+2)\)-term sequences with end terms \(A\) and \(C\) such that certain axioms hold. Motivated by the definition of Frobenius \(n\)-exact categories and Frobenius extriagulated categories, the authors under review define Frobenuis \(n\)-exangulated categories. By definition, an \(n\)-exangulated category \(\mathcal{C}\) is called Frobenuis if \(\mathcal{C}\) has enough projectives and enough injectives, and such that the projectives coincide with the injectives. The first main result of the paper under review states that the stable category \(\overline{\mathcal{C}}\) of a Frobenius \(n\)-exangulated category \(\mathcal{C}\) modulo the projective-injective objects has a natural structure of \((n+2)\)-angulated category. The authors do not check the axioms of \((n+2)\)-angulated categories directly. Instead the strategy of the proof is to characterize \((n+2)\)-angulated categories as certain \(n\)-exangulated categories. The second main result of the paper provides a construction of Frobenius \(n\)-exangulated categories. Let \((\mathcal{C},\mathbb{E},\mathfrak{s})\) be an \(n\)-exangulated category. If \(\mathcal{X}\) is a strongly functorially finite subcategory of \(\mathcal{C}\), then there exists an additive subfunctor \(\mathbb{F}\) of \(\mathbb{E}\) such that \((\mathcal{C},\mathbb{F},\mathfrak{s_{\mathbb{F}}})\) is a Frobenius \(n\)-exangulated category whose projective-injective objects are precisely \(\mathcal{X}\), where \(\mathfrak{s_{\mathbb{F}}}\) is the restriction of \(\mathfrak{s}\) onto \(\mathbb{F}\). Actually, for each pair of objects \(A\) and \(C\) in \(\mathcal{C}\), \(\mathbb{F}(C,A)\) is a subgroup of \(\mathbb{E}(C,A)\) consisting of \(\mathbb{E}\)-extensions \(\delta\) such that \[\mathfrak{s}(\delta)=[A_0\xrightarrow{f} A_1\rightarrow A_2\rightarrow\cdots\rightarrow A_n\xrightarrow{g} A_{n+1}]\] where \(f\) is \(\mathcal{X}\)-monic and \(g\) is \(\mathcal{X}\)-epic. This construction provides a class of \(n\)-exangulated categories which are neither \(n\)-exact categories nor \((n+2)\)-angulated categories.