结果族 318：Chromatic splitting: filtrations and counterexamples · 学科：Topology · 验证状态：暂无形式化证明，请以社区核验为准
两件家具零件清单完全相同、逐项清点都吻合，它们就一定结构相同吗？高度三的色谱分裂猜想给出一个反例：真实对象与猜想的八块楔和在所有”数格子”式检验（有理同伦的维数）下毫无差别，论文却设计出一条天然”指纹检验”，一测就分辨出真假。
关键词卡片
@@M@@L_0X\to L_0L_{K(2)}X@@。看个具体例子
指纹检验只盯一个数字：典范映射在 −3 次同伦上的表现。数字版定理写成一行就是——
@@M@@\pi_{-3}(\tau_{\mathcal{W}_3})=0\ \text{（猜想一侧必须如此）}，\qquad \pi_{-3}(\tau_{L_{K(3)}S})\neq 0\ \text{（对一切素数 }p\geq5\text{）}@@
于是两者不可能等价——连”不指定和项映射、只看底层 E(2)-局部谱”的宽松等价都不存在。反例由此从已知的 p=2 一举推进到全部奇素数 p≥5；而此前所有维数计算之所以”看不出问题”，正是因为两边的格子数天生相同。
为什么值得关心
用一条自然变换造出维数看不见的判别法，明确终结高度三强分裂猜想在 p≥5 的命运，也解释了为什么多年来的计算总是”看起来没问题”。
暂无形式化证明（AI 结果待核验）
第一级台阶
导读说两件家具”零件清单完全相同、数格子式检验分不出真假”，论文造了一条”天然指纹检验”。换成半数学的说法：对象一边是真实的高度三重叠谱，另一边是猜想预言的八块楔和；常用的”数格子”检验是有理同伦的维数，BSSW 的计算表明两边天生相同。指纹是一条自然变换：由 K(2)-局部化单位诱导的典范映射 τ_X，从 X 的有理化指向其 K(2)-局部化的有理化。要证：楔和必过检验（τ 为零），真实对象不过（τ 在 π_{−3} 非零）。
第二级台阶
用本科术语精确化。有理化 L₀：把系数换成 ℚ_p 的”去挠”投影，只保留最粗的数值层信息。楔和：把若干对象无胶水并排拼接的分解——强分裂猜想想要的正是它。典范映射 τ_X:L₀X→L₀L_{K(2)}X：每个谱 X 都自带、不依赖任何选择的自然映射。强色谱分裂：高度三时预言重叠 L₂L_{K(3)}S 等价于八块低高度局部球面的楔和 𝒲₃。
第三级台阶
定理陈述：对每个素数 p≥5，τ_{L_{K(3)}S} 在 π_{−3} 上非零。推理的形式部分是楔和障碍引理：若 Z=A∨B、B 被 K(2)-局部化杀死、A 在该次数无有理同伦，则 π_d(τ_Z)=0——𝒲₃ 恰好满足，故任何等价都会强迫真实对象的 τ 也为零，与主定理矛盾。”p≥5”挡住的是检测机制所需的解析输入的范围。结论强到：连”不指定和项映射、只看底层 E(2)-局部谱”的宽松等价都不存在；弱分裂（单位收缩）问题则保持开放。
证明对所有素数 @@M@@p\geq5@@，典范映射 @@M@@L_0L_{K(3)}S\to L_0L_{K(2)}L_{K(3)}S@@ 在 @@M@@\pi_{-3}@@ 上非零，据此推翻高度三的强色谱分裂公式——把反例从 @@M@@p=2@@ 推进到一切奇素数 @@M@@p\geq5@@，连不指定和项映射的底层谱等价都不存在。
色谱分裂猜想（Hopkins 提出、Hovey 记录、Barthel–Beaudry 修订）在高度三预言：重叠 @@M@@L_2L_{K(3)}S@@ 等价于楔和 @@M@@\mathcal W_3=L_2(S_p^\wedge\vee\Sigma^{-1}S_p^\wedge)\vee L_1(\Sigma^{-3}S_p^\wedge\vee\Sigma^{-4}S_p^\wedge)\vee L_0(\Sigma^{-5},\Sigma^{-6},\Sigma^{-8},\Sigma^{-9}S_p^\wedge)@@。此前图景：高度一成立；高度二在 @@M@@p\gt3@@ 由 Hopkins 依 Shimomura–Yabe 得到、@@M@@p=3@@ 由 Goerss–Henn–Mahowald 证明、@@M@@p=2@@ 被 Beaudry 推翻（后有 Beaudry–Goerss–Henn 修正版）。高度三悬置。一个表面困难是：BSSW 已算出 @@M@@K(n)@@-局部球面的有理同伦是外代数，高度三的次数 @@M@@0,-1,-3,-4,-5,-6,-8,-9@@ 恰好就是 @@M@@\mathcal W_3@@ 中的位移，所以维数层面分不出真假。论文找到一条能区分它们的自然变换：由 @@M@@K(2)@@-局部化单位诱导的典范映射 @@M@@\tau_X:L_0X\to L_0L_{K(2)}X@@，并证明它在实际对象上非零、在预言的楔和上必为零。
主定理：对每个素数 @@M@@p\geq5@@，典范映射 @@M@@\tau_{L_{K(3)}S}:L_0L_{K(3)}S\to L_0L_{K(2)}L_{K(3)}S@@ 在 @@M@@\pi_{-3}@@ 上非零。推论：不存在 @@M@@E(2)@@-局部谱的等价 @@M@@L_2L_{K(3)}S\simeq\mathcal W_3@@，故高度三强分裂公式在此范围为假——无论是否要求和项映射与指定单位相容。理由是一个形式论证（楔和障碍引理）：若 @@M@@Z\simeq A\vee B@@、@@M@@L_{K(2)}B=0@@ 且 @@M@@\pi_dL_0A=0@@，则 @@M@@\pi_d(\tau_Z)=0@@。在 @@M@@\mathcal W_3@@ 中取 @@M@@A@@ 为前两个高位块：@@M@@\pi_{-3}L_0A=0@@；其余块由 Bousfield 类论证是 @@M@@K(2)@@-无环的。再由 @@M@@T=L_{K(3)}S\to L_2T@@ 的余纤维同时有理与 @@M@@K(2)@@-无环，自然性方块中的竖直映射都是等价，任何假设的等价都会强迫 @@M@@\tau_T@@ 在 @@M@@\pi_{-3}@@ 上为零，与主定理矛盾。论证全程不对假设等价在各和项上的行为做任何规定。
证明要完成两件事：造一个从 @@M@@L_{K(3)}S@@ 到普通 @@M@@K(2)@@-局部谱的映射，并证明它保持某个非零的有理 @@M@@-3@@ 次类；局部性届时自动使该映射穿过典范局部化单位分解。检测谱（detector）的构造：在高度三形变空间的高度恰为二的层 @@M@@k((u_2))@@ 上，Gross–Torii 扩张把连通高度二形式群等同于 Honda 群，其赋值域完备化 @@M@@\widehat L@@ 带有 @@M@@G=P_3\times P_2@@（两个稳定子群之积）的作用；用 Barthel–Mann–Ray–Schlank–Senger–Weinstein–Zhou 的 solid Lubin–Tate 理论得完备理论 @@M@@\widehat B^\square@@，取不动点再求值得 @@M@@\mathcal D@@，它是 @@M@@K(2)@@-局部的。由两个等变映射 @@M@@E_3^\square\to\widehat B^\square\leftarrow E_2^\square@@ 得 @@M@@g:L_{K(3)}S\to\mathcal D@@，且 @@M@@g=\bar g\eta@@，@@M@@\eta@@ 为典范单位。类这边，起点是次数三的上同调类 @@M@@e_{P_n}\in H^3_{\mathrm{cts}}(P_n,\Qp)@@：经有理 Lie 比较，它由不变双型的经典上闭链 @@M@@(U,V,W)\mapsto\mathrm{tr}_{\mathrm{red}}(U[V,W])@@ 代表。比较除环类与线性群的类用的是秩 @@M@@n@@、次数一的 Fargues–Fontaine 丛 @@M@@\mathcal O(1/n)@@ 的线修改（line modification）模叠 @@M@@\mathcal M_n\simeq[\mathbb P^{n-1,\diamondsuit}/P_n]\simeq[\Omega_C^{n-1,\diamondsuit}/J_n]@@（Faltings 的 Lubin–Tate/Drinfeld 对偶，Scholze–Weinstein 周期映射与 Fargues–Scholze 的旋子）：投影丛公式在 @@M@@H^3_{\mathrm b}(\mathcal M_n)@@ 中孤立出一条 Galois 不变直线，含 @@M@@e_{P_n}@@ 的像；再用 Colmez–Dospinescu–Nizioł 的整 Drinfeld 上同调定理与 Galois 权重证明线性类 @@M@@e_{J_n}@@ 的像落在同一直线上，故两者成比例。完备塔上有秩三到秩二的丛满射，配一次公共线修改得到秩 @@M@@1,3,2@@ 的有理局部系统正合列，抛物限制给出 @@M@@e_{P_3}|_{Y_C}=a\,e_{P_2}|_{Y_C}@@（@@M@@a\in\Qp^\times@@）。非零性先经 Witt 系数反射与 BSSW 的连续加性收缩证明 @@M@@c_3=a\,c_2\neq0@@ 于 @@M@@H^3(G,\pi_0\widehat B^\square)[1/p]@@。最后在检测步：对 @@M@@g@@ 用下降谱序列，有限上同调界给出每个同伦次数的有限整滤过；倒转 @@M@@p@@ 后中心纯量自同构杀死一切非零系数次 @@M@@t@@，于是双次数 @@M@@(s,t)=(3,0)@@ 的非零类存活到普通同伦的 @@M@@-3@@ 次，主定理得证。整条链上先取整上同调、后倒转 @@M@@p@@ 的顺序对所涉非紧群与空间是关键的。
本文主结果暂无形式化证明，请以社区核验为准。它在结果族中扮演”反例引擎”：高度三显式滤过篇正是引用本文定理作为其”典范映射定理”，才证得首条高度一黏合映射非零；与两篇滤过存在性论文合看，图景完整——强楔和分裂在高度三、@@M@@p\geq5@@ 失败，但碎片清单仍以带非平凡黏合的有序滤过实现。按 OpenAI 官方声明，未经形式化的结果可能有问题，阅读时宜保持审慎。
问 1：证明里最关键、最脆弱的一步在哪里？
答：把次数三的上同调原元 e_{P₃} 从高度三搬到高度二并证明非零。链条是：线修改栈 𝓜ₙ 有两个商叠呈现（射影空间/P₃ 与 Drinfeld 空间/Jₙ），射影丛公式孤立出 H³b(𝓜ₙ) 中一条 Galois 不变直线，Colmez–Dospinescu–Nizioł 的整 Drinfeld 上同调加 Galois 权重证明线性类 e{Jₙ} 也落在这条线上，故除环类与线性类成比例；再经 Witt 系数反射与 BSSW 的连续加性收缩得 c₃=a·c₂≠0。任何一环断裂，主定理的非零性即悬空。
问 2：为什么楔和一侧”必过指纹检验”是形式的，难点全在另一侧？
答：楔和障碍引理是纯形式论证：𝒲₃ 中次数 −3 的类只能住在被 K(2)-局部化杀死的低位块里，高位两块在该次数没有有理同伦，故 τ_{𝒲₃} 自动为零。真正的内容全在 τ_{L_{K(3)}S}≠0：要造一个到普通 K(2)-局部谱的实际映射（检测谱 𝓓 来自高度恰为二层上的 solid Lubin–Tate 构造）并证明它保住非零的 −3 次类。
问 3：素数限制 p≥5 为什么必要，p=3 呢？
答：检测机制的多处输入只在一般素数下有效：Gross–Torii 扩张所在的高度恰为二层、BMR 的 solid Lubin–Tate 理论、CDN 整上同调的 Galois 权重分析。p=2 处强分裂早已由 Beaudry 在高度二推翻；本文把高度三的反例从”已知 p=2 地形”推进到全部 p≥5，p=3 情形论文未讨论。
问 4：与已有工作相比真正的新意是什么？
答：此前的失败判据都是”数格子”式的维数比较，而 BSSW 外代数恰好在高度三与 𝒲₃ 位移完全重合，维数检验天生失明。本文造出维数看不见的不变量——典范映射 τ 的 −3 次分量；引言指出 GHM 在高度二 p=3 的证明正是靠识别同款有理映射才拼回分裂，本文则证明高度三的该映射携带非零新分量，方向一致而结论相反。
问 5：AI 生成证明最可能出错的模式是什么？
答：依赖链极新极重：BMR solid Lubin–Tate 是 2026 年的理论，本文自行证明其定理 5.2.6 的所需特例（完备比较 E₂^□ ≃ (B̂^□)^{hP₃¹}），而未完备半球面的对应仍是公开猜想——若完备化损失了关键信息，检测谱的构造即有隐患。此外”先整上同调、后倒转 p”的顺序对非紧群与非紧空间是刻意为之，次序颠倒会静默改变结果。全文暂无形式化证明。
问 6：谁会用到它？
答：整个结果族 318 以它为”反例引擎”：高度三显式滤过篇正是引用本文作为典范映射定理，才证得首条高度一黏合非零；更广地，任何在高度三及以上做断裂装配、想用有理数据判断分裂可能性的人，都必须先过这条指纹检验。
总评
用一个自然变换给出维数检验原理上看不见的判别法，干脆利落地终结高度三强分裂在 p≥5 的命运，并解释了多年计算”看起来没问题”的原因，是漂亮的否定性结果；最大风险是检测谱构造押在极新的 solid Lubin–Tate 理论与”完备化足矣”的判断上，宜与姊妹篇捆绑核验。