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 gives a clear introductory account of equivariant cohomology, a central topic in algebraic topology. Equivariant cohomology is concerned with the algebraic topology of spaces with a group action, or in other words, with symmetries of spaces. First defined in the 1950s, it has been introduced into K-theory and algebraic geometry, but it is in algebraic topology that the concepts are the most transparent and the proofs are the simplest. One of the most useful applications of equivariant cohomology is the equivariant localization theorem of Atiyah-Bott and Berline-Vergne, which converts the integral of an equivariant differential form into a finite sum over the fixed point set of the group action, providing a powerful tool for computing integrals over a manifold. Because integrals and symmetries are ubiquitous, equivariant cohomology has found applications in diverse areas of mathematics and physics. Assuming readers have taken one semester of manifold theory and a year of algebraic topology, Loring Tu begins with the topological construction of equivariant cohomology, then develops the theory for smooth manifolds with the aid of differential forms. To keep the exposition simple, the equivariant localization theorem is proven only for a circle action. An appendix gives a proof of the equivariant de Rham theorem, demonstrating that equivariant cohomology can be computed using equivariant differential forms. Examples and calculations illustrate new concepts. Exercises include hints or solutions, making this book suitable for self-study.

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.

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

A comprehensive, self-contained approach to global equivariant homotopy theory, with many detailed examples and sample calculations.

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 book 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. It then introduces equivariant stable homotopy theory, the equivariant stable homotopy category, and the most important examples of equivariant cohomology theories. T.

Nilpotence and Periodicity in Stable Homotopy Theory describes some major advances made in algebraic topology in recent years, centering on the nilpotence and periodicity theorems, which were conjectured by the author in 1977 and proved by Devinatz, Hopkins, and Smith in 1985. During the last ten years a number of significant advances have been made in homotopy theory, and this book fills a real need for an up-to-date text on that topic. Ravenel's first few chapters are written with a general mathematical audience in mind. They survey both the ideas that lead up to the theorems and their applications to homotopy theory. The book begins with some elementary concepts of homotopy theory that are needed to state the problem. This includes such notions as homotopy, homotopy equivalence, CW-complex, and suspension. Next the machinery of complex cobordism, Morava K-theory, and formal group laws in characteristic p are introduced. The latter portion of the book provides specialists with a coherent and rigorous account of the proofs. It includes hitherto unpublished material on the smash product and chromatic convergence theorems and on modular representations of the symmetric group.

Since the publication of its first edition, this book has served as one of the few available on the classical Adams spectral sequence, and is the best account on the Adams-Novikov spectral sequence. This new edition has been updated in many places, especially the final chapter, which has been completely rewritten with an eye toward future research in the field. It remains the definitive reference on the stable homotopy groups of spheres. The first three chapters introduce the homotopy groups of spheres and take the reader from the classical results in the field though the computational aspects of the classical Adams spectral sequence and its modifications, which are the main tools topologists have to investigate the homotopy groups of spheres. Nowadays, the most efficient tools are the Brown-Peterson theory, the Adams-Novikov spectral sequence, and the chromatic spectral sequence, a device for analyzing the global structure of the stable homotopy groups of spheres and relating them to the cohomology of the Morava stabilizer groups. These topics are described in detail in Chapters 4 to 6. The revamped Chapter 7 is the computational payoff of the book, yielding a lot of information about the stable homotopy group of spheres. Appendices follow, giving self-contained accounts of the theory of formal group laws and the homological algebra associated with Hopf algebras and Hopf algebroids. The book is intended for anyone wishing to study computational stable homotopy theory. It is accessible to graduate students with a knowledge of algebraic topology and recommended to anyone wishing to venture into the frontiers of the subject.

Let [italic capital]G be a compact Lie group, [italic capitals]EG a contractible free [italic capital]G-space and let [italic capitals]E~G be the unreduced suspension of [italic capitals]EG with one of the cone points as basepoint. Let [italic]k*[over][subscript italic capital]G be a [italic capital]G-spectrum. Let [italic capital]X+ denote the disjoint union of [italic capital]X and a [italic capital]G-fixed basepoint. Define the [italic capital]G-spectra [italic]f([italic]k*[over][subscript italic capital]G) = [italic]k*[over][subscript italic capital]G [up arrowhead symbol] [italic capitals]EG+, [italic]c([italic]k*[over][subscript italic capital]G) = [italic capital]F([italic capitals]EG+,[italic]k*[over][subscript italic capital]G), and [italic]t([italic]k[subscript italic capital]G)* = [italic capital]F([italic capitals]EG+,[italic]k*[over][subscript italic capital]G) [up arrowhead symbol] [italic capitals]E~G. The last of these is the [italic capital]G-spectrum representing the generalized Tate homology and cohomology theories associated to [italic]k[subscript italic capital]G. Here [italic capital]F([italic capitals]EG+,[italic]k*[over][subscript italic capital]G) is the function space spectrum. The authors develop the properties of these theories, illustrating the manner in which they generalize the classical Tate-Swan theories.

This book develops abstract homotopy theory from the categorical perspective with a particular focus on examples. Part I discusses two competing perspectives by which one typically first encounters homotopy (co)limits: either as derived functors definable when the appropriate diagram categories admit a compatible model structure, or through particular formulae that give the right notion in certain examples. Emily Riehl unifies these seemingly rival perspectives and demonstrates that model structures on diagram categories are irrelevant. Homotopy (co)limits are explained to be a special case of weighted (co)limits, a foundational topic in enriched category theory. In Part II, Riehl further examines this topic, separating categorical arguments from homotopical ones. Part III treats the most ubiquitous axiomatic framework for homotopy theory - Quillen's model categories. Here, Riehl simplifies familiar model categorical lemmas and definitions by focusing on weak factorization systems. Part IV introduces quasi-categories and homotopy coherence.