Equivariant homotopy theory started from geometrically motivated questions about symmetries of manifolds. Several important equivariant phenomena occur not just for a particular group, but in a uniform way for all groups. Prominent examples include stable homotopy, K-theory or bordism. Global equivariant homotopy theory studies such uniform phenomena, i.e. universal symmetries encoded by simultaneous and compatible actions of all compact Lie groups. This book introduces graduate students and researchers to global equivariant homotopy theory. The framework is based on the new notion of global equivalences for orthogonal spectra, a much finer notion of equivalence than is traditionally considered. The treatment is largely self-contained and contains many examples, making it suitable as a textbook for an advanced graduate class. At the same time, the book is a comprehensive research monograph with detailed calculations that reveal the intrinsic beauty of global equivariant phenomena.

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

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.

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.

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