Finiteness dimensions and cofiniteness of local cohomology modules (Q1983239)

Let \(R\) be a commutative Noetherian ring with nonzero identity, \(\mathfrak a\) an ideal of \(R\), \(X\) an \(R\)-module, and \(n\) a nonnegative integer. Set \(\mathrm{Spec}(R)_{\geq n}=\{{\mathfrak p}\in\mathrm{Spec}(R): \dim(R/{\mathfrak p})\geq n\}.\) \textit{K. Bahmanpour} et al. [Commun. Algebra 41, No. 8, 2799--2814 (2013; Zbl 1273.13025)] introduced the notion of the \(n\)-th finiteness dimension of \(X\) with respect to a \(\mathfrak a\), as \(f_{\mathfrak a}^n(X)=\inf\{f_{{\mathfrak a}R_{\mathfrak p}}(X_{\mathfrak p}): {\mathfrak p}\in\mathrm{Spec}(R)_{\geq n}\}\). Note that if \(n=0\), then, by Faltings' local-global principle for the finiteness of local cohomology modules [\textit{F. Faltings}, Math. Ann. 255:1, 45--56 (1981; Zbl 0451.13008)], \(f_{\mathfrak a}^0(X)\) is just the finiteness dimension of \(X\) with respect to a \(\mathfrak a\); that is, \(f_{\mathfrak a}^0(X)=\inf\{i\in {\mathbb N_0}: H_{\mathfrak a}^i(X) \text{ is not a finitely generated } R\text{-module}\}.\) Bahmanpour et al. showed that if \(X\) is finitely generated, then \(f_{\mathfrak a}^1(X)=\inf\{i\in \mathbb N_0: H_{\mathfrak a}^i(X) \text{ is not a minimax } R\text{-module}\},\) and, if \(R\) is a semilocal ring and \(X\) is finitely generated, then \(f_{\mathfrak a}^2(X)=\inf\{i\in \mathbb N_0: H_{\mathfrak a}^i(X) \text{ is not a weakly Laskerian } R\text{-module}\}.\) Recall that an \(R\)-module \(X\) is said to be an \(FD_{<n}\) \(R\)-module, if there exists a finitely generated submodule \(X'\) of \(X\) such that \(\dim_R(X/X')<n\). It is shown in [\textit{A. A. Mehrvarz}, \textit{R. Naghipour}, and \textit{M. Sedghi}, Comm. Algebra 43:11, 4860--4872 (2015; Zbl 1329.13028)] that if \(X\) is finitely generated, then \(f_{\mathfrak a}^n(X)=\inf\{i\in \mathbb N_0: H_{\mathfrak a}^i(X) \text{ is not an FD}_{<n } ~~~~ R\text{-module}\}.\) In the paper under review, the authors generalize the aforementioned results and they get them in the case that \(X\) is an arbitrary (not necessarily finitely generated) \(R\)-module such that \(\mathrm{Ext}_R^i(R/{\mathfrak a}, X)\) is finitely generated for all \(i\).