结果族 039：Nagata’s conjecture and maximal Seshadri constants · 学科：Algebraic and complex geometry · 验证状态：主结果已 Lean 形式化
把曲面想成一匹总能量为 @@M@@L^2@@ 的布料：往上戳 @@M@@r@@ 个点，每个点都会消耗布料的强度。定理说，只要点数够多、位置一般，每点恰好分到平均的能量份额，谁也占不到便宜——衡量剩余强度的 Seshadri 常数，不多不少正是 @@M@@\sqrt{L^2/r}@@。
关键词卡片
@@M@@\sqrt{L^2/r}@@。看个具体例子
取 @@M@@S=\mathbb P^2@@、@@M@@L=\mathcal O(2)@@：总能量 @@M@@L^2=4@@。戳 @@M@@r=16@@ 个一般点，每点分到 @@M@@4/16=1/4@@，这块”小份额”的边长 @@M@@\sqrt{1/4}=1/2@@ 正是 Seshadri 常数。即使点数不是平方数、各点重数参差不齐，均分规则照样成立。定理保证：存在只依赖 @@M@@(S,L)@@ 的阈值 @@M@@r_0@@，此后每个整数点数都精确取到平均值——曲面上的定性 Nagata–Biran 猜想就此落定。此前的路各有缺口：辛几何的堆满稳定性不固定复结构，转移方法又要借助平面常数的极大性，本文绕开了这些依赖，对任意丰富极化直接证明。
为什么值得关心
“多点正性”是研究截面、辛堆满与插值的基础量；取到最大值意味着这些曲面上不存在任何更刁钻的”抄近路”曲线。
已 Lean 形式化
第一级台阶
导读把曲面比作一匹总能量有限的布料，点会消耗它的强度。翻译成半数学语言：对象是一张曲面连同它的能量配备，操作是在曲面上戳 r 个点、再看还剩多少强度；定理要说的正是导读那句”谁也占不到便宜”：点够多且位置一般时，每点恰好分到平均份额。
第二级台阶
用本科术语说：S 是光滑射影复曲面，L 是丰富线丛，自交 H=L² 是总能量。多点 Seshadri 常数定义为 L·C 除以曲线 C 在各点重数之和的下确界；等价地，它是使爆炸曲面上的类 π*L−λΣE_i 与每条曲线相交都非负的最大 λ，这个”非负”性质称为 nef。截面的 jet 计数给出万有上界 √(H/r)，相当于能量守恒的天花板。
第三级台阶
定理的语境：对每对 (S,L) 存在只依赖它的阈值 r_0，此后对每个整数 r 与非常一般点组，边界类 π*L−√(L²/r)ΣE_i 都 nef。丰富性驱动一切正性（无需很丰富）；非常一般用来同时躲开可数多个失败轨迹；结论落在自交为零的 nef 边界上，等价于没有曲线能以低于平均份额的代价穿过这组点，重数不等也不行。于是 Seshadri 常数不多不少取到 √(L²/r)——导读里的”均分规则”成为定理。
对任意光滑整复射影曲面 @@M@@S@@ 与丰富线丛 @@M@@L@@，本文证明当点数 @@M@@r@@ 超过仅依赖 @@M@@(S,L)@@ 的阈值后，@@M@@r@@ 个非常一般点处的多点 Seshadri 常数恰等于体积上界 @@M@@\sqrt{L^2/r}@@，正面解决曲面上的定性 Nagata–Biran 猜想。
多点 Seshadri 常数（multipoint Seshadri constant）@@M@@\varepsilon(S,L;\mathbf p)=\inf_C L\cdot C/\sum_i \mathrm{mult}_{p_i}C@@ 度量丰富线丛（ample line bundle）在一组点处的局部正性；等价地，它是使爆炸曲面上 @@M@@\pi^*L-\lambda\sum_i E_i@@ 为 nef（与每条积分曲线交非负）的最大 @@M@@\lambda@@。jet 计数给出万有上界 @@M@@\sqrt{L^2/r}@@，定性 Nagata–Biran(-Szemberg) 猜想断言：@@M@@r@@ 充分大时等式在非常一般点组处成立。此前进展各有缺口：Biran 的辛堆满稳定性（symplectic packing stability，1999）不固定复结构，不是代数陈述；Harbourne 的极大性限于 @@M@@rL^2@@ 为平方数（且需很丰富性假设）；Roé 的转移方法与 Biran–Roé–Ross 乘积不等式均须借助相应平面常数的极大性。本文对任意丰富极化与阈值之后的全部整数 @@M@@r@@ 直接给出证明。
主定理：对每对 @@M@@(S,L)@@ 存在整数 @@M@@r_0=r_0(S,L)@@，使得对每个 @@M@@r\ge r_0@@，在非常一般点组（即可数个真 Zariski 闭子集之外、余集非空）处，实除子类 @@M@@\pi^*L-\sqrt{L^2/r}\sum_i E_i@@ 在爆炸曲面上是 nef 的，从而 @@M@@\varepsilon(S,L;\mathbf p)=\sqrt{L^2/r}@@。推论将结论推广到不可数、特征为零的代数闭域。由于结论落在自交为零的 nef 边界类上，它排除了一切”次数与总重数之比低于该数值界”的曲线，包括重数不等的情形。
全文把问题转化为代数环面 @@M@@\mathbb T=(\mathbb C^*)^2@@ 上的有限插值：目标是证明对所有满足 @@M@@m\gt k\sqrt{H/r}@@（@@M@@H=L^2@@）的正整数 @@M@@k,m@@，@@M@@kL@@ 的截面在某组 @@M@@r@@ 个不同点处通过 @@M@@m@@ 阶单射 jet 测试——即只有零截面能在全部测试点消失到阶 @@M@@\ge m@@。与 Alexander–Hirschowitz 渐近后置化定理不同，这里的阈值 @@M@@r_0@@ 必须对任意大的 jet 阶统一生效，这是新的困难点。
先建立传递机制：满秩的初始 Taylor 单项式 jet 矩阵在充分小的解析重标度下保持满秩；取一个带普通结点（node）的除子 @@M@@V\in|dL|@@，其两分支局部即坐标轴，在权 @@M@@(1,t)@@ 下截面的最小 Taylor 指数落入四边形 @@M@@kQ_t@@ 内；再作环面坐标替换并沿 @@M@@(1,1)@@ 方向压缩切片，得到面积 @@M@@k^2H/2@@ 的三角形 @@M@@kP_t@@。两级传递依次作用，便把三角形上的环面测试送回曲面截面。
核心是三角形的连续变形与有限子群测试：@@M@@P_t@@ 的面积恒为 @@M@@H/2@@，令 @@M@@t@@ 连续变动，可为每个充分大的 @@M@@r@@ 调整形状，使某个本原格向量（primitive lattice vector）@@M@@u@@ 上行列式投影的长度恰为 @@M@@\sqrt{rH}@@；取指标为 @@M@@r@@ 的子格，其特征子群 @@M@@G\subset\mathbb T@@ 恰有 @@M@@r@@ 个点（在坐标下即 @@M@@X=1,Y^r=1@@，不必是方格）。若非零 Laurent 多项式在 @@M@@G@@ 上处处消失到阶 @@M@@\ge m@@，对 @@M@@G@@ 取平均将其分解为陪集分量，每个分量的支撑落在面积 @@M@@(kw)^2/2@@、竖直范围 @@M@@kw@@（@@M@@w=\sqrt{H/r}@@）的三角形内；三角形重数引理——按水平切片长度论证并提取 @@M@@(U-1)^e@@ 因子——给出它在单位元处的阶 @@M@@\le kw\lt m@@，矛盾。故环面测试单射，且 @@M@@t@@ 与 @@M@@G@@ 在选定 @@M@@k,m@@ 之前固定。
最后组装：单射性是 Zariski 开条件，可数多个测试由 Baire 纲论证在某非常一般点组同时成立。再从齐次 jet 过渡到 nef：若 @@M@@D_0=\pi^*L-w\sum_i E_i@@ 非 nef，则有曲线 @@M@@C@@ 使 @@M@@D_0\cdot C\lt 0@@；减去小 @@M@@\delta C@@、并把 @@M@@w@@ 微扰为略大的有理数 @@M@@s@@，得 @@M@@D^2\gt 0@@ 且 @@M@@\pi^*L\cdot D\gt 0@@，由 Riemann–Roch 与 Serre 对偶使 @@M@@kD@@ 的倍数有效，加回 @@M@@k\delta C@@ 便得到 @@M@@kL@@ 的截面在所有点消失到阶 @@M@@m=ks\gt kw@@，与测试矛盾。反向的上界 @@M@@\sqrt{H/r}@@ 由初等 jet 计数给出，两界合并即得定理。
本文主结果已由 Lean 形式化证明。族内姊妹篇互相支撑：平面篇把阈值精确到 @@M@@r\ge 10@@ 并处理任意非齐次重数，本文引言将其引用为独立的精细化；高维篇沿用本文的”结点指数界 + 本原方向”机制推广到 @@M@@n\ge 3@@ 维（改用满射 jet 评估，且不以本文定理为输入）；据族概述，该族还包含正特征版本的对应结果。按 OpenAI 官方声明，未经形式化的结果可能有问题；本文已形式化。
问 1：证明中最关键、也最脆弱的一步是哪里？
答：从 jet 测试到 nef 的最后一段（nef 一节）：若边界类非 nef，需减去小倍数的负面曲线、把 √(H/r) 微扰成略大的有理数，造出正平方除子并经 Riemann–Roch 取有效倍数，再”加回去”得到与测试矛盾的等重数截面。扰动中平方为正、正性保持与有理化取整三件事必须严丝合缝，是全文逻辑最紧的一环；此外阈值 r 须对任意大的 jet 阶 (k,m) 统一生效，这与 Alexander–Hirschowitz 的固定重数框架本质不同。
问 2：为什么”非常一般”不可放松？阈值 r_0 能显式化吗？
| 答：可数多组 (k,m) 各自的单射性是 Zariski 开条件，须用 Baire 纲论证取非空交，”一般”不够。r_0 依赖造出的带结点除子 V∈ | dL | 等选择，论文未给出显式或统一的界，也未讨论能否只依赖 L² 等数值不变量。 |
问 3：与已有工作相比真正的新意在哪里？
答：Biran 的辛堆满稳定性不固定复结构，非代数陈述；Harbourne 只处理 rL² 为平方数且需很丰富；Roé 的转移与 Biran–Roé–Ross 乘积不等式都要假设相应平面常数极大。本文对任意丰富极化、阈值之后的全部整数 r 直接证明，不依赖平面情形。
问 4：jet 计数上界为什么天生挡不住等号，证明是怎么绕的？
答：jet 计数只给 ε≤√(H/r)；等号要求 nef 边界类无负交曲线，而负曲线可能重数不齐、次数任意。论文的绕法是把一切 (k,m) 的测试压到环面上有限个子群测试，再由单射性的开性搬回非常一般点组——这正是”非齐次”困难的处理核心。
问 5：AI 生成证明最可能的出错模式是什么？
答：本文主结果已 Lean 形式化，机器风险大减。残余风险在：Lean 陈述与论文陈述的对齐是否逐字等价；特征零域上推论的传递；以及环面切片压缩极限（compression 一节自有 jet 矩阵极限）这类中间引理若未入形式化范围，仍需常规审稿。
问 6：下游推论是什么、谁会用？
答：它是定性 Nagata–Biran 猜想在曲面上的正解；同族高维篇沿用其”结点指数界+本原方向”机制但逻辑上不以它为输入，正特征篇给出对应版本。多点正性是插值、辛堆满与截面增长研究的基础量，r 充分大后可直接引用精确值 √(L²/r)。
总评
对任意极化曲面一举关死定性 Nagata–Biran，且有形式化背书，可信度居本批前列；最大遗憾是阈值不显式，走向有效界仍是公开方向。