Let $(\hat{M},\hat{g})$ be the conformal compactification of a space-time $(M,g)$. Let $I^+$ be the conformal null infinity and $J^{-}(I^+)$ be its causal past. Then the spacetime will be called "asymptotically strongly predictable" if there exists a subset $\hat{V}$ of $\hat{M}$ such that $(\hat{V},\hat{g})$ is globally hyperbolic and contains the closure in $\hat{M}$ of $M \cap J^{-}(I^+)$. Define as a "black hole" the region $B=M /\ J^{-}(I^+)$.

I think from the above it should imply that there cannot be a causal curve which starts in the region $B$ and enters $M \cap \hat{V}$. Is this correct and if yes then how does one prove it?

(In specific examples what happens is that such a curve cannot remain always causal if it has to do such a journey. But I guess this not a good way of thinking since the restriction is purely topological)

Under the above conditions when does it also follow that $(M \cap \hat{V},\hat{g})$ and/or $(M\cap \hat{V},g)$ is globally hyperbolic?

What is the meaning of "trace of a terminally indecomposable past set" ? Is there any special significance if a compact set happens to be the trace of a terminally indecomposable past set of a maximal future directed time-like curve? (Reading around I get the impression that such compact sets somehow specify physically reasonable initial conditions)

1 Answer
1

1st statement is false. You need to add "future directed", else a past causal curve can of course leave the black hole region, since time-reversed, it is just a white-hole. For the correct statement, the proof is immediate following the usual causal relations of Penrose and Kronheimer: if $\exists$ such a causal curve, there must $\exists p,q$ such that $p\in B$ and $q\in \hat{V}$ with $q \in J^+(p)$. Which is equivalent to $p \in J^-(q)$. Now using that the causal relations form an ordering, you have that

$$p \in J^-(q), q\in J^-(I^+) \implies p \in J^-(I^+) $$

contradicting the assumption that $p\in B$. (As a side remark, this is very, very basic stuff. If the question were just about this fact, I would've voted to close. You should read E. H. Kronheimer and R. Penrose (1967). On the structure of causal spaces. Mathematical Proceedings of the Cambridge Philosophical Society, 63.)

(Second side remark: I don't think the word topological means what you think it means. Pure topology is not enough to contrain causal structure, beyond some trivial things about Euler characteristic and completely compact space-times.)

For the second question (labeled 1 again by the Markdown software), it is important to remember that the causal structure of space-time is conformally invariant, and that global hyperbolicity is an intrinsic notion rather than extrinsic. To say it another way, you need to remember that

If $(V,g)$ is a globally hyperbolic space-time domain, then for any conformal change of metric $g\to \hat{g}$, $(V,\hat{g})$ is also globally hyperbolic. (This is immediate using the Cauchy surface definition, since conformal changes preserve causal relations; using the compact causal diamond definition, you need to remember that continuous functions attain its maxima and minima on a compact set.)

If $(V,g)$ is a globally hyperbolic space-time domain, and let $\phi$ be an isometric embedding of $(V,g)\to (M,\hat{g})$, then, the restricion $(\phi(V),\hat{g})$ is also globally hyperbolic.

So, $\hat V$ embeds into $\hat V \cap M$ isometrically by the identity map. And $(\hat V, \hat g)$ is globally hyperbolic, so by the above two points its image must be globally hyperbolic. (By the way, the above two observations are trivial consequences of the definitions for global hyperbolicity. You should be able to prove them yourself.)

For your third question (as a side remark: the question is actually pretty poorly posed. If you are going to ask about terminology, please at least provide a reference on which paper it is in which you found the phrase that is confusing you; my crystal ball tells me that you are asking about Christodoulou's 1999 CQG paper "On the global initial value problem and the issue of singularities", but most other people won't have a convenient divination device in their office.), it helps to note that the original phrase is about

the trace of a terminally indecomposable past set on a space-like hypersurface.

And as such it means the same thing generally meant when you take the trace of any object onto a hypersurface: as a set you want to consider the intersection of whatever object you are talking about with the hypersurface, and you want to inherit any geometric structure by pushing forward with the restriction operator.

In context the condition that "the trace of a TIP on a space-like hypersurface is compact" means that the intersection of the TIP with the space-like hypersurface is a compact set in the induced topology of the hypersurface.

The intuition is that in Minkowski space (or any small perturbations of it), the only TIP associated to maximal time-like geodesics is the whole space-time. And in particular, its trace on any Cauchy hypersurface cannot be compact. (For maximal time-like curves, you can get particle horizons if the curves become asymptotically null, but it is easy to see that those TIPs correspond to a half-space in Minkowski space that lies below a null hyperplane, so the same conclusion holds.) In general, if you have a compactification of space-time with a future time-like infinity (the terminus of all maximally extended, complete future time-like curve), then the TIP associated to it must have non-compact trace on any Cauchy hypersurface.

So in fact, I think your parenthetical impression is completely wrong. That a TIP has compact trace should suggest to you that the maximal time-like curve your are looking at is incomplete, which should suggest to you that its terminus is a "singularity". (You should compare this picture with the usual picture in the Penrose singularity theorem.) Which is why Christodoulou formulated his version of weak cosmic censorship conjecture in terms of such sets. (It would also do you good to work through the paper of Geroch, Kronheimer and Penrose, "Ideal Points in Space-time", Proc. Roy. Soc. London (1972). )

@ I guess somehow I couldn't communicate the point that was confusing me about the first question. If $(\hat{M},\hat{g})$ is the conformal compactification of $(M,g)$ then I am a bit confused about the notation of saying $M\cap J^−(I^+)$ since the two sets among which the intersection is being taken don't belong in the same space. If say $\phi$ is the conformal isometric embedding map from $(M,g)$ to $(\hat{M},\hat{g})$ then do these notations imply $ϕ(M)\cap J^−(I^+)$ and $ϕ(M) /\ J^−(I^+)$? {After that the ordering relation argument is obvious}
–
AnirbitNov 23 '10 at 22:15

Similarly I find your statement about $\hat{V}$ isometrically embedding into $\hat{V} \cap M$ bit confusing. I again seem to run into the same confusion with notation. I would think that $(\phi(M) \cap \hat{V},\hat{g})$ is also globally hyperbolic but for reasons not completely clear to me.
–
AnirbitNov 23 '10 at 22:26

Ah, so it is just a problem with notation. By typical abuse of notation, $M$ is identified with $\phi(M)$ and $g$ with $\phi_*g$ where $\phi:M\to \hat{M}$ is the map from the manifold $M$ to the manifold with boundary $\hat{M}$ such that $\hat{M}$ is a compactification of $M$. So you are right technically, that one should speak of instead of $M\cap J^-(I^+)$, the set $\phi^{-1}( \phi(M) \cap J^-(I^+))$, but seeing that written out you'll probably agree that notation-wise, it is pedantic and cumbersome, and doesn't really convey useful additional meaning.
–
Willie WongNov 23 '10 at 22:35

So by trace of a TIP on a Cauchy surface one means the intersection of the TIP with the Cauchy surface? Can you explain your comment about the maximal time-like curve being incomplete if this intersection is compact? (I guess I am missing some basic differential geometry here)
–
AnirbitNov 23 '10 at 22:40

Yes. That's generally what is meant by the trace. About maximal time-like curve: think Schwarzschild. A complete time-like geodesic must hit future time infinity, and its past will be the entire domain of outer communications, hence non-compact. So any time-like geodesic whose past, when intersected against a Cauchy slice, is compact, must be one that terminates at the singularity. Note the word "intuition" used in my answer: this is in no way precise, just a simple guess based on the cases we do understand. (Incomplete is used here to mean inextensible but has finite affine parameter.)
–
Willie WongNov 23 '10 at 23:44