结果族 068：Anticanonical nonvanishing in every dimension · 学科：Algebraic and complex geometry · 验证状态：暂无形式化证明，请以社区核验为准
想象一沓面额越来越大的代金券，每张兑换时都要被扣掉同一笔固定手续费；只要面额能无限增大，这篇论文证明：你一定能兑换出一张完全不扣手续费的纯券，而且原来享受的会员折扣（对称性）原样保留。它研究的是高维空间上”带固定误差、无限增长的对称截面”如何兑换出”纯的正度数对称截面”。
关键词卡片
看个具体例子
把定理画出来：每一级台阶是一个度数 @@M@@m_j@@ 的不变截面，红色方块是同一块固定误差 @@M@@P@@。度数越大，误差占比越小：@@M@@m_j=10@@ 时占 @@M@@1/10@@，@@M@@m_j=1000@@ 时占 @@M@@1/1000@@——被无限稀释。定理说这种稀释必然”结晶”出一个正度数 @@M@@m@@ 的纯截面（完全不带红块）。
再结合紧环面单值结构，把万有覆盖紧因子上造出的不变截面”下降”回原空间，就得到标题性结论：@@M@@-K_X@@ 光滑半正的高维空间必有 @@M@@H^0(X,-mK_X)\neq0@@。
为什么值得关心
“固定误差被无界增长洗掉、特征标签被保留”是全新机制，是任意维数反典范非消没证明链的中枢一环。
验证状态：暂无形式化证明（AI 结果待核验）
对应文章：Cohomological transfer and equivariant anticanonical sections（结果族 068）
第一级台阶
入门导读把定理比作”面额越来越大的代金券”：每张兑换都被扣同一笔固定手续费，但只要面额能无限增大，手续费占比就被无限稀释，最终必能兑换出一张完全免费的纯券，而且会员折扣原样保留。翻译成半数学语言：对象是高维空间上一列度数无限增大、却都背着同一块固定误差的对称截面；操作是取两个不同度数的截面之比，让固定误差在比值中相消；结论是必能从中”结晶”出一个正度数、不带误差的对称截面，且它仍贴着原来的对称标签。
第二级台阶
再用本科术语精确化。代数环面作用在线丛上时需要一个与空间作用相容的”线性化”，它像旋转桌面时把餐具朝向一起转过来；截面称为不变的，若它在群作用下不动，即落在平凡特征标上。除子称为伪有效，若其数值类落在有效锥的闭包里。反典范丛 @@M@@L=-K_X@@ 光滑半正，指它带有曲率非负的光滑 Hermitian 度量。
第三级台阶
主定理在此陈述：设 @@M@@X@@ 光滑连通射影，@@M@@L@@ 光滑半正，环面 @@M@@T@@ 作用其上；@@M@@P,M@@ 是带线性化的线丛，@@M@@P@@ 底层就是 @@M@@L@@ 且其线性化与自然作用只差一个特征标，@@M@@-M@@ 伪有效。若不变截面 @@M@@H^0(X,M+iP)^T@@ 对一个无界的正整数集都非零，则存在 @@M@@m>0@@ 使 @@M@@H^0(X,mP)^T@@ 非零。每个假设都在挡麻烦：线性化相容让两个截面的商成为不变有理函数，特征标恰好相消；无界度数保证误差被稀释殆尽；伪有效在零次数处提供基方向的正曲率。配上姊妹篇在零点取真值的不变指标与紧单值下降，就得到 @@M@@H^0(X,-mK_X)\neq0@@ 的标题性结论。
对 @@M@@-K_X@@ 带光滑半正度量的光滑射影复簇 @@M@@X@@，本文证明不变量转移定理：带固定伪有效误差的无界度数环面不变截断必产生某个正度数的无挠不变截断；结合紧环面单群结构作下降，最终得到任意维数的反典型非消没 @@M@@H^0(X,-mK_X)\ne0@@。
反典型非消没（anticanonical nonvanishing）问：当反典型丛 @@M@@L=-K_X=\det T_X@@ 具有曲率非负的光滑 Hermitian 度量（光滑半正）时，是否存在 @@M@@m>0@@ 使 @@M@@H^0(X,mL)\ne0@@。问题可追溯到 Yau 1994 年问题清单（Problem 75）。结构层面，Demailly–Peternell–Schneider（1996）证明了此类簇万有覆盖的全纯等距分裂，Campana–Demailly–Peternell（2015）进一步识别紧因子为有理连通；LMPTX（2023）与 Müller（2025）分别在三维及附加半丰富假设的高维建立（数值）非消没，但数值有效并不保证线丛本身有截断。任意维数的无条件截面存在性长期悬置。若再引入群作用，还有第二重障碍：上同调方法造出的截断必须落在指定特征标（character）之上。
主定理（不变量转移，Invariant transfer）：设 @@M@@X@@ 光滑连通射影，@@M@@L=-K_X@@ 带光滑半正度量，代数环面 @@M@@T@@ 作用其上；@@M@@P,M@@ 是带 @@M@@T@@-线性化（linearization）的线丛，@@M@@P@@ 作为普通线丛就是 @@M@@L@@（其线性化可与自然切丛行列式作用相差一个特征标），@@M@@-M@@ 伪有效（pseudoeffective，数值类落在有效锥的闭包中）。若有无界正整数集 @@M@@I@@ 及非零不变截断 @@M@@s_i\in H^0(X,M+iP)^T@@，则存在 @@M@@m>0@@ 使 @@M@@H^0(X,mP)^T\ne0@@：固定误差被消除而特征标被保留。推论一：若 @@M@@\chi(X,\mathcal O_X)\ne0@@，则自然线性化下 @@M@@H^0(X,mL)^T\ne0@@。推论二（标题性结论）：每个 @@M@@-K_X@@ 光滑半正的光滑连通射影复簇，必有某个正幂 @@M@@-mK_X@@ 的非零截断。
转移定理的骨架是”比值域给出纤维化”。同线性化度数的不变截断乘积之比是不变有理函数，其公共域决定一个到射影基的有理映射；沿一般纤维，诸 @@M@@s_i@@ 的除子随 @@M@@i@@ 仿射变化，无界性迫使斜率有效，故商 @@M@@s_j/s_i@@ 提供相对反典型截断。难点是跨过退化纤维：先在双有理模型 @@M@@\mu:W\to X@@ 与正规等维模型 @@M@@f_W:W\to Y@@ 上，对每个基素除子减去最小规范化阶数，得到 @@M@@kP_W-f_W^*(kB)@@ 的正则截断；再让两个度量分工——高次数的伴随纤维积分取根后收敛到逐纤维最大值，给出 @@M@@kB@@ 上有界半正度量；零次数处由 @@M@@-M@@ 的伪有效性提供基方向曲率为正的另一度量，延拓为 @@M@@-K_Y+D_*@@，其中 @@M@@D_*\ge0@@ 拉回后是 @@M@@X@@ 上的例外除子。关键在于 @@M@@\mathcal O_Y(-D_*)@@ 含于乘子理想（multiplier ideal）@@M@@\mathcal J@@，且与有界度量作张量后 @@M@@\mathcal J@@ 不变；于是 Nadel 消没把 @@M@@\mathcal O_Y(D_*+jkB)\otimes\mathcal J@@ 的截断维数化为 @@M@@j@@ 的多项式，它在 @@M@@j=0@@ 处取正值，故必在某个正整数处非零。所得截断经相对截断提升回 @@M@@X@@，例外修正自动消失。
上同调输入分三步。先由姊妹篇的不变反典型指标定理（其在零处的值是真实指标而非形式外推），加上连通环面在奇异上同调上作用平凡、@@M@@\chi^T(X,\mathcal O_X)=\chi(X,\mathcal O_X)\ne0@@，选出固定次数的无界不变上同调；再用半正硬化 Lefschetz 定理将其转为 @@M@@\Omega_X^{n-q}\otimes L^{m+1}@@ 的不变截断（Bochner–Kodaira 论证可等变化）；最后按 Lazic–Peternell 行列式法把向量丛饱和化后的最高外积拧成线丛 @@M@@M@@ 上的不变截断 @@M@@M+a_iL@@，而 LMPTX 余切张量定理保证 @@M@@-M@@ 伪有效，套用主定理即得推论一。推论二依赖紧环面单群（compact torus monodromy）结构：万有覆盖分解 @@M@@\widetilde X=\mathbb{C}^c\times V\times F@@，取有限指标后覆盖变换群在 @@M@@F@@ 上经紧环面 @@M@@H@@ 作用；@@M@@F@@ 无正次全纯形式，故 @@M@@\chi(F,\mathcal O_F)=1@@，于是在 @@M@@F@@ 上得到 @@M@@H@@-不变截断，与 @@M@@\mathbb{C}^c,V@@ 上的平行逆典范标架张量后下降到有限覆盖，再以有限 étale 范数（乘遍 Galois 变换的不变乘积）送回 @@M@@X@@。
本文与族内姊妹篇互相咬合：紧单群结构与有限 étale 范数取自文中引作的 CompanionH，不变指标定理取自 CompanionI；本文的纤维化去误差机制又被同族另两篇复用为固定误差转化。全部结果暂无 Lean 形式化证明；按 OpenAI 官方声明，未经形式化的结果可能存在问题，结论请以社区核验为准。
对应论文：Cohomological transfer and equivariant anticanonical sections（OpenAI，2026-09-26）
问 1：转移定理的证明里最关键、也最脆弱的一步是哪里？
（答：是”两个度量分工”之后的乘子理想环节。高次数的伴随纤维积分取根后收敛到逐纤维最大值，给基上线丛一个有界半正度量；零次数处由 −M 的伪有效性给基方向曲率为正的另一度量，延拓为 −K_Y+D_∗。关键在于 O_Y(−D_∗) 含于乘子理想、且与有界度量张量后乘子理想不变——只有这样，Nadel 消没才把截面维数化为关于指数 j 的多项式，并在 j=0 处取正值，从而某个正整数处非零。这一步一旦有缝隙，”零点为正”就失去保障。）
问 2：为什么”−M 伪有效”这个假设不能去掉？
（答：它专管零次数。纤维积分度量在高次数处表现良好，但在基方向没有正曲率来源；−M 伪有效恰好提供基方向曲率为正的那个度量，两者互补成一条完整链条。论文未讨论去掉该假设的任何变体。）
问 3：与已有工作相比，真正的新意是什么？
（答：LMPTX 2023 在三维对数典范情形得到的是数值有效——数值等价于有效除子，不等于指定倍数的线性等价截面；Müller 2025 的高维非消没要对 MRC 一般纤维附加半放大。本文在任意维数、只用光滑半正度量，就得到正幂截面，而且整套论证是等变的：特征标在转移中被保留。这个”误差被洗掉、特征标签被保留”的机制是新的。）
问 4：上同调输入链有多可靠？
（答：它引用了两个姊妹篇的结果：不变反典范指标（零点取真值）来自 CompanionI，紧单值结构与有限 étale 范数来自 CompanionH。论文本身再用”连通环面在奇异上同调上作用平凡”、半正系数硬 Lefschetz 的等变化（Bochner–Kodaira 论证）与 Lazic–Peternell 行列式法补齐。这是三篇互相咬合的自引生态：任何一环有误，推论二都连带受影响。）
问 5：为什么最后要取”有限 étale 范数”而不是直接下降截面？
（答：万有覆盖分解后，覆盖变换群在紧因子 F 上经一个紧环面作用，F 上的不变截面张上 C^c 与 V 上的平行反典范标架只能下降到有限覆盖；变换群未必平凡，所以要把乘遍所有 Galois 变换的不变乘积——范数——取出来送回 X。F 无正次全纯形式保证 χ(F,O_F)=1，这是指标定理能启动的前提。）
问 6：推论一为什么需要 χ(X,O_X)≠0？
（答：不变指标在零点的真值等于 χ^T(X,O_X)，而连通环面在奇异上同调上作用平凡，故它就是 χ(X,O_X)。这个数非零才能让指标多项式不是零多项式，从而选出固定次数的无界不变上同调。论文未讨论 χ=0 时结论是否仍成立。）
问 7：谁会用到这个结果？
（答：同族另两篇手稿直接复用本文的”固定误差转化”机制；推论二给出丘成桐 Problem 75 的任意维数回答，是双有理几何与 Ricci 半正结构研究的直接输入；等变版本对研究环面作用下的不变截面理论的人是独立工具。）
总评
这是整条证明链的中枢节点：机制漂亮、组合严密，任意维数无条件截面是其分量所在；最大风险是三篇姊妹作交叉依赖形成的”自引闭环”，以及乘子理想与纤维积分收敛这些解析细节未经形式化核验。