{"id":"openai-math/Termination-for-projective-log-canonical-fourfolds-with-rational-boundary","pdf":"https://github.com/openai/math/blob/main/preprints/Termination-for-projective-log-canonical-fourfolds-with-rational-boundary-September-24-2026/paper.pdf","url":"https://github.com/openai/math/tree/main/preprints/Termination-for-projective-log-canonical-fourfolds-with-rational-boundary-September-24-2026","tags":["birational-geometry","minimal-model-program","log-canonical"],"score":0,"title":"Termination for projective log canonical fourfolds with rational boundary","domain":"Algebraic and complex geometry","family":"056","origin":"ai-generated","source":"openai-math","authors":["OpenAI"],"reviews":0,"subject":"math.AG","summary":"We prove that every permitted minimal model program for a projective log canonical fourfold with rational boundary over an algebraically closed field of characteristic zero terminates. The result allows arbitrary negative extremal rays and mixed birational steps on the given models, without pseudo-effectivity or initial ℚ-factoriality.","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-09-24","reactions":{},"formalized":false,"family_title":"Termination of projective and Kähler fourfold minimal model programs"}