By reading the beginning of the article it becomes clear why one
need to study the causal structure (chapter )
and the energy condition (chapter ).
The theorem 1, if an asymptotically flat, globally hyperbolic spacetime satisfies the averaged null energy condition , then every causal curve from to is deformable to , need to be translate in a more common language.
Figure: Penrose diagram of a spacetime which illustrate the topological
censorship. note that the singular region is not fully represent.
First the hypotheses, from the observation it seems to be a reasonable assumption to take an asymptotically flat space. The averaged null energy condition, which say that an observer always measures a cumulative non negative energy density along any curve is agreed by all experiments done until now. The only assumption very restrictive is the one of globally hyperbolic (see definition page ).
The existence of a Cauchy surface is not something proved, but nothing is against also. However given the discussion of stably causal spacetimes it is reasonnable.
To see the topology one need to have a causal curve which, passes through the topology and can reach us.
In other words a causal curve is piecewise timelike (path of massive particles) or null (path of zero-mass particles).
This theorem states that every causal curve from to , i.e. all the curve that reach us, are deformable to which nevers enter in the region containing the topology. And, because curves which go through region containing topology cannot be deformed to ones which do not, we are not able to probe the topology! It is always behind the horizon of events we see.