Artinianness and finiteness of formal local cohomology modules with respect to a pair of ideals (Q2400123)

Let \((R,\mathfrak m)\) be a local ring with identity. Let \(\mathfrak a\), \(I\) and \(J\) be ideals of \(R\) and \(M\) an \(R\)-module. In 2007, \textit{P. Schenzel} [J. Algebra 315, No. 2, 894--923 (2007; Zbl 1131.13018)] introduced the notion of formal local cohomology. Recently, the authors of the present paper introduced two generalizations \({\mathfrak F}_{{\mathfrak a},I,J}^i(M)\) and \(\check{\mathfrak {F}}_{{\mathfrak a},I,J}^i(M)\) of this notion in [\textit{T. H. Freitas} and \textit{V. H. Jorge Pérez}, J. Commut. Algebra 8, No. 3, 337--366 (2016; Zbl 1348.13026)]. The endofunctor \(\Gamma_{I,J}(-)\) on the category of \(R\)-modules is defined by setting \[ \Gamma_{I,J}(M):= \left\{x\in M \;|\;I^nx\subseteq Jx \;\text{for} \;n\gg 0 \right\}, \] and \(\Gamma_{I,J}(f):= f|_{\Gamma_{I,J}(M)}\) for an \(R\)-homomorphism \(f:M\rightarrow N\). For each integer \(i\geq 0\), the \(i\)th local cohomology module of \(M\) with respect to the pair \((I,J)\) is defined to be \(H^{i}_{I,J}(M): = R^{i}\Gamma_{I,J}(M)\). Let \(\underline{x}=x_1,\dots ,x_s\) be a set of generators of \(I\) and \(\check{C}_{\underline{x},J}\) be the \(\check{C}\)ech complex of \(R\) with respect to \((I,J)\). For each nonnegative integer \(i\), the authors defined \[ \check{\mathfrak {F}}_{{\mathfrak a},I,J}^i(M):= H^i\big(\underset{n}{\varprojlim}\big (\check{C}_{\underline{x},J}\otimes_R\frac{M}{{\mathfrak a}^nM}\big)\big) \] and \[ {\mathfrak {F}}_{{\mathfrak a},I,J}^i(M): ={\underset{n}{\varprojlim}}\big(H^{i}_{I,J}\big(\frac{M}{{\mathfrak a}^nM}\big)\big). \] In the present paper, they examine the Artinianness and the finiteness of the modules \({\mathfrak F}_{{\mathfrak a},I,J}^i(M)\) and \(\check{\mathfrak {F}}_{{\mathfrak a},I,J}^i(M)\). Let \(M\) be a \(d\)-dimensional finitely generated \(R\)-module. The authors prove that \({\mathfrak F}_{{\mathfrak a},I,J}^d(M)\) is an Artinian \(R\)-module. In the case \(\Gamma_{\mathfrak a}(M)\) is \(J\)-torsion, for any nonnegative integer \(t\), the authors show that the following are equivalent: (a) \(\check{\mathfrak {F}}_{{\mathfrak a},{\mathfrak m},J}^i(M)\) is Artinian for all \(i> t\). (b) \({\mathfrak a}\subseteq \sqrt{0:_R \check{\mathfrak {F}}_{{\mathfrak a},{\mathfrak m},J}^i(M)}\) for all \(i> t\).