结果族 034：Log abundance for compact Kähler spaces under logarithmic Iitaka subadditivity · 学科：Algebraic and complex geometry · 验证状态：暂无形式化证明，请以社区核验为准
一栋楼的一楼地面上已经铺好了花纹（边界上截面丰富），能否断定整栋楼都会出现图案？这篇论文证明：只要”花纹”确实铺满了整层地板（在全部约化支撑上截面可用），楼上就一定开始出现图案（Iitaka 维数为正）。据此，四维及以下的空间”只要找到第一个截面，就自动得到完整的纤维化”。
关键词卡片
@@M@@1@@ 的部分，截面的”地基”。看个具体例子
定理的数字骨架：若存在有效除子 @@M@@G\sim q(K_V+C)@@ 整个落在地板 @@M@@\operatorname{Supp}\lfloor C\rfloor@@ 内，且 @@M@@\mathcal O_V(G)|_{G_{\mathrm{red}}}@@ 在整块地板上由截面生成，则 @@M@@\kappa(V,K_V+C)>0@@——地板上的截面能”长”上全空间。配上定理 B：四维及以下 nef 且 @@M@@\kappa\ge 0@@ 就半丰富。
为什么值得关心
它把丰度的全部困难压缩到”第一个截面从哪来”这一个问题：找到截面之后的路（纤维化、半丰富）被本文一次铺平。与姊妹篇的非消失结果拼起来，就是四维及以下的完整 log 丰度，并为高维提供条件性归约框架。
暂无形式化证明（AI 结果待核验）
第一级台阶
入门导读的类比是”一楼地板铺满花纹，整栋楼就开始出现图案”。换成半数学语言：对象是一个带边界约几何空间（配对），”地板”指边界里系数取满 1 的那部分（其奇性最重但结构最清楚），”花纹”指地板上可用的整体截面；操作是问：若某个有效除子整个落在地板上、且地板上其线丛能生成映射，能否把截面”长”回全空间？
第二级台阶
用本科术语说：@@M@@(V,C)@@ 是 @@M@@\mathbb{Q}@@-因子 dlt 配对——奇性温和且边界有良好分层的标准舞台；@@M@@A=K_V+C@@ 是伴随除子；”系数一边界”@@M@@\lfloor C\rfloor@@ 取系数达 1 的分量，其既约支撑 @@M@@S@@ 是”地板”。假设存在 Cartier 有效除子 @@M@@G\sim qA@@（@@M@@q>0@@ 可除）使 @@M@@\mathrm{Supp}G\subseteq\mathrm{Supp}\lfloor C\rfloor@@，且 @@M@@\mathcal{O}_V(G)|_S@@ 在整个 @@M@@S@@ 上半丰富；”Iitaka 维数”@@M@@\kappa(V,A)@@ 则由全部倍数截面的像维数量出截面丰度。
第三级台阶
定理 A 在此语境陈述：上述条件下 @@M@@\kappa(V,A)>0@@——注意不含任何 nef 假设：支撑内的曲线靠半丰富性、支撑外的曲线靠有效性分别保证 @@M@@G@@-度非负，这挡住了”正性来源不清”的麻烦。定理 B 随即对接：维数至多四的 lc 配对上 nef 且 @@M@@\kappa\ge 0@@ 的伴随除子必半丰富，@@M@@\kappa=0@@ 时更有 @@M@@D\sim_{\mathbb{Q}}0@@。定理 C 把全文浓缩为一句纲领性归约：只要每个伪有效 @@M@@K_W@@ 的光滑簇都有非零多重典范截面，任意维数的 nef lc 伴随就半丰富——丰度的全部困难被压缩到”第一个截面从哪来”。
证明了一个”支撑式截面提升”定理：当 dlt 对的伴随除子有某个有效倍数落在系数为 1 的边界支撑内、且其线丛在整个约化支撑上半丰富时，Iitaka 维数必为正；由此把丰富性与非零截面问题分离，证得四维及以下”有非零截面即丰富”。
对数丰富性猜想（log abundance conjecture）是双有理几何纲领的核心难题：射影 log canonical 对 @@M@@(X,\Delta)@@ 上 nef 的伴随除子 @@M@@D=K_X+\Delta@@ 应当是半丰富（semiample）的，即某个倍数由整体截面生成并定义代数纤维化。三维及以下的情形已由 Kawamata、Keel–Matsuki–McKernan、Fujino 等解决；四维以上卡在两件事：先找到一个非零截面（nonvanishing），再从截面族得到纤维化。Liu–Xu 此前只在数值维数（numerical dimension）@@M@@\nu\leq1@@ 的附加限制下证明了”非零截面之后即丰富”。本文把丰富性的障碍完全压缩到”第一个截面从哪里来”这一步，并在四维及以下去掉数值维数限制。
定理 A（支撑边界提升，supported boundary lifting）：设 @@M@@(V,C)@@ 是特征零代数闭域上的射影 ℚ-因子 dlt 对，@@M@@C@@ 为有效有理边界，记 @@M@@A=K_V+C@@。若存在 Cartier 的非零有效除子 @@M@@G\sim qA@@（@@M@@q>0@@ 充分可除），使 @@M@@\operatorname{Supp}G\subseteq\operatorname{Supp}\lfloor C\rfloor@@，且 @@M@@\mathcal O_V(G)|_{G_{\mathrm{red}}}@@ 在整个约化支撑上是半丰富线丛，则 @@M@@\kappa(V,A)>0@@。
条件里不含任何额外 nef 假设：支撑内的曲线靠半丰富性、支撑外的曲线靠有效性分别保证 @@M@@G@@-度非负；支撑包含还可以是严格的——额外的系数一分支 @@M@@H@@ 允许与 @@M@@S@@ 及其分层相交。
定理 B（非零截面之后的丰富性）：@@M@@\dim X\leq4@@ 的射影 log canonical 对，@@M@@\Delta@@ 有效有理，@@M@@D=K_X+\Delta@@ 为 nef 的 ℚ-Cartier 除子且 @@M@@\kappa(X,D)\geq0@@，则 @@M@@D@@ 半丰富；@@M@@\kappa=0@@ 时更有 @@M@@D\sim_{\mathbb Q}0@@。结论经第 6 节转移到任意特征零代数闭域。
定理 C（到光滑非零截面的归约）：若每个伪有效 @@M@@K_W@@ 的光滑射影复簇都有 @@M@@mK_W@@ 的非零截面，则任意维数的 nef log canonical 伴随除子半丰富。结合姊妹篇《Fourfold nonvanishing by minimal metrics and moving jets》的四维非零截面结果，直接得到四维及以下的完整对数丰富性。
证明分两段：先把”提升障碍”压到约化边界上消掉（定理 A），再用归纳把丰富性交给低维与最小模型（定理 B）。
第一段。记 @@M@@S=G_{\mathrm{red}}@@，半丰富性给出态射 @@M@@f:S\to\mathbb P^\ell@@。麻烦在于 @@M@@f@@ 本身未必延伸到 @@M@@S@@ 的任何邻域，障碍只能用约化边界上的态射来度量。先取 @@M@@\mathcal O_V(G)@@ 的非零标架丛：其上线丛有重言平凡化，标架伸缩给出 @@M@@\mathbb G_m@@-作用，函数与形式按权（weight）分解。两次循环覆盖构造加上等变消解，产生既约 Cartier 除子 @@M@@E=(y=0)@@ 与一个对数拓扑形式 @@M@@\sigma@@，其留数 @@M@@\Omega@@ 的权 @@M@@a=r/q>0@@ 为正。从 @@M@@y^k=0@@ 提升到 @@M@@y^{k+1}=0@@ 时，局部提升之差是 @@M@@y^k@@ 的倍数，其系数在 @@M@@E@@ 上给出上同调类——这就是障碍。关键观察：两个误差之积在该阶消失，故连接同态满足 Leibniz 律，障碍是一个导子（derivation）@@M@@\delta@@。留数嵌入把它送进 Hodge 模块的滤过直接像（利用 Saito 的严格性与 Kodaira–Saito 消没），从而保留集中在奇异纤维与更小分层上的类。再在边界态射的图（graph）上做局部计算，把 @@M@@\delta@@ 与”首符号”写进同一个留数恒等式。先消水平分量：若它非零，用横截有限覆盖与其微分的伴随矩阵可造出从丰富线丛到首符号核的非零映射，被 Kodaira–Saito 消否定理排除；剩下的竖直分量恰是标架伸缩的 Euler 导数，留数恒等式给出权 @@M@@m=a+k>0@@ 乘以竖直障碍为零，权非零迫使障碍本身为零。于是任意阶有限提升畅通。最后取覆盖不变量与标架作用的零次分量，把提升的层降回 @@M@@V@@ 上：这些层以周期 @@M@@r@@ 带正挠度循环出现，用 Serre 消没与 Euler 特征的可加性计数，得 @@M@@h^0(V,\mathcal O_V(NG)/\mathcal O_V)\to\infty@@；两个线性无关截面的比值是非常数有理函数，故 @@M@@\kappa(V,G)>0@@。
第二段（定理 B）分三步。@@M@@\kappa=0@@ 时若存在非零有效代表：提高边界系数后取 log 最小模型，nef 性保证代表在新模型上存活（负性引理），低维丰富性与 Fujino–Gongyo 的黏合定理使其在整个楼面上半丰富，于是被定理 A 排除，故 @@M@@D\sim_{\mathbb Q}0@@。@@M@@\kappa>0@@ 时取 Iitaka 纤维化，在一般纤维上用有效 log 最小模型与模型比较，配合 Hodge 指标定理证明 @@M@@\pi^*D|_F\equiv0@@，进而 @@M@@\nu=\kappa@@。最后经 crepant dlt 修改验证所有 log canonical 中心上的半丰富性，引用 Fujino–Gongyo 的”nef 且 log 丰富⟹半丰富”。域的转移则是把全部数据下降到一个可嵌入 @@M@@\mathbb C@@ 的代数闭子域，再由基变换搬回截面与生成性。
本文主结果暂无 Lean 形式化证明；依 OpenAI 官方声明，未经形式化的结果可能存在问题，请以社区核验为准。全文技术性最强、最需独立核验的环节是图上留数恒等式处对 Saito Hodge 模块严格性与 Kodaira–Saito 消没的使用。本篇与同族姊妹篇互相咬合：它提供”非零截面⟹丰富”的引擎，非零截面本身由《Fourfold nonvanishing by minimal metrics and moving jets》供给，合起来给出族 34 在四维及以下的完整对数丰富性，并为全维数情形提供条件性归约框架。
问 1：定理 A 证明里最关键、最脆弱的一步是什么？
答：是把”逐阶提升的障碍”识别为一个导子 @@M@@\delta@@，再用留数嵌入把它送进 Hodge 模块的滤过直接像，在边界态射的图上与”首符号”同写进一个留数恒等式：水平分量被 Kodaira–Saito 消否定理排除（借助横截有限覆盖与伴随矩阵造映射），竖直分量恰是标架伸缩的 Euler 导数，权 @@M@@m=a+k>0@@ 乘以竖直障碍为零迫使障碍本身为零。论文自己的”可信度”节也承认：对 Saito Hodge 模块严格性与 Kodaira–Saito 消没的使用是全文最需独立核验的环节。
问 2：为什么不需要 nef 假设——正性从哪来？
答：被拆成两半：支撑内的曲线由 @@M@@\mathcal{O}_V(G)|_S@@ 的半丰富性保证 @@M@@G@@-度非负；支撑外的曲线由 @@M@@G@@ 的有效性直接保证非负。这个二分是定理 A 能在无 nef 条件下成立的结构原因，也解释了为什么它适合接在”非消失”之后（非消失恰好提供这样的 @@M@@G@@）。
问 3：与 Liu–Xu 的”非零截面之后即丰富”相比新意是什么？
答：Liu–Xu 要求数值维数 @@M@@\nu\le 1@@ 且维数至多五（以非消失为假设）；本文定理 B 在四维及以下去掉数值维数限制，且定理 C 把同样的”截面之后”归约推到任意维数（条件是光滑非消失）。新意的本质是把提升障碍局部化到约化边界上、并用循环覆盖加权分解把它彻底消解，而非依赖低维纤维化的数值控制。
问 4：dlt 与 @@M@@\mathbb{Q}@@-因子假设各自挡住什么麻烦，能去掉吗？
答：dlt 保证系数一分支自身的分层结构良好（log canonical 中心理论可用），@@M@@\mathbb{Q}@@-因子保证除子类与线丛对应顺畅；定理 B 处理一般 lc 配对时正是先经 crepant dlt 修改再下降，说明假设在证明中真实使用。任意维数 slc 或正特征情形论文未展开——域的转移只覆盖特征零代数闭域。
问 5：AI 生成证明最可能出错的模式？
答：这类”障碍代数”论证的典型风险是权与周期的簿记：@@M@@\mathbb{G}_m@@-权分解（@@M@@a=r/q@@、@@M@@m=a+k@@）、以周期 @@M@@r@@ 循环出现的提升层、Serre 消没与 Euler 特征可加性计数 @@M@@h^0\to\infty@@——多层指数互相咬合，差一个符号或周期就可能在错误的对象上得到”权非零故障碍为零”的假推理。此外两次循环覆盖加等变消解的交换图是否处处交换，也需逐格验证。
问 6：下游谁会用它？
答：直接客户是同族的《Fourfold nonvanishing》：其四维非消失结果配上本文定理 B 即得四维及以下完整 log 丰度（推论路径在对方论文中明确声明）；定理 C 还为全维数情形提供”只欠非消失”的条件性框架，任何未来在高维取得非消失的工作都可即插即用。
总评
本文把丰度难题干净地切成”第一个截面”与”之后的一切”两半并解决后者，定位清晰、与姊妹篇的接口互认；最大风险集中在 Hodge 模块留数恒等式这一深技术环节，属于单点深井式的可核验风险。
问 1：定理 A 证明里最关键、最脆弱的一步是什么？
答：是把”逐阶提升的障碍”识别为一个导子 @@M@@\delta@@，再用留数嵌入把它送进 Hodge 模块的滤过直接像，在边界态射的图上与”首符号”同写进一个留数恒等式：水平分量被 Kodaira–Saito 消否定理排除（借助横截有限覆盖与伴随矩阵造映射），竖直分量恰是标架伸缩的 Euler 导数，权 @@M@@m=a+k>0@@ 乘以竖直障碍为零迫使障碍本身为零。论文自己的”可信度”节也承认：对 Saito Hodge 模块严格性与 Kodaira–Saito 消没的使用是全文最需独立核验的环节。
问 2：为什么不需要 nef 假设——正性从哪来？
答：被拆成两半：支撑内的曲线由 @@M@@\mathcal{O}_V(G)|_S@@ 的半丰富性保证 @@M@@G@@-度非负；支撑外的曲线由 @@M@@G@@ 的有效性直接保证非负。这个二分是定理 A 能在无 nef 条件下成立的结构原因，也解释了为什么它适合接在”非消失”之后（非消失恰好提供这样的 @@M@@G@@）。
问 3：与 Liu–Xu 的”非零截面之后即丰富”相比新意是什么？
答：Liu–Xu 要求数值维数 @@M@@\nu\le 1@@ 且维数至多五（以非消失为假设）；本文定理 B 在四维及以下去掉数值维数限制，且定理 C 把同样的”截面之后”归约推到任意维数（条件是光滑非消失）。新意的本质是把提升障碍局部化到约化边界上、并用循环覆盖加权分解把它彻底消解，而非依赖低维纤维化的数值控制。
问 4：dlt 与 @@M@@\mathbb{Q}@@-因子假设各自挡住什么麻烦，能去掉吗？
答：dlt 保证系数一分支自身的分层结构良好（log canonical 中心理论可用），@@M@@\mathbb{Q}@@-因子保证除子类与线丛对应顺畅；定理 B 处理一般 lc 配对时正是先经 crepant dlt 修改再下降，说明假设在证明中真实使用。任意维数 slc 或正特征情形论文未展开——域的转移只覆盖特征零代数闭域。
问 5：AI 生成证明最可能出错的模式？
答：这类”障碍代数”论证的典型风险是权与周期的簿记：@@M@@\mathbb{G}_m@@-权分解（@@M@@a=r/q@@、@@M@@m=a+k@@）、以周期 @@M@@r@@ 循环出现的提升层、Serre 消没与 Euler 特征可加性计数 @@M@@h^0\to\infty@@——多层指数互相咬合，差一个符号或周期就可能在错误的对象上得到”权非零故障碍为零”的假推理。此外两次循环覆盖加等变消解的交换图是否处处交换，也需逐格验证。
问 6：下游谁会用它？
答：直接客户是同族的《Fourfold nonvanishing》：其四维非消失结果配上本文定理 B 即得四维及以下完整 log 丰度（推论路径在对方论文中明确声明）；定理 C 还为全维数情形提供”只欠非消失”的条件性框架，任何未来在高维取得非消失的工作都可即插即用。
总评
本文把丰度难题干净地切成”第一个截面”与”之后的一切”两半并解决后者，定位清晰、与姊妹篇的接口互认；最大风险集中在 Hodge 模块留数恒等式这一深技术环节，属于单点深井式的可核验风险。