Latest

Algebraic and complex geometry

Numerical semiampleness and generalized minimal models

OpenAI research collection · 4 manuscripts · Source checked 2026-10-19

OpenAI's result summary

Proves numerical semiampleness for nef adjoints K_X+B+M with K_X+B pseudo-effective and M nef rational, for projective klt rational pairs over algebraically closed characteristic-zero fields and smooth compact Kähler rational klt simple-normal-crossing pairs, using Bott–Chern cohomology in the latter case. Separately, projective generalized log canonical rational pairs over such fields admit minimal models for pseudo-effective adjoints and Mori fiber spaces otherwise, with nef b-data fixed.

Read the manuscripts

Short excerpts below come from OpenAI's abstracts. The full abstract and original PDF preserve the paper's precise scope.

MANUSCRIPT 01

Numerical semiampleness of nef adjoint classes on compact Kähler manifolds

Let X be a smooth connected compact Kähler manifold, let B be an effective rational simple normal crossing divisor with coefficients less than one, and let M be a nef rational holomorphic line bundle on X. If K_X+B is pseudo-effective and K_X+B+M is nef, we prove that its first Chern class in real Bott–Chern cohomology is…

Full source abstract

Let X be a smooth connected compact Kähler manifold, let B be an effective rational simple normal crossing divisor with coefficients less than one, and let M be a nef rational holomorphic line bundle on X. If K_X+B is pseudo-effective and K_X+B+M is nef, we prove that its first Chern class in real Bott–Chern cohomology is represented by a semiample rational line bundle. This numerical statement allows a flat change of line bundle; it does not assert semiampleness of the original adjoint.

This exact PDF is not listed in the imported formalization catalogue. Family scope notes may contain further information.

MANUSCRIPT 02

Numerical Semiampleness of Nef Adjoint Divisors

We prove the Generalised Abundance Conjecture: if (X,B) is a projective klt ℚ-pair over an algebraically closed field of characteristic zero, K_X+B is pseudo-effective, M is a nef ℚ-Cartier divisor on X, and K_X+B+M is nef, then K_X+B+M is numerically equivalent to a semiample ℚ-Cartier divisor on X.

This exact PDF is not listed in the imported formalization catalogue. Family scope notes may contain further information.

MANUSCRIPT 03

Minimal models and Mori fibre spaces for generalized log canonical Q-pairs

We resolve the existence form of the minimal-model conjecture for projective generalized log canonical ℚ-pairs over algebraically closed fields of characteristic zero. Such a pair admits a minimal model when its adjoint divisor is pseudo-effective, and a Mori fibre space otherwise, while keeping the nef ℚ-Cartier b-divisor…

Full source abstract

We resolve the existence form of the minimal-model conjecture for projective generalized log canonical ℚ-pairs over algebraically closed fields of characteristic zero. Such a pair admits a minimal model when its adjoint divisor is pseudo-effective, and a Mori fibre space otherwise, while keeping the nef ℚ-Cartier b-divisor fixed. Taking the nef part to be zero gives the corresponding result for ordinary log canonical ℚ-pairs.

This exact PDF is not listed in the imported formalization catalogue. Family scope notes may contain further information.

MANUSCRIPT 04

Minimal models in numerical dimension one

We resolve the numerical-dimension-one case of the minimal-model conjecture for smooth connected complex projective varieties of dimension at least three. If K_(X) is pseudo-effective and \kappa_\sigma(X,K_X)=1, with κ_(σ) defined by section growth with a fixed ample twist, then X admits a projective ℚ-factorial terminal…

Full source abstract

We resolve the numerical-dimension-one case of the minimal-model conjecture for smooth connected complex projective varieties of dimension at least three. If K_(X) is pseudo-effective and \kappa_\sigma(X,K_X)=1, with κ_(σ) defined by section growth with a fixed ample twist, then X admits a projective ℚ-factorial terminal minimal model.

This exact PDF is not listed in the imported formalization catalogue. Family scope notes may contain further information.

One signal in the wider AGI picture

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 ↗