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

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 $H_I^3(J)$ with infinitely many associated primes, answering a question of Hochster and Núñez-Betancourt in the negative. In fact, for $i\le 4$, we show that under suitable hypotheses on $R/J$, $\text{Ass}{H}_I^i(J)$ is finite if and only if $\text{Ass}{H}_I^{i-1}(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 $\text{Ass}{H}_I^i(J)$ and $\text{Ass}{H}_I^{i-1}(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 $\text{Ass}{H}_I^i(J)$ is finite for all $i\ge 0$.

arXiv comment18 pages; expanded introduction and references