{"id":"openai-math/Termination-of-generalized-canonical-flips-on-compact-Kahler-fourfolds","pdf":"https://github.com/openai/math/blob/main/preprints/Termination-of-generalized-canonical-flips-on-compact-Kahler-fourfolds-October-6-2026/termination-generalized-terminal-flips-compact-kahler-fourfolds.pdf","url":"https://github.com/openai/math/tree/main/preprints/Termination-of-generalized-canonical-flips-on-compact-Kahler-fourfolds-October-6-2026","tags":["birational-geometry","flips","kahler-geometry"],"score":0,"title":"Termination of generalized-canonical flips on compact Kähler fourfolds","domain":"Algebraic and complex geometry","family":"056","origin":"ai-generated","source":"openai-math","authors":["OpenAI"],"reviews":0,"subject":"math.AG","summary":"Every sequence of generalized-canonical flips on compact Kähler fourfolds with rational boundary and fixed rational analytically nef b-divisor terminates when the small morphisms are projective. We prove this for normal globally Weil ℚ-factorial models with boundary coefficients less than one, allowing exceptional log discrepancies equal to one. No scaling rule or pseudo-effectivity assumption is required. The theorem applies to existing projective small diagrams with the specified opposite ample signs.","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-10-06","reactions":{},"formalized":false,"family_title":"Termination of projective and Kähler fourfold minimal model programs"}