结果族 056：Termination of projective and Kähler fourfold minimal model programs · 学科：Algebraic and complex geometry · 验证状态：暂无形式化证明，请以社区核验为准
想象一台”化简机器”：把一个四维的几何形状不停送进去，每一步切除或翻修最碍手的一块，直到形状”没法再化简”为止。这台机器叫极小模型纲领。大家最担心的是它会不会无限空转；本文证明：在四维、允许温和奇点的最一般设定下，无论你每步怎么选切割路线，机器都保证有限步停机。
关键词卡片
看个具体例子
证明的关键是造一块”难度计分板”：每做一步手术，分数只减不增；每过若干步还必严格掉一整格。分数是自然数，掉有限次就归零——机器停机。示意如下，任何一条你自选的手术路线，分数最终都会走到底。
定理还不挑条件：以往四维定理要求的伪有效性、初始 ℚ-因子化统统不需要，也允许”先收缩再做小修正”的混合步骤——这是以前所有证明都容不下的自由度。
为什么值得关心
“化简机器会不会空转”是高维双有理几何最核心的悬念之一，本文把它在四维推进到最一般的对数典范情形，也是同族 Kähler 姊妹篇的代数母体。
暂无形式化证明（AI 结果待核验）
第一级台阶
导读里那台”化简机器”处理的原料是一个四维空间，加上标记在它上面的”边界”——好比切好后贴在表面的标签。机器每一轮都朝”伴随度量最吃亏的方向”切一刀：被切掉的部分可能整块消失，也可能立刻换上一块更合身的新空间。所谓停机，就是再也找不到这样的下刀方向。
第二级台阶
换成标准术语：对象是 log canonical 配对 (X,B)——正规四维簇 X 配有效 Q-除子 B，使伴随除子 K_X+B 为 Q-Cartier，且一切除子赋值的 log discrepancy 非负；这就是”奇点温和”的精确含义。操作是沿 Kleiman–Mori 锥中一条使 K_X+B 取负值的极端射线作收缩，遇小收缩则补一个翻转。终止性断言：无论每步怎样选射线，双有理步骤只有有限多个。
第三级台阶
定理在特征零代数闭域上的射影 lc 四重折叠上陈述：不设 Q-因子化，也不设伪有效性，每个许可程序——逐步任选负射线，允许除子收缩后接小修正的混合步——都有限终止；极大程序终止于 nef 伴随的 lc 配对或 Mori 纤维化（论文 Theorem 1）。有理边界保证难度计分是有限整数；lc 弱于 klt，迫使证明先在 dlt 修改上搭”桥”；分支估计要在 C 上借 Hodge 理论完成，再经域转移铺到任意特征零域。导读里的计分板，至此就是定理中的加权难度 D。
证明了特征零代数闭域上带有效有理边界的射影 log canonical 四重折叠的任意”许可”极小模型纲领必终止：允许任意负极端射线选择与混合双有理步骤，不假设 @@M@@\mathbb{Q}@@-因子化或伪有效性，且每条负射线都有所需的收缩与正模型。
极小模型纲领（minimal model program, MMP）通过除子收缩与翻转（flip）化简射影簇，期望终点是伴随除子 @@M@@K_X+B@@ 为 nef 的极小模型或 Mori 纤维化。存在性保证”能走”，终止性（termination）保证”走得完”；后者强于单个极小模型的存在，也强于某个带缩放程序的终止。四维已有结果各带限制：Shokurov 的有序终止法与 Birkar 的 klt 简证只覆盖被选定的程序；Kawamata–Matsuda–Matsuki 的终端、Fujino 的典范情形奠定差异（discrepancy）计数加曲面类下降的路线；Alexeev–Hacon–Kawamata 的加权难度需要 @@M@@-(K_X+B)@@ 数值有效；Chen–Tsakanikas 与 Moraga 的 lc 定理要求伪有效；Han–Liu–Zhuang 处理大边界 klt。普通 lc 四重折叠在无任何有效性假设下的任意终止一直是缺口，本文补上它，并允许模型非 @@M@@\mathbb{Q}@@-因子化、允许”除子收缩后再接小修正”的混合步骤。
主定理：设 @@M@@k@@ 为特征零代数闭域，@@M@@(X,B)@@ 是带有效有理边界的四维射影 log canonical（lc）配对，不假设 @@M@@\mathbb{Q}@@-因子化或伪有效性，则：(i) 每个阶段每条 @@M@@D_i=K_{X_i}+B_i@@-负极端射线都有具正规射影靶、连通纤维、相对 Picard 数为一的收缩，且当其为双有理时存在许可的正模型；(ii) 从 @@M@@(X,B)@@ 出发的每个许可程序——逐步任意选择负射线，步骤可为除子收缩、翻转或混合步骤——只有有限个双有理步；(iii) 每个极大程序终止于 nef 伴随的 lc 配对或 Mori 纤维化。证明先在 @@M@@\mathbb C@@ 上完成（分支估计用到拓扑），再把完整结论转移到任意特征零代数闭域。
证明把终止化归为辅助终端模型上的数值问题，分五层推进。先用除子循环类的秩消去一切损失除子的步骤（含混合步），剩下的 klt 小尾巴提升为一串 crepant 终端连接点（terminal junctions），相邻连接点由提取系数的下降加一段有限小步骤连接；同一有限边界标签集贯穿全链，而曲面极小对数差异的 ACC 定理把系数仍在变化的标签限制在映到曲线或点的除子上。其次构造加权难度 @@M@@\mathcal D@@：以天花板权重 @@M@@w(u)=\lceil N\max\{u,0\}\rceil@@ 统计对数差异低于二的赋值（@@M@@N@@ 只需清除初始与固定系数），在每个曲面处先局部扣除单标签上反复爆破形成的”默认”贡献再求和，并补上边界正规化上的除子循环秩；初等天花板不等式 @@M@@\lceil x_1+\cdots+x_r\rceil\geq\sum\lceil x_j\rceil-(r-1)@@ 表明 @@M@@r@@ 个变化分支带来的可能亏损恰为 @@M@@r-1@@。第三，关键的分支估计定理为这笔亏损付账：它用 Deligne 混合 Hodge 理论、Beilinson–Bernstein–Deligne–Gabber 分解定理及 Saito 的 Hodge 模加细给出权与支撑估计，分离出奇曲线上的刺破度二局部系统；有限单径（monodromy）与范数把不变类实现为曲线原函数域上的线丛，Grothendieck 存在性定理与 Artin 逼近再将其延拓到剩余域不变的尖点 étale 邻域；小模型上的次数便给出原函数域中互异、零边界对数差异为二的除子赋值。这些项已是 @@M@@\mathcal D@@ 中的正项，故 @@M@@\mathcal D@@ 在连接点非负；正规化秩与分支默认之间的精确抵消使 @@M@@\mathcal D@@ 单调不增；正侧坏曲面经由整值缩放亏损跨过天花板阈值迫使 @@M@@\mathcal D@@ 单位下降，只能有限次，随后第二轮循环秩比较与图维数界完成 klt 终止。第四，把结论从 klt 传到 lc：先用 Fujino 的 dlt 特殊终止（依赖至多三维的经典 log MMP），对每个指定的楼下小尾巴取 crepant @@M@@\mathbb{Q}@@-因子化 dlt 修改，在收缩基上运行初等 dlt 步骤直至相对 nef——垂直射线引理保证每步收缩绝对极端射线且保持双有理，负曲线的负多重截面保证”桥”非空，两端引理把终点等同于指定正模型的 crepant 提升——拼接所有桥即与 dlt 终止矛盾。连续性（构造混合步的正模型）由 Fujino 的 lc 锥与收缩定理加 Birkar 的有理补充对（complemented pair）定理给出好 log 极小模型，图支撑论证证明其半丰富模型的靶对基是小映射且边界恰为严格变换。最后是域转移：整个可数假想程序连同全部射线选择下降到一个可数子域并嵌入 @@M@@\mathbb C@@，数值延拓引理（展铺加特化）保持数值空间与曲线锥；存在性则逐个有限图转移，固定极化类保证特化后收缩的仍是同一射线。
本文主结果暂无 Lean 形式化证明，请以社区核验为准。它是本族另两篇 Kähler 姊妹篇的代数母体：广义 log canonical Kähler 一文的连接点构造、难度定义与分支界的正规化、参数化方法均显式改编自本文对应章节；广义典范 Kähler 一文则对应本文的 Fujino 式见证计数路线。文中端点处的丰度与补结论另引同系列文章，且终止证明本身独立于这些相伴结果。按 OpenAI 官方声明，未经形式化的结果可能有问题，读者宜以同行评议为最终标准。
问 1：证明中最关键、也最脆弱的一步在哪里？
（答：分支估计定理（引言所称 Theorem branch，见第 3、4 节）。加权难度在每个曲面处可能因 r 个变化分支亏损 r−1——这只是初等天花板不等式；真正付账的是这条用 Deligne 混合 Hodge 理论、BBD 分解定理与 Saito Hodge 模得出的”分支总超额不超过某些正项”的几何界。它是全文唯一的新几何输入，权或支撑估计一旦有误，难度 D 在连接点处的非负性立刻坍塌。）
问 2：为什么边界必须是有理系数，不能换成实系数？
（答：权重取 w(u)=⌈N·max{u,0}⌉，N 要清空初始与固定系数的分母，D 才是有限整数，且”隔步必降”才成立。实系数时天花板结构失效；Chen–Tsakanikas 与 Moraga 的实边界定理恰恰要伪有效性，说明去掉该假设的路目前绑在有理系数上。）
问 3：与已有工作相比真正的新意是什么？
（答：三点叠加：普通 lc（而非 klt 或典范）四重折叠；无伪有效性、无大边界、无初始 Q-因子化；结论对逐步任选负射线的任意程序成立，还容纳”除子收缩后接小修正”的混合步。Shokurov 有序终止与 Birkar 简证只覆盖选定程序，AHK 需 −(K+B) 数值有效，Han–Liu–Zhuang 只做 klt 大边界情形。）
问 4：去掉伪有效性，靠什么补上 AHK 当年需要它的缺口？
（答：AHK 的加权难度在同一曲面被多分支”默认贡献”蛀空时，用 −(K+B) 的数值有效性兜底。本文改由分支估计用除子循环秩与曲线上 log discrepancy 低于二的赋值这些 D 中已有的正项去支付亏损，再靠正侧坏曲面的整值缩放亏损迫使 D 单位下降。）
问 5：AI 生成证明最可能在哪里出错？
（答：两处高危：其一，分支估计中把不变上同调类实现为曲线原函数域上的线丛、经 Grothendieck 存在性定理与 Artin 逼近延拓，”剩余域不变”“互异赋值且零边界 log discrepancy 恰为二”的组合论断细节极易藏错；其二，”正规化秩与分支默认精确抵消”是逐曲面记账，漏掉高阶默认贡献就毁掉 D 的单调性。论文明确无形式化验证。）
问 6：谁会用到它，下游推论是什么？
（答：第 8 节列出 nef 端点的半丰富性、一致局部补与 ε-lc Mori 端点的 Cartier 截面为推论，但它们分别依赖同系列相伴文章，终止证明本身独立于这些结果；它也是同族两篇 Kähler 四重折叠文章显式援引的代数母体。更高维 lc 终止猜想仍开放。）
总评
这项工作把四维 lc 终止推到无伪有效、任选射线、含混合步的最一般形态，分量在于缺口被正面封顶；最大风险集中在 Hodge 论分支估计与相伴文章均未经独立核验。