Hellus's associated-prime conjecture for Matlis duals of local cohomology

Let (R,m)(R,\mathfrak{m}) be a Noetherian regular local ring, let II be a non-zero ideal of RR, and let E:=ER(R/m)E:=E_R(R/\mathfrak{m}) be an injective hull of the residue field. For any RR-module MM, write D(M):=HomR(M,E)D(M):=\operatorname{Hom}_R(M,E), and write HIi(R)\operatorname{H}^i_I(R) for the ii-th local cohomology module supported in II.

Hellus's conjecture. If HIi(R)0\operatorname{H}^i_I(R)\neq 0, then

0AssR(D(HIi(R))).0\in \operatorname{Ass}_R\bigl(D(\operatorname{H}^i_I(R))\bigr).

This extends Hellus's equivalent domain condition from ideals generated by a specified number of elements to arbitrary non-zero ideals in regular local rings. The supplied text says that the corresponding associated-prime conjecture is known in many cases, but gives no resolution of this proposed generalization.

Sources & referencesView supporting material

Primary source

Gennady Lyubeznik and Tuğba Yıldırım, “On the matlis duals of local cohomology modules”, arXiv:1707.00501 (2017).

Progress summary

Never refreshed

Nothing recorded yet. Refresh searches the literature and the public web for attempts on this problem, and writes the first summary here.

Solutions 0

No solutions have been posted yet.