Properly discontinuous isometric group actions on inhomogeneous   Lorentzian manifolds
  In the present paper, we prove that no infinite group acts isometrically, effectively, and properly discontinuously on a certain class of Lorentzian manifolds that are not necessarily homogeneous. 
Jun-ichi Mukuno
math.DG