Cofiniteness with respect to ideals of small dimensions (Q2348549)

Let \(R\) be a Noetherian ring and let \(I\) be an ideal of \(R\) and \(M\) be an \(R\)-module. In the paper under review, the authors show the following statements: {\parindent=6mm \begin{itemize} \item[(1)] If \(\mathrm{Ext}^i_R(R/I, M)\) is finitely generated, for all \(i \leq \mathrm{dim} M\), then \(\mathrm{Ext}^i_R(N , M)\) is finitely generated for all \(i \geq 0\) and all finitely generated \(R\)-modules \(N\) with \(\mathrm{Supp} N\subseteq V(I)\) and \(\mathrm{dim} N \leq 1\). \item [(2)] If \(R\) is local, then \(\mathrm{Ext}^i_R(N, M)\) is finitely generated for each \(i \geq 0\) and for each finitely generated \(R\)-module \(N\) with \(\mathrm{Supp} N \subseteq \mathrm{V}(I)\) and \(\mathrm{dim} N \leq 2\). \item [(3)] If \(\mathrm{dim} R/I = 2\) and \(\mathrm{Supp} M \subseteq \mathrm{V}(I)\), then \(M\) is \(I\)-cofinite if (and only if) \(\mathrm{Ext}^i_R(R/I, M)\) is finitely generated for \(i\leq 2\). \end{itemize}}