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 gives
Both 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. Consequently
These 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 is
Because 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 gives
Therefore , with the last equality using the oriented three-dimensional fundamental classes.

Articles by others on the same topic (0)

There are currently no matching articles.