结果族 318：Chromatic splitting: filtrations and counterexamples · 学科：Topology · 验证状态：暂无形式化证明，请以社区核验为准
Hopkins 的色谱分裂猜想曾预言：球面在相邻两个”色度高度”之间的搭接部分，能像拆乐高一样干脆利落地分成 2ⁿ 块。后来发现高度三根本拆不开。这篇论文给出修正版答案：清单上的 2ⁿ 块零件一块不少，照样能按固定顺序逐层揭开，只是层与层之间的胶水被如实保留——拆不成一堆散件，但能一层层掀开看。
关键词卡片
@@M@@L_{n-1}L_{K(n)}S@@ 分裂成 2ⁿ 块低高度局部球面之楔和的猜想。@@M@@L_{n-1}@@ 则保留前 n−1 层。@@M@@0=F_0\to F_1\to\cdots\to F_{2^n}\cong X@@。看个具体例子
n=3、p≥5 时 2³=8 层，自下而上依次是：L₂S、Σ⁻¹L₂S、Σ⁻³L₁S、Σ⁻⁴L₁S、Σ⁻⁵HQ_p、Σ⁻⁶HQ_p、Σ⁻⁸HQ_p、Σ⁻⁹HQ_p——两块高度二、两块高度一、四块有理，块数与位移全对上猜想的清单；第一层到顶的复合恰是典范单位。定理对一切 n≥1、p>n+1 成立，但明确不给楔和分解：
为什么值得关心
在”强分裂已被推翻”的废墟上抢救出猜想的正确内核：碎片清单全对、只是黏合不可忽略——为色谱分裂指明了正确的弱化形式。
暂无形式化证明（AI 结果待核验）
第一级台阶
导读把色谱分裂猜想比作”拆乐高”，把本文结果说成”拆不成散件、但能一层层掀开看”。换成半数学的说法：研究对象是球面谱在相邻两个色度高度之间的搭接部分；猜想的预言是它能干脆裂成 2ⁿ 块低高度局部球面之和。现已知道高度三以上裂不开，本文证明的修正版是：清单上的 2ⁿ 块零件一块不少，能按固定顺序逐层揭开，只是层与层之间的胶水被如实保留。
第二级台阶
用本科术语精确化。局部化 L_{K(n)} 与 L_{n-1}：分别只保留第 n 层与前 n−1 层色度信息的手术；搭接对象 X_{n,p} 就是先做前者再做后者的球面谱。滤过：一列逐级嵌入的对象塔，每升一层掉出一个”余纤维”——映射的锥。典范单位：对象进入自身局部化的标准入场映射。碎片按子集 I 编号，位移为 d(I)=Σ(2i−1)。
第三级台阶
定理在”一般素数”语境下陈述：n≥1 且 p>n+1 时，存在全部子集的一个排序（空集居首、max I 不减）与 E(n−1)-局部范畴中的滤过，第 j 层余纤维恰为强分裂猜想清单上的那块 Σ^{−d(I)}L_{n−max I}S，且第一阶段到目标的复合是典范单位。”p>n+1”挡住的是小素数处已知的额外病态；定理的另一根支柱是一族统一的乘积类 y_i，使同一组映射在每个低高度检验下都是等价。结论明确不断言楔和分解、也不分裂单位——黏合映射被完整保留。
证明当 @@M@@n\geq1@@、素数 @@M@@p\gt n+1@@ 时，色谱重叠对象 @@M@@L_{n-1}L_{K(n)}S_p^\wedge@@ 具有 @@M@@2^n@@ 个阶段的有序滤过，逐层余纤维恰为强色谱分裂猜想预言的全部局部球面碎片，且保留黏合映射——碎片清单正确，只是未必能裂成楔和。
稳定同伦论按”高度”分层：Morava @@M@@K@@-理论（Morava @@M@@K@@-theory）@@M@@K(n)@@ 的局部化切割球面谱，而断裂方块（fracture square）把相邻高度粘合起来，其中最关键的搭接部分是重叠对象 @@M@@L_{n-1}L_{K(n)}S@@。Hopkins 的色谱分裂猜想（chromatic splitting conjecture，由 Hovey 于 1993 年记录）预言这个重叠分裂成 @@M@@2^n@@ 块低高度局部球面的楔和。已知：高度一成立；高度二在 @@M@@p\gt3@@ 由 Hopkins 依据 Shimomura–Yabe 的计算给出、@@M@@p=3@@ 由 Goerss–Henn–Mahowald 证明、@@M@@p=2@@ 被 Beaudry 推翻（Beaudry–Goerss–Henn 随后给出带 Moore 谱项的修正版）。高度三以上长期悬置，而本结果族的姊妹篇更证明高度三的强分裂在 @@M@@p\geq5@@ 时干脆是错的。于是正确的问题变成：猜想的”碎片清单”还剩多少是对的？本文的回答是：清单本身完好，只是不能要求楔和分解或单位映射的收缩。
记 @@M@@S=S_p^\wedge@@（@@M@@p@@-完备球面谱）、@@M@@D=L_{K(n)}S@@、@@M@@X_{n,p}=L_{n-1}D@@。对正整数有限子集 @@M@@I@@ 记 @@M@@d(I)=\sum_{i\in I}(2i-1)@@。主定理：当 @@M@@n\geq1@@ 且 @@M@@p\gt n+1@@ 时，存在 @@M@@\{1,\dots,n\}@@ 全部子集的一个排序 @@M@@I_1,\dots,I_{2^n}@@（@@M@@I_1=\varnothing@@，且 @@M@@\max I_j@@ 关于 @@M@@j@@ 不减），以及 @@M@@E(n-1)@@-局部 @@M@@S@@-模范畴中的滤过 @@M@@0=F_0\to F_1\to\cdots\to F_{2^n}\xrightarrow{\simeq}X_{n,p}@@，使第 @@M@@j@@ 层余纤维为：空集对应 @@M@@L_{n-1}S@@，非空 @@M@@I@@ 对应 @@M@@\Sigma^{-d(I)}L_{n-\max I}S@@；且第一阶段到 @@M@@X_{n,p}@@ 的复合恰是典范局部化单位（canonical localization unit）。定理还给出”同时乘积基”（simultaneous product bases）：一组统一选定的类 @@M@@y_i\in\pi_{1-2i}D@@，使得对每个 @@M@@1\leq t\lt n@@，由乘积 @@M@@y_I@@ 给出的映射 @@M@@\bigvee_{I\subseteq\{1,\dots,n-t\}}\Sigma^{-d(I)}S\to D@@ 经 @@M@@L_{K(t)}@@ 局部化后都是等价。以高度三（@@M@@p\geq5@@）为例，八层依次为 @@M@@L_2S,\ \Sigma^{-1}L_2S,\ \Sigma^{-3}L_1S,\ \Sigma^{-4}L_1S,\ \Sigma^{-5}H\Qp,\ \Sigma^{-6}H\Qp,\ \Sigma^{-8}H\Qp,\ \Sigma^{-9}H\Qp@@。须强调：定理不断言经典楔和分解，也不分裂单位映射——黏合映射被完整保留在滤过中。
证明沿两条独立主线推进，最后在下降谱序列处汇合。第一条是代数系数主线：在高度 @@M@@t@@ 的检验中，取特征 @@M@@p@@ 形变层上的环 @@M@@A_t=k[[x_t,\dots,x_{n-1}]]@@ 与 @@M@@B_t=A_t[1/x_t]@@，再取标记连通高度 @@M@@t@@ 形式群（connected height-@@M@@t@@ formal group）的有限覆盖之代数并 @@M@@\mathcal B_{n,t}@@。论文把 @@M@@\mathcal B_{n,t}@@ 上的连续上同调与紧支撑（compact support）上同调联系起来：有限标记塔用 Fargues–Fontaine 曲线上的向量丛扩张描述，其规范化转移（transfer）在不变体积坐标下的转置恰为 Frobenius；随后以按 @@M@@(n,n-t)@@ 归纳的三段式论证（紧有限性、借保留横截形变去除极点界的边界步骤、满框架塔的行滤过）建立系数有限性。第二条是常值类主线：在 Morava 稳定子群 @@M@@P_n@@（不变量 @@M@@1/n@@ 的除环之极大序的单位群）上构造整球面上链类 @@M@@u_i\in\pi_{1-2i}C^*_{\mathrm{cts}}(P_n;S)@@，用 Huber–Kings 调节子与 Huber–Soergel 体积计算做整规范化，使其模 @@M@@p@@ Hurewicz 像 @@M@@\xi_i@@ 的外积非零；关键系数定理断言 @@M@@H^*_{\mathrm{cts}}(P_n;\mathcal B_{n,t})\cong\bigwedge_k(e_1,\dots,e_{n-t})@@，@@M@@e_i\mapsto\xi_i\cdot1@@，同一组秩 @@M@@n@@ 的类对所有 @@M@@t@@ 同时起作用。汇合处是 Morava 下降（Morava descent）：先把 @@M@@D@@ 写成 Amitsur 分解的全极限，再与剩余理论 @@M@@\kappa_t@@（@@M@@E_t@@ 中正则列 @@M@@p,u_1,\dots,u_{t-1}@@ 的迭代余纤维，@@M@@\pi_*\kappa_t=k[v^{\pm1}]@@）作普通 smash；平坦性与有限基变换把谱序列 @@M@@E_2@@ 页识别为 @@M@@\kappa_{t,r}\otimes_k H^s_{\mathrm{cts}}(P_n;\mathcal B_{n,t})@@，类 @@M@@u_i@@ 下降为 @@M@@y_i\in\pi_{1-2i}D@@，其相容提升迫使所有微分消失，于是同一族乘积映射在每个高度 @@M@@t@@ 都是 @@M@@K(t)@@-等价。最后是装配判据（滤过准则）：按 @@M@@\max I@@ 递减逐块剥离，每块恰好杀掉商对象最高的色谱层，剩下有理商的维数由 Barthel–Schlank–Stapleton–Weinstein 定理（@@M@@\pi_*L_{K(n)}S\otimes\mathbb{Q}\cong\bigwedge_{\Qp}(\zeta_1,\dots,\zeta_n)@@，@@M@@|\zeta_i|=1-2i@@）锁定；把这些商映射拉回 @@M@@X_{n,p}@@ 即得滤过，拉回方块自动保留连接映射，无需选取零伦。碎片总数 @@M@@2+\sum_{j=2}^{n-1}2^{j-1}+2^{n-1}=2^n@@，恰好对上猜想的指标模式。
本文主结果暂无形式化证明，请以社区核验为准。它与本族另两篇互为支撑：高度三显式滤过篇把 @@M@@n=3@@ 情形独立构造出来并识别全部黏合映射，有理障碍篇则证明高度三强分裂在 @@M@@p\geq5@@ 失败——三者合起来刻画了”楔和分裂已死、有序滤过犹存”的完整图景。按 OpenAI 官方声明，未经形式化的结果可能有问题，阅读时宜保持审慎。
问 1：证明里最关键、最脆弱的一步在哪里？
答：两条主线汇合处的系数定理（prop:constant-module）：H*cts(P_n; 𝓑{n,t}) ≅ ∧k(e₁,…,e{n−t})，且 e_i 由同一族常值类的模 p Hurewicz 像 ξ_i 作用。它左承”标记塔紧支撑有限性”的按 (n, n−t) 三段式归纳（紧有限性、边界去极点、满框架塔行滤过），右接整系数球面上链类 u_i 的调节子规范化；任何一侧出偏，”同一族乘积在每个高度 t 都是基”即不成立。
问 2：素数限制 p>n+1 为什么不能去掉？
答：论文明确声明对素数界不作锐性断言。限制来自多处技术输入的有效范围，例如常值上同调计算（Dotto–Le Hung）只在 a<p−1 范围内可用、调节子与体积规范化也依赖一般素数假设；而小素数端有真实的反例地形——高度二 p=2 处 Beaudry 已推翻原始强公式，本族姊妹篇更证明高度三强分裂在 p≥5 就失败。p>n+1 是”一般素数”的安全区。
问 3：既然强分裂已知失败，这个滤过结果的真正分量在哪？
答：它从废墟里抢救出猜想的正确内核：Hopkins–Hovey 清单上的碎片（块数 2ⁿ、位移 d(I)、所在高度 n−max I）逐项全对，错的只是”楔和”这一装配方式。此前一般高度几乎无可证结果（高度一、二的零星情形除外），本文给出任意高度、一般素数下的第一条结构性定理，且黏合映射被完整保留，为后续显式计算搭好了脚手架。
问 4：为什么需要”同一族”乘积基同时伺候所有高度 t，而不是逐高度选基？
答：滤过是逐块按高度递减剥离的，装配判据（prop:assembly）要求跨高度相容的比较映射：第一块剥掉后商对象的高度下降，若每个高度各用一组互不相干的基，连接映射无法追踪。论文先在检验前构造好一族 y_i∈π_{1−2i}D，使其乘积经每个 L_{K(t)} 局部化后都是等价，相容性内置于同一族类。
问 5：AI 生成证明最可能出错的模式是什么？
答：外部依赖网极其庞大——Fargues–Fontaine 曲线、Anschütz–Le Bras 全忠实、Colmez–Dospinescu–Nizioł 的 Drinfeld 空间、Geisser–Hesselholt/Clausen–Mathew–Morrow 连续性、Huber–Kings 与 Huber–Soergel 调节子——每处引用的适用范围若与本文坐标约定差之毫厘，规范化即可静默失效；此外”相容提升迫使谱序列微分全部消失”的一步依赖全极限塔的逐层提升，是最典型的隐性缺口。全文暂无形式化证明。
问 6：谁会用到它？
答：任何要用断裂方块逐层拼回 π_*L_n S 的计算者：滤过给出确定的消没顺序与逐层余纤维，黏合映射即待计算的扩张类；本族姊妹篇（高度三显式滤过、有理障碍）正是沿这条路走的，BMR 的重新收缩结果与 BSSW 的有理维数公式也直接嵌进最后一块有理层的装配。
总评
在”强分裂已死”的背景下为色谱分裂猜想找到并证明了正确的弱化形式，是任意高度上的首条一般结构定理，价值很高；最大风险是横跨算术几何、调节子理论与谱序列技术的超长依赖链无一处经机器验证，宜与姊妹篇交叉核读后再引用。