| Instructor | Sheel Ganatra | Course Assistant | Cary Malkiewich |
| Office | 380-382F | Office | 380-381M |
| ganatra (at) math (dot) stanford (dot) edu | carym (at) math (dot) stanford (dot) edu | ||
| Office Hours | This week: Tuesday, Thursday, 2.10-3:40pm | Office Hours | Monday and Wednesday, 12.30-3.30pm |
Math 215B will initiate the study of algebraic invariants of topological spaces up to homotopy equivalence . Through this quarter we will construct, prove properties about, and study applications of three such invariants:
As a necessary ingredient, we will develop techniques in homological algebra. A basic class of topological spaces we will apply our discussion to is the class of CW complexes.
Allen Hatcher's Algebraic Topology, available for free download here. Our course will primarily use Chapters 0, 1, 2, and 3.
In addition to formal prerequisites, we will use a number of notions and concepts without much explanation. Topologically: you should be intimately familiar with point-set topology, in particular various constructions on spaces, the product and quotient topologies, continuity, compactness. Algebraically: groups, rings, homomorphisms, equivalence relations, quotient sets, quotients of groups by normal subgroups.
The course grade will be based on the following:
Homework will be posted here on an ongoing basis (roughly a week before they are due) and will be due at 5pm on the date listed, in the Course Assistant's mailbox. Late homeworks will not be accepted.
You are encouraged to discuss problems with each other, but you must work on your own when you write down solutions.
| Due date | Assignment |
|---|---|
| Jan 18 | Homework 1. Solutions. |
| Jan 25 | Homework 2. Solutions. |
| Feb 1 | Homework 3. Solutions. |
| Feb 8 | Homework 4. |
Lecture topics by day will be posted on an ongoing basis below.
| Date | Lecture topics | Book chapters | Remarks |
|---|---|---|---|
| Jan 8 | Introduction: Spaces, maps, and homotopies. The fundamental group. Dependence on base point. | Chapters 0 (first subsection), 1.1 | |
| Jan 10 | Covering spaces and lifting properties. The fundamental group of the circle. Functoriality. | Chapters 1.1, 1.3 (first few pages) | |
| Jan 15 | Fundamental groups of spheres. Van Kampen's theorem. | Chapters 1.1, 1.2 | |
| Jan 17 | Fundamental groups of CW complexes. | Chapter 0 (for definitions of CW complexes), 1.2 | |
| Jan 22 | Covering spaces I: Lifting properties, the universal cover, the correspondence theorem. | Chapter 1.3 | |
| Jan 24 | Covering spaces II: The correspondence theorem, Deck transformations, examples. Graphs and sub-groups of free groups. | Chapters, 1.3, 1.A | |
| Jan 29 | Singular and simplicial homology---first definitions. Functoriality. | Chapter 2, beginning. | |
| Jan 31 | The fundamental group and first homology group. Relative homology. Exact sequences. | Chapter 2.A, 2.1 | |
| Feb 5 | Short exact sequences and long exact sequences, and applications to Relative homology. Homotopy invariance. | Chapter 2.1, Sections on "Homotopy Invariance" and "Exact Sequences and Excision". | |
| Feb 7 | The 5 Lemma. Reduced homology. Excision via Barycentric subdivision. The homology of spheres. | Chapter 2.1 | Additional notes completing the construction of the (Barycentric) subdivision proposition. |
The take-home midterm is here. It was posted Monday night (February 11th) and will be due in a week (Technically, the 18th is a holiday, so they will be due Tuesday, February 19th by class time).
The final exam will be in room 380D on Thursday, March 21st from 7-10PM.