The Lazić-Peternell Generalised Abundance Conjecture for projective klt pairs

Lineage and corrections

Theorem 1.1: for a projective klt $\mathbb Q$-pair $(X,B)$ over an algebraically closed field of characteristic zero with $K_X+B$ pseudo-effective and $M$ nef $\mathbb Q$-Cartier on $X$, if $K_X+B+M$ is nef then it is numerically equivalent to a semiample $\mathbb Q$-Cartier divisor. Corollary: on a klt pair with $K_X+B\equiv0$ every nef $\mathbb Q$-Cartier divisor is numerically semiample. New ingredient: a nef divisor of full nef dimension on a klt Calabi-Yau pair is big. Kahler companion: for smooth compact Kahler $X$, snc $B$ with coefficients below one and nef $M$, $c_1(K_X+B+M)$ is represented in Bott-Chern cohomology by a semiample line bundle. Not shown: semiampleness of $K_X+B+M$ itself, lc pairs, or nef data living only on a higher model. parent of this event

Revised edition (October 6, 2026): Numerical semiampleness of nef adjoint classes on compact Kähler manifolds evidence for this event

Input manuscript: Log abundance in characteristic zero evidence for this event

This event attributed to Unreleased internal OpenAI model

VibeMathed record: The Lazić-Peternell Generalised Abundance Conjecture for projective klt pairs evidence for this event

Companion manuscript: Numerical semiampleness of nef adjoint classes on compact Kähler manifolds evidence for this event

The Lazić-Peternell Generalised Abundance Conjecture for projective klt pairs parent of this event

The Lazić-Peternell Generalised Abundance Conjecture for projective klt pairs evidence for this event

Input manuscript: Minimal models and Mori fibre spaces for generalized log canonical Q-pairs evidence for this event