Bocci–Cooper–Harbourne generalized symbolic-power containment conjecture

Let Ik[Pn]I\subseteq\Bbbk[\mathbb P^n] be the radical ideal of a finite set of points in Pn\mathbb P^n, and let m=(x0,,xn)\mathfrak m=(x_0,\ldots,x_n) be the maximal proper homogeneous ideal. Let m,tm,t be positive integers.

Bocci–Cooper–Harbourne conjecture. For all m1m\geq1,

I(t(m+n1)n+1)m(t1)(n1)(I(m))t.I^{(t(m+n-1)-n+1)}\subseteq\mathfrak m^{(t-1)(n-1)}\bigl(I^{(m)}\bigr)^t.

The source introduces this as a further conjecture while discussing special cases of the preceding containment questions; it gives no resolution status.

Sources & referencesView supporting material

Primary source

Susan M. Cooper, Robert J. D. Embree, Huy Tài Hà and Andrew H. Hoefel, “Symbolic Powers of Monomial Ideals”, arXiv:1309.5082 (2016).

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.