The local cohomology of a parameter ideal with respect to an arbitrary ideal

From MaRDI portal
Publication:2236090




Abstract: Let R be a regular ring, let J be an ideal generated by a regular sequence of codimension at least 2, and let I be an ideal containing J. We give an example of a module HI3(J) with infinitely many associated primes, answering a question of Hochster and N'u~nez-Betancourt in the negative. In fact, for ileq4, we show that under suitable hypotheses on R/J, extAss,HIi(J) is finite if and only if extAss,HIi1(R/J) is finite. Our proof of this statement involves a novel generalization of an isomorphism of Hellus, which may be of some independent interest. The finiteness comparison between extAss,HIi(J) and extAss,HIi1(R/J) tends to improve as our hypotheses on R/J become more restrictive. To illustrate the extreme end of this phenomenon, at least in the prime characteristic p>0 setting, we show that if R/J is regular, then extAss,HIi(J) is finite for all igeq0.









This page was built for publication: The local cohomology of a parameter ideal with respect to an arbitrary ideal

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