C3.1 Algebraic Topology - Archived material for the year 2016-2017

Primary tabs

2016-2017
Lecturer(s):
Prof. Christopher Douglas
General Prerequisites:

Helpful but not essential: Part A Topology, B3.5 Topology and Groups.

Course Term:
Michaelmas
Course Lecture Information:

16 lectures.

Course Weight:
1.00 unit(s)
Course Level:
M

Assessment type:

Course Overview:

Homology theory is a subject that pervades much of modern mathematics. Its basic ideas are used in nearly every branch, pure and applied. In this course, the homology groups of topological spaces are studied. These powerful invariants have many attractive applications. For example we will prove that the dimension of a vector space is a topological invariant and the fact that 'a hairy ball cannot be combed'.

Learning Outcomes:

At the end of the course, students are expected to understand the basic algebraic and geometric ideas that underpin homology and cohomology theory. These include the cup product and Poincaré Duality for manifolds. They should be able to choose between the different homology theories and to use calculational tools such as the Mayer-Vietoris sequence to compute the homology and cohomology of simple examples, including projective spaces, surfaces, certain simplicial spaces and cell complexes. At the end of the course, students should also have developed a sense of how the ideas of homology and cohomology may be applied to problems from other branches of mathematics.

Course Synopsis:

Chain complexes of free Abelian groups and their homology. Short exact sequences. Delta complexes and their homology. Euler characteristic.

Singular homology of topological spaces. Relative homology and the Five Lemma. Homotopy invariance and excision (details of proofs not examinable). Mayer-Vietoris Sequence. Equivalence of simplicial and singular homology.

Degree of a self-map of a sphere. Cell complexes and cellular homology. Application: the hairy ball theorem.

Cohomology of spaces and the Universal Coefficient Theorem (proof not examinable). Cup products. Künneth Theorem (without proof). Topological manifolds and orientability. The fundamental class of an orientable, closed manifold and the degree of a map between manifolds of the same dimension. Poincaré Duality (without proof).