结果族 056：Termination of projective and Kähler fourfold minimal model programs · 学科：Algebraic and complex geometry · 验证状态：暂无形式化证明，请以社区核验为准
还是”手术会不会无限做下去”的老问题，这次的手术配方更凶：允许额外的正性数据记在更高的双有理模型上（广义典范配对），还允许个别奇点指标恰好顶到临界值一。本文照样证明：紧 Kähler 四重态上这类翻转序列必停。妙处在于证明全靠两本”有限账”：见证除子的奇点指标只能走有限的台阶，曲面对策的计数只能降有限次。
关键词卡片
@@M@@\mathbf M@@。看个具体例子
数字版定理：见证除子的差异只能取格点值 @@M@@1+\tfrac1m,\ 1+\tfrac2m,\ \dots,\ 2@@（共 @@M@@m@@ 个），且每次充当见证都严格上升，故同一个见证者至多出场 @@M@@m@@ 次；曲面对策用尽后，解析曲面类的秩满足 @@M@@c_2(X_0)>c_2(X_1)>\cdots\ge 0@@ 严格下降，非负整数无法无限降——两本账都翻完，序列必停。
为什么值得关心
它去掉了此前终止性结果必需的伪有效、NQC、缩放等硬条件，证明自成一体、不引用任何终止性定理，把 Kähler 四维广义配对的终止性推进到广义典范情形。
暂无形式化证明（AI 结果待核验）
第一级台阶
导读把问题说成”手术会不会无限做下去”，这次手术配方更凶：允许额外的正性数据记在更高的双有理模型上（像把一部分资产挂在母公司账上），还允许个别奇点指标恰好顶到临界值一——最温合与不合格的分界线。对象与操作同前：四维封闭复空间上，把伴随除子符号为负的小收缩换成符号为正的等价手术；导读点破的巧思是：证明不靠宏大机械，只靠两本”有限账”——见证者的奇点指标只能走有限的台阶，曲面计数的秩只能降有限次。
第二级台阶
用本科术语落实：广义配对的伴随除子写作 K_X+B+M_X，其中 B 是系数落在 [0,1) 的有效有理除子，M_X 是固定 nef b-除子 M 的迹——由某个射影双有理模型上解析 nef（一次陈类在 Kähler 锥闭包中）的 Q-Cartier 除子代表。place 的广义对数差异 a(E;X,B+M)=1−coeff_E(Δ_W)；配对称为广义典范的，若每个 place 的差异为正且每个例外 place 的差异至少为一（恰等于一也允许）。翻转图 X_i→Z_i←X_{i+1} 两侧为射影小态射、伴随除子带相反的相对丰富符号。
第三级台阶
定理在此陈述：正规不可约、整体 Weil Q-因子化的紧 Kähler 四重态上，广义典范配对（典范界只需在初始模型检验，后续由比较定理保持）的任何此类翻转序列必有限，且不设伪有效性、缩放规则或 NQC 条件。各假设各挡一事：典范奇点未必在余维二光滑，论证必须恰好在被计数的翻曲面处建立光滑性；固定有理数据保证存在整数 m 同时清除 nef 与边界的分母，使”见证”——在翻曲面光滑一般点爆破出的整体除子——的目标差异只能落在格点 (1,2]∩(1/m)Z 上，且每次出任见证都严格上升，同一见证者至多出场 m 次；曲面对策用尽后，解析曲面类之秩 c_2 逐步严格下降，非负整数不能无限降。两本账翻完，序列必停。
第一级台阶
导读把问题说成”手术会不会无限做下去”，这次手术配方更凶：允许额外的正性数据记在更高的双有理模型上（像把一部分资产挂在母公司账上），还允许个别奇点指标恰好顶到临界值一——最温合与不合格的分界线。对象与操作同前：四维封闭复空间上，把伴随除子符号为负的小收缩换成符号为正的等价手术；导读点破的巧思是：证明不靠宏大机械，只靠两本”有限账”——见证者的奇点指标只能走有限的台阶，曲面计数的秩只能降有限次。
第二级台阶
用本科术语落实：广义配对的伴随除子写作 K_X+B+M_X，其中 B 是系数落在 [0,1) 的有效有理除子，M_X 是固定 nef b-除子 M 的迹——由某个射影双有理模型上解析 nef（一次陈类在 Kähler 锥闭包中）的 Q-Cartier 除子代表。place 的广义对数差异 a(E;X,B+M)=1−coeff_E(Δ_W)；配对称为广义典范的，若每个 place 的差异为正且每个例外 place 的差异至少为一（恰等于一也允许）。翻转图 X_i→Z_i←X_{i+1} 两侧为射影小态射、伴随除子带相反的相对丰富符号。
第三级台阶
定理在此陈述：正规不可约、整体 Weil Q-因子化的紧 Kähler 四重态上，广义典范配对（典范界只需在初始模型检验，后续由比较定理保持）的任何此类翻转序列必有限，且不设伪有效性、缩放规则或 NQC 条件。各假设各挡一事：典范奇点未必在余维二光滑，论证必须恰好在被计数的翻曲面处建立光滑性；固定有理数据保证存在整数 m 同时清除 nef 与边界的分母，使”见证”——在翻曲面光滑一般点爆破出的整体除子——的目标差异只能落在格点 (1,2]∩(1/m)Z 上，且每次出任见证都严格上升，同一见证者至多出场 m 次；曲面对策用尽后，解析曲面类之秩 c_2 逐步严格下降，非负整数不能无限降。两本账翻完，序列必停。
证明了紧 Kähler 四重折叠上广义典范翻转序列必终止：边界系数小于一、允许例外对数差异等于一、每步为具相反丰富符号的射影小双有理图，且不需要伪有效性或缩放规则假设，把四维终止性推广到了非射影复几何的广义配对情形。
极小模型纲领（minimal model program, MMP）中的翻转（flip）把伴随除子为负的小收缩换成其为正的小收缩，序列能否无限继续——终止性（termination of flips）——是高维双有理几何的老大难。四维代数情形的路线由 Kawamata–Matsuda–Matsuki（终端、空边界）与 Fujino（典范配对、有效有理边界）开辟：Shokurov 差异（discrepancy）计数加曲面类下降。广义配对（generalized pair）把伴随扩为 @@M@@K_X+B+M_X@@，其中 @@M@@M@@ 是更高双有理模型上 nef 数据的迹，它能在没有边界的地方改变差异。已知广义终止性结果多带硬条件：Chen–Tsakanikas 与 Moraga 要求伪有效 NQC；Das–Hacon–Păun 的 Kähler 四维 dlt 结果要求伴随有理线性等价于有效除子且各模型保持 Kähler；Hacon–Xie 的带缩放结果要求边界加 nef 部分为大（big）。本文去掉这些假设，在紧 Kähler（可非射影）环境中处理广义典范情形。
主定理：设 @@M@@X_0@@ 是正规不可约、整体 Weil @@M@@\mathbb{Q}@@-因子化（globally Weil @@M@@\mathbb{Q}@@-factorial）的紧 Kähler 四重折叠，@@M@@B_0\geq0@@ 是系数落在 @@M@@[0,1)@@ 的有理除子，@@M@@\bM@@ 是由射影双有理态射 @@M@@X'\to X_0@@ 上解析 nef（analytically nef，即其 @@M@@c_1@@ 在 Kähler 锥的闭包中）@@M@@\mathbb{Q}@@-Cartier 除子 @@M@@M'@@ 代表的固定有理 b-除子，且 @@M@@D_0=K_{X_0}+B_0+M_{X_0}@@ 为 @@M@@\mathbb{Q}@@-Cartier。初始配对满足：每个素 place 的广义对数差异为正，每个例外素 place 的差异至少为一（即广义典范，generalized canonical；例外差异允许恰等于一）。若序列 @@M@@X_0\dashrightarrow X_1\dashrightarrow\cdots@@ 每步都是射影小双有理态射组成的图 @@M@@X_i\to Z_i\leftarrow X_{i+1}@@，且 @@M@@-D_i@@ 为 @@M@@f_i@@-丰富、@@M@@D_{i+1}@@ 为 @@M@@f_i^+@@-丰富，则序列有限。定理针对”已给定的”图，不涉及下一步收缩或翻转的存在性。
整个论证由维数枢纽串联：小性（smallness）给出两个例外轨迹维数至多为二，相反的丰富符号迫使二者维数之和至少为三，因此一旦目标侧例外轨迹不含曲面，源侧必含曲面——曲面正是差异与循环计数的交汇点。第一步证”严格比较”：中心落在任一例外轨迹中的 place，其差异在翻转后严格上升；结合边界的有效性与拉回 nef 迹同 nef 数据之差 @@M@@J_W\geq0@@ 的有效性，推出目标四重折叠在翻曲面（flipped surface）一般点的邻域内具有普通终端奇性，进而在该点光滑——这正是后续爆破计算所需的确切光滑性，承袭并推广了 Fujino 的经典引理。第二步构造”见证”（witness）：在翻曲面的光滑一般点爆破，得到一个整体素除子，其目标差异落在固定格点 @@M@@\Lambda_m=(1,2]\cap\frac1m\mathbb{Z}@@ 上，其中 @@M@@m@@ 是同时清除 @@M@@M'@@ 的 Cartier 指标与全部边界系数的整数；由于每次充当见证差异都严格上升，同一 place 至多用 @@M@@m@@ 次。第三步做按边界系数降序的归纳：系数 @@M@@b@@ 分量中的翻曲面，其见证在源上的差异严格小于 @@M@@2-b@@；再由”低位 place 引理”（差异低于二的 place 除有限个外，中心必落在某个正系数边界分量中），若见证不属于有限集，其中心必落在系数 @@M@@d>b@@ 的分量里——而归纳阶段已排除高系数分量中的翻转曲面，曲面中心的持久性引理据此导出矛盾。于是每个系数层面只余有限步。第四步在同一系数的边界分量上比较解析曲面类的秩：用 Borel–Moore 局部化序列、Kähler 正性（保证被消去的曲面类非零）以及 Wang 的解析负性引理，证明秩 @@M@@c_2@@ 在含翻曲面的步骤严格下降，且此比较对非正规的既约解析空间成立，无需正规化。所有正系数处理完后，取 @@M@@b=0@@ 的见证论证排除一切翻曲面；此时目标例外轨迹维数至多为一，维数枢纽迫使源例外轨迹恒含曲面，把同样的循环比较用于四重折叠本身得 @@M@@c_2(X_i)>c_2(X_{i+1})@@，非负整数无法无限严格下降，序列必有限。值得注意的是证明自成一体，不引用任何终止性定理。
本文主结果暂无 Lean 形式化证明，请以社区核验为准。它与族内另两篇构成互补：射影 log canonical 四重折叠一文提供了它在代数侧的对应物，广义 log canonical Kähler 一文则允许系数为一的边界、改用带分支界修正的难度泛函，而本文走”见证格点+按系数下降的循环秩”路线并允许例外差异等于一。按 OpenAI 官方声明，未经形式化的结果可能有问题，结论宜以同行评议为最终标准。
问 1：证明的结构引擎是什么？
答：一个维数枢纽加两本有限账。小性把两侧例外轨迹的维数都压到至多二，相反的丰富符号迫使两轨迹维数之和至少为三——于是目标侧一旦没有曲面，源侧必有曲面，而曲面恰是差异计数与循环计数交汇处。第一本账：取 m 同时清除 M′ 的 Cartier 指标与全部边界系数，见证（在翻曲面光滑一般点爆破出的整体素除子）的目标差异落在格点 (1,2]∩(1/m)Z 中，每次出任见证严格上升，同一 place 至多用 m 次。第二本账：边界分量上的解析曲面类秩经 Borel–Moore 局部化与 Wang 负性引理逐步严格下降，最后四重态本身的 c_2 下降。
问 2：哪一步最脆弱？
答：第一步”严格比较+恰好光滑”：中心落在任一例外轨迹的 place 差异在翻转后严格上升，配合边界有效性与拉回 nef 迹同 nef 数据之差 J_W≥0，推出目标四重态在翻曲面一般点邻域普通终端、进而在该点光滑。这是 Fujino 经典引理的推广，而广义典范奇点本来在余维二可以不光滑——光滑性必须恰好在被计数的曲面处挣得。若这一步差一点，爆破差异恰为二的关键计算与整个见证机制全部失效。
问 3：为什么边界系数必须小于一？
答：本文按边界系数降序做归纳，用低位 place 引理（差异低于二的 place 除有限个外中心落在正系数分量中）把候选见证压进有限集；系数等于一的分量没有”严格小于 2−b”的余量可用。同族 glc 姊妹篇允许系数为一，代价是改用带分支界修正的难度泛函——两条路线在系数临界值处分岔，这是族内分工的真正原因。
问 4：与前人相比真正的新意是什么？
答：条件全面轻装：Chen–Tsakanikas 与 Moraga 要伪有效 NQC，Das–Hacon–Păun 要伴随有理等价于有效除子且各模型保持 Kähler，Hacon–Xie 要缩放加 big——本文一概不要，且在可非射影的紧 Kähler 环境工作。技术上循环秩比较对非正规既约解析空间直接成立，且证明自成一体、不引用任何终止性定理。
问 5：AI 生成证明最可能在哪里出错？
答：三处。见证计数宣称不需要 nef trace 在别处的一致 Cartier 界——只在光滑一般点用 m 整除，这一”局部够用”的算术是精妙处也是易错处；中心持久性论证（高系数分量的中心经公共同构开集持久、不能变成翻曲面）是纯集合拓扑簿记；非正规空间上的 Borel–Moore 秩比较同样精细。全文未形式化且大量复现组织自未发表的前篇，风险偏高。
问 6：谁会用到它？
答：Kähler 四维 MMP 社区：终止性与 Das–Hacon–Păun、Hacon–Xie 的存在性结果相加才是完整纲领；与族内另两篇合成四维终止性的三块拼图，非射影四重态的双有理分类是直接下游。
总评
这是把四维终止性推进到非射影 Kähler、广义典范、无硬条件情形的干净工作，”两本有限账”的证明经济性漂亮；最大风险在未形式化之下”恰好光滑”与见证算术两处精细论证，以及与未发表族内文献的相互引用。
问 1：证明的结构引擎是什么？
答：一个维数枢纽加两本有限账。小性把两侧例外轨迹的维数都压到至多二，相反的丰富符号迫使两轨迹维数之和至少为三——于是目标侧一旦没有曲面，源侧必有曲面，而曲面恰是差异计数与循环计数交汇处。第一本账：取 m 同时清除 M′ 的 Cartier 指标与全部边界系数，见证（在翻曲面光滑一般点爆破出的整体素除子）的目标差异落在格点 (1,2]∩(1/m)Z 中，每次出任见证严格上升，同一 place 至多用 m 次。第二本账：边界分量上的解析曲面类秩经 Borel–Moore 局部化与 Wang 负性引理逐步严格下降，最后四重态本身的 c_2 下降。
问 2：哪一步最脆弱？
答：第一步”严格比较+恰好光滑”：中心落在任一例外轨迹的 place 差异在翻转后严格上升，配合边界有效性与拉回 nef 迹同 nef 数据之差 J_W≥0，推出目标四重态在翻曲面一般点邻域普通终端、进而在该点光滑。这是 Fujino 经典引理的推广，而广义典范奇点本来在余维二可以不光滑——光滑性必须恰好在被计数的曲面处挣得。若这一步差一点，爆破差异恰为二的关键计算与整个见证机制全部失效。
问 3：为什么边界系数必须小于一？
答：本文按边界系数降序做归纳，用低位 place 引理（差异低于二的 place 除有限个外中心落在正系数分量中）把候选见证压进有限集；系数等于一的分量没有”严格小于 2−b”的余量可用。同族 glc 姊妹篇允许系数为一，代价是改用带分支界修正的难度泛函——两条路线在系数临界值处分岔，这是族内分工的真正原因。
问 4：与前人相比真正的新意是什么？
答：条件全面轻装：Chen–Tsakanikas 与 Moraga 要伪有效 NQC，Das–Hacon–Păun 要伴随有理等价于有效除子且各模型保持 Kähler，Hacon–Xie 要缩放加 big——本文一概不要，且在可非射影的紧 Kähler 环境工作。技术上循环秩比较对非正规既约解析空间直接成立，且证明自成一体、不引用任何终止性定理。
问 5：AI 生成证明最可能在哪里出错？
答：三处。见证计数宣称不需要 nef trace 在别处的一致 Cartier 界——只在光滑一般点用 m 整除，这一”局部够用”的算术是精妙处也是易错处；中心持久性论证（高系数分量的中心经公共同构开集持久、不能变成翻曲面）是纯集合拓扑簿记；非正规空间上的 Borel–Moore 秩比较同样精细。全文未形式化且大量复现组织自未发表的前篇，风险偏高。
问 6：谁会用到它？
答：Kähler 四维 MMP 社区：终止性与 Das–Hacon–Păun、Hacon–Xie 的存在性结果相加才是完整纲领；与族内另两篇合成四维终止性的三块拼图，非射影四重态的双有理分类是直接下游。
总评
这是把四维终止性推进到非射影 Kähler、广义典范、无硬条件情形的干净工作，”两本有限账”的证明经济性漂亮；最大风险在未形式化之下”恰好光滑”与见证算术两处精细论证，以及与未发表族内文献的相互引用。