Neighborhoods of isolated horizons and their stationarity

A distinguished (invariant) Bondi-like coordinate system is defined in the spacetime neighborhood of a non-expanding horizon of arbitrary dimension via geometry invariants of the horizon. With its use, the radial expansion of a spacetime metric about the horizon is provided and the free data needed to specify it up to a given order are determined in spacetime dimension 4. For the case of an electro-vacuum horizon in four-dimensional spacetime, the necessary and sufficient conditions for the existence of a Killing field at its neighborhood are identified as differential conditions for the horizon data and data for the null surface transversal to the horizon.