Associated primes of local cohomology and \(S_2\)-ification (Q418905): Difference between revisions

Let \(R\) be a commutative noetherian ring, \(I\) an ideal of \(R\) and \(M\) a finitely generated \(R\)-module. Huneke has conjectured that \(\mathrm{Ass}_R(H_I^i(M))\) is finite for all \(i\geq 0\)? (See [\textit{C. Huneke}, ``Problems on local cohomology'', Res. Notes Math. 2, 93--108 (1992; Zbl 0782.13015)].) Although, this conjecture does not hold in general, it is true in many situations. In particular, Marley has shown that Huneke's conjecture holds if \(R\) is local with \(\dim R\leq 3\); see [\textit{T. Marley}, Manuscr. Math. 104, No. 4, 519--525 (2001; Zbl 0987.13009)]. The paper under review also studies Huneke's conjecture in low dimensions, but without assuming that \(R\) is local. Assume that for any two non-zerodivisors \(x,y\) with \(ht(x,y)=2\), the ideal transform of \(R\) with respect to \((x,y)\) is a finitely generated \(R\)-module. Also, assume that \(ht(IR/\mathfrak p)\geq 2\) for all \(\mathfrak p\in \mathrm{Ass}_RM\). The author shows that: i) \(\mathrm{Ass}_R(H_I^2(M))\) is finite whenever \(\mathrm{Ass}_RM\subseteq \mathrm{Ass}_RR\). ii) \(\mathrm{Ass}_R(H_I^i(M))\) is finite for all \(i\geq 0\) whenever \(\dim R=3\).