On the finiteness properties of Matlis duals of local cohomology modules (Q943025)

Let \(R\) be a complete semi-local ring with respect to the topology defined by its Jacobson radical, a an ideal of \(R\), and \(M\) a finitely generated \(R\)-module. Let \(D_R(-) := \text{Hom} R (- , E)\), where \(E\) is the injective hull of the direct sum of all simple \(R\)-modules. If \(n\) is a positive integer such that \(\text{Ext}_R^j (R/\mathfrak a, D_R (H_{\mathfrak a} ^t (M)))\) is finitely generated for all \(t > n\) and all \(j\geqslant 0\). Then, authors of the paper under review, by using Matlis duality, show that \(\text{Hom}_R (R/\mathfrak a, D_R (H_{\mathfrak a}^t (M)))\) is finitely generated. Specially, the set of prime ideals in \(\text{Coass}_R (H_a^n (M))\) which contains \(\mathfrak a\) is finite. Some finiteness properties of \(D_R(H_{\mathfrak a}^r (R))\) where \(r\) is the least integer \(i\) such that \(H_{\mathfrak a} ^r (R)\) is not Artinian, was given.