Abstract We give an introduction to the stable homotopy category and to its key computational tool, the Adams spectral sequence. To that end we introduce the modern tools, such as model categories and highly structured ring spectra. In the accompanying seminar we consider applications to cobordism theory and complex oriented cohomology such as to converge in the end to a glimpse of the modern picture of chromatic homotopy theory.
Lecture notes. (web version requires Firefox browser – free download)
Prelude -- Classical homotopy theory (pdf 111 pages)
Part 1 -- Stable homotopy theory
* Part 1.1 -- Sequential Spectra (pdf, 80 pages)
* Part 1.2 -- Structured Spectra (pdf, 75 pages)
Interlude -- Spectral sequences (pdf, 16 pages)
Part 2 -- Adams spectral sequences (pdf, 54 pages)
Seminar -- Complex oriented cohomology (pdf, 76 pages)
Background -- Introduction to Homological algebra (pdf, 83 pages)
My initial inclination was to call this book The Music of the Spheres, but I was dissuaded from doing so by my diligent publisher, who is ever mindful of the sensibilities of librarians. (Ravenel 86, preface)
A group in homotopy theory is equivalently a loop space under concatenation of loops (“∞-group”). A double loop space is a group with some commutativity structure (“Eckmann-Hilton argument”), a triple loop space has more commutativity structure, and so forth. A spectrum is where this progression of looping and delooping stabilizes (an “-abelian group”). Therefore one speaks of stable homotopy theory:
Most of linear algebra and algebraic geometry passes along as abelian groups are generalized to spectra and turns into something remarkably rich, called brave new algebra, higher algebra and spectral geometry. In particular the analog of the theory of (commutative) rings and their modules exist, given by (commutative) ring spectra (E-∞ rings, A-∞ rings) and module spectra (∞-modules).
Since spectra are considerably richer than abelian groups, stable homotopy is much concerned with “fracturing” stable homotopy types into more tractable components:
This point of view generalizes to homotopy theory and turns out to be very fruitful there. The analog of the integers is the sphere spectrum , and this is naturally the initial commutative ring spectrum (“E-∞ ring”), just as is the initial commutative ring. The formal dual Spec(S) of is hence the terminal space in E-∞ arithmetic geometry (“spectral geometry”) and spectra are equivalently the quasicoherent ∞-stacks over
Therefore the study of spectra “fractures” into the various localizations and formal completions of . Since this is like the white light of decomposing into various wavelengths, one speaks of chromatic homotopy theory.
This means that is a cover and that hence -local spectra are equivalently quasicoherent ∞-stacks on equipped with descent data: dually they are ∞-modules over equipped with comodule structure over the Hopf algebroid (Sweedler coring) .
For this reason special importance is carried by those E-∞ rings such that is already a covering, in a suitable sense, for these the -∞-modules equipped with descent data give an equivalent, but in general more tractable, incarnation of the stable homotopy theory of spectra.
Curiously, this way a good bit of differential topology – cobordism theory – arises within stable homotopy theory: the archetypical which covers in a suitable sense is MU, the Thom spectrum representing complex cobordism cohomology.
This section is at: Introduction to Stable homotopy theory -- P
This section is at Introduction to Stable homotopy theory -- 1
This section is at Introduction to Stable homotopy theory -- I
This section is at Introduction to Stable homotopy theory -- 2
This section is at Introduction to Stable homotopy theory -- S
For general model category theory a decent concise account is in
For section 1) Stable homotopy theory we follow the modern picture of the stable homotopy category for which an enjoyable survey may be found in
The classical account in (Adams 74, part III sections 2, 4-7) is still a good read, but ignore the “Adams category”-construction of the stable homotopy category in sections III.2 and III.3. What we actually do follows
For Interlude: Spectral sequences a discussion streamlined for our purposes is in (Rognes 12, section 2).
In 2) Adams spectral sequence for the general theory we follow
For the Seminar on Complex oriented cohomology an excellent textbook to hold on to is
Specifically for S.1) Generalized cohomology a neat account is in:
For S.2) Cobordism theory an efficient collection of the highlights is in
except that it omits proof of the Leray-Hirsch theorem/Serre spectral sequence and that of the Thom isomorphism, but see the references there and see (Kochman 96, Aguilar-Gitler-Prieto 02, section 11.7) for details.
(These overlap, pick the one that seems more inviting on first reading.)
The two originals
Daniel Quillen, Axiomatic homotopy theory in Homotopical algebra, Lecture Notes in Mathematics, No. 43 43, Berlin (1967)
Kenneth Brown, Abstract Homotopy Theory and Generalized Sheaf Cohomology, Transactions of the American Mathematical Society, Vol. 186 (1973), 419-458 (JSTOR)
are still an excellent source. For further reading on homotopy theory and stable homotopy theory a useful collection is
The modern chromatic picture originates around
a useful survey is in
a wealth of details is in
and new foundations have been laid in