Huneke–Harbourne containment conjecture for fat point ideals

Let ZPNZ\subseteq\mathbb P^N be a fat point subscheme, let R=K[x0,,xN]R=K[x_0,\ldots,x_N] be the homogeneous coordinate ring, and let M=(x0,,xN)M=(x_0,\ldots,x_N). Huneke–Harbourne containment conjecture. For every integer r1r\geq1,

I(NrZ)MNrrI(Z)r.I(NrZ)\subseteq M^{Nr-r}I(Z)^r.

The conjecture was proposed as a strengthened containment motivated by optimality questions for symbolic-power containments; the source states that it remains open in all characteristics.

Sources & referencesView supporting material

Primary source

Brian Harbourne, “Asymptotics of linear systems, with connections to line arrangements”, arXiv:1705.09946 (2017).

Additional references

2 papers in this index state this conjecture (2013–2017). The statement above is taken from the most recent of them; the others are arXiv:1301.7440.

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.