The existence theorem for the general relativistic Cauchy problem on the light-cone

We prove existence of solutions of the vacuum Einstein equations with initial data induced by a smooth metric on a light-cone.