Cofiniteness of top local cohomology modules (Q6542372)

Let \(R\) be a commutative Noetherian ring with non-zero identity, \(\mathfrak{a}\) an ideal of \(R\), \(M\) a finitely generated \(R\)-module with finite Krull dimension \(d\), and \(n\) a non-negative integer. An \(R\)-module \(K\) is called \((\mathrm{FD}_{<n},\mathfrak{a})\)-cofinite, if \(\mathrm{Supp}_R K\subseteq V(\mathfrak{a})\) and there exists a finitely generated submodule \(N_i\) of \(\mathrm{Ext}_R^i(R/\mathfrak{a},K)\) such that \(\dim\mathrm{Supp} (\mathrm{Ext}_R^i(R/\mathfrak{a},K)/N_i)<n\), for all non-negative integer \(i\). In the paper under review, the authors prove that the local cohomology module \(H_{\mathfrak{a}}^{d-n}(M)\) is \((\mathrm{FD}_{<n},\mathfrak{a})\)-cofinite, and the set \(\{\mathfrak{p}\in\mathrm{Ass}_R(H_{\mathfrak{a}}^{d-n}(M)):\dim R/\mathfrak{p}\geq n\}\) is finite.