结果族 034：Log abundance for compact Kähler spaces under logarithmic Iitaka subadditivity · 学科：Algebraic and complex geometry · 验证状态：暂无形式化证明，请以社区核验为准
一摞分数各有各的分母：二分之一、三分之一、七分之一……通分时总想找一个谁都能用的公分母。这篇论文研究纤维化世界里类似的”分母问题”：每族形状的”变形账本”（模性部分）系数都落在某个分母上，作者证明在不超过四维、边界系数来自固定有限集时，整类账本共用一个公分母——而且它只看维数和系数集，不看具体哪一族。
关键词卡片
@@M@@f:X\to Z@@，每片纤维的固有曲率加扣除项恰好是底上数据的拉回@@M@@p=p(d,\Phi)@@，只依赖维数与系数集看个具体例子
定理的数字版：固定维数 @@M@@d\le4@@ 与系数集 @@M@@\Phi@@（比如只许系数 @@M@@1/2@@），就存在整数 @@M@@p=p(d,\Phi)@@，使任何符合条件的纤维化在决定模型上都能把账本写成
@@M@@M=\tfrac1p\,D_{\mathbb Z}@@（@@M@@D_{\mathbb Z}@@ 为整 Cartier 除子）
而且当底除子”大”（含量足够多）时，存在统一次数 @@M@@m(d,\Phi)@@ 使每个倍数的取整伴随系非空、截面比生成底上全部有理函数；四维 klt 对收缩到有理连通底时，更有 @@M@@r(\Phi)(K_X+B)\sim 0@@——账被整数倍彻底清零。就像无论遇到四分之一还是六分之一，通分到 12 总够用；这里的”12”换成只依赖 @@M@@(d,\Phi)@@ 的 @@M@@p@@。
为什么值得关心
一致分母是”有效饭高纤维化”机器里的发动机零件，没有它后面所有统一次数都无从谈起；本文正是族内的四维先行稿，被任意维数的姊妹篇直接引用推广。
暂无形式化证明（AI 结果待核验）
第一级台阶
入门导读用了”通分找公分母”的比方：一摞分数各有分母，但存在一个谁都能用的公共分母。翻译成半数学语言：研究对象是一族纤维化的”变形账本”——它记录纤维随底点移动的方式；操作是把这本账写成一个整数除子除以某个分母。导读问的问题于是变成：对整类纤维化，是否存在一个只依赖维数和边界系数集的公共分母，而不必逐族查看。
第二级台阶
用标准术语精确化。设 @@M@@(X,B)@@ 是射影 log canonical 对，@@M@@f:X\to Z@@ 是收缩，且伴随除子满足 @@M@@K_X+B\sim_{\mathbb Q}f^*D@@。典范丛公式把 @@M@@f^*D@@ 拆成两部分：判别除子 @@M@@B_Z@@ 记录奇纤维的”磨损”，系数由阈值 @@M@@t_P@@ 决定；模性 b-除子 @@M@@\mathbf M@@ 记录变形方式，它同时活在底的所有双有理模型上，在某决定模型 @@M@@W@@ 上由一个 nef 的有理 Cartier 除子 @@M@@M_W@@ 代表。”@@M@@p\mathbf M@@ 是 b-Cartier”即 @@M@@pM_W@@ 在所有模型上一致地是整数除子——这就是”分母被 @@M@@p@@ 清干净”。
第三级台阶
定理在如下框架陈述：固定有限有理系数集 @@M@@\Phi@@ 与维数 @@M@@d\le 4@@，则存在只依赖 @@M@@(d,\Phi)@@ 的整数 @@M@@p_0\mid p@@ 与 DCC 集 @@M@@\mathcal B@@，使每个这样的纤维化都可选取”精确表示”@@M@@K_X+B+\frac{1}{p_0}\mathrm{Div}(\psi)=f^*(K_Z+B_Z+M_Z)@@，其中 @@M@@B_Z@@ 系数落在 @@M@@\mathcal B@@，@@M@@(Z,B_Z+M_Z)@@ 是广义 lc 对，且 @@M@@p\mathbf M@@ b-Cartier。”@@M@@d\le4@@“挡住的是特殊纤维维数至多三这一条件——那里才有可引用的 slc 指数定理与四维极小模型程序；”系数取自固定有限集”保证判别系数与差分落入可控集合；结论即导读所说：整类账本共用公分母，且当底除子大时，一致的取整伴随系截面比生成底的全部有理函数。
在维数至多四、边界系数取自固定有限有理集时，证明 log Calabi–Yau 纤维化的模性 b-除子有一致 Cartier 分母与一致平凡化次数；当底除子大时，一致的取整伴随系的截面比生成整个底函数域。
对满足 @@M@@K_X+B\sim_{\mathbb Q}f^*D@@ 的收缩 @@M@@f:X\to Z@@，典范丛公式 (canonical bundle formula) 把伴随除子分解为奇纤维的贡献——判别除子 (discriminant) @@M@@B_Z@@——与底上的模性部分 (moduli part) @@M@@\mathbf M@@。Ambro 与 Fujino–Gongyo 的定性理论保证 @@M@@\mathbf M@@ 在某个双有理模型上是 nef 的有理 Cartier 除子，但其 Cartier 倍数可能依赖于具体纤维化；有效应用（如有效饭高纤维化、log Calabi–Yau 指数界）需要只依赖维数与边界系数的一致倍数。此前 Fujino–Mori 用循环覆盖的中间 Betti 数控制分母，Todorov–Xu 处理了相对维数二的情形，Floris 处理一般纤维为有理曲线的情形并给出例子说明随纤维 Cartier 指数变化不可能有一致界。还有一个必须绕开的障碍：换一个有理线性等价的底除子代表元，会把模性部分改变一个主除子、引入任意大的分母——因此关键是选出合适的”精确拉回表示”。
定理（一致相对分母）：固定有限集 @@M@@\Phi\subset[0,1]\cap\mathbb Q@@ 与 @@M@@1\le d\le4@@。存在正整数 @@M@@p_0\mid p@@（@@M@@p_0@@ 清除 @@M@@\Phi@@）与只依赖 @@M@@d,\Phi@@ 的有理 DCC 集 @@M@@\mathcal B@@，使得：对每个系数在 @@M@@\Phi@@ 中的射影 log canonical 对 @@M@@(X,B)@@ 及收缩 @@M@@f:X\to Z@@（@@M@@\dim Z>0@@，@@M@@K_X+B\sim_{\mathbb Q}f^*D@@，@@M@@D@@ 有理 Cartier），存在 @@M@@\psi\in\mathbb C(X)^*@@ 与 @@M@@D_Z\sim_{\mathbb Q}D@@，使实际有理除子满足精确等式
@@M@@DK_X+B+\tfrac1{p_0}\Div(\psi)=f^*D_Z,\qquad D_Z=K_Z+B_Z+M_Z，@@
其中 @@M@@B_Z\ge0@@ 系数在 @@M@@\mathcal B@@ 中，@@M@@(Z,B_Z+M_Z)@@ 是广义 lc 对 (generalized pair)（@@M@@(X,B)@@ 为 klt 时为广义 klt），且模性 b-除子 @@M@@\mathbf M@@ 是 b-nef 的、@@M@@p\mathbf M@@ 为 b-Cartier。
配套结果：(1) 当 @@M@@D@@ 大时，存在 @@M@@m(d,\Phi)@@，使每个倍数 @@M@@l@@ 的完备取整系 @@M@@|\lfloor l(K_X+B)\rfloor|@@（秩一反射除子层）非空，且截面比恰生成 @@M@@\mathbb C(Z)\subset\mathbb C(X)@@，其有理映射双有理等价于 @@M@@f@@ 与饭高纤维化；(2) 有理连通底上的一致挠界：存在 @@M@@\ell(d,I,p)@@，使 @@M@@K_Z+B_Z+M_Z\sim_{\mathbb Q}0@@、带 @@M@@p\mathbf M@@ b-Cartier 数据的广义 klt 对满足 @@M@@\ell(K_Z+B_Z+M_Z)@@ 是整主除子。特别地，系数有限的 klt 四维对若收缩到具有有理连通光滑分解的正维数底，则 @@M@@r(\Phi)(K_X+B)@@ 为主除子，含 @@M@@B=0@@。
证明分四步。先固定表示：几何一般纤维是维数至多三、伴随有理线性平凡的 lc 对，用低维指数定理（经域同构化为复数对）取公共平凡化次数 @@M@@p_0@@，再用 Hilbert 90 把平凡化函数在不扩大次数的前提下从 Galois 扩张下降回 @@M@@\mathbb C(Z)@@；阈值 ACC 给出判别系数的 DCC 集，定性典范丛公式（验证秩一条件）使 @@M@@\mathbf M@@ b-nef 且在光滑决定模型 @@M@@W@@ 上下降。由于 @@M@@M_W@@ 的系数与 @@M@@\alpha+t_P@@ 只差整数（@@M@@\alpha@@ 为 @@M@@D_Z@@ 拉回系数、@@M@@t_P@@ 为阈值），目标化为对每个素除子证明 @@M@@p(\alpha+t_P)\in\mathbb Z@@。
再化到曲线上：取横截曲线切片，用逐次 Poincaré 留数配合避开标记点的线性等价代表元保持系数 @@M@@\alpha@@，在切片上跑相对 dlt 极小模型程序（四维翻转终止性由 Chen–Tsakanikas 的定理保证），负性引理证明误差项消失，得到 dlt 模型上的精确恒等式 @@M@@p_0(K_N+T+H)+\Div(\psi_C)=p_0(\alpha+t)f_N^*[c]@@，其中约化特殊纤维 @@M@@T@@ 连通且 @@M@@\dim T\le3@@。
决定性一步是整条纤维上的留数比较：@@M@@T@@ 是 demi-normal 的 slc（semi-log canonical）对，差分 (different) 系数落在固定 DCC 集；全局 ACC 把它压缩成有限集后，Jiang–Liu 关于三维以下 slc log Calabi–Yau 对的一致指数定理给出一致的偶倍数 @@M@@p@@ 与处处非零的 log 多重典范生成元 @@M@@u@@。写 @@M@@p_0(\alpha+t)=a/m@@（既约），取底曲线的 @@M@@m@@ 次根覆盖 @@M@@w^m=z@@ 并正规化，得循环覆盖 @@M@@\pi:Y\to N@@；形式 @@M@@s=(\pi^*\theta)^{\otimes p_0}\pi^*\psi\,w^{-a}@@ 生成 @@M@@Y@@ 上的 @@M@@p_0@@ 次 log 多重典范层、带特征 @@M@@\zeta^{-a}@@。在每个正规化覆盖分量上，留数与拉回生成元之商的比较表明它是常数；在分支交叉的节点处，偶次张量幂使相邻的下一层留数相等，于是连通性把所有常数粘成同一个标量。这样 @@M@@s^{p/p_0}@@ 的留数组是不变量的标量倍，其特征必须平凡，即 @@M@@m\mid p/p_0@@、@@M@@p(\alpha+t)\in\mathbb Z@@，从而 @@M@@pM_W@@ Cartier。
最后两个应用：有效系来自精确表示给出的截面空间恒等式 @@M@@H^0(X,\OO_X(\lfloor l(K_X+B)\rfloor))=\psi^{l/p_0}f^*H^0(Z,\OO_Z(\lfloor lD_Z\rfloor))@@（对反射层成立、不要求 Cartier），与 Birkar–Zhang 极化有效双有理性合并，公因子在比值中自动消去。挠命题则先经提取与全局 ACC 得有限系数集和一致 @@M@@\varepsilon@@-lc 奇异性，Birkar 有界性定理给出余维一同构意义下的有界族，半代数平凡性使 @@M@@H_1(U(\mathbb C),\mathbb Z)@@ 只有有限多型，Kummer 理论 @@M@@\mathrm{Cl}(Z)[n]\simeq\mathrm{Hom}(H_1(U(\mathbb C),\mathbb Z),\mu_n)@@ 给出一致的类群挠指数，再清除系数即得整主除子。
本文暂无 Lean 形式化证明，请以社区核验为准；OpenAI 官方声明”未经形式化的结果可能有问题”。它正是族内的四维先行稿（他文引用的 [R4]）：姊妹篇《Uniform Pluricanonical Iitaka Fibrations》把这里的相对分母方法推广到任意维数，用自身归纳与 Beauville–Bogomolov 块的退化替换了 Jiang–Liu 三维 slc 指数定理，而算术 Stein 度稿与 log 丰富性稿提供其余输入。维数至多四的限制正来自特殊纤维维数至多三时才可引用的指数定理与四维 MMP 终止性。
问 1：为什么”选对表示”本身就是障碍？
答：引言明确指出，把底除子 @@M@@D@@ 换成任一有理线性等价的代表元，模性部分就改变一个有理主除子，可能引入任意大的分母。因此定理（式 (1)）断言的是存在一个”精确拉回表示”——配合一个具体的有理函数 @@M@@\psi@@ 的等式——使模性界恰好对这一代表元成立，而不是对所有线性等价代表元成立。
问 2：证明中最脆弱的一步在哪里？
答：第 5 节的循环覆盖留数比较。Jiang–Liu 指数定理给出整个约化特殊纤维 @@M@@T@@ 上无处为零的 log 多重典范形式 @@M@@u@@（偶倍数 @@M@@p@@），环境形式在正规化覆盖分量上各给出一个标量；关键是”每个分量在相交节点处的下一层留数相等”迫使所有标量沿连通纤维粘成同一个。若粘合失败，环境形式只是不变拉回的逐分量倍数，其特征不必平凡，@@M@@p(\alpha+t_P)\in\mathbb Z@@ 就推不出来。这是全文一致性的心脏。
问 3：维数 @@M@@\le 4@@ 的限制为什么不能去掉？
答：曲线约化产生的约化特殊纤维维数至多三，恰好可用 Jiang–Liu 的三维 slc log Calabi–Yau 指数定理；相对 dlt MMP 又依赖四维翻转终止性（Chen–Tsakanikas）。五维以上两者都缺，论文未展开。
问 4：与 Fujino–Mori、Todorov–Xu、Floris 相比真正的新意是什么？
答：Fujino–Mori 与 Todorov–Xu 的分母界依赖循环覆盖的中间 Betti 数或纤维 Cartier 指数；Floris 的例子表明随纤维指数变化不可能有多项式一致界。本文的一致性来源完全不同——整条约化特殊纤维的 slc 指数——因此对固定 @@M@@\Phi@@ 的整类 lc 四维对给出只看 @@M@@(d,\Phi)@@ 的界，不受上述反例影响。
问 5：与 Bakker–Filipazzi–Mauri–Tsimerman 的关系？
答：他们证明 lc-平凡纤维化的定性 b-半丰富性；本文给出的是定量分母界。引言明确说明：分母界只保证某决定模型上倍数 Cartier，底点自由（base point free）是额外条件，本文未证明。
问 6：这类 AI 生成证明最可能的出错模式？
答：结构上有两套整数（@@M@@p_0@@ 管主修正、@@M@@p@@ 管模性迹）、一次 Hilbert 90 下降（要求不扩次数）和对反射层的赋值论证（不经 Cartier 假设）。任何一处把”对每个素除子分别成立”误当作”一致成立”、或把环境伴随需要的较大次数与统一次数 @@M@@p@@ 混同，都会产生看似完整实则失效的论证；论文无形式化核验。
问 7：下游谁会用到？
答：本文是族内的四维先行稿（他文引用的 [R4]）：任意维姊妹篇《Uniform Pluricanonical Iitaka Fibrations》直接把这里的相对分母方法推广；一致分母也是有效系与 log Calabi–Yau 指数界（推论：klt 四维对收缩到有理连通底时 @@M@@r(\Phi)(K_X+B)@@ 为主除子）的发动机零件。
总评
这是把定性典范丛公式推向有效化的关键齿轮，方法有真正新意（整纤维指数替代 Betti 数）；最大风险在留数粘合与双整数结构的衔接处，且其价值依赖姊妹篇家族的相互引用。