The evolutionary Eisenbud–Mazur conjecture for point ideals

About 15 years old · traced to

Let K[PN]K[\mathbb{P}^{N}] be the homogeneous coordinate ring, let MM be its homogeneous maximal ideal, and let II be the ideal of a finite set of points pi∈PNp_i\in\mathbb{P}^{N}. Evolutionary Eisenbud–Mazur conjecture. For every r≥1r\geq1, one has

I(rN−(N−1))⊆M(r−1)(N−1)Ir.I^{(rN-(N-1))}\subseteq M^{(r-1)(N-1)}I^r.

This refines the uniform symbolic-power containment by retaining a prescribed power of the maximal ideal. The paper proves it for point ideals arising from star configurations and complete intersections, while the general conjecture remains open.

References

Primary source

Brian Harbourne and Craig Huneke, “Are symbolic powers highly evolved?”, arXiv:1103.5809 (2011).

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.