结果族 318：Chromatic splitting: filtrations and counterexamples · 学科：Topology · 验证状态：暂无形式化证明，请以社区核验为准
想象你有一盒三种基础积木，规则允许你任意叠加、平移、复制和取”补块”，拼任意有限多步。这篇论文证明：在素数 3 对应的”三楼”，有一个叫色重叠加的关键零件，无论怎么拼都拼不出来——不是难度问题，是原则上拼不出。稳定同伦论里悬置多年的”有限拼装”问题就此得到否定回答。
关键词卡片
@@M@@L_0S@@、@@M@@L_1S@@、@@M@@L_2S@@ 就是三块基础积木。看个具体例子
把主定理代入具体数字 @@M@@p=3@@：三块积木加上四种允许操作，步数任意但必须有限；目标是色重叠加 @@M@@L_2L_{K(3)}S@@。定理说它”不在厚子范畴里”，画成图就是：
为什么值得关心
它给”低层数据能否重建高层粘合信息”这条色理论主线画出了正式界线：至少在 @@M@@p=3@@、高度 3 处答案是否定的，今后任何分裂公式都得绕开这个障碍。
暂无形式化证明（AI 结果待核验）
第一级台阶
导读把色重叠加比作”拼不出来的零件”。把比喻换成半数学的说法：我们研究的对象是球面在不同”放大倍数”下看到的像，而不是积木；允许的操作是把已有对象并在一起、整体升维或降维、沿一条映射把两个对象缝成一个、以及从已有对象里抽出直和项。所谓拼不出，是指这四种操作任意组合、任意有限步，都造不出那个目标对象。
第二级台阶
用本科术语精确化。谱（spectrum）是稳定同伦论的基本对象，球面谱 @@M@@S@@ 是其中最简单者。对谱做局部化（localization），即只保留某一层同伦信息而把其余置零：@@M@@L_0S@@ 只留有理信息，@@M@@L_1S@@、@@M@@L_2S@@ 依次保留高度一、二的周期信息，@@M@@L_{K(n)}S@@ 只留第 @@M@@n@@ 层最精细的周期信息。一族对象生成的厚子范畴（thick subcategory）是对有限直和、整数移位（悬置与反悬置）、同伦余纤维与收缩封闭的最小子范畴——这就是”有限步可造”的严格化。
第三级台阶
定理的语境是：取 @@M@@S=S_3^\wedge@@ 为导出 3-完备球面，在 @@M@@E(2)@@-局部 @@M@@S@@-模范畴中工作——@@M@@E(2)@@-局部这一假设挡住更高高度信息的干扰，使比较只在三层之内进行；映射限定 @@M@@S@@-线性则挡住外来非线性运算。主定理断言 @@M@@L_2L_{K(3)}S\notin\operatorname{Thick}\{L_0S,L_1S,L_2S\}@@：左端是”先看第三层、再退回二层视角”的重叠，携带相邻高度的粘合数据；右端是低层局部球面经一切有限构造所能得到的全集。结论意味着该粘合数据原则上无法有限拼装——比否定任何具体分裂公式都强，因为厚子范畴成员资格不指定映射、允许非分裂扩张与 Moore 修正。
本文证明在 @@M@@p=3@@、高度三处，色重叠加（chromatic overlap）@@M@@L_2L_{K(3)}S@@ 不属于由 @@M@@L_0S,L_1S,L_2S@@ 生成的厚子范畴（thick subcategory）：无论多少次求和、移位、取余纤维与收缩，都无法从低高度局部球面拼装出它。这个比任何分裂公式都更弱的”有限拼装”问题就此得到否定回答。
稳定同伦论的色断裂（chromatic fracture）把谱分解为各高度的局部化片段，再靠相邻高度间的粘合数据复原原对象；对球面 @@M@@S@@，携带粘合信息的核心对象是重叠 @@M@@L_{n-1}L_{K(n)}S@@，其中 @@M@@L_i@@ 是 Johnson–Wilson @@M@@E(i)@@-局部化（@@M@@L_0@@ 为有理化），@@M@@L_{K(n)}@@ 是 Morava @@M@@K(n)@@-局部化。Hopkins 的色分裂猜想（由 Hovey 记录）预言该重叠可由低高度局部球面按明确方式分裂。已知结果集中在高度二：@@M@@p\geq5@@ 的情形建立在 Shimomura–Yabe 计算之上（后经 Behrens 修正），@@M@@p=3@@ 时 Goerss–Henn–Mahowald 给出了指定分裂；@@M@@p=2@@ 时 Beaudry 推翻了强和式公式，但 Beaudry–Goerss–Henn 补入 Moore 谱项后典范单位的收缩仍然成立——可见”指定和式列表失败”并不排除有限构造。真正悬而未决的是最弱的有限拼装问题：重叠能否由低高度局部球面经有限步构造？本文在 @@M@@p=n=3@@ 处给出否定。
主定理：取 @@M@@S=S_3^\wedge@@ 为导出 @@M@@3@@-完备球面，则在 @@M@@E(2)@@-局部 @@M@@S@@-模范畴中有
@@M@@DL_2L_{K(3)}S\notin\operatorname{Thick}\{L_0S,L_1S,L_2S\}.@@
这里 @@M@@\operatorname{Thick}@@ 表示最小厚子范畴：对有限和、整数移位、同伦余纤维（cofiber）与收缩（retract）封闭，所有映射均为 @@M@@S@@-线性。这一表述刻意宽松——允许非分裂扩张与 Moore 修正（乘 @@M@@p@@ 的幂的余纤维是允许的操作），不指定映射、不限制操作次数——因此否定它严格强于否定任何具体的分裂公式。结论只针对 @@M@@p=n=3@@ 这一情形，且其障碍不依赖任何候选和式列表或构造步数上限。
证明分两条主线：先造一个对有限构造稳定的”检测器”，再实际算出重叠的一个表示论不变量，最后让二者迎头相撞。
先造检测器。取含 @@M@@\mathbb F_{3^6}@@ 的有限域 @@M@@k@@ 与高度二 Morava @@M@@E@@-理论 @@M@@E_2@@（@@M@@\pi_0E_2=W(k)[[x]]@@），令 @@M@@Q_x=k((x))@@，@@M@@\omega=\pi_2E_2@@ 为周期线。对谱 @@M@@X@@ 施加精确测试 @@M@@\mathcal T(X)=L_{K(2)}(E_2\wedge X)/3@@ 并局部化系数得 @@M@@\mathcal V_d(X)@@；单位群 @@M@@G_F=\mathcal O_F^\times@@（@@M@@\mathbb Q_3@@ 的非分歧二次扩域 @@M@@F@@ 的单位群，嵌入高度二自同构代数）半线性地作用其上。关键观察：经 @@M@@K(2)@@-局部化，三个候选生成元变为 @@M@@0,0,\mathbf 1_2@@，而 @@M@@\mathbf 1_2@@ 的检测在每个偶数度恰为一条周期线 @@M@@\overline\omega^{\otimes j}@@；由 Serre 子范畴论证，凡从 @@M@@\mathbf 1_2@@ 经允许的有限操作得到的对象，其一切 @@M@@\mathcal V_d@@ 都有限维，且单成分只能是周期线之幂。
再算系数。在高度三形变的高度二层上，代数 @@M@@p@@-可除群分为连通高度二部分与平展高度一商；对后者构造行列式规范化的整标记塔，先在完备化完美（completed perfection）系数上算上同调，再用 Cartier 算子的残数伴随（它是 Frobenius）控制有限阶段的有限性，经一个分配算子（distribution operator）在驯顺符号平均后去除根，最后沿剩余的范数商下降：得到 @@M@@L@@ 的普通 @@M@@P@@-上同调恰四条线，位于度 @@M@@0,1,3,4@@，上面两条带范数特征标 @@M@@\delta@@。
最后搬进实际同伦。取有限平展常量扩张 @@M@@S_k@@ 与 @@M@@Z_k=L_{K(3)}S_k@@，Morava 下降谱序列配合可下降性（descendability）给出收敛塔的有限滤过；再用平方零形变挠子与泛 Kodaira–Spencer 同构，把连通–平展分裂提升穿过一切 @@M@@R[x]/(x^m)@@，使 @@M@@J@@-作用穿过所有 jet 存活。反转 @@M@@x@@ 后谱序列只剩四行，唯一可能的高阶微分会把范数线 @@M@@Q_x(\delta)@@ 等同于某条周期线幂——而这被排除：@@M@@G_F@@ 在 @@M@@Q_x@@ 上的作用像无限且固定域恰为 @@M@@k@@，结合第一个 Hasse 不变量的赋值与 @@M@@k@@ 在 @@M@@k((x))@@ 中相对代数封闭，得 @@M@@Q_x(\delta)@@ 不同构于任何 @@M@@\overline\omega^{\otimes b}@@。于是谱序列坍缩，实际同伦在对角常量域和项上给出短正合列 @@M@@0\to Q_x(\delta)\to\mathcal V_{-3}^\Delta(Z_k)\to\overline\omega^{\otimes(-1)}\to0@@，故 @@M@@Q_x(\delta)@@ 也是整个 @@M@@\mathcal V_{-3}(Z_k)@@ 的一个单成分。若有限拼装成立，则因 @@M@@S_k@@ 是 @@M@@S@@ 上有限自由模，检测器要求 @@M@@\mathcal V_{-3}(Z_k)@@ 只含周期线成分——与范数线的存在矛盾，定理得证。
主结果暂无 Lean 形式化证明，且证明链条长（标记塔、完备上同调、jet 比较、表示论排除环环相扣），请以社区核验为准。同族 318 的姊妹篇勾出完整图景：在 @@M@@n\geq1@@、@@M@@p\gt n+1@@ 的泛素数范围，重叠确有由局部球面片段组成的 @@M@@2^n@@ 步滤过；@@M@@p\geq5@@ 高度三的强楔形公式亦被推翻。但按原文说明，这些姊妹结果均未为本文的 @@M@@p=3@@ 证明提供步骤。OpenAI 官方声明：未经形式化的结果可能有问题。
问 1：证明链条里最关键、也最脆弱的一步是哪里？
（答：第 9 节的 jet 比较：把连通–平展分裂经平方零形变挠子与泛 Kodaira–Spencer 同构提升穿过所有 @@M@@R[x]/(x^m)@@，使 @@M@@J@@-作用在每个 jet 上存活；随后第 10 节里唯一可能的高阶微分靠 @@M@@G_F@@ 在 @@M@@Q_x@@ 上作用像无限、固定域恰为 @@M@@k@@ 来排除（引理 generic-character）。任何一环失效，范数线 @@M@@Q_x(\delta)@@ 就无法落到实际同伦，整个障碍塌掉。）
问 2：为什么只在 @@M@@p=n=3@@ 证？其他素数差在哪？
（答：检测器依赖高度二 Morava @@M@@E@@-理论配上 @@M@@\mathbb Q_3@@ 的非分歧二次扩域的单位群 @@M@@G_F@@，且 Hasse 不变量论证要求 @@M@@k\supseteq\mathbb F_{3^6}@@；系数计算中”@@M@@p-1\mid h-1@@ 的例外分支”恰在 @@M@@p=h=3@@ 出现（BMR26 定理 A）。别的 @@M@@(p,n)@@ 组合的标记塔与上同调维数不同，论文未展开。）
问 3：@@M@@E(2)@@-局部范畴这个舞台能否换成更小的 @@M@@K(2)@@-局部范畴？
（答：不能简单替换：厚子范畴的有限构造必须在 @@M@@E(2)@@-局部 @@M@@S@@-模范畴里做，才有”低三层局部球面”这三个合法生成元；检测器 @@M@@\mathcal T@@ 事后经 @@M@@K(2)@@-局部化观察它们（此时变为 @@M@@0,0,L_{K(2)}S@@），是探测手段而非对象所在的范畴。论文未讨论其他范畴设定的变体。）
问 4：与 Beaudry 在 @@M@@p=2@@ 推翻强楔形公式相比，真正的新意是什么？
（答：Beaudry 推翻的只是”指定和式列表”，Beaudry–Goerss–Henn 补入 Moore 谱项后典范单位的收缩仍成立——说明列表失败不碍有限拼装。本文否定的是更弱的有限拼装本身，是首个此类反例；且同一素数 3 在高度二有 Goerss–Henn–Mahowald 的指定分裂，高度三却拼不出，对照强烈。）
问 5：这类 AI 生成的长证明最可能在哪里出错？
（答：典型风险是跨领域接口处的静默加强——”完备化系数上算对了”被不自觉当成”普通系数上算对了”。论文自己在引言点明两处闭纤维几何不够的地方：特征标要从有限标记系数搬进普通同伦、且整个二层形变要全程保持；第 7 节的 de-completion 有限性（Cartier 算子残差伴随）正是这种最易出隐蔽错误的部位。）
问 6：检测器为什么只给必要条件，这够用吗？
（答：第 2 节命题把”一切 @@M@@\mathcal V_d@@ 有限维且单成分是周期线幂”放进一个 Serre 子范畴，故厚闭包内对象必满足；这是必要条件。够用，因为第 6–7 节算出重叠的 @@M@@\mathcal V_{-3}@@ 含单成分 @@M@@Q_x(\delta)@@，它由全单位群作用的无限像排除于一切周期线幂之外（引理 generic-character），违反必要条件即出局。）
问 7：谁会用到这个结果？
（答：做色断裂复原球面、色分裂公式的人——今后任何 @@M@@p=3@@ 高度 3 的分裂或拼装纲领都得绕开此障碍；姊妹篇的滤过结果只在 @@M@@p>n+1@@，楔形反例只在 @@M@@p\geq5@@，本文补上了素数 3 这一缺口，三者合起来给出 318 族的完整否定图景。）
总评
这项工作的分量在于对”有限拼装”这一最弱表述给出第一个否定回答，直接划掉了一条乐观纲领；最大风险是证明横跨标记塔、完备上同调、jet 比较与表示论排除，链条极长且未形式化，第 7 与第 9 节两处系数–同伦接口最需专家逐行核验。