[Paper Review] Computation of the E_3-term of the Adams spectral sequence

Hans Joachim Baues, Mamuka Jibladze|ArXiv.org|Jul 3, 2004

Homotopy and Cohomology in Algebraic Topology3 citations

TL;DR

This paper introduces secondary Ext groups over the algebra of secondary cohomology operations, denoted 𝔹, and establishes that the E₃-term of the Adams spectral sequence computing stable homotopy groups of spheres is isomorphic to Ext₄(ℤ₂, ℤ₂) in the category of 𝔹-modules. The authors provide an algorithmic computation of E₃(S⁰, S⁰) up to degree 40, offering a refined approximation beyond the classical E₂-term, with results confirmed against known literature such as Ravenel's work.

ABSTRACT

An algorithm is described giving effective determination of the second differential in the Adams spectral sequence. The algorithm is based on the notion of secondary derived functor, and on the explicit algebraic model of the groupoid enriched category of stable maps and stable tracks between Eilenberg-Mac Lane spaces.

Motivation & Objective

• To define and formalize secondary Ext groups over the algebra 𝔹 of secondary cohomology operations.
• To establish a structural link between the E₃-term of the Adams spectral sequence and Ext groups in the category of 𝔹-modules.
• To develop an algorithmic framework for computing E₃(S⁰, S⁰) as a refinement of the classical E₂-term.
• To compute E₃(S⁰, S⁰) explicitly up to degree 40 using the proposed algorithm.
• To validate the algorithmic results against known computations in the literature, such as those in Ravenel's work.

Proposed method

• The paper defines the category of pair modules and pair algebras over a commutative ring, with a symmetric monoidal structure via the truncated tensor product ⊗̄.
• It introduces the algebra 𝔹 of secondary cohomology operations as a pair algebra with Σ-structure, explicitly computed via an algorithm.
• Secondary derived functors Ext₄ are constructed using secondary resolutions in the category of 𝔹-modules.
• The E₃-term of the Adams spectral sequence is identified as Ext₄(ℤ₂, ℤ₂) where ℤ₂ is the secondary cohomology of the sphere spectrum.
• An algorithm is implemented to compute Ext₄(ℤ₂, ℤ₂) up to degree 40, using explicit computations of Steenrod operations and their compositions.
• The method relies on the structure of the Steenrod algebra and the explicit presentation of the secondary cohomology module ℤ₂ as a 𝔹-module.

Experimental results

Research questions

• RQ1 How can the E₃-term of the Adams spectral sequence be algebraically characterized beyond the E₂-term?
• RQ2 What is the role of secondary cohomology operations in refining the Adams spectral sequence?
• RQ3 Can the E₃-term be computed algorithmically using secondary Ext groups over the algebra 𝔹?
• RQ4 How does the secondary Ext group Ext₄(ℤ₂, ℤ₂) compare to the classical E₂-term Extₐ(ℤ₂, ℤ₂)?
• RQ5 What is the computational range and accuracy of the proposed algorithm for E₃(S⁰, S⁰)?

Key findings

• The E₃-term of the Adams spectral sequence for the sphere spectrum is isomorphic to Ext₄(ℤ₂, ℤ₂), where ℤ₂ is the secondary cohomology of S⁰ as a 𝔹-module.
• The algorithm computes E₃(S⁰, S⁰) up to degree 40, providing a new explicit approximation of stable homotopy groups of spheres.
• The computed results for E₃(S⁰, S⁰) in degrees up to 40 are consistent with known results from the literature, including those in Ravenel's book.
• The paper establishes that the secondary Ext group Ext₄(ℤ₂, ℤ₂) is a refinement of the classical E₂-term Extₐ(ℤ₂, ℤ₂), offering improved homotopical information.
• The computation of the differential δ on generators of the secondary cohomology module ℤ₂ is explicitly carried out up to degree 35, enabling the algorithmic determination of E₃.
• The structure of the secondary cohomology module ℤ₂ as a 𝔹-module is shown to be ℤ₂ = ℤ₂^Σ, which is essential for the Ext computation.