MA4J7 Cohomology and Poincaré Duality
Lecturer: John Greenlees
Term(s): Term 1
Status for Mathematics students: List C
Commitment: 30 one hour lectures
Assessment: 85% 3 hour examination in the summer, 15% by assignments
Formal registration prerequisites: None
Assumed knowledge:
Useful knowledge: A certain level of mathematical maturity (comfort with proofs and routine computations). Some category theory (categories, functors, natural transformations) will make learning the material much easier.
Synergies: This is a capstone of the undergraduate mathematics programme. It is a valuable course for anybody with an interest in "modern topology" (bringing us up to the 1960's). It is essential background for postgraduate study in geometry or topology, as well as many areas of algebra, number theory, and applied mathematics.
Leads to: The following modules have this module listed as assumed knowledge or useful background:
Content:
- Cochain complexes and cohomology
- The duality between homology and cohomology
- Chain approximations to the diagonal and products in cohomology
- The cohomology ring
- The cohomology ring of a product of spaces and applications
- The Poincaré duality theorem
- The cohomology ring of projective spaces and applications
- The Hopf invariant and the Hopf maps
- Spaces with polynomial cohomology
- Further applications of cohomology
Aims:
- To introduce cohomology and products as an important tool in topology
- Give a proof of the Poincaré duality theorem and go on to use this theorem to compute products
- There will be many applications of products including using products to distinguish between spaces with isomorphic homology groups
- To use products to study the classical Hopf maps
Objectives: By the end of the module the student should be able to:
- Define cup and cap products
- Use the Poincaré duality theorem
- Compute the cohomology ring of many spaces including product spaces and projective spaces
- Apply the cohomology ring to get topological results
- Define, calculate and apply the Hopf invariant
Books:
Algebraic Topology, Allen Hatcher, CUP 2002
Algebraic Topology A First Course, Greenberg and Harper, Addison-Wesley 1981
Additional Resources