Result 035, Algebraic and complex geometry

Log-canonical threefold abundance in numerical dimension one

Proves log abundance for projective log canonical threefold pairs over algebraically closed fields of characteristic p > 3 when the effective boundary is rational and the ℚ-Cartier adjoint is nef of numerical dimension one. The adjoint is semiample, without requiring the original variety to be terminal or ℚ-factorial.

Proof

The bigger picture

Why it matters

An adjoint divisor combines a variety's canonical divisor, which encodes top-degree differential forms, with weighted boundary hypersurfaces. The manuscript reports when weak numerical positivity forces this object to define an actual geometric map for three-dimensional varieties.

What changes?

For projective threefolds over algebraically closed fields of characteristic p greater than 3, the manuscript assumes a log canonical variety-boundary pair, allowing controlled singularities, with nonnegative rational boundary weights. The adjoint must be rationally Cartier, so some positive multiple defines a line bundle; nef, so it intersects every curve nonnegatively; and of numerical dimension one, expressing one-dimensional numerical positivity. It reports semiampleness: some positive multiple has global sections with no common zero. Neither terminality nor rational factoriality is required.

What does that help mathematicians do?

Semiampleness turns numerical information about intersections into a map defined everywhere on the threefold. Here numerical dimension one means that the map's image is a curve. Researchers can therefore study these threefolds through their fibers over that curve, rather than only through intersection numbers. The claim also removes the terminal and rational factoriality assumptions imposed in the supplied earlier result, while retaining the dimension and characteristic restrictions.

Are there practical applications?

The immediate value is foundational: the result connects numerical positivity with geometric structure in the classification of algebraic threefolds in positive characteristic. It supplies an abundance statement for pairs with boundaries and log canonical singularities. Its reach remains specific to numerical dimension one; it does not establish abundance in other numerical dimensions or characteristics.

This section was generated by GPT-6 Astra Medium. This explanation is based on the result summary and manuscript abstracts below. This context is separate from OpenAI's source text.

2 manuscripts

Log abundance in numerical dimension one for threefolds in positive characteristic

October 5, 2026 16 pages

We prove the numerical-dimension-one case of log abundance for threefolds over algebraically closed fields of characteristic p > 3. If (X,B)(X,B) is a projective log canonical threefold pair with effective rational boundary, and KX+BK_X+B is ℚ-Cartier, nef, and of numerical dimension one, then KX+BK_X+B is semiample. Neither terminality nor ℚ-factoriality of X is required.

Cite (BibTeX)
@misc{OAI:Log-abundance-in-numerical-dimension-one-for-threefolds-in-positive-characteristic-October-5-2026,
  author = {{OpenAI}},
  title = {{Log abundance in numerical dimension one for threefolds in positive characteristic}},
  howpublished = {OpenAI Math Release preprint
                  \href{https://github.com/openai/math/blob/main/preprints/Log-abundance-in-numerical-dimension-one-for-threefolds-in-positive-characteristic-October-5-2026/paper.pdf}{OAI:Log-abundance-in-numerical-dimension-one-for-threefolds-in-positive-characteristic-October-5-2026}},
  year = {2026}
}

Abundance in numerical dimension one for terminal threefolds in positive characteristic

September 24, 2026 46 pages

Let X be a projective ℚ-factorial terminal threefold over an algebraically closed field of characteristic p > 3. We prove the numerical-dimension-one case of abundance: if KX is nef with ν(KX)=1\nu(K_X)=1, then KX is semiample and κ(X,KX)=1\kappa(X,K_X)=1.

Cite (BibTeX)
@misc{OAI:Abundance-in-numerical-dimension-one-for-terminal-threefolds-in-positive-characteristic-September-24-2026,
  author = {{OpenAI}},
  title = {{Abundance in numerical dimension one for terminal threefolds in positive characteristic}},
  howpublished = {OpenAI Math Release preprint
                  \href{https://github.com/openai/math/blob/main/preprints/Abundance-in-numerical-dimension-one-for-terminal-threefolds-in-positive-characteristic-September-24-2026/paper.pdf}{OAI:Abundance-in-numerical-dimension-one-for-terminal-threefolds-in-positive-characteristic-September-24-2026}},
  year = {2026}
}

Data from github.com/openai/math at commit adc7f12, committed October 6, 2026 at 21:58 UTC, last checked for changes about 8 hours ago. Titles, subjects, summaries, abstracts and Lean notes are OpenAI's; page counts are read from the PDFs. The map, related results, search, kinds of results and the named-problem index are Emergent Mind's, built with text embeddings and an LLM, and may contain errors.

An Emergent Mind Labs project. Emergent Mind is not affiliated with OpenAI. None of these results has been peer reviewed. Cite the manuscripts themselves, using the BibTeX on each result's page.