Resumen de On a question of Hartshorne

Kamal Bahmanpour

• Let I be an ideal of a commutative Noetherian ring R. It is shown that the R-modules HiI(M) are I-cofinite, for all finitely generated R-modules M and all i∈N0, if and only if the R-modules HiI(R) are I-cofinite with dimension not exceeding 1, for all integers i≥2; in addition, under these equivalent conditions it is shown that, for each minimal prime ideal p over I, either heightp≤1 or dimR/p≤1, and the prime spectrum of the I-transform R-algebra DI(R) equipped with its Zariski topology is Noetherian. Also, by constructing an example we show that under the same equivalent conditions in general the ring DI(R) need not be Noetherian. Furthermore, in the case that R is a local ring, it is shown that the R-modules HiI(M) are I-cofinite, for all finitely generated R-modules M and all i∈N0, if and only if for each minimal prime ideal P of Rˆ, either dimRˆ/(IRˆ+P)≤1 or HiIRˆ(Rˆ/P)=0, for all integers i≥2. Finally, it is shown that if R is a semi-local ring and the R-modules HiI(M) are I-cofinite, for all finitely generated R-modules M and all i∈N0, then the category of all I-cofinite modules forms an Abelian subcategory of the category of all R-modules.