Past exam of the mathematics course of the University of Cambridge 2001 iii Paper 13 1 a Solution Created 2026-10-03 Updated 2026-10-14
Let be the given closed three-dimensional manifold. It is connected by the meaning of simply connected. An orientation chosen at one point can be transported along paths, and its sign change around loops defines a homomorphism . Since the fundamental group is trivial, this monodromy vanishes; thus is orientable.
The first homology group is the abelianization of the fundamental group, giving . Also . The universal coefficient theorem for cohomology in degree one givesBoth outer groups vanish: the first because is free and the second because . Hence . Integral Poincare duality now gives and . Homology in degrees greater than three vanishes by the same duality with negative-degree cohomology. ConsequentlyThese are precisely the homology of a sphere for , proving that simply connected closed three-manifolds are homology spheres. No homeomorphism classification of three-manifolds is needed.