General local cohomology modules in view of low points and high points (Q6188093)

Let \(R\) be a commutative Noetherian ring with non-zero identity, \(\Phi\) a system of ideals of \(R\), \(X\) an arbitrary \(R\)-module, \(M\) a finitely generated \(R\)-module, \(n\) and \(t\) non-negative integers, and \(\mathcal{S}\) a Serre subcategory of the category of \(R\)-modules. In this article, it is shown that the statement ``\(\operatorname{H}^i_\Phi(M)\) is a finitely generated \(R\)-module for all \(i< t\)'' is equivalent to each of the statements ``there exists an ideal \(\mathfrak{a}\) of \(\Phi\) such that \(\mathfrak{a}\operatorname{H}^i_\Phi(M)= 0\) for all \(i< t\)'', ``there exists an ideal \(\mathfrak{a}\) of \(\Phi\) such that \(\mathfrak{a}\operatorname{H}^i_\Phi(M)\) is a finitely generated \(R\)-module for all \(i< t\)'', and ``\(\operatorname{Ass}_R(\operatorname{H}^i_\Phi(M))\) is a finite set and \(\operatorname{H}^i_{\Phi_\mathfrak{p}}(M_\mathfrak{p})\) is a finitely generated \(R_\mathfrak{p}\)-module for all \(i< t\) and all \(\mathfrak{p}\in \operatorname{Spec}(R)\)'', where \(\Phi_\mathfrak{p}= \{\mathfrak{a}R_\mathfrak{p}: \mathfrak{a}\in \Phi\}\). Recall that \(X\) is said to be in dimension \(< n\) if there exists a finitely generated \(R\)-submodule \(Y\) of \(X\) such that \(\dim_R(X/Y)< n\). The authors introduce the notions \(f_\Phi(X)= \inf \{i\in \mathbb{N}_0: \operatorname{H}^i_\Phi(X)\ \text{is not finitely generated}\}\), \(f^n_\Phi(X)= \inf \{f_{\Phi_\mathfrak{p}}(X_\mathfrak{p}): \mathfrak{p}\in \operatorname{Supp}_R(X)\ \text{and}\ \dim(R/\mathfrak{p})\geq n\}\), and \(h^n_\Phi(X)= \inf \{i\in \mathbb{N}_0: \operatorname{H}^i_\Phi(X)\ \text{is not in dimension}< n\}\). They prove that if \(R\) is a complete local ring, \(\Phi\) is a countable system of ideals of \(R\), and \(\{\mathfrak{p}\in \operatorname{Ass}_R(\operatorname{H}^{h^n_\Phi(M)}_\Phi(M)): \dim(R/\mathfrak{p})\geq n\}\) is a finite set, then \(f^n_\Phi(M)= h^n_\Phi(M)\). Also, it is proven that the statement ``\(\operatorname{H}^i_\Phi(M)= 0\) for all \(i> t\)'' is equivalent to each of the statements ``\(\operatorname{H}^i_\Phi(M)\) is a finitely generated \(R\)-module for all \(i> t\)'' and ``there exists an ideal \(\mathfrak{a}\) of \(\Phi\) such that \(\mathfrak{a}\operatorname{H}^i_\Phi(M)= 0\) for all \(i> t\)''. For each covariant \(R\)-linear functor \(T\) from the category of \(R\)-modules into itself, which has the global vanishing property on the category of \(R\)-modules, it is shown that \(\mathcal{R}^iT(R)\in \mathcal{S}\) for all \(i\geq t\) if and only if \(\mathcal{R}^iT(M)\in \mathcal{S}\) for all \(i\geq t\) and any finitely generated \(R\)-module \(M\).