[論文レビュー] R-motivic stable stems

Eva Belmont, Daniel C. Isaksen|arXiv (Cornell University)|Jan 10, 2020

Homotopy and Cohomology in Algebraic Topology参考文献 16被引用数 5

ひとこと要約

本稿では、$\times$-motivicなアダムススペクトル系列を用いて、$s-w \leq 11$ の範囲で $\times$-motivicな安定ホモトピー群 $\pi_{s,w}$ を計算し、$\mathbb{C}$-motivicな $\operatorname{Ext}$ 群から得られる well-understood な入力を用いた $\rho$-ボイシュタインスペクトル系列により導出される。主な貢献は、アダムスの微分と $\rho$、$h_0$、$\eta$ による隠れた拡張を含め、これらの群の完全な決定であり、低次元における古典的マホルドン不変量が回復される。

ABSTRACT

We compute some R-motivic stable homotopy groups. For $s - w \leq 11$, we describe the motivic stable homotopy groups $π_{s,w}$ of a completion of the R-motivic sphere spectrum. We apply the $ρ$-Bockstein spectral sequence to obtain R-motivic Ext groups from the C-motivic Ext groups, which are well-understood in a large range. These Ext groups are the input to the R-motivic Adams spectral sequence. We fully analyze the Adams differentials in a range, and we also analyze hidden extensions by $ρ$, 2, and $η$. As a consequence of our computations, we recover Mahowald invariants of many low-dimensional classical stable homotopy elements.

研究の動機と目的

• $s-w \leq 11$ の範囲で $\times$-motivic安定ホモトピー群 $\pi_{s,w}$ を計算すること。
• $\times$-motivic $\operatorname{Ext}$ 群からの入力を用いた $\times$-motivicアダムススペクトル系列を確立すること。
• この範囲におけるアダムス微分と $\rho$、$h_0$、$\eta$ による隠れた拡張を解明すること。
• これらの計算を通じて、低次元の安定ホモトピー元の古典的マホルドン不変量を回復すること。

提案手法

• $\mathcal{A}$ を $\times$-motivicなスティーナード代数とする。$E_2 = \operatorname{Ext}_{\mathcal{A}}(\mathbb{M}_2, \mathbb{M}_2)$ を用いた $\times$-motivicアダムススペクトル系列を用いる。
• $\mathbb{C}$-motivicな $\operatorname{Ext}$ 群が既知であることを踏まえ、$\times$-ボイシュタインスペクトル系列を用いて $\operatorname{Ext}_{\mathcal{A}}(\mathbb{M}_2, \mathbb{M}_2)$ を計算する。
• 組み合わせ論的議論により、多くのボイシュタイン微分を引き起こすために、事前に $\rho$-周期的群を計算する。
• モス収束定理を用いてトーダブラケットを計算し、永久サイクルを同定する。
• 古典的および $\times$-motivicな計算と比較することで、アダムス微分と拡張を検証する。
• シャッフル関係とトーダブラケットの比較を用いて、$\rho$、$h_0$、$\eta$ による隠れた拡張を分析する。

実験結果

リサーチクエスチョン

• RQ1 $s-w \leq 11$ の範囲で $\times$-motivic安定ホモトピー群 $\pi_{s,w}$ は何か？
• RQ2 $\rho$-ボイシュタインスペクトル系列と $\rho$-周期的群は、$\times$-motivicアダムススペクトル系列における $\operatorname{Ext}$ 群をどのように制約するか？
• RQ3 $s-w \leq 11$ の範囲で $\times$-motivicアダムススペクトル系列に現れるアダムス微分 $d_r$ は何か？
• RQ4 この範囲で $\times$-motivicアダムススペクトル系列に現れる $\rho$、$h_0$、$\eta$ による隠れた拡張は何か？
• RQ5 これらの計算は、どのように古典的マホルドン不変量を回復または実現するか？

主な発見

• $s-w \leq 11$ の範囲で $\times$-motivic安定ホモトピー群 $\pi_{s,w}$ が完全に計算され、すべての要素と関係が明示的に記述されている。
• $\rho$-ボイシュタインスペクトル系列を用いて、$\mathbb{C}$-motivicな $\operatorname{Ext}$ から $\operatorname{Ext}_{\mathcal{A}}(\mathbb{M}_2, \mathbb{M}_2)$ を計算し、$\rho$-周期的群が多数の微分を引き起こす。
• 範囲内で $d_2$、$d_3$ およびそれ以上のアダムス微分が明示的に計算され、古典的、$\times$-motivic的、トーダブラケット技術に依拠した証明が与えられる。
• $\rho$、$h_0$、$\eta$ による隠れた拡張が範囲内で完全に分析され、表に具体的なターゲットが特定されている。
• $\rho$-ボイシュタインおよびアダムススペクトル系列を通じて、$\eta$、$\nu$、$\sigma$ などの低次元古典的安定ホモトピー元のマホルドン不変量が回復される。
• $\tau^2 h_0 h_3^2$、$h_4$、$f_0$、$h_0 i$ などの特定の要素が非自明な微分を持つことが示され、例えば $d_2(h_4) = h_0 h_3^2$ および $d_3(h_0 h_4) = h_0 d_0 + \rho h_1 d_0$ が成り立つ。