[论文解读] The rational homotopy of the K(2)-local sphere and the chromatic splitting conjecture for the prime 3 and level 2

Paul G. Goerss, Hans Werner Henn+1 more|arXiv (Cornell University)|Oct 26, 2012

Homotopy and Cohomology in Algebraic Topology被引用 10

一句话总结

本文在 $p=3$ 时计算了 $K(2)$-局部球面的有理同伦性，证明其同构于由两个在度数 $-1$ 和 $-3$ 的生成元生成的外代数 $\Lambda_{\mathbb{Q}_3}(\zeta, e)$。通过利用 $E_2$-谱的同伦固定点对 $K(2)$-局部球面进行分解，作者验证了霍普金斯的色散分裂猜想在 $p=3$ 且 $n=2$ 时成立，建立了弱同伦等价 $L_1L_{K(2)}S^0 \simeq L_1(S_3^0 \vee S_3^{-1}) \vee L_0(S_3^{-3} \vee S_3^{-4})$。该方法通过利用 $L_{K(2)}(S/3)$ 的亚当斯-诺维科夫谱序列的 $E_2$-项，避免了对 $\pi_*(L_{K(2)}S^0)$ 的完整计算。

ABSTRACT

We calculate the rational homotopy and the K(1)-local homotopy of the K(2)-local sphere at the prime 3 and level 2. We use this to verify the chromatic splitting conjecture in this case.

研究动机与目标

• 计算在素数 $p=3$ 时 $K(2)$-局部球面的有理同伦群。
• 验证霍普金斯的色散分裂猜想在 $p=3$ 且 $n=2$ 时成立。
• 在 $E(1)$-局部范畴中，对具有同构 $(E_2)_*$-模的 $K(2)$-局部谱建立弱同伦等价。
• 提供一种计算有理同伦的方法，避免对 $\pi_*(L_{K(2)}S^0)$ 的完整计算，仅依赖部分谱序列数据。
• 通过类似谱序列结果，将该框架推广至其他素数 $p>3$。

提出的方法

• 利用 $\mathbb{G}_2$ 的有限子群 $F \subset \mathbb{G}_2$ 的同伦固定点谱 $E_2^{hF}$ 对 $L_{K(2)}S^0$ 进行分解。
• 应用亚当斯-诺维科夫谱序列，其 $E_2$-项为 $H^s(\mathbb{G}_2, (E_2)_t)$，收敛于 $\pi_{t-s}(L_{K(2)}S^0)$。
• 将 $L_{K(2)}(S/3)$ 的 ANSS 的 $E_2$-项作为关键输入，避免对 $\pi_*(L_{K(2)}S^0)$ 的完整计算。
• 利用色散正方形和局部化函子 $L_0$、$L_1$ 将 $K(2)$-局部与 $E(1)$-局部数据联系起来。
• 应用局部化的胡列维茨同态以及 $(E_2)_*X$ 上的扭曲 $\mathbb{G}_2$-模结构，以检测周期性与挠性。
• 利用 $E_2$-同调的 $\mathbb{G}_2$-等变结构及 $\psi$-操作的作用，分析固定点与滤过结构。

实验结果

研究问题

• RQ1 在 $p=3$ 时，$K(2)$-局部球面的有理同伦类型是什么？
• RQ2 色散分裂猜想在 $p=3$ 且 $n=2$ 时是否成立？
• RQ3 能否在不完全确定 $\pi_*$-群的情况下计算 $L_{K(2)}S^0$ 的有理同伦？
• RQ4 具有同构 $(E_2)_*$-模的 $K(2)$-局部谱的 $E(1)$-局部化如何分解？
• RQ5 $L_{K(2)}(S/3)$ 的 ANSS 的 $E_2$-项在计算有理同伦中起什么作用？

主要发现

• 在 $p=3$ 时，$L_{K(2)}S^0$ 的有理同伦同构于由生成元 $\zeta \in \pi_{-1}$ 和 $e \in \pi_{-3}$ 生成的外代数 $\Lambda_{\mathbb{Q}_3}(\zeta, e)$。
• 色散分裂猜想在 $p=3$ 且 $n=2$ 时成立，且有弱同伦等价 $L_1L_{K(2)}S^0 \simeq L_1(S_3^0 \vee S_3^{-1}) \vee L_0(S_3^{-3} \vee S_3^{-4})$。
• 对于 $X \in \kappa_2$，局部化的胡列维茨同态 $\pi_0L_1X \to \pi_0L_1L_{K(2)}(E_2 \wedge X)$ 是单射。
• 弱同伦等价 $L_{K(1)}S^0 \simeq L_{K(1)}L_{K(2)}E_2^{h\mathbb{G}_2^1}$ 提升为 $L_{K(1)}S^0 \vee L_{K(1)}S^{-1} \simeq L_{K(1)}L_{K(2)}S^0$，其中度数 $-1$ 的生成元 $\zeta$ 来自 $\pi_0E_2^{h\mathbb{G}_2^1}$ 中的单位。
• 该结果与色散分裂猜想的预测一致，并提供了一种新方法，仅通过部分 ANSS 数据即可恢复有理同伦。
• 该方法可推广至 $p>3$ 的素数，依赖于 $L_{K(2)}(S/p)$ 的类似 $E_2$-项计算。