The Ernst equation and ergosurfaces

We show that analytic solutions E of the Ernst equation with a non-empty zero-level set of RE lead to smooth ergosurfaces in spacetime. In fact, the spacetime metric is smooth near an `Ernst ergosurface' E-f if, and only if, E is smooth near Ef and does not have zeros of infinite order there.