Existence and structure of past asymptotically simple solutions of Einstein's field equations with positive cosmological constant

The initial value problem for Einstein's field equations with positive cosmological constant is analysed where data are prescribed at past conformal infinity. It is found that the data on past conformal infinity are given, up to arbitrary conformal rescalings, by a freely specifyble Riemannian metric and a trace-free, symmetric tensorfield of valence two, which satisfies a divergence equation. For each initial data set exists a unique (semi-global) past asymptotically simple solution of Einstein's equations. The case is discussed where in such a space-time exists a Killing vector field with a time-like trajectory which approaches a point p on conformal infinity. It is shown that in a neighbourhood of the trajectory near p the space-time is conformally flat.