结果族 033：Iitaka subadditivity, variation, and logarithmic additivity · 学科：Algebraic and complex geometry · 验证状态：暂无形式化证明，请以社区核验为准
次可加性说：纤维化空间的总复杂度”不少于”基加纤维之和。这篇证明反方向：在合理的”层光滑”设定下，总复杂度也”不多于”基加纤维之和。两头一夹，得到漂亮的可加性等式——像确认三明治总量恰好等于两片面包加馅，一点不多、一点不少。
关键词卡片
@@M@@X@@ 与边界的每一层交截在开基上都光滑——Popa 猜想要求的技术条件。@@M@@\kappa(X)\le\kappa(\text{基})+\kappa(\text{纤维})@@。看个具体例子
数字版定理：若基侧对数复杂度为 1、纤维侧为 2，则总空间恰好是 3；若基侧是 @@M@@-\infty@@，则总空间连一个多重形式都没有（所有 @@M@@H^0@@ 全为零）。乘积 @@M@@X=F\times Y@@ 上等式一目了然；定理说，所有满足层光滑条件的族都像乘积一样守规矩。
为什么值得关心
可加性是光滑族的期望行为；本文给出上界、与姊妹篇的下界拼成等式，正面解决 Popa 的对数可加性猜想（射影约化 SNC、层光滑设定），为结果族 033 封顶。
暂无形式化证明（AI 结果待核验）
论文：The reverse logarithmic Kodaira inequality and additivity · 结果族 033
第一级台阶
导读的三明治比喻说：次可加性给下界（总量不少于两片面包加馅），本篇给上界（也不多于），两头一夹得等式。翻译成半数学语言：对象是带边界的射影空间之间的一张压缩地图，量尺允许多重形式沿边界发散；”守规矩”指全空间的复杂度恰好等于基的复杂度加一般纤维的复杂度——乘积天然守规矩，定理说满足一层光滑条件的族全都像乘积一样。
第二级台阶
设 @@M@@f:X\to Y@@ 为光滑连通射影簇间的满射连通纤维态射，@@M@@E,D@@ 为约化 SNC 除子且支集满足 @@M@@\operatorname{Supp}(f^*D)\subseteq\operatorname{Supp}(E)@@；记开基 @@M@@V=Y\setminus\operatorname{Supp}D@@。层光滑指 @@M@@X@@ 与 @@M@@E@@ 的各层交截组分在 @@M@@f^{-1}(V)@@ 上都对 @@M@@V@@ 光滑（允许水平边界）。令 @@M@@L_X=K_X+E@@、@@M@@L_Y=K_Y+D@@、@@M@@L_F=K_F+E_F@@，@@M@@\kappa@@ 记相应截影空间的增长维数。
第三级台阶
主定理（定理 1.1）断言 @@M@@\kappa(X,L_X)\le\kappa(Y,L_Y)+\kappa(F,L_F)@@；且右端任一项为 @@M@@-\infty@@ 时，全空间的一切多重形式空间逐度为零——这是与下界性质完全不同的 vanishing 断言。层光滑假设挡住的是边界层在开基上的失控摆动，它是 Popa 猜想自带的条件，姊妹篇的下界并不需要，此处不可省。与姊妹篇对数次可加性合并即得可加性等式，正面解决 Popa 的对数可加性猜想（射影约化 SNC、层光滑表述）；全程不设丰度、半丰度、好极小模型或一般型假设。
论文在约化 SNC、边界层光滑设定下证明了反向对数 Kodaira 不等式 @@M@@\kappa(X,K_X+E)\le\kappa(Y,K_Y+D)+\kappa(F,K_F+E_F)@@，与姊妹篇的次可加性相加得到可加性等式，正面解决 Popa 的对数可加性猜想（该设定）。
把光滑族完备化成射影对的态射后，其全空间能有多少对数多重典范形式？次可加性给出由基与一般纤维决定的下界；反向不等式则约束纤维变异性可能带来的额外增长，两者相等即”可加性”，是光滑族的期望行为。Popa 的对数表述（猜想 3.9）明确要求全空间与每个边界层在开基上光滑。此前的上界结果都带重条件：Popa–Schnell 在 Campana–Peternell 猜想下证光滑射影族情形；Fujino–Fujisawa 的对数上界假设基的对数 Iitaka 纤维化的一般纤维满足广义丰度；Park 假设那些纤维有好极小模型；Campana 的可加性定理要求原纤维典范层半丰。困难集中在基的对数 Kodaira 维数为 @@M@@0@@ 或 @@M@@-\infty@@ 的情形：负基时下界是平凡的，而上界却断言全空间的一切多重典范空间为零，是完全不同性质的结论。
设 @@M@@f:X\to Y@@ 为光滑连通射影簇之间的满射连通纤维态射，@@M@@E,D@@ 为约化单连通交叠（SNC）除子且 @@M@@\operatorname{Supp}(f^*D)\subseteq\operatorname{Supp}(E)@@（只限支撑，不加平滑性；二者均可为零）。记 @@M@@V=Y\setminus\operatorname{Supp}D@@，并假设 @@M@@X@@ 与 @@M@@E@@ 的各分量交的每个不可约组分限制在 @@M@@f^{-1}(V)@@ 上都对 @@M@@V@@ 光滑（”层光滑”，允许水平边界分量）。
定理（反向对数 Kodaira 不等式）：对非常好点 @@M@@y\in V@@ 处的纤维 @@M@@F=X_y@@，
@@M@@D\kappa(X,K_X+E)\le\kappa(Y,K_Y+D)+\kappa(F,K_F+E_F);@@
且右端任一项为 @@M@@-\infty@@ 时，@@M@@H^0(X,m(K_X+E))=0@@ 对一切 @@M@@m>0@@ 成立。不设丰度、半丰度、好极小模型或一般型假设。
与姊妹篇的对数次可加性（适用于任意连通纤维的约化 SNC 对，不需层光滑）合并，立即得对数可加性等式
@@M@@D\kappa(X,K_X+E)=\kappa(Y,K_Y+D)+\kappa(F,K_F+E_F),@@
正面解决 Popa 猜想 3.9 的射影约化 SNC、层光滑表述。
上界不等式的证明独立于次可加性，全部困难浓缩在”截影构造命题”里：任给非零 @@M@@s\in H^0(X,m(K_X+E))@@，则 @@M@@\kappa(Y,K_Y+D)\ge0@@；且当 @@M@@\kappa(Y,K_Y+D)=0@@ 而 @@M@@s@@ 在某条纤维 @@M@@X_y@@（@@M@@y@@ 属于原始开基 @@M@@V@@）上恒为零时，存在非零基形式 @@M@@\tau\in H^0(Y,a(K_Y+D))@@ 在 @@M@@y@@ 处取零。先看归约。纤维为 @@M@@-\infty@@ 时，非零总截影在非常好纤维上的限制非零，立即矛盾；基为 @@M@@-\infty@@ 时由命题第一断言，总空间没有任何多重形式；基维数为零时，每度基截影空间至多一维，取 @@M@@y@@ 在所有非零基多重形式的零轨迹之外，命题的第二断言保证限制映射逐度单射，得 @@M@@\kappa(X,L_X)\le\kappa(F,L_F)@@；基维数 @@M@@k>0@@ 时按 Popa–Schnell 的基 Iitaka 纤维化路线约化：一般基纤维 @@M@@G@@ 的对数维数为零，对诱导族 @@M@@f_t:(H,E'|_H)\to(G,D'|_G)@@（层光滑性经基变换保持）用零基情形，再作像维数估计合成 @@M@@\dim T+\kappa(F,L_F)@@。再看命题本身的证明。先把 @@M@@s@@ 的 @@M@@m@@ 次根张成循环覆盖（cyclic cover），把其上同调类投影到非零纯权数商，得到”最高 Hodge 向量”——它一般并不张满该向量丛，故整个丛的行列式正性控制不了这个特定向量的坐标，也保不住它在选定纤维上的零点。论文的关键改进是：在原对 @@M@@(Y,D)@@ 的对数微分标架中跟踪该向量的系数（regular coefficients，格为 @@M@@\Omega^1_{Y'}(\log D')@@）；局部计算表明根覆盖在 @@M@@V@@ 内新增的判别式不扩大基上允许的极点，且原光滑纤维上的零被保留；齐次张量运算后，这些数据与周期一起下降到一个射影参数空间 @@M@@S@@，它还记录了周期映射本身可能漏掉的紧群方向。随后分两种情形。若 @@M@@S@@ 是点，上同理丛为常值丛，向量的各数量坐标经系数计算就是真正的基多重形式，且保留指定零点——这同时给出基的非消失性与保零性。若 @@M@@\dim S>0@@，先限制到 @@M@@Y\to S@@ 的 generic 纤维使系数系统常值，非零数量坐标允许作相对 Iitaka 纤维化，在中间簇上产生与 @@M@@K_Y+D@@ 有相同可除截影空间的除子；周期正性——包括 Bakker–Brunebarbe–Tsimerman 的整周期像代数性、Campana–Păun 的轨道余切正性、Fujino–Gongyo 的 lc-平凡纤维化模态部分 b-nef 性——使该除子加上 @@M@@S@@ 的拉回后为大（big）；最后比较选定向量的迭代 Higgs 像与周期方向并作数值维数减法论证，去掉所加除子，得该除子本身为大，迫使 @@M@@\kappa(Y,K_Y+D)>0@@，与基维数 @@M@@0@@ 或 @@M@@-\infty@@ 矛盾，故该情形不会发生。
本篇主结果暂无形式化证明。反向不等式的证明是自足的；可加性等式则把本篇的上界与姊妹篇《Orbifold and logarithmic Iitaka subadditivity》的下界拼接而成，二者使用同一类非常好纤维。三篇文章在结果族 033 中构成闭环：次可加性给下界、变异性给加细、反向不等式封顶。依照 OpenAI 官方声明，未经形式化的结果可能存在问题，请以社区核验为准。
论文：The reverse logarithmic Kodaira inequality and additivity · 结果族 033
问 1：全部难点浓缩在截影构造命题里，它脆弱在哪？
（答：命题 1.4 的核心是”几何向量”：根覆盖的类投影到非零纯权商后得到的最高 Hodge 向量一般并不张满向量丛，整体行列式正性控制不了它的坐标与零点。论文的改进是在 @@M@@(Y,D)@@ 的对数微分标架里逐系数跟踪该向量（regular coefficients 格），局部计算保证新判别式不扩大极点、原光滑纤维上的零被保留。这个”跟踪单个向量”的机制是全文最精密也最无先例的环节。）
问 2：参数空间 @@M@@S@@ 维数为正的情形怎么排除的？
（答：先限制到 @@M@@Y\to S@@ 的 generic 纤维使系数系统常值，非零数量坐标允许作相对 Iitaka 纤维化，在中间簇上造出与 @@M@@K_Y+D@@ 同截影空间的除子；周期正性（BBT 整周期像代数性、Campana–Păun 轨道余切正性、Fujino–Gongyo 的 b-nef 性）使它加拉回后为大；最后比较选定向量的迭代 Higgs 像与周期方向，作数值减法论证去掉所加除子，逼出 @@M@@\kappa(Y,K_Y+D)>0@@，与基维数 @@M@@0@@ 或 @@M@@-\infty@@ 矛盾。这个减法论证是量身定做的，最易藏错。）
问 3：层光滑假设为什么不能去掉？
（答：截影构造要求在原开基 @@M@@V@@ 的每一点保零——命题里 @@M@@y@@ 属于原始 @@M@@V@@ 而非造循环覆盖时缩小的开集，这种一致性正靠各边界层在 @@M@@V@@ 上光滑维持；水平边界的重数信息也靠它进入局部极点计算。姊妹篇下界不需要层光滑，这正显示上界是更强性质；去掉后命题如何修复论文未讨论。）
问 4：与 Popa–Schnell、Fujino–Fujisawa、Park、Campana 相比，真正新意是什么？
（答：前人的上界各带重条件：Campana–Peternell 猜想（Popa–Schnell）、基 Iitaka 纤维化一般纤维的广义丰度（FF）或好极小模型（Park）、原纤维典范层半丰（Campana）。本文全部卸掉，并首次处理基对数维数 @@M@@0@@ 与 @@M@@-\infty@@ 两个硬情形——后者断言全空间一切多重形式空间为零，是下界根本触及不到的 vanishing。）
问 5：基为 @@M@@-\infty@@ 的情形为什么性质完全不同？
（答：下界此时平凡成立（@@M@@-\infty@@ 卷入加法即吞没一切），上界却断言 @@M@@H^0(X,mL_X)=0@@ 对一切 @@M@@m>0@@。证明靠命题第一断言：非零 @@M@@s\in H^0(X,mL_X)@@ 的存在本身迫使 @@M@@\kappa(Y,L_Y)\ge0@@——即”总空间只要有一个多重形式，基就不可能是 @@M@@-\infty@@“，这是把存在性转化为基非消失的逆向逻辑。）
问 6：这类 AI 生成证明最可能以什么模式出错？
（答：三处高危：数值减法论证里 Higgs 像与周期方向的维数记账，差一即结论翻转；对 Fujino–Gongyo b-nef 性的秩条件要在可能带负系数的辅助子对上验证，属于把定理用在设定边缘；局部极点计算里根覆盖新增判别式与原边界的交互，符号错一个就可能”恰好”仍自洽。全文未形式化。）
问 7：谁会用到它？
（答：它与姊妹篇拼接成 Popa 对数可加性猜想的完整解答，为结果族 033 封顶；开簇的对数几何、Campana 核心与特殊簇理论、以及需要”光滑族像乘积一样守规矩”的任何场合（如 Shafarevich 型定理、典范环的维数计算）都可直接引用；@@M@@-\infty@@ 基的 vanishing 断言对超曲面族与覆盖族的截影消失尤为好用。）
总评
这篇论文补上了可加性等式的上半块，把 Popa 猜想 3.9 在层光滑设定下干净解决，卸掉全部既有附加条件是其实质贡献；最大风险集中在几何向量的系数跟踪与数值减法两处量身定做的论证——正是 AI 最擅长写出”看似流畅、实则漏一层”的地方。