Isometries of Spacetimes Without Observer Horizons

We study the isometry groups of (non-compact) Lorentzian manifolds with well-behaved causal structure, aka causal spacetimes satisfying the "no observer horizons" condition. Our main result is that the group of time orientation-preserving isometries acts properly on the spacetime. As corollaries, we obtain the existence of an invariant Cauchy temporal function, and a splitting of the isometry group into a compact subgroup and a subgroup roughly corresponding to time translations. The latter can only be the trivial group, $Z$ , or $R$ .