Stable Harbourne–Huneke conjecture for radical ideal containments

Let Ik[x0,,xn]I\subseteq k[x_0,\dots,x_n] be a homogeneous radical ideal of big height hh, and let M=(x0,,xn)\mathcal{M}=(x_0,\dots,x_n) be the graded maximal ideal. Stable Harbourne–Huneke conjecture. For all sufficiently large integers rr, both containments hold:

I(hr)Mr(h1)IrI^{(hr)}\subseteq \mathcal{M}^{r(h-1)}I^r

and

I(hrh+1)M(r1)(h1)Ir.I^{(hr-h+1)}\subseteq \mathcal{M}^{(r-1)(h-1)}I^r.

These are stable strengthened forms of symbolic-power containment conjectures; the supplied text gives no resolution status for either assertion.

Sources & referencesView supporting material

Primary source

Edoardo Ballico, Giuseppe Favacchio, Elena Guardo, Lorenzo Milazzo and Abu Chackalamannil Thomas, “Steiner Configurations ideals: containment and colouring”, arXiv:2101.07168 (2021).

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.