Smoothness of compact horizons
  We prove that compact Cauchy horizons in a smooth spacetime satisfying the null energy condition are smooth. As an application, we consider the problem of determining when a cobordism admits Lorentzian metrics with certain properties. In particular, we prove a result originally due to Tipler without the smoothness hypothesis necessary in the original proof. 
Eric Larsson
gr-qc math.DG