[论文解读] The Adams-Novikov Spectral Sequence and the Homotopy Groups of Spheres

Paul G. Goerss|ArXiv.org|Feb 7, 2008

Homotopy and Cohomology in Algebraic Topology参考文献 30被引用 8

一句话总结

本文全面阐述了亚当斯-诺维科夫谱序列（ANSS）作为计算球面稳定同伦群的工具，结合复定向同伦理论与分层过滤。研究确立了某些广义β-元素在ANSS的E∞页上存活，关键结果包括：由于微分作用，特定类在奇素数下不存活，且这些结果与Kervaire不变量问题及J-映射的像相关联。

ABSTRACT

These are notes for a five lecture series intended to uncover large-scale phenomena in the homotopy groups of spheres using the Adams-Novikov Spectral Sequence. The lectures were given in Strasbourg, May 7-11, 2007.

研究动机与目标

• 开发并解释亚当斯-诺维科夫谱序列（ANSS）作为计算球面稳定同伦群的计算工具。
• 通过复定向同伦理论与分层过滤的视角，研究ANSS的结构。
• 分析ANSS中特定类（尤其是广义β-元素）的存活与消失，及其对Kervaire不变量问题的含义。
• 阐明J-映射的像与莫拉瓦稳定子群在谱序列中的作用，尤其在奇素数下。
• 建立微分关系（如Toda的微分），并探讨其对ANSS收敛性与结构的影响。

提出的方法

• 利用广义Eilenberg-MacLane谱对谱Y进行亚当斯分解，构造计算[X,Y]的谱序列，其通过Steenrod代数上的Ext群实现。
• 应用环变换定理，将Steenrod代数上的Ext群与Brown-Peterson谱BP_*上的Ext群关联起来。
• 采用分层谱序列分析ANSS的过滤高度，将其与复cobordism和Morava K-理论联系起来。
• 通过H^*(G_n, F_p^n(*))分析Morava稳定子群G_n的上同调，以检测非平凡类，并证明微分中目标的非零性。
• 应用分层过滤与高度过滤，分解ANSS并研究球面同伦群中的周期性现象。
• 利用塔构造（亚当斯塔）将分解的同伦极限与谱的H_*(-局部化联系起来，从而得到同伦群的2-进完备化。

实验结果

研究问题

• RQ1 哪些广义β-元素在ANSS中存活至E∞页？其存活或消失由什么决定？
• RQ2 ANSS中的微分（特别是Toda的微分d_{2p-1}(β_{p/p}) = α_1 β_1^{p-1}）如何影响球面同伦群的结构？
• RQ3 J-映射的像与v_1-可除性在约束ANSS中永久循环存在性方面起什么作用？
• RQ4 Morava稳定子群G_n的上同调如何检测微分中的非平凡目标？这对ANSS的收敛性有何含义？
• RQ5 广义β-元素在多大程度上能检测非平凡同伦类？这对π_k(S^0)的增长有何含义？

主要发现

• 在分层谱序列中，类x_i^{s_0}/p^{k+1}v_1^j（其中s = p^i s_0且(p, s_0) = 1）除非满足i ≥ 2且p^i < j ≤ a_i，否则会存活至E_∞。
• 对于i ≥ 2且p^i < j ≤ a_i，元素x_i/pv_1^j在分层谱序列中不存活，表明其为ANSS中的无限循环。
• Toda的微分d_{2p-1}(β_{p/p}) = α_1 β_1^{p-1}在非零单位意义下成立，且可归纳推广至更高阶的β-元素。
• 当p > 3时，Kervaire不变量元素b_i ∈ Ext^2_{A_*}(Σ^{2p^i(p-1)}F_p, F_p)在clASS中不能是永久循环，这是由微分结构决定的。
• 当p = 3时，由于多个β-元素可组合形成映射到b_i的无限循环，部分b_i可能存活。
• Ravenel归纳微分中目标的非零性依赖于通过Morava稳定子群中阶为p的元素在H^*(Z/p, F_p^n(*))中检测到非平凡类。