结果族 033：Iitaka subadditivity, variation, and logarithmic additivity · 学科：Algebraic and complex geometry · 验证状态：暂无形式化证明，请以社区核验为准
纤维族的影子总量从哪来？一股来自每根纤维自身的复杂度，另一股来自纤维随参数变形的幅度。本文证明 Popa 的对数不等式：总量 @@M@@\ge@@ 纤维的复杂度 @@M@@+\max\{@@基的复杂度, 变形幅度@@M@@\}@@——两股来源都要如实入账，且不设任何”丰度”附加假设。
关键词卡片
@@M@@\bar\kappa@@（logarithmic Kodaira dimension）：允许沿边界发散的复杂度，是”开”空间的正确量尺。看个具体例子
曲线族 @@M@@y^2=x(x-1)(x-2)(x-3)(x-t)@@：参数 @@M@@t@@ 在挖去 4 个坏点的直线 @@M@@V@@ 上取值，@@M@@U@@ 是去掉坏纤维后的全空间。
代入数字：纤维是亏格 2 曲线，@@M@@\kappa(F)=1@@；标记点组 @@M@@\{0,1,2,3,t\}@@ 随 @@M@@t@@ 真的改变，@@M@@\operatorname{Var}(f)=1@@；挖掉 4 个点后 @@M@@\bar\kappa(V)=1@@。定理保证 @@M@@\bar\kappa(U)\ge 1+\max\{1,1\}=2@@。@@M@@U@@ 恰好是二维的，复杂度至多为 2，于是被”打满”到顶。注意：普通次可加性只认基这一股贡献，本定理强制把”变形幅度”这一股也计入下界。
为什么值得关心
它正面解决 Popa 2023 年的变异性猜想，并顺带推出射影范畴的 Iitaka–Viehweg @@M@@C^+@@ 猜想与一串刚性推论。
暂无形式化证明（AI 结果待核验）
论文：Logarithmic Kodaira dimension and whole-fiber variation · 结果族 033
第一级台阶
导读说影子总量有两股来源：每根纤维自身的复杂度，与纤维随参数变形的幅度。翻译过来：对象是一个把全空间压到参数空间上的光滑地图，每点上方长一根纤维；量尺用”开空间”的版本——允许多重典范形式沿挖掉的边界发散；”变形幅度”指纤维真的随参数改变所需的独立参数个数。定理把两股来源都压进下界：总量不小于纤维复杂度加”基复杂度与变形幅度中较大者”。
第二级台阶
设 @@M@@U,V@@ 为光滑复准射影簇，@@M@@f:U\to V@@ 为连通纤维的射影满射。取光滑射影紧化 @@M@@X\supset U@@，边界 @@M@@D_X=X\setminus U@@ 为约化单连通交叠，对数 Kodaira 维数定义为 @@M@@\bar\kappa(U)=\kappa(X,K_X+D_X)@@，它与紧化选取无关。几何一般纤维 @@M@@F@@ 的双有理变异性 @@M@@\operatorname{Var}(f)=\min_L\operatorname{trdeg}_{\mathbb{C}}L@@，@@M@@L@@ 取遍使 @@M@@F@@ 双有理等价于 @@M@@L@@ 上某簇基扩张的代数闭中间域——它记录 @@M@@F@@ 的整个函数域，而不只典范环。
第三级台阶
主定理（定理 1.1）断言：当 @@M@@\bar\kappa(V)\ge0@@ 时，@@M@@\bar\kappa(U)\ge\kappa(F)+\max\{\bar\kappa(V),\operatorname{Var}(f)\}@@。基假设本质是对数的：@@M@@\bar\kappa(\mathbb{C}^*)=0@@ 而 @@M@@\P^1@@ 的普通维数是 @@M@@-\infty@@，紧化时必须保留系数一的逆像边界；定理不设丰度、好极小模型或半丰度假设，允许奇异纤维。它正面解决 Popa 的对数变异性猜想；推论把射影 Iitaka–Viehweg @@M@@C^+@@ 猜想无附加条件地推到一切维数，并给出光滑族的一系列刚性结论（如 @@M@@\bar\kappa(V)=0@@ 蕴含族双有理平凡）。
论文证明了 Popa 的对数 Iitaka–Viehweg 不等式：当基的开簇满足 @@M@@\bar\kappa(V)\ge0@@ 时 @@M@@\bar\kappa(U)\ge\kappa(F)+\max\{\bar\kappa(V),\operatorname{Var}(f)\}@@，其中变异性按整个几何一般纤维的双有理定义域度量，且不设任何丰度或好极小模型假设。
纤维化携带两类多重典范形式的来源：基自身的几何，与纤维随基点的双有理变化。Iitaka 次可加性只回答第一类；Iitaka–Viehweg 加细进一步问：一个纤维双有理地变化的族还要强迫出多少新方向？在开基上度量基的正确工具是对数 Kodaira 维数（logarithmic Kodaira dimension）@@M@@\bar\kappa@@——允许沿约化 SNC 边界取极点的多重典范形式的增长维数。Viehweg 的弱正性（weak positivity）把双有理变异性（birational variation）纳入期望下界，此后 Kollár 证一般型纤维情形、Kawamata 证纤维有好极小模型情形；Cao–Păun 与 Hacon–Popa–Schnell 处理阿贝尔基与最大 Albanese 维数基；Hashizume 证一般纤维对数典范除子丰度的约化 SNC 情形。Popa 的猜想 3.8（2023 年 6 月版）要求在任意 @@M@@\bar\kappa(V)\ge0@@ 的基上给出变异性下界，此前没有无丰度假设的一般性结果。注意基假设本质是对数的：@@M@@\bar\kappa(\mathbb C^*)=0@@，而其光滑射影紧化 @@M@@\mathbb P^1@@ 的普通 Kodaira 维数却是 @@M@@-\infty@@，紧化论证必须保留系数一的逆像边界。
设 @@M@@f:U\to V@@ 是光滑连通复准射影簇之间的射影满射连通纤维态射，@@M@@F@@ 为其几何一般纤维（geometric generic fiber）。其双有理变异性定义为
@@M@@D\operatorname{Var}(f)=\min_L\operatorname{trdeg}_{\mathbb C}L,@@
其中 @@M@@L@@ 取遍 @@M@@\mathbb C\subseteq L\subseteq\Omega@@（@@M@@\Omega@@ 为 @@M@@\mathbb C(V)@@ 的代数闭包）的代数闭中间域，且 @@M@@F@@ 双有理等价于 @@M@@L@@ 上某个簇的基扩张。这是经典不变量的”定义域形式”，记录 @@M@@F@@ 的整个函数域，而不仅是典范环。
定理（对数变异性）：若 @@M@@\bar\kappa(V)\ge0@@，则
@@M@@D\bar\kappa(U)\ge\kappa(F)+\max\{\bar\kappa(V),\operatorname{Var}(f)\}.@@
这正面解决 Popa 猜想 3.8（下界部分）；允许奇异纤维，不设丰度、好极小模型或半丰度假设。推论一：射影复 Iitaka–Viehweg @@M@@C^+@@ 猜想 @@M@@\kappa(X)\ge\kappa(F)+\max\{\kappa(Y),\operatorname{Var}(f)\}@@（@@M@@\kappa(Y)\ge0@@）在一切维数无好极小模型假设地成立。推论二（光滑族、闭纤维非单有理）：@@M@@\bar\kappa(V)=-\infty\Rightarrow\operatorname{Var}(f)<\dim V@@；@@M@@\bar\kappa(V)\ge0\Rightarrow\operatorname{Var}(f)\le\bar\kappa(V)@@；Campana-特殊（Campana-special）基上 @@M@@\operatorname{Var}(f)=0@@，特别地 @@M@@\bar\kappa(V)=0@@ 时族双有理平凡（birationally isotrivial）。
记 @@M@@d=\kappa(F)\ge0@@。姊妹篇的对数次可加性已给 @@M@@\bar\kappa(U)\ge d+\bar\kappa(V)@@，剩下的任务是证 @@M@@\operatorname{Var}(f)\le\bar\kappa(U)-d@@。先取相容紧化 @@M@@f:(X,D_X)\to(Y,D_Y)@@，@@M@@U=f^{-1}(V)@@，并固定一个基上的对数形式 @@M@@\xi@@。第一步构造”参数域”：取 @@M@@K_X+D_X@@ 的绝对 Iitaka 映射 @@M@@q:X'\to Z@@（@@M@@\dim Z=\bar\kappa(U)@@），在 @@M@@\mathbb C(X)@@ 中取 @@M@@\mathbb C(Y)\mathbb C(Z)@@ 的相对代数闭包并正规化合成像，得 @@M@@X'\xrightarrow{x}W@@ 与 @@M@@g:W\to Y@@、@@M@@h:W\to Z@@。用 @@M@@\xi@@ 沿 @@M@@p_1@@ 个切向的收缩证明 @@M@@W_z@@ 上对数维数非负，再用次可加性夹逼出一般 @@M@@x@@-纤维 @@M@@J@@ 满足 @@M@@\kappa(J)=0@@。像族 @@M@@C_z=g(W_z)\subset Y@@ 的 Hilbert 参数映射的微分秩恰为 @@M@@p_1@@：收缩截影在每度一维的强制下成比例，Plücker 坐标比值随之常数。取参数空间的光滑射影模型 @@M@@T_0@@，则 @@M@@\dim T_0=p_1@@，且经域塔 @@M@@\mathbb C(Y)=\mathbb C(S)@@ 得到 @@M@@\mathbb C(T_0)\subseteq\mathbb C(Y)@@，最终 @@M@@\bar\kappa(U)=d+\dim T_0@@。第二步在 @@M@@b=\overline{\mathbb C(T_0)}@@ 上”抓住全纤维”：取 @@M@@J@@ 的最小指标根覆盖（第一个多重典范截影的 @@M@@p@@ 次根），其整体顶形式空间一维；把姊妹篇的伴随比较用于限制后的整变分，使 Hodge 线沿 @@M@@h@@-纤维有理平凡，从而具有限特征。第三步是解析常值判据：对曲线上光滑射影族，若 @@M@@\kappa(D)=0@@、@@M@@h^0(K_D)=1@@ 且整顶 Hodge 线平坦具有限单值特征，则有限扩域后族双有理常值（且可等变于 deck 群）。证明先取平坦顶形式 @@M@@\Theta@@ 之核方向提升基向量场 @@M@@v@@，其极点被相对典范截影零除子控制；经 Demailly–Hacon–Păun 扩展定理与 Păun–Takayama 的相对多重典范 Bergman 度量 @@M@@L^{2/m}@@ 估计，每个极点除子对 @@M@@K_D+\varepsilon H@@ 有正的渐近固定阶；BCHM 的相对典范模型收缩这些极点后向量场正则，其流双全纯地等同邻近纤维；再以 Hilbert 图轨迹的可数构造从曲线散布到任意代数轨迹。第四步是代数下降：标记典范模型恢复相对 Iitaka 基在 @@M@@b@@ 上的有限规范化 @@M@@V'@@，@@M@@J@@ 成为 @@M@@k=b(V')@@ 上某参考簇的形式（form）；把有限分裂上闭链常数化，并在随参数移动的除子处用实际相对形式阶找到达到阈值的重数一分支，迫使分裂覆盖在该处非分歧；经 purity 与有限 étale 覆盖的下降得到域 @@M@@F_b@@ 使 @@M@@\operatorname{Frac}(\Omega\otimes_bF_b)\simeq\operatorname{Frac}(\Omega\otimes_{\mathbb C(Y)}\mathbb C(X))@@——即整个几何一般纤维已在 @@M@@b@@ 上双有理定义，故 @@M@@\operatorname{Var}(f)\le\dim T_0@@。与第一步合并即得定理。文末两节还给出独立的数值延拓与普通 Iitaka 约化结果，但对数主证明不依赖它们。
本篇主结果暂无形式化证明。其证明直接调用姊妹篇《Orbifold and logarithmic Iitaka subadditivity》的约化 SNC 次可加性与全周期伴随比较两个接口；与第三篇《The reverse logarithmic Kodaira inequality and additivity》互补——后者在层光滑设定给出反向不等式，光滑族情形两者合成分支 @@M@@\operatorname{Var}(f)\le\bar\kappa(V)@@ 的另一证法；推论二还调用另一姊妹篇的特征零对数丰度与 Taji 刚性定理。依照 OpenAI 官方声明，未经形式化的结果可能存在问题，请以社区核验为准。
论文：Logarithmic Kodaira dimension and whole-fiber variation · 结果族 033
问 1：四步证明里哪一步最脆弱？
（答：第三步解析常值判据。提升的基向量场初始带极点，要用 Demailly–Hacon–Păun 扩展定理与 Păun–Takayama 的相对多重典范 Bergman 度量 @@M@@L^{2/m}@@ 估计证明每个极点有正的渐近固定阶，再用 BCHM 的 big klt 伴随模型收缩极点使向量场正则。论文自陈权重选取与正则化、次数、截断极限必须按固定顺序进行——这类”顺序敏感”的解析论证最怕极限交换暗度陈仓。）
问 2：为什么变异性必须按”整根纤维”定义，只盯典范环不行吗？
（答：引言明说：单有典范模型或 @@M@@\kappa=0@@ 纤维的常值性都得不出最终结论。@@M@@\operatorname{Var}(f)@@ 记录 @@M@@F@@ 的整个函数域；最后一步代数下降要得到域同构 @@M@@\operatorname{Frac}(\Omega\otimes_bF_b)\simeq\operatorname{Frac}(\Omega\otimes_{\mathbb{C}(Y)}\mathbb{C}(X))@@，即整根几何一般纤维已在参数域 @@M@@b@@ 上双有理定义。只控制典范环会漏掉纤维的非典范坐标。）
问 3：基假设 @@M@@\bar\kappa(V)\ge0@@ 为什么不能去掉？
（答：证明的参数域构造依赖 @@M@@Y@@ 上非零对数多重形式的收缩去控制像族的微分秩；@@M@@\bar\kappa(V)=-\infty@@ 时没有这个形式可收缩。此时论文改推另一种结论：光滑族、闭纤维非单有理时 @@M@@\operatorname{Var}(f)<\dim V@@——注意这是严格不等式而非下界，与主定理不对称；负对数维数基上的完整变异性下界论文未展开。）
问 4：与 Kollár、Kawamata、Cao–Păun、Hacon–Popa–Schnell、Hashizume 等相比，新意是什么？
（答：前人各需纤维一般型（Kollár）、纤维有好极小模型（Kawamata）、阿贝尔或最大 Albanese 维数基（Cao–Păun、HPS）、一般纤维对数典范除子丰度（Hashizume）。本文在任意 @@M@@\bar\kappa\ge0@@ 的基上无条件给出变异性下界，正面解决 Popa 猜想 3.8；对 Tsuji、Maehara 的旧预印本断言也只引用不依赖，划清了输入边界。）
问 5：这类 AI 生成证明最可能以什么方式出错？
（答：两大风险。一是接口依赖：对数次可加性与全周期伴随比较两个接口直接取自姊妹篇，源头有误即全盘塌；二是深解析工具的适用边界：DHP 扩展与 Bergman 度量估计各有奇异性/非缠结条件，AI 常在边界配置上误用；此外可数个 Hilbert 轨迹从曲线散布到任意代数轨迹的步骤，是组合上易漏情形的地方。全文未形式化。）
问 6：谁会用到它？
（答：推论一直接给射影范畴 Iitaka–Viehweg @@M@@C^+@@ 猜想的一切维数无条件版本；推论二服务双曲性与刚性研究（@@M@@\bar\kappa(V)=0@@ 蕴含双有理平凡、Campana-special 基上变异性为零）；它与反向不等式姊妹篇在光滑族情形合成 @@M@@\operatorname{Var}(f)\le\bar\kappa(V)@@ 的另一证法，是族几何与 Shafarevich 型问题人群的基础工具。）
总评
这篇论文把 Popa 的对数变异性猜想无条件解决，并把 Iitaka–Viehweg 加细推进到任意非负对数维数基，是族几何的正字法级结果；最大风险在解析常值判据的极限顺序与对姊妹篇接口的连环依赖，两处都属社区必须逐行核验的范围。