结果族 038：Fujita’s freeness conjecture · 学科：Algebraic and complex geometry · 验证状态：暂无形式化证明，请以社区核验为准
把高维空间想成一座大厅，线丛的截面是一支支手电筒，”全球生成”就是每个角落都至少被一支照到。藤田 1987 年猜想：哪怕光源 @@M@@L@@ 本身一支手电都派不出，只要它足够”丰富”，配上空间的固有曲率 @@M@@K_X@@、乘上 @@M@@n+1@@ 份，就足以照亮整座大厅。本文在所有维数一并证明，而且这 @@M@@n+1@@ 节电池一节也不能少。
关键词卡片
@@M@@K_X+mL@@：固有曲率叠加 @@M@@m@@ 份光源的组合。@@M@@n+1@@ 不能再降，射影空间的反例顶住了下限。看个具体例子
取大厅 @@M@@X=\mathbb P^n@@、@@M@@L=\mathcal O(1)@@。此时 @@M@@K_X+(n+1)L=\mathcal O(0)@@ 是平凡线丛，常数函数 @@M@@1@@ 就是它的截面，处处不灭——全厅照亮；而少一档的 @@M@@K_X+nL=\mathcal O(-1)@@ 连一个非零截面都没有。二维时即 @@M@@\mathbb P^2@@ 上 @@M@@K+3L@@ 生成、@@M@@K+2L@@ 全黑，反差一目了然。
为什么值得关心
曲线靠 Riemann–Roch、曲面靠 Reider 定理、三四维与五维被逐一攻克后，一般维数停摆多年：此前最好的界约是 @@M@@1.78n@@，离 @@M@@n+1@@ 总差一步。伴随丛的生成性是做投影、分类、嵌入等几何操作的通用燃料；最优界悬置近四十年后终于落地，等于把这块常数表上的最后一个空格填死。
暂无形式化证明（AI 结果待核验）
第一级台阶
导读把高维空间比作一座大厅：线丛的截面是手电筒，”照亮每个角落”就是要证的结论。把比喻翻译一下：对象是一座高维大厅连同一套光源配备，操作是检验”固有曲率叠加若干份光源”的组合光能否照到每一点；要证的是乘数取 n+1 一定够用，少一档就可能全黑。
第二级台阶
用本科语言说：X 是 n 维光滑射影复簇；L 是其上的丰富线丛，即正性足够强、高倍截面数按体积增长的光源，但它自己未必有任何截面。K_X 是典范线丛——全纯 n 次微分形式的行列式，记录固有曲率。称线丛全球生成，若它在每点的取值映射都是从整体截面到该点纤维的满射，即每点都有不灭的截面值班。
第三级台阶
定理的语境：对任意点 x 与丰富 L，要找 K_X+(n+1)L 的一个在 x 不消失的截面。光滑性保证消没定理与爆炸上的赋值工具可用；丰富性驱动正性（哪怕 L 无截面）；连通只统一记号。结论：K_X+(n+1)L 全球生成，且界不可改进——射影空间上 K_X+nL 连非零截面都没有，正是导读里”少一节电池就全黑”的严格版本。注意结论只管照亮，不含分离点与切方向那半句更强的断言。
本文在最优界上证明了藤田自由性猜想（Fujita’s freeness conjecture）：@@M@@n@@ 维光滑射影复簇 @@M@@X@@ 上，任意丰富线丛 @@M@@L@@ 拉伸 @@M@@n+1@@ 倍即可使伴随丛 @@M@@K_X+(n+1)L@@ 全球生成，且界不可改进。这个 1987 年提出的猜想首次在所有维数一并成立。
线丛”全球生成”（globally generated）指每一点都存在不消失的截面。1987 年藤田猜想：即使丰富线束（ample line bundle）@@M@@L@@ 自身没有任何非零截面，@@M@@K_X+(n+1)L@@ 仍全球生成。曲线情形由 Riemann–Roch 给出，曲面由 Reider 定理，三维、四维由 Ein–Lazarsfeld 与 Kawamata，五维由 Ye–Zhu（2020）解决。一般维数长期停滞：Angehrn–Siu（1995）得 @@M@@m\ge (n^2+n+2)/2@@，Heier 降到约 @@M@@n^{4/3}@@，Ghidelli–Lacini（2024）得 @@M@@n(\log\log n+2.34)@@，Han（2026）得 @@M@@1.7763n@@；Chan 曾宣布证明更强的交点数形式，后因局部延拓论证无法保证所需消没阶而撤回。共同的卡点是：消没策略中所构造的中心可能正维数且奇异，切割它会损失正性。
定理（主定理）：设 @@M@@X@@ 为光滑连通射影复簇，@@M@@\dim X=n\ge1@@，@@M@@L@@ 为丰富线丛，则 @@M@@K_X+(n+1)L@@ 由整体截面生成。界是尖锐的：取 @@M@@X=\mathbb P^n@@、@@M@@L=\mathcal O(1)@@，则 @@M@@K_X+(n+1)L@@ 平凡，而 @@M@@K_X+nL@@ 没有非零截面。推论：对每个整数 @@M@@m\ge n+1@@，@@M@@K_X+mL@@ 均全球生成（把定理用于 @@M@@X\times\mathbb P^r@@ 与 @@M@@L\boxtimes\mathcal O(1)@@ 即得）。注意结论只断言每点截面非零，不含分离点或切方向的极强丰富性（very ampleness）那一半。
整体是反证法：设 @@M@@P=K_X+(n+1)L@@ 在闭点 @@M@@x@@ 处不生成，按论文图 1 分五步导出矛盾。先建立”普通阶数二择一”：在 @@M@@x@@ 处按全次数给 @@M@@H^0(X,jL)@@ 的截面排 Taylor 初指数集 @@M@@H_j@@，消去论证给出 @@M@@|H_j|=N_j@@，格点填充估计给出平均重数下界 @@M@@(L^n)^{1/n}\cdot n/(n+1)@@。论文进一步证明：若严格不等式不成立，则必有 @@M@@L^n=1@@ 且沿子列取等，此时可挑出初指数近似填满单纯形的截面组，在点爆炸（blowup）的例外除子 @@M@@E\simeq\mathbb P^{n-1}@@ 上，借助阈值半连续性从单项式特殊纤维转移，得到严格大于 @@M@@1/h@@ 的局部对数典范阈值（log canonical threshold），再用 Kawamata–Viehweg 消没（vanishing）从 @@M@@E@@ 提升一个非零纤维值并下降，与 @@M@@x@@ 是基点矛盾。因此基点的存在迫使严格空隙：平均阶除以次数的下极限大于 @@M@@n/(n+1)@@。
再把这个空隙装进一个指数型目标泛函 @@M@@F_{m,t}(v,\mathbf s)=\frac1{N_m}\sum_i\exp\big(\frac{A(v)}t-\frac{v(s_i)}m\big)@@（@@M@@t<n+1@@），让基 @@M@@\mathbf s@@ 与带权单项式赋值 @@M@@v@@ 同时变动，@@M@@A(v)@@ 为对数差异（log discrepancy）。取 @@M@@v=\lambda\operatorname{ord}_x@@ 并利用严格空隙可使目标值 @@M@@\le 1-\delta@@；由丰富性造出的低阶 jet 供给配合 @@M@@\operatorname{lct}_x\ge 1/\operatorname{mult}@@ 给出一致强制性：@@M@@c\le f_{m,t}(x)\le 1-\delta@@，且次水平集上 @@M@@a_*\le A(v)\le a^*@@。下确界的可达性是难点：作者不去紧致化”全体基与赋值”，而是把同时阶数下界编码为 @@M@@X\times@@ 旗簇（flag variety）上理想的闭阈值轨迹，嵌套闭集给出公共旗，再把一切证据收缩（retraction）到同一个单纯形交叠（SNC）模型上取权重的紧极限。
接着消灭正维数中心。设某极小对的中心 @@M@@W@@ 维数 @@M@@d>0@@：在 @@M@@W@@ 的很一般点处对 @@M@@v@@ 作切向一阶变分（切参数赋权 @@M@@\epsilon@@、纤维参数赋权 @@M@@\epsilon^2@@），配合特殊化比较 @@M@@f_{m,t}(y)\ge f_{m,t}(x)@@，得切向矩 @@M@@T_m\le d/t@@。反向则依赖一个对所有 @@M@@d@@ 维子簇一致的限制空间维数下界 @@M@@(d!\,I_W(h))^{1/d}\ge h-C_d@@（只依赖 @@M@@(X,L)@@，与中心的次数和奇性无关），结合由立方包含 @@M@@\{0,1\}^d\subset G_0@@ 导出的离散 Brunn–Minkowski 不等式与分段 Riemann 和估计，得 @@M@@\liminf T_m\ge dI_*@@，其中 @@M@@I_*=\int_0^1s^n e^{(1-s)a_*/(n+1)}\,ds@@。选取 @@M@@t<n+1@@ 充分接近 @@M@@n+1@@ 使 @@M@@I_*>1/t@@，两端矛盾。于是对固定的 @@M@@t@@，任意大度数下所有极小对的中心恰为 @@M@@\{x\}@@。
最后两步完成孤立与提升。点中心极小对的梯度给出正系数支撑泛函 @@M@@b@@：@@M@@b\cdot q=1@@、@@M@@m\sum_ib_i=t<n+1@@；经有理化引理得到 @@M@@(q^0,b^0)@@，并精确保持”哪些多面体包含该轮廓”，经环面（toroidal）提取得到中心为 @@M@@x@@ 的素除子 @@M@@F_0@@。以理想 @@M@@\mathfrak c@@ 的主理想化构造扰动边界 @@M@@B@@，使 @@M@@(n+1)\rho^*L-B@@ 为 nef 且 big，且在含 @@M@@F_0@@ 的约化除子 @@M@@S@@ 的每个分量上 @@M@@B@@ 的系数恰等于该分量的对数差异、相邻素除子上严格更小——这就是差异等式的刚性。对 @@M@@D=K_T+(n+1)\rho^*L-\lfloor B\rfloor@@ 用 Kawamata–Viehweg 消没得 @@M@@H^1=0@@；因 @@M@@S@@ 既约且映到点 @@M@@x@@，有 @@M@@\rho^*P|_S\simeq P|_x\otimes\mathcal O_S@@，取纤维 @@M@@P|_x@@ 中的非零向量，乘上修正除子的典范截面（它在 @@M@@S@@ 附近有效且在 @@M@@S@@ 的分量上系数为零），经限制满射提升后由下降引理得到 @@M@@s\in H^0(X,P)@@ 且 @@M@@s(x)\ne0@@，与基点假设矛盾。全程只需 @@M@@x@@ 附近的局部控制，无需全局 log canonical 边界。
本结果族（038）由这一篇手稿独立承担全部论证，无其他姊妹篇互相支撑。任务元数据标明 formalized=false：主结果尚无 Lean 形式化证明，请以社区核验为准，且按 OpenAI 官方声明，”未经形式化的结果可能有问题”。论文自查痕迹较充分：图 1 概括五步路线，表 1 追踪各常数对 @@M@@(X,L)@@ 的一致性与极限顺序；但鉴于 Chan（2024）宣布后又撤回的前车之鉴，局部延拓一步（差异等式的刚性与提升）尤其值得专家复核。
问 1：证明中最关键、也最脆弱的一步是哪里？
答：第四节的孤立与提升：由点中心极小对经环面提取出中心恰为 x 的素除子 F₀，构造扰动边界使差异等式沿约化除子 S 刚性成立，再用 Kawamata–Viehweg 消没从 S 上提升非零纤维值。这正是 Chan 2024 宣布后撤回的那类局部延拓步骤——当时正是无法保证所需消没阶而失败——本文声称用”差异等式的刚性”补上了缺口，理应被逐行复核。
问 2：为什么必须假设 X 光滑？
答：整套机制依赖光滑点处的爆炸、单项式赋值与对数差异的规范化，以及 Kawamata–Viehweg 消没的适用性；奇异簇上这些都要重做，猜想的经典形式也只对光滑簇陈述。论文未讨论 klt 对或奇异情形的推广。
问 3：n+1 这个界为什么不能再降？
答：反例是射影空间配 O(1)：K_X+(n+1)L 平凡（常数截面处处非零），而 K_X+nL=O(−1) 无任何非零截面。所以界的尖锐性与定理同页给出，任何改进都会与该例冲突。
问 4：与已有工作相比真正的新意在哪里？
答：一般维数此前最好是 Han（2026）的 1.7763n 与 Ghidelli–Lacini 的 n(log log n+2.34)，低维逐一攻克。本文的独门工具是”基与赋值同时变动”的指数型目标泛函：下确界可达性不靠紧致化全体基，而是把阶数下界编码成 X×旗簇上理想的闭阈值轨迹；再用切向一阶变分与对所有 d 维子簇（含无界度数的奇异子簇）一致的限制空间估计加 Brunn–Minkowski 消灭正维数中心。
问 5：AI 生成证明最可能的出错模式是什么？
答：三处高危：泛函下确界的存在性论证非常规（阈值半连续加收缩到单一 log 分辨率）；限制空间维数下界声称与中心次数和奇性无关，一致性强得可疑；最后的提升步骤有 Chan 撤稿的前车之鉴。任何一处”恰好够用”的常数被验证不足，反证法链条就断。
问 6：下游推论是什么、谁会用？
答：推论给出一切 m≥n+1 的 K_X+mL 全球生成（经 X×P^r 技巧）。伴随丛生成性是投影、分类与嵌入操作的通用燃料，做双有理几何与有效正性的人会引用；但藤田猜想的极强丰富性那一半仍未解决。
总评
一口气宣称关闭悬置近四十年的最优界猜想，分量极大；最大风险恰在历史上最易翻车的提升一步，且全文无姊妹篇交叉支撑，宜等待专家与形式化双重核验。