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. Jan 07, 2020 for instance, from a brief browse through the. The links below are to pdf files for my lecture notes for a course on local homotopy theory. On cellularization for simplicial presheaves and motivic. May 14, 2020 discussed here are the homotopy theory of simplicial sets, and other basic topics such as simplicial groups, postnikov towers, and bisimplicial sets. Since the beginning of the modern era of algebraic topology, simplicial. A simplicial set is a combinatorial model of a topological space formed by gluing simplices together along their faces. They form the rst four chapters of a book on simplicial homotopy theory, which we are currently preparing. The notes contained in this booklet were printed directly from files supplied by the authors before the course. 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. I have added a bit to the ideas section of simplicial homotopy theory so it now reads. The links below are to pdf files, which comprise my lecture notes for a first course.
Homotopy theory of schemes and a fundamental groups algant. Simplicial categories play an important role also in higher category theory. Simplicial sets have fundamental applications throughout mathematics, whenever homotopy theory plays a role. The links below are to pdf files, which comprise the lecture notes for a course on homotopy theory. As an example, lets work with spaces and consider the functor e. In the first part section 1 we describe the main features of the homotopy theory of simplicial sheaves on a site. Kozlov, discrete morse theory for free chain complexes 2005 e. Homotopy type theory univalence higher inductive types the fundamental group of the circle set theory category theory topos homotopy type theory collaborative e ort lead by awodey, coquand, voevodsky at institute for advanced study book, library of formal proofs coq, agda.
If your institution has the right kind of springerlink subscription as does western, you can download a pdf file for the book free of charge from the springerlink site, for example at this link. The origin of simplicial homotopy theory coincides with the beginning of alge. Bergner established a model structure on the category scat of simplicial categories and simplicial functors 1. P is homotopy equivalent to the union of balls of radius. Oct 20, 2012 recent discoveries have been made connecting abstract homotopy theory and the field of type theory from logic and theoretical computer science. The homotopy theory of simplicial sets in this chapter we introduce simplicial sets and study their basic homotopy theory.
C simply as a simplicial object in the category of presheaves of sets on c. Friedlander received 5 october 1985 revised january 1986 istroduction the central organizational theorem of simplicial homotopy theory asserts that the. Franc es, determining whether a simplicial 3complex collapses to a 1complex is npcomplete 2008 b. While the theory of identity types was originally intended to internalize the notion of equality in type theory, and thereby enableing one to prove equality of two terms by inhabiting the corresponding identity types, it has become apparent in the last decade that it provides a setting for doing formal homotopy. Peter may gives a lucid account of the basic homotopy theory of simplicial sets, together. Aran komatsuzaki introduction to simplicial homotopy theory may 6th, 2016 4 32. Simplicial sets have the same homotopy theory as topological spaces in a. Since the 1980s we have had a notion of categorical model for dependent type theory. Enriched functors and enriched natural transformations 34 3. The main components of the theory are the local homotopy theories of simplicial presheaves and simplicial sheaves, local stable homotopy theories, derived. Local homotopy theory department of mathematics faculty. Algebraic k theory algebraic topology homological algebra homotopy k theory algebra colimit homology homotopy theory. We construct models for the motivic homotopy category based on simplicial. The most important result is bott periodicity, which states that the kgroups are periodic with period 2.
This has given rise to a new field, which has been christened homotopy type theory. I last gave this course at the university of western ontario during the winter term of 2018. Preceding the four main chapters there is a preliminary chapter 0 introducing some of the basic geometric concepts and constructions that play a central role in. The homotopy theory of coalgebras over simplicial comonads 251 notation 2. Simplicial homotopy theory is the study of homotopy theory by means of simplicial sets, but also the study of those properties of simplicial sets detectable by. Any sheaf f on the site can be considered as a stack by viewing as a constant simplicial set. Chapman 20061114 introduction to homotopy theory martin arkowitz 20110725 this is a book in pure. Simplicial homotopy theory 109 sections 78 give the approach to the homotopy of a simplicial set by taking gk, filtering by its lower central series, and examining the quotients. I last gave this course at theuniversity of western ontario during the winter term of 2018.
This is the homotopy theory of simplicial sheaves, simplicial presheaves and presheaves of spectra. Towards simplicial complexes in homotopy type theory. In this way there arises a form of the adams spectral sequence which works unstably as well. Let gb p and gbw denote the simplicial subsets of zex generated by gp and gw, i. Surprisingly, there are some nontrivial things to be proven in relation to basic functoriality of the homotopy categories of simplicial sheaves. In september 2006 he posted to the types mailing list a very short note on homotopy lambda calculus, which sketched the outlines of a type theory with dependent products, sums and universes and of a model of this type theory in kan simplicial sets. The links below are to pdf files for my lecture notes for a course on local homotopy theory, or the homotopy theory of simplicial sheaves presheaves and presheaves of spectra. K theory forms what is called an extraordinary cohomology theory. Many details are still being worked out, but the impression is that homotopy type theory thus should serve as a foundation for mathematics that is natively about homotopy theory. Besides algebraic topology, the theory has also been used in other areas of mathematics such as algebraic geometry e. The course materialis widely applicable, in fields including topology, geometry, number theory,mathematical pysics, and some forms of data analysis. Jardine mathematics department, university of western ontario, london, ontario n6a 5b7, canada communicated by e.
The main reference for the course is the goerssjardine book simplicial homotopy theory. A simplicial presheaf f on a site is called a stack if, for any x and any hypercovering h x, the canonical map. Since the beginning of the modern era of algebraic topology, simplicial methods have been used systematically and effectively for both computation and basic theory. Mar 28, 2021 simplicial homotopy theory is the study of homotopy theory by means of simplicial sets, but also the study of those properties of simplicial sets detectable by means of techniques adapted from topological homotopy theory. Algebraic k theory algebraic topology homological algebra homotopy k theory algebra colimit homology homotopy. It could well serve as a graduate text in this topic, or could be studied independently by someone with a background in basic algebra, topology, and category theory. Other examples can for example be found in hov99 and ds95. The links below are to pdf files, which comprise my lecture notes fora first course on homotopy theory.
Lectures on homotopy theory homotopy theories springer. This is a generalization to the simplicial setting of the sheaf theory in section 2. The course material is widely applicable, in fields including topology, geometry, number theory, mathematical. Top sset which sends a space x to the set of maps topx,s1 considered as a constant simplicial set. The theory of simplicial sets offers a model of homotopy theory without using topological spaces. The general construction of homotopy that we will use allows us to talk about homotopy theories in many other settings though. Lectures on homotopy theory the links below are to pdf files, which comprise my lecture notes for a first course on homotopy theory. Controlled simple homotopy theory and applicationst.
A face of dimension i is a vector of i natural numbers, which stand for. In order to avoid pathologies, one rarely works with arbitrary spaces. First on the category of simplicial sheaves over smsnis, we will define a morphism to be a weak equivalence if it induces weak equivalence for every point. Thenth homotopy sheaf nx is the sheaf associated to the nth homotopy presheaf. Discussed here are the homotopy theory of simplicial sets, and other basic topics such as simplicial groups, postnikov towers, and bisimplicial sets. In addition to these notes, the basic source material for the course is the book local homotopy theory. Preceding the four main chapters there is a preliminary chapter 0 introducing some of the basic geometric concepts and. In algebraic topology, a simplicial homotopy pg 23 is an analog of a homotopy between. Local homotopy theory university of western ontario. Pdf in this master thesis, we extend results from classical simple homotopy theory to the world of stratified homotopy theory. Homotopy theory department of mathematics faculty of. Many results of this part can be found in 20 and 17, 18. In homotopy theory and algebraic topology, the word space denotes a topological space.
Homotopy theory of simplicial sheaves in completely decomposable topologies. In the next stage, one imposes a descent condition, namely focusing on those. Discussed here are the homotopy theory of simplicial sets, and other basictopics such as simplicial groups, postnikov towers, and bisimplicial more. Simplicial homotopy theory is the study of homotopy theory by means of simplicial sets, but also the study of those properties of simplicial sets detectable by means of techniques adapted from topological homotopy theory. Pdf stratified homotopy theory and a whitehead group for. Pdf notes on simplicial homotopy theory semantic scholar. Sk oldberg, morse theory from an algebraic viewpoint 2006 r. The homotopy theory of simplicial presheaves on a grothendieck site c is determined by the given topology on the site c see 9. Related with simplicial objects in algebraic topology. A key tool is the classical model structure on simplicial sets.
A simplicial complex of dimension n is a dependent type that contains for each i n a list of faces of dimension i. The course material is widely applicable, in fields including topology, geometry, number theory, mathematical pysics, and some forms of data analysis. In this direction, vladimir voevodsky observed that it is possible to model type theory using simplicial sets and that this model satisfies an additional property. Simplicial approximation introduction rims, kyoto university. Apr 12, 2020 for instance, from a brief browse through the. Weighted limits in simplicial homotopy theory 3 categories for their development of homotopical algebraic geometry 30, 31. This collection of files is the basic source material for the course, and the syllabus is listed on this page. The links below are to pdf files, which comprise my lecture notes for a first course on homotopy theory. Even classic homotopyy like the hurewicz homomorphism are give modern and very concise interpretations. A printed on demand paper copy of the book is also. Representation theory via the stable module category algebraic geometry via motivic homotopy theory.
Homotopy theory of topological spaces and simplicial sets. In algebraic geometry and algebraic topology, branches of mathematics, a 1 homotopy theory is a way to apply the techniques of algebraic topology, specifically homotopy, to algebraic varieties and, more generally, to schemes. Such functor categories are of signi cant practical interest. All files are subject to revision as the course progresses. Simplicial homotopy theory modern birkhauser classics. Paul goerss, rick jardine, simplicial homotopy theory, progress in mathematics, birkhauser. Precisely speaking, the objects consist of elements n, n 0, where n is a string of relations.
We will only describe one of these setting, namely the case of simplicial sets. Intended for secondyear graduate students and beyond, this book. In this paper we study a particular model for a homotopy theory, called a com. Presheaves of sets give examples of simplicial presheaves by viewing a set as a discrete space. On cellularization for simplicial presheaves and motivic homotopy. In addition to these notes, the basic source material for the course is the book local homotopy theory, by j.
1571 1017 101 779 764 136 921 1616 191 1075 9 362 1607 1307 65 302 1085 364 1207 14 1012 376 294 229 1330 643 760 1357 300 357 265 733 577