结果族 056：Termination of projective and Kähler fourfold minimal model programs · 学科：Algebraic and complex geometry · 验证状态：暂无形式化证明，请以社区核验为准
还是那台”化简机器”（极小模型纲领），但这次工作场地从铺好坐标网的射影空间，搬进了更幽暗的紧 Kähler 世界：那里没有全局代数坐标，射影情形惯用的计数工具集体失灵。论文证明：在四维 Kähler 场地上，每步任选一条负射线的化简程序必定停机，而且终点只有两种好结局。
关键词卡片
看个具体例子
停机的理由一半可以数出来：空间里三维”循环类”撑出的维数 c₃，每次除子收缩都严格下降（翻转则不变），所以除子型手术只能做有限次；剩下的无穷翻转尾巴再由同族姊妹篇的定理排除。终点是谁，由伴随除子 K+Δ 是否伪有效决定。
为什么值得关心
四维终止性由此从”射影且伴随除子有效”的特殊情形，推进到一般紧 Kähler 有理 klt 配对，是复几何版极小模型纲领的关键落子。
暂无形式化证明（AI 结果待核验）
第一级台阶
导读说工作场地从”铺好坐标网的射影空间”搬进了”幽暗的紧 Kähler 世界”。翻译一下：处理的仍是带边界标签的四维空间和那台切负方向的化简机器，但场地现在只保证局部像复平面、整体能测”面积”，不再有全局坐标网可依赖。停机理由也仍是数出来的：每切掉一整块，某个有限维计数就严格掉一档；至于无穷的”只换不删”尾巴，则交给同族姊妹篇排除。
第二级台阶
精确化：对象是紧 Kähler 空间 X——闭的复空间，带 Kähler 形式；取代除子类的是 Bott–Chern 上同调中的 (1,1) 类。一个类称 nef，若位于 Kähler 锥闭包；称伪有效，若含闭正电流。配对 (X,Δ) 为 klt 指一切 log discrepancy 为正；”整体 Weil Q-因子化”要求每个整体素 Weil 除子都 Q-Cartier。程序步是沿负极端射线的除子收缩或翻转。
第三级台阶
定理（Theorem 1）在正规、整体 Weil Q-因子化的紧 Kähler 四重簇上陈述：klt、有理边界，则从原配对出发、任选负射线的每个极大普通程序有限终止；途中每个模型保持全部范畴性质。终点二选一：伴随类 K+Δ 伪有效时终于 nef 模型（且 log discrepancy 只增），否则终于射影 Mori 纤维空间。klt 挡住了 lc 情形尚未到位的分析工具；整体因子化保证每步伴随除子仍是整体对象；论文明确只断言 nef、不断言丰度。
证明了紧 Kähler 四维 klt 配对上任何极大普通负射线极小模型程序都终止：伴随除子 @@M@@K_X+\Delta@@ 伪有效时终于 nef 模型，否则终于射影 Mori 纤维空间。四维 MMP 的终止性由此从”射影且伴随除子有效”的特殊情形推进到一般紧 Kähler 有理 klt 配对。
极小模型程序（minimal model program, MMP）逐条收缩伴随除子 @@M@@D=K_X+\Delta@@ 为负的极射线（extremal ray），必要时做翻转（flip），把簇换成 @@M@@D@@ 越来越正的双有理模型。单步的存在与整条程序的终止性（termination）是两个难题，高维终止性至今没有一般解答。复几何情形更难：空间只是紧 Kähler（compact Kähler）而非射影，没有整体丰富线丛作极化，射影情形依赖的计数式论证大量失效。此前最好结果：Höring–Peternell 对非 uniruled（不被有理曲线覆盖）的紧 Kähler 三维簇造出极小模型；Das–Hacon–Păun 处理了 @@M@@D@@ @@M@@\mathbb{Q}@@-线性等价于有效除子的四维紧 klt 情形。卡点在于：无整体极化时负射线可以是超越的、flip 所需的整体代数有限生成没有着落、终止性缺乏可用的有限计数。另有一个范畴陷阱：整体 Weil @@M@@\mathbb{Q}@@-因子化（每个整体素 Weil 除子均 @@M@@\mathbb{Q}@@-Cartier）不同于逐点解析局部 @@M@@\mathbb{Q}@@-因子化，即便对射影簇也不同（文末附录给出光滑射影反例），本文全程维护这一区分。
主定理（普通程序的终止性）：设 @@M@@X@@ 为正规、整体 Weil @@M@@\mathbb{Q}@@-因子化的紧 Kähler 四重簇（fourfold），给定典范 Weil 除子 @@M@@K_X@@，@@M@@\Delta\geq0@@ 为有理除子且 @@M@@(X,\Delta)@@ 是 klt 配对。则从 @@M@@(X,\Delta)@@ 出发、每步取 @@M@@D@@-负极射线的任意极大普通程序终止，得到有限链 @@M@@(X,\Delta)=(X_0,\Delta_0)\dashrightarrow\cdots\dashrightarrow(X_n,\Delta_n)@@；每个 @@M@@X_i@@ 保持正规、紧 Kähler、整体 Weil @@M@@\mathbb{Q}@@-因子化，每个 @@M@@(X_i,\Delta_i)@@ 保持 klt 且 @@M@@D_i=K_{X_i}+\Delta_i@@ 为 @@M@@\mathbb{Q}@@-Cartier。终点二选一：（i）@@M@@D@@ 伪有效（pseudo-effective）时 @@M@@D_n@@ nef，复合映射不提取素除子，且对数差异（log discrepancy）满足 @@M@@a(E;X,\Delta)\leq a(E;X_n,\Delta_n)@@，对被收缩的素除子严格；（ii）@@M@@D@@ 非伪有效时存在射影满态射 @@M@@g:X_n\to S@@，其中 @@M@@S@@ 正规紧 Kähler、@@M@@\dim S<4@@、@@M@@\rho(X_n/S)=1@@、@@M@@-D_n@@ 为 @@M@@g@@-ample，即 Mori 纤维空间（Mori fibre space）。每个负收缩（含 @@M@@g@@）的相对 Bott–Chern 维数为一；强整体 @@M@@\mathbb{Q}@@-因子化若初始成立则全程保持；只指定典范有理线丛的内蕴表述同样成立，且第一个模型就是 @@M@@X@@ 本身。文中明确：伪有效情形只断言 nef，不做丰度（abundance）断言。
证明分三步：先保证每一步能走，再证明每类步骤只有有限个，最后识别终点。
第一步解决单步存在。对每个 @@M@@D@@-负极射线 @@M@@R@@，由广义锥定理（Hacon–Xie）与紧切片上的极值论证，在 @@M@@R^\perp@@ 中造出带 Kähler 余量的支撑类 @@M@@\alpha@@：@@M@@\alpha@@ nef、@@M@@\NA(T)\cap\alpha^\perp=R@@、@@M@@\alpha-c_1(D)@@ Kähler。再证”支撑收缩”命题（对维数归纳的断言 @@M@@\mathsf B_d@@，一直做到 @@M@@d=4@@）：这样的 @@M@@\alpha@@ 必是某收缩 @@M@@f:T\to Z@@ 的拉回 @@M@@f^*\gamma@@。关键新工具是整数下降引理：双有理收缩下数值平凡的线丛无需额外张量幂即整体下降为线丛，从而保住 Cartier 指标。于是有理伴随除子本身给出全局相对极化（证明 @@M@@f@@ 射影、@@M@@-D@@ 相对丰富），小收缩时给出整体 flip 代数 @@M@@\bigoplus_{m\ge0}f_*\cO_T(mrD)@@，其相对 Proj 就是翻转，新空间继承全部范畴性质。广义配对只在锥定理与自由点定理处进入，程序每一步都是普通的。
第二步排除无穷。Borel–Moore 局部化给出”循环类损失”引理：紧 Kähler 空间上 @@M@@k@@ 维紧解析循环张成空间的维数 @@M@@c_k@@ 有限；不提取除子的双有理变换保持 @@M@@c_3@@，而除子收缩使其严格下降（例外除子的类被 Kähler 形式的三次方积分为正检测）。因此除子型步骤只有有限个，无穷尾必全为 flip；这样的尾巴被同族姊妹篇的广义 log canonical flip 序列终止定理（取零 nef 部分）排除。姊妹篇所用的低差异位点、相对程序、提取与特殊终止等结果恰由本文后续章节独立证明，且支撑收缩的归纳不反过来使用主定理，逻辑无环。
第三步识别终点。在公共分解上每步满足 @@M@@p^*D=q^*D'+F@@（@@M@@F\geq0@@），正电流的拉回与下降说明伪有效性沿程序不变；Mori 纤维空间上相对反丰富的伴随除子不伪有效（把正电流限制到位势有限点处的纤维曲线即得矛盾）；而 nef 蕴含伪有效。两个终点枝由此严格互斥。辅助构件还包括：固定一个 Kähler 类作缩放方向的程序（阈值处的步骤 crepant，差异随参数线性插值，保持广义 klt），以及把 Kawamata–Matsuda–Matsuki 与 Fujino 的四维 terminal 翻转差异计数论证（含 Fujino 勘误的低差异位点处理）移植到紧 Kähler、实边界情形。
两版手稿均无形式化证明，按 OpenAI 官方声明，未经形式化的结果可能有问题，请以社区核验为准。本批实为同一论文的两个修订，共享同一输出路径：2026-09-24 版证”存在一条有限普通程序”（Birkar 极限扰动策略），2026-10-05 版加强为”每个极大程序终止”，本文以更强的新版为准。族内互撑：本文为姊妹篇提供低差异位点、相对程序、提取、特殊终止等输入，姊妹篇反过来排除本文的无穷 flip 尾巴，依赖关系无环。
问 1：Kähler 情形证明中最脆弱的一步是什么？
（答：支撑收缩命题。没有整体极化，负射线可以是超越的；论文先用 Hacon–Xie 广义锥定理造出带 Kähler 余量的 nef 支撑类 α，再对维数归纳（断言 B_d 做到 d=4）证明 α 必是某个收缩的拉回。其中”整数下降引理”——数值平凡线丛无需额外张量幂即整体下降——是保住翻转代数存在性的关键新工具，也是最容易出细微漏洞的地方。）
问 2：无穷 flip 尾巴靠姊妹篇排除，证明是否循环？
（答：论文明确拆解依赖：姊妹篇的广义 lc flip 终止定理排除尾巴，但其所用的低差异位点、相对程序、提取、特殊终止等输入恰由本文后续章节独立证明，且收缩归纳不使用主定理。无环声明成立与否，取决于这些章节确实不暗中调用终止结论——这是审稿必查点。）
问 3：”整体 Weil Q-因子化”这个假设为什么不能去掉？
（答：它保证每步的伴随除子 D_i 是整体 Q-Cartier 对象，翻转代数 ⊕f_*O(mrD) 才有意义；它还区别于逐点解析局部 Q-因子化——文末附录给出光滑射影反例说明两者确实不同。放松到局部因子化时下降与代数生成都会失效。）
问 4：与 Das–Hacon–Păun 的四维定理相比，真正推进在哪？
（答：DHP 要求 D Q-线性等价于有效除子；本文不设任何有效性假设，终点由伪有效性的有无二选一决定。此外结论是”每个极大程序终止”而非”存在一个极小模型”，且程序直接从给定配对出发，不做初始修改。Höring–Peternell 只覆盖三维非 uniruled 情形。）
问 5：AI 生成证明最可能在哪里出错？
（答：三处解析细节高危：循环类损失引理中”紧解析循环张成空间维数 c₃ 有限”依赖 Borel–Moore 局部化，除子收缩使其严格下降的检测（Kähler 形式三次方积分为正）在奇点处需谨慎；伪有效性沿双有理映射不变的电流拉回/下降论证；以及 nef 端点处 discrepancy 不等式的逐除子比较。均无形式化核验。）
问 6：终点为什么只敢断言 nef？谁会用到这条定理？
（答：丰度（abundance）在紧 Kähler 四维尚无可用结果，论文明确不做断言。使用者首先是同族姊妹篇（本文为其供弹药）与 Kähler 极小模型纲领后续工作；Mori 纤维空间分支则服务非伪有效情形的分类。）
总评
这是 Kähler 四维 MMP 从”存在性结果”迈向”任意程序终止”的关键落子，范畴与证明结构都相当克制；最大风险在支撑收缩的解析细节与对姊妹篇flip终止的相互依赖，两篇须捆绑核验。