结果族 039：Nagata’s conjecture and maximal Seshadri constants · 学科：Algebraic and complex geometry · 验证状态：暂无形式化证明，请以社区核验为准
把”能量布料”换成 @@M@@n@@ 维的能量块：总能量 @@M@@L^n@@，戳进 @@M@@r@@ 个一般点后每点分到体积 @@M@@L^n/r@@，它的 @@M@@n@@ 次方根就是 Seshadri 常数的天花板。本文证明：维数 @@M@@\ge 3@@ 时，只要点数越过某个阈值，这个天花板就被精确达到——高维版的 Nagata–Biran–Szemberg 断言成立。
关键词卡片
@@M@@(L^n/r)^{1/n}@@，由爆炸簇上自交数非负给出。看个具体例子
取 @@M@@X=\mathbb P^3@@、@@M@@L=\mathcal O(2)@@，则 @@M@@L^3=8@@；对 @@M@@r=32@@ 个非常一般点：
@@M@@D\varepsilon=\Big(\frac{L^3}{r}\Big)^{1/3}=\Big(\frac{8}{32}\Big)^{1/3}=\frac{1}{\sqrt[3]{4}}\approx 0.63 .@@
这就是”每点分到体积 @@M@@1/4@@、取棱长”的均分图像在三维的落地：任何经过这 32 个点的曲线，交数与重数之比都不会更省。点数翻倍到 @@M@@r=64@@，份额缩成 @@M@@8/64=1/8@@，棱长 @@M@@(1/8)^{1/3}=1/2@@——均分规则随点数自动缩放。定理同时断言爆炸簇上对应的实除子类 nef 且最高自交为零。此前高维只有渐近最优的下界与有条件的结果，”每个足够大的点数都精确取等”一直悬而未决。
为什么值得关心
它把”点够多时正性取满”从平面、曲面推进到一切维数，为高维插值与正性理论立下精确标尺；至此这一谱系在复数域的所有维数上都已闭合。
暂无形式化证明（AI 结果待核验）
第一级台阶
导读把曲面版的”能量布料”升格成 n 维能量块：总能量有限，戳进 r 个点后每点分到平均份额，份额的 n 次方根是正性单价的天花板。翻译成半数学语言：对象是高维空间连同其能量配备，操作是考察曲线穿过这组点时每单位重数至少要付的单价；定理断言点数越过阈值后，单价不多不少正是天花板。
第二级台阶
用本科术语说：X 是 n 维光滑射影复簇，L 是丰富线丛，其最高自交 V=L^n 扮演总能量。多点 Seshadri 常数 ε 定义为 L·C 除以曲线 C 在各点重数之和的下确界。关键工具是 jet 分离：若 kL 的截面能在 r 个点上分辨直到 m 阶的消没信息，则 ε≥m/k；而爆炸簇上自交非负给出万有上界 (V/r)^{1/n}。
第三级台阶
定理的语境：n≥3，存在只依赖 (X,L) 的阈值 r_0，此后对每个整数 r 与非常一般点组，ε 恰等于体积界 (V/r)^{1/n}。丰富性供给全部正性；非常一般用于同时躲开可数多组测试的失败轨迹；阈值保证份额 w=(V/r)^{1/n} 小到足以执行”重塑”手术。结论是爆炸簇上 π*L−wΣE_i 为 nef 且最高自交为零——对每个大 r 的精确等式，而非渐近收敛，这正是高维 Nagata–Biran–Szemberg 断言的定性形式。
对 @@M@@n\ge 3@@ 维光滑整复射影簇 @@M@@X@@ 与丰富线丛 @@M@@L@@，本文证明存在阈值 @@M@@r_0(X,L)@@，使 @@M@@r\ge r_0@@ 时 @@M@@r@@ 个非常一般点处的普通多点 Seshadri 常数恰等于体积界 @@M@@(L^n/r)^{1/n}@@，确立高维的定性 Nagata–Biran–Szemberg 断言。
普通多点 Seshadri 常数（ordinary multipoint Seshadri constant）@@M@@\varepsilon(X,L;\mathbf p)=\inf_C L\cdot C/\sum_i \mathrm{mult}_{p_i}C@@ 度量丰富线丛在一组点处的局部正性，其万有上界是体积界 @@M@@(L^n/r)^{1/n}@@（在爆炸簇上考查 @@M@@D_t^n=L^n-rt^n\ge 0@@ 即得）。定性 Nagata–Biran–Szemberg 问题——由 Roé–Ross 在任意维度明确表述——问 @@M@@r@@ 充分大时等式是否总在非常一般点处成立。已有结果各有局限：Biran 的辛堆满稳定性是四维辛几何类比而非代数陈述；Küchle 给出渐近最优下界，但渐近最优并不蕴含最终等式；Biran–Roé–Ross 乘积不等式将簇上点数与射影空间点数相联系，仍是有条件的结果。曲面情形由本族姊妹篇解决，其最终测试是有限环面子群上的单射 jet 评估；本文把该平面几何机制改编为双变量多项式空间，改用满射的满维 jet 评估。
主定理：设 @@M@@X@@ 是 @@M@@n\ge 3@@ 维光滑整复射影簇，@@M@@L@@ 丰富，记 @@M@@V=L^n@@，则存在整数 @@M@@r_0=r_0(X,L)@@，使得对每个整数 @@M@@r\ge r_0@@，在非常一般点组处（可数个真 Zariski 闭子集之外）有 @@M@@\varepsilon(X,L;\mathbf p)=(V/r)^{1/n}@@；等价地，爆炸簇上的实除子类 @@M@@\pi^*L-(V/r)^{1/n}\sum_i E_i@@ 是 nef 的且最高自交为零。注意这是对每个这样的点数的精确等式，而非归一化常数随 @@M@@r@@ 增大时的极限收敛；阈值依赖固定的极化簇。
出发点是 jet 与交数的联系：若 @@M@@H^0(X,kL)@@ 在 @@M@@r@@ 个点处分离直到 @@M@@m@@ 阶的 jet，则 @@M@@\varepsilon\ge m/k@@。故目标变为：取 @@M@@w=(V/r)^{1/n}@@，对每个固定 @@M@@0\lt\theta\lt w@@ 与所有充分大的 @@M@@k@@，分离直到 @@M@@\lfloor k\theta\rfloor@@ 阶的 jet。
第一步用完全交旗（complete-intersection flag）构造指数集：取 @@M@@D@@ 使 @@M@@DL@@ 很丰富，一般截面给出旗 @@M@@X\supset X_1\supset\cdots\supset C@@，按字典序取截面芽的最小 Taylor 指数，得到集合 @@M@@S_k\subset kP_0\cap\mathbb Z^n@@，满足半群性质 @@M@@S_k+S_l\subset S_{k+l}@@，元素个数恰为 @@M@@h^0(X,kL)@@，且 @@M@@P_0=\Delta(1/D,\ldots,1/D,D^{n-1}V)@@ 的体积为 @@M@@V/n!@@（与 Hilbert 多项式首项一致）。单项式空间的 jet 满射性可经加权退化 @@M@@z_i=s^{\lambda_i}Z_i@@ 传回 @@M@@X@@ 的截面。
第二步是重塑（reshaping）：把单纯形的任意两个截距 @@M@@A,B@@ 替换为 @@M@@w@@ 与 @@M@@AB/w@@（@@M@@w@@ 充分小），该操作保持指数个数、半群性质以及”替换后 jet 满射蕴含替换前 jet 满射”的推理方向，其余坐标原样携带。迭代 @@M@@n-1@@ 次后得到含于 @@M@@P_*=\Delta(w,\ldots,w,rw)@@ 的集合 @@M@@F_k@@——一个前 @@M@@n-1@@ 个截距均为 @@M@@w@@ 的针形单纯形，体积仍为 @@M@@V/n!@@。这一步技术上要求替换参数满足 @@M@@3w/\ell\lt 1/16@@（@@M@@\ell@@ 为原单纯形最小截距），故需 @@M@@r@@ 足够大使 @@M@@w@@ 足够小。
第三步是饱和与插值：体积不变意味着 @@M@@kP_*@@ 中只有 @@M@@o(k^n)@@ 个格点缺失；半群性质把它升级为内部紧集上的满密度——内部一点约有多达 @@M@@k^n@@ 种分解，而空洞只能排除其中 @@M@@o(k^n)@@ 个。这是 Kaveh–Khovanskii 半群内部逼近定理的满密度版本。随后取 @@M@@r@@ 个仅最后一坐标不同的点，对其余坐标的单项式系数做一元 Hermite 插值，即得直到 @@M@@\lfloor k\theta\rfloor@@ 阶的任意 jet。
最后组装：满射性是 Zariski 开条件，Baire 纲论证给出使全部测试同时成立的非常一般点组；令 @@M@@\theta\uparrow w@@ 得下界 @@M@@\varepsilon\ge w@@，与体积上界合并即得定理。从 jet 到曲线交数的一步用 Hilbert–Samuel 重数的一维局部论证：满射 jet 直到 @@M@@m@@ 阶蕴含 @@M@@A\cdot C\ge m\sum_i\mathrm{mult}_{p_i}C@@，对曲线奇点处同样有效。
本文暂无形式化证明，请以社区核验为准。姊妹篇的平面与曲面结论均已 Lean 形式化；本文自包含地重证了所需的传递与计数断言，曲面极大性定理并非其输入，但共享同一套几何机制。按 OpenAI 官方声明，未经形式化的结果可能有问题，本文结论宜以同行核验为最终确认。
问 1：证明中最关键、也最脆弱的一步是哪里？
答：reshaping 与 saturation 两步的衔接：把完全交旗造出的指数单纯形的两个截距反复替换为 w 与 AB/w，迭代 n−1 次得到前 n−1 个截距均为 w 的针形标准形，替换参数须满足 3w/ℓ<1/16，这就是需要 r 足够大的原因；随后半群性质把 o(kⁿ) 的格点缺失升级为内部满密度（Kaveh–Khovanskii 内部逼近的满密度版本），再经一元 Hermite 插值取满维 jet。针形化是否真的保持”满射蕴含满射”的推理方向，值得逐条核对。
问 2：为什么只陈述 n≥3？曲面怎么办？
答：曲面 n=2 由同族姊妹篇用单射环面子群测试解决并已形式化；本文机制改为双变量多项式空间上的满射 jet 评估，是针对 n≥3 的设计。本文自包含重证所需传递断言，不以曲面极大性定理为输入。
问 3：为什么只对曲线取下确界（”普通”常数）？
答：普通多点 Seshadri 常数按定义对所有积分曲线取 L·C 与总重数之比的下确界；高余维子簇版本的正性常数是另一套定义与另一套猜想，论文未讨论。
问 4：与已有工作相比真正的新意在哪里？
答：此前高维只有 Küchle 的渐近最优下界（渐近最优不蕴含最终等式）与 Biran–Roé–Ross 乘积不等式这类有条件结果，Biran 的辛堆满稳定性不固定复结构。本文对一切 n≥3、阈值后的每个整数 r 给出精确等式，把谱系在复数域所有维数上闭合。
问 5：AI 生成证明最可能的出错模式是什么？
答：本文是三姊妹中唯一未形式化者，风险相对最高。高危点在自证的组合引理：满密度升级中”内部一点约有 kⁿ 种分解、空洞只排除 o(kⁿ) 个”的计数，与重塑操作保持半群性质的验证；一个端点取整或边界格点估计失误，等式即退化为严格不等式。
问 6：下游推论是什么、谁会用？
答：与平面、曲面篇合成复数域全维数图景；高维插值与正性理论研究者可直接引用”r 充分大后 ε=(Lⁿ/r)^{1/n}”这一精确标尺；正特征姊妹篇把结论搬到几何一般点组。
总评
把 Nagata–Biran–Szemberg 谱系推到全部维数的收官之作，机制改造颇具匠心；但作为族中未形式化的一环，其可信度暂时系于同行审稿，是最需要复核的缺口。