OpenAI research collection · 4 manuscripts · Source checked 2026-10-19
Proves Nagata's strict inequality \sum_i m_i< d\sqrt r for every nonzero effective plane curve of degree d through r ≥ 10 very general complex points, with arbitrary multiplicities m_(i). It also proves maximal multipoint Seshadri constants (L^n/r)^{1/n} for every smooth polarized projective variety of dimension n ≥ 2 and all sufficiently large r: at very general points over ℂ, and at the geometric generic tuple over any algebraically closed field of positive characteristic.
Short excerpts below come from OpenAI's abstracts. The full abstract and original PDF preserve the paper's precise scope.
We prove that a nonzero effective plane curve of degree d at r ≥ 10 very general complex points has total multiplicity strictly less than d\sqrt r. The inequality holds simultaneously for all curves, including reducible and nonreduced curves, and establishes Nagata's conjecture in its strict, nonhomogeneous form.
This PDF is listed in OpenAI's formalization catalogue. See the scope and dependencies before interpreting coverage.
We prove that, for every smooth integral complex projective surface S and every ample line bundle L, the multipoint Seshadri constant at r very general points equals \sqrt{L^2/r} for every sufficiently large integer r. This resolves positively the qualitative Nagata–Biran conjecture for surfaces.
This PDF is listed in OpenAI's formalization catalogue. See the scope and dependencies before interpreting coverage.
Let L be an ample line bundle on a smooth integral complex projective variety X of dimension n ≥ 3. We prove that there is a threshold r_0=r_0(X,L) such that for every integer r≥ r_0, the ordinary multipoint Seshadri constant at r very general points equals the volume bound (L^n/r)^{1/n}. This establishes the qualitative…
Let L be an ample line bundle on a smooth integral complex projective variety X of dimension n ≥ 3. We prove that there is a threshold r_0=r_0(X,L) such that for every integer r≥ r_0, the ordinary multipoint Seshadri constant at r very general points equals the volume bound (L^n/r)^{1/n}. This establishes the qualitative Nagata–Biran–Szemberg assertion in these dimensions.
This exact PDF is not listed in the imported formalization catalogue. Family scope notes may contain further information.
Let L be an ample line bundle on a smooth integral projective variety X over an algebraically closed field of positive characteristic, with \dim X=n\ge3. We prove that there is a threshold r_0=r_0(X,L) such that for every integer r≥ r_0, the ordinary multipoint Seshadri constant at the geometric generic tuple of r points equals…
Let L be an ample line bundle on a smooth integral projective variety X over an algebraically closed field of positive characteristic, with \dim X=n\ge3. We prove that there is a threshold r_0=r_0(X,L) such that for every integer r≥ r_0, the ordinary multipoint Seshadri constant at the geometric generic tuple of r points equals the volume bound (L^n/r)^{1/n}. The same conclusion holds in dimension two. This establishes the positive-characteristic form of the qualitative Nagata–Biran–Szemberg assertion at geometric generic tuples.
This exact PDF is not listed in the imported formalization catalogue. Family scope notes may contain further information.
New mathematical reasoning could help AI tackle harder scientific and computational problems. How reliably these skills transfer beyond mathematics will determine how much they contribute to general intelligence.
Explore the AGI Clock ↗