Nagata's conjecture for plane curves through very general points

About 24 years old · traced to

Let p1,…,prp_1,\dots,p_r be rr very general points in P2\mathbb P^2. For an integral curve C⊂P2C\subset\mathbb P^2, write mult⁡pi(C)\operatorname{mult}_{p_i}(C) for its multiplicity at pip_i. Equivalently, on the blow-up X→P2X\to\mathbb P^2 at the points pip_i, let HH be the pull-back of a line and let EiE_i be the exceptional divisors; then dH−∑i=1rmiEidH-\sum_{i=1}^r m_iE_i denotes the corresponding linear system. Nagata's conjecture. For every integral curve C⊂P2C\subset\mathbb P^2, one has

deg⁡C>1r∑i=1rmult⁡pi(C).\deg C>\frac{1}{\sqrt r}\sum_{i=1}^r\operatorname{mult}_{p_i}(C).

Equivalently, the linear system ∣dH−∑i=1rmiEi∣|dH-\sum_{i=1}^r m_iE_i| contains no integral curve for positive integers dd and mim_i satisfying

r≤1d∑i=1rmi.\sqrt r\leq\frac{1}{d}\sum_{i=1}^r m_i.

Nagata's conjecture is a long-standing open problem concerning positivity and linear systems on blow-ups of P2\mathbb P^2 at very general points; it is closely related to questions about the positivity and generation of line bundles on these surfaces.

References

Primary source

Daigo Ito and Noah Olander, “A derived category analogue of the Nakai–Moishezon criterion”, arXiv:2507.17681 (2025).

Additional references

16 papers in this index state this conjecture (2002–2025). The statement above is taken from the most recent of them; the others are arXiv:2408.15187, arXiv:2101.09762, arXiv:1905.03140, arXiv:1804.02306, arXiv:1707.00583, arXiv:1409.1736, arXiv:1310.6684, arXiv:1202.4370, arXiv:1110.0722, arXiv:0907.4151, arXiv:0907.4425, arXiv:math/0604363, and 3 more.

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 2

RemarkAI-assistedClaimed by OpenAI.See full solutionHide full solution

Claimed by OpenAI.

The manuscript claims the strict inequality d√r > Σ_i m_i for every nonzero effective degree-d plane curve with multiplicity at least m_i at r ≥ 10 very general complex points, simultaneously for all degrees and multiplicity vectors, including reducible and nonreduced curves. It also states an extension to every uncountable algebraically closed field of characteristic zero.

Repository: https://github.com/openai/math

Manuscript: https://github.com/openai/math/blob/adc7f1241b42e322a6451854ab7e4b4c146bf78a/preprints/Nagatas-Conjecture-for-Plane-Curves-September-23-2026/main.pdf

  • OpenAI-039-01-Nagata-s-conjecture-for-plane-curves.pdf446,667 bytesOpen
RemarkAI-assistedClaimed by OpenAI.See full solutionHide full solution

Claimed by OpenAI.

The manuscript claims eventual maximal multipoint Seshadri constants on arbitrary polarized smooth complex projective surfaces. On P2 with the hyperplane bundle this gives the weak plane multiplicity bound for all sufficiently large r and the strict inequality of this target for nonsquare such r, by irrationality of sqrt(r). It does not supply the sharp threshold r>=10 or the strict square-r statement in this manuscript.

GitHub repository: https://github.com/openai/math

Manuscript: https://github.com/openai/math/blob/adc7f1241b42e322a6451854ab7e4b4c146bf78a/preprints/Maximal-Seshadri-Constants-on-Arbitrary-Polarized-Surfaces-September-23-2026/main.pdf

  • OpenAI-039-02-Maximal-Seshadri-constants-on-arbitrary-polarized-surfaces.pdf404,058 bytesOpen