Download citation introduction to homotopy theory 1 basic homotopy. To be sure, the books appendices include material on these. For our purposes the \homotopy theory associated to c is the homotopy category hoc together with various related constructions x10. Jan 18, 2014 cannon and conner developed the theory of big fundamental groups. Presupposing a knowledge of the fundamental group and of algebraic topology as far as singular theory, it is designed. A slightly edited version of chapter 16 is available as a pdf here. Homotopy theory is the study of continuous maps between topological spaces up to homotopy. Algebraic methods in unstable homotopy theory this is a comprehensive uptodate treatment of unstable homotopy. This is useful in the case that a space xcan be \continuously contracted onto a subspace a.
Algebraic homotopy cambridge studies in advanced mathematics. In homotopy theory as well as algebraic topology, one typically does not work with an arbitrary topological space to avoid pathologies in pointset topology. The notation tht 1 2 is very similar to a notation for homotopy. In this section we will make precise what it means to do homotopy theory. Furthermore, the homomorphism induced in reduced homology by the inclusion xr. For a gentle introduction to ncategories and the homotopy hypothesis, try these. This is meant to expand on the notion of fundamental group and is a powerful tool that can be. Instead, a rather intricate blend of model theory and classical homotopy theory is required. In mathematical logic and computer science, homotopy type theory hott h. In mathematics, stable homotopy theory is that part of homotopy theory and thus algebraic topology concerned with all structure and phenomena that remain after sufficiently many applications of the suspension functor. An introduction to stable homotopy theory \abelian groups up to homotopy spectra generalized cohomology theories examples. Thus, we can now illustrate the di erences between the pointed and the free case. Chief among these are the homotopy groups of spaces, specifically those of spheres.
John baez and james dolan, higherdimensional algebra and topological quantum field theory. This selfcontained book takes a visual and rigorous approach that incorporates both extensive illustrations and full proofs. In contrast to previously encountered situations, model theoretic techniques are intrinsically insu. Introduction to homotopy theory universitext pdf free download. Then the stable homotopy theory of augmented commutative simplicial balgebras is equivalent to the homotopy theory of modules over a certain gammaring db. The course offers an introduction to algebraic topology centered around the theory of higher homotopy groups of a topological space. Arguments above show how self homotopy equivalences of eilenbergmaclane spaces reduce to group theory. The computational power of rational homotopy theory is due to the discovery by quillen 5 and by sullivan 144 of an explicit algebraic formulation. John baez and michael shulman, lectures on ncategories and cohomology. Thus the inclusion map of a subcomplex into a cw complex is a cofiber map. The interaction of category theory and homotopy theory a revised version of the 2001 article timothy porter february 12, 2010 abstract this article is an expanded version of notes for a series of lectures given at the corso estivo categorie e topologia organised by the gruppo nazionale di topologia del m.
Introduction to homotopy theory universitext 2011, arkowitz. A homotopy theory for set theory, i misha gavrilovich and assaf hasson abstract. The focus is on those methods from algebraic topology which are needed in the presentation of results, proven by cohen, moore, and the author, on the exponents of homotopy groups. Introduction to homotopy theory universitext kindle edition by arkowitz, martin. The homotopy extensions and lifting property establishes an important relation between cofibrations and serre fibrations this is the motivation for one of quillens axioms for homotopipcal algebra, axioms which play a dominant role in much of modern algebraic topology. Introduction to higher homotopy groups and obstruction theory. For our purposes the \ homotopy theory associated to c is the homotopy category hoc together with various related constructions x10.
A x is equivalent to the homotopy extension property of the pair x,a. It is the simplest category satisfying our conventions and modelling the notions of. Introduction this overview of rational homotopy theory consists of an extended version of. The goal is to introduce homotopy groups and their uses, and at the same time to prepare a bit for the. Equivariant stable homotopy theory 5 isotropy groups and universal spaces. In each case the rational homotopy type of a topological space is the same as the isomorphism class of its algebraic model and the rational homotopy type of a continuous map is the same as the.
Introduction to unstable homotopy theory 5 neisendorfer also introduced a homotopy bockstein spectral sequence to study the order of torsion elements in the classical homotopy groups. These groups offer more information than the homology or cohomology groups with which some students may be familiar, but are much harder to calculate. For example, one of the classical problems in the study of the group of pointed self homotopy. They form the rst four chapters of a book on simplicial homotopy theory, which we are currently preparing. Use features like bookmarks, note taking and highlighting while reading introduction to homotopy theory universitext. Download it once and read it on your kindle device, pc, phones or tablets. Introduction to homotopy theory is presented in nine chapters, taking the reader from basic homotopy to obstruction theory with a lot of marvelous material in between. This is a book in pure mathematics dealing with homotopy theory, one of the main. This survey provides an elementary introduction to operads and to their applications in homotopical algebra. The material in the present chapter 2 will be moved elsewhere.
This homotopy theory is based on a family of natural cylinders and generalizes baues homotopy theory for. This is a cwcomplex with one cell in each dimension congruent to 0 or 1 mod2p 2. The underlying theme of the entire book is the eckmannhilton duality theory. Homotopy theory is an important subfield of algebraic topology. Instead, one assumes a space is a reasonable space. It is mainly concerned with the properties and structures of spaces which are invariant under homotopy. A pdf of the book is available from the above link. We show that the defining property of a cofiber inclusion map i. This is meant to expand on the notion of fundamental group and is a powerful tool that can be used for distinguishing spaces. The generalizationof the rational result 36, theorem 3. The principal due to covid19, orders may be delayed. The notation catht 1,t 2 or t ht 1 2 denotes the homotopy theory of functors from the. The main reference for this theory is the ams memoir 16 by mandell and may. Notes for a secondyear graduate course in advanced topology at mit, designed to introduce the student to some of the important concepts of homotopy theory.
These notes contain a brief introduction to rational homotopy theory. Homotopy equivalence of spaces is introduced and studied, as a coarser concept than that of homeomorphism. Formally, a homotopy between two continuous functions f and g from a topological space x to a topological space y is defined to be a continuous function. Nonabelian algebraic topology in problems in homotopy theory.
Abstract homotopy theory michael shulman march 6, 2012 152 homotopy theory switching gears today will be almost all classical mathematics, in set theory or whatever foundation you prefer. These notes were used by the second author in a course on simplicial homotopy theory given at the crm in february 2008 in preparation for the advanced courses on simplicial methods in higher categories that followed. In m0 i introduced a homotopy model structure applicable in combinatorial settings, such as simplicial complexes, small categories, directed graphs, global actions and. In mathematics, homotopy theory is a systematic study of situations in which maps come with homotopies between them. Arkowitz introduction to homotopy theory is presumably aimed at an audience of graduate students who have already been exposed to the basics of algebraic topology, viz. What appears here as appendix a on quillen model structures will, in fact, form a new chapter 2. In the accompanying seminar we consider applications to cobordism theory and complex oriented cohomology such as to converge in. Higher homotopy groups, weak homotopy equivalence, cw complex. This book consists of notes for a second year graduate course in advanced topology given by professor whitehead at m. Naively, one might imagine this hypothesis allows us to reduce the problem of computing homotopy groups to a purely algebraic problem. Rational homotopy theory 3 it is clear that for all r, sn r is a strong deformation retract of xr, which implies that hkxr 0 if k 6 0,n. An introduction to stable homotopy theory abelian groups up to homotopy spectra generalized cohomology theories examples. Let be a category and let sf be the category of sets and set maps. Contents motivation chromatic stable homotopy theory.
Algebraic methods in unstable homotopy theory this is a comprehensive up to date treatment of unstable homotopy. The root invariant in homotopy theory 869 bc, the classifying space of the symmetric group on p letters, localized at p. The homotopy hypothesis crudely speaking, the homotopy hypothesis says that ngroupoids are the same as homotopy ntypes nice spaces whose homotopy groups above the nth vanish for every basepoint. A gentle introduction to homology, cohomology, and sheaf. Cannon and conner developed the theory of big fundamental groups.
Pdf an illustrated introduction to topology and homotopy. The space xis homotopy equivalent to the product of eilenbergmac lane spaces q n k. Introduction to homotopy theory edition 1 by martin. Motivation chromatic homotopy theory approaches the computations of. Exact sequences, chain complexes, homology, cohomology 9 in the following sections we give a brief description of the topics that we are going to discuss in this book, and we try to provide motivations for the introduction of the concepts and tools involved. Arkowitz book is a valuable text and promises to figure prominently in the education of many young topologists. It originated as a topic in algebraic topology but nowadays it is studied as an independent discipline. Slogan homotopy theoryis the study of 1categories whose objects are not just setlike but contain paths and higher paths. Element ar y homo t opy theor y homotop y theory, which is the main part of algebraic topology, studies topological objects up to homotop y equi valence. The book could also be used by anyone with a little background in topology who wishes to learn some homotopy theory. To that end we introduce the modern tools, such as model categories and highly structured ring spectra. We try to show how universal this theory is by giving many applications in algebra, geometry, topology, and mathematical physics.
Further on, the elements of homotopy theory are presented. Axioms for homotopy theory and examples of cofibration categories xi xiii xvi. Introduction to homotopy theory martin arkowitz springer. This entry is a detailed introduction to stable homotopy theory, hence to the stable homotopy category and to its key computational tool, the adams spectral sequence. Introduction to combinatorial homotopy theory francis sergeraert ictp map summer school august 2008 1 introduction. The homotopy hypothesis generalizing to weak ngroupoids.
Sections 7 and 8 describe in detail two basic examples of model categories, namely the category top of topological spaces and the category ch rof nonnegative chain. Experience has shown that many differentials in the ehp spectral sequence in fact have. The notions of cofibration and fibration are central to homotopy theory. This is a book in pure mathematics dealing with homotopy theory, one of the. Keywords eilenbergmac lane and moore spaces hspaces and cohspaces fiber and cofiber spaces homotopy homotopy and homology decompositions homotopy groups loops and suspensions obstruction theory pushouts and pull backs. Relative homotopy groups, homotopy fiber, long exact sequence in homotopy, whitehead theorem. Spectral algebra given the good categories of spectra with. Introduction to stable homotopy theory dylan wilson we say that a phenomenon is \stable if it can occur in any dimension, or in any su ciently large dimension, and if it occurs in essentially the same way independent of dimension, provided, perhaps, that the dimension is su ciently large. An illustrated introduction to topology and homotopy explores the beauty of topology and homotopy theory in a direct and engaging manner while illustrating the power of the theory through many, often surprising, applications. We construct a model category in the sense of quillen for set theory, starting from two arbitrary, but natural, conventions. Introduction to homotopy theory mathematical association.
The second author apologizes for the resulting organizational and nota. Brown, some problems in nonabelian homotopical and homological algebra, homotopy theory and related topics, proceedings kinosaki, 1988, ed. Homotopycalculus 1 homotopy calculus tuesday, march. Grothendiecks problem homotopy type theory synthetic 1groupoids category theory the homotopy hypothesis. Arkowitz introduction to homotopy theory is presumably aimed at an audience of graduate students who have already been exposed to the basics of algebraic topology. The aim is to explain how the notion of an operad was prompted by the necessity to have an algebraic object which encodes higher homotopies.
Homotop y equi valence is a weak er relation than topological equi valence, i. This approach provides a unifying motif, clarifies many concepts, and reduces the amount. The goal is to introduce homotopy groups and their uses, and at the same time to prepare a. In particular, the mappings of the circle into itself are analyzed introducing the important concept of degree. Introduction to higher homotopy groups and obstruction theory michael hutchings february 17, 2011 abstract these are some notes to accompany the beginning of a secondsemester algebraic topology course. This is a book in pure mathematics dealing with homotopy theory, one of the main branches of algebraic topology. Besides algebraic topology, the theory has also been in used in other areas of mathematics such as algebraic geometry e.
1404 737 307 61 1297 180 728 473 1084 1416 1496 811 83 1454 1347 1016 956 783 820 1049 1297 1507 347 1325 510 1157 880 1059 879 394 305 482 277 1263 763 11 693 487 319 696 54 753 264 1177 25