结果族 035：Log-canonical threefold abundance in numerical dimension one · 学科：Algebraic and complex geometry · 验证状态：暂无形式化证明，请以社区核验为准
面团发酵时，膨胀可以朝四面八方，也可以只朝一个方向鼓成一根”面包棍”。高维形状的”正性”也是如此：数值维数 @@M@@\nu@@ 数的正是正性集中的方向个数。丰度猜想问：只朝一个方向鼓的正性，最后会不会长成一束排列整齐的纤维？论文在特征 @@M@@p>3@@（一个算术规则诡异、许多复数工具失灵的世界）的三维给出肯定回答，而且允许形状本身有相当宽松的奇点。
关键词卡片
@@M@@1+1+\cdots+1@@（@@M@@p@@ 次）@@M@@=0@@ 的数系上的几何，直觉常被破坏@@M@@\nu=1@@ 即只朝一个方向鼓看个具体例子
定理的判据可以写成两条相交不等式：@@M@@(K_X+B)\cdot H^2>0@@ 而 @@M@@(K_X+B)^2\cdot H=0@@——第一层”体积”为正、第二层”体积”归零，正性确实只活在一个方向。结论：这样的 @@M@@K_X+B@@ 必半丰富，三维形状被整理成一束纤维。
为什么值得关心
它补上正特征三维丰度猜想在数值维数一情形的最后缺口，与终端姊妹篇（提供核心的”循环障碍”黑箱）合成从终端到一般对数典范的完整谱系。
暂无形式化证明（AI 结果待核验）
第一级台阶
入门导读用发面团作比：膨胀可以朝四面八方（整个面团鼓起来），也可以只朝一个方向（鼓成一根面包棍）。翻译过来：对象是三维形状上一个除子的”正性”，操作是数正性集中的方向个数——数值维数。导读的定理说：只朝一个方向鼓的正性，最终必然把整个形状整理成一束排列整齐的纤维。
第二级台阶
用本科术语精确化：设 @@M@@(X,B)@@ 是代数闭域上的射影对数典范三维对——@@M@@B@@ 是记录奇点的有效有理”扣除项”；伴随除子 @@M@@K_X+B@@ 假设为 @@M@@\mathbb Q@@-Cartier 且 nef，即与每条曲线的相交数都不负。数值维数一定义为：存在丰富除子 @@M@@H@@ 使 @@M@@(K_X+B)\cdot H^2>0@@ 而 @@M@@(K_X+B)^2\cdot H=0@@——第一层”体积”为正、第二层归零，正性只活在一个方向。”半丰富”指某个正 Cartier 倍数由整体截面处处生成，从而给出到射影空间的真实映射。
第三级台阶
定理在这样的语境陈述：在特征 @@M@@p>3@@ 的代数闭域上，nef 且数值维数一的 @@M@@K_X+B@@ 必半丰富。”特征 @@M@@p>3@@“挡住的是三维极小模型程序与各种消没定理的可用下限，也是证明中定量 bend-and-break 等工具的舞台；”对数典范”允许相当宽松的奇点，不要求终端性与 @@M@@\mathbb Q@@-因子性；结论把纯粹数值的正性兑换成几何态射。这恰是此前所有现成定理都不覆盖的组合：数值维数一而 nef 维数为三。
在特征 @@M@@p>3@@ 的代数闭域上，射影对数典范（log canonical）三维对 @@M@@(X,B)@@ 的伴随除子 @@M@@K_X+B@@ 若为 @@M@@\mathbb{Q}@@-Cartier、nef 且数值维数（numerical dimension）等于一，则必半丰富（semiample）。这补全了正特征三维丰富性猜想在数值维数一情形的最后缺口，且不要求 @@M@@X@@ 终端或 @@M@@\mathbb{Q}@@-因子化。
丰富性猜想（abundance conjecture）是极小模型纲领的后半程：当 @@M@@K_X+B@@ 在极小模型上成为 nef 除子后，猜想它的某个正 Cartier 倍数由整体截面生成，即半丰富，从而把纯粹数值的有效性转化为 Iitaka 纤维化这样一个几何态射。复数域上，Miyaoka 与 Kawamata 证明了三维数值维数一的情形，Keel–Matsuki–McKernan 又推广到对数典范三维对。正特征的门槛更高：在 Hacon–Xu、Birkar、Hacon–Witaszek 等人逐步建立起三维 MMP 之后，Xu 在特征 @@M@@p>3@@ 下证明了对数典范三维对的非消失（nonvanishing）、nef 维数至多二时的丰富性，以及数值维数二的情形。遗留下来的恰是最微妙的组合：数值维数一而 nef 维数为三——此时所有现成定理都不适用。
主定理（原文 Theorem 1.1）：设 @@M@@k@@ 为特征 @@M@@p>3@@ 的代数闭域，@@M@@(X,B)@@ 为 @@M@@k@@ 上的射影对数典范三维对，@@M@@X@@ 正规，@@M@@B@@ 为有效 @@M@@\mathbb{Q}@@-除子，@@M@@K_X+B@@ 为 @@M@@\mathbb{Q}@@-Cartier。若 @@M@@K_X+B@@ nef 且数值维数为一——等价地，对某丰富 Cartier 除子 @@M@@H@@ 有 @@M@@(K_X+B)H^2>0@@ 而 @@M@@(K_X+B)^2H=0@@——则 @@M@@K_X+B@@ 半丰富。边界系数允许对数典范性下的一切有理数；@@M@@X@@ 既不必终端（terminal），也不必 @@M@@\mathbb{Q}@@-因子化（@@M@@\mathbb{Q}@@-factorial）。
全文是反证法，最终目标是构造出一个被姊妹篇禁止的”循环障碍”（cycle obstruction）。
先做归约：经不可数域扩张，再取 crepant @@M@@\mathbb{Q}@@-因子化 dlt 修改并跑相对典范 MMP，可假设底层簇本身终端且 @@M@@\mathbb{Q}@@-因子化，而新对仍为对数典范、新 log 典范类仍 nef、数值维数一、nef 维数三——终端性靠”MMP 中离散量不下降”保住。Xu 的非消失定理随即给出非零有效 Cartier 除子 @@M@@N_0\sim m(K_X+B)@@。
真正的困难在于：障碍定理需要”典范丛的幂”在某除子邻域上的关系，而手里只有混入边界 @@M@@B@@ 的伴随除子。论文分三步拆解。第一步是边界分离：证明 @@M@@B\cdot N_0\cdot H=0@@，从而 @@M@@B@@ 的每个素分量要么整个含于 @@M@@\operatorname{Supp} N_0@@、要么与之完全不相交。若不然，由 @@M@@(K_X+B)N_0H=0@@ 可推出 @@M@@K_XN_0H<0@@；取 @@M@@u_lH@@ 与 @@M@@v_l(H+lN_0)@@ 的一般完全交曲线 @@M@@C_l@@，可使比值 @@M@@N_0C_l/(-K_XC_l)@@ 任意小，于是 Jovinelly–Lehmann–Riedl 的定量 bend-and-break 定理给出过 @@M@@C_l@@ 每一点、@@M@@N_0@@-度数为零的有理曲线，而这类曲线穿过 very general 点，与 nef 维数为三矛盾。
第二步是孤立化与挠性：把边界沿 @@M@@N_0@@ 抬到对数典范阈值，在 dlt 模型上造出一个系数为一的分量；再跑一段对整个 log 典范类平凡的 partial MMP（沿用 Keel–Matsuki–McKernan 的光线论证、Xu 的表述），把这个分量与除子的其余部分分离。对该约化分量用伴随（adjunction）和曲面丰富性（Tanaka、Posva），得其 Cartier 倍元的法线是挠群（torsion）；再借助姊妹篇的延拓论证，把挠性从约化概型提升到整个非约化 Cartier 概型——后续的 jet 计算必须用非约化版本。
第三步组装被禁的循环：终端性使奇点集有限，于是公共分解的例外除子服从与边界相同的支撑分离；对多重典范指数 @@M@@m@@ 的 prime-to-@@M@@p@@ 部分作有限可分根覆盖并取分解，最后取拉回除子的一个连通分支并除以重数的最大公因数，得到光滑三维簇 @@M@@V@@ 上的 Cartier 除子 @@M@@D@@：它 nef、支撑连通且为简单正规交叉、重数本原（gcd 为一）、法线 @@M@@\mathcal{O}_D(D)@@ 挠，且 @@M@@\omega_V^{\otimes p^b}@@ 在其邻域上同构于支撑在 @@M@@D@@ 中的除子对应的线丛。这正是姊妹篇障碍定理（原文 Theorem 2.1）断言不存在的对象，矛盾。故 nef 维数至多二，最后用 Xu 的丰富性定理收尾。
本文主结果暂无形式化证明。它是家族中的”推广篇”：核心的循环障碍定理来自九月的姊妹篇（终端三维体一文），本文将其当作黑箱使用，自己负责从任意有理边界的对数典范数据构造出全部所需输入；两篇合起来覆盖从终端到一般对数典范的完整谱系。按 OpenAI 官方声明，未经形式化的结果可能存在问题，请以社区核验为准。
问 1：为什么”数值维数一而 nef 维数三”是此前所有定理都够不着的组合？
答：nef 维数三意味着没有任何 @@M@@L@@-度数为零的曲线穿过 very general 点（引言明确此定义）。Xu 的非消失与 nef 维数至多二的丰度定理（[Xu] 定理 1.4、1.8）及数值维数二情形（定理 1.1）都以此为界；数值维数一但 nef 维数三时，Keel 型判据与 nef 约化都失效，只能正面构造矛盾。
问 2：证明中最关键的一步是什么？
答：边界分离（命题”separation”）：证明 @@M@@B\cdot N_0\cdot H=0@@，从而每个边界素分量要么整个含于 @@M@@\mathrm{Supp}\,N_0@@、要么与之不相交。若相交为正，一般完全交曲线的 @@M@@N_0@@-度与反典范度之比可任意小，Jovinelly–Lehmann–Riedl 的定量 bend-and-break 便给出穿过 very general 点的 @@M@@N_0@@-平凡有理曲线，与 nef 维数三矛盾。这一步刻意写成不依赖 MMP 的独立论证——它是全文几何的核心，若 bend-and-break 的定量常数在特征 @@M@@p@@ 失准，全盘皆输。
问 3：@@M@@p>3@@ 的下限为什么不能放松？
答：证明依赖的特征范围链条是：三维 MMP（Hacon–Xu、Birkar、Birkar–Waldron 在 @@M@@p>5@@，Waldron、Hashizumme–中村–Tanaka 的 lc 推广，Hacon–Witaszek 处理 @@M@@p=5@@）与 Zheng Xu 在 @@M@@p>3@@ 的非消失定理。@@M@@p=2,3@@ 时这些输入均不存在，论文未展开。
问 4：与姊妹篇（终端三维体一文）的分工和新意何在？
答：姊妹篇处理终端情形并抽出更强的结构性结果——光滑三维簇上某类连通 nef Cartier 除子（循环障碍，其定理 2.1）不存在。本文把它当黑箱，自己负责从任意有理边界的对数典范数据构造出满足障碍定理全部假设的对象：边界分离、孤立化、挠性提升、循环组装。两篇合成从终端到一般 lc 的完整谱系。
问 5：为什么挠性必须建立在非约化 Cartier 概型上？
答：伴随与曲面丰度（Tanaka、Posva）只给出约化分量上 Cartier 倍元法线的挠性；而后续 jet 计算需要完整的非约化结构，故论文收录姊妹篇的延拓论证，跨过有限多个点把挠性提升到整个非约化 Cartier 概型。若只有约化版本，循环障碍的组装条件不全。
问 6：这类 AI 生成证明最可能的出错模式？
答：反证链条长且强依赖黑箱：归约到终端 @@M@@\mathbb Q@@-因子模型靠”MMP 离散量不下降”；prime-to-@@M@@p@@ 指数经有限可分根覆盖剥离；取拉回除子连通分支并除以重数最大公因数。每步都有精细的数值与挠性守恒要求，任何一步的指标或支撑条件未被完整传递，矛盾就悄悄失效；且障碍定理本身未经形式化。
问 7：谁会用到它？
答：它补全了正特征三维 lc 丰度在数值维数一的最后缺口——配合 Xu 的非消失、nef 维数至多二及数值维数二结果，nef 伴随的三维 lc 丰度在 @@M@@p>3@@ 谱系闭合；这也是正特征高维分类与良好约化问题的基石之一。
总评
这是正特征三维丰度拼图的收官一角，方法上”构造被禁循环”的设计相当精巧；最大风险是它把姊妹篇的障碍定理当作未核验黑箱，且定量 bend-and-break 的正特征常数衔接值得逐行复查。