On the splitting problem for Lorentzian manifolds with an -action with causal orbits
We study the interplay between the global causal and geometric structures of a spacetime and the features of a given smooth -action on whose orbits are all causal curves, building on classic results about Lie group actions on manifolds described by Palais. In the first part of this paper, we prove that is free and proper (so that splits topologically) provided that is strongly causal and does not have what we call weakly ancestral pairs, a notion which admits a natural interpretation in terms of "cosmic censorship". Accordingly, such condition holds automatically if is globally hyperbolic. We also prove that splits topologically if is strongly causal and is the flow of a complete conformal Killing causal vector field. In the second part, we investigate the class of Brinkmann spacetimes, which can be regarded as null analogues of stationary spacetimes in which is the flow of a complete parallel null vector field. Inspired by the geometric characterization of stationary spacetimes in terms of standard stationary ones [24], we obtain an analogous geometric characterization of when a Brinkmann spacetime is isometric to a standard Brinkmann spacetime. This result naturally leads us to discuss a conjectural null analogue for Ricci-flat -dimensional Brinkmann spacetimes of a celebrated rigidity theorem by Anderson [1], and highlight its relation with a long-standing 1962 conjecture by Ehlers and Kundt [13]. If true, our conjecture provides strong mathematical support to the idea that gravitational plane waves are the most natural "boundary conditions" at infinity for vacuum solutions of the Einstein equation modeling regions outside gravitationally radiating sources.