Cofiniteness of Local Cohomology Modules Over Regular Local Rings

Let \(R\) be a regular local ring of Krull dimension \(d\), \(I\) a 1-dimensional ideal of it and \(M\) a finitely generated \(R\)-module. In this paper we give a new proof of the fact that the local cohomology modules \(H^i_I(M)\) are \(I\)-cofinite, that is, \(\text{Ext}^i_R(R/I, H^i_I(M))\) are finitely generated for all \(i,j\geq 0\). The hard part of the proof is the \(I\)-cofiniteness of \(H^{d-1}_I(M)\). In fact we are able to show much more than this, namely we can prove that \(\text{Tor}^R_j(M,H_I^{d-1}(R))\) and \(\text{Ext}^j_R(M,H_I^{d-1}(R))\) are \(I\)-cofinite for all \(j\geq 0\). It has only recently been proved, by \textit{D. Delfino} and \textit{T. Marley} [J. Pure Appl. Algebra 121, 45-52 (1997; Zbl 0893.13005)], that the regularity condition can be removed. Their finiteness criterion for spectral sequences is being used to reduce the general case to the case when \(R\) is a regular ring. This is why the regular case is important.

Recommendations

Cited in

(49)

This page was built for publication: Cofiniteness of Local Cohomology Modules Over Regular Local Rings

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4487637)