Browse › Algebraic and complex geometry › 056 Termination of projective and Kähler fourfold minimal model programs
Finite ordinary minimal model programs on compact Kähler fourfolds
Open PDFCite Report a problem Add a reference or comment Interested in working on this Start a discussion
Edit NOTES.md · Existing issues · Source on GitHub
Abstract
We prove that every maximal ordinary negative-ray program starting from a compact Kähler klt fourfold pair with effective rational boundary in the global Weil-divisor ℚ-factorial category terminates. It ends at a nef model when the adjoint is pseudo-effective and at a projective Mori fibre space otherwise.
If the PDF does not display here, open it directly: Open PDF.
Notes
No notes yet. Add a reference, a comment or your name with the buttons above, or edit NOTES.md on GitHub.
Automatically collected notes (unreviewed)
work in progress
Collected automatically by AI tools (Claude Opus 5.5 and GPT-6 Astra, 2026-10-21) and not checked by a person. May be wrong or incomplete. Report an error.
Possibly relevant literature (found by the agent, not checked)
- Makoto Enokizono, Kenta Hashizume, On termination of minimal model program for log canonical pairs on complex analytic spaces (arXiv:2501.03531, v2 8 Dec 2025). It studies termination of lc MMPs in the complex analytic setting, which relates to the paper's use of relative analytic MMP inputs and special termination for its ordinary negative-ray programs.
- Vladimir Lazić and Zhixin Xie, Nakayama-Zariski decomposition and the termination of flips (arXiv:2305.01752; Épijournal de Géométrie Algébrique 9, 2025). Its conditional passage from one terminating sequence to all sequences for pseudo-effective projective pairs provides a comparison with the projective case of this version’s claim about every maximal ordinary program.
Elsewhere
- Emergent Mind: family 056
Independent sites; their content is not reviewed here.
Cite
@misc{OAI:Finite-ordinary-minimal-model-programs-on-compact-Kahler-fourfolds-October-6-2026,
author = {{OpenAI}},
title = {{Finite ordinary minimal model programs on compact K{\"a}hler fourfolds}},
howpublished = {OpenAI Math Release preprint
\href{https://github.com/openai/math/blob/main/preprints/Finite-ordinary-minimal-model-programs-on-compact-Kahler-fourfolds-October-6-2026/paper.pdf}{OAI:Finite-ordinary-minimal-model-programs-on-compact-Kahler-fourfolds-October-6-2026}},
year = {2026}
}Versions
- Earlier edition: October 5, 2026
This version adds carrier-positivity and multiplier-ideal arguments and revises the contraction induction for ordinary negative-ray programs; see the previous version.
Family 056: 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.
Other papers in this family:
- Termination of generalized log canonical flips on compact Kähler fourfolds · October 7, 2026
- Termination of generalized-canonical flips on compact Kähler fourfolds · October 6, 2026
- Termination for projective log canonical fourfolds with rational boundary · September 24, 2026
- Finite ordinary minimal model programs on compact Kähler fourfolds · September 24, 2026