On the topology of stationary black holes

We prove that the domain of outer communication of a stationary, globally hyperbolic spacetime satisfying the null energy condition must be simply connected. Under suitable additional hypotheses, this implies, in particular, that each connected component of a cross-section of the event horizon of a stationary black hole must have spherical topology.