结果族 068：Anticanonical nonvanishing in every dimension · 学科：Algebraic and complex geometry · 验证状态：暂无形式化证明，请以社区核验为准
想象一只带细裂纹的瓷碗（数学里的”klt 对”：有温和瑕疵的空间）。要判断碗能不能盛水（线丛有没有截面），只知道”碗总体不倾斜”（nef）还不够，还得拿尺子到裂缝旁量一量——尺子读数不无限膨胀（度量局部有界），水就盛得住。这篇论文把这条直觉证成定理，并推广到带奇点的空间与带对称性的情形。
关键词卡片
看个具体例子
定理条件：@@M@@P=-(K_W+D)@@ nef、拉回到消解后有局部有界的半正度量、@@M@@\chi(\mathcal O_{\widetilde W})\ne0@@；结论：某个正倍数 @@M@@mP@@ 有非零截面。先拿最健康的情况体检——@@M@@W=\mathbb P^2@@、@@M@@D=\varnothing@@，数字版定理：
@@M@@P=-K_{\mathbb P^2}\sim 3L\ \text{丰富},\quad \chi(\mathcal O_{\mathbb P^2})=1\ \Rightarrow\ H^0(\mathbb P^2,-K_{\mathbb P^2})=10\neq0@@
（@@M@@10@@ 恰好是三元三次单项式 @@M@@x^3,x^2y,\dots,y^3@@ 的个数。）光滑丰富情形只是体检；真正威力在 nef、带奇点、只靠”度量有界”撑住的边界情形——那里截面存在远非显然，而这正是绕开此前”半放大”附加假设的新路线。
为什么值得关心
它给出丘成桐反典范非消没问题的一条 klt 路线，并在光滑有理连通簇上免费得到对每个环面作用都对称的不变截面。
验证状态：暂无形式化证明（AI 结果待核验）
对应文章：Bounded anticanonical metrics on klt pairs and torus quotients（结果族 068）
第一级台阶
入门导读把 klt 对比作”带细裂纹的瓷碗”：判断碗能否盛水，只知道”碗总体不倾斜”不够，还得把尺子拿到裂缝旁量一量，读数不无限膨胀才行。翻译成半数学语言：对象是带有温和奇点的空间；操作是先把奇点”熨平”到一个光滑替代空间上，再在那里给目标线丛配一把尺子（度量）；尺子要满足两件事——弯向只朝上一侧（半正），以及在原奇点上方读数有限（局部有界）。
第二级台阶
用本科术语精确化。klt 对指正常空间配上有效有理边界，其典则除子可被某正整数倍约化成 Cartier 除子，且消解后差异系数都大于 −1；Q-因子性指每个 Weil 除子都有正的 Cartier 倍数。除子称为 nef，若它与每条曲线的相交数非负。度量的半正性等价于其权重函数 plurisubharmonic；局部有界指权重在相对紧坐标邻域内上下有界，不必连续。结构层 Euler 特征则是”生成减消失”的全局净计数，是双有理不变量。
第三级台阶
定理 1.1 在此陈述：射影 Q-因子 klt 对上，设反典范除子 P=−(K_W+D) nef，其拉回到某光滑消解后带有局部有界权的半正度量，且消解的结构层 Euler 特征非零，则存在使 mP 成为 Cartier 的正整数 m，使 P 的 m 倍有非零截面。三个假设各挡一类麻烦：nef 挡住曲线层面的负性；局部有界挡住度量奇性过强导致消没定理失效；Euler 特征非零则是造出第一批扭曲微分形式的火种。定理 1.2 再经几何不变量商的构造，把光滑有理连通簇上对每个环面作用都自然不变的截面造出来，并与姊妹篇的有限覆叠结构拼成反典范非消没。
对射影 @@M@@\mathbb Q@@-因子 klt 对证明了”有界度量非消没”判据：反典范除子 nef、拉回在消解上有局部有界半正度量、结构层 Euler 特征非零，则正 Cartier 倍数必有截面；再用 GIT 环面商推出光滑有理连通簇上的自然不变非消没，给出丘成桐反典范非消没问题的一条 klt 路线。
非消没定理要把正性变成指定线丛的截面。对带边界奇点的对（pair）@@M@@(W,D)@@，目标线丛是反典范除子 @@M@@P=-(K_W+D)@@；nef 只保证它对每条曲线交数非负，并不直接给出与某正倍数线性等价的有效除子。此前最好结果是 LMPTX 2023 在三维对数典范对上的数值有效性（num-effectivity），以及 Müller 2025 附加半放大假设或三维时的非消没；光滑半正与半放大的区别在曲面上已经出现——CFSTZ 2026 分类中就有反典范光滑半正但不可能半放大的有理曲面。本文的切入点是：把”度量局部有界”作为从 nef 走向截面的中间条件，并在环面商上具体构造这一条件，最终绕开半放大假设。
定理 1.1（有界度量非消没）：@@M@@(W,D)@@ 为射影 @@M@@\mathbb Q@@-因子 klt 对（Kawamata log terminal），边界为有效有理除子，@@M@@P=-(K_W+D)@@ nef；若在某光滑射影消解 @@M@@\rho:\widetilde W\to W@@ 上 @@M@@\rho^*P@@ 有局部有界权重的半正度量，且 @@M@@\chi(\widetilde W,\mathcal O_{\widetilde W})\ne0@@，则存在使 @@M@@mP@@ Cartier 的整数 @@M@@m>0@@ 使 @@M@@H^0(W,\mathcal O_W(mP))\ne0@@。定理 1.2（稳定商的不变截面）：光滑有理连通射影簇 @@M@@Z@@ 的反典范线丛带光滑半正度量时，对每个作用在 @@M@@Z@@ 上的代数环面 @@M@@T@@，都有 @@M@@m>0@@ 使自然线性化（natural linearization）下 @@M@@H^0(Z,-mK_Z)^T\ne0@@。推论 4.1：光滑连通射影簇上 @@M@@-K_X@@ 光滑半正则 @@M@@H^0(X,-mK_X)\ne0@@。
klt 判据的证明分五步。先用 Riemann–Roch 与带乘子理想子的 Hard Lefschetz 定理造扭曲微分形式：@@M@@\chi(\mathcal O_{\widetilde W})\ne0@@ 使 @@M@@\chi(K_{\widetilde W}+t\rho^*P)@@ 这一多项式在 @@M@@t=0@@ 非零，从而无穷多次非零，固定某个上同调次数后经 Lefschetz 得到无界指数的截面；再沿用 Lazić–Peternell 与 LMPTX 的行列式方法，从这些截面的函数域张量中取出固定的饱和秩一余切张量子层 @@M@@\mathcal O_W(M)@@，配合 LMPTX 的余切子层定理（Ou 的可移动斜率法的对数推广）得 @@M@@-M@@ 伪有效，于是有有效 Weil 除子 @@M@@N_i\sim_{\mathbb Q}M+m_iP@@，@@M@@m_i\to\infty@@。然后取被 @@M@@P@@ 支配的极大纤维化 @@M@@S\to Y@@（即 @@M@@d\pi^*P-f^*A@@ 伪有效、@@M@@\dim Y@@ 极大），极大性排除新铅笔，使 @@M@@N_i@@ 的水平部分随 @@M@@m_i@@ 仿射变化，差商给出 @@M@@\pi^*P@@ 的无水平极点有理截面；沿基素除子取垂直系数最小值，分解 @@M@@r\pi^*P=f^*V+H@@，并保证每个基素除子上方有不含于 @@M@@H@@ 的分量——这个”缺席分量”是后面边界估计的关键。接着做差异舍入：@@M@@R=K_S-\pi^*(K_W+D)@@ 的系数大于 @@M@@-1@@，令 @@M@@E=\lceil R\rceil@@、@@M@@\Xi=\lceil R\rceil-R@@，得恒等式 @@M@@K_S+\pi^*P+\Xi=E@@，且每个非负扭曲的伴随直像秩为一；用 Păun–Takayama 的奇异伴随直像半正性，规范化的纤维积分 @@M@@u_a=-\frac1a\log\int_{S_y}t^a\,d\mu_y@@ 收敛到逐纤维本性上确界（essential supremum）@@M@@u=-\log\operatorname{ess\,sup}|s|^2@@，缺席分量保证 @@M@@u@@ 在基除子附近有上界，可去奇点与 Hartogs 延拓把它扩张成 @@M@@V@@ 上整体局部有界的 psh 度量。最后把支配条件与 Skoda 小指数可积性混合出一个曲率 @@M@@\ge\epsilon f^*\omega_A@@、乘子理想子平凡的度量，其极点恰给出理想 @@M@@\mathcal O_S(-aH)@@；Fujino 的 Kollár–Nadel 消没定理对每个 @@M@@a\ge0@@ 消去高阶上同调，Euler 多项式 @@M@@Q(a)@@ 处处等于截面维数，例外除子 @@M@@E@@ 的典则截面使 @@M@@Q(0)>0@@，多项式非零故某正 @@M@@a@@ 有截面，乘 @@M@@s_H^a@@ 后推回 @@M@@W@@。不变定理则走 GIT：将度量在紧形式上平均，经 Sumihiro 等变嵌入与 Białynicki-Birula 分解证明 @@M@@L@@ 的通有权（generic weight）严格正，对 @@M@@L+\delta J@@ 作小扰动与特征平移使稳定轨迹等于半稳定轨迹，得射影商 @@M@@W=U/T@@；Luna 切片给出系数 @@M@@1-1/e_B@@ 的 klt 边界与等变恒等式 @@M@@L|_U=q^*P@@；沿代数弧的凸性论证（psh 权在对数坐标下凸、初始斜率 @@M@@rw_L\ge0@@）加上图紧化给出平移提升的一致界，轨道上确界范数经 Kiselman 最小值原理成为 @@M@@P@@ 上的有界 psh 度量；有理连通性传给商的消解使 @@M@@\chi=1@@，定理 1.1 产生截面，上确界范数使它在 @@M@@U@@ 上有界从而经可去奇点延拓过整个补集，稠密性给出不变性。最终引用姊妹篇的有限覆叠结构定理与 étale 范数，把 @@M@@Z@@ 因子上的不变截面张上其余因子的不变典则框架，下降后取范数即得 @@M@@X@@ 上的截面。
本文暂无形式化证明，请以社区核验为准。其有限覆叠结构与范数引理直接引用同族第一篇，而主结论与第一篇的有限体积路线、第二篇的不变指标路线构成三条独立互补的论证链。按 OpenAI 官方声明，未经形式化的结果可能有问题。
对应论文：Bounded anticanonical metrics on klt pairs and torus quotients（OpenAI，2026-09-26）
问 1：定理 1.1 的证明链条里最脆弱的一环是什么？
（答：是分解式 rπ*P = f*V + H 中”每个基素除子上方都有不进 H 的缺席分量”这一条。后续所有边界估计都靠它：规范化的纤维积分度量收敛到逐纤维本性上确界，只有在基除子附近用缺席分量的局部截面压住，才能经可去奇点与 Hartogs 延拓扩张成整体局部有界的 psh 度量。它来自极大纤维化的选取与垂直系数最小值的差商，属于”构造性组合”步骤，最容易被边界情形击穿。）
问 2：哪个假设去掉就塌？为什么需要”局部有界”而不止 nef？
（答：三个假设各有用途。nef 只给曲线层面的非负性，不构造有效除子——LMPTX 2023 在三维对数典范情形也只能得到数值有效，而非指定倍数的线性等价截面。局部有界挡住的是度量奇性：klt 差异舍入留下分数阶极点，没有有界性就无法让 Fujino 的 Kollár–Nadel 消没对包括零在内的所有非负扭曲生效，Euler 多项式在零点的正值也就无从谈起。Euler 特征非零则是 Riemann–Roch 加带乘子理想子的硬 Lefschetz 造第一批扭曲形式的必要火种。）
问 3：与 Müller 2025 和 LMPTX 2023 相比，真正的新意在哪里？
（答：Müller 的非消没需要对 MRC 纤维化的一般纤维附加半放大假设（三维除外），其等变化理也需要半放大；LMPTX 在三维得到的是 num-effectivity。本文在任意维数、klt 对上直接得到正倍数的截面，条件换成”拉回度量局部有界的半正性”。这不是无聊的推广：CFSTZ 2026 曲面分类中存在反典范光滑半正但不可能半放大的有理曲面（反典范椭圆曲线的法丛是非挠零度），恰好落在本文条件内、Müller 条件外。）
问 4：环面商部分最容易出错的是哪一步？
（答：平移提升的一致有界性。论文用对数坐标下 psh 权沿代数弧的凸性先证无极点，再用图的紧化升格为局部一致界；随后 Kiselman 最小值原理把轨道上确界范数变成 P 上的有界 psh 度量。凸性论证里初始斜率的符号控制（rw_L ≥ 0）依赖通有权严格正，而这又依赖 Białynicki-Birula 分解的权计算——AI 生成证明在这类”凸性+紧化”的组合上出过错，属高风险区。）
问 5：为什么结论必须用自然线性化，而 GIT 用的却是扰动后的线性化？两者不冲突吗？
（答：不冲突，但论文自己强调了这个危险点。取商时用的是反典范类加小丰富类加小平移的辅助线性化，仅为得到射影稳定商；真正下降的是原来的自然线性化反典范丛。introduction 明确指出：若给后者也做特征平移，结论会改变，并用初等例子（Remark 关于特征的注记）说明。这种”两套线性化各司其职”的写法容易被读者混淆，审稿时应逐处核对。）
问 6：为什么必须绕道”商空间”而不直接在有理连通因子上用非消没？
（答：因为剩余单值群（一个紧环面）仍作用在万有覆盖的紧因子上，因子上的普通截面未必下降到 X。定理 1.2 给出的自然不变截面才是能穿过单作下降的正确输入，这一点正是它区别于普通非消没的价值所在。）
问 7：谁会用到这个结果？
（答：双有理几何与 Ricci 半正结构的研究者。它给出丘成桐问题 75 的一条 klt 路线；光滑情形与姊妹篇的有限体积路线构成两条独立论证；对研究环面作用等变截面的人，定理 1.2 是无条件（对任意代数环面作用）的不变非消没输入。）
总评
这项工作把”度量有界”锻造成 nef 与截面之间的新桥，覆盖了半放大路线够不着的边界情形，方法学上有实质推进；最大风险集中在未形式化前提下的构造性细节（缺席分量、平移提升一致界）与对姊妹篇有限覆叠定理的交叉依赖。