[论文解读] Stable homotopy groups of spheres: From dimension 0 to 90

Daniel C. Isaksen, Guozhen Wang+1 more|arXiv (Cornell University)|Jan 13, 2020

Homotopy and Cohomology in Algebraic Topology被引用 8

一句话总结

本文利用动机同伦理论，通过C-动机Adams谱序列与代数Novikov谱序列之间的同构关系，计算了从0到90维的球面的经典与动机稳定同伦群。结合机器计算、Adams微分、Toda括号与隐藏扩张，作者解决了几乎所有群结构，仅在表9中明确列出了少数不确定性。

ABSTRACT

Using techniques in motivic homotopy theory, especially the theorem of Gheorghe, the second and the third author on the isomorphism between motivic Adams spectral sequence for $Cτ$ and the algebraic Novikov spectral sequence for $BP_*$, we compute the classical and motivic stable homotopy groups of spheres from dimension 0 to 90, except for some carefully enumerated uncertainties.

研究动机与目标

• 计算从0到90维的球面2-完备稳定同伦群，通过先进的谱序列技术解决几乎所有群结构。
• 将Adams谱序列与代数Novikov谱序列的适用范围拓展至先前方法失效的更高茎（stem）范围。
• 系统性地解决动机与经典情形下的扩张问题与微分问题，利用隐藏扩张与Toda括号。
• 提供全面且经过验证的计算结果，包含明确的表格与证明，纠正文献中先前的错误。
• 列出计算中尚未解决的不确定性，特别是80–90维茎范围内的问题，以供未来研究。

提出的方法

• 利用C-动机Adams谱序列与BP*上的代数Novikov谱序列之间的同构关系，将代数计算结果转移至同伦群。
• 在高性能计算集群上进行机器计算，以计算C-动机Adams谱序列的E2页并追踪至d5的微分。
• 应用h1-Bockstein谱序列以简化计算并检测隐藏扩张。
• 利用Toda括号与Massey积检测隐藏扩张，并解决谱序列中的扩张问题。
• 系统性地应用Adams谱序列的d2、d3、d4与d5微分，其证明基于已知代数结构与归纳推理。
• 引入并验证涉及τ、2、η、ν及其他元素的隐藏扩张，结合直接计算与与tmf及mmf的已知映射比较。

实验结果

研究问题

• RQ1 球面在0至90维之间的经典与动机稳定同伦群的显式结构为何？
• RQ2 哪些Adams谱序列与代数Novikov谱序列中的微分可借助动机技术与机器辅助代数计算得出？
• RQ3 在2-完备稳定茎的0至90维范围内，元素的完整隐藏扩张模式是什么？
• RQ4 如何利用C-动机Adams谱序列与代数Novikov谱序列之间的同构关系来解决扩张与微分问题？
• RQ5 在90维以上，2-完备稳定同伦群计算中尚存哪些未解决的不确定性？

主要发现

• 作者计算了从0到90维的球面经典与动机稳定同伦群，仅在表9中明确列出少数未解决的不确定性。
• C-动机Adams谱序列用于计算至d5的微分，其中d3、d4与d5微分已系统计算并验证。
• 涉及τ、2、η与ν的隐藏扩张在20至90维之间被计算并验证，具体目标与证明见表14至表25。
• 本文解决了文献中此前未知或错误的结果，特别是纠正了[37]与[39]中的错误，并验证了[29]中的早期计算。
• 计算结果包含永久循环、微分、Toda括号与隐藏扩张的明确表格，共引用135篇基础与近期研究文献。
• 最终结果列出了至90维的完整稳定同伦群列表，其结构描述为循环群的直和，仅在85–87与89–90维存在少数未解决的不确定性。