The local nonsingularity theorem

Abstract

It is proven that, for a certain class of hyperbolic systems (a class which includes Einstein’s equation), sufficiently small initial data on a bounded patch of initial surface generates a solution nonsingular in the region determined by that initial data. This theorem is virtually a corollary of the boost theorem. Various consequences and possible generalizations are discussed.