结果族 308：Finite Smith–Toda complexes at every height · 学科：Topology · 验证状态：暂无形式化证明，请以社区核验为准
还是那座”逐层关掉关卡”的塔：@@M@@V(0),V(1),V(2),V(3)@@ 早有人用越来越挑剔的素数造了出来，唯独第四层 @@M@@V(4)@@ 在任何素数处都一直盖不起来。所谓”盖一层”，就是造一个有限谱，让同伦记账环里恰好多死掉一个生成元——而且要死得干脆，只除到一次幂。这篇论文挑定一个具体的大素数 @@M@@1009@@，用 32 块积木把第四层实打实地盖了出来。
关键词卡片
@@M@@BP_*@@ 生成元的有限谱；@@M@@V(4)@@ 要求 @@M@@p,v_1,v_2,v_3,v_4@@ 五道关卡全部关掉，且各自只杀到一次幂。@@M@@p@@ 相关的信息来工作。@@M@@V(4)@@ 恰用 32 块。看个具体例子
数字版定理：存在有限 @@M@@1009@@-局部谱 @@M@@X@@，
@@M@@DBP_*X\cong BP_*/(1009,\ v_1,\ v_2,\ v_3,\ v_4).@@
@@M@@X@@ 的 32 个胞腔与 @@M@@\{0,1,2,3,4\}@@ 的 @@M@@2^5=32@@ 个子集一一对应：子集 @@M@@S@@ 的胞腔维数为 @@M@@\sum_{i\in S}(2\cdot 1009^{\,i}-1)@@。例如 @@M@@S=\{0\}@@ 给 @@M@@1@@ 维，@@M@@S=\{0,1\}@@ 给 @@M@@1+(2\cdot1009-1)=2018@@ 维。积木数随高度逐层翻倍：@@M@@V(0)@@ 用 2 块、@@M@@V(1)@@ 用 4 块、……、@@M@@V(4)@@ 用 32 块。成败全系于一点：@@M@@v_4@@ 在 Adams–Novikov 谱序列中”幸存”，没有任何微分能杀死它，于是它对应真实存在的球面映射，取其上纤维即得 @@M@@X@@。
为什么值得关心
@@M@@V(4)@@ 在所有素数处都是记录在案的公开问题；显式的素数、显式的胞腔清单与有限计算，让它从”存在性悬案”变成可核查的具体构造，也为色彩同论论提供了高度 4 的第一个有限样本。
暂无形式化证明（AI 结果待核验）
第一级台阶
还是导读里那座”逐层关掉关卡”的塔：对象是有限谱——有限多块积木（胞腔）拼成的稳定同伦对象；操作是每层用一个真实的自映射把记账环里一个生成元杀掉，取上纤维升一层。前三层早已盖成，第四层卡在：要让 @@M@@v_4@@ 死得干脆（只除一次幂），需要一个真实存在的球面映射。本文挑定具体素数 @@M@@1009@@，用 32 块积木把第四层盖了出来。
第二级台阶
精确化：有限 @@M@@p@@-局部谱是有限 CW 谱之 @@M@@p@@-局部化的收缩；Brown–Peterson 同调以 @@M@@BP_*=\mathbb Z_{(p)}[v_1,v_2,\ldots]@@（@@M@@|v_i|=2(p^i-1)@@，Hazewinkel 生成元）记账。Adams–Novikov 谱序列从该代数的上同调出发逼近真实同伦群，不被微分杀死的类（永久循环）才对应真实映射。@@M@@V(4)@@ 即有限 @@M@@1009@@-局部谱 @@M@@X@@，带余模同构 @@M@@BP_*X\cong BP_*/(p,v_1,v_2,v_3,v_4)@@。
第三级台阶
主定理陈述在 @@M@@p=1009@@：这样的 @@M@@X@@ 存在，其 32 个胞腔与 @@M@@\{0,1,2,3,4\}@@ 的子集一一对应，维数为 @@M@@\sum_{i\in S}(2p^i-1)@@。要求”每个生成元杀到一次幂”挡住了 Hopkins–Smith 高次幂周期谱的替代；要求标准 @@M@@BP_*BP@@-余模结构挡住了只对上分次模的弱实现；有限性在一切色彩局部化之前建立，挡住了局部化范畴里的伪对象。成败全在一点：零滤线类 @@M@@v_4@@ 必须在 Adams–Novikov 谱序列中幸存——可能的正微分目标形如 @@M@@(s,w)=(qk+1,u_4+k)@@，逐一排除后 @@M@@v_4@@ 才是永久循环，边缘同态给出实现它的映射，取上纤维即得 @@M@@X@@。
在明确指定的素数 @@M@@p=1009@@ 处构造出有限 @@M@@1009@@-局部谱 @@M@@X@@，其 Brown–Peterson 同调恰为 @@M@@BP_*/(1009,v_1,v_2,v_3,v_4)@@ 并带标准余模结构，解决了此前在任何素数处都悬而未决的 @@M@@V(4)@@ 存在性问题。
Smith–Toda 实现问题问：Brown–Peterson 同调 @@M@@BP_*=\mathbb{Z}_{(p)}[v_1,v_2,\ldots]@@（Hazewinkel 生成元，@@M@@|v_i|=2(p^i-1)@@）中的色彩生成元，能否在有限谱（finite spectrum）里被逐一杀死到一次幂。模 @@M@@p@@ Moore 谱给出任意素数处的 @@M@@V(0)@@；Adams、Smith、Toda 的经典构造分别给出 @@M@@p>2@@、@@M@@p>4@@、@@M@@p>6@@ 时的 @@M@@V(1)@@、@@M@@V(2)@@、@@M@@V(3)@@。难点在于把下一个 @@M@@v_i@@ 变成有限谱上的自映射所需的拓扑信息：代数上本原的系数未必能在 Adams–Novikov 谱序列（Adams–Novikov spectral sequence，ANSS）中幸存为实际映射。下一个案例 @@M@@V(4)@@ 一直未能攻克——Culver–Zhang 2023 年 9 月版 Remark 3.29 记录其在所有素数处公开；Nave 的不存在性定理只排除高度约 @@M@@(p+1)/2@@ 处的复形，为大素数处的 @@M@@V(4)@@ 留下空间。Kato–Shimomura–Shimomura 曾在同一素数处构造 @@M@@v_5@@ 反转的 @@M@@L_5@@-局部谱 @@M@@W_5@@，但那是局部化对象，并非本文要求的普通有限实现。方法上的近亲是 Lee–Ravenel 对 @@M@@\beta_1@@ 幂零阶的修正 May 计算。
定理：在 @@M@@p=1009@@ 处存在有限 @@M@@p@@-局部谱 @@M@@X@@，带分次 @@M@@BP_*BP@@-余模（comodule）同构
@@M@@DBP_*X\cong BP_*/(p,v_1,v_2,v_3,v_4),@@
右侧为标准商余模、生成元在零次，每个生成元被杀到一次幂。构造是显式的：@@M@@X@@ 有 32 个胞腔，胞腔维数形如 @@M@@\sum_{i\in S}(2p^i-1)@@，@@M@@S@@ 取遍 @@M@@\{0,1,2,3,4\}@@ 的子集。有限性在任何色彩局部化之前建立，且不要求 @@M@@X@@ 带乘法；素数 1009 的选取使计算中的有限不等式宽松。
先构造低高度复形。归纳建立 @@M@@V(n)@@（@@M@@n\le 3@@，@@M@@BP_*V(n)=R/I_{n+1}@@，胞腔以 @@M@@\{0,\ldots,n\}@@ 的子集索引），并配上二元双侧含单位的乘法（无需结合律）。逐胞腔扩张的障碍经 ANSS 用 May 型上界消没：把内部度除以 @@M@@q=2p-2@@ 得”权”，在 @@M@@(s,w)@@ 双分次下穷举 May 单项式——例如低高度的遗留权不超过 @@M@@2{,}041{,}216<p^3@@，只有最低三个位置的字母可用，数字方程随即排除一切单项式。两类消没分别服务于 @@M@@v_n@@ 的幸存与乘法向各胞腔对的扩张。@@M@@v_n@@ 是零滤线的本原类，可能的正微分目标全为零，边缘同态便给出实现 @@M@@v_n@@ 的映射，乘法把它延拓成自映射，其上纤维即下一个 @@M@@V(n)@@。
再证明 @@M@@v_4@@ 在 @@M@@Y=V(3)@@ 的 ANSS 中幸存。其可能的正微分目标为 @@M@@(s,w)=(qk+1,u_4+k)@@（@@M@@k\ge 1@@；@@M@@u_4=1{,}028{,}262{,}820@@），有限 May 计算后只剩 @@M@@k=1,2,p-1,p@@。@@M@@k=1@@：对 @@M@@v_5@@ 的上边缘给出的关系求导再特化，得 @@M@@\sigma(d_{q+1}v_4)\cdot h_{1,4}=0@@，而乘 @@M@@h_{1,4}@@ 在目标群上单射（穷举两个双度中的全部 May 单项式，并以 @@M@@M=3p@@ 的滤闭调整排除一切入微分），故首个微分消失。@@M@@k=2,p-1@@：通过 Frobenius 扩张 @@M@@1\to(\alpha_p)^r\to G_r\to Q_r\to 1@@（截断加法坐标变换的仿射群概形）以 Lyndon–Hochschild–Serre 谱序列实算上同调：核上同调 @@M@@\Lambda(x,a,c)\otimes\mathbb{F}_p[A,B,E]@@ 承受商群的三角作用，按权过滤系数模即可定位第一个可能的系数微分，且其源与目标均非零，候选遂被清除；商度 1 的情形由交叉上闭链（crossed cocycle）方程的系数比较直接归零（用到 @@M@@6\neq 0\in\mathbb{F}_{1009}@@）。
最后处理 @@M@@k=p@@，此乃纯拓扑论证。目标群被 @@M@@A^N@@ 自低双度 @@M@@(5,W)@@ 满射覆盖，那里的类全部幸存为代表元 @@M@@\gamma@@ 且 @@M@@\alpha\gamma=0@@。取双胞腔谱 @@M@@J=\Sigma^{-q}C(\alpha)@@ 与平均收缩 @@M@@T=\mathrm{Sym}^{p-1}J\subset J^{\wedge(p-1)}@@。关键一环是映射 @@M@@f=(\eta\beta)\circ\Sigma^d\varepsilon_T@@ 零伦：对偶化后其 @@M@@E_2@@ 类恰是积分多项式 @@M@@F(r,x)=\frac{(r+x)^p-r^p-x^p}{p}@@ 的 cobar 边缘，其整恒等式把 @@M@@\beta@@ 的检测上闭链写成边缘。又用三胞腔模型与循环扩张幂（cyclic extended power）得 Toda 式关系，并利用 @@M@@p@@ 在 @@M@@Y@@ 上零作用，得 @@M@@\alpha\beta^p=0@@。提升 @@M@@\gamma@@ 一次、@@M@@\eta\beta^p@@ 共 @@M@@p-2@@ 次后相乘平均，得 @@M@@\beta^{p(p-2)+1}\gamma=0@@。由严格不等式 @@M@@5+2K<qp+1@@（@@M@@K=p(p-2)+1@@）及 @@M@@K<N@@，整个目标群在第 @@M@@qp+1@@ 页之前即已消失——对消失页数的界是此步的要点。于是 @@M@@v_4@@ 为永久循环，边缘同态给出 @@M@@S^{2(p^4-1)}\to Y@@，经乘法延拓为自映射；@@M@@v_4@@ 在 @@M@@\mathbb{F}_p[v_4,v_5,\ldots]@@ 中是非零因子，上纤维的同调正合序列给出 @@M@@BP_*X\cong R/(I_4,v_4)@@，底部球面映射固定余模结构与零次生成元。
本文暂无形式化证明；依 OpenAI 官方声明，未经形式化的结果可能存在问题，请以社区核验为准。作为结果族 308 的姊妹篇，它与超积方法证明的”任意高度存在性”互补：那边素数非构造性，这边把高度 4 显式落在 @@M@@p=1009@@ 并给出 32 胞腔模型，两文共同支撑”素数可变时 Smith–Toda 复形在所有高度存在”的图景。
问 1：证明中最脆弱的一步在哪里？
（答：剩余情形 @@M@@k=p@@ 的拓扑排除。证明须给出零化关系 @@M@@\beta^{p(p-2)+1}\gamma=0@@（@@M@@\beta@@ 是首个 beta 族球面类）并对”这些乘积在第几页消失”给出严格界——论文自陈”仅有 eventual vanishing 而无页数界，不能排除该障碍”。页数界依赖严格不等式 @@M@@5+2K<qp+1@@（@@M@@K=p(p-2)+1@@）与 @@M@@K<N@@，界错一个量级，最后一个微分就杀得死 @@M@@v_4@@。）
问 2：为什么偏偏是 @@M@@1009@@？更小的素数行吗？
（答：论文只说该选择”使计算中的有限不等式宽松”，并依赖 @@M@@6\neq0\in\mathbb F_{1009}@@ 这类系数事实；@@M@@1009@@ 是否最小可行素数、或存在怎样的下界，文中未展开。）
问 3：与既有工作相比真正的新意是什么？
（答：Culver–Zhang 2023 年版 Remark 3.29 记录 @@M@@V(4)@@ 在所有素数处公开；同素数处 Kato–Shimomura–Shimomura 的 @@M@@W_5@@ 是 @@M@@v_5@@ 反转的 @@M@@L_5@@-局部谱，不提供未局部化商的普通有限实现；Nave 的不存在定理只挡高度约 @@M@@(p+1)/2@@。本文给出的是第一个指定素数、指定 32 胞腔清单的普通有限实现，方法上承 Lee–Ravenel 的修正 May 计算。）
问 4：为什么 @@M@@Y=V(3)@@ 上的乘法不需要结合律？
（答：构造只要求二元、双侧、含单位的乘法——单位恒等式足以把实现 @@M@@v_4@@ 的球面映射延拓为 @@M@@Y@@ 的自映射，进而取上纤维；论文明确不要求结合乘法，也不主张最终 @@M@@X@@ 带乘法。）
问 5：AI 生成这类证明最可能的出错模式是什么？
（答：大规模有限枚举的漏项：低高度遗留权高达 @@M@@2{,}041{,}216<p^3@@ 的 May 单项式穷举、”@@M@@h_{1,4}@@ 乘法在目标群上单射”所需的双度全枚举、@@M@@M=3p@@ 滤闭调整对入微分的排除——任何一处枚举不全或权过滤定位错位，@@M@@v_4@@ 的幸存论证即失效。这类机器级计算恰是 AI 证明最典型的高危区。）
问 6：谁会用到这个结果？
（答：色彩同伦论社区获得高度 4 的第一个普通有限样本，KSS 的 @@M@@v_5@@-反转对象有了有限前身；与超积姊妹篇互补——那边任意高度但素数非构造，这边高度 4 显式钉死。后续开放问题：更小的素数、@@M@@X@@ 上的乘法结构、以及 @@M@@v_5@@ 自映射（@@M@@V(5)@@）的可实现性，论文均未讨论。）
总评
这是把悬置三十余年的 @@M@@V(4)@@ 问题落到可核查的 32 胞腔构造的硬工作，价值在显式与可复算；最大风险在穷举式 May 计算与页数界不等式——恰恰是最适合机器复核、也最怕机器出错的部位。