Existence of minimal models and Mori fibre spaces for projective log canonical pairs, in generalized-pair form

Lineage and corrections

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

This event attributed to Unreleased internal OpenAI model

VibeMathed record: Existence of minimal models and Mori fibre spaces for projective log canonical pairs, in generalized-pair form evidence for this event

Companion manuscript: Minimal models in numerical dimension one evidence for this event

Existence of minimal models and Mori fibre spaces for projective log canonical pairs, in generalized-pair form parent of this event

Theorem 1.1: for a projective generalized lc $\mathbb Q$-pair $(X,B+M)$ over an algebraically closed field of characteristic zero there is a birational map $X\dashrightarrow Y$ extracting no divisors, with $(Y,B_Y+M_Y)$ generalized lc and log discrepancies not decreasing (strictly on contracted divisors), such that $K_Y+B_Y+M_Y$ is nef if $K_X+B+M$ is pseudo-effective, and otherwise $Y$ has a Mori fibre space structure with relative Picard number one. With $M=0$ this gives the ordinary lc case. Companion: smooth projective varieties with $\kappa_\sigma(K_X)=1$ have $\mathbb Q$-factorial terminal minimal models. Not shown: termination of arbitrary flip sequences, real coefficients, abundance (claimed in a separate release paper), or Q-factorial models in general. parent of this event

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