结果族 034：Log abundance for compact Kähler spaces under logarithmic Iitaka subadditivity · 学科：Algebraic and complex geometry · 验证状态：暂无形式化证明，请以社区核验为准
还是”账面不亏 ⟹ 真有现金”的丰度故事，但这次没有附加条件：在特征零的任何维数、任何代数闭域上，温和奇性空间的账面不亏（nef）必然兑现成现金（截面生成）。此前这类”无条件全额兑现”只在低维成立；本文一次付清全维数，是极小模型纲领两大支柱之一的收官级结果。
关键词卡片
@@M@@m(K_X+B)@@ 的整体截面，”现金”的具体形式。看个具体例子
证明是按维数爬楼梯的链条：低维好模型 ⟹ @@M@@n@@ 维非消失 ⟹ @@M@@n@@ 维好模型 ⟹ @@M@@n@@ 维半丰富。代入 @@M@@n=4@@：用三维的已知好模型，先在四维找到第一个截面，再造成四维好模型，最后得出 nef 伴随除子半丰富——维数每加一，链条重演一遍。
为什么值得关心
有理边界 log 丰度猜想在全维数、特征零无条件成立，还附带任意维数的光滑典范非消失；主定理之外另有一串推论：好极小模型的存在性、@@M@@\kappa=0@@ 时数值平凡推出线性平凡、有理 lc 配对典范环的有限生成等。同族姊妹篇为其供给解析与四维侧的关键输入。
暂无形式化证明（AI 结果待核验）
第一级台阶
入门导读延续了”账面不亏 ⟹ 真有现金”的比喻：研究对象是空间与边界组成的配对，”账面”指伴随量的数值正性——它与每条曲线相交的度数都不为负；”现金”指这个量的某个倍数上确实存在足够多的整体截面，多到能生成线丛并给出映射。与前面几篇不同的是，这里宣称无条件兑现：不需要先相信任何公开猜想。
第二级台阶
用本科术语说：@@M@@(X,B)@@ 是特征零代数闭域上的正规射影 log canonical 配对（@@M@@B@@ 为有效有理除子），@@M@@K_X+B@@ 是 @@M@@\mathbb{Q}@@-Cartier 除子。”nef” 指对每条整曲线 @@M@@C@@ 有 @@M@@(K_X+B)\cdot C\ge 0@@；”半丰富”指存在 @@M@@m>0@@ 使 @@M@@m(K_X+B)@@ Cartier 且由整体截面生成。证明中还要用”典范非消失”：伪有效的 @@M@@K_X@@ 蕴含某 @@M@@m@@ 的 @@M@@H^0(X,mK_X)\ne 0@@——伪有效是”可被正电流逼近”的最弱正性。
第三级台阶
定理 1.1 的陈述：上述 nef 的伴随除子必半丰富，对任意维数成立。证明按维数归纳，且归纳命题比定理更强——带实边界 lc 配对伪有效伴随有好极小模型，链条为低维好模型 @@M@@\Rightarrow@@ @@M@@n@@ 维非消失 @@M@@\Rightarrow@@ @@M@@n@@ 维好模型 @@M@@\Rightarrow@@ @@M@@n@@ 维半丰富。klt 假设挡住的是奇性失控，射影假设挡住的是解析范畴缺少 ample 锚点的麻烦；结论在 @@M@@\mathbb{C}@@ 上证毕后经有限生成子域铺开，忠实平坦地转移到任意特征零代数闭域。
在特征零的任意维数上证明了有理边界的对数丰性（log abundance）猜想：射影 log canonical pair 上 nef 的 @@M@@\mathbb{Q}@@-Cartier 伴随除子必半充盈；在 @@M@@\mathbb{C}@@ 上还证明了任意维数光滑射影簇的典范非消失，补齐了极小模型纲领两大支柱之一的最后一块。
丰性猜想（abundance conjecture）与极小模型存在性并列，是高维双有理几何（birational geometry）的另一半支柱。它断言：当 log canonical pair @@M@@(X,B)@@ 的伴随除子 @@M@@K_X+B@@ nef（在每条曲线上度数非负）时，数值正性应来自截面——某个正倍数 @@M@@m(K_X+B)@@ 被整体截面生成，从而定义到射影空间的态射，把数字变成几何。三维情形由 Miyaoka、Kawamata 于 1988–1992 年解决，对数与半 log canonical 版本由 Keel–Matsuki–McKernan 与 Fujino 完成；高维的瓶颈是非消失（nonvanishing）：光滑簇上伪有效（pseudo-effective）的典范除子是否有非零多典范截面，此前只在低维或附加假设下已知。BCHM（2010）解决了 klt pair 的极小模型存在性，丰性却仍缺失；Liu–Xu（2025）也只覆盖数值维数至一的情形。
主定理（文中 Theorem 1.1）：设 @@M@@(X,B)@@ 是特征零代数闭域上的正规射影 log canonical pair，@@M@@B@@ 为有效有理除子，@@M@@K_X+B@@ 为 @@M@@\mathbb{Q}@@-Cartier。若 @@M@@K_X+B@@ nef，则它半充盈（semiample）：存在 @@M@@m>0@@ 使 @@M@@m(K_X+B)@@ 由整体截面生成。证明过程中还在 @@M@@\mathbb{C}@@ 上建立了任意维数的光滑典范非消失（canonical nonvanishing）：@@M@@K_X@@ 伪有效蕴含 @@M@@\kappa(X,K_X)\ge 0@@，即 @@M@@H^0(X,mK_X)\ne 0@@ 对某 @@M@@m@@ 成立。推论包括：实边界 lc pair 的好极小模型（good log minimal model）存在性；@@M@@\kappa=0@@ 时数值平凡推出 @@M@@\mathbb{Q}@@-线性平凡；有理 lc pair 典范环的有限生成；半 log canonical 丰性；以及典范非消失与有理曲线、余切张量、基本群间的分类联系。
证明在 @@M@@\mathbb{C}@@ 上按维数归纳，归纳命题强于主定理：带实边界的射影 lc pair 若伴随除子伪有效则有好极小模型。链条为 @@M@@\mathrm{GLM}_{\le n-1}\Rightarrow \mathrm{NV}_n\Rightarrow \mathrm{GLM}_{\le n}\Rightarrow \mathrm{SA}_n@@：先用低维好模型证 @@M@@n@@ 维光滑非消失，再用它制造 @@M@@n@@ 维好模型，最后经比较引理得到 nef 伴随除子的半充盈。
两步共用一台发动机——”带号代表判据”：在既约边界 @@M@@D@@ 的 @@M@@\mathbb{Q}@@-factorial dlt pair 上，若 @@M@@L=K_X+D@@ nef、@@M@@L-cD@@ 伪有效、@@M@@L\sim_{\mathbb{Q}}\sum a_iD_i@@（系数可正可负）且 @@M@@L|_D@@ 在整个既约概形上半充盈，则 @@M@@\kappa(L)=\nu(L)@@。证明是几何性的：先由 @@M@@L|_D@@ 的截面得态射，在正系数分支像的一般点作根覆盖（root construction）分离正、负系数部分；再用滤过 Hodge 模（filtered Hodge modules，Saito 理论）把像上参数连同横向参数穿过全部无穷小邻域提升；固定底参数、变化横向参数，把一条边界纤维形变为避开整个边界的射影子簇，得到支配族且 @@M@@L@@ 在其上数值平凡；这些”零族”约束 nef reduction 的维数，垂直下降把 @@M@@L@@ 等同于底上大除子的拉回。此法承 Miyaoka 三维证明的精神，但须在可约边界上构造相容的形式提升，@@M@@L|_D@@ 的半充盈由 Fujino–Gongyo 正规化粘合定理提供。
光滑非消失用反证法：对假想反例，先由对数 Iitaka 次可加性（配套姊妹篇的唯一新输入）经 Albanese 映射排除正非正则度；再用正电流与代数网、以及 Lelong 数的升链条件排除两类被低维子簇覆盖的方式。关键一步是 @@M@@X\times X@@ 上的”双槽 jet”构造：取两个拉回之和的射影丛，若 jet 分离失败，移动基分量给出两因子间的对应，经 Hanamura 双有理群定理使某固定覆盖双有理等价于阿贝尔簇，回到已排除情形。最后的数值矛盾由 Frobenius 对比完成：把固定数据模大素数约化，在 Frobenius 扭曲模型的乘积上考察赋值映射，用 Sun 的 Frobenius 滤过与 Langer 不稳定性估计在对角线上得到两个不相容的秩界。
好模型步骤中 @@M@@\kappa\ge 1@@ 由低维好模型处理；@@M@@\kappa=0@@ 时经 Hashizume 约化与 Birkar 有理多面体定理化为有理 dlt 情形，带号判据给出数值维数也为零，迫使有效代表为零即 @@M@@L\sim_{\mathbb{Q}}0@@。收尾取 crepant dlt 模型，用负性引理比较除子，截面经投影公式下降；最后经有限生成子域铺开与嵌入 @@M@@\mathbb{C}@@，把整体生成性忠实平坦地转移到任意特征零代数闭域。
本篇出自 OpenAI 数学证明项目，主结果暂无 Lean 形式化证明。论证依赖配套的”对数 Iitaka 次可加性”一文作为唯一外部新输入（仅用于排除正非正则度）；姊妹篇《Minimal metrics…》与《Fourfold nonvanishing…》分别从解析度量与四维特例侧支撑同一非消失路线。按 OpenAI 官方声明，未经形式化的结果可能有问题，全文请以社区核验为准。
问 1：号称”无条件”证明全维数 log 丰度，真是无条件的吗？
答：不完全。论文证明过程调用”对数 Iitaka 次可加性”作为唯一外部新输入（仅在光滑非消失的反证法中用于经 Albanese 映射排除正非正则度），而该输入来自配套姊妹篇、本身未经形式化核验。主定理的其余部分确实不悬挂公开猜想，但这条依赖必须在可信度评估里如实记账。
问 2：证明中最关键的一步是什么？
答：是”带号代表判据”：既约边界 @@M@@D@@ 的 dlt 配对上，若 @@M@@L=K_X+D@@ nef、@@M@@L-cD@@ 伪有效、@@M@@L@@ 有系数可正可负的边界代表且 @@M@@L|_D@@ 在整个既约概形上半丰富，则 @@M@@\kappa(L)=\nu(L)@@。它是好模型步骤与非消失步骤共用的发动机，承 Miyaoka 三维证明的精神；其根覆盖分离正负部、滤过 Hodge 模穿过无穷小邻域提升参数、边界纤维形变避开边界这三段是全文技术核心。
问 3：最脆弱、最可能藏错的一步在哪？
答：Frobenius 对比收尾：把固定数据模大素数约化，在 Frobenius 扭曲模型的乘积上用 Sun 的 Frobenius 滤过与 Langer 不稳定性估计，在对角线上得到两个不相容的秩界。混合特征论证中”大素数选取与固定数据的相容性”是经典出错点——若约化在某一步破坏 nef 或 dlt 假设，矛盾构造会静默失效。此外 @@M@@X\times X@@ 上”双槽 jet”构造经 Hanamura 双有理群定理的引用也需逐行核对。
问 4：与 BCHM、Liu–Xu 等已有工作相比，新意是什么？
答：BCHM（2010）只解决 klt 极小模型存在性与 big 伴随的有限生成，丰度缺失；Liu–Xu（2025）覆盖数值维数至一；三维经典结果由 Miyaoka–Kawamata–KMM–Fujino 完成。本文宣称跨越全部维数与一般有理边界 lc 配对，新意在于把带号判据推广到可约边界（需相容的形式提升）、以及 jet 估计与 Frobenius 滤过组合的非消失论证——这些技术模块在文献中此前不存在。
问 5：主定理之外为什么附带一串推论，它们可靠吗？
答：推论（好极小模型存在、@@M@@\kappa=0@@ 时数值平凡推出 @@M@@\mathbb{Q}@@-线性平凡、有理 lc 配对典范环有限生成、slc 丰度）都是主定理加标准程序的直接下游；分类性联系（与非有理曲线、余切张量、基本群）依赖非消失本身。它们与主定理同风险：主定理任何一环断裂，推论整串失效。
问 6：谁会用到它？
答：整个高维双有理几何社区：丰度是 MMP 两大支柱之一，一旦成立，极小模型上典范环有限生成、slc 模空间的投影构造、复几何中的解析丰度（论文 analytic-abundance 一节）都能直接引用；特征零转移还让它对任意代数闭域可用。
总评
若核验通过，这是收官级结果——全维数有理边界 log 丰度猜想的无条件（除一条姊妹篇输入外）证明；最大风险恰在于此：跨 Hodge 模、混合特征 Frobenius、形变三大板块的证明链条极长，且关键输入未经形式化，社区逐行核验之前宜按”重大但未确认”对待。
问 1：号称”无条件”证明全维数 log 丰度，真是无条件的吗？
答：不完全。论文证明过程调用”对数 Iitaka 次可加性”作为唯一外部新输入（仅在光滑非消失的反证法中用于经 Albanese 映射排除正非正则度），而该输入来自配套姊妹篇、本身未经形式化核验。主定理的其余部分确实不悬挂公开猜想，但这条依赖必须在可信度评估里如实记账。
问 2：证明中最关键的一步是什么？
答：是”带号代表判据”：既约边界 @@M@@D@@ 的 dlt 配对上，若 @@M@@L=K_X+D@@ nef、@@M@@L-cD@@ 伪有效、@@M@@L@@ 有系数可正可负的边界代表且 @@M@@L|_D@@ 在整个既约概形上半丰富，则 @@M@@\kappa(L)=\nu(L)@@。它是好模型步骤与非消失步骤共用的发动机，承 Miyaoka 三维证明的精神；其根覆盖分离正负部、滤过 Hodge 模穿过无穷小邻域提升参数、边界纤维形变避开边界这三段是全文技术核心。
问 3：最脆弱、最可能藏错的一步在哪？
答：Frobenius 对比收尾：把固定数据模大素数约化，在 Frobenius 扭曲模型的乘积上用 Sun 的 Frobenius 滤过与 Langer 不稳定性估计，在对角线上得到两个不相容的秩界。混合特征论证中”大素数选取与固定数据的相容性”是经典出错点——若约化在某一步破坏 nef 或 dlt 假设，矛盾构造会静默失效。此外 @@M@@X\times X@@ 上”双槽 jet”构造经 Hanamura 双有理群定理的引用也需逐行核对。
问 4：与 BCHM、Liu–Xu 等已有工作相比，新意是什么？
答：BCHM（2010）只解决 klt 极小模型存在性与 big 伴随的有限生成，丰度缺失；Liu–Xu（2025）覆盖数值维数至一；三维经典结果由 Miyaoka–Kawamata–KMM–Fujino 完成。本文宣称跨越全部维数与一般有理边界 lc 配对，新意在于把带号判据推广到可约边界（需相容的形式提升）、以及 jet 估计与 Frobenius 滤过组合的非消失论证——这些技术模块在文献中此前不存在。
问 5：主定理之外为什么附带一串推论，它们可靠吗？
答：推论（好极小模型存在、@@M@@\kappa=0@@ 时数值平凡推出 @@M@@\mathbb{Q}@@-线性平凡、有理 lc 配对典范环有限生成、slc 丰度）都是主定理加标准程序的直接下游；分类性联系（与非有理曲线、余切张量、基本群）依赖非消失本身。它们与主定理同风险：主定理任何一环断裂，推论整串失效。
问 6：谁会用到它？
答：整个高维双有理几何社区：丰度是 MMP 两大支柱之一，一旦成立，极小模型上典范环有限生成、slc 模空间的投影构造、复几何中的解析丰度（论文 analytic-abundance 一节）都能直接引用；特征零转移还让它对任意代数闭域可用。
总评
若核验通过，这是收官级结果——全维数有理边界 log 丰度猜想的无条件（除一条姊妹篇输入外）证明；最大风险恰在于此：跨 Hodge 模、混合特征 Frobenius、形变三大板块的证明链条极长，且关键输入未经形式化，社区逐行核验之前宜按”重大但未确认”对待。