A complete and definitive account of the authors' resolution of the Kervaire invariant problem in stable homotopy theory.

This volume introduces equivariant homotopy, homology, and cohomology theory, along with various related topics in modern algebraic topology. It explains the main ideas behind some of the most striking recent advances in the subject. The works begins with a development of the equivariant algebraic topology of spaces culminating in a discussion of the Sullivan conjecture that emphasizes its relationship with classical Smith theory. The book then introduces equivariant stable homotopy theory, the equivariant stable homotopy category, and the most important examples of equivariant cohomology theories. The basic machinery that is needed to make serious use of equivariant stable homotopy theory is presented next, along with discussions of the Segal conjecture and generalized Tate cohomology. Finally, the book gives an introduction to "brave new algebra", the study of point-set level algebraic structures on spectra and its equivariant applications. Emphasis is placed on equivariant complex cobordism, and related results on that topic are presented in detail.

This book is a foundational piece of work in stable homotopy theory and in the theory of transformation groups. It may be roughly divided into two parts. The first part deals with foundations of (equivariant) stable homotopy theory. A workable category of CW-spectra is developed. The foundations are such that an action of a compact Lie group is considered throughout, and spectra allow desuspension by arbitrary representations. But even if the reader forgets about group actions, he will find many details of the theory worked out for the first time. More subtle constructions like smash products, function spectra, change of group isomorphisms, fixed point and orbit spectra are treated. While it is impossible to survey properly the material which is covered in the book, it does boast these general features: (i) a thorough and reliable presentation of the foundations of the theory; (ii) a large number of basic results, principal applications, and fundamental techniques presented for the first time in a coherent theory, unifying numerous treatments of special cases in the literature.

The beginning graduate student in homotopy theory is confronted with a vast literature on spectra that is scattered across books, articles and decades. There is much folklore but very few easy entry points. This comprehensive introduction to stable homotopy theory changes that. It presents the foundations of the subject together in one place for the first time, from the motivating phenomena to the modern theory, at a level suitable for those with only a first course in algebraic topology. Starting from stable homotopy groups and (co)homology theories, the authors study the most important categories of spectra and the stable homotopy category, before moving on to computational aspects and more advanced topics such as monoidal structures, localisations and chromatic homotopy theory. The appendix containing essential facts on model categories, the numerous examples and the suggestions for further reading make this a friendly introduction to an often daunting subject.

Were I to take an iron gun, And ?re it o? towards the sun; I grant ‘twould reach its mark at last, But not till many years had passed. But should that bullet change its force, And to the planets take its course, ‘Twould never reach the nearest star, Because it is so very far. from FACTS by Lewis Carroll [55] Let me begin by describing the two purposes which prompted me to write this monograph. This is a book about algebraic topology and more especially about homotopy theory. Since the inception of algebraic topology [217] the study of homotopy classes of continuous maps between spheres has enjoyed a very exc- n n tional, central role. As is well known, for homotopy classes of maps f : S ?? S with n? 1 the sole homotopy invariant is the degree, which characterises the homotopy class completely. The search for a continuous map between spheres of di?erent dimensions and not homotopic to the constant map had to wait for its resolution until the remarkable paper of Heinz Hopf [111]. In retrospect, ?nding 3 an example was rather easy because there is a canonical quotient map from S to 3 1 1 2 theorbitspaceofthe freecircleactionS /S =CP = S .

View the abstract.