Hawking's Local Rigidity Theorem Without Analyticity

We prove the existence of a Hawking Killing vector-field in a full neighborhood of a local, regular, bifurcate, non-expanding horizon embedded in a smooth vacuum Einstein manifold. The result extends a previous result of Friedrich, Rácz and Wald, see [FRW, Prop. B. 1], which was limited to the domain of dependence of the bifurcate horizon. So far, the existence of a Killing vector-field in a full neighborhood has been proved only under the restrictive assumption of analyticity of the space-time. Using this result we provide the first unconditional proof that a stationary black-hole solution must possess an additional, rotational Killing field in an open neighborhood of the event horizon. This work is accompanied by a second paper, where we prove a uniqueness result for smooth stationary black-hole solutions which are close (in a very precise, geometric sense) to the Kerr family of solutions, for arbitrary 0 < a < m.