The differentiablity of horizons along their generators

Abstract

Let $H$ be a (past directed) horizon in a time-oriented Lorentz manifold and $γ:[\left( α,β\right) \rightarrow H$ a past directed generator of the horizon, where $[\left( α,β\right) $ is $[α,β)$ or $\left( α,β\right) $. It is proved that either at every point of $γ\left( t\right) ,~t\in\left( α,β\right) $ the differentiability order of $H$ is the same, or there is a so-called differentiability jumping point $γ\left( t_{0}\right) ,~t_{0}\in\left( α,β\right) $ such that $H$ is only differentiable at every point $γ\left( t\right) ,~t\in\left( α,t_{0}\right) $ but not of class $C^{1}$ and $H$ is exactly of class $C^{1}$ at every point $γ\left( t\right) ,~t\in\left( t_{0},β\right) $. We will use in the proof a result which shows, that every mathematical horizon in the sense of P. T. Chruściel locally coincides with a Cauchy horizon.