[论文解读] R-motivic stable stems

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

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

一句话总结

本文通过×-motivic Adams谱序列计算了$×$-motivic稳定同伦群$π_{s,w}$，其中$s-w \leq 11$，输入来源于已知的$\mathbb{C}$-motivic $\operatorname{Ext}$群，经由$\rho$-Bockstein谱序列推导得出。主要贡献在于完整确定了这些群，包括Adams微分和由$\rho$、$h_0$及$\eta$引起的隐藏扩张，从而在低维情形下恢复了经典Mahowald不变量。

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.

研究动机与目标

• 计算$×$-motivic稳定同伦群$π_{s,w}$在$s-w \leq 11$范围内的结果。
• 建立以×-motivic $\operatorname{Ext}$群为输入的×-motivic Adams谱序列。
• 在该范围内确定Adams微分以及由$\rho$、$h_0$和$\eta$引起的隐藏扩张。
• 通过这些计算恢复低维稳定同伦元素的经典Mahowald不变量。

提出的方法

• 使用以$E_2 = \operatorname{Ext}_{\mathcal{A}}(\mathbb{M}_2, \mathbb{M}_2)$为输入的×-motivic Adams谱序列，其中$\mathcal{A}$为×-motivic孙纲道代数。
• 应用×-Bockstein谱序列，从已知的$\mathbb{C}$-motivic $\operatorname{Ext}$群计算$\operatorname{Ext}_{\mathcal{A}}(\mathbb{M}_2, \mathbb{M}_2)$。
• 预先计算$\rho$-周期群，以组合论证强制产生大量Bockstein微分。
• 利用Moss收敛定理计算Toda括号并识别永久循环。
• 通过与经典及×-motivic计算结果对比，验证Adams微分与扩张关系。
• 利用置换关系与Toda括号对比分析由$\rho$、$h_0$和$\eta$引起的隐藏扩张。

实验结果

研究问题

• RQ1 在$s-w \leq 11$范围内，×-motivic稳定同伦群$\pi_{s,w}$的具体形式为何？
• RQ2 $\rho$-Bockstein谱序列与$\rho$-周期群如何约束×-motivic Adams谱序列中的$\operatorname{Ext}$群？
• RQ3 在$s-w \leq 11$范围内，×-motivic Adams谱序列中哪些Adams微分$d_r$会出现？
• RQ4 在该范围内，×-motivic Adams谱序列中由$\rho$、$h_0$和$\eta$引起的隐藏扩张有哪些？
• RQ5 这些计算如何恢复或实现经典Mahowald不变量？

主要发现

• 在$s-w \leq 11$范围内，×-motivic稳定同伦群$\pi_{s,w}$已完全计算，所有元素与关系均有明确描述。
• $\rho$-Bockstein谱序列被用于从$\mathbb{C}$-motivic $\operatorname{Ext}$群计算$\operatorname{Ext}_{\mathcal{A}}(\mathbb{M}_2, \mathbb{M}_2)$，其中$\rho$-周期群使大量微分得以确定。
• 在该范围内，Adams微分$d_2$、$d_3$及更高阶微分被显式计算，其证明依赖于经典方法、×-motivic方法以及Toda括号技术。
• 由$\rho$、$h_0$和$\eta$引起的隐藏扩张在该范围内已完全分析，具体目标在表格中明确标识。
• 通过$\rho$-Bockstein谱序列与Adams谱序列的计算，成功恢复了多个低维经典稳定同伦元素的Mahowald不变量，例如$\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$。