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.

Algebraic K-theory encodes important invariants for several mathematical disciplines, spanning from geometric topology and functional analysis to number theory and algebraic geometry. As is commonly encountered, this powerful mathematical object is very hard to calculate. Apart from Quillen's calculations of finite fields and Suslin's calculation of algebraically closed fields, few complete calculations were available before the discovery of homological invariants offered by motivic cohomology and topological cyclic homology. This book covers the connection between algebraic K-theory and Bökstedt, Hsiang and Madsen's topological cyclic homology and proves that the difference between the theories are ‘locally constant’. The usefulness of this theorem stems from being more accessible for calculations than K-theory, and hence a single calculation of K-theory can be used with homological calculations to obtain a host of ‘nearby’ calculations in K-theory. For instance, Quillen's calculation of the K-theory of finite fields gives rise to Hesselholt and Madsen's calculations for local fields, and Voevodsky's calculations for the integers give insight into the diffeomorphisms of manifolds. In addition to the proof of the full integral version of the local correspondence between K-theory and topological cyclic homology, the book provides an introduction to the necessary background in algebraic K-theory and highly structured homotopy theory; collecting all necessary tools into one common framework. It relies on simplicial techniques, and contains an appendix summarizing the methods widely used in the field. The book is intended for graduate students and scientists interested in algebraic K-theory, and presupposes a basic knowledge of algebraic topology.

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.

This volume originated in the workshop held at Nagoya University, August 28–30, 2015, focusing on the surprising and mysterious Ohkawa's theorem: the Bousfield classes in the stable homotopy category SH form a set. An inspiring, extensive mathematical story can be narrated starting with Ohkawa's theorem, evolving naturally with a chain of motivational questions: Ohkawa's theorem states that the Bousfield classes of the stable homotopy category SH surprisingly forms a set, which is still very mysterious. Are there any toy models where analogous Bousfield classes form a set with a clear meaning? The fundamental theorem of Hopkins, Neeman, Thomason, and others states that the analogue of the Bousfield classes in the derived category of quasi-coherent sheaves Dqc(X) form a set with a clear algebro-geometric description. However, Hopkins was actually motivated not by Ohkawa's theorem but by his own theorem with Smith in the triangulated subcategory SHc, consisting of compact objects in SH. Now the following questions naturally occur: (1) Having theorems of Ohkawa and Hopkins-Smith in SH, are there analogues for the Morel-Voevodsky A1-stable homotopy category SH(k), which subsumes SH when k is a subfield of C?, (2) Was it not natural for Hopkins to have considered Dqc(X)c instead of Dqc(X)? However, whereas there is a conceptually simple algebro-geometrical interpretation Dqc(X)c = Dperf(X), it is its close relative Dbcoh(X) that traditionally, ever since Oka and Cartan, has been intensively studied because of its rich geometric and physical information. This book contains developments for the rest of the story and much more, including the chromatics homotopy theory, which the Hopkins–Smith theorem is based upon, and applications of Lurie's higher algebra, all by distinguished contributors.

The author introduces the notion of a Galois extension of commutative $S$-algebras ($E_\infty$ ring spectra), often localized with respect to a fixed homology theory. There are numerous examples, including some involving Eilenberg-Mac Lane spectra of commutative rings, real and complex topological $K$-theory, Lubin-Tate spectra and cochain $S$-algebras. He establishes the main theorem of Galois theory in this generality. Its proof involves the notions of separable and etale extensions of commutative $S$-algebras, and the Goerss-Hopkins-Miller theory for $E_\infty$ mapping spaces. He shows that the global sphere spectrum $S$ is separably closed, using Minkowski's discriminant theorem, and he estimates the separable closure of its localization with respect to each of the Morava $K$-theories. He also defines Hopf-Galois extensions of commutative $S$-algebras and studies the complex cobordism spectrum $MU$ as a common integral model for all of the local Lubin-Tate Galois extensions. The author extends the duality theory for topological groups from the classical theory for compact Lie groups, via the topological study by J. R. Klein and the $p$-complete study for $p$-compact groups by T. Bauer, to a general duality theory for stably dualizable groups in the $E$-local stable homotopy category, for any spectrum $E$.

Algebraic topology is a basic part of modern mathematics, and some knowledge of this area is indispensable for any advanced work relating to geometry, including topology itself, differential geometry, algebraic geometry, and Lie groups. This book provides a detailed treatment of algebraic topology both for teachers of the subject and for advanced graduate students in mathematics either specializing in this area or continuing on to other fields. J. Peter May's approach reflects the enormous internal developments within algebraic topology over the past several decades, most of which are largely unknown to mathematicians in other fields. But he also retains the classical presentations of various topics where appropriate. Most chapters end with problems that further explore and refine the concepts presented. The final four chapters provide sketches of substantial areas of algebraic topology that are normally omitted from introductory texts, and the book concludes with a list of suggested readings for those interested in delving further into the field.

Delivers a broad, conceptual introduction to chromatic homotopy theory, focusing on contact with arithmetic and algebraic geometry.

The seminal ‘MIT notes’ of Dennis Sullivan were issued in June 1970 and were widely circulated at the time. The notes had a - jor in?uence on the development of both algebraic and geometric topology, pioneering the localization and completion of spaces in homotopy theory, including p-local, pro?nite and rational homotopy theory, le- ing to the solution of the Adams conjecture on the relationship between vector bundles and spherical ?brations, the formulation of the ‘Sullivan conjecture’ on the contractibility of the space of maps from the classifying space of a ?nite group to a ?nite dimensional CW complex, theactionoftheGalois groupoverQofthealgebraicclosureQof Q on smooth manifold structures in pro?nite homotopy theory, the K-theory orientation ofPL manifolds and bundles. Some of this material has been already published by Sullivan him- 1 self: in an article in the Proceedings of the 1970 Nice ICM, and in the 1974 Annals of Mathematics papers Genetics of homotopy theory and the Adams conjecture and The transversality character- 2 istic class and linking cycles in surgery theory . Many of the ideas originating in the notes have been the starting point of subsequent 1 reprinted at the end of this volume 2 joint with John Morgan vii viii 3 developments . However, the text itself retains a unique ?avour of its time, and of the range of Sullivan’s ideas.

This completely revised and corrected version of the well-known Florence notes circulated by the authors together with E. Friedlander examines basic topology, emphasizing homotopy theory. Included is a discussion of Postnikov towers and rational homotopy theory. This is then followed by an in-depth look at differential forms and de Tham’s theorem on simplicial complexes. In addition, Sullivan’s results on computing the rational homotopy type from forms is presented. New to the Second Edition: *Fully-revised appendices including an expanded discussion of the Hirsch lemma *Presentation of a natural proof of a Serre spectral sequence result *Updated content throughout the book, reflecting advances in the area of homotopy theory With its modern approach and timely revisions, this second edition of Rational Homotopy Theory and Differential Forms will be a valuable resource for graduate students and researchers in algebraic topology, differential forms, and homotopy theory.