The two-part refined symbolic-power containment conjecture

At least 14 years old · documented by

Let KK be an algebraically closed field, let II be the radical ideal of a finite set of points in PN\mathbb{P}^{N}, and let M=(x0,…,xN)M=(x_0,\ldots,x_N) be the maximal homogeneous ideal of K[PN]K[\mathbb{P}^{N}]. Refined two-part containment conjecture. For all positive integers mm and tt, both containments hold:

I(t(m+N−1)−N+1)⊆(I(m))tI^{(t(m+N-1)-N+1)}\subseteq (I^{(m)})^t

and

I(t(m+N−1)−N+1)⊆M(t−1)(N−1)(I(m))t.I^{(t(m+N-1)-N+1)}\subseteq M^{(t-1)(N-1)}(I^{(m)})^t.

The source explains that this conjecture simultaneously implies earlier containment conjectures and presents it as an unresolved synthesis of them.

References

Primary source

Cristiano Bocci, Susan Cooper and Brian Harbourne, “Containment results for ideals of various configurations of points in P^N”, arXiv:1109.1884 (2013).

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.