killing spinors, lorentzian manifolds