结果族 068：Anticanonical nonvanishing in every dimension · 学科：Algebraic and complex geometry · 验证状态：暂无形式化证明，请以社区核验为准
自动售货机找零：你不断投入面额越来越大的硬币，机器找零的零头占面额的比例越来越小、趋近于零。这篇论文证明：极限时刻一定存在一张”分文不找”的钞票——一个有理等价于 @@M@@-K_X@@ 的有效除子，它在指定”计价器”处的阶恰好为零，不多不少。
关键词卡片
@@M@@-K_X@@）：全纯体积形式倒数的集合；截面就是空间的全局体积公式。@@M@@\operatorname{ord}_x@@ 就是一个。@@M@@-K_X@@ 的度量曲率处处非负且光滑。看个具体例子
端点引理是全文的代数心脏，用多项式环就能演示。取 @@M@@s_j=x\,y^{j}@@，赋值 @@M@@v=\operatorname{ord}_x@@，度数 @@M@@m_j=j+1@@，则归一化零头 @@M@@\frac{v(s_j)}{m_j}=\frac{1}{j+1}\to0@@，数字版定理：
@@M@@\mathbb C[x,y]\ \text{的生成元中必有纯 } y \text{ 方向者（即 } y \text{ 本身），且 } v(y)=0\le\gamma=0@@
零头恰好为零的钞票就是它。几何版把 @@M@@\mathbb C[x,y]@@ 换成截面环、把 @@M@@x,y@@ 换成纤维化数据，同样的机制产出有效除子 @@M@@N\sim_{\mathbb Q}L@@ 且 @@M@@v(N)=0@@——固定辅助线丛任意，无任何正则性假设。
为什么值得关心
数值有效只保留数值类，造截面需要完整的等价信息——本文补上的正是这一缺口，是任意维数反典范非消没的关键一环。
验证状态：暂无形式化证明（AI 结果待核验）
对应文章：Exact orders and invariant anticanonical linear systems（结果族 068）
第一级台阶
入门导读把论文比作”自动售货机找零”：不断投入面额越来越大的硬币，找零零头占面额的比例趋近于零；定理说极限时刻必有一张分文不找的钞票。翻译成半数学语言：对象是一列与反典范方向的正倍数等价、面额无限增大的有效除子；操作是在一个指定的”计价器”上数每个除子的零头阶数，已知零头占比趋于零；结论是必存在一张恰好等价于一份反典范除子、且在计价器上读数恰为零的有效”钞票”。
第二级台阶
用本科术语精确化。赋值是定义在函数域上、给函数在某个”地点”数零头数目的整值计价器，要求在 X 上有中心；有理线性等价指两个除子相差一个函数的主除子的有理倍数，比只记录相交数的数值等价保留更多账目信息。反典范丛 @@M@@L=-K_X@@ 光滑半正，指它带有曲率形式处处非负的光滑 Hermitian 度量；曲率退化面则由一个用相交数定义的零泛函来刻画。
第三级台阶
定理 1.1 在此陈述：@@M@@X@@ 光滑连通射影、@@M@@L@@ 带半正曲率形式，设 @@M@@v@@ 为有中心的离散赋值、@@M@@M@@ 为任意固定辅助线丛；若有效除子列 @@M@@N_j\sim m_jL+M@@（@@M@@m_j\to\infty@@）都落在曲率零面上且 @@M@@v(N_j)/m_j\to0@@，则存在有效有理除子 @@M@@N\sim_{\mathbb Q}L@@ 使 @@M@@v(N)=0@@。”任意辅助线丛”与”无任何正则性或 Euler 特征假设”是陈述的分量所在；光滑半正挡住的正是纯 nef 情形下数值极限丢失线性等价信息的坍塌。定理 1.2 再在 @@M@@H^i(X,\mathcal O_X)=0@@ 时对任意环面作用产出不变截面，喂给族内链条得到 @@M@@H^0(X,-mK_X)\neq0@@。
证明了”阶的精确达到”定理：当光滑射影簇的反典范丛 @@M@@-K_X@@ 带半正曲率的光滑度量时，沿任意中心赋值归一化阶趋于零的有效除子列，必极限为一个有理线性等价于 @@M@@-K_X@@ 且在该赋值处阶恰为零的有效除子，为族内 @@M@@H^0(X,-mK_X)\ne0@@ 供出关键一环。
非消失（nonvanishing）问题是双有理几何的核心悬念之一：设 @@M@@X@@ 为光滑射影复代数簇，反典范丛 @@M@@-K_X@@ 数值有效（nef），是否存在正整数 @@M@@m@@ 使 @@M@@H^0(X,-mK_X)\ne0@@？它与丰度猜想（abundance conjecture）紧密相关。此前最好成绩停留在三维：Lazić–Matsumura–Peternell–Tsakanikas–Xie（2023）证明三维的数值有效性并发展基于扭曲微分形式的非消失方法；Müller（2025）对射影 klt 三维对证明反 log 典范非消失。一般维数的卡点在于：数值有效锥中的极限只保留数值等价类，而构造截面恰恰需要有理线性等价（rational linear equivalence）的信息。本文改用”光滑半正性”假设——@@M@@-K_X@@ 有曲率形式半正的光滑 Hermitian 度量——换来对所有维数、且在指定赋值处保阶的精确结论。
主定理（Theorem 1.1，零阶精确达到）：设 @@M@@X@@ 光滑连通射影、@@M@@\dim X=n>0@@，@@M@@L=-K_X@@ 带代表 @@M@@c_1(L)@@ 的半正曲率形式 @@M@@\alpha@@，@@M@@\nu@@ 为 @@M@@\alpha@@ 的最大复秩，@@M@@G_0@@ 为丰富线丛，定义零泛函 @@M@@\ell(D)=D\cdot L^{\nu}\cdot G_0^{\,n-\nu-1}@@（@@M@@\nu=n@@ 时取 @@M@@0@@）。它在有效除子上非负且 @@M@@\ell(L)=0@@。设 @@M@@v@@ 为 @@M@@\mathbb{C}(X)@@ 上在 @@M@@X@@ 上中心（centered）的离散赋值或零赋值，@@M@@M@@ 为任意线丛。若有效整除子 @@M@@N_j\sim m_jL+M@@（@@M@@m_j\to\infty@@）满足 @@M@@\ell(N_j)=0@@、@@M@@v(N_j)/m_j\to0@@，则存在有效有理除子 @@M@@N\sim_{\mathbb{Q}}L@@ 使 @@M@@v(N)=0@@。结论保持有理线性等价而非仅数值类；辅助线丛 @@M@@M@@ 任意，也无任何不规则度或欧拉特征假设。
弧推论（Corollary 5.1）：当 @@M@@-M@@ 伪有效（pseudoeffective）时，沿任意泛形式弧（generic formal arc）@@M@@\gamma:\Spec F[[t]]\to X@@ 阶为 @@M@@o(m_j)@@ 的上述序列，给出某个 @@M@@r>0@@ 与有效整除子 @@M@@D\sim rL@@，使 @@M@@v_\gamma(D)=0@@。
不变截面定理（Theorem 1.2）：再设 @@M@@H^i(X,\OO_X)=0\ (i>0)@@，则对任意作用于 @@M@@X@@ 的代数环面 @@M@@T@@，某个正倍数 @@M@@-mK_X@@ 有非零 @@M@@T@@-不变截面（取自然线性化）。结合姊妹篇的单值结构下降，最终得到族 068 的标量结论：光滑半正的 @@M@@-K_X@@ 蕴含 @@M@@H^0(X,-mK_X)\ne0@@。
先证纯代数的”端点引理”（Lemma 2.1）：有限生成双分次环 @@M@@R\subset K[x,y]@@ 中，若齐次元 @@M@@s_j=f_jx^{a_j}y^{b_j}@@ 的归一化次数逼近边界射线 @@M@@\{(0,b)\}@@ 且 @@M@@v(f_j)/(a_j+b_j)\to\gamma@@，则任何齐次生成元组中必有形如 @@M@@fx^0y^b@@ 的”射线上”生成元，其 @@M@@v(f)/b\le\gamma@@。理由是把 @@M@@s_j@@ 展开为生成元的单项式，其一的系数赋值不超过 @@M@@v(f_j)@@；而 @@M@@u_i>0@@ 的”离射线”生成元对次数与赋值的贡献均被 @@M@@a_j@@ 的常数倍控制，极限中消失，故必须存在射线上生成元且其赋值比取到最小值。此处必须使用生成元的真实系数，仅知极限数值锥不够——这正是数值有效性不足以产生截面的代数根源。
再把几何装入该框架（Proposition 2.2）：取双有理—等维图 @@M@@X\xleftarrow{p}W\xrightarrow{f}Y@@ 与基底上满足 @@M@@p_*f^*A=0@@ 的有效修正 @@M@@A\ge0@@，定义极小除子 @@M@@P(t)=\sum_Q\min_{E\mapsto Q}\coeff_E p^*D(t)/\ord_E(f^*Q)\cdot Q@@。@@M@@N_j@@ 有效拉回迫使 @@M@@P(t_j)+\div_Y(h_j)\ge0@@，故 @@M@@h_j@@ 的幂成为双分次截面环的齐次元；端点引理在边界射线上选出赋值足够小的生成元，对应截面在 @@M@@W@@ 上有效；先以 @@M@@p@@ 前推消去修正 @@M@@f^*A@@（纯除子恒等式，与赋值无关），再比较赋值：中心性给 @@M@@v(N)\ge0@@，生成元选择给 @@M@@v(N)\le0@@，故恰为零。运算顺序的妙处是例外修正本身可以有正赋值——先消去后比较即可。
最难的几何输入是基底与有限生成。令 @@M@@k=\{h\in\mathbb{C}(X)^\times:\ell((h)_\infty)=0\}@@ 为零极域（null-polar field），它是相对代数封闭的有限生成子域（@@M@@k=\mathbb{C}@@ 时直接取固定支撑极限）。在模型 @@M@@\mathbb{C}(Y)=k@@ 上验证两个条件：Jacobi 除子 @@M@@K_{Z/X}@@ 的泛纤维截面空间恰为一维；在 @@M@@\alpha@@ 的最大秩点处有 @@M@@\ker\pi^*\alpha\subset\ker dg@@，从而在非空开集上得到局部严格正性 @@M@@\pi^*\alpha\ge c\,g^*\omega_H@@。据此，姊妹篇的环体积度量定理给出有效修正 @@M@@A_0@@ 及 @@M@@-K_Y+A_0@@ 上开集严格正、平方范数局部可积的半正度量；另一姊妹篇的修正环定理再给出两个方向的多分次截面环有限生成（根基是 BCHM 伴随环理论）。
最后组装：用两个输入除子的有理组合解出趋于端点的参数 @@M@@t_j@@，把 @@M@@N_j/m_j@@ 写成 @@M@@D(t_j)+\div_X(h_j)@@ 且主修正 @@M@@h_j@@ 落在 @@M@@k@@ 中；上述命题随即产出 @@M@@N\sim_{\mathbb{Q}}L@@、@@M@@v(N)=0@@。通往不变截面靠阶—权恒等式（Lemma 6.1）：权为 @@M@@w@@ 的特征截面沿单参数子群泛轨道的阶等于 @@M@@\mu-w@@（@@M@@\mu@@ 为源头纤维权），故”阶恰为零”等价于”截面权达到纤维权”；再借 Białynicki-Birula 源分量、Atiyah–Bott 型不动点公式、半正硬 Lefschetz 与饱和行列式造出有界阶除子，主定理供出凸包含零的归一化截面权，通分取乘积即得不变截面。
本文主结果暂无 Lean 形式化证明，请以社区核验为准。两处关键输入直接引用同族姊妹篇：环体积度量定理（”Metric descent and rank-preserving contractions”）与修正环有限生成定理（”Integrable metrics and effectivity with controlled boundary”）；标量非消失结论还需 “Anticanonical nonvanishing from smooth semipositivity” 的紧单值结构定理与两步下降，本文与它们互相咬合成完整链条。按 OpenAI 官方声明，未经形式化的结果可能有问题。
对应论文：Exact orders and invariant anticanonical linear systems（OpenAI，2026-09-26）
问 1：全文的代数心脏——端点引理——说了什么，它脆弱在哪？
（答：引理 2.1 断言：有限生成双分次环中，若齐次元素列的归一化次数逼近边界射线，则任何齐次生成元组中必有”射线上”的生成元取到最小赋值比。证明要把元素列展开成生成元的单项式组合，逐一比较系数赋值——这里必须使用生成元的真实系数，仅知道极限数值锥不够。这正是数值有效不足以产生截面的代数根源，也是审稿最该逐行核验的位置：系数层面的展开与取极限容易被”显然”带过。）
问 2：为什么假设是”光滑半正”而不能只要 nef？
（答：两个理由。其一，nef 只给数值类，极限过程丢失线性等价信息，端点引理没有有限生成环可以安放；其二，证明最难的一步是在 α 的最大秩点处建立局部严格正性 π*α ≥ c·g*ω_H，需要真实度量的核包含关系 ker π*α ⊂ ker dg——nef 没有可供取核的曲率形式。论文未讨论纯 nef 情形能走多远。）
问 3：与 LMPTX 2023、Müller 2025 相比新意何在？
（答：此前结果限于三维（数值有效性）或需附加半放大假设；本文在任意维数给出结论，且有两点加强：辅助线丛 M 完全任意、无任何不规则度或 Euler 特征假设；结论是”在指定赋值处阶恰好为零”的精确陈述，比仅仅存在截面强——保阶信息正是下游不变截面与弧推论需要的。）
问 4：”先消去例外修正、后比较赋值”的运算顺序为什么关键？
（答：拉回比较前先用双有理前推消去修正 f*A 的除子恒等式与赋值无关，可以让带正赋值的例外修正在比较前消失；若顺序颠倒，例外修正的正赋值会污染 v(N) 的双侧估计（中心性给 v(N) ≥ 0、生成元选择给 v(N) ≤ 0），夹逼失效。这种”顺序敏感”的论证是 AI 生成证明中典型的隐患位置。）
问 5：零极域 k 的构造有多可靠？
（答：k 定义为极点零泛函为零的函数构成的子域，论文断言其相对代数封闭且有限生成，并在模型 C(Y) = k 上验证 Jacobi 除子泛纤维截面空间一维。这两条是连接代数引理与几何的桥墩，其有限生成性根基是 BCHM 伴随环理论并经姊妹篇的修正环定理输入——属于跨篇依赖，未经形式化，风险沿链条传导。）
问 6：不变截面定理里”阶—权恒等式”起什么作用？
（答：引理 6.1 给出权为 w 的特征截面沿单参数子群泛轨道的阶等于 μ − w（μ 为源头纤维权），于是”阶恰为零”翻译成”截面权达到纤维权”；主定理供出凸包含零的归一化截面权，通分取乘积即得不变截面。它是把标量定理升级为等变定理的翻译器——设计精巧，但也意味着两套语言间任何常数码错都会传播。）
问 7：谁会用到这个结果？
（答：族内标量非消没链条直接消费它；弧推论（−M 伪有效时沿泛形式弧保阶）对研究 arc space 与赋值的学者是独立工具；对双有理几何中处理”数值有效到线性等价有效”缺口的任何场合，端点引理本身可移植。）
总评
“零头精确归零”的提法新颖，端点引理把代数与几何干净地分层，是族内逻辑最清晰的一环；最大风险在跨姊妹篇的三重依赖（环体积度量、修正环有限生成、紧单值结构）与系数层面未核验的展开论证，整链未经形式化。