Harbourne–Huneke containment conjecture for fat point schemes

Let ZaderivePnZ a derive\subseteq \mathbb{P}^n be a fat point scheme, let I:=IZI:=I_Z be its defining ideal, and let M=(x0,,xn)\mathcal{M}=(x_0,\dots,x_n) be the graded maximal ideal. Harbourne–Huneke containment conjecture. For every integer r>0r>0, one has

I(rn)Mr(n1)Ir.I^{(rn)}\subseteq \mathcal{M}^{r(n-1)}I^r.

This is a strengthened symbolic-power containment for fat point ideals; the supplied text gives no resolution status for this formulation.

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).

Additional references

9 papers in this index state this conjecture (2011–2021). The statement above is taken from the most recent of them; the others are arXiv:2005.05282, arXiv:1812.04382, arXiv:1702.02160, arXiv:1604.02217, arXiv:1601.01308, arXiv:1312.4147, arXiv:1309.5082, arXiv:1109.1884.

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.