Bocci–Cooper–Harbourne generalized symbolic-power containment conjecture

About 13 years old · traced to

Let I⊆k[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 m≥1m\geq1,

I(t(m+n−1)−n+1)⊆m(t−1)(n−1)(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.

References

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.