Termination of projective and Kähler fourfold minimal model programs

Claimed, not checked 5 papers September 24, 2026
What the paper claims, in its own words

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.

The plain-language explainer for this entry is still coming.

The original papers (5)