Homotopy Theory

This is a book in pure mathematics dealing with homotopy theory, one of the main branches of algebraic topology. The principal topics are as follows: Basic Homotopy; H-spaces and co-H-spaces; fibrations and cofibrations; exact sequences of homotopy sets, actions, and coactions; homotopy pushouts and pullbacks; classical theorems, including those of Serre, Hurewicz, Blakers-Massey, and Whitehead; homotopy Sets; homotopy and homology decompositions of spaces and maps; and obstruction theory. The underlying theme of the entire book is the Eckmann-Hilton duality theory. The book can be used as a text for the second semester of an advanced ungraduate or graduate algebraic topology course.

As the title suggests, this book is concerned with the elementary portion of the subject of homotopy theory. It is assumed that the reader is familiar with the fundamental group and with singular homology theory, including the Universal Coefficient and Kiinneth Theorems. Some acquaintance with manifolds and Poincare duality is desirable, but not essential. Anyone who has taught a course in algebraic topology is familiar with the fact that a formidable amount of technical machinery must be introduced and mastered before the simplest applications can be made. This phenomenon is also observable in the more advanced parts of the subject. I have attempted to short-circuit it by making maximal use of elementary methods. This approach entails a leisurely exposition in which brevity and perhaps elegance are sacrificed in favor of concreteness and ease of application. It is my hope that this approach will make homotopy theory accessible to workers in a wide range of other subjects-subjects in which its impact is beginning to be felt. It is a consequence of this approach that the order of development is to a certain extent historical. Indeed, if the order in which the results presented here does not strictly correspond to that in which they were discovered, it nevertheless does correspond to an order in which they might have been discovered had those of us who were working in the area been a little more perspicacious.

Rational homotopy theory is a subfield of algebraic topology. Written by three authorities in the field, this book contains all the main theorems of the field with complete proofs. As both notation and techniques of rational homotopy theory have been considerably simplified, the book presents modern elementary proofs for many results that were proven ten or fifteen years ago.

Since the beginning of the modern era of algebraic topology, simplicial methods have been used systematically and effectively for both computation and basic theory. With the development of Quillen's concept of a closed model category and, in particular, a simplicial model category, this collection of methods has become the primary way to describe non-abelian homological algebra and to address homotopy-theoretical issues in a variety of fields, including algebraic K-theory. This book supplies a modern exposition of these ideas, emphasizing model category theoretical techniques. Discussed here are the homotopy theory of simplicial sets, and other basic topics such as simplicial groups, Postnikov towers, and bisimplicial sets. The more advanced material includes homotopy limits and colimits, localization with respect to a map and with respect to a homology theory, cosimplicial spaces, and homotopy coherence. Interspersed throughout are many results and ideas well-known to experts, but uncollected in the literature. Intended for second-year graduate students and beyond, this book introduces many of the basic tools of modern homotopy theory. An extensive background in topology is not assumed.

Bridge the gap between category theory and its applications in homotopy theory with this guide for graduate students and researchers.

The core of classical homotopy theory is a body of ideas and theorems that emerged in the 1950s and was later largely codified in the notion of a model category. This core includes the notions of fibration and cofibration; CW complexes; long fiber and cofiber sequences; loop spaces and suspensions; and so on. Brown's representability theorems show that homology and cohomology are also contained in classical homotopy theory. This text develops classical homotopy theory from a modern point of view, meaning that the exposition is informed by the theory of model categories and that homotopy limits and colimits play central roles. The exposition is guided by the principle that it is generally preferable to prove topological results using topology (rather than algebra). The language and basic theory of homotopy limits and colimits make it possible to penetrate deep into the subject with just the rudiments of algebra. The text does reach advanced territory, including the Steenrod algebra, Bott periodicity, localization, the Exponent Theorem of Cohen, Moore, and Neisendorfer, and Miller's Theorem on the Sullivan Conjecture. Thus the reader is given the tools needed to understand and participate in research at (part of) the current frontier of homotopy theory. Proofs are not provided outright. Rather, they are presented in the form of directed problem sets. To the expert, these read as terse proofs; to novices they are challenges that draw them in and help them to thoroughly understand the arguments.

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.