解法：希尔–霍普金斯–拉维内尔利用等变稳定同伦论给出的证明(2009年)

第 3/9 步：策略:归约为一个新上同调理论中的检测问题

通俗地说

与其对每个 $j$ 都正面硬碰 Adams 谱序列的微分,Hill、Hopkins 与 Ravenel(2009年)转而寻找一个“探测器”:一个新的上同调理论 $\Omega$ ,专门设计得对类 $\theta_j$ 敏感,使得如果 $\theta_j$ 真的存在,它就必须在 $\Omega$ 内部某处留下清晰可见的痕迹。

关于 $\Omega$ 的三个独立的结构性事实随后完成了剩下的全部工作:一个检测定理(任何存活的 $\theta_j$ 都会留下一个非零痕迹)、一个周期性定理( $\Omega$ 每隔 $256$ 步就重复自身)、以及一个空隙定理(在那 $256$ 步窗口靠近底部的地方根本没有容纳痕迹的空间)——把这三者结合起来, $\theta_j$ 本该留下的痕迹就无处可去了。

\theta_j \in \pi_{2^{j+1}-2}S^0 \text{ exists} \implies \text{Hurewicz image of } \theta_j \text{ in } \Omega^{2-2^{j+1}}(\mathrm{pt}) \ne 0

详细分析

HHR 构造了一个真正全新的乘法上同调理论 $\Omega$ (§1.2–1.3, arXiv:0908.3724),它仿照 Atiyah 的 $C_2$ 等变实 $K$ -理论,但改为由 $C_2$ 等变复配边 $MU_{\mathbb{R}}$ (Landweber 与 Fujii 的实配边谱)构造而成,并伴随一个真正等变的谱 $\Omega_{\mathbb{O}}$ , $\Omega$ 被定义为其 $C_8$ 同伦不动点。

检测定理(定理1.6)指出,若 $\theta_j \in \pi_{2^{j+1}-2}S^0$ 存在(对 $j>2$ ),则它在单位映射 $S^0 \to \Omega$ 下的像在群 $\Omega^{2-2^{j+1}}(\mathrm{pt})$ 中非零——这就把 $\theta_j$ 的拓扑存在性问题转化为 $\Omega$ 内部一个代数不消灭问题。

接下来的几步会足够精确地构造 $\Omega$ ,以证明周期性与空隙这两个伴随事实——它们与检测定理结合,就迫使那个代数群在 $j\ge 7$ 时消灭。

本步骤中的术语

实配边谱( $MU_{\mathbb{R}}$ ): 复配边理论的 $C_2$ 等变精化,用以分类“实流形”(配备相容共轭线性 $C_2$ 作用的稳定殆复流形),由 Landweber 与 Fujii 提出。
Hurewicz 像: 一个稳定同伦类,在从球面稳定同伦群到给定上同调理论的同伦(或上同调)群的自然映射下的像,通过与该理论的单位映射复合而得到。

本步骤用到的知识

同调与上同调