On the generalization of Faltings' annihilator theorem (Q2447664)

Let \(R\) be a commutative Noetherian ring, \(\mathfrak{a}\), \(\mathfrak{b}\) be ideals of \(R\) with \(\mathfrak{b}\subseteq\mathfrak{a}\), and \(M\) a finitely generated \(R\)-module. Let \[ f^{\mathfrak{b}}_{\mathfrak{a}}(M)=\inf\{i\in\mathbb{N}_0\mid\mathfrak{b}\nsubseteq\text{Rad}\left(0\,:\,H^i_{\mathfrak{a}}(M)\right)\} \] and \[ \lambda^{\mathfrak{b}}_{\mathfrak{a}}(M)=\inf\{\text{depth}M_{\mathfrak{p}}+\text{ht}(\mathfrak{a}+\mathfrak{p})/\mathfrak{p}\mid\mathfrak{p}\in\text{Spec}R\setminus\text{V}(\mathfrak{b})\}. \] Faltings' Annihilator Theorem, proven in [\textit{G. Faltings}, Arch. Math. 30, 473--476 (1978; Zbl 0368.14004)], states that if \(R\) is a homomorphic image of a regular ring or \(R\) has a dualizing complex, then \(f^{\mathfrak{b}}_{\mathfrak{a}}(M)=\lambda^{\mathfrak{b}}_{\mathfrak{a}}(M)\). Inspired by Faltings' Annihilator Theorem, and noting that \[ \begin{aligned} f^{\mathfrak{b}}_{\mathfrak{a}}(M)&=\inf\{i\in\mathbb{N}_0\mid \mathfrak{b}^tH^i_{\mathfrak{a}}(M)\neq0\;\mathrm{for\;all\;}t\in\mathbb{N}_0\}\\ &=\inf\{i\in\mathbb{N}_0\mid\dim\text{Supp}\mathfrak{b}^tH^i_{\mathfrak{a}}(M)\geq 0\;\mathrm{for\;all}\;t\in\mathbb{N}_0\} \end{aligned} \] and \[ \begin{aligned} \lambda^{\mathfrak{b}}_{\mathfrak{a}}(M)&=\inf\{\lambda^{\mathfrak{b}R_{\mathfrak{p}}}_{\mathfrak{a}R_{\mathfrak{p}}}(M_{\mathfrak{p}})\mid\mathfrak{p}\in\text{Spec}R\}\\ &=\inf\{\lambda^{\mathfrak{b}R_{\mathfrak{p}}}_{\mathfrak{a}R_{\mathfrak{p}}}(M_{\mathfrak{p}})\mid\dim R/\mathfrak{p}\geq 0\}, \end{aligned} \] the authors of the paper under review define, for every nonnegative integer \(n\): \[ f^{\mathfrak{b}}_{\mathfrak{a}}(M)_n:=\inf\{i\in\mathbb{N}_0\mid\dim\text{Supp}\mathfrak{b}^tH^i_{\mathfrak{a}}(M)\geq n\;\mathrm{for\;all}\;t\in\mathbb{N}_0\} \] and \[ \lambda^{\mathfrak{b}}_{\mathfrak{a}}(M)_n:=\inf\{\lambda^{\mathfrak{b}R_{\mathfrak{p}}}_{\mathfrak{a}R_{\mathfrak{p}}}(M_{\mathfrak{p}})\mid\dim R/\mathfrak{p}\geq n\}, \] and prove that when \(R\) is a homomorphic image of a Gorenstein ring, then \(f^{\mathfrak{b}}_{\mathfrak{a}}(M)_n=\lambda^{\mathfrak{b}}_{\mathfrak{a}}(M)_n\). The authors use the theory of Gorenstein dimension in their proof of this result.