On rigidity of stationary black holes under a nontrapping assumption

We prove that a smooth, regular, asymptotically flat stationary vacuum black hole has a nonextremal Kerr exterior if no null geodesic orthogonal to its stationary Killing field is trapped. We extend the local rotational symmetry by choosing successive domains whose limiting boundary in the ergoregio