Past exam of the mathematics course of the University of Cambridge 2009 ii Paper 4 21G Solution Created 2026-09-24 Updated 2026-10-14
Use integral homology groups. The sphere is ; each disk meets in its boundary circle, while . In particular, the two disks also meet away from the sphere. These spaces have compatible triangulations, so the Mayer–Vietoris sequence applies to their unions as subcomplexes; equivalently use small regular open neighborhoods with the same homotopy types.
First let . Its intersection is , and is contractible. The Mayer–Vietoris sequence givesFor example, the degree-two portion is , and the map from into is injective.
Now . It has and . Exactness gives andThis sequence splits: lift a generator of the quotient and extend its lift by integer multiples. Hence . In degree one the sequence becomesThe middle map has kernel generated by and cokernel . There are no higher groups, either by the same sequence or by the three-dimensional triangulation. Thus the homology of two disks meeting inside a sphere givesThe first-homology generator records a path from the sphere to the common interior point through one disk and back through the other; omitting that interior intersection would incorrectly remove this generator.