Eisenbud–Goto conjecture for homogeneous prime ideals

About 15 years old · traced to

Let KK be an algebraically closed field, let R=K[x1,…,xN]R=K[x_1,\dots,x_N], and let P⊂(x1,…,xN)2P\subset (x_1,\ldots,x_N)^2 be a homogeneous prime ideal. Write reg⁡(P)\operatorname{reg}(P) for its Castelnuovo–Mumford regularity, e(R/P)e(R/P) for the multiplicity, and ht⁡(P)\operatorname{ht}(P) for the height. Eisenbud–Goto conjecture. One has

reg⁡(P)≤e(R/P)−ht⁡(P)+1.\operatorname{reg}(P) \leq e(R/P)-\operatorname{ht}(P)+1.

The conjecture is refuted by counterexamples of McCullough and Peeva, who also showed that the regularity of R/PR/P cannot be bounded by any polynomial in terms of e(R/P)e(R/P).

References

Primary source

Giulio Caviglia, Yihui Liang and Cheng Meng, “Explicit Stillman bounds for all degrees”, arXiv:2507.19617 (2026).

Additional references

3 papers in this index state this conjecture (2011–2025). The statement above is taken from the most recent of them; the others are arXiv:1209.6258, arXiv:1108.1737.

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.