结果族 036：Numerical semiampleness and generalized minimal models · 学科：Algebraic and complex geometry · 验证状态：暂无形式化证明，请以社区核验为准
裁缝量衣：nef 是”量哪儿都不吃亏”，半丰富是”真能照尺寸裁出衣服”——给出到射影空间的映射。这篇论文证明：给奇点温和的形状加上任意”不吃亏”的附加项 @@M@@M@@，只要总尺寸不吃亏，就一定数值等价于一件真能裁的版型。读数对，就能换出好版型。
关键词卡片
看个具体例子
数字版：@@M@@M=0@@ 的特例正是普通丰度——它是本文的输入而非推论；直接推论则是：@@M@@K_X+B\equiv 0@@ 时，形状上每个 nef 除子都数值半丰富。”数值等价”这一步不可再省：复椭圆曲线上一个非挠的零度线丛 nef 且读数为零，却没有任何正幂次拿得出截面，所以只能指望换成同读数的好版型。天平读数相同，左右可以互换。
为什么值得关心
特征零射影 klt 情形的广义丰富性猜想由此解决，补上极小模型纲领”从 nef 到半丰富”的一环；Kähler 姊妹篇正是把它当引擎使用。
暂无形式化证明（AI 结果待核验）
第一级台阶
入门导读用裁缝量衣作比：nef 是”量哪儿都不吃亏”，半丰富是”真能照尺寸裁出衣服”——截面给出到射影空间的映射。翻译过来：对象是射影簇上的除子，操作是逐条曲线读度数；导读的定理说：给奇点温和的形状加上任意一个”不吃亏”的附加项，只要总尺寸不吃亏，它就与一件真能裁的版型在所有读数上完全一致——读数对，就能换出好版型。
第二级台阶
用本科术语精确化：@@M@@(X,B)@@ 是特征零代数闭域上的射影 klt 对——奇点温和等级的带边界形状；@@M@@K_X+B@@ 伪有效（总量平均不负），@@M@@M@@ 是 nef 的 @@M@@\mathbb Q@@-Cartier 除子，且总和 @@M@@D=K_X+B+M@@ 也 nef。数值等价 @@M@@D\equiv L@@ 指两者在每条整曲线上度数相同；”数值半丰富”即与某个半丰富 @@M@@\mathbb Q@@-Cartier 除子（某正倍数截面处处生成）在同一簇上数值等价。
第三级台阶
定理陈述：此情形必存在半丰富的 @@M@@L@@ 使 @@M@@D\equiv L@@。”数值放宽”挡住的是一维就出现的反例——椭圆曲线上非挠的零度线丛 nef 且数值平凡，却无任何正幂截面；”伪有效”挡住总量为负、截面无从谈起的情形；klt 奇点等级是极小模型程序与丰富性输入的可用范围。取 @@M@@M=0@@ 时结论等价于普通 klt 丰富性——那是本文的输入而非推论；真正的增量在典范类平凡的情形：直接推论是 @@M@@K_X+B\equiv0@@ 时簇上每个 nef 除子都数值半丰富。论文还证得更强的”正部”形式：合适模型上除子 Zariski 分解的正部是有理且数值半丰富的。
论文在特征零代数闭域上的射影 klt 对上证明了 Lazić–Peternell 广义丰富性猜想：若 @@M@@K_X+B@@ 伪有效、@@M@@M@@ nef 且 @@M@@K_X+B+M@@ nef，则 @@M@@K_X+B+M@@ 必数值等价于一个半丰富 @@M@@\mathbb{Q}@@-Cartier 除子。这补上了极小模型纲领中”从 nef 到半丰富”的关键一环。
nef 除子（nef divisor）在每条曲线上度数非负，半丰富（semiample）除子则有由整体截面生成的正倍数、从而给出到射影簇的态射；从数值正性走到全纯截面正是丰富性猜想（abundance conjecture）的核心。Lazić–Peternell 把广义丰富性表述为：加上任意 nef 项后，结论必须放宽为”数值等价于半丰富”。数值放宽即使在维数一也不可省：复椭圆曲线上非挠的零度线丛 nef 且数值平凡，但任何正幂次都没有非零截面，而 @@M@@K@@ 平凡、@@M@@B=0@@ 时它正是定理的反例情形。此前已知结果限于曲面、三维部分情形或附加数值/度量假设的 Chaudhuri、Fontanari 等特例，核心障碍是：典范类平凡簇上满 nef 维数的除子未必直接提供截面。
设 @@M@@(X,B)@@ 为特征零代数闭域上的射影 klt @@M@@\mathbb{Q}@@-对，@@M@@K_X+B@@ 伪有效（pseudo-effective），@@M@@M@@ 为 nef 的 @@M@@\mathbb{Q}@@-Cartier 除子，且 @@M@@D=K_X+B+M@@ 为 nef，则存在半丰富 @@M@@\mathbb{Q}@@-Cartier 除子 @@M@@L@@ 使 @@M@@D\equiv L@@（@@M@@\equiv@@ 表示在所有整曲线上度数相同的数值等价）。取 @@M@@M=0@@ 时结论与普通 klt 丰富性等价，后者是本文的输入而非推论。直接推论：若 @@M@@K_X+B\equiv 0@@，则 @@M@@X@@ 上每个 nef @@M@@\mathbb{Q}@@-Cartier 除子都数值半丰富。论文还证明更强的”正部”形式：在某个光滑双有理模型上，@@M@@w^*(K_X+B+M)@@ 的除子 Zariski 分解正部（positive part @@M@@P_\sigma@@，Nakayama 理论）是有理除子且数值半丰富。
证明是两条命题的同步归纳：@@M@@(P_n)@@ 说在”满 nef 维数”条件（某个 @@M@@T+aM@@ 在过非常一般点的每条曲线上度数为正）下 @@M@@T+cM@@ 对一切 @@M@@c>0@@ 都是大的（big）；@@M@@(Z_n)@@ 说正部有理且数值半丰富。先沿 Lazić–Peternell 的双有理约略路线运行一对相容的极小模型程序，同时保住一个半丰富的普通伴随和一个邻近的 nef 广义伴随；Iitaka 维数为正时沿纤维做归纳，剩下的满维数情形归结为 klt Calabi–Yau 对。此处必须新证的引理是：满 nef 维数的 nef 除子必大。终端情形（@@M@@K_X\sim 0@@）用反证法：把 @@M@@L@@ 的丰富逼近 @@M@@P=r(L+tA)@@ 归一化到体积有界而 @@M@@r\to\infty@@，于是过非常一般点的每条曲线的 @@M@@P@@-度数有趋于无穷的整下界。一方面得”标量 jet 估计”——非常一般点处截面消没阶 @@M@@\leq 4k\rho@@；若违反则产生移动基点成分族，低一维的 @@M@@(P_f)@@ 给出其上 @@M@@K+L@@ 为大，再用 Birkar–Zhang 极化双有理性定理造出度数有界的曲线族，与 @@M@@r\to\infty@@ 矛盾。另一方面在 @@M@@X\times X@@ 上的射影丛构作双槽 jet 系统，得到远超标量界的消没阶。最后用 Frobenius 比较收网：先把固定复数据扩散到正特征，Mustaț–Schwede 型 Frobenius jet 把普通 jet 放大为与剩余特征 @@M@@p@@ 成比例的阶，而小极化在对角线上限制秩、点爆破上的固定可动曲线又给出相反的不等式，二者不相容，矛盾。经指标一覆盖与边界摄动推广到一切 klt Calabi–Yau 对后，再用 nef 约化与典范丛公式装配正部命题，并把数值半丰富性降回原簇、推广到任意特征零代数闭域。
主结果暂无形式化证明，宜以社区核验为准。本文与本族 Kähler 篇互为支柱：本文的射影正部定理（其第 8.1 型命题）被 Kähler 篇直接引作输入，而其依赖的普通 log 丰富性与终止性 MMP 又来自配套文献；整条证明链尚未经独立同行评审。另请留意 OpenAI 官方声明”未经形式化的结果可能有问题”。
问 1：@@M@@M=0@@ 时定理等价于普通丰富性，那本文真正的增量在哪里？
答：引言明说：由 Fukuda 定理，@@M@@M=0@@ 的数值代表使 @@M@@K_X+B@@ 自身半丰富，故普通 klt 丰富性是输入（引 [LA] 定理 1.1）。新内容在典范类平凡的世界：klt Calabi–Yau 对上任意 nef 除子的数值半丰富性（推论 2），即”满 nef 维数 @@M@@\Rightarrow@@ 大”这一此前完全悬置的缺口。
问 2：满 nef 维数与大性之间的缺口为什么是核心障碍？
答：满 nef 维数只要求过 very general 点的每条曲线度数为正；大性要求体积为正。Lazić–Peternell 的定理 B 需附加翻转终止与低维丰富性假设，数值维数零情形还要另设猜想；Chaudhuri、Fontanari 只覆盖 nef 约化基维数低或曲面等特例。文献共识是：平凡典范类簇上的 nef 项不直接供应截面。
问 3：证明中最脆弱的一步是什么？
答：终端平凡典范情形的反证装置：把丰富逼近 @@M@@P=r(L+tA)@@ 归一化到体积有界而 @@M@@r\to\infty@@，使过非常一般点曲线的 @@M@@P@@-度数有趋于无穷的整下界。一边得标量 jet 估计（消没阶 @@M@@\le4k\rho@@），违反时移动基点成分族经低一维归纳与 Birkar–Zhang 极化双有理性造出度数有界曲线族矛盾；另一边在 @@M@@X\times X@@ 上的射影丛构作双槽 jet 系统得远超标量界的消没阶。两边的常数衔接全靠 Frobenius 比较收网——固定复数据先扩散到正特征，用 Mustaţă–Schwede 型 jet 与 Langer 的斜率控制放大，任何一处一致性条件不齐即无声失效。
问 4：为什么停在 klt 而不做到 log canonical？
答：证明依赖配套文献 [LA] 的 log 丰富性与 [MM] 的终止性 MMP，其可用范畴是 klt；指标一覆盖与边界摄动也都在 klt 内操作。lc 情形论文未展开。
问 5：与 Lazić–Peternell 相比的新意具体是什么？
答：一是无条件：不再假设翻转终止或低维丰富性，覆盖全部数值维数；二是新证”满 nef 维数的 nef 除子在 klt Calabi–Yau 对上必大”，并给出排除性论证的显式证明，包括有限覆盖间对应（correspondences）的情形——这是 [LP] 约略路线中缺失的几何内核。
问 6：这类 AI 生成证明最可能的出错模式？
答：jet 与 Frobenius 机器改编自 [LA] 第 7–9 节，作者自称”带一致性条件复现比较证明”——改编时最易丢失的就是原证明里隐含的一致性（对族、对特征 @@M@@p@@ 的一致）。加上双有理约略沿 [LP] 但输入换成未经形式化的 [LA]、[MM]，级联风险高；结论无法用显式数值抽查。
问 7：谁会用到它？
答：它就是族 036 的射影引擎：Kähler 姊妹篇把本文的射影正部定理（第 8.1 型命题）直接引作输入，负责解析过渡；广义极小模型、广义对的有效基底定理等也以此为从 nef 到半丰富的一环。
总评
特征零射影 klt 情形的广义丰富性猜想由此完整解决，几何内核（平凡典范类上的大性）确是硬缺口；最大风险是 jet–Frobenius 机器改编中一致性条件的悄然丢失，以及整条证明链依赖多个未形式化同伴稿。