[论文解读] The homotopy of the K(2)-local Moore spectrum at the prime 3 revisited

Hans-Werner Henn, Nasko Karamanov+1 more|Nov 3, 2008

Homotopy and Cohomology in Algebraic Topology参考文献 1被引用 7

一句话总结

本文使用基于群 $ꈑ$ 的平凡 $\mathbb{Z}_3$-模的有限置换分解的新代数方法，重新计算了在素数 3 处 $K(2)$-局部化莫尔谱的同伦群。该方法将问题分解为与顶点模形式谱（TMF）的 $K(2)$-局部化相关的可管理部分，从而实现对亚当斯-诺维科夫微分更精确、更结构化的确定。关键结果是将 $\pi_*(L_{K(2)}V(0))$ 精炼为 $\mathbb{F}_3[v_2^{\pm 9}, \beta] \otimes \Lambda(\zeta)$-模，明确给出了 $d_5$ 和 $d_9$ 微分，并相较于清水的早期计算，提供了更准确、更详细的结构。

ABSTRACT

In this paper we use the approach introduced in an earlier paper by Goerss, Henn, Mahowald and Rezk in order to analyze the homotopy groups of L_{K(2)}V(0), the mod-3 Moore spectrum V(0) localized with respect to Morava K-theory K(2). These homotopy groups have already been calculated by Shimomura. The results are very complicated so that an independent verification via an alternative approach is of interest. In fact, we end up with a result which is more precise and also differs in some of its details from that of Shimomura. An additional bonus of our approach is that it breaks up the result into smaller and more digestible chunks which are related to the K(2)-localization of the spectrum TMF of topological modular forms and related spectra. Even more, the Adams-Novikov differentials for L_{K(2)}V(0) can be read off from those for TMF.

研究动机与目标

• 为在 $p=3$ 处 $L_{K(2)}V(0)$ 的同伦群提供一种独立的、更具结构的验证，这些同伦群此前由清水计算，但极为复杂。
• 开发一种方法，通过将同伦群与顶点模形式谱（TMF）的 $K(2)$-局部化相关联，将计算分解为更小、更易解释的组成部分。
• 构建并应用平凡 $ꈑ$-模在群 $ꈑ^1$ 上的有限、自对偶置换分解，从而通过代数谱序列有效计算群上同调。
• 确定与该分解相关的谱序列 $E_1$-页上的亚当斯-诺维科夫微分 $d_5$ 和 $d_9$，从而更精确地描述 $E_\infty$-页。

提出的方法

• 作者使用文献[5]中构造的群 $ꈑ^1$ 上平凡 $ꈑ$-模的有限、自对偶置换分解，其形式为 $0 \to C_3 \to C_2 \to C_1 \to C_0 \to \mathbb{Z}_3 \to 0$，其中 $C_0 = C_3 = \mathbb{Z}_3[[\uA211^1/G_{24}]]$ 且 $C_1 = C_2 = \mathbb{Z}_3[[\uA211^1]] \otimes_{\mathbb{Z}_3[SD_{16}]} \chi$。
• 他们将此分解应用于 $\uA211^1$-模 $M = (E_2)_*V(0)$，从而得到代数谱序列 $E_1^{s,t} = \mathrm{Ext}_{\mathbb{Z}_3[[\uA211^1]]}^t(C_s, M) \Rightarrow H^{s+t}(\uA211^1, M)$，该序列计算 $L_{K(2)}V(0)$ 的亚当斯-诺维科夫谱序列的 $E_2$-页。
• 通过 $G_{24}$ 和 $SD_{16}$ 的群上同调计算 $E_1$-项，其中 $H^*(G_{24}, M) \cong \mathbb{F}_3[[v_1^6\Delta^{-1}]][\Delta^{\pm 1}, v_1, \beta, \alpha, \widetilde{\alpha}]/(\alpha^2, \widetilde{\alpha}^2, v_1\alpha, v_1\widetilde{\alpha}, \alpha\widetilde{\alpha} + v_1\beta)$，且 $\mathrm{Hom}_{\mathbb{Z}_3[SD_{16}]}(\chi, M) \cong \omega^2 u^4 \mathbb{F}_3[[u_1^4]][v_1, u^{\pm 8}]$。
• 通过谱序列的结构和次数分析，显式计算了 $d_5$ 和 $d_9$ 微分，其中 $d_5$ 和 $d_9$ 的非平凡性取决于 $k \mod 9$，并利用结果计算了 $E_\infty$-页。
• 最终结果表示为 $P = \mathbb{F}_3[v_2^{\pm 9}, \beta] \otimes \Lambda(\zeta)$ 上的模的直和，其中生成元如 $v_2^k e_0$、$v_2^k \alpha e_0$ 等具有特定的 $\beta$-挠阶，分别为 2、3、4 或 5。
• 作者将 $L_{K(2)}V(0)$ 上的微分与 $TMF$ 上的微分关联，使得 $L_{K(2)}V(0)$ 的亚当斯-诺维科夫微分可直接从 $TMF$ 的微分中读出。

实验结果

研究问题

• RQ1 如何使用一种将问题分解为与 TMF 相关的更易管理部分的方法，重新计算在 $p=3$ 处 $K(2)$-局部化莫尔谱 $L_{K(2)}V(0)$ 的同伦群？
• RQ2 亚当斯-诺维科夫谱序列在 $L_{K(2)}V(0)$ 上的精确结构是什么，特别是 $d_5$ 和 $d_9$ 微分，它们与清水原始计算中的微分有何不同？
• RQ3 $V(0)$ 的 $K(2)$-局部同伦在多大程度上可以通过顶点模形式谱 $TMF$ 的 $K(2)$-局部化来理解？
• RQ4 使用群 $ꈑ^1$ 上平凡 $ꈑ$-模的有限、自对偶置换分解在多大程度上提高了同伦群计算的可计算性和精确性？

主要发现

• 在 $L_{K(2)}V(0)$ 的同伦群被计算为 $P = \mathbb{F}_3[v_2^{\pm 9}, \beta] \otimes \Lambda(\zeta)$ 上模的直和，其生成元包括 $v_2^k e_0$、$v_2^k \alpha e_0$、$v_2^k \omega^2 u^{-4} \beta e_0$、$v_2^k \omega^2 u^{-4} \alpha e_0$、$\Sigma^{48} v_2^k e_3$、$v_2^{k+2} \omega^2 u^{-4} e_2$、$\Sigma^{48} v_2^k \omega^2 u^{-4} e_3$ 和 $\Sigma^{48} v_2^k \omega^2 u^{-4} \alpha e_3$，每个生成元具有不同的 $\beta$-挠阶。
• $d_5$ 微分仅在某些 $k \mod 9$ 下非零，当 $k \equiv 2,3,4,6,7,8 \mod 9$ 时，有 $d_5(v_2^k e_0) = \pm v_2^{k-2} \omega^2 u^{-4} \alpha \beta^2 e_0$，其他生成元亦有类似非平凡性。
• $d_9$ 微分仅在 $k \equiv 3,4,8 \mod 9$ 时于 $v_2^k \alpha e_0$、$v_2^k \omega^2 u^{-4} \alpha e_0$、$v_2^{k+2} \omega^2 u^{-4} e_2$ 和 $\Sigma^{48} v_2^k \omega^2 u^{-4} \alpha e_3$ 上非零，此时 $d_9(v_2^k \alpha e_0) = \pm v_2^{k-3} \beta^5 e_0$。
• $E_\infty$-页同构于 $\pi_*(L_{K(2)}V(0))$，最终结构更精确，且与清水的结果在细节上存在差异，特别是在挠结构和微分位置方面。
• $L_{K(2)}V(0)$ 上的微分可从 $TMF$ 上的微分推导，建立了 $V(0)$ 同伦与顶点模形式理论之间的直接联系。
• 作者确认 $v_1^6 \Delta^{-1}$ 和 $u_1^4$ 分别是 $G_{24}$ 和 $SD_{16}$-不变的，且相关上同调环是特征 3 下模形式环的完备化，如 $\mathcal{M}_3 = \mathbb{F}_3[\Delta^{\pm 1}, v_1]$。