结果族 052：Tangent splittings and product decompositions · 学科：Algebraic and complex geometry · 验证状态：主结果已 Lean 形式化
一张地图如果每个局部都画成方格网——横路一族、竖路一族各自成体系——那么把地图完全摊开（数学上叫取万有覆盖）之后，它整体是否真是”横坐标 × 竖坐标”的标准网格？Beauville 在 2000 年猜想：是的。本文证明了这个猜想的两个和项版本：只要每点都有两种独立且各自封闭的全纯运动方向，展开后必定是一个乘积，两个因子恰好就是那两个方向。
关键词卡片
看个具体例子
设紧 Kähler 流形 @@M@@X@@ 的切丛分解 @@M@@T_X=E_1\oplus E_2@@，两个和项都可积、秩都为正。定理：万有覆盖 @@M@@\widetilde X@@ 双全纯同构于乘积 @@M@@Y_1\times Y_2@@，且 @@M@@E_1,E_2@@ 恰好提升为两因子的切丛；@@M@@Y_i@@ 正是两张叶的万有覆盖，允许非紧。注意结论只针对万有覆盖，不断言 @@M@@X@@ 的有限覆盖是乘积。
为什么值得关心
这是复几何版的”局部乘积 ⇒ 整体乘积”，与黎曼几何的 de Rham 分解定理遥相呼应；而全纯世界此前一直没有一般办法，本文补上了这块拼图。
已 Lean 形式化
第一级台阶
导读里的”方格网地图”说的其实是：对象是一个封闭的复空间，它每点的无穷小运动方向都能分成两组，各自独立且各自封闭——沿一组方向怎么组合都造不出另一组的运动。操作则是把这个空间沿一切路径完全摊开。问题：摊开后的整体，是否恰好是”横方向摊平版”与”竖方向摊平版”的标准乘积，两组方向是否正好变成两个因子的坐标方向。
第二级台阶
用本科术语落实：复流形 X 的切丛 T_X 把每点的切向量空间打包成丛；给定指定分解 T_X=E_1⊕E_2，即两个全纯子丛的直和；E_i 称为可积的，若其局部全纯截面关于李括号封闭，由全纯 Frobenius 定理，这等价于每点附近有 (s,t) 乘积坐标使 E_i 恰为坐标轴方向。万有覆盖 π:X̃→X 是单连通展开；双全纯同构是复世界的”全等”。
第三级台阶
定理在此陈述：紧连通 Kähler 流形 X（复维数至少 2）若有正秩可积全纯子丛的指定分解 T_X=E_1⊕E_2，则存在单连通复流形 Y_1,Y_2 与双全纯同构 Φ:X̃→Y_1×Y_2，使 dΦ 把提升后的 π^*E_i 恰好映成第 i 个因子的切丛，且 Y_i 就是通过基点的第 i 张叶（沿该方向织出的最大曲面）的万有覆盖，允许非紧。可积性假设挡住的是”两组方向必须各自织成真正的面”；Kähler 条件在跨越边界的步骤里通过 Kähler 形式的闭性加 Stokes 定理提供面积控制——全纯世界没有 de Rham 分解那样现成的平行度量可用；紧性则保证各类投影与圆盘族的有界性。结论只落在万有覆盖层面：论文不断言 X 本身或其有限覆盖是乘积，这正是”兼容”二字所在——提升后的指定和项与乘积因子方向严格对齐。
第一级台阶
导读里的”方格网地图”说的其实是：对象是一个封闭的复空间，它每点的无穷小运动方向都能分成两组，各自独立且各自封闭——沿一组方向怎么组合都造不出另一组的运动。操作则是把这个空间沿一切路径完全摊开。问题：摊开后的整体，是否恰好是”横方向摊平版”与”竖方向摊平版”的标准乘积，两组方向是否正好变成两个因子的坐标方向。
第二级台阶
用本科术语落实：复流形 X 的切丛 T_X 把每点的切向量空间打包成丛；给定指定分解 T_X=E_1⊕E_2，即两个全纯子丛的直和；E_i 称为可积的，若其局部全纯截面关于李括号封闭，由全纯 Frobenius 定理，这等价于每点附近有 (s,t) 乘积坐标使 E_i 恰为坐标轴方向。万有覆盖 π:X̃→X 是单连通展开；双全纯同构是复世界的”全等”。
第三级台阶
定理在此陈述：紧连通 Kähler 流形 X（复维数至少 2）若有正秩可积全纯子丛的指定分解 T_X=E_1⊕E_2，则存在单连通复流形 Y_1,Y_2 与双全纯同构 Φ:X̃→Y_1×Y_2，使 dΦ 把提升后的 π^*E_i 恰好映成第 i 个因子的切丛，且 Y_i 就是通过基点的第 i 张叶（沿该方向织出的最大曲面）的万有覆盖，允许非紧。可积性假设挡住的是”两组方向必须各自织成真正的面”；Kähler 条件在跨越边界的步骤里通过 Kähler 形式的闭性加 Stokes 定理提供面积控制——全纯世界没有 de Rham 分解那样现成的平行度量可用；紧性则保证各类投影与圆盘族的有界性。结论只落在万有覆盖层面：论文不断言 X 本身或其有限覆盖是乘积，这正是”兼容”二字所在——提升后的指定和项与乘积因子方向严格对齐。
证明了 Beauville 兼容分裂猜想（compatible splitting conjecture）的双和项形式：紧凯勒流形的切丛若分解为两个可积全纯子丛，则其万有覆盖必与乘积双全纯同构，且因子切丛恰是提升后的两个指定子丛。
乘积流形的全纯切丛自动是各因子切丛的直和，反方向的问题要微妙得多。对指定分解 @@M@@T_X=E_1\oplus E_2@@，可积性（integrability，即子丛的局部全纯截面关于李括号封闭）由全纯 Frobenius 定理给出同时的局部乘积坐标；但局部乘积结构能否延拓为万有覆盖上的整体乘积，长期没有一般方法。Beauville 于 2000 年提出 compatible splitting conjecture，并证明了凯勒–爱因斯坦流形与紧凯勒曲面等重要情形；此后 Druel、Brunella–Pereira–Touzet、Pereira–Touzet 及 Druel–Pereira–Pym–Touzet 等工作都要附加线丛和项、Hermitian 平坦性或紧叶等条件。与黎曼几何的 de Rham 分解不同，全纯分裂并不提供使两个分布平行的完备度量，卡点正是缺少一个针对指定局部乘积的延拓定理。Beauville 还指出：即使万有覆盖恰为乘积，指定的分裂也未必与乘积方向兼容。
主定理：设 @@M@@X@@ 为紧连通凯勒流形，@@M@@\dim_{\mathbb C}X\geq 2@@，@@M@@T_X=E_1\oplus E_2@@ 是分解为正秩 @@M@@r_1,r_2@@ 可积全纯子丛的指定分解。若 @@M@@\pi:\widetilde X\to X@@ 是通常拓扑下的万有覆盖映射，则存在连通单连通复流形 @@M@@Y_1,Y_2@@ 及双全纯同构 @@M@@\Phi:\widetilde X\to Y_1\times Y_2@@，使得 @@M@@\mathrm d\Phi(\pi^*E_i)=\pr_i^*T_{Y_i}@@，特别地 @@M@@\dim_{\mathbb C}Y_i=r_i@@。两个因子正是过公共基点的两张叶（leaf，赋予内在拓扑）的万有覆盖，叶可以非紧；结论只关乎万有覆盖，不断言 @@M@@X@@ 的有限覆盖是乘积。推论一：非 uniruled（不被有理曲线覆盖）的光滑射影流形上，结合 Höring 的自动可积性定理，任意正秩分裂的两个和项自动可积，万有覆盖有兼容乘积分解。推论二：@@M@@K_X@@ 为 nef and big（数值有效且大）时，借助 Song 的典范凯勒–爱因斯坦逼近可证两和项在正则典范轨迹上关于极限度量平行，同样得到乘积结论；附录还发展了一条经由典范收缩的塌缩纤维的替代延拓路线。
证明的引擎是”全纯匣”（holomorphic box）：一个全纯映射，若 @@M@@s@@-方向微分落在 @@M@@E_1@@、@@M@@t@@-方向微分落在 @@M@@E_2@@，它在乘积图表（product chart）中就局部呈分离形式 @@M@@(f_1(s),f_2(t))@@，且不要求是浸入。整个证明就是让匣不断”长大”直至覆盖整个参数域。
第一步做 Hartogs 型延拓。先用 Ivashkovich 定理把匣从 Hartogs 图形亚纯延拓到双盘；两条分离的切性随后排除图像的正维纤维——若某纤维含曲线，则某目标坐标沿它非常数，比较”可疑曲线处的孤立水平集”与”附近全纯图像点处的一维水平集”，会造出坐标球内的紧解析集，这不可能；再证纤维必为单点，最后由可去奇点定理得到保持切性的全纯延拓。
第二步跨过混合边界。在凸域边界点处复切线同时含两个参数方向，分裂给出的有界投影 @@M@@P_i@@ 满足精确恒等式 @@M@@\mathrm df(e_u)=\sum_i(a_i/b_i)P_i\,\mathrm df(e_v)@@，即法向速度被切向速度控制。Kähler 形式的闭性配合 Stokes 定理给收缩圆盘的面积一致上界；在两两不交的圆环族中挑出面积趋零的一个，用 Brody 式导数重标的”小面积引理”（面积趋零则导数在紧集上一致趋零）把像压进单个乘积图表，再用移位公式拼出一个半径远大于到边界剩余距离的 Hartogs 壳，交回第一步回填。
第三步合成整体匣。用穷竭域 @@M@@B_m(R)=\{|s|^{2m}+|t|^{2m}<R^{2m}\}@@ 把两条圆盘轴张成的匣延拓到整个双圆盘：混合边界点交给第二步，轴点直接用乘积图表拼接，凸性保证粘合；再用有限网格归纳地处理多圆盘参数。关键洞见是：搬运后的边仍在原来的整个多圆盘上保有全纯代表元，定义域无需缩小——这比延续个别芽强得多。
最后转为连续路径与万有覆盖。有限矩形网格把任意两条叶状路径做成某连续匣的两条边，任意连续路径则可写成某匣的对角线。对过基点的两张叶取内在拓扑（论文证明其 Hausdorff 且第二可数），取其万有覆盖 @@M@@Y_i@@；基点处互逆的局部双全纯芽沿匣路径解析延拓，在单连通覆盖上由 monodromy 定理得到整体互逆的全纯映射，其复合在基点附近为恒等、由恒等定理处处为恒等，于是得双全纯 @@M@@\Phi@@；@@M@@\mathrm d\Phi@@ 把 @@M@@\pi^*E_i@@ 映入 @@M@@\pr_i^*T_{Y_i}@@，再由秩与维数取等。
主定理已有 Lean 形式化证明（见结果族 052 的 Lean 文档），验证状态在同族中最稳固。姊妹篇证明有理连通射影流形上两个和项自动可积，恰好补上本定理的可积性假设，两篇合读即从”切丛分裂”直达”乘积分解”。按 OpenAI 官方声明，未经形式化的结果可能有问题；本篇主结果已形式化，各推论与附录路线仍建议参照社区核验。
问 1：证明里最关键的一步是哪一步？
答：混合边界点的跨越（boundary 一节）。Hartogs 型延拓只能处理好边界，凸域边界点处复切线同时含两个参数方向；论文用分裂给出的有界投影证明恒等式 df(e_u)=Σ(a_i/b_i)P_i df(e_v)——法向速度被切向速度控制——再借 Kähler 形式闭性与 Stokes 得面积一致上界，从两两不交的圆环族里挑出面积趋零者，用 Brody 式重标把像压回单个乘积图表并拼出更大的 Hartogs 壳回填。没有这一步，匣子永远长不过凸边界。
问 2：这一步为什么也最脆弱？
答：它是解析估计与集合拼装的混合体：面积趋零推出导数在紧集上一致趋零的”小面积引理”、移位公式、以及在穷竭域 B_m(R) 上的归纳与粘合，每一步都要保证”搬运后的边仍在原多圆盘上保有全纯代表元”。主定理已有 Lean 形式化，风险大减；但形式化以主定理为界，两条推论与附录的塌缩纤维替代路线仍待社区核验。
问 3：可积性假设为什么不能去掉？
答：不可积的分裂没有叶：Frobenius 定理失效后，沿一个和项走不出真正的曲面，”两张叶的万有覆盖当因子”的说法就无从谈起。论文的技术基石”全纯匣”（s 方向微分落 E_1、t 方向落 E_2 的映射局部呈分离形式）也只在可积时成立。有趣的是同族姊妹篇证明有理连通射影流形上可积性自动成立，两篇合读可以完全删掉这条假设。
问 4：与 Druel、Pereira–Touzet 等前人相比真正的新意是什么？
答：前人结果都要附加条件——线丛和项、Hermitian 平坦性或紧叶；本文对任意正秩可积两和项直接工作，无任何额外假设。技术新意是把问题整体化为”让匣子长大”的延拓纲领，配合关键洞见：搬运后的边界保有整体代表元，定义域无需缩小。这补上了复几何版”局部乘积⇒整体乘积”（de Rham 分解的全纯类似物）一直缺失的那块。
问 5：为什么结论只敢落在万有覆盖上？
答：Beauville 本人已观察到：即使万有覆盖恰为乘积，指定分裂也未必与乘积方向兼容，X 的有限覆盖更未必是乘积。叶在 X 内可能绕洞而行，其商结构可以高度非平凡；论文只主张单连通摊开后方向严格对齐因子——这是猜想的原话，也是能被证住的最强层级。
问 6：谁会用到它？
答：叶空间与 foliation 社区拿到首个一般延拓定理；结合推论一（非 uniruled 射影流形 + Höring 自动可积）与姊妹篇，”切丛分裂 ⇒ 万有覆盖乘积分解”在两大类流形上已闭合；推论二对 K_X nef and big 的情形经 Song 的典范度量逼近给出几何解释，为高维 MMP 的几何模型（如纤维化分解）提供工具。
总评
这是复几何 de Rham 型定理长期缺口的真正填补，证明纲领原创且主定理已形式化，同族中最稳；残余风险在未形式化的推论与附录路线，以及与姊妹篇可积性结果的对接处。
问 1：证明里最关键的一步是哪一步？
答：混合边界点的跨越（boundary 一节）。Hartogs 型延拓只能处理好边界，凸域边界点处复切线同时含两个参数方向；论文用分裂给出的有界投影证明恒等式 df(e_u)=Σ(a_i/b_i)P_i df(e_v)——法向速度被切向速度控制——再借 Kähler 形式闭性与 Stokes 得面积一致上界，从两两不交的圆环族里挑出面积趋零者，用 Brody 式重标把像压回单个乘积图表并拼出更大的 Hartogs 壳回填。没有这一步，匣子永远长不过凸边界。
问 2：这一步为什么也最脆弱？
答：它是解析估计与集合拼装的混合体：面积趋零推出导数在紧集上一致趋零的”小面积引理”、移位公式、以及在穷竭域 B_m(R) 上的归纳与粘合，每一步都要保证”搬运后的边仍在原多圆盘上保有全纯代表元”。主定理已有 Lean 形式化，风险大减；但形式化以主定理为界，两条推论与附录的塌缩纤维替代路线仍待社区核验。
问 3：可积性假设为什么不能去掉？
答：不可积的分裂没有叶：Frobenius 定理失效后，沿一个和项走不出真正的曲面，”两张叶的万有覆盖当因子”的说法就无从谈起。论文的技术基石”全纯匣”（s 方向微分落 E_1、t 方向落 E_2 的映射局部呈分离形式）也只在可积时成立。有趣的是同族姊妹篇证明有理连通射影流形上可积性自动成立，两篇合读可以完全删掉这条假设。
问 4：与 Druel、Pereira–Touzet 等前人相比真正的新意是什么？
答：前人结果都要附加条件——线丛和项、Hermitian 平坦性或紧叶；本文对任意正秩可积两和项直接工作，无任何额外假设。技术新意是把问题整体化为”让匣子长大”的延拓纲领，配合关键洞见：搬运后的边界保有整体代表元，定义域无需缩小。这补上了复几何版”局部乘积⇒整体乘积”（de Rham 分解的全纯类似物）一直缺失的那块。
问 5：为什么结论只敢落在万有覆盖上？
答：Beauville 本人已观察到：即使万有覆盖恰为乘积，指定分裂也未必与乘积方向兼容，X 的有限覆盖更未必是乘积。叶在 X 内可能绕洞而行，其商结构可以高度非平凡；论文只主张单连通摊开后方向严格对齐因子——这是猜想的原话，也是能被证住的最强层级。
问 6：谁会用到它？
答：叶空间与 foliation 社区拿到首个一般延拓定理；结合推论一（非 uniruled 射影流形 + Höring 自动可积）与姊妹篇，”切丛分裂 ⇒ 万有覆盖乘积分解”在两大类流形上已闭合；推论二对 K_X nef and big 的情形经 Song 的典范度量逼近给出几何解释，为高维 MMP 的几何模型（如纤维化分解）提供工具。
总评
这是复几何 de Rham 型定理长期缺口的真正填补，证明纲领原创且主定理已形式化，同族中最稳；残余风险在未形式化的推论与附录路线，以及与姊妹篇可积性结果的对接处。