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, establishing the rigidity conjecture of Alexakis, Ionescu, and Klainerman. In the rotating case, we start with the rotational Killi...