结果族 068：Anticanonical nonvanishing in every dimension · 学科：Algebraic and complex geometry · 验证状态：暂无形式化证明，请以社区核验为准
榨橙汁：把高维空间看作一束纤维组成的”果肉”，沿每根纤维把体积积分掉，底座上就得到一杯密度（果汁）。但榨的时候果肉会在杯壁堆积，这篇论文精确算出”果渣量”的公式（有理边界修正 @@M@@A_0@@），保证这杯密度既不发散、又保持”只凸不塌”的优良体质（半正），后续降维收缩时也不摔碎关键结构。
关键词卡片
@@M@@\int_0^1 x^{-\alpha}dx@@ 有限当且仅当 @@M@@\alpha<1@@。看个具体例子
下降时密度如何变形？局部坐标若呈 @@M@@y_1=u_1^{e}@@（@@M@@e@@ 重覆盖），密度 @@M@@|u_1|^{2a}@@ 落到底座就变成 @@M@@|y_1|^{2(a-e+1)/e}@@，边界修正系数取 @@M@@\frac{1+a}{e}-1@@。代入具体数字 @@M@@e=2,\,a=3@@ 的数字版定理：
@@M@@|u_1|^{6}\ \mapsto\ |y_1|^{2},\qquad \text{修正系数 } \tfrac{1+a}{e}-1=\tfrac{4}{2}-1=1@@
即底座边界上须补一”份”有理修正 @@M@@A_0@@；补完之后，度量不插除子权就局部可积，在合适条件下还在非空开集上严格正。这个修正拉回原空间后自动落在例外除子上——”渣”记在账上但不碍事。
为什么值得关心
它是整个结果族的”几何机器”：环面体积度量被姊妹篇直接引用来消固定误差，保秩收缩定理则支撑对基维数的归纳。
验证状态：暂无形式化证明（AI 结果待核验）
对应文章：Metric descent and rank-preserving contractions（结果族 068）
第一级台阶
入门导读把论文比作”榨橙汁”：高维空间是一束纤维组成的果肉，沿每根纤维把体积积分掉，底座上就得到一杯密度（果汁）；果肉会在杯壁堆积，论文精确算出”果渣量”。翻译成半数学语言：对象是一个高维空间连同把它扫到低维底座上的映射；操作是沿纤维积分体积度量，把度量传到底座；麻烦在于退化纤维处密度会在边界处堆积甚至发散，需要一笔记在账上的显式修正，而且这笔修正拉回原空间后恰好落在会被遗忘的例外集上。
第二级台阶
用本科术语精确化。环面化模型指局部形如若干张圆盘相乘的坐标图，使奇点看起来像坐标轴；等维指映射的每根纤维维数相同。伴随直像秩一指相对典除子推到底座后只剩一维——每根纤维只产出一个自由度。局部可积衡量密度尖峰的强弱：@@M@@\int_0^1 x^{-\alpha}\,dx@@ 有限当且仅当 @@M@@\alpha<1@@；半正度量则等价于其权重函数多次调和，”只凸不塌”。
第三级台阶
定理一在此语境陈述：在正规等维环面化模型、且指数零处通有伴随秩一的假设下，从反典范丛的光滑半正度量出发，能在修正后的底座反典范线上造出无权的可积半正度量；修正 @@M@@A_0@@ 是显式有理除子，逐个基素除子取雅可比阶与拉回重数之比的下界，拉回后为例外除子。toroidal 与等维挡住退化纤维的任意无序性，秩一假设保证积分密度能与底座标架范数等同。定理二处理降维：在无正次全纯形式的簇上，只要不变纤维化满足一般截断与秩一两条件，要么已有整体不变截面，要么可分解到维数严格更低的基且两条件保持——这正是支撑归纳、使机器能反复开动的设计。
本文把全空间上的光滑半正反典型体积形式沿纤维积分，在正规等维环面化模型上构造出带显式有理边界修正 @@M@@A_0@@ 的无权可积半正度量，并证明保持一般截断与伴随秩的收缩定理，从而在无正次全纯形式的簇上得到环面不变的反典型截断。
沿纤维积分体积形式以获得基上的密度，是”度量下降”（metric descent）的自然想法，但两个障碍随之而来：基上造出的截断乘以相对截断后可能在退化纤维上留下极点；随后为降维而作的收缩又可能摧毁使度量具有正性的秩一条件。本文把两个问题合并处理：边界修正必须在双有理推前后消失，收缩必须同时保住一般截断与伴随截断的秩。这是族内反典型非消没纲领的”几何机器”篇：此前 LMPTX、Müller 的 nef 情形结果或限于三维、或需半丰富附加假设，而光滑半正度量提供了更强的分析输入。
定理一（环面体积度量，Toroidal volume metric）：设 @@M@@X,Y@@ 光滑射影，@@M@@L=-K_X@@ 带光滑半正度量，@@M@@p:W\to X@@ 双有理、@@M@@f:W\to Y@@ 满射等维且环面化（toroidal），并在光滑消解上要求伴随直像秩一 @@M@@\operatorname{rk}g_*\mathcal O_Z(E_Z)=1@@（@@M@@E_Z=K_{Z/X}@@ 为雅可比除子）。对基素除子 @@M@@Q@@ 记 @@M@@a_D@@ 为雅可比阶、@@M@@e_D@@ 为拉回重数，定义 @@M@@A_0=\sum_Q\max\{0,\min_{D\mapsto Q}((1+a_D)/e_D-1)\}\,Q@@。则 @@M@@A_0@@ 有效有理、@@M@@f^*A_0@@ 在 @@M@@X@@ 上例外，且 @@M@@-K_Y+A_0@@ 带半正奇性度量，其标架平方范数不插入除子权即局部可积；若拉回曲率在某开片上支配 @@M@@c\,g^*\omega_Y@@，则度量在非空开集上严格正。定理二（保秩收缩，Rank-preserving contraction）：设 @@M@@X@@ 无正次全纯形式、@@M@@-K_X@@ 光滑半正、环面 @@M@@T@@ 作用其上，若 @@M@@T@@-不变有理纤维化满足一般纤维有不变截断（截断条件）且不变伴随空间在一列度数上维数为一（秩条件），则要么已有整体不变截断，要么纤维化有理分解过维数严格更低的基且两条件保持，从而可对基维数归纳。
定理一分三步。先在光滑处用 Berndtsson 光滑直像正性：秩一直像把推前体积密度等同于 @@M@@-K_Y@@ 标架的平方范数 @@M@@H@@，@@M@@-\log H@@ 多数次调和；其曲率不等式中被弃去的原始代表项非负，而某开片上的曲率支配给出严格正。再算边界：局部形态 @@M@@y_1=u_1^{e_E}@@ 把 @@M@@|u_1|^{2a_E}@@ 型密度变成 @@M@@|y_1|^{2(a_E-e_E+1)/e_E}@@ 型，这正是修正系数 @@M@@(1+a_D)/e_D-1@@ 的由来；所得幂次下界使权重可次调和延拓跨过除子（余下的余维二集用 Hartogs 型论证）。最后是可积性：关键的次 klt（sub-klt）引理证明 @@M@@(W,\Theta)@@（@@M@@\Theta=-K_{W/X}+f^*A_0@@）的全部除子赋值差异为正——这是纯代数的赋值比较，连边界相交处新生例外赋值也一并控制；于是在再消解上密度呈 @@M@@\prod_j|z_j|^{2\gamma_j}@@、@@M@@\gamma_j>-1@@，逐变量积分有限，投影公式把可积性送回基。附带地 @@M@@\kappa(Y,A_0)=0@@。
定理二四步走。先用垂直最小值规范化给定截断，得 @@M@@r\pi_0^*L-f_0^*(rV)@@ 的不变截断 @@M@@\sigma@@，并识别例外极点除子 @@M@@G@@：若 @@M@@V+\delta G@@ 有理有效，乘 @@M@@\sigma@@ 的幂并除以 @@M@@\delta G@@ 的典范截断即把截断送回 @@M@@X@@。否则 @@M@@V+G@@ 不大，BDPP 对偶给出动曲线类（movable curve class）@@M@@\beta@@ 使 @@M@@V,G,B^-@@ 对 @@M@@\beta@@ 度数皆零。接着对偶环面密度估计（对数坐标下的 coarea 计算）给出推前密度 @@M@@\rho@@ 的上下幂次界，权重 @@M@@-\log\rho-\sum_i(1-c_i)\log|y_i|^2@@ 定义出符号边界 @@M@@B=B^+-B^-@@ 上的类 @@M@@M=-K_Z-B@@，其 Lelong 数为零故一切乘子理想平凡，Nadel 消没加正则性证 @@M@@M@@ nef。再用 Campana–Păun 轨道余切定理（经有限适配覆盖）证余切张量的线子层对 @@M@@\beta@@ 斜率非正，配合行列式法得零度有效除子序列 @@M@@D_j\sim m_jV+N@@。最后取零度线性系统中像维数极大者作 Stein 分解得低维基 @@M@@W@@；插值恒等式 @@M@@(m_l-m_j)D_k\sim(m_l-m_k)D_j+(m_k-m_j)D_l@@ 迫使水平系数具 @@M@@a_Q+m_jb_Q@@、@@M@@b_Q\ge0@@，故 @@M@@h^*V@@ 在一般纤维上有理有效，给出新的不变截断；经极点控制把两截断之比压入 @@M@@\mathbb C(W)@@，秩一得以恢复。应用上：无正次形式的簇上，允许极点定理给出 @@M@@H^0(X,aL+cD)\ne0@@，且对任意环面作用有 @@M@@H^0(X,-mK_X)^T\ne0@@。
本文是本族的公共几何输入：其环面体积度量定理被《Integrable metrics and effectivity with controlled boundary》一文直接引作 CompanionG，用于固定误差有效性论证；其不变截断结论又与族内头条姊妹篇（文中引作 HFiniteVolume）经有限覆盖下降得到的无附加假设非消没互相印证。全部结果暂无 Lean 形式化证明；按 OpenAI 官方声明，未经形式化的结果可能存在问题，请以社区核验为准。
对应论文：Metric descent and rank-preserving contractions（OpenAI，2026-09-26）
问 1：定理一（度量下降）证明里最脆弱的一步是什么？
| （答：次 klt 引理。它断言 (W, Θ)（Θ = −K_{W/X} + f*A_0）的全部除子赋值差异为正，是纯代数的赋值比较，连边界相交处新生的例外赋值也要一并控制；有了它，密度在再消解上呈 ∏ | z_j | ^{2γ_j}、γ_j > −1 的形状，逐变量积分有限，投影公式才把可积性送回基。这种”逐除子验证差异为正”的组合计算面广量大，是 AI 生成证明最典型的出错位置。） |
问 2：”等维 + 环面化 + 秩一”这些模型假设为什么不能去掉？
（答：修正系数 (1+a_D)/e_D − 1 只有在局部形态 y_1 = u_1^{e} 的环面化坐标下才有意义，非等维或非环面化时退化纤维的堆积量无法用除子阶数控制；指数零处通有伴随秩一则是 Berndtsson 直像正性能把推前密度等同于底座标架平方范数的前提，没有它密度只是一个秩大于一的矩阵值对象，”只凸不塌”的标量体质无从谈起。论文未讨论这些假设的减弱形式。）
问 3：与已有工作相比真正的新意是什么？
（答：此前 LMPTX 2023 与 Müller 2025 的 nef 情形结果或限于三维、或需半丰富附加假设；本文的度量下降给出带显式有理边界修正的可积半正度量，”渣记在账上但不碍事”——修正拉回后自动例外、且 κ(Y, A_0) = 0。保秩收缩定理则是全新部件：它让”截面存在 + 秩一保持”在收缩降维后同时幸存，支撑对基维数的归纳。）
问 4：定理二里截断条件与秩条件为什么必须一起保住？
（答：截断条件负责供应新截面——垂直最小值规范化给出不变截断 σ 并识别例外极点除子 G；秩条件负责度量的正性来源——不变伴随空间在一列度数上维数为一，度量下降机器才能在更低维基上重启。丢掉任何一个，归纳链条都断。定理二的结论因此设计成”要么已有整体不变截断（直接成功），要么两条件都传递（继续归纳）”的二分。）
问 5：这个结果最可能以什么模式出错？
（答：三处高危。其一，对偶环面密度估计是.log 坐标下的 coarea 计算，幂次界的推导极易差一个符号或常数；其二，插值恒等式 (m_l−m_j)D_k ∼ (m_l−m_k)D_j + (m_k−m_j)D_l 迫使水平系数具 a_Q + m_j b_Q 的推理是组合性的；其三，引用 Campana–Păun 轨道余切定理时”经有限适配覆盖”的适配细节论文未完全展开。这三处都属于未形式化证明的典型暗角。）
问 6：谁会用到这个结果？
（答：它是结果族的公共几何机器：环面体积度量定理被《Integrable metrics and effectivity with controlled boundary》直接引作 CompanionG，用于固定误差有效性论证；其不变截断结论与族内头条姊妹篇经有限覆盖下降的非消没互相印证；应用部分还独立给出带预定边界极点的截面 H^0(X, aL+cD) ≠ 0。）
问 7：为什么要求 X 无正次全纯形式？
（答：这个条件保证紧因子上 χ = 1 类型的指标输入成立，是上同调机器启动的火种；同时它让两度量转移（有限体积对数反典范度量 + 有界半正权目标线）可用。论文未讨论存在正次形式时哪些结论仍存活。）
总评
这是整个纲领里最”工程化”的一篇：显式边界修正公式与保秩二分法是实打实的技术资产；最大风险在于次 klt 引理与 coarea 估计这类大规模局部计算未经形式化核验，且其正确性直接决定两个下游姊妹篇的成色。