Nagata's conjecture for plane curves through very general points
Let be very general points in . For an integral curve , write for its multiplicity at . Equivalently, on the blow-up at the points , let be the pull-back of a line and let be the exceptional divisors; then denotes the corresponding linear system. Nagata's conjecture. For every integral curve , one has
Equivalently, the linear system contains no integral curve for positive integers and satisfying
Nagata's conjecture is a long-standing open problem concerning positivity and linear systems on blow-ups of 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
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 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
- OpenAI-039-01-Nagata-s-conjecture-for-plane-curves.pdfOpen
RemarkAI-assistedClaimed by OpenAI.See 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
- OpenAI-039-02-Maximal-Seshadri-constants-on-arbitrary-polarized-surfaces.pdfOpen