结果族 035：Log-canonical threefold abundance in numerical dimension one · 学科：Algebraic and complex geometry · 验证状态：暂无形式化证明，请以社区核验为准
拍照片要对焦：只拍到一张全灰的照片时什么也认不出，两张不同角度的照片一对比，物体立刻立起来。这篇论文是家族的引擎篇：同样在特征 @@M@@p>3@@ 的三维，但形状更端正（terminal 奇点）。此前的非消失定理只保证某个倍数 @@M@@mK_X@@ 有一个截面——相当于只拍到一张灰片；论文证明一定还能拍到第二张无关的截面，两张一对比就能”对焦”，得到完整的纤维化。
关键词卡片
看个具体例子
定理的数字版：@@M@@K_X@@ nef 且 @@M@@\nu(K_X)=1@@，则存在 @@M@@m@@、射影曲线 @@M@@C@@ 及其上丰富除子 @@M@@A@@，使
@@M@@mK_X\sim f^*A@@（沿纤维严格为零）
即 @@M@@X@@ 被整理成映射 @@M@@f:X\to C@@，固有曲率全部来自底曲线；同时 @@M@@\kappa(X,K_X)=1@@——那两个无关截面张成的正是”一次函数”式的增长。反过来，只要循环障碍不存在（引擎输出的矛盾），第二张照片就必然存在。
为什么值得关心
循环障碍定理被姊妹篇当黑箱引用，把结论从 terminal 推广到任意有理边界的对数典范三维对；证明全程留在特征 @@M@@p@@，不绕道特征零。
暂无形式化证明（AI 结果待核验）
第一级台阶
入门导读拿拍照对焦打比方：一张全灰的照片什么也认不出，两张不同角度的照片一对比，物体立刻立起来。翻译过来：此前的非消失定理只保证某个倍数 @@M@@mK_X@@ 有一个非零截面——一张灰片；本文证明一定能拍到第二张与之无关的截面。两张无关截面放在一起，才能定义出真正的映射，把三维形状的几何”对焦”成一条底曲线上的纤维族。
第二级台阶
用本科术语精确化：@@M@@X@@ 是特征 @@M@@p>3@@ 代数闭域上的正规射影 @@M@@\mathbb Q@@-因子化终端三维体——终端是三维所能有的最温和奇点等级。@@M@@K_X@@ nef 意为与每条曲线相交不负；数值维数 @@M@@\nu(K_X)=1@@ 即存在丰富除子 @@M@@H@@ 使 @@M@@K_X\cdot H^2>0@@ 而 @@M@@K_X^2\cdot H=0@@——正性只活在一个方向。Kodaira 维数 @@M@@\kappa@@ 由截面数随倍数的增长速度定义；半丰富指某个正 Cartier 倍数由整体截面处处生成。
第三级台阶
定理在此语境陈述：@@M@@K_X@@ nef 且 @@M@@\nu=1@@ 时，某个正 Cartier 倍数至少有两个线性无关的整体截面，从而 @@M@@\kappa=1@@ 且 @@M@@K_X@@ 半丰富；几何上给出连通纤维的态射 @@M@@f:X\to C@@ 与底曲线上的丰富除子 @@M@@A@@，使 @@M@@mK_X\sim f^*A@@。”终端”挡住的是三维极小模型程序可用与奇点集有限这些前提；”@@M@@p>3@@“是各项正特征输入的可用下限。要害在排除一个逻辑缝隙：有效典范除子原则上可能 @@M@@\kappa=0@@ 同时 nef 维数极大——没有任何 @@M@@K_X@@-平凡曲线过 very general 点；第二张照片的存在正是对这一可能的否定，且证明全程留在特征 @@M@@p@@，不提升到特征零。
特征 @@M@@p>3@@ 的射影 @@M@@\mathbb{Q}@@-因子化终端（terminal）三维体 @@M@@X@@ 若 @@M@@K_X@@ nef 且数值维数 @@M@@\nu(K_X)=1@@，则 @@M@@K_X@@ 半丰富且 @@M@@\kappa(X,K_X)=1@@：某个正倍数 @@M@@mK_X@@ 至少有两个线性无关的整体截面。论文还孤立出族内核心的”循环障碍定理”——光滑三维体上某类连通 nef 除子不存在。
丰富性猜想断言：奇性温和的射影簇上 nef 的典范除子半丰富。复数域上，Miyaoka 通过本原连通循环（primitive connected cycles）及其无穷小邻域证明了三维数值维数一的情形，Kawamata 用 log MMP 与形式加厚给出另一证明。正特征下，尽管三维 MMP 已在特征 @@M@@p>5@@ 与 @@M@@p=5@@ 建立，Xu 的系列定理仍留有一个逻辑缝隙：数值维数一的有效典范除子原则上可能 Kodaira 维数仍为零、同时 nef 维数极大（maximal nef dimension），即没有任何 @@M@@K_X@@-平凡曲线过 very general 点。本文的新贡献正是造出”第二个多重典范截面”以排除这一可能；而”从一个截面到半丰富”则由 Xu 的已有结果完成。
主定理（原文 Theorem 1.1）：设 @@M@@X@@ 为特征 @@M@@p>3@@ 代数闭域上的正规射影 @@M@@\mathbb{Q}@@-因子化终端三维体，@@M@@K_X@@ nef 且 @@M@@\nu(K_X)=1@@，则 @@M@@K_X@@ 的某正 Cartier 倍数至少有两个无关的整体截面；特别地 @@M@@\kappa(X,K_X)=1@@ 且 @@M@@K_X@@ 半丰富。几何上，这给出连通纤维的态射 @@M@@f:X\to C@@ 到某正规射影曲线以及其上的丰富除子 @@M@@A@@，使 @@M@@mK_X\sim f^*A@@。定理对第一 Betti 数、非正则数与 Albanese 纬垂均无假设。证明全在特征 @@M@@p@@ 中完成，不提升到特征零，也不用轨道 Iitaka 定理。
反证：设 nef 维数 @@M@@n(X,K_X)=3@@（至多二的情形 Xu 已证）。非消失给出有效除子 @@M@@N_0\sim mK_X@@。先做双有理准备，得到”预备循环”（prepared cycle，原文 Proposition 2.1）：光滑射影三维体 @@M@@V@@、可分生成有限态射 @@M@@\rho:V\to X@@、丰富除子 @@M@@H@@ 与有效 Cartier 除子 @@M@@D=\sum_\alpha m_\alpha D_\alpha@@（重数 gcd 为一），满足：支撑连通且为简单正规交叉；@@M@@D@@ nef 且限制在每个分量上数值平凡；@@M@@DH^2>0@@、@@M@@D^2H=0@@、没有 @@M@@D@@-平凡曲线过 very general 点；法线 @@M@@\mathcal{O}_D(D)@@ 在整个非约化 Cartier 概型上为挠（torsion，设其阶为 @@M@@r@@）；且在 @@M@@|D|@@ 的某邻域上 @@M@@\omega_V^{\otimes p^b}\simeq\mathcal{O}(\sum_\alpha b_\alpha D_\alpha)@@。构造要点是：用相对 MMP 孤立出一个约化边界分量，由曲面伴随与曲面丰富性得到其法线的挠性，再经局部上同调与 @@M@@p@@ 幂粘合把挠性扩到非约化循环，最后用驯顺覆盖与本原化定型。
接着证斜率：对 nef 度 @@M@@c_1(\cdot)\cdot H\cdot D@@ 证明切丛与余切丛强半稳定（strong semistability，用 Langer 的 Bogomolov 不等式）；失稳层取叶状商（foliation quotient）会产生过 very general 点的 @@M@@D@@-平凡曲线，故不可能。由此得到 @@M@@c_2(V)\cdot D\geq 0@@ 与极部的一致界，作为下一步的输入。
核心是沿 @@M@@D@@ 的 jet（截断泰勒展开）计算：在逐层 Cartier 加厚上考察截面，保留极点过滤的全部三个上同行，并在周期 @@M@@rp^e@@ 上比较秩。标量行把完成的典范线丛等同于 @@M@@D@@ 的支撑中某个整除子的线，并强迫 @@M@@c_2(V)\cdot D=0@@，还给出最后一层平凡化宽度的极限比率恰为 @@M@@p/(p+1)@@；这些数据同时控制了向量丛情形下各类微分的位置与长度。
由此提炼出形式邻域判据：满足 Euler 恒等式、有界极部与首阶 jet 集中条件的向量丛，其第一 Laurent 上同调消失——即每个闭的 Laurent 形式都有具界极部的原像。
最后是 Cartier 下降与终局矛盾。在 @@M@@|D|@@ 上取 Laurent 环 @@M@@\mathcal{R}=\widehat{\mathcal{O}}_V(*D)@@。上述消失使每个 @@M@@\mathcal{R}@@-线丛带有 Cartier 固定的可积联络；局部坐标下，Katz 的 Cartier 下降（由截断泰勒算子构造的水平投影给出秩一的 @@M@@R^p@@-水平模）表明 @@M@@\operatorname{Pic}(|D|,\mathcal{R})@@ 是 @@M@@p@@-可除群。另一面，把线丛限制到各分量 @@M@@D_\alpha@@ 上与 @@M@@H@@ 相交，定义整值同态 @@M@@\overline\Phi:\operatorname{Pic}(|D|,\mathcal{R})\to\mathbb{Z}@@；挠法线与 @@M@@DD_\alpha H=0@@ 保证它下降到该 Picard 群上，且 @@M@@\overline\Phi(\mathcal{O}(H))=DH^2>0@@。但 @@M@@p@@-可除群的同态像被一切 @@M@@p^n@@ 整除，只能为零——矛盾。故 nef 维数至多二，由 Xu 的定理得半丰富，再经截面空间的基底变换把结论降回原来的域。
本文主结果暂无形式化证明。它是家族的核心篇：其循环障碍定理被十月的姊妹篇（对数典范边界一文）直接引用为黑箱，用于把结论从终端情形推广到任意有理边界的对数典范三维对；两篇互为犄角，共同完成特征 @@M@@p>3@@ 三维数值维数一的丰富性。按 OpenAI 官方声明，未经形式化的结果可能存在问题，请以社区核验为准。
问 1：为什么”第二个截面”才是真正的新步骤？
答：引言明确分工：第一个截面（非消失）与”从正 Kodaira 维数到半丰富”都是 Xu 的定理（[xu2024] 定理 1.4、1.6）。遗留缝隙是：@@M@@\nu=1@@ 的有效典范除子原则上可能 @@M@@\kappa=0@@ 且 nef 维数极大（没有 @@M@@K_X@@-平凡曲线过 very general 点）。定理 1.1 的全部工作就是造出第二张”照片”排除这种退化。
问 2：证明中最关键、最脆弱的一步在哪里？
答：第 4 节的 jet 计算。在循环 @@M@@D@@ 的逐层 Cartier 加厚上保留极点过滤的全部三个上同行，并在周期 @@M@@rp^e@@（@@M@@r@@ 为挠法线之阶）上比较秩；标量行强迫 @@M@@c_2(V)\cdot D=0@@，并给出最后一层平凡化宽度的极限比率恰为 @@M@@p/(p+1)@@。这个精确数字随后控制一切微分的位置与长度——若比率算错半个台阶，第 5 节的 Laurent 上同调消失就断线。
问 3：终局矛盾的结构是什么？
答：双面夹击同一个皮卡群。一面，Laurent 消失使每个 @@M@@\mathcal R@@-线丛带 Cartier 固定的可积联络，Katz 下降推出 @@M@@\mathrm{Pic}(|D|,\mathcal R)@@ 是 @@M@@p@@-可除群；另一面，与 @@M@@H@@ 相交定义整值同态 @@M@@\overline\Phi@@ 且 @@M@@\overline\Phi(\mathcal O(H))=DH^2>0@@。@@M@@p@@-可除群到 @@M@@\mathbb Z@@ 的同态只能为零，矛盾。
问 4：终端假设为什么不能去掉？
答：构造”预备循环”要在光滑三维体上经可分有限态射拉回、相对 MMP 孤立分量、驯顺覆盖本原化——终端性保证三维 MMP 在正特征可用（Hacon–Xu、Birkar，@@M@@p>5@@；Hacon–Witaszek 补 @@M@@p=5@@）且奇点集有限。推广到 log canonical 边界正是姊妹篇的任务，本文不做。
问 5：与 Miyaoka、Kawamata 及 Liu–Xu 相比新意何在？
答：Miyaoka 的本原连通循环与 Kawamata 的形式加厚都在特征零；Liu–Xu 的高维 @@M@@\nu=1@@ 也在 @@M@@\mathbb C@@ 上。本文全程留在特征 @@M@@p@@：不用提升到特征零、不用轨道 Iitaka 定理；新组件是 Langer 关于 nef 组的强半稳定 Bogomolov 不等式，以及把 Katz 的 Cartier 下降推广到非约化循环的刺孔形式邻域。
问 6：这类 AI 生成证明最可能的出错模式？
答：证明是长链条的数值簿记：三行 jet 的秩比较、极部一致界、原像的收敛性与有界极部（第 5 节专门处理”源切割”保证原像真的收敛）。任何一处的指标差一或收敛论证不完整，都会在无声中失效；且挠法线之阶 @@M@@r@@ 与周期 @@M@@rp^e@@ 的纠缠极易算错。无形式化核验。
问 7：谁会用到它？
答：姊妹篇（十月稿）把本文的循环障碍定理当黑箱，把结论从终端推广到任意有理边界的 log canonical 三维对；两篇合起来完成特征 @@M@@p>3@@ 三维数值维数一的丰度，是正特征分类程序的关键组件。
总评
这是家族的引擎篇：把 Miyaoka 式循环方法在正特征重建，Jet–Laurent–Cartier 下降的机器前所未见，分量十足；最大风险是 @@M@@p/(p+1)@@ 级别的精密数值一旦有误全盘皆倒，且其正确性被姊妹篇的整体成立所继承放大。