[論文レビュー] 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$-頁を計算する。
• $E_1$-項は $G_{24}$ および $SD_{16}$ の群コホモロジーを用いて計算され、$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$ はスペクトル系列の構造と次数の考察に基づき明示的に計算され、$k \mod 9$ に依存して $d_5$ および $d_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$- torsion の位数が付与される。
• 著者らは、$L_{K(2)}V(0)$ の微分と $TMF$ の微分との関係を確立し、$L_{K(2)}V(0)$ のアダムス＝ノヴィコフ微分を $TMF$ の微分から読み取ることを可能にした。

実験結果

リサーチクエスチョン

• RQ1 トポロジカルモジュラー形式（TMF）に関連するより取り扱いやすい部分に問題を分解する手法を用いて、$p=3$ における $K(2)$-局所化モアス・スぺクトラム $L_{K(2)}V(0)$ のホモトピー群を再計算するにはどうすればよいか？
• RQ2 特に $d_5$ および $d_9$ の微分に関して、$L_{K(2)}V(0)$ のアダムス＝ノヴィコフスペクトル系列の正確な構造は何か？ また、島村の元々の計算とはどのように異なるか？
• RQ3 $V(0)$ の $K(2)$-局所ホモトピーは、トポロジカルモジュラー形式（TMF）のスペクトルの $K(2)$-局所化を通じてどの程度理解できるか？
• RQ4 群 $ꈑ^1$ の自明な $ꈑ$-加群に対する有限かつ自己双対な置換分解の使用は、ホモトピー群の計算の取り扱いやすさと正確性をどの程度向上させるか？

主な発見

• ホモトピー群 $\pi_*(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$- torsion の位数を持つ。
• $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))$ と同型であり、最終的な構造は島村の結果と比較して、特に torsion 構造と微分の配置においてより正確で詳細に異なる。
• $L_{K(2)}V(0)$ の微分は $TMF$ の微分から導出可能であり、$V(0)$ のホモトピーとトポロジカルモジュラー形式理論との直接的な関連を確立する。
• 著者らは、$v_1^6 \Delta^{-1}$ が $G_{24}$-不変、$u_1^4$ が $SD_{16}$-不変であることを確認し、関連するコホモロジー環が、$\mathcal{M}_3 = \mathbb{F}_3[\Delta^{\pm 1}, v_1]$ のような特徴 3 のモジュラー形式の環の完成であることを示した。