JournalsowrVol. 2 / No. 4DOI 10.4171/owr/2005/46

Arbeitsgemeinschaft mit aktuellem Thema: Modern Foundations for Stable Homotopy Theory

  • John Rognes

    University of Oslo, Norway
  • Stefan Schwede

    Universität Bonn, Germany
Arbeitsgemeinschaft mit aktuellem Thema: Modern Foundations for Stable Homotopy Theory cover

You need to subscribe to download the article.


Stable homotopy theory started out as the study of generalized cohomology theories for topological spaces, in the incarnation of the stable homotopy category of spectra. In recent years, an important new direction became the {\em spectral algebra} or {\em stable homotopical algebra} over structured ring spectra. Homotopy theorists have come up with a whole new world of `rings' which are invisible to the eyes of algebraists, since they cannot be defined or constructed without the use of topology; indeed, in these `rings', the laws of associativity, commutativity or distributivity only hold up to an infinite sequence of coherence relations. The initial `ring' is no longer the ring of integers, but the {\em sphere spectrum} of algebraic topology; the `modules' over the sphere spectrum define the stable homotopy category. Although ring spectra go beyond algebra, the classical algebraic world is properly contained in stable homotopical algebra. Indeed, via Eilenberg-Mac Lane spectra, classical algebra embeds into stable homotopy theory, and ordinary rings form a full subcategory of the homotopy category of ring spectra. Topology interpolates algebra in various ways, and when rationalized, stable homotopy theory tends to become purely algebraic, but integrally it contains interesting torsion information.

There are plenty of applications of structured ring spectra and spectral algebra within homotopy theory, and in recent years, these concepts have started to appear in other areas of mathematics (we will sketch connections to algebraic -theory and arithmetic, and to algebraic geometry via motivic homotopy theory and derived algebraic geometry).

After this general introduction, we now want to give some history and more background and point out some areas where structured ring spectrum methods have been used for calculations, theorems or constructions. Several of the following topics were taken up in the talks of this AG.

{\bf Some history.}

A crucial prerequisite for spectral algebra is an associative and commutative smash product on a good point-set level category of spectra, which lifts the well-known smash product pairing on the {\em homotopy category}. To illustrate the drastic simplification that occurred in the foundations in the mid-90s, let us draw an analogy with the algebraic context. Let be a commutative ring and imagine for a moment that the notion of a chain complex (of -modules) has not been discovered, but nevertheless various complicated constructions of the unbounded derived category of the ring exist. Moreover, constructions of the {\em derived} tensor product on the {\em derived} category exist, but they are complicated and the proof that the derived tensor product is associative and commutative occupies 30~pages. In this situation, you could talk about objects in the derived category together with morphisms , in the derived category, which are associative and unital, and possibly commutative, again in the derived category. This notion may be useful for some purposes, but it suffers from many defects -- as one example, the category of modules (under derived tensor product in the derived category), does not in general form a triangulated category.

Now imagine that someone proposes the definition of a chain complex of -modules and shows that by formally inverting the quasi-isomorphisms, one can construct the derived category. She also defines the tensor product of chain complexes and proves that tensoring with a bounded below (in homological terms) complex of projective modules preserves quasi-isomorphisms. It immediately follows that the tensor product descends to an associative and commutative product on the derived category. What is even better, now one can suddenly consider differential graded algebras, a `rigidified' version of the crude multiplication `up-to-chain homotopy'. We would quickly discover that this notion is much more powerful and that differential graded algebras arise all over the place (while chain complexes with a multiplication which is merely associative up to chain homotopy seldom come up in nature).

Fortunately, this is not the historical course of development in homological algebra, but the development in stable homotopy theory was, in several aspects, as indicated above. The first construction of what is now called `the stable homotopy category', including its symmetric monoidal smash product, is due to Boardman (unpublished); accounts of Boardman's construction appear in~\cite{vogt-aarhus} and~\cite[Part~III]{adams-generalized} (Adams has to devote more than 30~pages to the construction and formal properties of the smash product). With this category, one could consider ring spectra `up to homotopy', which are closely related to multiplicative cohomology theories.

However, the need and usefulness of ring spectra with rigidified multiplications soon became apparent, and topologists developed different ways of dealing with them. One line of approach used operads for the bookkeeping of the homotopies which encode all higher forms of associativity and commutativity, and this led to the notions of - respectively -ring spectra. Various notions of point-set level ring spectra had been used (which were only later recognized as the monoids in a symmetric monoidal model category). For example, the orthogonal ring spectra had appeared as {\em -prefunctors} in~\cite{may-quinn-ray}, the {\em functors with smash product} were introduced in~\cite{Boek:THH} and symmetric ring spectra appeared as {\em strictly associative ring spectra} in~\cite[Def.~6.1]{gunnarsson-monads} or as {\em FSPs defined on spheres} in~\cite[2.7]{HM:Witt}.

At this point it had become clear that many technicalities could be avoided if one had a smash product on a good point-set category of spectra which was associative and unital {\em before} passage to the homotopy category. For a long time no such category was known, and there was even evidence that it might not exist \cite{Lewis}. In retrospect, the modern spectra categories could maybe have been found earlier if Quillen's formalism of {\em model categories}~\cite{Q,hovey-book} had been taken more seriously; from the model category perspective, one should not expect an intrinsically `left adjoint' construction like a smash product to have good homotopical behavior in general, and along with the search for a smash product, one should look for a compatible notion of cofibrations.

In the mid-90s, several categories of spectra with nice smash products were discovered, and simultaneously, model categories experienced a major renaissance. Around 1993, Elmendorf, Kriz, Mandell and May introduced the {\em -modules}~\cite{EKMM} and Jeff Smith gave the first talks about {\em symmetric spectra}; the details of the model structure were later worked out and written up by Hovey, Shipley and Smith~\cite{HSS}. In 1995, Lydakis~\cite{lydakis-gamma} independently discovered and studied the smash product for -spaces (in the sense of Segal~\cite{segal-cat coho}), and a little later he developed model structures and smash product for {\em simplicial functors}~\cite{lydakis-simplicial}. Except for the -modules of Elmendorf, Kriz, Mandell and May, all other known models for spectra with nice smash product have a very similar flavor; they all arise as categories of continuous, space-valued functors from a symmetric monoidal indexing category, and the smash product is a convolution product (defined as a left Kan extension), which had much earlier been studied by category theorist Day~\cite{day-closed}. This unifying context was made explicit by Mandell, May, Schwede and Shipley in~\cite{MMSS}, where another example, the {\em orthogonal spectra} was first worked out in detail. The different approaches to spectra categories with smash product have been generalized and adapted to equivariant homotopy theory~\cite{DRO I, mandell-equivariant symmetric, mandell-may} and motivic homotopy theory~\cite{DRO II, Hu, jardine-motivic symmetric}. In this AG we will present these various setups with an emphasis on symmetric spectra.

{\bf Algebra versus homotopy theory.}

Many constructions and invariants for classical rings have counterparts for structured ring spectra. These ring spectra have well behaved module categories; algebraic -theory, Hochschild homology and Andr\'e-Quillen homology admit refinements; classical constructions such as localization, group rings, matrix rings, Morita theory and Galois theory carry over, suitably adapted. This export of concepts from algebra to topology illuminates both fields. For example, Dwyer, Greenlees, and Iyengar~\cite{dwyer-greenlees-iyengar} have shown that Gorenstein duality, Poincar\'e duality, and Gross-Hopkins duality become results of a single point of view. Morita theory for ring spectra~\cite{baker-lazarev, schwede-shipley-modules, schwede-morita} gives a new perspective at {\em tilting theory}. The extension of Galois theory to ring spectra~\cite{rognes-Galois} has genuinely new kinds of examples given by classical and higher forms of real topological -theory. Certain algebraic extensions of commutative rings can be lifted to the sphere spectrum; for example, roots of unity can be adjoined to -ring spectra away from ramification~\cite{SVW}. Some algebraic notions, for example the units or the center of a ring, are more subtle, and their generalizations to ring spectra show richer features than the classical counterparts.

{\bf Power operations.}

Recognizing a multiplicative cohomology theory as an -ring spectrum leads to additional structure which can be a powerful theoretical and calculational tool. We want to illustrate this by the example of the Adams spectral sequence~\cite[III.15]{adams-generalized}, \cite[II.9]{mccleary}, \cite[Ch.~19]{switzer}, a tool which has been used extensively for calculations of stable homotopy groups. In its most classical instance, the Adams spectral sequence converges to the -completed stable homotopy groups of spheres and takes the form The -term is given by Ext-groups over the Steenrod algebra of stable mod- cohomology operations. This spectral sequence neatly separates the problem of calculating homotopy groups into an algebraic and a purely homotopy theoretic part.

The Steenrod algebra has various explicit descriptions and the -term can be calculated mechanically. In fact, computer calculations have been pushed up to the range (for )~\cite{bruner-charts, nassau charts}. The 1-line is given by the primitive elements in the dual Steenrod algebra, which for are classes for . The first few classes and are infinite cycles and they detect the Hopf maps and ; the Hopf maps arise from the division algebra structures on , , the quaternions and the Cayley numbers.

On the other hand, identifying differentials and extensions in the Adams spectral sequence is a matter of stable homotopy theory. The known differentials can be derived by exploiting more and more subtle aspects of the homotopy-commutativity of the stable homotopy groups of spheres (or, in our jargon, the -structure of the sphere spectrum). The first -differential in the mod-2 Adams spectral sequence is a consequence of the graded-commutativity in the ring of stable homotopy groups of spheres: like any element of odd dimension, the third Hopf map in the stable 7-stem has to satisfy . The class which represents in is non-zero, so it has to be in the image of some differential. In these dimensions, the only possible differential is , which simultaneously proves that the class is not an infinite cycle and thus excludes the existence of a 16-dimensional real division algebra.

Graded-commutativity of the multiplications is only a faint shadow of the -structure on the sphere spectrum. A more detailed investigation reveals that an -structure on a ring spectrum yields {\em power operations}~\cite[Ch.~I]{bruner-may-mcclure-steinberger}, \cite[Sec.~7]{rezk-units}. Various kinds of power operations can be constructed on the homotopy and (generalized) homology groups of the -ring spectrum and on the -term of the Adams spectral sequence. These operations interact in certain ways with the differential, and this interaction is an effective tool for determining such differentials. For example, the operations propagate the first -differential, which proves that the classes for and 3 are the only infinite cycles on the 1-line and excludes the existence of other real division algebras.

{\bf Algebraic -theory.}

Structured ring spectra and algebraic -theory are closely related in many ways, and in both directions. Algebraic -theory started out as the Grothendieck group of finitely generated projective modules over a ring. Quillen introduced the higher algebraic -groups as the homotopy groups of a certain topological space, for which he gave two different constructions (the {\em plus-construction} and the {\em Q-construction}~\cite{quillen-higher K}). Nowadays, algebraic -theory can accept various sorts of categorical data as input, and produces spectra as output (the spaces Quillen constructed are the underlying infinite loop spaces of these -theory spectra). For example, the symmetric monoidal category (under direct sum) of finitely generated projective modules leads to the -theory spectrum of a ring, and the category of finite sets (under disjoint union) produces the sphere spectrum. If the input category has a second symmetric monoidal product which suitably distributes over the `sum', then algebraic -theory produces commutative ring spectra as output.

It was Waldhausen who pioneered the algebraic -theory of structured ring spectra, introduced the {\em algebraic -theory of a topological space } as the algebraic -theory of the {\em spherical group ring} and established close links to geometric topology, see~\cite{waldhausen-K of spaces I}. Waldhausen could deal with such ring spectra, or their modules, in an unstable, less technical fashion before the modern categories of spectra were found: his first definition of the algebraic -theory of a ring spectrum mimics Quillen's plus-construction applied to the classifying space of the infinite general linear group. Similarly, B{\"o}kstedt~\cite{Boek:THH} (in cooperation with Waldhausen) defined {\em topological Hochschild homology} using so-called {\em Functors with Smash Product}, which were only later recognized as the monoids with respect to the smash product of simplicial functors~\cite{lydakis-simplicial}. In any event, a good bit of the development of -ring spectra was motivated by the applications in algebraic -theory.

Later, Waldhausen developed one of the most flexible and powerful -theory machines, the {\em -construction}~\cite{waldhausen-magnum_opus} which starts with a {\em category with cofibrations and weak equivalences} (nowadays often referred to as a {\em Waldhausen category}). Originally, Waldhausen associated to this data a sequential spectrum and indicated~\cite[p.~342]{waldhausen-magnum_opus} how a categorical pairing leads to a smash product pairing on -theory spectra. The -construction can be applied to a category of cofibrant highly structured module spectra. Applying this to Eilenberg-Mac Lane ring spectra gives back Quillen -theory, and applied to spherical group rings of the form gives an interpretation of Waldhausen's .

Hesselholt eventually recognized that the iterated -construction gives -theory as a symmetric spectrum and that it turns good products on the input category into symmetric ring spectra~\cite[Prop.~6.1.1]{hesselholt-geisser-TC schemes}. Elmendorf and Mandell~\cite{elmendorf-mandell} have a different way of rigidifying the algebraic -theory of a bipermutative category into an -symmetric ring spectrum.

{\bf Units of a ring spectrum.}

One of the more subtle generalizations of a classical construction is that of the units of a ring spectrum. The units of a structured ring spectrum form a loop space, and in the presence of enough commutativity (i.e., for - or strictly commutative ring spectra), the units even form an infinite loop space. These observations are due to May and are highly relevant to orientation theory and bordism. A recent application of these techniques is the construction by Ando, Hopkins and Rezk, of -maps from the string-cobordism spectrum to the spectrum of topological modular forms which realize the Witten genus on homotopy groups~\cite[Sec.~6]{hopkins-ICM02} (this refines earlier work of Ando, Hopkins and Strickland on the -orientation of elliptic spectra~\cite{hopkins-ICM94, ando-hopkins-strickland-cube, ando-hopkins-strickland-Hinfty}). The details of this are not yet publicly available, but see~\cite[Sec.~6]{hopkins-ICM02}, \cite{laures-K1 local}, \cite{rezk-units}.

Waldhausen's first definition of algebraic -theory of a ring spectrum is based on Quillen's plus-construction and uses the units of matrix ring spectra. While for a commutative ring in the classical sense, the units are always a direct summand in the first -group, Waldhausen showed that the units of the sphere spectrum do not split off its -theory spectrum, not even on the level of homotopy groups. This phenomenon has been studied systematically by Schlichtkrull~\cite{schlichtkrull-units}, producing non-trivial classes in the -theory of an -ring spectrum from homotopy classes which are not annihilated by the Hopf map .

{\bf Homotopical algebraic geometry.}

In this Arbeitsgemeinschaft, we are trying to convey the idea that the foundations of multiplicative stable homotopy theory are now in good shape, and ready to use. In fact, the machinery allows to `glue' commutative ring spectra into more general algebro-geometric objects, making them the affine pieces of `schemes' or even `stacks'. This area is becoming known as {\em homotopical algebraic geometry}, and one set of foundations has been pioneered by To{\"e}n and Vezzosi in a series of papers~\cite{HAGI, HAGII, HAG2DAG, brave new AG}.

Another promising line of research is to investigate small (e.g., Deligne-Mum\-ford) stacks which come equipped with a flat morphism to the moduli stack of formal groups; one might hope to lift the graded structure sheaf of such a stack to a sheaf of ring spectra and capture a snapshot of stable homotopy theory. In this context, one may think of the generalized algebro-geometric objects as an ordinary scheme or stack, together with a sheaf of -ring spectra, which locally looks like `Spec' of an -ring spectrum. The structure sheaf of the underlying ordinary stack can be recovered by taking of the sheaf of ring spectra. It is essentially by this program that Hopkins and his coworkers produced {\em topological modular forms} (the `universal' version of elliptic cohomology) and the recent work of Lurie shows that these ideas can be extended to almost any situation where the Serre-Tate theorem on deformations applies. Here the flow of information goes both ways: the number theory informs homotopy theoretic calculations, but surprising algebraic phenomena, such as the Borcherds congruence in modular forms, have natural homotopy theoretic explanations~\cite[Thm.~5.10]{hopkins-ICM02}.

While this is a `hot' area in algebraic topology, the organizers decided not to have talks about it in this AG because of the lack of publicly available literature (but see~\cite{bauer-tmf, goerss-moduli stacks, hopkins-ICM94, hopkins-ICM02, HopMah:EO2, laures-K1 local, rezk-math 512}).

{\bf Rigidity theorem.}

After having discussed various models for the stable homotopy category, the last day of the AG will be devoted to its `rigidity' property~\cite{schwede-rigid}; this says that the stable homotopy category admits essentially only one model. More precisely, any model category whose homotopy category is equivalent, as a triangulated category, to the homotopy category of spectra is already {\em Quillen equivalent} to the model category of spectra. Loosely speaking, this says that all higher order homotopy theory is determined by the homotopy category, a property which is very special. Examples of triangulated categories which have inequivalent models are given in~\cite[2.1, 2.2]{schwede-2local} or~\cite[Rem.~6.8]{dugger-shipley} (which is based on~\cite{schlichting-invent}).

In algebra, a `rigidity theorem' for unbounded derived categories of rings is provided by {\em tilting theory}; it is usually stated in the form that if two rings are derived equivalent, then, under a flatness assumption, there is a complex of bimodules~ such that derived tensor product with is an equivalence of triangulated categories~\cite{rickard-derived functors} (a reworking of this result in model category terms, which also removes the flatness assumption, can be found in~\cite[Thm.~4.2]{dugger-shipley}). Rigidity fails for categories of dg-modules over differential graded algebras~\cite[Rem.~6.8]{dugger-shipley}. Incidentally, neither for derived categories of rings nor for the stable homotopy category is it known whether every derived equivalence lifts to a Quillen equivalence, or equivalently, whether there are exotic self-equivalences of these triangulated categories.

Questions about rigidity and exotic models are related to the problem of whether algebraic -theory is an invariant of triangulated categories. Quillen equivalent model categories have equivalent -theory spectra~\cite[Cor.~3.10]{dugger-shipley}, \cite{sagave}, and in special `rigid' situations, the triangulated category determines the model, and thus the algebraic -theory.


\bibitem{adams-generalized} J.~F.~Adams, {\em Stable homotopy and generalised homology.} Chicago Lectures in Mathematics. University of Chicago Press, Chicago, Ill.-London, 1974. x+373 pp.
\bibitem{ando-hopkins-strickland-cube} M.~Ando, M.~Hopkins, N.~Strickland, {\em Elliptic spectra, the Witten genus and the theorem of the cube}. Invent. Math. {\bf 146} (2001), no. 3, 595--687.
\bibitem{ando-hopkins-strickland-Hinfty} M.~Ando, M.~Hopkins, N.~Strickland, {\em The sigma orientation is an map}. Amer.~J. Math. {\bf 126} (2004), no. 2, 247--334.
\bibitem{baker-lazarev} A.~Baker, A.~Lazarev, {\em Topological Hochschild cohomology and generalized Morita equivalence}. Algebr. Geom. Topol. {\bf 4} (2004), 623--645
\bibitem{bauer-tmf} T.~Bauer, {\em Computation of the homotopy of the spectrum }.\\ {\tt math.AT/0311328}
\bibitem{Boek:THH} M.~B\"okstedt, {\em Topological Hochschild homology}, Preprint (1985), Bielefeld.
\bibitem{bruner-may-mcclure-steinberger} R.~Bruner, J.~P.~May, J.~McClure, M.~Steinberger, {\em ring spectra and their applications.} Lecture Notes in Mathematics, 1176. Springer-Verlag, Berlin, 1986. viii+388 pp.
\bibitem{bruner-charts} R.~Bruner, Charts of the cohomology of modules over the mod 2 Steenrod algebra, available from \verb#
\bibitem{day-closed} B.~Day, {\em On closed categories of functors.} 1970 Reports of the Midwest Category Seminar, IV pp. 1--38 Lecture Notes in Mathematics, Vol. 137 Springer, Berlin
\bibitem{dugger-shipley} D.~Dugger, B.~Shipley, {\em -theory and derived equivalences}. Duke Math. J. {\bf 124} (2004), no. 3, 587--617.
\bibitem{DRO I} B.~Dundas, O.~R\"ondigs, P.~A.~{\O}stv{\ae}r, {\em Enriched functors and stable homotopy theory.} Doc. Math. {\bf 8} (2003), 409--488. \bi
bitem{DRO II} B.~Dundas, O.~R\"ondigs, P.~A.~{\O}stv{\ae}r, {\em Motivic functors.} Doc. Math. {\bf 8} (2003), 489--525.
\bibitem{dwyer-greenlees-iyengar} W.~G.~Dwyer, J.~P.~C.~Greenlees, S.~B.~Iyengar, {\em Duality in algebra and topology}. Preprint (2002). \verb# To appear in Advances in Mathematics.
\bibitem{EKMM} A.~D.~Elmendorf, I.~Kriz, M.~A.~Mandell, J.~P.~May, {\em Rings, modules, and algebras in stable homotopy theory. {W}ith an appendix by M.~Cole}, Mathematical Surveys and Monographs, {\bf 47}, American Mathematical Society, Providence, RI, 1997, xii+249 pp.
\bibitem{elmendorf-mandell} A.~D.~Elmendorf, M.~A.~Mandell, {\em Rings, modules, and algebras in infinite loop space theory}, Preprint (2004). {\tt math.KT/0403403}
\bibitem{hesselholt-geisser-TC schemes} T.~Geisser, L.~Hesselholt, {\em Topological cyclic homology of schemes}, Algebraic -theory (Seattle, WA, 1997), 41--87, Proc. Sympos. Pure Math., 67, Amer. Math. Soc., Providence, RI, 1999.
\bibitem{goerss-moduli stacks} P.~Goerss, {\em (Pre-)sheaves of ring spectra over the moduli stack of formal group laws}. Axiomatic, enriched and motivic homotopy theory, 101--131, NATO Sci. Ser. II Math. Phys. Chem., 131, Kluwer Acad. Publ., Dordrecht, 2004.
\bibitem{gunnarsson-monads} T.~Gunnarsson, {\em Algebraic -theory of spaces as -theory of monads}, Preprint, Aarhus University, 1982.
\bibitem{HM:Witt} L.~Hesselholt, I.~Madsen, {\em On the -theory of finite algebras over Witt vectors of perfect fields.} Topology {\bf 36} (1997), 29--101.
\bibitem{hopkins-ICM94} M.~Hopkins, {\em Topological modular forms, the Witten genus, and the theorem of the cube}. Proceedings of the International Congress of Mathematicians, Vol. 1, 2 (Z\"urich, 1994), 554--565, Birkh\"auser, Basel, 1995.
\bibitem{hopkins-ICM02} M.~Hopkins, {\em Algebraic topology and modular forms.} Proceedings of the International Congress of Mathematicians, Vol. I (Beijing, 2002), 291--317, Higher Ed. Press, Beijing, 2002.
\bibitem{HopMah:EO2} M.~Hopkins. M.~Mahowald, {\em From elliptic curves to homotopy theory.} Preprint (1998), \verb#
\bibitem{hovey-book} M.~Hovey, {\em Model categories}, Mathematical Surveys and Monographs, vol.~63, American Mathematical Society, Providence, RI, 1999, xii+209 pp.
\bibitem{HSS} M.~Hovey, B.~Shipley, J.~Smith, {\em Symmetric spectra}, J.\ Amer.\ Math.\ Soc.\ {\bf 13} (2000), 149--208.
\bibitem{Hu} P.~Hu, {\em -modules in the category of schemes}, Mem. Amer. Math. Soc. {\bf 161} (2003), no. 767, viii+125 pp.
\bibitem{jardine-motivic symmetric} J.~F.~Jardine, {\em Motivic symmetric spectra.} Doc. Math. {\bf 5} (2000), 445--553.
\bibitem{laures-K1 local} G.~Laures, {\em -local topological modular forms}. Invent. Math. {\bf 157} (2004), no. 2, 371--403.
\bibitem{Lewis} L.\ G.\ Lewis, Jr., {\em Is there a convenient category of spectra ?} J.\ Pure Appl.\ Algebra {\bf 73} (1991), 233-246.
\bibitem{lydakis-gamma} M.~Lydakis, {\em Smash products and {}-spaces}, Math. Proc. Cambridge Philos. Soc. {\bf 126} (1991), 311--328.
\bibitem{lydakis-simplicial} M.~Lydakis, {\em Simplicial functors and stable homotopy theory}, {P}reprint (1998).\\ {\tt}
\bibitem{mandell-equivariant symmetric} M.~A.~Mandell, {\em Equivariant symmetric spectra}, Homotopy theory: relations with algebraic geometry, group cohomology, and algebraic -theory, 399--452, Contemp. Math., 346, Amer. Math. Soc., Providence, RI, 2004.
\bibitem{mandell-may} M.~A.~Mandell, J.~P.~May, {\em Equivariant orthogonal spectra and -modules}, Mem. Amer. Math. Soc. 159 (2002), no. 755, x+108 pp.
\bibitem{MMSS} M.~A.~Mandell, J.~P.~May, S.~Schwede, B.~Shipley, {\em Model categories of diagram spectra}, Proc.\ London Math.\ Soc. {\bf 82} (2001), 441-512.
\bibitem{may-quinn-ray} J.~P.~May, {\em ring spaces and ring spectra}. With contributions by F.~Quinn, N.~Ray, and J.~Tornehave. Lecture Notes in Mathematics, Vol. 577. Springer-Verlag, Berlin-New York, 1977. 268 pp.
\bibitem{mccleary} J.~McCleary, {\em User's guide to spectral sequences}. Mathematics Lecture Series, 12. Publish or Perish, Inc., Wilmington, DE, 1985. xiv+423 pp
\bibitem{nassau charts} C.~Nassau, Charts for Ext-groups of certain modules over the Steenrod algebra, available from {\tt}
\bibitem{Q} D.~G. Quillen, {\em Homotopical algebra}, Lecture Notes in Mathematics, {\bf 43}, Springer-Verlag, 1967.
\bibitem{quillen-higher K} D.~G. Quillen, {\em Higher algebraic -theory. I}. Algebraic -theory, I: Higher -theories (Proc. Conf., Battelle Memorial Inst., Seattle, Wash., 1972), pp. 85--147. Lecture Notes in Math., Vol. 341, Springer, Berlin 1973.
\bibitem{rezk-math 512} C.~Rezk, {\em Course notes for math 512} (Notes based on a course on topological modular forms). \verb#
\bibitem{rezk-units} C.~Rezk, {\em The units of a ring spectrum and a logarithmic cohomology operation.} Preprint (2004). {\tt math.AT/0407022}
\bibitem{rickard-derived functors} J.~Rickard, {\em Derived equivalences as derived functors}. J.~London Math. Soc. (2) {\bf 43} (1991), no. 1, 37--48.
\bibitem{rognes-Galois} J.~Rognes, {\em Galois extensions of structured ring spectra.} {\tt math.AT/0502183} To appear in Memoirs of the AMS.
\bibitem{sagave} S.~Sagave, {\em On the algebraic -theory of model categories}. J.~Pure Appl. Algebra {\bf 190} (2004), no. 1-3, 329--340.
\bibitem{schlichting-invent} M.~Schlichting, {\em A note on -theory and triangulated categories}. Invent. Math. {\bf 150} (2002), no. 1, 111--116.
\bibitem{schlichtkrull-units} C.~Schlichtkrull, {\em Units of ring spectra and their traces in algebraic -theory}. Geom. Topol. {\bf 8} (2004), 645--673.
\bibitem{SVW} R.~Schw\"anzl, R.~Vogt, F.~Waldhausen: {\em Adjoining roots of unity to ring spectra in good cases --- a remark.} Homotopy invariant algebraic structures (Baltimore, MD, 1998), 245--249, Contemp. Math., 239, Amer. Math. Soc., Providence, RI, 1999.
\bibitem{schwede-2local} S.~Schwede, {\em The stable homotopy category has a unique model at the prime~2.} Adv. Math. {\bf 164} (2001), 24-40
\bibitem{schwede-morita} S.~Schwede, {\em Morita theory in abelian, derived and stable model categories.} Structured ring spectra, 33--86, London Math. Soc. Lecture Note Ser., 315, Cambridge Univ. Press, Cambridge, 2004.
\bibitem{schwede-rigid} S.~Schwede, {\em The stable homotopy category is rigid.} Preprint (2005).\\ \verb#
\bibitem{schwede-shipley-modules} S.~Schwede, B.~Shipley, {\em Stable model categories are categories of modules}. Topology {\bf 42} (2003), no. 1, 103--153.
\bibitem{segal-cat coho} G.~Segal, {\em Categories and cohomology theories}, Topology {\bf 13} (1974), 293--312.
\bibitem{switzer} R.~M.~Switzer, {\em Algebraic topology---homotopy and homology.} Die Grundlehren der mathematischen Wissenschaften, Band 212. Springer-Verlag, New York-Heidelberg, 1975. xii+526 pp.
\bibitem{HAGI} B.~To{\"e}n, G.~Vezzosi, {\em Homotopical Algebraic Geometry I: Topos theory}. Adv.~Math. {\bf 193} (2005), no. 2, 257--372.
\bibitem{HAGII} B.~To{\"e}n, G.~Vezzosi, {\em Homotopical Algebraic Geometry II: geometric stacks and applications}. {\tt math.AG/0404373}
\bibitem{HAG2DAG} B.~To{\"e}n, G.~Vezzosi, {\em From HAG to DAG: derived moduli spaces}. Axiomatic, enriched and motivic homotopy theory, 173--216, NATO Sci. Ser. II Math. Phys. Chem., 131, Kluwer Acad. Publ., Dordrecht, 2004.
\bibitem{brave new AG} B.~To{\"e}n, G.~Vezzosi, {\em "Brave New" Algebraic Geometry and global derived moduli spaces of ring spectra}. {\tt math.AT/0309145}
\bibitem{vogt-aarhus} R.~Vogt, {\em Boardman's stable homotopy category}. Lecture Notes Series, No. 21 Matematisk Institut, Aarhus Universitet, Aarhus 1970 i+246 pp.
\bibitem{waldhausen-K of spaces I} F.~Waldhausen, {\em Algebraic -theory of topological spaces. I}. Algebraic and geometric topology (Proc. Sympos. Pure Math., Stanford Univ., Stanford, Calif., 1976), Part 1, pp. 35--60, Proc. Sympos. Pure Math., XXXII, Amer. Math. Soc., Providence, R.I., 1978.
\bibitem{waldhausen-magnum_opus} F.~Waldhausen, {\em Algebraic -theory of spaces.} Algebraic and geometric topology (New Brunswick, N.J., 1983), 318--419, Lecture Notes in Math., 1126, Springer, Berlin, 1985.