[论文解读] Z/2-equivariant and R-motivic stable stems

Daniel Dugger, Daniel C. Isaksen|arXiv (Cornell University)|Mar 30, 2016

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

一句话总结

本文在范围 $s \geq 3w - 5$ 或 $s \leq -1$ 内建立了 2-完备化 $Ȓ$-动机同伦群与 $Ȓ/2$-等变稳定同伦群之间的同构，表明该范围内通过 Adams 分析谱序列进行的动机计算与经典等变同伦计算一致。关键洞见在于，这两种理论的 Adams 分析谱序列在该范围内收敛至同构的 $E_\infty$-页，从而意味着稳定同伦群同构。

ABSTRACT

We establish an isomorphism between the stable homotopy groups of the 2-completed motivic sphere spectrum over the real numbers and the corresponding stable homotopy groups of the 2-completed Z/2-equivariant sphere spectrum, in a certain range of dimensions.

研究动机与目标

• 建立 2-完备化 $Ȓ$-动机稳定同伦群与 $Ȓ/2$-等变稳定同伦群之间的比较。
• 通过从 $Ȓ$-动机同伦理论中提升计算，理解 $Ȓ/2$-等变稳定同伦群的结构。
• 证明等变实现实函子在特定范围内诱导出这些群之间的同构。
• 阐明周期性、固定点映射与 $Ȓ/2$-等变稳定茎中例外之间的关系。

提出的方法

• 使用从 $Ȓ$-动机同伦理论到 $Ȓ/2$-等变同伦理论的等变实现实函子，该函子将 $Ȓ$ 上的概形映射为其复点并赋予复共轭结构。
• 研究 2-完备化 $Ȓ$-动机球面谱与 $Ȓ/2$-等变球面谱，以确保 Adams 分析谱序列的收敛性。
• 比较两种理论的 Adams 分析谱序列，重点关注动机与等变 Steenrod 代数上的 $\operatorname{Ext}$-群。
• 分析谱序列的 $E_2$-页，识别永久循环与微分。
• 证明从动机到等变 $\operatorname{Ext}$-群的映射的余核由形如 $\frac{\theta}{\tau^k} h_0^i$ 的元素构成，这些元素在 $Ȓ/2$-等变 Adams 分析谱序列中是永久循环。
• 通过图表追踪法，证明在范围 $s \geq 3w - 5$ 或 $s \leq -1$ 内，两种谱序列的 $E_\infty$-页同构。

实验结果

研究问题

• RQ1 2-完备化 $Ȓ$-动机同伦群与 $Ȓ/2$-等变稳定同伦群在哪个范围内一致？
• RQ2 等变实现实函子如何关联动机与等变稳定同伦范畴？
• RQ3 周期性与固定点映射在 $Ȓ/2$-等变稳定茎结构中起什么作用？
• RQ4 在 $Ȓ/2$-等变稳定同伦群中是否存在周期性的例外，它们如何影响比较？
• RQ5 能否使用 $Ȓ$-动机球面的 Adams 分析谱序列来计算 $Ȓ/2$-等变稳定同伦群？

主要发现

• 在范围 $s \geq 3w - 5$ 或 $s \leq -1$ 内，2-完备化 $Ȓ$-动机同伦群与 $Ȓ/2$-等变稳定同伦群同构，其依据是两者 Adams 分析谱序列的 $E_\infty$-页同构。
• 从动机到等变 $\operatorname{Ext}$-群的映射的余核由形如 $\frac{\theta}{\tau^k} h_0^i$ 的元素构成，这些元素在 $Ȓ/2$-等变 Adams 分析谱序列中是永久循环。
• 对于第 $n$ 个 Milnor-Witt 茎，若 $2s \leq 3n + 5$，则映射 $\hat{\pi}^{\u0212}}_{*,*} \to \hat{\pi}^{\u0212/2}}_{*,*}$ 是同构；若 $2s = 3n + 6$，则为单射，从而确认了两者的一致范围。
• 固定点映射 $\phi: \pi^{\u0212/2}}_{s,w} \to \pi_{s-w}$ 在 $s < 0$ 时为同构，在 $s \geq 2w$ 时为分裂映射，为计算提供了结构锚点。
• 在范围 $2w \geq s \geq w - 1$ 内存在周期性的例外，但这些例外并不妨碍同构，如表 1 中的显式比较所示。
• 结果验证并澄清了 Araki 与 Iriye 的早期计算，通过将其提升至动机设定，确认了其在指定范围内的结果。