On the topology of spacelike hypersurfaces, singularities, and black holes

Sufficient topological conditions and some reasonable geometric properties near infinity are given on a partial Cauchy surface to study the occurrence of singularities and the topological structure of smooth event horizons. Conditions are given on electrovac space-times to show the horizon is a sphere without assuming the solution is stationary.