[論文レビュー] 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∞頁に生存することを確立し、特に奇素数においてその結果を明らかにする。また、ケルベイユ・インバリアント問題と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内で分析し、ケルベイユ・インバリアント問題へのその意味を明らかにすること。
• 特に奇素数におけるJの像とモラバ安定化群の役割を明確にすること。
• Todaの微分のような微分関係式を確立し、ANSSの収束性および構造に与える影響を明らかにすること。

提案手法

• 一般化されたエイレングラント＝マクレインスペクトラを用いたスペクトルYのアダムス分解を用い、スティーロード代数上のExt群を介して[X,Y]を計算するスペクトル系列を構成する。
• 環の変換定理を適用し、スティーロード代数上のExt群をブラウン＝ペテルソンスペクトルBP_*上のExt群に関連付ける。
• クロミティックスペクトル系列を用いてANSSの高さによるフィルトレーションを分析し、複素コボルディズムおよびモラバK理論と結びつける。
• モラバ安定化群G_nのコホモロジーH^*(G_n, F_p^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 モラバ安定化群G_nのコホモロジーが微分における非自明なターゲットをどのように検出するか、そしてANSSの収束性にどのような含意をもたらすか？
• RQ5 一般化されたβ要素が非自明なホモトピー類を検出する程度はどの程度か、そしてπ_k(S^0)の成長にどのような含意をもたらすか？

主な発見

• s = p^i s_0 かつ (p, s_0) = 1 であるとき、クラスx_i^{s_0}/p^{k+1}v_1^j はクロミティックスペクトル系列においてE_∞に生存するが、i ≥ 2 かつ p^i < j ≤ a_i である場合は除く。
• 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の帰納的微分におけるターゲットの非消滅は、モラバ安定化群の位数pの元を用いてH^*(Z/p, F_p^n(*))内に非自明なクラスを検出することに依存する。