结果族 318：Chromatic splitting: filtrations and counterexamples · 学科：Topology · 验证状态：暂无形式化证明，请以社区核验为准
把高清照片压成缩略图很容易，数学家曾希望存在一套程序，能把原图从缩略图完整取回来。这篇论文证明：对球面在特定”楼层”，这样的取回程序不存在——压缩丢掉的信息永远找不回来，而且作者抓到了一个具体的”丢失像素”。
关键词卡片
看个具体例子
取最小的适用素数 @@M@@p=5@@，探测器是 β-元素的 16 次幂（指数恰为 @@M@@(p-1)^2=16@@），它住在 608 维同伦群中（维数 @@M@@=(2p(p-1)-2)\times 16=608@@）。数字版定理：
@@M@@\beta_1^{16}\neq 0\ \in\ \pi_{608}L_4X,\qquad i_{5,X}(\beta_1^{16})=0\qquad\Longrightarrow\qquad i_{5,X}@@ 没有左逆。
道理和日常经验一样：若复印件能完全还原原件，两页不同的原文就不可能印出同一张复印件——非零类掉进核里，左逆就不可能存在。定理对所有 @@M@@p\geq 5@@（高度 @@M@@p@@）和 @@M@@p\geq 7@@（高度 @@M@@p+1@@）成立。
为什么值得关心
弱色分裂是色分裂猜想最后的阵地，此前”强公式屡败、弱式幸存”；本文在大素数范围连它也推翻了。
暂无形式化证明（AI 结果待核验）
第一级台阶
导读把弱色分裂比作”从缩略图取回原图”。翻译成半数学的话：对象是球面的各种投影视图——先只看前若干层信息得到的像，以及”只看最高一层之后再退回低层视野”得到的像；两者之间有一张天然的投影。所谓取回程序，就是给这张投影配一个左逆，使”先投再取”等于原地不动。论文证明的是：对完备化后的球面，这样的左逆在特定楼层不存在，而且作者指出了一件具体被压掉的”像素”。
第二级台阶
用本科术语精确化。对谱施加局部化 @@M@@L_r@@，即只保留前 @@M@@r@@ 层周期信息；记 @@M@@X=S_p^\wedge@@ 为球面的导出 @@M@@p@@-完备化，也就是只看素数 @@M@@p@@ 处的信息。@@M@@K(n)@@-局部化则只保留第 @@M@@n@@ 层最精细的周期信息。典范弱分裂映射 @@M@@i_{n,X}:L_{n-1}X\to L_{n-1}L_{K(n)}X@@ 由局部化单位诱导；它有同伦收缩（homotopy retraction），指存在映射 @@M@@r@@ 使复合 @@M@@r\circ i_{n,X}@@ 在同伦意义上等于恒等。而 @@M@@\beta_1@@ 是球面同伦群 @@M@@\pi_*S@@ 里一个经典非零类，可作乘幂。
第三级台阶
定理的语境是：输入限定为有限谱的导出 @@M@@p@@-完备化（本文取球面本身），这一假设挡住了 Devinatz 型完备 @@M@@BP@@ 反例的干扰，使否定的恰是有限输入版本；素数范围 @@M@@p\geq5@@（高度 @@M@@p@@）与 @@M@@p\geq7@@（高度 @@M@@p+1@@）由证明中的数值不等式硬性划出。定理断言：@@M@@\beta_1@@ 的 @@M@@(p-1)^2@@ 次幂在 @@M@@\pi_*L_{n-1}X@@ 中的像非零，却被 @@M@@\pi(i_{n,X})@@ 杀死——一个有左逆的映射不可能杀死非零类，故收缩不存在。核中有一个指名道姓的非零类，使结论不再是抽象的非分裂，而是可核查的矛盾源头；另有独立的下降指数论证在同一高度封死收缩。
本文证明：对导出 @@M@@p@@-完备球面 @@M@@X@@，典范弱色分裂映射 @@M@@i_{n,X}:L_{n-1}X\to L_{n-1}L_{K(n)}X@@ 在高度 @@M@@n=p@@（@@M@@p\geq5@@）与 @@M@@n=p+1@@（@@M@@p\geq7@@）处均无同伦收缩；经典球面 @@M@@\beta@@-元素的幂 @@M@@\beta_1^{(p-1)^2}@@ 给出核中具体的非零类。有限输入下的弱色分裂猜想（weak chromatic splitting）被推翻。
Hopkins 的色分裂猜想（Hovey 记录的 Conjecture 4.2）除预言色重叠的显式分解外，还预言典范映射 @@M@@L_{n-1}X\to L_{n-1}L_{K(n)}X@@ 有同伦收缩（retraction，即左逆）。弱式只保留后半条：当 @@M@@X@@ 是有限谱的导出 @@M@@p@@-完备化时，@@M@@K(n)@@-局部化单位经 @@M@@L_{n-1}@@ 局部化后有收缩。此前的经验是”强公式屡屡失败、弱式总能幸存”：@@M@@n=p=2@@ 处 Beaudry 推翻了指定和式公式，Beaudry–Goerss–Henn 补入 Moore 项后弱收缩依然成立，且弱式在高度二以下对所有素数成立；Minami 报告过 Devinatz 对允许完备 @@M@@BP@@ 的类似猜想的反例，但那不是有限输入。长 @@M@@\beta@@-幂的非零性早有 Lee–Ravenel 一类结果（如 @@M@@p\geq7@@ 时 @@M@@\beta_1^{p^2-p-1}\neq0@@），Ravenel 也算过第一 @@M@@\beta@@-元素的检测；此前缺的是同时做到两件事：在指定低高度局部化下检测出该类，又让它在高高度单位下消失。本文补上了这一步。
记 @@M@@S=S^0_{(p)}@@，@@M@@X=S_p^\wedge=\operatorname{holim}_j S/p^j@@，@@M@@L_r@@ 为 Johnson–Wilson @@M@@E(r)@@-局部化，@@M@@i_{n,X}=L_{n-1}(\eta_X^{(n)})@@ 为典范弱分裂映射。令 @@M@@d_p=2p(p-1)-2@@、@@M@@k_p=(p-1)^2@@、@@M@@z_p=\beta_1^{k_p}@@，其中 @@M@@\beta_1@@ 是经典第一 @@M@@\beta@@-元素（beta element）。定理一：对每个素数 @@M@@p\geq5@@，@@M@@z_p@@ 在 @@M@@\pi_{d_pk_p}L_{p-1}X@@ 中的像非零且被 @@M@@\pi(i_{p,X})@@ 杀死，故 @@M@@i_{p,X}@@ 无同伦收缩。定理二：对每个 @@M@@p\geq7@@，同一个 @@M@@z_p@@ 在 @@M@@\pi_{d_pk_p}L_pX@@ 中的像非零且被 @@M@@\pi(i_{p+1,X})@@ 杀死。特例 @@M@@p=5@@：@@M@@\beta_1^{16}@@ 在 @@M@@\pi_{608}L_4X@@ 中非零并落在核里。另有一条独立路线：令 @@M@@H=C_p\rtimes C_{(p-1)^2}@@ 作用于高度 @@M@@p-1@@ 的 Morava @@M@@E@@-理论，可证下降指数（descent exponent）不等式 @@M@@\expn_H(E_{p-1})\gt p^2+2\geq\expn_H(T(B_p))@@（@@M@@\expn_H(V)@@ 是使 @@M@@J_H^{\wedge b}\wedge V\to V@@ 为零的最小 @@M@@b@@，@@M@@T(V)=L_{K(p-1)}(E_{p-1}\wedge V)@@，@@M@@B_p=L_{K(p)}S@@）；收缩会把 @@M@@E_{p-1}@@ 变成 @@M@@T(B_p)@@ 的 @@M@@H@@-等变收缩，与指数不相容。
核定理的纲领是”下方检测、上方消灭、自然性拼装”。
先做约化：完备化映射 @@M@@c:S\to X@@ 的纤维是 @@M@@F(S[1/p],S)@@，乘 @@M@@p@@ 在其上可逆，故 @@M@@c@@ 对每个 @@M@@K(a)@@ 都是等价；于是只要某个 @@M@@K(t)@@-局部谱的单位在 @@M@@z\in\pi_qS@@ 上取值非零、而 @@M@@K(n)@@-局部单位把 @@M@@z@@ 杀死，两个自然性方块便把 @@M@@z@@ 的像送进 @@M@@\pi_qL_{n-1}X@@ 且被 @@M@@i_{n,X}@@ 杀死。若有收缩则该群上有左逆，立即矛盾。
下方检测：取 @@M@@h=p-1@@ 与有限子群 @@M@@G@@（纯稳定子部分为 @@M@@C_p\rtimes C_{h^2}@@），令 @@M@@Y=E_h^{hG}@@ 为普通同伦不动点谱（homotopy fixed point spectrum）。Devinatz–Hopkins 把其不动点谱序列等同于局部 Adams 谱序列；Hopkins–Miller 计算（经 Heard 记录）给出正滤过部分为 @@M@@\mathbb F_p[\alpha,\beta,\Delta^{\pm1}]/(\alpha^2)@@，且单位把球面 @@M@@\beta_1@@ 送到滤过二处的 @@M@@c\beta@@，@@M@@E_\infty@@ 中 @@M@@\beta^{h^2}\neq0@@。作者补证一条普通滤过乘积引理（谱序列乘法就是实际同伦滤过的伴随分次乘法），从而 @@M@@\eta_*(\beta_1^{h^2})@@ 非零；@@M@@Y@@ 是 @@M@@K(h)@@-局部的，非零性便传到 @@M@@L_{p-1}X@@ 及一切 @@M@@L_rX@@（@@M@@r\geq p-1@@）。
上方消灭：在 @@M@@K(a)@@-局部范畴令 @@M@@I_a=\fib(B_a\to E_a)@@，实际 Adams 滤过 @@M@@F^s\pi_*B_a@@ 恰是 @@M@@I_a^{\otimes_a s}@@ 的像，且滤过可乘。连续上同调在 @@M@@s\gt a^2+1@@ 处消失——高度 @@M@@p@@ 用纯稳定子维数加半线性 Witt 迹一收缩处理 @@M@@p@@-挠 Galois 商，高度 @@M@@p+1@@ 的扩群无 @@M@@p@@-挠、直接用维数——强收敛给出零尾巴 @@M@@F^{a^2+2}\pi_*B_a=0@@。正稳定球面茎是挠群而 @@M@@(E_a)_*@@ 无挠且集中在偶度，故 @@M@@\beta_1@@ 的像落在 @@M@@F^2@@，其 @@M@@k_p@@ 次幂落在 @@M@@F^{2k_p}@@；而 @@M@@2k_p-(p^2+1)=p^2-4p+1\gt0@@（@@M@@p\geq5@@）、@@M@@2k_p-((p+1)^2+1)=p(p-6)\gt0@@（@@M@@p\geq7@@），幂被零尾巴吞没。
独立的指数证明绕开核类：下界只需某个类在普通同伦不动点谱序列的一个指定有限页存活，无需永驻循环或球面代表元；上界由 Devinatz–Hopkins 幂零性定理先给出有限指数，数值上链界使相关映射在一切有限测试后为零，再用 Brown–Comenetz 论证使映射本身为零，最后用连贯迹（coherent trace）把有限层结构搬运到高度 @@M@@p-1@@。两条路各自封死高度 @@M@@p@@ 处的收缩。
主结果暂无形式化证明；高度 @@M@@p@@ 的不可收缩有核类与下降指数两个互相独立的论证，互为印证。同族 318 的姊妹篇显示图景分层：@@M@@n\geq1@@、@@M@@p\gt n+1@@ 时重叠仍有由局部球面片段组成的 @@M@@2^n@@ 步滤过；本文推翻有限输入的弱收缩；@@M@@p=3@@ 高度三的姊妹篇则证明连更弱表述的有限拼装也失败。三个层次的问题互不蕴含。OpenAI 官方声明：未经形式化的结果可能有问题。
问 1：上方消灭的数值不等式是不是全证明最脆的一环？
（答：是。整条上限论证压在 @@M@@\beta_1@@ 的像落在 Adams 滤过 @@M@@\geq2@@、且 @@M@@F^{a^2+2}\pi_*B_a=0@@ 这两点上，于是幂 @@M@@\beta_1^{k_p}@@ 掉进 @@M@@F^{2k_p}@@，需要 @@M@@2k_p>a^2+1@@，即 @@M@@p^2-4p+1>0@@（@@M@@p\geq5@@）与 @@M@@p(p-6)>0@@（@@M@@p\geq7@@）。若连续上同调消失线或滤过可乘性差一个刻度，不等式在边界素数上立刻翻车。）
问 2：素数下界为什么不能放松到 @@M@@p=3@@？
（答：@@M@@p=3@@ 时 @@M@@p^2-4p+1<0@@，幂落在零尾巴之前，上方消灭失效；论文只对 @@M@@p\geq5@@、@@M@@p\geq7@@ 陈述定理，小素数处未展开。这也与同族姊妹篇互补：@@M@@p=3@@ 高度三的失败由另一篇的有限拼装反例处理，机制完全不同。）
问 3：与 Lee–Ravenel 的长 @@M@@\beta@@-幂非零性相比，真正的新意在哪？
（答：Lee–Ravenel 只知道幂在球面同伦里非零；本文同时做到两件难事：在指定的低高度局部化 @@M@@L_{p-1}X@@（或 @@M@@L_pX@@）下检测出该类非零，又证明同一个类被高高度单位杀死。此前 Devinatz–Minami 的反例允许完备 @@M@@BP@@ 输入，本文是首个有限输入的弱式反例。）
问 4：下方检测为何要新证一条”普通滤过乘积引理”？
（答：Hopkins–Miller 计算（Heard 记录）只给出谱序列页上的 @@M@@\beta^{h^2}\neq0@@；要落到实际同伦非零，必须知道谱序列乘法就是实际滤过的伴随分次乘法——即附录的普通滤过乘积引理。这是把 @@M@@E_\infty@@ 页信息兑换成 @@M@@\pi_*@@ 信息的汇率，兑换处最易藏错。）
问 5：两条独立路线为什么值得分别核对？
（答：高度 @@M@@p@@ 的不可收缩有核类与下降指数（定理 thm:exponents）两个独立论证，互为冗余备份；但指数路线的上界依赖 Brown–Comenetz 论证”每个有限测试为零则映射为零”再经连贯迹搬到高度 @@M@@p-1@@，这段等变搬运是 AI 证明里典型的静默加强点，若败只是冗余受损，核类路线不受影响。）
问 6：半线性 Witt 迹一收缩在高度 @@M@@p@@ 处扮演什么角色、脆在哪？
（答：高度 @@M@@p@@ 的 Galois 商带 @@M@@p@@-挠，纯维数论证不够，需用迹一收缩处理纯稳定子的 @@M@@p@@-挠部分并保住可能的逆极限度数；高度 @@M@@p+1@@ 的扩群无 @@M@@p@@-挠才能直接用维数。收缩若只在半线性化后成立而未覆盖原作用，消失线证明就有洞。）
问 7：谁会用到这个结果？
（答：做色断裂、色分裂与球面同伦周期性的人——BGH 的有限输入弱式猜想（Conjecture 1.1.11 一系）在此范围被否定，fracture 复原必须改道；下降指数不等式也独立限制了 @@M@@K(h)@@-局部范畴的幂零性量级，对等变下降理论的人是新的数据点。）
总评
这项工作把色分裂猜想”强公式屡败、弱式幸存”的最后避难所在大素数范围端掉，且核类与指数双路互证、可信度结构良好；最大风险集中在两处兑换汇率——谱序列页到实际同伦的滤过乘积引理，与边界素数上差一个刻度就翻车的数值不等式。