On the cofiniteness of local cohomology modules

Abstract

Let (R,m) be a local, noetherian, d-dimensional ring and let M be a finitely generated R-module. Since the local cohomology modules are artinian, is finitely generated for all i and j (see [4], Remark 1*middot;3 and 2·1). Grothendieck[2] made the following conjecture: If I is an ideal of a noetherian ring R, thenis finitely generated for all j.