结果族 039：Nagata’s conjecture and maximal Seshadri constants · 学科：Algebraic and complex geometry · 验证状态：主结果已 Lean 形式化
在一张大纸上钉 10 枚或更多图钉，再派一条 @@M@@d@@ 次代数曲线去逐个”拜会”：第 @@M@@i@@ 枚图钉要拜访 @@M@@m_i@@ 遍。Nagata 在 1959 年猜：只要图钉摆得不特殊，拜会的总次数一定严格少于 @@M@@d\sqrt r@@——曲线想多绕几圈？账单有硬上限。本文对一切 @@M@@r\ge 10@@ 完整证明了这个猜想，并顺带算清了爆炸曲面上相应的 Seshadri 常数。
关键词卡片
@@M@@d@@ 次齐次方程在射影平面里的零点集，允许可约。@@M@@\sum_i m_i<d\sqrt r@@。@@M@@1/\sqrt r@@。看个具体例子
取 @@M@@r=10@@：上限为 @@M@@d\sqrt{10}\approx 3.162\,d@@。若 @@M@@d=10@@：每点重数 @@M@@3@@ 时总账 @@M@@30<31.6@@，尚有可能；每点重数 @@M@@4@@ 则 @@M@@40>31.6@@，必然无解。为什么从 10 开始？@@M@@r=9@@ 时过 9 个一般点总有不为零的三次曲线，@@M@@9=3\times\sqrt 9@@ 恰好卡在等号上，严格不等式无从谈起。Nagata 本人当年只证出点数为平方数（至少 16）的情形，此后六十多年的最好记录也停在略低于 @@M@@\sqrt r@@ 的位置，本文终于触线。
为什么值得关心
它是多项式插值问题的地基，并精确钉死了爆炸曲面的多点 Seshadri 常数；而且整个主定理已通过计算机辅助的形式化证明验证，可信度极高。
已 Lean 形式化
第一级台阶
导读的图景是大纸上钉图钉、派曲线去拜会。翻译成半数学语言：对象是射影平面里的一组点与一条给定次数的代数曲线，操作是要求曲线在每个点处”打转”指定圈数；定理要说的是：点摆得不特殊时，打转圈数的总和有一条随曲线次数按根号增长的硬上限。
第二级台阶
用本科术语说：平面曲线是二元齐次多项式在射影平面里的零点集，次数 d 是多项式的总次数；曲线在一点的重数是多项式在该点泰勒展开中最低次项的次数，即”打转圈数”。”点摆得不特殊”精确化为非常一般：位于配置空间中可数个真闭子集之外。爆炸曲面上把每个点换成一个例外除子后，曲线消耗正性的效率就是 Seshadri 常数，等于一切 d 与重数之比的下确界。
第三级台阶
定理的语境：r≥10 个非常一般复点，对任意非零有效曲线与任意重数向量一致成立。非常一般不可放松为一般，因为结论要对无穷多组次数与重数同时成立，须避开可数多个陷阱；r≥10 是真门槛，r=9 时过九点的三次曲线恒存在，恰卡在等号上；非零有效排除零曲线的平凡满足。结论：总重数严格小于 d√r，等价地在爆炸曲面上 √rH−ΣE 严格 nef，Seshadri 常数恰为 1/√r——导读里”账单有硬上限”从此是定理而非比喻。
证明了 @@M@@r\ge 10@@ 个非常一般复点上，任何带任意重数 @@M@@m_i@@ 的非零有效平面曲线必满足 @@M@@\sum_i m_i\lt d\sqrt r@@，以严格、非齐次的形式完全确立 Nagata 猜想，并给出爆炸曲面上多点 Seshadri 常数的精确值 @@M@@1/\sqrt r@@。
过多点作平面曲线是经典插值问题：给定点的位置与所需消失阶，曲线次数 @@M@@d@@ 最小能有多小？Nagata 在研究希尔伯特第十四问题（Hilbert’s fourteenth problem）时于 1959 年提出该猜想，并证明了点数为平方数（至少 16）的情形。维数计数给出临界尺度：@@M@@d@@ 次型有 @@M@@\binom{d+2}{2}@@ 个系数，@@M@@r@@ 个点上阶 @@M@@\ge m@@ 至多施加 @@M@@r\binom{m+1}{2}@@ 个线性条件，首项恰在 @@M@@d=m\sqrt r@@ 处平衡。条件计数只能保证该尺度之上曲线存在；要证明之下不存在，必须对所有 @@M@@m@@ 一致地控制条件之间的线性相关，这正是难点。此外 @@M@@r=9@@ 时非零三次曲线总存在，严格不等式不可能从 9 开始。此前最好结果如 Roé 的 @@M@@d\gt m(\sqrt{r-1}-\pi/8)@@（@@M@@r\ge 10@@）与十点情形的 @@M@@d/m\ge 117/37@@，均未触及 @@M@@\sqrt r@@ 本身。
主定理：对每个整数 @@M@@r\ge 10@@，存在配置空间 @@M@@U_r@@ 中可数个真 Zariski 闭子集之并 @@M@@E_r@@（余集非空），使得对 @@M@@E_r@@ 之外的任意点组 @@M@@(p_1,\ldots,p_r)@@：若非零有效平面曲线（effective plane curve，即某个 @@M@@d\ge 1@@ 次齐次形式的零除子，允许可约与非约化）满足 @@M@@\mathrm{mult}_{p_i}C\ge m_i@@，则必有 @@M@@d\sqrt r\gt\sum_{i=1}^r m_i@@。重数向量完全任意（非齐次形式），且同一点组对所有次数与重数向量一致成立。推论：结论经 @@M@@\mathbb Q@@ 上定义的关联轨迹延伸到任意不可数、特征为零的代数闭域；在 @@M@@r@@ 点爆炸（blow-up）曲面上，除子类 @@M@@\sqrt r\,H-\sum_i E_i@@ 严格 nef 且自交为零，故多点 Seshadri 常数（multipoint Seshadri constant）@@M@@\varepsilon(\mathcal O(1);p_1,\ldots,p_r)=1/\sqrt r@@。
先做归约：若某非常一般点组出现违约曲线，则由关联轨迹的闭性与有理定义性，相应线性系统在每个点组都有非零解（普适系统 @@M@@\mathsf U_r(d,m)@@）；再用 Nagata 的循环乘积技巧——对重数向量取 @@M@@r@@ 次循环置换、各取一条曲线相乘——得到等重数系统，次数 @@M@@d=rd_0@@、公共重数 @@M@@m=\sum_i m_i@@，且 @@M@@d/m\le\sqrt r@@，还可取任意公倍数放大。于是只需排除一切 @@M@@d/m\le\sqrt r@@ 的普适系统。
再把曲线化为法丛上的多项式：让点沿切向逼近一条 @@M@@k@@ 次光滑曲线 @@M@@B@@，重标度法向坐标后取极限，得到法丛全空间 @@M@@\mathrm{Tot}(M)@@ 上的多项式 @@M@@F(w)=\sum_j f_j w^j@@，系数 @@M@@f_j\in H^0(B,L^{d-kj})@@，在任意指定的法向位移处仍消失到阶 @@M@@\ge m@@。平方情形 @@M@@r=k^2@@ 由此直接排除：选取使 @@M@@A=M(-P)@@ 非挠的点组（正 genus 曲线上挠线丛仅可数个，故可选）以及落在赋值像之外的位移，最高次项的度数计数与 @@M@@w^{m-1}@@ 系数比较均导出矛盾。
非平方情形改用三次曲线：九个点取零法向位移，迫使前 @@M@@m+1@@ 个系数落入同一度数 @@M@@h=3(d-3m)@@ 的截面空间 @@M@@H^0(B,T\otimes A^{m-j})@@；先用类似计数证明 @@M@@d\gt 3m@@。剩余 @@M@@q=r-9@@ 个点沿水平线碰撞，@@M@@b@@ 次纤维求导后基座阶至少 @@M@@q(m-b)@@，故某个有限维 jet 映射 @@M@@J_\tau@@ 必有非平凡核。随后让三次曲线退化为 @@M@@X_\tau=\mathbb C^*/\tau^{\mathbb Z}@@，乘性 theta 函数（multiplicative theta function）的剩余类 Laurent 基给出显式坐标，其归一化表达式在对数坐标 @@M@@(x,y)@@ 下趋于 @@M@@e^{Kx+jy}@@（@@M@@K@@ 为 Laurent 指数、@@M@@j@@ 为纤维次数），混合导数给出极限矩阵 @@M@@(K^\ell j^b)@@，其中 @@M@@0\le b\lt m@@、@@M@@0\le\ell\lt q(m-b)@@，列由指数对 @@M@@(j,K)@@ 标号。
最后用插值排除核：单纯的总数计数不够，关键在按固定 @@M@@K@@ 的水平行分组——只要每行点数 @@M@@\le m@@，且点数 @@M@@\ge t@@ 的行数 @@M@@\le q(m-t+1)@@，单项式张成的空间 @@M@@\mathrm{span}\{K^\ell J^b\}@@ 便能插值指数集上的任意函数，矩阵满列秩。指数对恰含于一个多边形 @@M@@\mathcal D_\lambda@@，其水平切片宽度轮廓恰好提供这两条界；由于 @@M@@d/m@@ 有理而 @@M@@\sqrt r@@ 无理，严格间隙 @@M@@d/m\lt\sqrt r@@ 允许取收缩参数 @@M@@\lambda\lt 1@@，并取 @@M@@(d,m)@@ 的公倍数吸收取整端点误差。满秩对充分小的正 @@M@@\tau@@ 保持，与每个固定曲线上 @@M@@J_\tau@@ 有核矛盾，定理得证。
本文主结果已由 Lean 形式化证明。它是结果族 039 的基石：曲面姊妹篇明确把 @@M@@r\ge 10@@ 的严格阈值与严格非齐次不等式引用为本文的独立精细化，高维篇则沿用同一套机制；本文得到的 @@M@@\varepsilon=1/\sqrt r@@ 正是族概述中极大 Seshadri 常数断言的平面原型。按 OpenAI 官方声明，未经形式化的结果可能有问题；本文已形式化，可信度较高。
问 1：证明中最关键、也最脆弱的一步是哪里？
答：03-limits 与 04-interpolation 两节的衔接：让点沿切向逼近三次曲线、把曲线系统极限化成法丛上的多项式，三次曲线再退化为 C*/τ^Z，用乘性 theta 函数的 Laurent 基写出极限矩阵 (K^ℓ j^b)，最后靠”按固定 K 分行”的插值引理证满列秩。满秩对充分小的正 τ 保持，与每个固定曲线上 jet 映射有核矛盾——这是整条反证法的咽喉。
问 2：为什么必须”非常一般”而不能只是”一般”？
答：结论要对所有次数 d 与所有重数向量同时成立，每个 (d,m) 组合排除的是一个真 Zariski 闭子集，合计可数个；”非常一般”即位于这可数并之外。若只取一般点组，任何有限个条件之外仍可能落入某个陷阱。
问 3：r≥10 这个门槛为什么不能再降？
答：r=9 时过九个一般点的非零三次曲线总存在，总重数 9 恰等于 3·√9，严格不等式从 9 起就不可能；导读中的数字反例即此。论文对 r≥10 全部成立，正好接住这个临界。
问 4：与已有工作相比真正的新意在哪里？
答：Nagata 本人只证了点数为平方数（至少 16）；此前最好记录是 Roé 的 d>m(√(r−1)−π/8)（r≥10）与十点情形的 117/37，都停在略低于 √r 处。本文首次触线：一切 r≥10、严格、非齐次（重数向量任意），并顺带钉死爆炸曲面的 ε=1/√r。
问 5：AI 生成证明最可能的出错模式是什么？它适用吗？
答：本文风险显著低于同批结果：主定理已通过 Lean 形式化验证。残余风险在两点——Lean 语句与论文非形式语句的对齐（陈述是否等价需人工核对），以及推论层面（特征零代数闭域的传递、Seshadri 常数取值）若未被形式化覆盖，仍属常规审稿范围。
问 6：下游推论是什么、谁会用？
答：它是结果族 039 的基石：曲面姊妹篇引用其严格阈值与严格非齐次不等式，高维篇沿用同一套”逼近—退化—插值”机制；对多项式插值与射影几何中 Seshadri 常数计算的研究者，r≥10 的精确值 1/√r 可直接引用。
总评
六十年老猜想在严格非齐次形式下的完整解决，且有形式化背书，是本批结果中可信度最高者；真正的剩余问题是它能否启发 r<10 边界与齐次形式的进一步精确化。