Killing spinor data in the characteristic problem

Details

Written by Michael Cole

The existence of a Killing spinor can be used to show that a spacetime is a member of the Kerr family, so finding ways of guaranteeing this in terms of initial or boundary data can be of interest. We show that the existence of a Killing spinor in the domain of dependence of a pair of intersecting, non-expanding null hypersurfaces can be characterised as data only on the bifurcation sphere, where these hypersurfaces intersect. This can be used to obtain a uniqueness result for stationary vacuum black holes spacetimes in the domain of dependence.