结果族 036：Numerical semiampleness and generalized minimal models · 学科：Algebraic and complex geometry · 验证状态：暂无形式化证明，请以社区核验为准
两支温度计读数相同，不代表两支都”能用”——一支可能是坏的。几何里也有这种事：线丛的陈类（读数）温和，线丛本身却可能一个截面都拿不出。论文证明：在紧 Kähler 流形上，只要伴随读数 nef 且原伴随伪有效，这个读数一定能由一支”好温度计”——半丰富线丛——给出；至于原来那支坏的，允许整体换掉。
关键词卡片
看个具体例子
为什么只能谈读数？椭圆曲线 @@M@@E@@ 上取一个非挠点对应的度零线丛 @@M@@M@@：它 nef（读数为零），却没有任何正幂有非零截面。取 @@M@@B=0@@、@@M@@M@@ 如上，定理的结论由”换丛”实现：
@@M@@c_1(L)=c_1(K_E+M)=0@@，其中 @@M@@L=\mathcal O_E@@
坏的 @@M@@M@@ 被换成好的平凡丛，读数分毫不变——这就是”数值陈述”的含义：只保证同一读数下有好代表。
为什么值得关心
这是广义丰富性猜想从射影世界跨入解析（非代数）世界的第一站，而那里可能连一个非常数亚纯函数都没有；它也是族内射影姊妹篇的解析下游。
暂无形式化证明（AI 结果待核验）
第一级台阶
入门导读讲两支温度计：读数相同不代表两支都能用——一支可能是坏的。翻译过来：对象是紧 Kähler 流形上的线丛，”读数”是线丛的第一陈类——只记数值不记具体那一支；”好温度计”是半丰富线丛，它的截面真正给出到射影空间的映射。导读的定理说：只要伴随读数温和、原伴随总量不负，这个读数必定能由一支好温度计给出；原来那支坏的，允许整体换掉。
第二级台阶
用本科术语精确化：设 @@M@@X@@ 是光滑连通紧 Kähler 流形，@@M@@B\ge0@@ 是系数小于一的有理简单正规交叉除子，@@M@@M\in\mathrm{Pic}(X)\otimes\mathbb Q@@ 是 nef 有理线丛——其陈类落在 Kähler 锥的闭包里。假设普通伴随 @@M@@K_X+B@@ 伪有效（陈类含闭正 @@M@@(1,1)@@-电流）且 @@M@@D=K_X+B+M@@ 为 nef。解析世界的”读数”记录在实 Bott–Chern 上同调 @@M@@H^{1,1}_{\mathrm{BC}}(X,\mathbb R)@@ 中；半丰富即某个正倍数是处处由整体截面生成的全纯线丛。
第三级台阶
定理陈述：存在半丰富有理线丛 @@M@@L@@ 使 @@M@@c_1(L)=c_1(D)@@。这是数值陈述——只保证同一读数下有好代表；椭圆曲线上非挠的零度线丛表明原伴随本身可能任何正幂都没有截面，”换丛”不可省。”系数小于一的正规交叉边界”挡住的是极小模型程序类工具所需的 klt 型控制；”伪有效”挡住总量为负、截面无从谈起的情形。论文实际证得更强的分解定理：修改后 @@M@@\mu^*(K_T+B+M)\equiv_{\mathrm{num}}P+R@@，正部 @@M@@P@@ 半丰富、@@M@@R@@ 恰为除子负部分；代数维数为零时更得 @@M@@c_1(M)=0@@。
论文证明了：在紧 Kähler 流形上，当 @@M@@K_X+B@@ 伪有效且 @@M@@K_X+B+M@@（@@M@@M@@ nef）为 nef 时，该伴随类的实 Bott–Chern 陈类必由某个半丰富（semiample）有理线丛代表。这是广义丰富性猜想从射影情形向解析世界的跨越。
丰富性理论（abundance theory）的核心任务是从正性假设中恢复全纯映射：若某个伴随除子 nef，它是否应有足够多的截面？Lazić 与 Peternell 针对射影 klt 对（klt pair）把”广义丰富性猜想”（Generalised Abundance Conjecture）精确表述为数值半丰富性问题，并证明了曲面情形以及数值维数为正的三维情形。加入任意 nef 项 @@M@@M@@ 后会出现新现象：@@M@@M@@ 的平坦部分可以非挠，因此无法指望原来的伴随线丛自身半丰富——椭圆曲线上一个非挠的零度线丛即是反例——只能指望”同一个实陈类有半丰富代表”。此前该问题在紧 Kähler（非代数）流形上毫无着落：nef 项未必来自除子，流形甚至可能没有任何非常值亚纯函数。
设 @@M@@X@@ 为光滑连通紧 Kähler 流形，@@M@@B\geq 0@@ 为系数小于 1 的有理单正规交叉（simple normal crossing）除子，@@M@@M\in \mathrm{Pic}(X)\otimes_{\mathbb{Z}}\mathbb{Q}@@ 为 nef 的有理线丛。若 @@M@@K_X+B@@ 伪有效（pseudo-effective）且 @@M@@D=K_X+B+M@@ 为 nef，则存在半丰富有理线丛 @@M@@L@@ 使得 @@M@@c_1(L)=c_1(D)@@ 在实 Bott–Chern 上同调 @@M@@H^{1,1}_{\mathrm{BC}}(X,\mathbb{R})@@ 中成立。注意这是数值陈述：允许换掉线丛的平坦部分，并不断言原伴随线丛半丰富。论文实际证明更强的分解定理：去掉 @@M@@D@@ nef 的假设，存在修改 @@M@@\mu:U\to T@@ 使 @@M@@\mu^*(K_T+B+M)\equiv_{\mathrm{num}} P+R@@，其中 @@M@@P@@ 半丰富、@@M@@R@@ 恰为除子负部分（negative part）；且当代数维数 @@M@@a(T)=0@@ 时必有 @@M@@c_1(M)=0@@。
证明对维数归纳，射影流形情形直接调用配套射影定理。先处理代数维数为零的情形：借助 Calabi–Yau 型 Kähler klt 对的分解定理，问题归结为环面与带通用辛形式的单形空间；单形情形需要一个”@@M@@K_T+M@@ 的亚纯非零性”陈述，作者把”两条对角线”论证加以推广，其新几何输入是排除扫遍 @@M@@T\times T@@ 的对应族——否则会在有限覆盖上产生非零全纯 1-形式。当 @@M@@0<a(T)<\dim T@@ 时，先在代数约化（algebraic reduction）纤维上用归纳法，但纤维上的分解只精确到某个平坦挠动（flat twist），而该挠动未必延拓到全空间。绕过难点的方法是：用 Barlet–Lieberman–Fujiki 的循环空间（cycle space）理论造出可数多个全局映射，使每个映射容许一个事先固定的全局平坦挠动；再由 Grauert 凝聚基变换把正的纤维 Iitaka 维数转化为亚纯函数，与代数约化的定义矛盾。由此 @@M@@M@@ 在一般纤维上陈类为零，接着做数值下降：把正电流沿纤维推到基上，用连通相交矩阵论证垂直差异必是整体拉回，再用 Lefschetz @@M@@(1,1)@@ 定理恢复有理性，得到射影基上的 nef 有理线丛。最后把普通伴随搬到射影基上：加上基上丰富线丛的大倍数后运行普通负性程序得 @@M@@K_Y+\Delta\sim_{\mathbb{Q}} f^*H@@，并沿 Ambro 的判别式与模线策略（配合周期映射的秩计算）证明 @@M@@H@@ 本身是基上的 klt 伴随。射影定理随之适用；收尾时用混合 Hodge–Riemann 关系把拉回例外除子与整个解析负部分等同，完成归纳。原和为 nef 时负部分消失，再用 @@M@@\mathrm{Pic}^0@@ 在光滑修改下的不变性把半丰富代表降回原流形。
本文主结果尚无 Lean 形式化证明，属”以社区核验为准”的稿件；证明大量依赖配套射影篇（本族另一姊妹篇）的正部定理作为输入，二者互为支撑：射影篇管代数情形，本篇负责解析过渡（下降、循环空间、周期）。另有两点值得读者留意：其一是数值表述的确切含义（允许平坦换丛）；其二是 OpenAI 官方声明”未经形式化的结果可能有问题”，故结论宜以同行核验为最终标准。
问 1：为什么只能断言”数值半丰富”，而不能断言原伴随线丛半丰富？
答：引言给出最低维反例：椭圆曲线上非挠的零度线丛 @@M@@M@@ nef 但任何正幂都无截面；而 @@M@@c_1(K_E+M)=0@@ 可由平凡丛代表。加入任意 nef 项后其平坦部分可以非挠，这是广义丰富性与普通丰富性的本质分岔，定理的结论允许的恰好是”平坦部分换掉”。
问 2：证明中最脆弱的一步在哪里？
答：中间代数维数 @@M@@0<a(T)<\dim T@@ 时 @@M@@M@@ 的数值下降。归纳在代数约化的一般纤维上分解伴随，但纤维上的分解只精确到某个平坦挠动，且该挠动未必延拓到全空间。绕行方案用 Barlet–Lieberman–Fujiki 的循环空间理论造出可数多个全局映射、每张容许一个固定的全局挠动，再用 Grauert 凝聚基变换把正的纤维 Iitaka 维数转化为亚纯函数、与代数约化的定义矛盾。这一段是解析集合论与凝聚方法的缝合处，最易藏错。
问 3：代数维数为零的情形如何处理？
答：经 Calabi–Yau 型 Kähler klt 对的分解定理（[BBYv2] 推论 1.4）归约为环面与带通用辛形式的单形空间；单形情形需要”@@M@@K_T+M@@ 的亚纯非零性”，作者推广了”两条对角线”论证，新几何输入是排除扫遍 @@M@@T\times T@@ 的对应族——否则会在某个固定有限覆盖上产生非零全纯 1-形式。
问 4：与 Lazić–Peternell 的工作相比新意何在？
答：他们把广义丰富性猜想精确表述为数值半丰富性问题，但只证了曲面与三维普通伴随正数值维数情形，且全在射影范畴。本文是进入紧 Kähler 非代数世界的第一站：nef 项不必来自除子、流形可能没有任何非常数亚纯函数，射影工具全部失效，须以电流、循环空间与周期映射重建。
问 5：把普通伴随搬到射影基上那一步的关键是什么？
答：加基上丰富线丛的大倍数后跑普通负性程序得 @@M@@K_Y+\Delta\sim_{\mathbb Q}f^*H@@；第 4 节证明 @@M@@H@@ 本身是基上的 klt 伴随，其无穷小观察是”极端 Hodge 线周期映射的秩等于全周期秩”，由此经有理周期商获得选取有效 klt 边界所需的正性。
问 6：这类 AI 生成证明最可能的出错模式？
答：本文是重输入的归纳：射影正部定理（[P] 命题 8.1）、[K] 的分解定理、[LI] 的周期结果都是配套姊妹篇，任何一处有误会级联；收尾用混合 Hodge–Riemann 关系把拉回例外除子等同于整个解析负部分，这类”解析恒等代数恒等”的衔接是 AI 论文的典型无声出错点。无形式化核验。
问 7：谁会用到它？
答：广义丰富性纲领的解析基石；配套射影篇负责代数情形、本篇负责解析过渡，二者合起来支撑广义极小模型理论在非射影 Kähler 世界的发展。
总评
把广义丰富性猜想从射影推进到可能毫无亚纯函数的解析世界，方法工程浩大；最大风险是它站立在多个未经形式化的姊妹篇输入之上，且循环空间与凝聚基变换的衔接细节值得逐行核验。