结果族 068：Anticanonical nonvanishing in every dimension · 学科：Algebraic and complex geometry · 验证状态：暂无形式化证明，请以社区核验为准
有人手里攥着”账面上值钱却花不出去”的资产（伪有效除子）。这篇论文给出一条兑现规则：只要空间的”体积尺度”弯曲方向有严格底线（曲率下界），而且边界欠条温和到平方可积，那么在任何账面资产上补贴一小笔（支集落在边界内的有效修正），它就能变成真金白银（有理有效）。
关键词卡片
看个具体例子
可积与不可积一线之隔，用一维积分就能摸到：@@M@@\int_0^1 x^{-1/2}dx=2@@ 有限，而 @@M@@\int_0^1 x^{-3/2}dx=\infty@@——指数一旦过 @@M@@1@@ 就翻脸。定理的条件 @@M@@\mathcal J(h)\supset\mathcal O_Y(-C)@@ 正是”边界处尖峰指数小于 @@M@@1@@“的几何版：
结论链条：伪有效除子 @@M@@M@@ 经修正 @@M@@C_0@@（支集含于 @@M@@C@@）后有理有效；对一个 Iitaka 纤维化用这套规则，就把”带固定误差的无界截面”转化为 @@M@@H^0(X,mL)\neq0@@，把反典范非消没推进到任意维数。
为什么值得关心
它是族内”分析条件换代数兑现”的枢纽：边界修正经拉回后自动消失，实现”借基还簇”。
验证状态：暂无形式化证明（AI 结果待核验）
对应文章：Integrable metrics and effectivity with controlled boundary（结果族 068）
第一级台阶
入门导读把伪有效除子比作”账面上值钱却花不出去的资产”，把定理说成一条兑现规则：只要空间的体积尺度弯曲有严格底线、边界欠条温和到平方可积，任何账面资产补上一小笔支集落在边界内的补贴，就能变成真金白银。翻译成半数学语言：对象是只有”极限意义不亏”的除子类；操作是给反典范方向配一个弯向不低于某条严格底线的尺度，并检查指定边界除子的典型截面在这个尺度下平方可积；结论是补一笔只落在边界内的有效修正后，账面资产可兑现为真实有效的除子。
第二级台阶
用本科术语精确化。除子称为伪有效，若其数值类落在有效锥的闭包中；称为有理有效，若它有理线性等价于一个有效除子。度量的曲率下界指其弯曲不塌过某条底线，形式上要求支配某个 Kähler 形式。乘子理想收集相对于度量不可积的函数，是度量尖峰有多尖的账本；条件 @@M@@\mathcal J(h)\supset\mathcal O_Y(-C)@@ 恰好等价于 @@M@@C@@ 的典范截面范数平方局部可积——正如 @@M@@\int_0^1 x^{-\alpha}dx@@ 有限当且仅当 @@M@@\alpha<1@@。
第三级台阶
定理一在此陈述：@@M@@Y@@ 光滑射影、@@M@@C@@ 为有效整除子，若 @@M@@-K_Y+C@@ 带有曲率严格支配某 Kähler 形式的奇性度量且上述乘子理想包含条件成立，则每个伪有效有理除子 @@M@@M@@ 都有支集含于 @@M@@C@@ 的有效修正 @@M@@C_0@@，使 @@M@@M+C_0@@ 有理有效。两个假设各挡一种坍塌：严格曲率下界挡住度量整体塌陷，使消没定理能启动；平方可积挡住边界尖峰过锐，使修正可以完全记在边界的账上。定理二再对光滑半正的 @@M@@L=-K_X@@ 建立固定误差转化：无界指数处带固定伪有效误差的有效除子，必产出 @@M@@L@@ 某正倍的截面。修正拉回后落在例外除子上，兑现时自动消失，实现”借基还簇”。
本文证明受控边界有效性定理：若 @@M@@-K_Y+C@@ 的度量有整体严格曲率下界且 @@M@@C@@ 的典范截断局部平方可积，则任何伪有效有理除子经支集含于 @@M@@C@@ 的有效修正后即有理有效；据此建立固定误差转化定理，把反典型非消没推进到任意维数。
伪有效（pseudoeffective）除子未必有任何正倍的有效代表。本文研究一个使其变为有效（至相差有理线性等价）的分析条件：反典型度量的正曲率，加上边界除子典范截断的可积性。其价值在双有理几何：纤维化基上作出的修正，经拉回与推向后可以在原簇上消失，从而”借基还簇”。用乘子理想（multiplier ideal）语言，条件 @@M@@\mathcal J(h)\supset\mathcal O_Y(-C)@@ 恰好等价于 @@M@@s_C@@ 的范数平方局部可积。与 LMPTX、Müller 的 nef 框架相比，光滑半正度量给出更强的分析输入，使结论能对一切维数成立。
定理一（受控边界有效性，Effectivity modulo a controlled boundary）：设 @@M@@Y@@ 光滑射影、@@M@@C\ge0@@ 为整除子，@@M@@-K_Y+C@@ 有曲率支配某 Kähler 形式的奇性 Hermitian 度量 @@M@@h@@，且 @@M@@\mathcal J(h)\supset\mathcal O_Y(-C)@@。则对每个伪有效有理除子 @@M@@M@@，存在支集含于 @@M@@C@@ 的有效有理除子 @@M@@C_0@@，使 @@M@@M+C_0@@ 有理有效（rationally effective，即有理线性等价于有效有理除子）。定理二（固定误差转化）：设 @@M@@X@@ 光滑连通射影、@@M@@L=-K_X@@ 光滑半正、@@M@@P@@ 为任意伪有效 Cartier 除子；若存在无界正整数 @@M@@m_j@@ 及有效整除子 @@M@@N_j\sim m_jL-P@@，则 @@M@@H^0(X,mL)\ne0@@。推论：固定 @@M@@p\ge0@@，若 @@M@@H^0(X,(\Omega_X^1)^{\otimes p}\otimes mL)@@ 沿无界 @@M@@m@@ 非零，则 @@M@@L@@ 的某正倍有截断。文中还给出修正环的多分次有限生成、辅助基的 Fano 型（Fano type）模型，以及 @@M@@\chi(X,\mathcal O_X)\ne0@@ 时的不变截断版本。
定理一走”BCHM 大边界非消没”路线。先用 Demailly 加权 Bergman 逼近（Ohsawa–Takegoshi 点延拓，配合 Nadel 消没给出的整体生成性）在消解 @@M@@\sigma:Y'\to Y@@ 上造出符号除子 @@M@@\Psi=\Psi^+-\Psi^-@@：其系数严格小于一，负部只落在 @@M@@C@@ 与例外轨迹之上。留一个小丰富（ample）除子 @@M@@A@@ 作缓冲；对给定 @@M@@M@@ 取小 @@M@@t>0@@ 使 @@M@@A+tM@@ 丰富，用一般自由与丰富代表把正部充实成有效、大且 klt（Kawamata log terminal）的边界 @@M@@\Delta_t@@，满足 @@M@@K_{Y'}+\Delta_t\sim_{\mathbb Q}\Psi^-+t\sigma^*M@@，右端伪有效。BCHM 定理 D 给出实线性等价的有效代表；”有理恢复”引理（系数非负性是有限组有理线性不等式，非空有理多面体必有有理点）把结论升级为有理等价；推前后除以 @@M@@t@@，修正 @@M@@\sigma_*\Psi^-/t@@ 的支集恰落在 @@M@@C@@ 上。另有度量层面的扰动路线：Guan–Zhou 强开性加 Skoda 小指数可积性加 Hölder 不等式，允许对度量作小伪有效扰动而保持 @@M@@s_C@@ 可积与严格下界。
定理二只用单个 Iitaka 纤维化（Iitaka fibration）。取 @@M@@N_1@@ 的截断比值域，一切 @@M@@N_j@@ 的除子沿一般纤维仿射变化（精确恒等式 @@M@@\pi^*N_j=\pi^*N_0+(m_j-m_0)(\pi^*R+f^*Q_j)@@），垂直最小值定义出基上除子 @@M@@M@@，由有效性取极限知其伪有效。反证法证伴随直像秩一：若秩更大，两个一般纤维无关的截断经扭曲后的比值既是基函数又不是，矛盾。极化等式给出 @@M@@\pi^*L@@ 上支配 @@M@@f^*\omega_Y@@ 的正电流度量，与光滑拉回度量小比例混合后，Skoda 定理保证全空间乘子理想平凡；Păun–Takayama 奇性直像正性在秩一壳 @@M@@\mathcal O_Y(-K_Y+C)@@ 上给出整体严格曲率度量，且 @@M@@\mathcal J\supset\mathcal O_Y(-C)@@、@@M@@f^*C@@ 例外。套定理一得 @@M@@M+C_0\sim_{\mathbb Q}G\ge0@@，返回引理把截断送回 @@M@@X@@ 而不引入极点。张量版由行列式法与余切子丛伪有效性衔接。另一路线调用姊妹篇《Metric descent》的环面体积度量（文中引作 CompanionG）得到无权可积版本；光滑 coarea 路线则给出整除子修正与 @@M@@L^{1+\eta}@@ 增强可积性。
本文处于本族的分析—代数枢纽：它消费《Metric descent and rank-preserving contractions》的环面体积度量构造，其固定误差转化机制与《Cohomological transfer》的转移定理互为呼应；不变版本则依赖族内姊妹篇的不变指标定理与有限覆盖结构。全部结果暂无 Lean 形式化证明；按 OpenAI 官方声明，未经形式化的结果可能存在问题，结论请以社区核验为准。
对应论文：Integrable metrics and effectivity with controlled boundary（OpenAI，2026-09-26）
问 1：定理一（受控边界有效性）的证明里最关键的一步是什么？
（答：是 BCHM 大边界非消没路线的中段。先用 Demailly 加权 Bergman 逼近（Ohsawa–Takegoshi 点延拓加 Nadel 消没给的整体生成性）在消解上造符号除子 Ψ：系数严格小于一、负部只落在 C 与例外轨迹上；再用小丰富除子作缓冲，把正部充实成有效、大且 klt 的边界 Δ_t，使 K_{Y’}+Δ_t 有理线性等价于伪有效的右端，从而 BCHM 定理 D 给出有效代表。这一步同时要满足的约束最多，是全链最非显然的一环。）
问 2：为什么”典范截面平方可积”这个假设不能去掉？
（答：可积与不可积一线之隔：一维积分 ∫x^{−1/2} 有限而 ∫x^{−3/2} 无穷，指数一旦过 1 就翻脸。条件 J(h) ⊃ O_Y(−C) 正是”边界尖峰指数小于 1”的几何版；没有它，Guan–Zhou 强开性加 Skoda 小指数可积性加 Hölder 不等式组成的度量扰动路线整体失效，也无法保证修正的支集完全落在 C 上。论文未讨论可积性失效时的替代条件。）
问 3：”有理恢复”引理是什么？它脆弱吗？
（答：BCHM 定理 D 只给实系数线性等价的有效代表；引理把结论升级为有理等价，依据是系数非负性构成有限组有理线性不等式，而非空有理多面体必有有理点。论证表面初等，实则”有限组”与闭包边界上的取点细节容易出错，且它直接决定最终修正 C_0 是否真有理——这是审稿时应逐行核验的位置。）
问 4：定理二与姊妹篇《Cohomological transfer》的转移定理是什么关系？
（答：互为平行的两条路线。本文只用单个 Iitaka 纤维化：取 N_1 的截面比值域，所有 N_j 的除子沿一般纤维仿射变化，垂直最小值定义出基上除子 M 并由极限知其伪有效，反证法证伴随直像秩一，最后套定理一兑现；那篇则用两个度量分工加 Nadel 消没。两篇交叉印证同一机制，但本文的反证法（两个一般纤维无关截面经扭曲后的比值”既是基函数又不是”）是独立的风险点。）
问 5：修正 C_0 为什么”不碍事”？
（答：它的支集含于 C，而 f*C 在拉回后是例外除子；把兑现到的截面送回 X 时，例外修正经推前自动消失、不引入极点。这正是”借基还簇”的设计核心——账记在边界上，但结账时一笔勾销。附带地论文还给出修正环的多分次有限生成，说明这笔账的记法是系统性的。）
问 6：这个结果最可能以什么模式出错？
（答：三类。其一，符号除子 Ψ 的系数估计（严格小于一、负部位置控制）依赖 Ohsawa–Takegoshi 的逐点延拓，最优常数的取法是常见暗角；其二，Păun–Takayama 奇性直像正性用在秩一壳上时的适用条件核对；其三，对姊妹篇 CompanionG（环面体积度量）的引用使本文与《Metric descent》形成依赖链，上游计算错误会传染到这里。全部未经形式化。）
问 7：谁会用到它？
（答：双有理几何中处理”数值有效但无截面”问题的研究者。推论把张量版 H^0(X,(Ω_X^1)^{⊗p}⊗mL) 的无界截断转化为 L 正倍的截面；不变版本（χ≠0 时）依赖姊妹篇的不变指标定理，为族内头条的非消没结论提供分析—代数枢纽。）
总评
“分析条件换代数兑现”的枢纽设计干净有力，修正支集落在边界、拉回后自动消去的技巧堪称漂亮；最大风险在未形式化前提下多约束并造的 BCHM 应用细节与跨姊妹篇的依赖链，任何一环的裂缝都会沿着链条放大。