Cofiniteness with respect to the class of modules in dimension less than a fixed integer (Q2663348)

Although local cohomology modules can be highly non-finitely generated; many local cohomology modules have been shown to hold nice finiteness properties. One such property is \(I\)-cofiniteness: an \(I\)-torsion \(R\)-module \(X\) is \(I\)-cofinite if \(\mathrm{Ext}^i_R(R/I, X)\) is finitely generated for all \(i\). In this paper, the authors consider a related property: \((\mathrm{FD}_{<n}, I)\)-cofinite: an \(I\)-torsion \(R\)-module \(X\) is \((\mathrm{FD}_{<n}, I)\)-cofinite if \(\mathrm{Ext}^i_R(R/I, X)\) are \(\mathrm{FD}_{<n}\) R-modules for all \(i\), (\(Y\) is an \(\mathrm{FD}_{<n}\) \(R\)-module if there is a finite submodule \(Y'\) such that \(\dim (Y/Y')<n\)). When \(R\) is a commutative Noetherian ring and \(I\) is an ideal with \(\dim(R/I) \leq n+1\), the authors prove that if \(\mathrm{Hom}_R(R/I,X)\) and \(\mathrm{Ext}^1_R(R/I,X)\) are \(\mathrm{FD}_{<n}\) \(R\)-modules, then \(X\) is \((\mathrm{FD}_{<n}, I)\)-cofinite; the category of \((\mathrm{FD}_{<n}, I)\)-cofinite \(R\) modules is an abelian category; and \(H^i_I(X)\) is \((\mathrm{FD}_{<n}, I)\)-cofinite and the set of primes \(\{P \in \mathrm{Ass}(H^i_I(X)) \mid \dim(R/P) \geq n\}\) is a finite set for all \(i\) when \(\mathrm{Ext}^i_R(R/I,X)\) is an \(\mathrm{FD}_{<n}\) \(R\)-module. Many known results are included as corollaries of the results presented in this paper.