Properties of abelian categories via recollements (Q2421342)

A \textit{recollement} of an abelian category \(\mathcal{A}\) by abelian categories \(\mathcal{X}\) and \(\mathcal{Y}\) is a diagram of additive functors \[ \begin{tikzcd}[sep = huge] \mathcal{Y} \arrow[r, "i_{\ast}"] & \mathcal{A} \arrow[l, bend right, "i^{\ast}"'] \arrow[l, bend left, "i^{!}"'] \arrow[r, "j^{\ast}"] & \mathcal{X} \arrow[l, bend right, "j_{!}"'] \arrow[l, bend left, "j_{\ast}"'] \end{tikzcd} \] such that \(i_{\ast}, j_{!}, j_{\ast}\) are fully faithful, \((i^{\ast}, i_{\ast}, i^{!})\) and \((j_{!}, j^{\ast}, j_{\ast})\) are adjoint triples, and Im(\(i_{\ast}\)) = Ker (\(j^{\ast}\)). Recollements allow the export of structural data from \(\mathcal{A}\) to \(\mathcal{X}\) and \(\mathcal{Y}\) and also the glueing of structural information from \(\mathcal{X}\) and \(\mathcal{Y}\) to \(\mathcal{A}\). In this paper, the authors study how basic properties of abelian categories behave in the presence of a recollement. For instance, \(\mathcal{A}\) is well-powered if and only if \(\mathcal{X}\) and \(\mathcal{Y}\) are well-powered (see Proposition 3.2). It is shown that (assuming \(\mathcal{A}\) has Yoneda Ext sets) if \(\mathcal{A}\) AB3 (respectively, AB3\(^*\), AB4, AB4\(^*\), AB5, AB5\(^*\), Grothendieck) then so are \(\mathcal{X}\) and \(\mathcal{Y}\) (see Corollary 2.4, Proposition 3.5 and Lemma 4.1). The converses to the above statements are not true in general and the authors give an example demonstrating this for the Grothendieck property (see \S 5.1). The concept of a `directed' recollement is introduced and the authors show that if \(\mathcal{X}\) and \(\mathcal{Y}\) are AB5 (respectively, AB5\(^*\)) then so is \(\mathcal{A}\) when the recollement is directed (see Theorem 3.9). Finally, several criteria for \(\mathcal{A}\) to be Grothendieck when \(\mathcal{X}\) and \(\mathcal{Y}\) are Grothendieck (see Corollaries 4.5 and 5.3, Propositions 4.7 and 4.9, and Theorem 5.9).