结果族 318：Chromatic splitting: filtrations and counterexamples · 学科：Topology · 验证状态：暂无形式化证明，请以社区核验为准
拆一件复杂的拼装家具，光知道”能按顺序逐层拆”还不够，最好说明书还写明每层之间的连接件是什么。同族前一篇证明了高度三的重叠能按八层顺序揭开；这一篇更进一步，把每两层之间的”胶水”配方全部写出来——并发现其中一颗连接件真的拧死了（黏合映射非零），这件家具确实拆不成互不相干的零件盒。
关键词卡片
@@M@@L_2L_{K(3)}S@@。@@M@@L_0X\to L_0L_{K(2)}X@@；其非零性由姊妹篇证明，是本文的输入。看个具体例子
八层归成三大块：W=L₂S∨Σ⁻¹L₂S（高度二）、U=Σ⁻³L₁S∨Σ⁻⁴L₁S（高度一）、V=四个有理位移之并。附件识别定理逐条报账：W 内部两条黏合 ∂₁=∂₂=0（确实松开）；跨向 U 的第一条高度一黏合是 @@M@@d_3:\Sigma^{-3}L_1S\to\Sigma(L_2S\vee\Sigma^{-1}L_2S)@@，作为底层谱的映射非零——正是这颗拧死的螺丝宣判了楔和分解的死刑：
为什么值得关心
这是首个把高高度重叠的全部黏合映射写出来的工作：不仅知道”能分层”，还知道”每层怎么连”，非零的 d₃ 与姊妹篇的反例互为印证。
暂无形式化证明（AI 结果待核验）
第一级台阶
导读把重叠对象比作拼装家具，说本文”把每层之间的连接件配方全部写出来，并发现一颗螺丝真的拧死了”。换成半数学的说法：对象是球面谱在高度三与更低层之间的搭接部分；同族前篇已证它能按八层顺序揭开，本文进一步亲手构造这八层，并把相邻两层之间的每条连接映射显式识别出来，其中一条确实非零。
第二级台阶
用本科术语精确化。断裂方块：E(2)-局部谱是其 K(2)-局部部分与 E(1)-局部部分在公共局部化上的同伦拉回——但拉回本身不决定黏合映射，它是额外数据。连接映射：滤过第 i 层余纤维 C_i 到上一层 suspension 的映射 ∂i。整行列式类 ζ：π{−1} 中一个由稳定子群行列式提供的典范类，与单位一起给出第一块的实际映射。相容同伦：让两个局部描述在有理交叠处吻合的指定同伦。
第三级台阶
定理陈述：对每个素数 p≥5，存在 E(2)-局部模范畴中的滤过 0=F₀→…→F₈≅X，八层余纤维依次为 L₂S、Σ⁻¹L₂S、两块高度一、四块有理位移；第一层到 X 的复合是典范映射。附件识别定理对固定的一组选择写出全部连接映射：前两条为零，中间两条由 d=∂_w h 控制，末四条由 g=∂_a t 控制，各是一条带固定旋转负号的”屋顶”公式。”p≥5”挡住小素数处已知的额外病态；结论再借姊妹篇的典范映射定理证明第一条高度一连接映射非零——碎片清单正确，楔和确已失效。
对每个素数 @@M@@p\geq5@@，论文把高度三重叠 @@M@@L_2L_{K(3)}\mathbb S_p^\wedge@@ 显式滤过为八个阶段，逐层余纤维正是强分裂猜想的八块局部球面层；两条带符号的断裂公式识别全部黏合映射，且第一条高度一黏合映射非零——碎片清单正确，楔和分裂确已失效。
按 Hopkins 色谱分裂猜想（Hovey 记录、Barthel–Beaudry 修订），高度三的重叠 @@M@@X=L_2L_{K(3)}\mathbb S_p^\wedge@@ 应分裂为八块：两块 @@M@@E(2)@@-局部、两块 @@M@@E(1)@@-局部、四块有理的球面局部化。低高度的历史早已表明公式对素数敏感：高度二在 @@M@@p\gt3@@ 由 Hopkins 依 Shimomura–Yabe 的计算给出、@@M@@p=3@@ 由 Goerss–Henn–Mahowald 证明、@@M@@p=2@@ 被 Beaudry 推翻并由 Beaudry–Goerss–Henn 修正。色谱断裂方块（chromatic fracture square）只给出拉回，黏合映射本身就是额外数据，不能由两个角独自动出；而已知的有理计算（BSSW 外代数，生成元次数 @@M@@0,-1,-3,-4,-5,-6,-8,-9@@）只定维数、不定映射。本族的有理障碍篇又证明高度三强分裂在 @@M@@p\geq5@@ 为假。于是核心问题转为：@@M@@X@@ 能否仍按这八块有序搭建，且各块之间的黏合映射可被显式识别？本文给出肯定回答。
记 @@M@@S=\mathbb S_p^\wedge@@（导出 @@M@@p@@-完备化）、@@M@@T=L_{K(3)}S@@、@@M@@X=L_2T@@、@@M@@Q=L_0S\simeq H\Qp@@。主定理：对每个 @@M@@p\geq5@@，存在 @@M@@E(2)@@-局部 @@M@@S@@-模的映射链 @@M@@0=F_0\to F_1\to\cdots\to F_8\xrightarrow{\ \simeq\ }X@@，其逐次余纤维依次为 @@M@@L_2S@@、@@M@@\Sigma^{-1}L_2S@@、@@M@@\Sigma^{-3}L_1S@@、@@M@@\Sigma^{-4}L_1S@@、@@M@@\Sigma^{-5}Q@@、@@M@@\Sigma^{-6}Q@@、@@M@@\Sigma^{-8}Q@@、@@M@@\Sigma^{-9}Q@@；在 @@M@@F_1\simeq L_2S@@ 下，复合 @@M@@F_1\to X@@ 是典范映射 @@M@@L_2(S\to L_{K(3)}S)@@。附件识别定理（attachment identification）进一步对固定的一组选择（局部映射与相容同伦、局部化逆的凝聚数据）写出全部八条连接映射：@@M@@\partial_1=\partial_2=0@@；中间两条由 @@M@@d=\partial_wh@@ 的分量控制；末四条由 @@M@@g=\partial_at@@ 的分量控制；@@M@@d@@ 与 @@M@@g@@ 各是一条穿过低高度局部化纤维、带固定旋转负号的”屋顶”公式。推论：借助姊妹篇的典范映射定理，第一条高度一连接映射 @@M@@d_3:\Sigma^{-3}L_1S\to\Sigma(L_2S\vee\Sigma^{-1}L_2S)@@ 作为底层谱的映射非零。定理不断言强楔和，也不分裂首个单位。
装配分三大块：@@M@@W=L_2S\vee\Sigma^{-1}L_2S@@、@@M@@U_{\mathrm{mid}}=\Sigma^{-3}L_1S\vee\Sigma^{-4}L_1S@@、四个有理位移之并 @@M@@V@@。先由单位与整行列式类 @@M@@\zeta@@ 给出实际映射 @@M@@w=(1,\zeta):W\to X@@，并证明其 @@M@@K(2)@@-局部化为等价——这一步依赖 coheight-one 层上的几何：把有限标记塔与 Fargues–Fontaine 曲线上的向量丛扩张联系起来（Scholze–Weinstein 框架、Anschütz–Le Bras 的截面全忠实性），先在完备层上算紧支撑上同调，再去完备化、经下降回到普通 Morava 合作运算。于是余纤维 @@M@@Y@@ 是 @@M@@E(1)@@-局部的，中间块的插入靠两个描述的对接：高度一层面有实际基 @@M@@(1,\zeta,\delta,\zeta\delta)@@，把 @@M@@L_{K(1)}T@@ 完全分裂（@@M@@\delta@@ 为整定向类）；有理层面用迹类沿秩二 Tate 框架的输运证明 @@M@@\alpha_3\mapsto c\delta@@、@@M@@\zeta\alpha_3\mapsto c\zeta\delta@@（@@M@@c\in\Qp^\times@@），重标 @@M@@\beta_3=c^{-1}\alpha_3@@ 后两种描述在有理化搭接处吻合；高度一断裂方块随即造出 @@M@@h:U_{\mathrm{mid}}\to Y@@——起作用的是指定的相容同伦（compatibility homotopy），而非维数清点。拉回给出 @@M@@F_3,F_4@@；其商是有理的，四个外积类 @@M@@\alpha_5,\zeta\alpha_5,\beta_3\alpha_5,\zeta\beta_3\alpha_5@@ 给出到该商的实际等价，有序部分和再拉回得 @@M@@F_5,\dots,F_8@@。连接映射的识别依赖一条”局部化比较的边界引理”：固定余纤维旋转符号后，@@M@@\partial_w@@ 与 @@M@@\partial_a@@ 都可写成经由局部化逆与纤维含入的带符号屋顶。最后是非零性：有理化后八层次数严格递减迫使一切有理边界为零，但谱层面的边界可以非零。条件判据说：若典范映射 @@M@@u_X:L_0X\to L_0L_{K(2)}X@@ 不杀死 @@M@@\beta_3@@，则 @@M@@d_3\neq0@@——否则 @@M@@h|_{U_3}@@ 可提升到 @@M@@X@@，而 @@M@@U_3@@ 的 @@M@@E(1)@@-局部性使其与 @@M@@K(2)@@-单位的复合必为零，有理化后与假设矛盾。姊妹篇定理恰给出该非零性，经完备化与局部化两个自然性方块以及 @@M@@\pi_{-3}L_0X=\Qp\alpha_3@@ 的一维性即完成。
本文与一般素数范围的滤过存在性篇相互独立又彼此印证：那篇的定理在 @@M@@n=3@@（即 @@M@@p\geq5@@）给出同样结论，本文不依赖它，而是自行构造全部映射，并额外给出附件识别与首条黏合的非零性。主结果暂无形式化证明，请以社区核验为准；按 OpenAI 官方声明，未经形式化的结果可能有问题，宜以社区核验为最终标准。
问 1：证明里最关键、最脆弱的一步在哪里？
答：中间块的插入。第一块映射 w=(1,ζ) 经 K(2)-局部化是等价，余纤维 Y 是 E(1)-局部的，但要插入 U_mid 需要一个实际映射 h:U_mid→Y，而非维数清点。h 的存在依赖两种描述的对接：高度一层面有实际基 (1,ζ,δ,ζδ)，有理层面有迹类输运 α₃↦cδ，把 α₃ 重标 c⁻¹ 倍后两者在有理化搭接处吻合——起作用的是指定的相容同伦。这一步同时挂着 Fargues–Fontaine 曲线上的几何（让 w 成为 K(2)-等价）与有理迹计算，是全文最细的接口。
问 2：为什么”附件识别”必须固定一组选择，不能写成典范的？
答：断裂方块只给拉回，黏合映射是额外数据；连接映射 ∂₁,…,∂₈ 依赖于局部映射、相容同伦与局部化逆的凝聚数据的选择。论文的做法是把这些选择一次固定，然后在附件识别定理（thm:attachment-identification）中相对它们逐条报账——只有第一条单位是典范的。这与导览性直觉一致：换一组同伦，屋顶公式的代表会变，只有其非零性等不变量才是内在的。
问 3：d₃≠0 这颗”拧死的螺丝”究竟依赖什么？
答：依赖姊妹篇的典范映射定理，本文只证条件判据：若典范有理映射 u_X:L₀X→L₀L_{K(2)}X 不杀死 β₃，则 d₃≠0。论证是反证：若 d₃=0 则 h 限制可提升到 X，而 U₃ 的 E(1)-局部性使其与 K(2)-单位的复合为零，有理化后与不杀 β₃ 矛盾。所以”首条高度一黏合非零”是两篇论文的接力产物，不是本文独立结论。
问 4：与已有工作相比真正的新意是什么？
答：这是首个把高高度重叠全部黏合映射显式写出的工作。此前只有高度二 p=3 的 Goerss–Henn–Mahowald 采取”先识别有理比较映射再装配”的路线；本文把该哲学推到高度三，且与一般素数滤过存在性篇相互独立——那篇在 n=3 给出同样存在性，本文不依赖它，自行构造全部映射并多给附件识别与非零性。
问 5：AI 生成证明最可能出错的模式是什么？
答：两处高危。其一，”去完备化”步骤：几何答案先在完备层上算出，但马尔可夫上链要求”一个有限阶段、一个公共极点界”，完备化并不自动保持这些要求，论文须先建立有限界再回到普通系数——顺序颠倒即静默失效；其二，屋顶公式的旋转符号：∂_w 与 ∂_a 的正负号在余纤维旋转下极易写反，而后续判据全部踩在这些符号上。全文暂无形式化证明。
问 6：谁会用到它？
答：要在高度三做显式计算的人：滤过给出逐层装配顺序，八条黏合映射就是待算的扩张类清单，d₃≠0 直接判死楔和分解；研究 BSSW 有理外代数的整实现、以及沿断裂方块拼回 π_*L₂L_{K(3)}S 的工作都以此为准入点。
总评
在”滤过存在”之上补齐”装配说明书”，把色谱分裂在高度三的残骸整理成可计算的对象清单，工程价值极高；最大风险是附件识别与去完备化环节的符号与依赖链，且关键非零性押在姊妹篇定理上，两篇宜捆绑核验。