Manuscript OpenAI@2026-10-07 · OpenAI.tex · remark · 6a931f8f
Remark: Family 056. Termination of fourfold minimal model programs
Family claims › Algebraic and complex geometry · lines 518–523
OpenAI@2026-10-07#rem:oai-056
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 authors are OpenAI. This companion does not verify the proof. The claim is not a theorem of the Enter series and not a premise of any registered sheet. It does not close O.1. O.1 stays NOT_CLOSED. It is not a de Sitter state and not the QdS external-leg scheme. No quantum coefficient is admitted. No compilation is asserted.
Nearby in this section
- remark: Remark: Family 032. The rational Hodge conjecture for CM abelian varieties
- remark: Remark: Family 033. Campana's orbifold Iitaka conjecture and logarithmic subadditivity
- remark: Remark: Family 034. Log abundance and effective Iitaka fibrations
- remark: Remark: Family 035. Threefold log abundance in numerical dimension one in characteristic p>3
- remark: Remark: Family 036. Numerical semiampleness and generalized minimal models
- remark: Remark: Family 037. The sharp ordinary-double-point volume gap
- remark: Remark: Family 038. Fujita's freeness conjecture
- remark: Remark: Family 039. Nagata's conjecture and maximal Seshadri constants