In mathematics, the Adams spectral sequence is a spectral sequence introduced by which computes the stable homotopy groups of topological spaces. Like all spectral sequences, it is a computational tool; it relates homology theory to what is now called stable homotopy theory. It is a reformulation using homological algebra, and an extension, of a technique called 'killing homotopy groups' applied by the French school of Henri Cartan and Jean-Pierre Serre.

Motivation

For everything below, once and for all, we fix a prime p. All spaces are assumed to be CW complexes. The ordinary cohomology groups.

The primary goal of algebraic topology is to try to understand the collection of all maps, up to homotopy, between arbitrary spaces X and Y. This is extraordinarily ambitious: in particular, when X, these maps form the nth homotopy group of Y of maps (up to homotopy) that remain after we apply the suspension functor a large number of times. We call this the collection of stable maps from X to Y. (This is the starting point of stable homotopy theory; more modern treatments of this topic begin with the concept of a spectrum. Adams' original work did not use spectra, and we avoid further mention of them in this section to keep the content here as elementary as possible.)

turns out to be an abelian group, and if X and Y are reasonable spaces this group is finitely generated. To figure out what this group is, we first isolate a prime p. In an attempt to compute the p to Hom(H*(Y), H*(X)). This is a good idea because cohomology groups are usually tractable to compute.

is more than just a graded abelian group, and more still than a graded ring (via the cup product). The representability of the cohomology functor makes H*(X) a module over the algebra of its stable cohomology operations, the Steenrod algebra A. Thinking about H*(X) as an A-module forgets some cup product structure, but the gain is enormous: Hom(H*(Y), H*(X)) can now be taken to be A-linear! A priori, the A-module sees no more of [X, Y] than it did when we considered it to be a map of vector spaces over Fp. But we can now consider the derived functors of Hom in the category of A-modules, ExtAr(H*(Y), H*(X)). These acquire a second grading from the grading on H*(Y), and so we obtain a two-dimensional "page" of algebraic data. The Ext groups are designed to measure the failure of Hom's preservation of algebraic structure, so this is a reasonable step.

The point of all this is that A is so large that the above sheet of cohomological data contains all the information we need to recover the p-primary part of [X, Y], which is homotopy data. This is a major accomplishment because cohomology was designed to be computable, while homotopy was designed to be powerful. This is the content of the Adams spectral sequence.

Classical formulation

Formulation for computing homotopy groups of spectra

The classical Adams spectral sequence can be stated for any connective spectrum of finite type such that

1. Steenrod algebra

2. (the p-adic integers)

-torsion of the homotopy groups of the sphere spectrum, this gives the statement of the previous formulation as well.

-page given by, that is

Spectral sequence for the stable homotopy groups of spheres

, then the Adams spectral sequence has the convergence propertygiving a technical tool for approaching a computation of the stable homotopy groups of spheres. It turns out that many of the first terms can be computed explicitly from purely algebraic informationpp 23–25-page is.

Ext terms from the resolution

Given the Adams resolution-terms as-page can be written as can be thought of how "deep" in the Adams resolution we go before we can find the generators.

Calculations

The sequence itself is not an algorithmic device, but lends itself to problem solving in particular cases.

Grading of the Differential

. That is, .

Examples with Eilenberg–Maclane spectra

Some of the simplest calculations are with Eilenberg–Maclane spectra. page. This can be rewritten as-page. For the other case, note there is a cofiber sequence can be read as-page is..

Other applications

Adams' original use for his spectral sequence was the first proof of the Hopf invariant admits a division algebra structure only for n = 1, 2, 4, or 8. He subsequently found a much shorter proof using cohomology operations in K-theory.

The Thom isomorphism theorem relates differential topology to stable homotopy theory, and this is where the Adams spectral sequence found its first major use: in 1960, John Milnor and Sergei Novikov used the Adams spectral sequence to compute the coefficient ring of complex cobordism. Further, Milnor and C. T. C. Wall used the spectral sequence to prove Thom's conjecture on the structure of the oriented cobordism ring: two oriented manifolds are cobordant if and only if their Pontryagin and Stiefel–Whitney numbers agree.

Stable homotopy groups of spheres

we can compute several terms explicitly, giving some of the first stable homotopy groups of spheres.-page with, we have a surjection, hence we have a map. For example, since-page which looks like-pagepg 21. See the diagram above for more information.

Generalizations

The Adams–Novikov spectral sequence is a generalization of the Adams spectral sequence introduced by where ordinary cohomology is replaced by a generalized cohomology theory, often complex bordism or Brown–Peterson cohomology. This requires knowledge of the algebra of stable cohomology operations for the cohomology theory in question, but enables calculations which are completely intractable with the classical Adams spectral sequence.

See also

• Postnikov system

• Steenrod algebra

• Spectrum (topology)

• Adams resolution

• Ravenel's conjectures

References

• .

Overviews of computations

• – computes all Adams spectral sequences for the stable homotopy groups of spheres up to degree 90

Higher-order terms

External links

Notes