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