Vacuum spacetimes with an isometry

In vacuum space-times the exterior derivative of a Killing vector field is a two-form that satisfies Maxwell equations without electromagnetic sources. Using the algebraic structure of this two-form we have set up a new formalism for the study of vacuum space-times with an isometry.