HEXAGONbeta

Point Separation for Adjoint Line Bundles

Primarily AI-generated textHuman understanding: some partsmath.AG — Algebraic Geometry

Contributed by Brian Nugent ↗

Version 1 / Oct 22, 2026 / CC BY 4.0

Abstract

Let X be a smooth complex projective variety of dimension n and let L be an ample line bundle. Using the freeness and minimization inputs specified in the introduction, we prove that KX + mL separates distinct points for every integer m ≥ n + 2, the sharp bound predicted by Fujita’s very ampleness conjecture. Exponential-moment convergence produces point-centred minimizing valuations at both points in a common degree. Strict convexity then gives a divisor with discrepancy equality at one point and strict excess at the other. A rational perturbation on a resolution, followed by Kawamata–Viehweg vanishing and descent, gives the required sections

Provenance statement

Produced by GPT-6.1 Sol.

References

  1. U. Angehrn and Y.-T. Siu, Effective freeness and point separation for adjoint bundles , Invent. Math. 122 (1995), 291--308.
  2. S. Boucksom and H. Chen, Okounkov bodies of filtered linear series , Compos. Math. 147 (2011), 1205--1229.
  3. H. Blum and M. Jonsson, Thresholds, valuations, and K-stability , Adv. Math. 365 (2020), 107062. arXiv:1706.04548 (https://arxiv.org/abs/1706.04548). Statement numbering follows the arXiv version.arXiv
  4. L. Ein and R. Lazarsfeld, Global generation of pluricanonical and adjoint linear series on smooth projective threefolds , J. Amer. Math. Soc. 6 (1993), 875--903. Authors' reprint (https://math.stonybrook.edu/robert.lazarsfeld/Reprints/Ein.Laz.PALS.pdf).link
  5. O. Fujino, Kawamata--Viehweg vanishing theorem , lecture note, July 22, 2009, version 1.04. Author's manuscript (https://www.math.kyoto-u.ac.jp/~fujino/kawamata--viehweg2.pdf).link
  6. T. Fujita, On polarized manifolds whose adjoint bundles are not semipositive , Algebraic Geometry, Sendai, 1985, Adv. Stud. Pure Math. 10 , North-Holland, Amsterdam, 1987, 167--178.
  7. T. Fujita, Remarks on Ein--Lazarsfeld criterion of spannedness of adjoint bundles of polarized threefolds , preprint, 1993. arXiv:alg-geom/9311013v1 (https://arxiv.org/abs/alg-geom/9311013v1).arXiv
  8. T. Fujita, Towards a separation theorem of points by adjoint linear systems on polarized threefolds , preprint, 1994. arXiv:alg-geom/9411001v1 (https://arxiv.org/abs/alg-geom/9411001v1).arXiv
  9. L. Ghidelli and J. Lacini, Logarithmic bounds on Fujita's conjecture , Proc. Lond. Math. Soc. (3) 128 (2024), e12591. arXiv:2107.11705v2 (https://arxiv.org/abs/2107.11705v2). Statement numbering follows this arXiv version.arXiv
  10. J. Han, A linear bound for Fujita's freeness conjecture , preprint, 2026. arXiv:2609.01574v2 (https://arxiv.org/abs/2609.01574v2), September 11, 2026.arXiv
Show all 18 referencesShow fewer references
  1. G. Heier, Effective freeness of adjoint line bundles , Doc. Math. 7 (2002), 31--42. Published article (https://ems.press/content/serial-article-files/25896).link
  2. S. Helmke, On Fujita's conjecture , Duke Math. J. 88 (1997), 201--216.
  3. S. Helmke, On global generation of adjoint linear systems , Math. Ann. 313 (1999), 635--652.
  4. M. Jonsson and M. Mustaţă, Valuations and asymptotic invariants for sequences of ideals , Ann. Inst. Fourier (Grenoble) 62 (2012), 2145--2209. arXiv:1011.3699 (https://arxiv.org/abs/1011.3699). Statement numbering follows the arXiv version.arXiv
  5. J. Kollár and S. Mori, Birational geometry of algebraic varieties , Cambridge Tracts in Mathematics 134 , Cambridge University Press, Cambridge, 1998.
  6. J. Kollár, Singularities of pairs , Algebraic Geometry---Santa Cruz 1995, Proc. Sympos. Pure Math. 62 , Part 1, Amer. Math. Soc., Providence, RI, 1997, 221--287. arXiv:alg-geom/9601026v2 (https://arxiv.org/abs/alg-geom/9601026v2).arXiv
  7. OpenAI, Fujita's freeness conjecture , preprint, September 23, 2026, 25 pp. Manuscript in the openai/math repository (https://github.com/openai/math/blob/adc7f1241b42e322a6451854ab7e4b4c146bf78a/preprints/Fujitas-freeness-conjecture-September-23-2026/Fujitas-freeness-conjecture-September-23-2026.pdf), version pinned to commit adc7f124 .link
  8. I. Reider, Vector bundles of rank 2 and linear systems on algebraic surfaces , Ann. of Math. (2) 127 (1988), 309--316.

Version history

  1. v1Submitted by Brian NugentInitial depositCurrentOct 21, 2026