 Browse by Category

Browse by School/
Graduate School
Algebraic Topology I
Lars HESSELHOLT Professor
Department: Graduate School of Mathematics
Class Time:  2008 Spring Thursday 
Recommended for:  Graduate School of Mathematics 
Course Overview
Course Overview
The course will give an introduction to algebraic topology with a focus on homotopy theory. We will consider the classifying space of a small category and develop the homotopy theoretical methods used to study its homotopy type. Later in the course, we will define and study algebraic Ktheory.
Close Section
Syllabus
Object of the course
To every category , we associate a topological space . The space is called the classifying space of . A functor gives rise to a continuous map . Moreover, a natural transformation from the functor to the functor gives rise to a homotopy from the map to the map . In short, the classifying space construction gives rise to a 2functor from the 2category of categories to the 2category of topological spaces. In this way, properties of categories are reflected in the homotopy type of their classifying spaces.
The classifying space is constructed by gluing together simplices
The general recipe for constructing a topological space by gluing together simplices is called a simplicial set. The resulting topological space is called the geometric realization of the simplicial set. The first part of the course will focus on simplicial sets and their geometric realization along with the basic category theoretical notions of limits and colimits and adjoints functors which are needed to develop this theory.
The next part of the course focuses on homotopy theory. We introduce homotopy groups and define a continuous map between topological spaces to be a weak equivalence if it induces an isomorphism of the associated homotopy groups. The homotopy category of topological spaces to be the category obtained from the category of topological spaces and continuous maps by formally introducing an inverse map for every weak equivalence. The main techniques for studying the homotopy category are centered around two classes of maps called the fibrations and the cofibrations. The category of topological spaces together with the three classes of maps given by the weak equivalences, the fibrations, and the cofibrations form a model category. In homotopy theory, theorems live in the homotopy category, but their proofs live in the model category.
The final part of the course uses the techniques we have developed to define algebraic Ktheory. We prove the socalled additivity theorem from which many of the basic properties of algebraic Ktheory are readily derived.
Keywords
Homotopy theory, model categories, algebraic Ktheory.
Required knowledge
An introductory course in algebraic topology including the fundamental group and covering spaces.
Texts
The course lecture notes. The following texts are also useful:
 Mark Hovey, Model Categories, Mathematical Surveys and Monographs, vol. 63, American Mathematical Society.
 Daniel G. Quillen, Homotopical Algebra, Lecture Notes in Mathematics, vol. 43, SpringerVerlag, New York.
 Friedhelm Waldhausen, Algebraic Ktheory of spaces, Lecture Notes in Mathematics, vol. 1126, SpringerVerlag, New York.
Related Recources
Mark Hovey, Model Categories, Mathematical Surveys and Monographs, vol. 63, American Mathematical Society.
Daniel G. Quillen, Homotopical Algebra, Lecture Notes in Mathematics, vol. 43, SpringerVerlag, New York.
Friedhelm Waldhausen, Algebraic Ktheory of spaces, Lecture Notes in Mathematics, vol. 1126, SpringerVerlag, New York.
Assignments
 Problem set 1. (PDF, 26KB)
 Problem set 2. (PDF, 15KB)
Course Schedule
Session  Contents 

1  The classifying space of a category. 
2  The geometric realization of a simplicial set. 
3  Limits and colimit; filtered colimits and finite limits commute. 
4  Adjoint functors, limits and colimits. 
5  Characterizing the geometric realization by maps from it. 
6  Geometric realization preserves finite products; kspaces. 
7  Homotopy groups; mapping fiber; longexact sequence. 
8  The classifying space of a finite group. (I recommend to skip this lecture.) 
9  Weak equivalences, Serre fibrations, Serre cofibrations; Quillen model categories. 
10  The homotopy category; Quillen functors. 
11  Reedy model structure on the category of simplicial spaces; geometric realization is a left Quillen functor. 
12  Bisimplicial sets and their geometric realization; geometric realization and weak equivalences; Quillen's Theorem A and B. 
13  Algebraic Ktheory. 
14  The additivity theorem. 
15  Hochschild homology of a ringoid: An introduction. 
Grading
Occasional exercises reviewed by the teacher.
Close Section
Class Materials
Lecture Handouts
 Session #1
 The classifying space of a category. (PDF, 4844KB)
 Session #2
 The geometric realization of a simplicial set. (PDF, 5254KB)
 Session #3
 Limits and colimit; filtered colimits and finite limits commute. (PDF, 9441KB)
 Session #4
 Adjoint functors, limits and colimits. (PDF, 5324KB)
 Session #5
 Characterizing the geometric realization by maps from it. (PDF, 3521KB)
 Session #6
 Geometric realization preserves finite products; kspaces. (PDF, 5340KB)
 Session #7
 Homotopy groups; mapping fiber; longexact sequence. (PDF, 8350KB)
 Session #8
 The classifying space of a finite group. (PDF, 7166KB)
 Session #9
 Weak equivalences, Serre fibrations, Serre cofibrations; Quillen model categories. (PDF, 10555KB)
 Session #10
 The homotopy category; Quillen functors. (PDF, 5885KB)
 Session #11
 Reedy model structure on the category of simplicial spaces; geometric realization is a left Quillen functor. (PDF, 8181KB)
 Session #12
 Bisimplicial sets and their geometric realization; geometric realization and weak equivalences; Quillen\'s m A and B. (PDF, 6565KB)
 Session #13
 Algebraic Ktheory. (PDF, 8507KB)
 Session #14
 The additivity theorem. (PDF, 7471KB)
 Session #15
 Hochschild homology of a ringoid: An introduction. (PDF, 3303KB)
Close Section
Page last updated May 28, 2009
The class contents were most recently updated on the date indicated. Please be aware that there may be some changes between the most recent year and the current page.