Cofiniteness with respect to a Serre subcategory (Q650388)

Let \(R\) be a commutative noetherian ring. A nonempty family \(\Phi\) of ideals of \(R\) is called a \textit{system of ideals} if for any two ideals \(\mathfrak{a}\) and \(\mathfrak{b}\) in \(\Phi\), there exists an ideal \(\mathfrak{c}\) in \(\Phi\) such that \(\mathfrak{c}\subseteq \mathfrak{a}\mathfrak{b}\). Let \(\Phi\) be a system of ideals of \(R\) and \(\mathcal{C}_R\) denote the category of \(R\)-modules and \(R\)-homomorphisms. For each nonnegative integer \(i\), the \(i\)th generalized local cohomology functor with respect to \(\Phi\) is the bivariant functor from \(\mathcal{C}_R\times \mathcal{C}_R\) to \(\mathcal{C}_R\) that defined by \[ H_{\Phi}^i(-,-):= {\varinjlim}_{\mathfrak{a}\in \Phi}\mathrm{Ext}^i_R(R/\mathfrak{a}\otimes_R-,-). \] The paper under review studies the finiteness properties of this type of local cohomology functors. Let \(\mathcal{L}\) be a Serre class of \(R\)-modules, \(M\) a finitely generated \(R\)-module and \(N\in \mathcal{L}\). One of the main results of this paper asserts that if the \(\Phi\)-transform functor \(D_{\Phi}(-):={\varinjlim}_{\mathfrak{a}\in \Phi}Hom_R(\mathfrak{a},-)\) is exact, then \(\mathrm{Ext}^j_R(R/\mathfrak{b},H_{\Phi}^i(M,N))\in \mathcal{L}\) for all \(\mathfrak{b}\in \Phi\) all nonnegative integers \(i,j\). Recall that a class \(\mathcal{L}\) of \(R\)-modules is called Serre if for any short exact sequence \(0\rightarrow X\rightarrow Y\rightarrow Z\rightarrow 0\) in \(\mathcal{C}_R\), \(Y\) belongs to \(\mathcal{L}\) if and only if both \(X\) and \(Z\) belong to \(\mathcal{L}\).