Algebraic Topology(D)
ALGEBRAIC TOPOLOGY (D)
Part IB Analysis II is essential and Metric and Topological Spaces is highly desirable.
The fundamental group
- Homotopy of continuous functions and homotopy equivalence between topological spaces. The fundamental group of a space, homomorphisms induced by maps of spaces, change of base point, invariance under homotopy equivalence. [3]
Covering spaces
- Covering spaces and covering maps. Path-lifting and homotopy-lifting properties, and ther application to the calculation of fundamental groups. The fundamental group of the circle; topological proof of the fundamental theorem of algebra. *Construction of the universal covering of a path-connected, locally simply connected space*. The correspondence between connected coverings of X and conjugacy classes of subgroups of the fundamental group of X. [5]
The Seifert–Van Kampen theorem
- Free groups, generators and relations for groups, free products with amalgamation. Statement *and proof* of the Seifert–Van Kampen theorem. Applications to the calculation of fundamental groups. [4]
Simplicial complexes
- Finite simplicial complexes and subdivisions; the simplicial approximation theorem. [3]
Homology
- Simplicial homology, the homology groups of a simplex and its boundary. Functorial properties for simplicial maps. *Proof of functoriality for continuous maps, and of homotopy invariance*. [4]
Homology calculations
- The homology groups of Sn, applications including Brouwer’s fixed-point theorem. The Mayer-Vietoris theorem. *Sketch of the classification of closed combinatorical surfaces*; determination of their homology groups. Rational homology groups; the Euler–Poincar´e characteristic and the Lefschetz fixed-point theorem [5]
Appropriate books
- M. A. Armstrong Basic topology. Springer 1983
- W. Massey A basic course in algebraic topology. Springer 1991
- C. R. F. Maunder Algebraic Topology. Dover Publications 1980
- A. Hatcher Algebraic Topology. Cambridge University Press, 2001
Associated GitHub Page
https://jaircambridge.github.io/Algerbraic-Topology-D/