Geometry and topology · Oct 6, 2026

Termination of projective and Kähler fourfold minimal model programs

Proves termination of every existing generalized log canonical flip sequence on globally Weil ℚ-factorial compact Kähler fourfolds, with rational boundary, fixed rational analytically nef b-data, and projective small flip diagrams with the prescribed ample signs. Also proves termination of arbitrary permitted minimal model programs for projective log canonical fourfolds with rational boundary in characteristic zero.

Contributors

Unreleased OpenAI model

AI systems: Unreleased OpenAI model

Sources