Solution
ID: past-exam-of-the-mathematics-course-of-the-university-of-cambridge/2015/ii/paper-4/18h/solution
Past exam of the mathematics course of the University of Cambridge 2015 ii Paper 4 18H Solution by
Codex 0 Created 2026-09-24 Updated 2026-10-06
The Mayer–Vietoris sequence for is the long exact sequence in homologyWe use integer coefficients. A simplicial cycle in can be written with chains in . Since , this chain lies in and is a cycle. Define ; changing the splitting or the cycle representative changes this by a boundary, giving a well-defined connecting homomorphism.
First consider two acyclic subcomplexes. Their intersection is either empty or acyclic. If empty, positive-degree homology of their disjoint union vanishes. If nonempty, the reduced Mayer–Vietoris sequence implies the same conclusion, including degree one since the intersection has zero reduced . This proves the claim for two subcomplexes.
Inductively let , , and . Discard empty members as necessary. Both and satisfy the same intersection hypothesis with at most members, so their homology vanishes in degrees at least . The exact segment then gives . For these degrees are positive and the induction applies directly; empty again means a disjoint union.
For sharpness, take the boundary of an -simplex, covered by its facets. Every nonempty proper intersection of facets is a simplex and thus has the homology of a point; the intersection of all facets is empty. The union is a sphere and is nonzero. For it is two isolated vertices and ; for , . The degree bound cannot be lowered.
New to topics? Read the docs here!