Homotopy Theory And Its Applications

This book is the result of a conference held to examine developments in homotopy theory in honor of Samuel Gitler in July 1993 (Cocoyoc, Mexico). It includes several research papers and three expository papers on various topics in homotopy theory. The research papers discuss the following: BL application of homotopy theory to group theory BL fiber bundle theory BL homotopy theory The expository papers consider the following topics: BL the Atiyah-Jones conjecture (by C. Boyer) BL classifying spaces of finite groups (by J. Martino) BL instanton moduli spaces (by J. Milgram) Homotopy Theory and Its Applications offers a distinctive account of how homotopy theoretic methods can be applied to a variety of interesting problems.

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.

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.

The most important invariant of a topological space is its fundamental group. When this is trivial, the resulting homotopy theory is well researched and familiar. In the general case, however, homotopy theory over nontrivial fundamental groups is much more problematic and far less well understood. Syzygies and Homotopy Theory explores the problem of nonsimply connected homotopy in the first nontrivial cases and presents, for the first time, a systematic rehabilitation of Hilbert's method of syzygies in the context of non-simply connected homotopy theory. The first part of the book is theoretical, formulated to allow a general finitely presented group as a fundamental group. The innovation here is to regard syzygies as stable modules rather than minimal modules. Inevitably this forces a reconsideration of the problems of noncancellation; these are confronted in the second, practical, part of the book. In particular, the second part of the book considers how the theory works out in detail for the specific examples Fn ́F where Fn is a free group of rank n and F is finite. Another innovation is to parametrize the first syzygy in terms of the more familiar class of stably free modules. Furthermore, detailed description of these stably free modules is effected by a suitable modification of the method of Milnor squares. The theory developed within this book has potential applications in various branches of algebra, including homological algebra, ring theory and K-theory. Syzygies and Homotopy Theory will be of interest to researchers and also to graduate students with a background in algebra and algebraic topology.

Category theory provides structure for the mathematical world and is seen everywhere in modern mathematics. With this book, the author bridges the gap between pure category theory and its numerous applications in homotopy theory, providing the necessary background information to make the subject accessible to graduate students or researchers with a background in algebraic topology and algebra. The reader is first introduced to category theory, starting with basic definitions and concepts before progressing to more advanced themes. Concrete examples and exercises illustrate the topics, ranging from colimits to constructions such as the Day convolution product. Part II covers important applications of category theory, giving a thorough introduction to simplicial objects including an account of quasi-categories and Segal sets. Diagram categories play a central role throughout the book, giving rise to models of iterated loop spaces, and feature prominently in functor homology and homology of small categories.

Homotopy Theory: An Introduction to Algebraic Topology

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.

Cohomology operations are at the center of a major area of activity in algebraic topology. This treatment explores the single most important variety of operations, the Steenrod squares. It constructs these operations, proves their major properties, and provides numerous applications, including several different techniques of homotopy theory useful for computation. 1968 edition.

This is the second part of a series of papers called "HAG", devoted to developing the foundations of homotopical algebraic geometry. The authors start by defining and studying generalizations of standard notions of linear algebra in an abstract monoidal model category, such as derivations, étale and smooth morphisms, flat and projective modules, etc. They then use their theory of stacks over model categories to define a general notion of geometric stack over a base symmetric monoidal model category $C$, and prove that this notion satisfies the expected properties.

The Grothendieck–Teichmüller group was defined by Drinfeld in quantum group theory with insights coming from the Grothendieck program in Galois theory. The ultimate goal of this book is to explain that this group has a topological interpretation as a group of homotopy automorphisms associated to the operad of little 2-discs, which is an object used to model commutative homotopy structures in topology. This volume gives a comprehensive survey on the algebraic aspects of this subject. The book explains the definition of an operad in a general context, reviews the definition of the little discs operads, and explains the definition of the Grothendieck–Teichmüller group from the viewpoint of the theory of operads. In the course of this study, the relationship between the little discs operads and the definition of universal operations associated to braided monoidal category structures is explained. Also provided is a comprehensive and self-contained survey of the applications of Hopf algebras to the definition of a rationalization process, the Malcev completion, for groups and groupoids. Most definitions are carefully reviewed in the book; it requires minimal prerequisites to be accessible to a broad readership of graduate students and researchers interested in the applications of operads.