A criterion for cofiniteness of modules (Q6123777)

Summary: Let \(A\) be a commutative noetherian ring, \(\mathfrak{a}\) be an ideal of \(A\), and \(m\), \(n\) be non-negative integers. Let \(M\) be an \(A\)-module such that \(\mathrm{Ext}_A^i (A/\mathfrak{a},M)\) is finitely generated for all \(i \leq m +n\). We define a class \(\mathcal{S}_n (\mathfrak{a})\) of modules and we assume that \(H_{\mathfrak{a}}^s (M) \in \mathcal{S}_n (\mathfrak{a})\) for all \(s \leq m\). We show that \(H_{\mathfrak{a}}^s (M)\) is \(\mathfrak{a}\)-cofinite for all \(s \leq m\) if either \(n = 1\) or \(n \geq 2\) and \(\mathrm{Ext}_A^i (A/\mathfrak{a}, H_{\mathfrak{a}}^{t + s - i} (M))\) is finitely generated for all \( 1 \leq t \leq n - 1\), \(i \leq t - 1\) and \( s \leq m\). If \(A\) is a ring of dimension \(d\) and \(M \in \mathcal{S}_n (\mathfrak{a})\) for any ideal \(\mathfrak{a}\) of dimension \(\leq d-1\), then we prove that \(M \in \mathcal{S}_n (\mathfrak{a})\) for any ideal \(\mathfrak{a}\) of \(A\).