[論文レビュー] 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$ の2つの生成元に関して外積代数 $\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})$ を確立する。この手法は $\pi_*(L_{K(2)}S^0)$ の完全な計算を避けるものであり、$L_{K(2)}(S/3)$ のアダムズ＝ノヴィコフスペクトル系列の $E_2$-項を活用する。

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_2)_*$-モジュールが同型である $K(2)$-局所スペクトルの $E(1)$-局所化圏における弱同値を確立すること。
• $\pi_*(L_{K(2)}S^0)$ の完全な計算を回避する有理ホモトピーの計算手法を提供すること。
• 同様のスペクトル系列結果を用いて、$p>3$ の他の素数に対してもこの枠組みを拡張すること。

提案手法

• 有限部分群 $F \subset \mathbb{G}_2$ に対する $E_2$-スペクトルのホモトピー固定点スペクトル $E_2^{hF}$ を用いた $L_{K(2)}S^0$ の分解を利用する。
• $\pi_{t-s}(L_{K(2)}S^0)$ に収束する $H^s(\mathbb{G}_2, (E_2)_t)$ を $E_2$-項とするアダムズ＝ノヴィコフスペクトル系列を適用する。
• $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$-モジュール構造を用いて、周期性と torsion を検出する。
• $E_2$-ホモロジーの $\mathbb{G}_2$--equivariant 構造およびアダムズ作用 $\psi$ の作用を活用し、固定点およびフィルトレーションを分析する。

実験結果

リサーチクエスチョン

• RQ1 $p=3$ における $K(2)$-局所化球面の有理ホモトピー型は何か？
• RQ2 $p=3$ および $n=2$ におけるクロミチック分裂予想は成立するか？
• RQ3 $\pi_*(L_{K(2)}S^0)$ の完全な群の決定なしに、$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$-項計算に依存する。