Local theory of Lorentzian metrics and connections Local differential geometry mathematics