Cofiniteness of local cohomology based on a non-closed support defined by a pair of ideals (Q553436)

Let \(R\) be a commutative Noetherian ring and let \(I\), \(J\) be two ideals of \(R\). In [J. Pure Appl. Algebra 213, No. 4, 582--600 (2009; Zbl 1160.13013)], \textit{R. Takahashi, Y. Yoshino} and \textit{T. Yoshizawa} introduced a generalization of the theory of local cohomology by defining local cohomology based on non-closed support defined by a pair of ideals \(I\) and \(J\). In the paper under review the authors study cofiniteness of this notion. They show that: Let \(t\) be a non-negative integer. Let \(M\) be an \(R\)-module such that \(\mathrm{H}^i_{I,J}(M)\) is \((I,J)\)-cofinite, for every \(i<t\). Then, the following statements hold: {\parindent=6mm\begin{itemize}\item[(a)] If \(\mathrm{Ext}^{t+1}_R(R/I,M)\) is a finite \(R\)-module, then \(\mathrm{Ext}^1_R(R/I,\mathrm{H}^t_{I,J}(M))\) is finite.\item[(b)] If \(\mathrm{Ext}^i_R(R/I,M)\) is a finite \(R\)-module, for all \(i\geq 0\), then \(\Hom_R(R/I,\mathrm{H}^{t+1}_{I,J}(M))\) is finite if and only if \(\mathrm{Ext}^2_R(R/I,\mathrm{H}^t_{I,J}(M))\) is finite. \end{itemize}}