结果族 033：Iitaka subadditivity, variation, and logarithmic additivity · 学科：Algebraic and complex geometry · 验证状态：暂无形式化证明，请以社区核验为准
给代数簇数”复杂度方向数”（Kodaira 维数），像数一棵树能朝几个独立方向生长。Iitaka 的老问题是：把空间 @@M@@X@@ 压到基 @@M@@Y@@、每点上方长一根纤维 @@M@@F@@，总复杂度是否至少是”纤维的加基的”？本文连 Campana 更挑剔的”轨道体”版本也证明了：一根纤维要转 @@M@@m@@ 圈才回到原点的”多重纤维”，必须按 @@M@@1-1/m@@ 记账计入基。
关键词卡片
@@M@@-\infty@@ 到空间维数。@@M@@m@@ 重纤维按系数 @@M@@1-1/m@@ 记入基的精细记账法。@@M@@\mathcal C@@（Fujiki class C）：双有理等价于紧 Kähler 空间的复空间。看个具体例子
记账算术就是具体例子：二重纤维记 @@M@@1/2@@，三重纤维记 @@M@@2/3@@。定理：@@M@@\kappa(X,K_X+\Delta)\ge\kappa(F,K_F+\Delta_F)+\kappa(\text{轨道体基})@@——即使普通意义下基是 @@M@@\mathbb P^1@@（复杂度 @@M@@-\infty@@），这些”零钱”也被如实计入下界。边界系数允许取到 1；不需要纤维一般型、不需要好极小模型等任何附加假设。普通与对数次可加性、准射影形式、特征零任意代数闭域的版本都作为推论一并得到。
为什么值得关心
次可加性是双有理几何的地基之一，本文把它推到最强表述且零附加条件，是结果族 033 另两篇论文的底盘。
暂无形式化证明（AI 结果待核验）
论文：Orbifold and logarithmic Iitaka subadditivity · 结果族 033
第一级台阶
导读用”树能朝几个独立方向生长”类比复杂度方向数。翻译过来：给一个复几何空间数它的多重典范形式随倍数增长撑出的维数，这是它的复杂度方向数；纤维化是把整个空间压到一个底空间、每点上方长一根纤维的地图。老问题问：全空间的方向数是否至少是”纤维的方向数加底空间的方向数”。轨道体记账的比喻则对应：一根要转 @@M@@m@@ 圈才回到原点的纤维，按 @@M@@1-1/m@@ 的折扣记入底空间。
第二级台阶
上述方向数即 Kodaira 维数 @@M@@\kappa@@，带边界版本看 @@M@@H^0(X,q(K_X+\Delta))@@ 的增长，其中 @@M@@\Delta=\sum\delta_i\Delta_i@@ 是系数取值 @@M@@[0,1]\cap\mathbb{Q}@@ 的单连通交叠边界。对压到素除子 @@M@@D@@ 上的纤维赋重数 @@M@@m(f,\Delta;D)@@（取源上拉回阶与边界修正的最小值），得轨道体基 @@M@@B(f,\Delta)=\sum(1-1/m)D@@；@@M@@\kappa(f\mid\Delta)@@ 定义为对一切初等模型变换取下确界后的底空间方向数。
第三级台阶
主定理断言：对 Fujiki 类 @@M@@\mathcal C@@（双有理等价于紧 Kähler）中的光滑紧流形 @@M@@X@@ 与连通纤维的满全纯映射 @@M@@f:X\to Y@@，有 @@M@@\kappa(X,K_X+\Delta)\ge\kappa(F,K_F+\Delta_F)+\kappa(f\mid\Delta)@@。两个”无假设”值得注意：不要求纤维一般型、不要求好极小模型，边界系数允许取一——系数一的情形会引入混合 Hodge 结构，是此前方法处理不了的麻烦。普通次可加性、对数次可加性与准射影版本都作为推论落下。
论文证明了 Campana 的轨道体（orbifold）Iitaka 次可加性猜想：对 Fujiki 类 @@M@@\mathcal C@@ 紧复流形上系数取自 @@M@@[0,1]\cap\mathbf Q@@ 的 SNC 边界（含系数一），@@M@@\kappa(X,K_X+\Delta)\ge\kappa(F,K_F+\Delta_F)+\kappa(f\mid\Delta)@@，普通与对数次可加性均为其推论。
Kodaira 维数（Kodaira dimension）用多重典范形式（pluricanonical forms）的增长速度度量代数簇的”双有理体积”。对一个连通纤维的纤维化 @@M@@f:X\to Y@@，Iitaka 的次可加性问题问：总体维数是否至少等于一般纤维与基之和，@@M@@\kappa(X)\ge\kappa(F)+\kappa(Y)@@？对数版本允许沿约化边界取极点，从而覆盖开簇。此前的经典结果各从纤维化的不同部位汲取正性：Kawamata 处理曲线基与有好极小模型的纤维，Viehweg 以弱正性（weak positivity）处理一般型基上的加法，Kollár 处理一般型纤维；Birkar 处理总维数 @@M@@\le 6@@，Cao–Păun 与 Hacon–Popa–Schnell 处理阿贝尔基与最大 Albanese 维数基；对数方向有 Kovács–Patakfalvi、Hashizume、Maehara 等的条件性结果。而 Campana 的轨道体猜想走得更远：多重纤维的信息以”下确界重数”（inf multiplicity）记入轨道体基，猜想要求总体维数不小于纤维维数加这个轨道体基的双有理不变维数。瓶颈在于：传统正性方法要么要求纤维一般型，要么要求好极小模型，而轨道体陈述不允许任何此类假设。
设 @@M@@X@@ 为 Fujiki 类 @@M@@\mathcal C@@（双有理等价于紧 Kähler 空间）中的光滑紧连通复流形，@@M@@\Delta=\sum_i\delta_i\Delta_i@@ 为系数 @@M@@\delta_i\in\mathbf Q\cap[0,1]@@ 的有理单连通交叠（SNC）边界，@@M@@f:X\to Y@@ 为到正规紧不可约复空间上的满全纯连通纤维映射。对源素除子 @@M@@E@@ 记 @@M@@m_\Delta(E)=1/(1-\Delta_E)@@；轨道体基定义为 @@M@@B(f,\Delta)=\sum_D(1-1/m(f,\Delta;D))D@@，其中 @@M@@m(f,\Delta;D)=\min_{E\mapsto D}\operatorname{ord}_E(f^*D)\,m_\Delta(E)@@；不变量 @@M@@\kappa(f\mid\Delta)@@ 是对所有初等模型变换取下确界的 @@M@@\kappa(Y',K_{Y'}+B(f',\Delta'))@@。
定理（轨道体次可加性）：对非常好光滑纤维 @@M@@F@@ 与限制 @@M@@\Delta_F=\Delta|_F@@，有
@@M@@D\kappa(X,K_X+\Delta)\ge\kappa(F,K_F+\Delta_F)+\kappa(f\mid\Delta).@@
这正面解决了 Campana 猜想在有理 SNC、Fujiki 类 @@M@@\mathcal C@@ 表述下的形式，且包括系数一的情形。由此推出：对数次可加性 @@M@@\kappa(X,K_X+D_X)\ge\kappa(F,K_F+D_F)+\kappa(Y,K_Y+D_Y)@@；准射影形式 @@M@@\bar\kappa(U)\ge\bar\kappa(U_v)+\bar\kappa(V)@@；任意特征零代数闭域上的普通次可加性 @@M@@\kappa(X)\ge\kappa(F)+\kappa(Y)@@。此外还得到沿 Campana 核心（core）的等式 @@M@@\kappa(X,K_X+\Delta)=\kappa(G,K_G+\Delta_G)+\dim C@@、”@@M@@\kappa=0@@ 蕴含特殊（special）”、以及核心塔分解 @@M@@c_{(X,\Delta)}=(M\circ r)^n@@。
先设右端两项非负，令 @@M@@k=\kappa(F,K_F+\Delta_F)@@。第一步做相对 Iitaka 约化：取相对 Iitaka 映射得 @@M@@X\xrightarrow{g}W\xrightarrow{h}Y@@，使 @@M@@\dim W_y=k@@ 且非常好 @@M@@g@@-纤维 @@M@@G@@ 满足 @@M@@\kappa(G,K_G+\Delta_G)=0@@，于是在充分可除次数下相对多重典范系统秩为一。第二步是”秩一比较”：取相对生成元 @@M@@s@@，作 @@M@@m@@ 次根的正规化循环覆盖（cyclic cover）并函子式消解，其重言式顶形式张成根特征线（一维性由 @@M@@\kappa=0@@ 强迫）；再经局部构造、相容极化与张量不变量下降，把该线的幂放入 @@M@@W@@ 上带整格的纯 Hodge 变分（variation of Hodge structures）的最高 Hodge 步，得到有理线丛 @@M@@M@@（Hodge 线）与边界 @@M@@T@@，满足 @@M@@B(g,\Delta)\le T\le1@@，并在固定原模型上建立精确的截影同构 @@M@@H^0(X,q(K_X+\Delta))\simeq H^0(W,q(K_W+T+M))@@，它保持乘积与比值。核心计算是 Hodge 框架在基素除子上的阶 @@M@@\beta_D=\min_{g(E)=D}(l_E+1-a_E)/a_E@@ 与原始形式阶 @@M@@\alpha_D=\min_{g(E)=D}(l_E+\delta_E)/a_E@@ 之差 @@M@@T_D=\alpha_D-\beta_D@@；系数一的边界会引入混合 Hodge 结构，靠纯权数分次与抛物扩张（parabolic extension）处理。第三步引入两个正性输入。其一是伴随正性（adjoint positivity）：周期映射给出第二个纤维化 @@M@@p:W\to S@@（@@M@@S@@ 光滑射影）及 nef 线丛 @@M@@P@@，使 @@M@@M=p^*P@@ 且 @@M@@K_S+aP@@ 为大（big）；其证明综合 Griffiths–Schmid–Cattani–Kaplan–Schmid 的曲率与边界理论、周期商的射影化（Villadsen 紧化、Bakker–Brunebarbe–Tsimerman 方法）、Brunebarbe–Cadorel 的 @@M@@K_S+D@@ 大性，并用 André 单值正规性与 Bakker–Tsimerman 的 Ax–Schanuel 定理分析只保留该线时映射的纤维。其二是”一般型加法”：以 Kovács–Patakfalvi 的稳定族正性（经辅助射影族再下降回类 @@M@@\mathcal C@@）与 Fujino 弱正性，把纤维上已大的对数典范除子加成 @@M@@\kappa(V,K_V+T)\ge\dim F+\kappa(Y,K_Y+C)@@。最后是伴随加法原理的截面算术：取 @@M@@c<1@@ 接近一，先用一般型加法得 @@M@@\kappa(W,D+cM+\eta p^*A)\ge k+\kappa(Y,K_Y+C)@@；再由弱正性与”大基扭转后的有效性”引理造出 @@M@@E_-=D+aM-\lambda p^*A@@ 的一个固定非零截影 @@M@@e@@；令 @@M@@\theta=(1-c)/(a-c)@@，凸组合 @@M@@D+M=(1-\theta)E_++\theta E_-@@ 恰好同时消去两个 ample 扰动项并给 @@M@@M@@ 系数一；用 @@M@@e@@ 的幂乘把 @@M@@E_+@@ 的截影嵌入 @@M@@D+M@@ 的系统而不改变截影比值，故线性系的像维不变，得 @@M@@\kappa(W,K_W+T+M)\ge k+\kappa(Y,K_Y+C)@@。最后由秩一比较把这些截影提升回原光源，结合 @@M@@\kappa(Y,K_Y+C)\ge\kappa(f\mid\Delta)@@ 即得定理。全程是精确的截影论证，既不需要 @@M@@P@@ 的丰度（abundance），也不需要 Kodaira 维数的任何极限式断言。
本篇主结果暂无 Lean 形式化证明。它是结果族 033 的地基：其约化 SNC 对数次可加性与全周期伴随比较接口，直接支撑姊妹篇《Logarithmic Kodaira dimension and whole-fiber variation》证明变异性不等式；《The reverse logarithmic Kodaira inequality and additivity》则只用其下界来拼接可加性等式。按论文自己的说明，两篇姊妹篇的结论均不反过来用于本篇定理的证明。依照 OpenAI 官方声明，未经形式化的结果可能存在问题，最终请以社区核验为准。
论文：Orbifold and logarithmic Iitaka subadditivity · 结果族 033
问 1：三步证明里哪一步最脆弱？
（答：第二步”秩一比较”。相对生成元经 @@M@@m@@ 次根循环覆盖与函子式消解后，要把根特征线（一维性由 @@M@@\kappa=0@@ 强迫）经局部构造、相容极化与张量不变量下降放进纯 Hodge 变分的最高 Hodge 步，核心是阶数计算之差 @@M@@T_D=\alpha_D-\beta_D@@。系数一的边界在此引入混合 Hodge 结构，靠纯权数分次与抛物扩张处理——这是全文技术上最没有先例可循的一段。）
问 2：边界系数取一为什么此前没人做、本文怎么过的关？
（答：系数一时 @@M@@m_\Delta(E)=1/(1-\Delta_E)@@ 发散，根覆盖的常规机制失效，且 Hodge 理论自动降格为混合结构。论文用纯权数分次把混合结构拆回纯的部分、再以抛物扩张控制分母阶，使 Hodge 线 @@M@@M@@ 与边界 @@M@@T@@ 仍满足 @@M@@B(g,\Delta)\le T\le1@@ 的比较。摘要明确把”including coefficient one”列为卖点。）
问 3：与 Kawamata、Viehweg、Kollár、Birkar、Cao–Păun、Hacon–Popa–Schnell 一线相比，真正新意是什么？
（答：前人各从不同部位汲取正性：曲线基加好极小模型（Kawamata）、一般型基的弱正性（Viehweg）、一般型纤维（Kollár）、低维（Birkar）、阿贝尔/最大 Albanese 维数基（Cao–Păun、HPS）。本文是第一个无条件解决 Campana 轨道体版的：不挑纤维、不挑基、不要极小模型，且把多重纤维的零钱如实记入下界。）
问 4：伴随正性那个输入为什么敢于信赖？
（答：不敢全信，它是综合件：Griffiths–Schmid–Cattani–Kaplan–Schmid 的曲率与边界理论、周期商射影化（Villadsen 紧化、Bakker–Brunebarbe–Tsimerman 方法）、Brunebarbe–Cadorel 的大性、André 单值正规性与 Bakker–Tsimerman 的 Ax–Schanuel。五件深工具的接口处只要一件被用过头（例如把大性用在它不成立的边界配置上），正性输入即空。这是审稿最该逐条核对的地方。）
问 5：这类 AI 生成证明最可能的出错模式？
（答：本文是”深引用堆栈”型：外部定理极多，AI 的典型失误是引用强度与所需强度之间有缝——比如周期映射纤维的正合性只在某权数成立却被当通用；此外第三步凸组合 @@M@@\theta=(1-c)/(a-c)@@ 的截面算术（幂乘嵌入不改变截影比值）差一个符号就会让扰动项消不干净。全文未形式化。）
问 6：谁会用到它？
（答：它是结果族 033 的地基：姊妹篇”whole-fiber variation”直接用它的对数次可加性与伴随比较接口推 Iitaka–Viehweg 不等式，”reverse inequality”篇只用其下界拼接可加性等式；对外，Campana 核心等式、”@@M@@\kappa=0@@ 蕴含特殊”与核心塔分解给特殊簇纲领与 Campana 几何提供新工具。论文声明姊妹篇结论不反哺本篇，无循环。）
总评
这是把双有理几何地基级猜想推到最强表述（轨道体、系数一、Fujiki 类、零附加条件）的一篇，若成立分量很重；最大风险在于 Hodge 论与周期映射一侧的深引用堆栈——每一件单看都对，拼起来的缝隙才是 AI 证明最可能塌陷的地方。