The minimal model program (MMP) is a major framework in algebraic geometry that aims to classify complex geometric spaces by simplifying them into the most basic, "minimal" forms. For spaces defined by polynomial equations, this program is well-developed. However, many naturally occurring geometric spaces in complex analysis are not of this algebraic type. They are called Kahler manifolds, and they carry a richer, more analytic structure. Extending the MMP to these transcendental, non-algebraic Kahler spaces has been a long-standing challenge because the classical tools of algebraic geometry do not directly apply.
The paper solves this challenge for an important class of Kahler spaces called "big gklt Kahler pairs." The word "big" refers to a technical positivity condition on a geometric object called a line bundle, which roughly measures how much the space curves. The letters "gklt" describe a mild type of singularity that these spaces are allowed to have. For this class, the authors establish the full MMP, meaning they can systematically simplify these spaces through a controlled sequence of geometric operations, arriving at either a minimal model or a fibration structure, just as one can do in the algebraic setting.
A key consequence of their work is a proof of Tosatti's base-point-free conjecture, which has been open for years. In the algebraic world, the base-point-free theorem guarantees that certain line bundles can be used to map a space into a simpler one without any problematic singular points in the mapping. Tosatti conjectured that an analogous result holds for Kahler manifolds where the line bundle is replaced by a more general, transcendental cohomology class. Proving this required new analytic techniques going beyond classical algebraic geometry, and its resolution is a significant step toward a complete classification theory for Kahler manifolds.