结果族 068：Anticanonical nonvanishing in every dimension · 学科：Algebraic and complex geometry · 验证状态：暂无形式化证明，请以社区核验为准
想象你在数一栋大楼每层楼的窗户：楼层越高窗户越多，而且增长严格有规律，像能写出公式的那种。这篇论文就是在数”对称图形”——在高维复空间上数”转完之后保持不变”的几何对象，证明这个数目随尺寸严格按多项式增长，而且把尺寸缩到零时，公式给出的恰好是真实起点值，不是硬外推出来的。
关键词卡片
看个具体例子
主定理说：计数函数 @@M@@I_T(m)@@ 在某个等差数列的指数上等于一个多项式 @@M@@P(m)@@，且 @@M@@P(0)@@ 是真实计数。取最小的情形——环面完全不动的黎曼球面 @@M@@\mathbb P^1@@：反典范幂的 Euler 特征 @@M@@\chi(\mathcal O(2m))=2m+1@@，落在一条直线上。
妙处在”零点取真值”：只看远处像多项式，排除不了它恒为零；@@M@@P(0)=1\neq0@@ 说明多项式活着，于是某些大指数处计数非零。配上第二条定理——从无界增长的有效扭曲中消去固定的伪有效误差——两块拼图合成对丘成桐 Problem 75 的完整回答：@@M@@-K_X@@ 光滑半正时 @@M@@H^0(X,-mK_X)\neq0@@。
为什么值得关心
反典范非消没是双有理几何悬置多年的核心缺口，本文与姊妹篇给出任意维数的第一条无条件证明链，”零点取真值”是全新的技术武器。
验证状态：暂无形式化证明（AI 结果待核验）
对应文章：Invariant anticanonical indices and conversion of twisted differentials（结果族 068）
第一级台阶
入门导读把论文比作”数大楼每层楼的窗户”：楼层越高窗户越多，增长严格有规律，且缩到零层时公式给出真实值。翻译成半数学语言：对象是一个带一族可交换对称性的高维复空间，操作是给”转完之后不变”的几何对象做净计数——生成的减去消失的。”零层取真值”意味着这条计数规律延伸到最小指数时，落点恰好是真实的起点计数，而不是远处拟合出来的假象。
第二级台阶
再用本科术语精确化。紧环面是可交换的紧连通李群，它全纯地作用在紧复流形上；反典范丛是由全纯体积形式的对偶确定的线丛，群在切空间上的微分自动给出它的”自然线性化”。对每个非负整数指数，不变 Euler 特征定义为各阶不变上同调维数的交错和，即平凡表示在 Dolbeault 指标中的重数。另一侧：除子称为伪有效，若其数值类落在有效锥的闭包里；线丛称为光滑半正，若它容许曲率非负的光滑 Hermitian 度量。
第三级台阶
定理 1.1 就在这个语境下陈述：对任意紧复流形上的环面作用，存在正整数 a 与有理多项式 P，使不变 Euler 特征在 a 的每个正倍数上等于 P(m)，且 P(0) 等于零指数处的真实计数——全程不用射影性、Kähler 性或正性假设。”可除等差数列”挡住的是格点计数只在充分大指数才规则化的麻烦；”自然线性化”挡住的是平凡特征在零点跳变的退化。定理 1.2 则断言：反典范丛光滑半正时，一列无界增长的有效扭曲可以消去任意固定的伪有效误差，得到某个正指数的截面。两条定理彼此独立，只在最后经”先下降、后转换”拼合出反典范非消没。
证明两条独立定理——紧环面作用下反典范幂的不变 Euler 特征（invariant Euler characteristic）在可除等差数列上为多项式且在零点取真值；光滑半正反典范簇上可从无界有效扭曲中消去固定伪有效误差——再经”先下降后转换”组合成丘成桐反典范非消没问题的完整证明。
本文围绕两个动机问题展开。其一：紧环面 @@M@@T@@ 在紧复流形 @@M@@F@@ 上全纯作用时，指数 @@M@@m=0@@ 处的不变 Euler 特征 @@M@@I_T(0)@@ 能否 forcing 大指数处的上同调？其二：光滑射影簇上，固定的伪有效（pseudoeffective）误差能否从一列无界增长的有效扭曲中消去？两者汇合于丘成桐 Problem 75 的反典范非消没问题：@@M@@-K_X@@ 光滑半正时 @@M@@H^0(X,-mK_X)@@ 是否非零。此前障碍在于剩余单值作用（monodromy）以紧环面作用在万有覆盖的紧因子上，截面未必能下降；而已知方法（Müller 2025）需要半放大假设。本文的关键新意是”在零点取值”：单纯的多项式渐进无法区分多项式是否恒为零，端点信息才是排除零多项式的武器。
定理 1.1（不变反典范指标）：紧实环面 @@M@@T@@ 全纯作用于紧复流形 @@M@@F@@，@@M@@-K_F@@ 取微分诱导的自然线性化（natural linearization），则存在 @@M@@a>0@@ 与 @@M@@P\in\mathbb Q[t]@@ 使 @@M@@I_T(m)=P(m)@@ 对 @@M@@a@@ 的每个正倍数成立，且 @@M@@P(0)=I_T(0)@@。无需射影性、Kähler 性或任何正性假设。定理 1.2（伪有效误差转换）：@@M@@S@@ 光滑连通射影，@@M@@L=-K_S@@ 有半正曲率光滑度量，@@M@@D@@ 为伪有效 Cartier 除子；若 @@M@@H^0(S,\mathcal O_S(m_jL-D))\ne0@@ 对严格递增的 @@M@@m_j@@ 成立，则存在 @@M@@k>0@@ 使 @@M@@H^0(S,\mathcal O_S(kL))\ne0@@。推论 5.2：光滑连通射影复簇上 @@M@@-K_X@@ 光滑半正则 @@M@@H^0(X,-mK_X)\ne0@@ 对某 @@M@@m>0@@ 成立。
指标定理走局部化路线：Atiyah–Bott–Segal–Singer 等变 Dolbeault 不动点公式把 @@M@@I_T(m)@@ 写成平凡特征系数，对固定分量极化分母后成为有理多面体上的多项式加权格点计数；先在闭多面体上用基本平行六面体分解与二项式恒等式（加权 Ehrhart 理论）得到可除指数上的多项式性；删去的坐标面贡献的常数项是 @@M@@(\chi(D)-\chi(A))W(0,0)@@，而反典范特征 @@M@@w=\sum_i\nu_i@@ 恰好使外点 @@M@@u@@（在 @@M@@I@@ 上坐标为 @@M@@-1@@、其余为 @@M@@1@@）落在多面体的仿射方程空间中，从 @@M@@u@@ 出发的射线首次进入 @@M@@D@@ 必经被删面，给出形变收缩（deformation retraction）@@M@@\chi(A)=\chi(D)=1@@，删面贡献的常数项相消；幸存常数恰为 @@M@@m=0@@ 处的真实计数。再配合半正系数的 Hard Lefschetz 定理（DPS 2001）：@@M@@I_T(0)\ne0@@ 时某固定 @@M@@p@@ 与无界大 @@M@@m@@ 给出不变扭曲形式 @@M@@H^0(F,\Omega_F^p\otimes L_F^{m+1})^T\ne0@@。转换定理则分四步：先取被 @@M@@L@@ 支配的极大基，截面比值必落在 @@M@@\mathbb C(Y)@@ 中，插值恒等式使水平零点阶随指数仿射变化，得 @@M@@N_2-N_1@@ 水平部分有效；再沿基除子取垂直阶数最小值，规范化出基上线丛 @@M@@B@@ 与非零映射 @@M@@\sigma:f^*B\to\ell\pi^*L@@，并由极大性证出伴随直像秩一；接着用 Berndtsson 直像半正性定理，以 @@M@@L^{2k}@@ 范数经 Hölder 不等式与 Dini 定理收敛到 @@M@@\sigma@@ 的逐纤维最大值权，配以规范化提供的边界估计，得 @@M@@B@@ 上局部有界的半正度量；最后混合度量使曲率 @@M@@\ge\epsilon f^*\omega_H@@ 且乘子理想子（multiplier ideal）平凡（Skoda/Demailly–Kollár 可积性），Fujino 的 Kollár–Nadel 消没定理对一切 @@M@@k\ge0@@ 生效，Euler 多项式 @@M@@Q(k)=h^0@@ 处处成立，例外典则截面使 @@M@@Q(0)>0@@，多项式非零故某正指数有截面，乘 @@M@@\sigma^k@@ 后推到 @@M@@S@@。应用环节次序关键：引用姊妹篇的有限覆叠结构定理与 étale 范数引理，把 @@M@@F@@ 上的不变形式先张上其他因子的不变典则框架、经牌不变性单射下降到有限覆叠 @@M@@S@@，转换定理只在下降后使用，无需任何等变强化。
本文暂无形式化证明，请以社区核验为准。其几何骨架（有限覆叠结构、范数引理）直接引用同族第一篇手稿，而第一篇的有限体积归纳路线又与本文的不变指标路线互补，两篇交叉印证同一主结论；第三篇则把结论推广到 klt 对。按 OpenAI 官方声明，未经形式化的结果可能有问题。
对应论文：Invariant anticanonical indices and conversion of twisted differentials（OpenAI，2026-09-26）
问 1：定理 1.1 证明里最脆弱的一步在哪里？
（答：是”删去坐标面的常数项相消”那一步。加权 Ehrhart 理论给出可除指数上的多项式性，但被删去坐标面贡献一个未知常数项；论文用反典范特征在仿射计数空间中造出一个外点，使从它出发的射线首次进入多面体必经被删面，形成形变收缩，把该常数项化为紧多面体欧拉特征之差并证明其相消。这一步一旦有误，P(0)=I_T(0) 失效，多项式可能是零多项式，整条路线塌掉。introduction 承认退化多面体情形需要单独的直接论证，这正是容易藏错的地方。）
问 2：为什么必须用”自然线性化”，换一个线性化行不行？
（答：不行，论文自己给了反例：在单点上把平凡线丛扭一个非平凡的环面特征，则每个正幂的不变维数都是零、零次幂是一，端点信息完全失效。自然线性化下，不动点分量上的纤维特征恰是法切特征之和，这个恒等式才是控制零点值的机制。）
问 3：与已有工作相比，真正的新意是什么？
（答：用硬 Lefschetz 加非零 Euler 特征制造无穷多扭曲形式，在 DPS 2001 定理 2.7.3 中对典范幂已经出现；本文的新意是不变反典范指标在零点取真值——单纯的多项式渐进区分不了零多项式。另一侧，Müller 2025 的定理 C 造不变 plurisection 需要半放大假设，本文换成度量光滑半正，且不设纤维半放大条件。）
问 4：定理 1.2（误差转换）的关键链条是哪一环？
（答：取被 L 支配的极大基，使截面比值落在基函数域中、水平零点阶随指数仿射变化；规范化出映射 σ: f*B → ℓπ*L 并由极大性证伴随直像秩一；Berndtsson 直像半正性给 B 上半正度量，规范化给局部有界权；最后 Fujino 的 Kollár–Nadel 消没使 Euler 多项式处处等于截面维数，例外典则截面保证零点为正。”伴随直像秩一由极大性推出”是整条链最非显然的一环。）
问 5：这个结果最可能以什么模式出错？
（答：两类典型风险。其一，加权 Ehrhart 部分引用的是 2012 年预印本（Baldoni–Berline–De Loera–Köppe–Vergne）的特定小节，组合恒等式在退化多面体上的细节是 AI 生成证明常见的暗角。其二，应用环节的几何输入（有限覆叠结构、étale 范数引理）直接引自姊妹篇手稿，形成交叉引用链：姊妹篇若出错，本文最后的应用连带失效——这是”自我引用生态”的系统性风险。）
问 6：为什么只得到某个正倍数 m 的截面，而不是 m=1？
（答：论文给出 Enriques 曲面例子：其典则丛是 2 阶挠且一次反典范无截面，乘上 P^1 后得到反典范光滑半正却非挠的簇，一次幂仍无截面。所以在同等一般性下正倍数不可再改进。）
问 7：谁会用到这个结果？
（答：双有理几何方向的工作者：它直接回答 Yau 问题 75（光滑半正反典范的非消没）；同族第三篇把结论推进到 klt 对；转换定理还可独立用作”无穷扭曲形式提取截面”的工具，补上了 Lazić–Peternell 型引理中被假设排除的数值平凡情形。）
总评
“零点取真值”是漂亮且可能成为标准工具的想法，证明链技术密度极高；最大风险在于结果未形式化、组合细节（退化多面体）与对姊妹篇的交叉依赖都需要专家逐行核验。