结果族 034：Log abundance for compact Kähler spaces under logarithmic Iitaka subadditivity · 学科：Algebraic and complex geometry · 验证状态：暂无形式化证明，请以社区核验为准
给线丛配度量，就像给一段山路标海拔：标得越平滑，走起来越舒服；有些标法会在某些点”塌成尖峰”（奇点）。这篇论文证明：对一大类正性（nef）的伴随丛，最坏也只会得到最平滑的那种标法——尖峰处处不出现；再用这个好度量，证明上同调的”单射定理”，一路导出四维丰度（附带一个欧拉示性数非零的假设）。
关键词卡片
@@M@@0@@ 表示无对数尖峰。@@M@@e^{-t\varphi}@@ 的可积性定义的奇性记录器；Lelong 数为 @@M@@0@@ 时它平凡。看个具体例子
数字版：权 @@M@@\varphi(z)=\log|z|@@ 在原点的 Lelong 数为 @@M@@1@@（此时 @@M@@e^{-t\varphi}=|z|^{-t}@@ 不可积，有尖峰）；而 @@M@@\varphi\equiv 0@@ 处处 Lelong 数为 @@M@@0@@。定理说：nef 伴随丛的极小半正度量必属后者——每点 @@M@@\nu=0@@，即 @@M@@e^{-t\varphi}@@ 对一切 @@M@@t>0@@ 处处可积，度量在乘子理想的意义下完全无奇性。这正面回应了 Gongyo–Matsumura 的公开问题，且不需要”大”或”非消失”等附加假设。
为什么值得关心
它把”数值正性”与”度量温和性”直接挂钩，是族内四维非消失与丰度论证的解析发动机；对一般 nef 丛此结论会失败（Koike 有反例），恰显伴随结构的特殊性。
暂无形式化证明（AI 结果待核验）
第一级台阶
入门导读把配度量比作”给山路标海拔”：标法越平滑越舒服，坏的标法会在个别点塌成对数尖峰。换成半数学语言：对象是空间上一个正性线丛及其度量（一组局部海拔函数），操作是比较所有”曲率不出现负分量”的标法，找出其中奇性最少的一种；要问的是：伴随丛（含典范与边界项的那类）的这种最优标法，是否必然处处不出现尖峰。
第二级台阶
用本科术语说：@@M@@(H,\Theta)@@ 是 klt 配对——log 消解 @@M@@\pi:V\to H@@ 上 @@M@@\pi^*(K_H+\Theta)=K_V+B@@ 的边界系数全小于 1；nef 指示性条件是存在曲率趋于半正的光滑度量序列。”极小奇异度量”是半正权 @@M@@\phi@@，使任何其他半正权 @@M@@\psi\le\phi+C@@；”Lelong 数”度量权在一点的对数奇性强度，为零等价于 @@M@@e^{-t\phi}@@ 对一切 @@M@@t>0@@ 局部可积（乘子理想平凡）。
第三级台阶
定理 1.1 陈述：nef 的 @@M@@\mathbb{Q}@@-Cartier 伴随除子 @@M@@D_H@@ 在每个射影 log 消解的拉回 @@M@@N=\pi^*D_H@@ 上，极小半正度量存在且每点 Lelong 数为零。klt 假设保证伴随密度可积（负例外系数也不破坏），nef 加 klt 消灭给出固定扭转下的一致整体生成——两者共同挡住”奇性无处控制”的麻烦；注意 Koike 的反例表明对一般 nef 丛此结论会失败，伴随结构是本质的。定理 1.2 再用两端零 Lelong 度量建立中间边界诱导的 @@M@@H^1@@ 单射，配合 Lazić–Peternell 与 Gongyo–Matsumura 的已发表准则导出 @@M@@\chi\ne 0@@ 时四维丰度。
对射影复 klt pair 上 nef 的 @@M@@\mathbb{Q}@@-Cartier 伴随线丛，证明其在任意射影log消解上的极小半正度量处处 Lelong 数为零，回应了 Gongyo–Matsumura 的公开问题；并据此建立普通上同调的 @@M@@H^1@@ 内部单射定理，直接导出四维 klt 丰性（带非零欧拉示性数假设）。
nef 线丛可以有一列曲率趋于半正的光滑度量，其极限度量可能带奇性；问题是：伴随丛 @@M@@K_H+\Theta@@ 的典范与边界项能否阻止最奇异半正度量出现对数极点？奇性的度量用 Lelong 数度量——Lelong 数为零意味着局部可积性 @@M@@e^{-t\phi}@@ 对一切 @@M@@t>0@@ 成立，即乘子理想（multiplier ideal）平凡。Demailly–Peternell–Schneider 在大且 nef 情形构造了极小奇异度量并证明零 Lelong 数；但 nef 本身不够——Koike 给出椭圆曲线上直纹面的例子，极小度量沿除子有正 Lelong 数。Gongyo–Matsumura 在研究单射定理与丰性时明确提出（Question 5.6）：如何在 nef 的 log 典范丛上构造零 Lelong 半正度量？本文在射影 klt 情形给出肯定回答，不需要大性或非消失假设。
定理一（Theorem 1.1，伴随度量定理）：设 @@M@@(H,\Theta)@@ 是正规连通射影复 klt pair，@@M@@\Theta@@ 有效有理，@@M@@D_H=K_H+\Theta@@ 是 nef 的 @@M@@\mathbb{Q}@@-Cartier 除子（不要求 @@M@@K_H@@、@@M@@\Theta@@ 分别 @@M@@\mathbb{Q}@@-Cartier）。则对每个射影 log 消解 @@M@@\pi:V\to H@@，有理线丛 @@M@@N=\pi^*D_H@@ 上存在极小奇性（minimal singularities）半正度量，且每个这样的度量在 @@M@@V@@ 的每点 Lelong 数为零；等价地 @@M@@\mathcal{I}(t\phi)=\mathcal{O}_V@@ 对一切 @@M@@t>0@@。
定理二（Theorem 1.2，内部单射定理）：设 @@M@@V@@ 光滑射影，@@M@@L@@ 整除子，@@M@@0\le C_0\le C_2@@ 有效有理且合并支撑为单正规交叉（simple normal crossing）；若 @@M@@L-C_0@@ 与 @@M@@L-C_2@@ 都带零 Lelong 数的半正度量，则对 @@M@@0<\lambda<1@@、@@M@@C_1=(1-\lambda)C_0+\lambda C_2@@，自然包含诱导单射 @@M@@H^1(V,K_V+L-\lfloor C_1\rfloor)\hookrightarrow H^1(V,K_V+L-\lfloor C_0\rfloor)@@；取 @@M@@E=\lfloor C_1\rfloor-\lfloor C_0\rfloor@@，得限制映射 @@M@@H^0(V,K_V+L_0)\to H^0(E,(K_V+L_0)|_E)@@ 的满射性。推论（Corollary 5.1）：射影复 klt 四维簇 @@M@@(X,\Delta)@@、nef 有理伴随 @@M@@D@@ 且 @@M@@\chi(X,\mathcal{O}_X)\ne0@@ 时 @@M@@D@@ 半充盈。
度量定理的核心是”归一化极值截面 + 局部化 @@M@@\bar\partial@@ 方程”的矛盾论证。先固定一个从底上充足丛拉回的扭转 @@M@@A=\pi^*A_H@@（@@M@@A_H=(n+1)H_0@@）：由 klt 的 Kawamata–Viehweg 消灭与 Castelnuovo–Mumford 正则性，对使 @@M@@mD_H@@ Cartier 的每个 @@M@@m@@，@@M@@mN+A@@ 均整体生成——扭转固定不随 @@M@@m@@ 增长，是后续一致性的关键。反设极小权 @@M@@\phi@@ 在某点 @@M@@p@@ 有正 Lelong 数。对每个 @@M@@m@@ 用伴随密度 @@M@@Q_m(s)=\int_V|s|^{2/m}e^{-a/m-b}@@ 归一化截面（@@M@@a@@ 为 @@M@@A@@ 的光滑权，@@M@@b@@ 为边界 @@M@@B@@ 的除子权；klt 系数 @@M@@<1@@ 保证 @@M@@e^{-b}@@ 可积，负例外系数也不破坏），在 @@M@@Q_m=1@@ 的紧集上取在 @@M@@p@@ 点赋值最大的极值截面 @@M@@s_m@@。除以 @@M@@m@@ 后扭转消失，这些截面有半正的极限权，极小性把该极限控制在 @@M@@\phi@@ 之下，于是两者之差的一个固定子水平集上的伴随质量随 @@M@@m@@ 趋于零。此时在仿射开集上解局部化 @@M@@\bar\partial@@ 方程（完整 Kähler @@M@@L^2@@ 理论），得到全纯竞争截面，其加权范数被上述小质量控制，且局部化常数与 @@M@@m@@、开集无关；一个一致的 Hölder 估计使竞争截面的归一化严格小于极值——矛盾。两个技术要点：弱极限固定在加权 Hilbert 空间中取；跨负例外系数的延拓在正规底 @@M@@H@@ 上的真实 Cartier 丛中完成后拉回。
单射定理独立于度量定理：正则化两端点度量（曲率损失任意小、固定指数下一致可积），用”端点权之和的对数”使线丛包含成为压缩映射；在交叉除子之外取完整 Kähler 度量做局部 @@M@@L^2@@ 解，其全纯差穿越除子延拓并定义普通 Čech 类；在固定有限覆盖上用开映射定理对类为零的形式给出一致原语界，Bochner 比较使调和代表的像变小，而一切近似代表嵌入同一固定 Hilbert 空间，弱收敛保持原上同调类——从加权估计回到凝聚层上同调的单射。
四维应用则把两件已发表准则接到同一度量上：零 Lelong 半正度量满足 Lazić–Peternell 的”广代数奇性”条件（取零除子和），其 Corollary D（需 @@M@@\chi\ne0@@）给出首个截面；再由 Gongyo–Matsumura 的 Corollary 5.3，零 Lelong 度量加 @@M@@\kappa\ge 0@@ 给出半充盈。此路线对数值维数无限制，改进了 Liu–Xu 仅处理 @@M@@\nu\le 1@@ 的结果。
本篇为族 034 的解析引擎：主结果暂无 Lean 形式化证明。它向姊妹篇《Fourfold nonvanishing…》提供带号代表一般型（signed representative）排除步骤所需的两个解析输入，也与全维数主篇《Log abundance in characteristic zero》的排除与 jet 论证互补。按 OpenAI 官方声明，未经形式化的结果可能有问题，请以社区核验为准。
问 1：度量定理证明里最关键、最脆弱的一步是什么？
答：是”归一化极值截面 + 局部化 @@M@@\bar\partial@@ 方程”的矛盾闭环（introduction：The two analytic arguments）。反设极小权 @@M@@\phi@@ 在某点有正 Lelong 数，取该点赋值最大的 @@M@@Q_m@@-归一化截面 @@M@@s_m@@，其半正极限被极小性控制在 @@M@@\phi@@ 之下，从而某固定子水平集的伴随质量随 @@M@@m@@ 趋零；局部 @@M@@\bar\partial@@ 解产生的竞争截面须有与 @@M@@s_m@@ 相同的点赋值，而一致 Hölder 估计又使其归一化严格更小。两处”一致性”（局部化常数、Hölder 界均不依赖 @@M@@m@@ 与仿射开集）是闭环的命门，任何常数随 @@M@@m@@ 漂移都会使矛盾消失。
问 2：为什么必须要求 klt，lc 不行吗？
答：klt 系数 @@M@@<1@@ 保证伴随密度 @@M@@e^{-b}@@ 可积，且负例外系数不破坏可积性——这是归一化 @@M@@Q_m(s)=\int|s|^{2/m}e^{-a/m-b}@@ 有意义的前提；同时 Kawamata–Viehweg 消灭给出固定扭转 @@M@@A=\pi^*A_H@@ 使 @@M@@mN+A@@ 对一切 @@M@@m@@ 整体生成。lc 情形密度可能在系数 1 处不可积，论文未展开 lc 推广。
问 3：与已有工作相比真正的新意是什么？
答：Demailly–Peternell–Schneider 只处理 big+nef；Koike 的反例（椭圆曲线上直纹面，nef 除子丛的除子度量为极小度量、沿除子正 Lelong）表明 nef 本身不够；Gongyo–Matsumura 明确提出 Question 5.6 问如何构造零 Lelong 半正度量。本文在射影 klt 情形无 big、无非消失假设地给出肯定回答，且作用在每个 log 消解的拉回上；定理 1.2 的”系数可过整数的中间边界”@@M@@H^1@@ 单射也是新的表述方式。
问 4：扭转 @@M@@A@@ 固定不随 @@M@@m@@ 增长，为什么说是关键？
答：与 Berman–Demailly 包络逼近允许 @@M@@p_m\to\infty@@、@@M@@p_m/m\to 0@@ 相对照，本文用固定扭转支撑极值论证：除以 @@M@@m@@ 后扭转恰好消去，极值截面的极限权才是半正的、才可被极小权 @@M@@\phi@@ 控制。若扭转随 @@M@@m@@ 增长，极限失去半正性，整个比较结构崩塌。
问 5：AI 生成证明最可能出错的模式？
答：这类 @@M@@L^2@@ 论证的典型风险在”延拓与收敛的顺序”：弱极限须在固定加权 Hilbert 空间中取；跨负例外系数的延拓须先在正规底 @@M@@H@@ 的真实 Cartier 丛中完成再拉回；单射定理里从加权估计回到普通凝聚层上同调，靠的是把一切近似代表嵌入同一固定 Hilbert 空间、弱收敛保类。AI 容易在这些”在哪个空间里取极限”的细节上偷换，导致定理对错误的对象成立。
问 6：四维应用为什么还要求 @@M@@\chi(X,\mathcal{O}_X)\ne 0@@，能去掉吗？
答：不能在本文框架内去掉：该假设来自所引用的 Lazić–Peternell 非消失准则（Corollary D），论文自己只提供度量输入，@@M@@\chi\ne 0@@ 是外部定理的固有条件。Höring–Lazić–Lehn 的凯勒非消失同样带此假设；对 @@M@@\chi=0@@ 的四维配对，论文未提供替代路线（这正是姊妹篇用其他方法处理的空间）。
问 7：谁会用到它？
答：直接用户是同族的《Fourfold nonvanishing》与《Log abundance in characteristic zero》（带号代表排除步骤的解析输入）；更广地，任何需要”nef 伴随丛的温和度量”的复几何工作——Höring–Lazić–Lehn 的凯勒 Corollary B 此前需要零 Lelong 作为假设，本文使它在射影 klt 情形成为结论。
总评
这是一篇干净利落的解析论文：正面回答 Gongyo–Matsumura 公开问题、输出发动机明确，是族内可信度较高的一环；最大风险集中于极值论证中两处一致常数的追踪，属可局部核验的窄风险。
问 1：度量定理证明里最关键、最脆弱的一步是什么？
答：是”归一化极值截面 + 局部化 @@M@@\bar\partial@@ 方程”的矛盾闭环（introduction：The two analytic arguments）。反设极小权 @@M@@\phi@@ 在某点有正 Lelong 数，取该点赋值最大的 @@M@@Q_m@@-归一化截面 @@M@@s_m@@，其半正极限被极小性控制在 @@M@@\phi@@ 之下，从而某固定子水平集的伴随质量随 @@M@@m@@ 趋零；局部 @@M@@\bar\partial@@ 解产生的竞争截面须有与 @@M@@s_m@@ 相同的点赋值，而一致 Hölder 估计又使其归一化严格更小。两处”一致性”（局部化常数、Hölder 界均不依赖 @@M@@m@@ 与仿射开集）是闭环的命门，任何常数随 @@M@@m@@ 漂移都会使矛盾消失。
问 2：为什么必须要求 klt，lc 不行吗？
答：klt 系数 @@M@@<1@@ 保证伴随密度 @@M@@e^{-b}@@ 可积，且负例外系数不破坏可积性——这是归一化 @@M@@Q_m(s)=\int|s|^{2/m}e^{-a/m-b}@@ 有意义的前提；同时 Kawamata–Viehweg 消灭给出固定扭转 @@M@@A=\pi^*A_H@@ 使 @@M@@mN+A@@ 对一切 @@M@@m@@ 整体生成。lc 情形密度可能在系数 1 处不可积，论文未展开 lc 推广。
问 3：与已有工作相比真正的新意是什么？
答：Demailly–Peternell–Schneider 只处理 big+nef；Koike 的反例（椭圆曲线上直纹面，nef 除子丛的除子度量为极小度量、沿除子正 Lelong）表明 nef 本身不够；Gongyo–Matsumura 明确提出 Question 5.6 问如何构造零 Lelong 半正度量。本文在射影 klt 情形无 big、无非消失假设地给出肯定回答，且作用在每个 log 消解的拉回上；定理 1.2 的”系数可过整数的中间边界”@@M@@H^1@@ 单射也是新的表述方式。
问 4：扭转 @@M@@A@@ 固定不随 @@M@@m@@ 增长，为什么说是关键？
答：与 Berman–Demailly 包络逼近允许 @@M@@p_m\to\infty@@、@@M@@p_m/m\to 0@@ 相对照，本文用固定扭转支撑极值论证：除以 @@M@@m@@ 后扭转恰好消去，极值截面的极限权才是半正的、才可被极小权 @@M@@\phi@@ 控制。若扭转随 @@M@@m@@ 增长，极限失去半正性，整个比较结构崩塌。
问 5：AI 生成证明最可能出错的模式？
答：这类 @@M@@L^2@@ 论证的典型风险在”延拓与收敛的顺序”：弱极限须在固定加权 Hilbert 空间中取；跨负例外系数的延拓须先在正规底 @@M@@H@@ 的真实 Cartier 丛中完成再拉回；单射定理里从加权估计回到普通凝聚层上同调，靠的是把一切近似代表嵌入同一固定 Hilbert 空间、弱收敛保类。AI 容易在这些”在哪个空间里取极限”的细节上偷换，导致定理对错误的对象成立。
问 6：四维应用为什么还要求 @@M@@\chi(X,\mathcal{O}_X)\ne 0@@，能去掉吗？
答：不能在本文框架内去掉：该假设来自所引用的 Lazić–Peternell 非消失准则（Corollary D），论文自己只提供度量输入，@@M@@\chi\ne 0@@ 是外部定理的固有条件。Höring–Lazić–Lehn 的凯勒非消失同样带此假设；对 @@M@@\chi=0@@ 的四维配对，论文未提供替代路线（这正是姊妹篇用其他方法处理的空间）。
问 7：谁会用到它？
答：直接用户是同族的《Fourfold nonvanishing》与《Log abundance in characteristic zero》（带号代表排除步骤的解析输入）；更广地，任何需要”nef 伴随丛的温和度量”的复几何工作——Höring–Lazić–Lehn 的凯勒 Corollary B 此前需要零 Lelong 作为假设，本文使它在射影 klt 情形成为结论。
总评
这是一篇干净利落的解析论文：正面回答 Gongyo–Matsumura 公开问题、输出发动机明确，是族内可信度较高的一环；最大风险集中于极值论证中两处一致常数的追踪，属可局部核验的窄风险。