Adams Spectral Sequence¶
A prime-local spectral sequence whose early terms are Ext groups over a stable cohomology-operations algebra and whose convergent limit organizes information about stable homotopy groups or maps.
Core Idea¶
The Adams spectral sequence replaces difficult stable homotopy questions with a filtered algebraic approximation. At a chosen prime, mod-p cohomology retains its Steenrod-algebra action, and Ext groups over that algebra form the familiar early computational page.
Later differentials record obstructions invisible to the initial algebra. Even after convergence, the surviving page is associated graded by Adams filtration, so hidden extensions and convergence conditions must be resolved before identifying actual homotopy groups or maps.
How would you explain it like I'm…
Guess, Then Fix, Then Fit
Pages of Better Guesses
Algebraic Approximation of Stable Homotopy
Scope of Application¶
- Stable stems. Organizes p-primary calculations of sphere homotopy.
- Maps of spectra. Computes filtered stable mapping groups under hypotheses.
- Chromatic homotopy. Provides a baseline and comparison for generalized Adams methods.
- Homological algebra. Connects operations-module Ext with topological invariants.
Clarity¶
State prime, objects, coefficient theory, Steenrod or operations algebra, bidegree and differential conventions, target, convergence range, and unresolved extensions. Distinguish computed page, permanent cycle, associated-graded class, and actual stable homotopy element. Inclusion test: Require an Adams-type resolution based on a selected cohomology theory, an early algebraic page such as Ext over operations, and a stated convergence target in stable homotopy. Exclusion test: Exclude an arbitrary spectral sequence, a bare Steenrod-algebra Ext computation with no target, unstable homotopy calculations outside the convergence setup, and treating E2 entries as final groups. Nearest boundary: The Adams–Novikov spectral sequence uses complex cobordism or related generalized homology and a different algebraic input; it is an Adams-type relative, not the classical mod-p Adams spectral sequence. Exit condition: The construction loses this identity when its filtration does not arise from an Adams resolution or when the abutment is not the stated stable homotopy target. Common misclassifications: An E2 class is not automatically a stable homotopy element. A generic spectral sequence is not an Adams spectral sequence. The classical and Adams–Novikov constructions have different inputs. The limiting page can omit extension data needed to reconstruct the target group. Nearest named distinctions: Adams–Novikov spectral sequence: Uses generalized homology and a different algebraic input. Serre spectral sequence: Arises from a fibration rather than an Adams resolution. Atiyah–Hirzebruch spectral sequence: Filters a space or spectrum by cells. Steenrod algebra Ext chart: Is an algebraic page, not by itself the converged topological answer.
Manages Complexity¶
The method makes an intractable geometric target approachable by spreading it across pages and filtrations. That compression creates several epistemic levels—candidate class, surviving class, convergent filtration piece, and reconstructed element—that must never be silently collapsed.
Abstract Reasoning¶
- Fix prime, spectra or spaces, grading conventions, and target group.
- Choose the cohomology theory and form an Adams resolution.
- Compute the appropriate Ext or cobar early page.
- Establish differentials, permanent cycles, and convergence conditions.
- Resolve filtration and hidden extensions before reporting the stable homotopy result.
Knowledge Transfer¶
The architecture transfers to generalized Adams spectral sequences only after replacing the homology theory, operations or cooperations, resolution, and convergence hypotheses. Page notation alone does not preserve the classical construction.
Neighborhood in Abstraction Space¶
Adams Spectral Sequence sits in a moderately populated region (42nd percentile for distinctiveness): it has near-neighbors but no dense thicket of look-alikes.
Family — Algebraic Varieties & Topological Invariants (27 abstractions)
Nearest neighbors
- Algebraic Surface — 0.88
- Simplicial Localization — 0.88
- Category of Manifolds — 0.87
- Quasi-Isomorphism — 0.87
- Stone Space — 0.86
Computed from structural-signature embeddings · 2026-10-08