Vacuum spacetimes with a spacelike, hypersurface-orthogonal Killing vector: reduced equations in a canonical frame

S. Bonanos

The Newman-Penrose equations for spacetimes having one spacelike Killing vector are reduced -- in a geometrically defined "canonical frame'' -- to a minimal set, and its differenti…