结果族 067：The Campana–Peternell conjecture in dimension six · 学科：Algebraic and complex geometry · 验证状态：暂无形式化证明，请以社区核验为准
有一类高维空间”处处顺滑不粘滞”（切丛 nef：朝任何方向移动都不亏），猜想说：这样顺滑的正曲率空间必然高度对称，是李群轨道式的标准空间。Campana–Peternell 猜想在五维以下早已解决，本文攻克六维：六维顺滑 Fano 流形只能是有理齐性空间；最难的一个缺口被精确识别为 Grassmannian @@M@@\operatorname{Gr}(2,5)@@。
关键词卡片
@@M@@G/P@@，如射影空间、Grassmannian，完美对称的标准空间。看个具体例子
@@M@@\operatorname{Gr}(2,5)@@ 是”五维复空间中所有二维平面”组成的空间：维数 @@M@@2\times(5-2)=6@@，伪指标 5、Picard 数 1——正是六维最后剩下的缺口情形。论文算出：若六维 @@M@@X@@ 伪指标为 5，过一般点的 VMRT 必是 @@M@@\mathbb P^5@@ 里的 Segre 三维体 @@M@@\mathbb P^1\times\mathbb P^2@@，而这恰是 @@M@@\operatorname{Gr}(2,5)@@ 的指纹，于是 @@M@@X\simeq\operatorname{Gr}(2,5)@@。关键一步是一串交点数逼出 @@M@@(u-4)(3u-8)=0@@，再排除 @@M@@u=4@@ 得 @@M@@u=8/3@@、@@M@@L^3=3@@；这部分有限消元附有可执行证书（矩阵秩在有限域上逐点核验），属”机器辅助、证书可查”的类型。
为什么值得关心
“数值正性推出极大对称性”是几何学的母题；六维落地后，顺滑 Kähler 流形的万有覆盖分解（单值化型定理）随之推进到差距不超过 6 的情形。
暂无形式化证明（AI 结果待核验）
第一级台阶
导读把 nef 切丛比作”处处顺滑不粘滞”，把有理齐性空间比作”李群轨道式的标准空间”，把 VMRT 比作”指纹”。翻译一下：研究对象是一类六维正曲率空间，其上沿任何曲线移动都不损失正性；猜想断言这种纯数值的顺滑性迫使空间拥有最大对称性；操作是测出空间的”尺码”（伪指标），再读取一般点处极小曲线方向集合这份指纹，与已知标准件的指纹比对。
第二级台阶
用标准术语说：Fano 流形指反典范线丛 ω⁻¹ 丰富的光滑射影流形；向量丛 nef 指其射丛化上的重言线丛在每条曲线上度数非负；有理齐性空间形如 G/P（半单群模抛物子群）；伪指标是有理曲线反典范度的最小值；VMRT（极小有理切线簇）是过一般点的极小有理曲线切方向的闭包。有理齐性空间的切丛由整体截面生成、必然 nef，问题在于逆命题。
第三级台阶
定理的语境：X 是切丛 nef 的光滑连通复射影 Fano 六维流形。nef 假设保证每条极小曲线自由、泛族与求值映射都光滑，为指纹读取铺路；六维是当前战线——五维及以下已解决，Kanemitsu 的定理又把 ρ≥2 的情形一并带走，只剩 ρ=1、伪指标 4 与 5 两个缺口。结论：X 必为有理齐性空间。核心战役在伪指标 5：一串交点数逼出 (u−4)(3u−8)=0（u 为求值纤维的示性数比值），排除 u=4 后 VMRT 被识别为 Segre 三维体 P¹×P²——这正是 Grassmannian Gr(2,5) 的指纹，识别定理随即给出 X≅Gr(2,5)。
本文证明：切丛为 nef 的光滑复射影 Fano 六维流形必定是有理齐性空间 @@M@@G/P@@，从而解决六维 Campana–Peternell 猜想；核心新步骤是伪指标为 @@M@@5@@ 的情形，最终识别出 @@M@@X\simeq\operatorname{Gr}(2,5)@@，并附带 nef 切丛紧 Kähler 流形的万有覆盖分解定理。
Fano 流形（Fano manifold）指反典范线丛 @@M@@\omega_X^{-1}@@ 为丰裕（ample）的光滑射影流形；向量丛称为 nef（numerically effective，数值有效），若其射丛化上的重言线丛在每条曲线上度数非负。有理齐性空间（rational homogeneous variety）形如 @@M@@G/P@@，即连通半单复代数群 @@M@@G@@ 关于抛物子群 @@M@@P@@ 的商，如射影空间、二次超曲面与 Grassmannian。这类空间的切丛由整体截面生成，必然 nef。1979 年 Mori 用切丛的丰裕性刻画射影空间之后，Campana 与 Peternell 于 1991 年提出猜想：切丛 nef 的光滑 Fano 流形必为有理齐性空间——一个纯粹数值的正性条件能否决定流形容许传递代数群作用？此前三维以下（Campana–Peternell）、四维（Mok、Hwang）与五维（Watanabe、Kanemitsu）相继解决，Kanemitsu 又证明 @@M@@\rho(X)>n-5@@ 时猜想成立；于是六维只剩 Picard 数（Picard number）@@M@@\rho(X)=1@@ 且伪指标（pseudoindex，即有理曲线反典范度的最小值）为 @@M@@4@@ 或 @@M@@5@@ 的两个缺口。
主定理（Theorem 1.1）：每个切丛 nef 的光滑连通复射影 Fano 六维流形都是有理齐性空间。作为推论（Kähler 单值化）：设 @@M@@X@@ 是切丛在解析意义下 nef 的紧 Kähler 流形，@@M@@\widetilde q(X)@@ 为所有连通有限平展覆盖（finite étale cover）上不规则度的最大值，则当 @@M@@\dim_{\mathbb C}X-\widetilde q(X)\leq6@@ 时，@@M@@X@@ 的万有覆盖双全纯同构于 @@M@@F\times\mathbb C^{\widetilde q(X)}@@，其中 @@M@@F@@ 是有理齐性流形；相应地，某个有限平展覆盖的 Albanese 映射是以 @@M@@F@@ 为纤维的局部平凡全纯丛。此外，正维数不超过六的这类 Fano 流形都容许正 Kähler–Einstein 度量。
先归约：@@M@@\rho(X)\geq2@@ 时 Kanemitsu 的定理（@@M@@\rho(X)>n-5@@ 则猜想成立）直接给出结论，故设 @@M@@\rho(X)=1@@。记伪指标为 @@M@@d@@。@@M@@d=2@@ 会导出与 @@M@@\rho=1@@ 矛盾的 @@M@@\mathbb P^1@@-纤维化；@@M@@d=3@@ 时极小有理切线簇（variety of minimal rational tangents，VMRT）是一维的，Mok–Hwang 分类只给出 @@M@@\mathbb P^2@@、@@M@@Q^3@@ 与 @@M@@G_2@@ 型齐性接触流形，均非六维；@@M@@d\geq6@@ 时 Dedieu–Höring 的数值刻画给出 @@M@@\mathbb P^6@@ 或 @@M@@Q^6@@。于是只剩 @@M@@d=4,5@@。
公共骨架是极小有理曲线的泛族 @@M@@\pi:U\to V@@ 与求值映射 @@M@@e:U\to X@@。nef 性使每条极小曲线都是自由曲线（free curve），由此 @@M@@U,V@@ 光滑、@@M@@\pi@@ 是 @@M@@\mathbb P^1@@-纤维化、@@M@@e@@ 光滑且纤维维数 @@M@@d-2@@，并且 @@M@@e@@ 的相对切丛沿每条曲线同构于 @@M@@\mathcal O_{\mathbb P^1}(-1)^{\oplus(d-2)}@@。
@@M@@d=4@@ 时由 Kanemitsu 的因子化定理化为带两个纤维化的流形，用 Hard Lefschetz 定理与相交论逐一排除纤维类型；最后的奇维二次超曲面丛情形，以”正交描述迫使某特征数为零，而第二纤维化迫使一个整除子具有非整度数”的矛盾排除。
@@M@@d=5@@ 是全文核心。对一般点 @@M@@x@@，纤维 @@M@@F=e^{-1}(x)@@ 是光滑三维流形，在标记点取切方向给出有限态射 @@M@@\tau_x:F\to\mathbb P(T_x^*X)\simeq\mathbb P^5@@，其像是 VMRT @@M@@\mathcal C_x@@，而 @@M@@L=\tau_x^*\mathcal O(1)@@ 丰裕。目标是约束比值 @@M@@u=c_1(T_F)\cdot L^2/L^3@@。关键想法是把泛族”两用”：既当作参数空间 @@M@@V@@ 上的曲线族，又当作 @@M@@X@@ 上的三维流形族。一方面，下降到八维 @@M@@V@@ 的类、来自六维 @@M@@X@@ 的类，加上由 Deligne 固定部分定理（直接像的 Hodge 滤过常值，故正度陈特征消没）与相对 Grothendieck–Riemann–Roch 得到的两组消没，联合给出九权交点数之间的线性关系（矩阵 @@M@@A@@ 为 @@M@@1785\times581@@）；另一方面，投影公式使部分交点数沿 @@M@@e@@ 的积分分解为乘积 @@M@@\xi_i\eta_j@@，其中 @@M@@\eta_1=u@@。再把双线性约束乘到三次、在放松后的 @@M@@6820@@ 维空间中消元：先在 @@M@@\mathbb F_{10007}@@ 上算得维数上界 @@M@@6@@，再给出六个显式有理向量组成基，最终迫使 @@M@@32-20u+3u^2=0@@，即 @@M@@(u-4)(3u-8)=0@@。
最后做几何识别：Hwang–Mok 的分布理论（配合辛商反证）证明 @@M@@\mathcal C_x@@ 线性张满 @@M@@\mathbb P^5@@，故 @@M@@L^3\geq3@@；截影亏格公式 @@M@@g=1+(1-u/2)L^3@@ 排除 @@M@@u=4@@（亏格为负），从而 @@M@@u=8/3@@、@@M@@L^3=3@@、@@M@@\deg\tau_x=1@@。由 del Pezzo–Bertini 极小度分类，@@M@@\mathcal C_x@@ 是三次滚动面；文中用不变量环论证其法性（normality），使 @@M@@\tau_x@@ 成为同构，再用光滑性排除锥面，得 @@M@@\mathcal C_x\simeq\mathbb P^1\times\mathbb P^2\subset\mathbb P^5@@（Segre 三维流形）。这恰是 @@M@@\operatorname{Gr}(2,5)@@ 的 VMRT（秩一同态的方向），于是 Mok 的识别定理给出 @@M@@X\simeq\operatorname{Gr}(2,5)@@。Kähler 推论则是把上述分类逐纤维用于 Demailly–Peternell–Schneider 的 Albanese 纤维化，再由有理齐性流形的形变刚性（@@M@@H^1(T)=0@@）、Fischer–Grauert 定理与 Claudon–Höring–Kollár 的万有覆盖分裂定理完成。
本文主结果尚无 Lean 形式化证明；按 OpenAI 官方声明，”未经形式化的结果可能有问题”，请以社区核验为准。证明中有限消元部分附有完整可执行证书（附录）：矩阵秩在 @@M@@\mathbb F_{10007}@@ 上验证，六个有理基向量逐点精确复核，属”机器辅助、证书可查”的类型。本结果族目前仅此一篇，其 @@M@@\rho\geq2@@ 与低维部分完全引用已发表文献（Kanemitsu、Watanabe、Mok、Hwang 等）；新贡献集中在 @@M@@\rho=1@@、伪指标 @@M@@4@@ 与 @@M@@5@@ 两个缺口，其中伪指标 @@M@@4@@ 的处理与 Watanabe 2021 的已有定理互为独立印证。
问 1：证明中最关键、最脆弱的一步是什么？
（答：伪指标 5 的数值核心——把极小曲线泛族”两用”（既当参数空间上的曲线族、又当 X 上的三维流形族）。两个纤维化给出九权交点数间的线性关系（矩阵 A 为 1785×581，来自 Deligne 固定部分定理与相对 Grothendieck–Riemann–Roch 的两组消没），投影公式又使部分交点数分解为乘积；两类约束相乘后在放松的 6820 维空间消元，才逼出 (u−4)(3u−8)=0。”两用”的相容性换算是最易藏错的地方。）
问 2：有限域消元如何让人放心？
（答：附录给出完整可执行证书：矩阵秩在 F₁₀₀₀₇ 上验证得维数上界 6，再给出六个显式有理向量组成基，逐点精确复核。秩 mod p 只能低估解空间维数，配上有理基的显式验证，逻辑闭环成立——属”机器辅助、证书可查”类型，这一环节可信度较高。）
问 3：与已有工作相比，真正的新意是什么？
（答：Mok–Hwang 的 VMRT 分类只处理一维切线簇，这里是三维切线像；此前 Kanemitsu ρ>n−5、Watanabe 与 Kanemitsu 的五维分类把六维压缩到 ρ=1 且伪指标 4、5 两个缺口。伪指标 4 本文给出与 Watanabe 2021 独立互补的相交论证，互为印证；伪指标 5（Gr(2,5)）是完全新的，”泛族两用 + 证书化消元”是方法层面的新器件。）
问 4：伪指标 4 的奇维二次超曲面丛是怎么排除的？
（答：正交描述迫使某特征数为零，而第二个纤维化迫使一个整除子具有非整度数，二者矛盾。这一收尾干净但依赖 Kanemitsu 因子化定理把问题化到带两个纤维化的流形、再用 Hard Lefschetz 与相交论逐一清点纤维类型——清点漏一类即破功。）
问 5：AI 生成证明最可能在哪里出错？
（答：不在机器部分（有证书），而在手算部分：Deligne 固定部分定理给出的”直接像 Hodge 滤过常值、正度陈特征消没”如何逐项翻译成 A 的行，Grothendieck–Riemann–Roch 的相对化记账，以及双线性约束乘到三次后消元空间的维数核算。特征数的符号与扭差一处，消元结果就不再可信。）
问 6：Kähler 推论的价值与边界在哪？
（答：把 Fano 分类逐纤维用于 Demailly–Peternell–Schneider 的 Albanese 纤维化，再用有理齐性流形的形变刚性（H¹(T)=0）、Fischer–Grauert 定理与 Claudon–Höring–Kollár 万有覆盖分裂定理，得 dim−q̃≤6 时万有覆盖 ≅ F×C^q̃。注意环面可以非射影、有限覆盖丛仍可扭——乘积只对万有覆盖断言，这是诚实边界。）
问 7：谁会用到它？
（答：单值化纲领（Mok 1988 非负双截曲率定理的后裔）与 nef 切丛结构理论社区；顺带给出至多六维这类 Fano 流形的正 Kähler–Einstein 度量。七维及以上仍开放。）
总评
Campana–Peternell 猜想推进到六维且缺口精确收敛于 Gr(2,5)，机器部分带证书、引用部分清晰，工程上相当审慎；最大风险在特征数恒等式的手工翻译与消元记账，未经形式化，需专家逐节核验。