Causality of spacetimes admitting a parallel null vector and weak KAM   theory
  The causal spacetimes admitting a covariantly constant null vector provide a connection between relativistic and non-relativistic physics. We explore this relationship in several directions. We start proving a formula which relates the Lorentzian distance in the full spacetime with the least action of a mechanical system living in a quotient classical space time. The timelike eikonal equation satisfied by the Lorentzian distance is proved to be equivalent to the Hamilton-Jacobi equation for the least action. We also prove that the Legendre transform on the classical base corresponds to the musical isomorphism on the light cone, and the Young-Fenchel inequality is nothing but a well known geometric inequality in Lorentzian geometry. A strategy to simplify the dynamics passing to a reference frame moving with the E.-L. flow is explained. It is then proved that the causality properties can be conveniently expressed in terms of the least action. In particular, strong causality coincides with stable causality and is equivalent to the lower semi-continuity of the classical least action on the diagonal, while global hyperbolicity is equivalent to the coercivity condition on the action functional. The classical Tonelli's theorem in the calculus of variations corresponds, then, to the well known result that global hyperbolicity implies causal simplicity. The well known problem of recasting the metric in a global Rosen form is shown to be equivalent to that of finding global solutions to the Hamilton-Jacobi equation having complete characteristics. 
E. Minguzzi
gr-qc math-ph math.MP