[论文解读] C_2-equivariant and R-motivic stable stems, II

Eva Belmont, Bertrand Guillou+1 more|arXiv (Cornell University)|Jan 7, 2020

Homotopy and Cohomology in Algebraic Topology参考文献 9被引用 4

一句话总结

本文通过比较其 $²$-Bockstein谱序列，在一定度数范围内建立了 $²$-等变与 $²$-动机稳定同伦群之间的同构关系。关键结果表明，贝蒂数实现（Betti realization）在范围 $2w - s < 5$ 内诱导同构，除了在 $(s,w) = (0,2)$ 处；当 $2w - s = 5$ 时，诱导的是单射，从而表明 $²$-动机计算可在此范围内实现 $C_2$-等变同伦群。

ABSTRACT

We show that the $C_2$-equivariant and $\mathbb{R}$-motivic stable homotopy groups are isomorphic in a range. This result supersedes previous work of Dugger and the third author.

研究动机与目标

• 比较 $²$-动机与 $C_2$-等变稳定同伦群在一定度数范围内的性质。
• 建立贝蒂数实现在此特定茎与权重范围内的同构关系。
• 通过使用 $²$-Bockstein谱序列而非 cobar 复形，相较以往工作实现更高效的比较。
• 证明在范围 $2w - s < 5$ 内，亚当斯谱序列的 $E_2$-页同构（$(s,w) = (0,2)$ 除外），并将其推广至更高亚当斯页及稳定同伦群。
• 通过构造范围外的显式永久循环元素，证明该范围的紧致性。

提出的方法

• 比较收敛至 $²$-动机与 $C_2$-等变亚当斯 $E_2$-页的 $²$-Bockstein谱序列。
• 利用 $²$-Bockstein谱序列在一定范围内同构的事实，推导出亚当斯 $E_2$-页的同构。
• 通过亚当斯谱序列页 $E_r$ 的归纳法，将同构关系从 $E_2$ 推广至 $E_\infty$。
• 利用贝蒂数实现映射的余核为零，特别是 $\operatorname{Ext}_{NC}$ 的性质，证明在所述范围内的同构性。
• 利用 $\frac{\gamma}{\tau}h_0^f$ 在 $C_2$-等变亚当斯谱序列中为永久循环的事实，处理归纳过程中的边界情况。
• 通过在亚当斯微分图中进行图表追踪，证明贝蒂数实现映射在更高页仍保持同构或单射。

实验结果

研究问题

• RQ1 在哪些茎与权重范围内，$²$-动机与 $C_2$-等变稳定同伦群在贝蒂数实现下同构？
• RQ2 亚当斯 $E_2$-页的比较能否推广至更高亚当斯页，最终推广至稳定同伦群？
• RQ3 范围 $2w - s < 5$ 对于贝蒂数实现下稳定同伦群的同构是否紧致？
• RQ4 当 $2w - s = 5$ 时，贝蒂数实现映射的行为如何？为何此时仅为单射？
• RQ5 是否存在范围外的显式永久循环元素，可证明该边界的紧致性？

主要发现

• 贝蒂数实现映射 $\pi^\mathbb{R}_{s,w} \to \pi^{C_2}_{s,w}$ 在 $2w - s < 5$ 且 $(s,w) \neq (0,2)$ 时为同构。
• 当 $2w - s = 5$ 时，该映射为单射，且该范围是紧致的，由显式反例证实。
• $²$-动机与 $C_2$-等变亚当斯 $E_2$-页的 $²$-Bockstein谱序列在范围 $2w - s < 5$ 内同构（$(0,2)$ 除外）。
• 由于同构的关联分次对象，亚当斯 $E_\infty$-页在范围 $2w - s < 5$，$(s,w) \neq (0,2)$ 内同构。
• 在度数 $(8k+1, 4k+1, 4k+3)$ 处的元素 $\frac{\gamma}{\tau}P^k h_1$ 是两个谱序列中的永久循环，且位于同构范围之外，表明该边界的紧致性。
• 当 $k \geq 1$ 时，该映射在 $2w - s = 5$ 处不再为同构，因为这些元素在贝蒂数实现下不共轭，从而确认了该范围的紧致性。