Local regularity of spacetimes under Ricci curvature and Lie derivative conditions

In this paper, we derive a general regularity estimate for any 4-d spacetime, in terms of a priori bounds of the Ricci curvature and Lie derivative of the Lorentzian metric with respect to an arbitrary timelike vector field.