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.
The universal cover of isBecause is simply connected, any continuous map lifts to after choosing a lift of one base point. The lifting criterion for a covering space applies because . Equivalently, path lifting defines the lift and simple connectedness makes its value independent of the chosen path.
The cover deformation retracts onto , so . Since , functoriality of homology givesTherefore , with the last equality using the oriented three-dimensional fundamental classes.
Articles by others on the same topic
There are currently no matching articles.