SES # | TOPICS | SUMMARY AND REFERENCES |
---|---|---|
1 | Organizational meeting | The first meeting of class. |
2 | Introduction to the fundamental group | Give the idea of the fundamental group and some basic examples. Also give the idea of homotopy equivalences and some basic examples. |
3 | Paths and homotopies |
Define what a path in a space is, and what a homotopy of paths is. Showthat "homotopic"; is an equivalence relation on paths. Give an example of a homotopy between two paths. Give an example of two paths with the same endpoints which are not homotopic (proof not required). Define the composition of two paths, and show that it is well-defined on homotopy classes of paths. References: Hatcher §1.1, Massey §II.2. |
The fundamental group |
Define the fundamental group of a topological space and prove that it is a group. Give an example of a space whose fundamental group is trivial and an example of a space whose fundamental group is non-trivial (without proofs). Show that a path between two points induces an isomorphism between the fundamental groups based at those points. References: Hatcher §1.1, Massey §II.3. | |
4 | The fundamental group of the circle | Define a homomorphism Z→ π_{1}(S^{1}) and show that it is an isomorphism. |
Applications of previous lecture |
Using the isomorphism π_{1}(S^{1}) = Z from the previous lecture, prove the following theorems: the fundamental theorem of algebra (every non-constant polynomial with complex coefficients has a complex root), Brouwer's fixed point theorem for the 2-disc (every continuous map from the 2-disc to itself has a fixed point) and the Borsuk-Ulam theorem for the 2-sphere (every continuous map from the 2-sphere to R^{2} admits two antipodal points at which it is equal). References: Hatcher §1.1, Massey §II.6. | |
5 | Contractible and simply connected spaces | Define what it means for a space to be contractible and simply connected. Prove that a contractible space is simply connected. Show that R^{n} is contractible. Show that a sphere of dimension at least 2 is simply connected. (Spheres are not contractible though!) |
The fundamental group of a product |
Show that the fundamental group of the cartesian product of two spaces is the direct product of the fundamental groups of the two spaces. Compute the fundamental groups of tori. (A torus is just a product of circles.) References: Hatcher §1.1, Massey §II.7. | |
6 | Functoriality of the fundamental group | Show that a continuous map f : X → Y of topological spaces induces a homomorphism of groups f* : π_{1}(X) → π_{1}(Y). Define what it means for two maps f, g : X → Y to be homotopic (generalizing the definition for paths). Show that if f and g are homotopic then f*=g*. |
Homotopy equivalences |
Define what a homotopy equivalence between two spaces is. Show that if two spaces are homotopy equivalent then their fundamental groups are isomorphic. Give several examples of spaces which are and are not homotopy equivalent. References: Hatcher §1.1, Massey §II.8. | |
7 | The fundamental group of S^{1} ∨ S^{1} | Define the free group on n letters F_{n}. Define the wedge sum X ∨ Y of two topological spaces. Construct a map F_{2} → S^{1} ∨ S^{1} and show that it is an isomorphism. State a similar result (without proof) for an n-fold wedge sum of circles. |
Amalgamated free products | Define the amalgamated free product of groups. Prove the universal property of this product. Give some examples. | |
8 | van Kampen's theorem | State van Kampen's theorem. Prove the surjectivity part of the statement. |
van Kampen's theorem (cont.) | Prove the injectivity part of van Kampen's theorem. | |
9 | Introduction to covering spaces | Define what a covering space is. Give some ideas about the universal cover and the Galois correspondence for covers. Do some examples. |
10 | The universal cover |
Construct the universal cover. References: Hatcher pp. 63–5. |
The universal cover (cont.) |
Verify properties of the construction of the universal cover from the previous lecture. References: Hatcher pp. 63–5. | |
11 | Lifting properties |
Prove the homotopy lifting property. Deduce the path lifting property as a corollary. Show that p* is injective on fundamental groups if p is a covering map. References: Hatcher Prop. 1.30 and Prop. 1.31. |
Lifting properties (cont.) |
Prove the criterion for lifting and uniqueness of lifts. References: Hatcher Prop. 1.33 and Prop. 1.34. | |
12 | Existence of covers |
Show that for each subgroup of the fundamental group, there exists a corresponding cover. Show that this cover is Galois if and only if the subgroup of the fundamental group is normal. References: Hatcher Prop. 1.36 and Prop. 1.39. |
The Galois correspondence |
Finish off the proof of the Galois correspondence. References: Hatcher Prop. 1.37 and Thm. 1.38. | |
13 | Category theory | Define what a category is and what a functor is. Give several examples. |
The Galois correspondence in categorical form |
State and discuss the proof of how to state the Galois correspondence as an equivalence of categories involving permutation representations of the fundamental group. References: Hatcher pp. 68–70. | |
14 | Covering spaces of S^{1} ∨ S^{1} |
Describe covers of the space S^{1} ∨ S^{1} in terms of 2 oriented graphs. In particular, explicitly describe the universal cover. Also, give some examples of Galois and non-Galois covers. References: Hatcher p. 57. |
Quotients by finite groups |
Discuss the theory of quotients by discontinuous group actions, in particular, how the fundamental group changes. Compute the fundamental group of real projective space. References: Hatcher Prop. 1.40. | |
15 | Overview of homology | An overview of what we'll cover on homology. |
16 | Chains and the boundary operator |
Define what a singular simplex is. Define the group of singular chains and the boundary operator on it. Prove that the square of the boundary operator is 0. References: Hatcher p. 103 and p. 108. |
Definition of homology and first calculations |
Define the group of cycles and boundaries. Define singular homology. Compute H_{0} and the homology of a point. References: Hatcher p. 108, Prop. 2.7 and Prop. 2.8. | |
17 | Chain complexes |
Define what a chain complex is. Define what a map of chain complexes is. Define what a homotopy of maps of chain complexes is. Show that a map of chain complexes induces a map on homology, and that homotopic maps induce the same map on homology. This talk is pure algebra, and does not involve topology in any way. References: Some discussion in Hatcher pp. 110–3. |
Functoriality of homology |
Show that homology is naturally a functor on the category of topological spaces. Show that homotopic maps induce the same map on homology. References: Hatcher pp. 110–3, esp. Thm. 2.10. | |
18 | The long exact sequence |
Show that there is a natural long exact sequence in homology associated to a short exact sequence of chain complexes. This talk is pure algebra, and does not involve topology in any way. References: Some discussion in Hatcher pp. 115–8. |
Relative homology |
Define the relative homology groups. Show that there is a long exact sequence relating the homology of a space, a subspace and the relative homology groups. Do the example of a disc relative to its boundary. References: Hatcher pp. 115–8, esp. Example 2.17. | |
19 | Excision |
State the theorem of excision. State Proposition 2.21 of Hatcher, and prove the excision theorem assuming this proposition. References: Hatcher p. 119 (esp. Thm. 2.20) and p. 124. |
Homology of a quotient |
Define reduced homology groups. Relate the reduced homology groups of a quotient space to relative homology groups using excision. Compute the homology of a sphere. References: Hatcher p. 110, Cor. 2.14 and Prop. 2.22. | |
20 | Proof of Prop. 2.21, part 1 |
Begin the proof of Proposition 2.21 of Hatcher. This is the main step in the proof of excision. References: Hatcher pp. 119–24. |
Proof of Prop. 2.21, part 2 |
Finish the proof of Proposition 2.21 of Hatcher. This is the main step in the proof of excision. References: Hatcher pp. 119–24. | |
21 | Review | Pause and take stock of where we are. Review what we have done so far and where we're going. |
Naturality of connecting homomorphisms |
Prove the naturality of connecting homomorphisms in long exact sequences. References: Hatcher pp. 127–8. | |
22 | Axioms for homology |
State the Eilenberg–Steenrod axioms and the theorem that they uniquely characterize singular homology. References: Hatcher pp. 160–2. |
The Mayer–Vietoris sequence |
Establish the Mayer–Vietoris sequence using the axioms of homology. Do some examples. References: Hatcher pp. 153–4 and pp. 161–2. | |
23 | Homology with coefficients |
Define homology with coefficients in an arbitrary abelian group. References: Hatcher pp. 153–4. |
The universal coefficient theorem |
Review tensor products and the Tor functor. State the universal coefficient theorem, relating homology with coefficients to usual homology (i.e., homology with integer coefficients.) Do not prove the theorem! References: Hatcher Appendix 3.A. | |
24 | CW complexes, part 1 |
Define what a CW complex is. Mention that these spaces are all locally contractible. References: Hatcher, Appendix. |
CW complexes, part 2 |
Give examples of CW complexes, especially the two "standard" CW structures on the n-sphere. References: Hatcher, Appendix. | |
25 | CW homology, part 1 |
Introduce the cellular chain complex associated to a CW complex. State Theorem 2.35, that the homology of this complex is naturally isomorphic to singular homology. Also, mention the cellular boundary formula. References: Hatcher pp. 137–141. |
CW homology, part 2 |
Do some examples of cellular homology, for instance, recompute the homology of the n-sphere, compute the homology of complex projective space. References: Hatcher pp. 141–6. | |
26 | Definition of cohomology |
Discuss the functor Hom(-, G). Define the cohomology of a space, with coefficients in G. References: Hatcher pp. 197–8. |
Overview of formal properties |
Mention the formal properties of cohomology, which parallel those of homology. Be sure to point out the places where there are small differences (e.g., when the arrows go the other way). Also state the universal coefficient theorem, which let's one compute cohomology from homology. References: Hatcher pp. 199–204. | |
27 | The cup product, part 1 |
Define the cup product, say that it makes cohomology into a ring. Show that the map on cohomology induced from a map on spaces is a ring homomorphism. Finally, state and try to prove Theorem 3.14, which says that the cup product is graded commutative. References: Hatcher pp. 206–7, Prop. 3.10, Thm. 3.14. |
The cup product, part 2 |
Compute the cohomology ring of the wedge sum S^{2} ∨ S^{4} and of complex projective space CP^{2}. Observe that the underlying groups are isomorphic, but since the ring structure is different the two spaces are not homotopy equivalent. This is something that cannot be seen purely in terms of homology, and relies on the additional structure in cohomology. References: Hatcher Example 3.13. | |
28 | The Kunneth formula, part 1 |
Define the cross product in cohomology. State the Kunneth formula in the case where cohomology is finitely generated and free, and in the general case. Do an example, e.g., compute the cohomology of a torus. References: Hatcher pp. 218–9, Appendix 3.B. |
The Kunneth formula, part 2 |
Sketch a proof of the Kunneth formula in the simple case where the cohomology is finitely generated and free. References: Hatcher pp. 220–1. | |
29 | Overview of Poincare duality |
Review the definition of a manifold. State a primitive version of Poincare duality. Explain what this means in the case of a torus. References: Hatcher p. 231. |
Orientations |
Define what a local orientation is and what a (global) orientation is. Discuss the two sheeted cover which determines if there is an orientation. Define what a section is, in this context. References: Hatcher pp. 233–5. | |
30 | The fundamental class, part 1 |
State Theorem 3.26 and define the term fundamental class. State and prove Lemma 3.27. References: Hatcher p. 236. |
The fundamental class, part 2 |
Prove Theorem 3.26. References: Hatcher p. 327. | |
31 | Direct limits |
Define and discuss direct limits of abelian groups. State and prove Proposition 3.33. References: Hatcher pp. 243–4. |
Cohomology with compact support |
Define cohomology with compact support, and give the characterization of it as a direct limit. Compute the cohomology of R^{n} with compact supports. References: Hatcher pp. 242–5. | |
32 | The cap product |
Define the cap product. References: Hatcher pp. 239–41. |
Statement of Poincare duality |
State Poincare duality precisely, in both the compact and non-compact cases. References: Hatcher Thms 3.30 and 3.35. | |
33 | Proof of Lemma 3.36 |
State and prove Lemma 3.36. References: Hatcher Lemma 3.36. |
Proof of Poincare duality |
Complete the proof of Poincare duality. References: Hatcher pp. 247–8. | |
34 | Closing lecture | I will briefly discuss some things we didn't get to and discuss some other places in math where cohomology comes up. |
35 | Sheaf cohomology | Student Presentations of Final Papers |
Morse theory | Student Presentations of Final Papers | |
36 | Hopf fibrations | Student Presentations of Final Papers |
The Gauss—Bonnet theorem | Student Presentations of Final Papers | |
37 | K-theory | Student Presentations of Final Papers |
De Rham cohomology | Student Presentations of Final Papers | |
38 | The Hurewicz isomorphism | Student Presentations of Final Papers |
Orbifold fundamental groups | Student Presentations of Final Papers | |
39 | Simplicial sets | Student Presentations of Final Papers |