Lensing in asymptotically simple and empty spacetimes

In elementary optics one often considers “light sources at infinity” which are characterized by the fact that all light rays emitted from such a source are parallel to each other. In general relativity, “light sources at infinity” can be defined if one restricts to a special class of spacetimes. These spacetimes, known as “asymptotically simple and empty” are, in particular, globally hyperbolic. Their formal definition, which is due to Penrose [326], reads as follows (cf. [193], p. 222., and [148], Section 2.3). (Recall that a spacetime is called “strongly causal” if each neighborhood of an event

padmits a smaller neighborhood that is intersected by any non-spacelike curve at most once.) A spacetime (_M, g,) is called asymptotically simple and empty if there is a strongly causal spacetime ( ˜_M,g˜) with the following properties:

(S1)_Mis an open submanifold of ˜_Mwith a non-empty boundary∂_M.

(S2) There is a smooth function Ω : ˜_{M −→}R_{such thatM={p∈M|}˜ _{Ω(p)>0},∂M={p∈}

˜

M|Ω(p) = 0_},dΩ= 0 everywhere on₆ ∂_Mand ˜g= Ω2_{g on} M.

(S3) Every inextendible lightlike geodesic in_Mhas past and future end-point on∂_M. (S4) There is a neighborhoodV of∂Msuch that the Ricci tensor ofg vanishes onV ∩ M. Asymptotically simple and empty spacetimes are mathematical models of transparent uncharged gravitating bodies that are isolated from all other gravitational sources. In view of lensing, the transparency condition (S3) is particularly important.

We now summarize some well-known facts about asymptotically simple and empty spacetimes (cf. again [193], p. 222, and [148], Section 2.3). Every asymptotically simple and empty spacetime is globally hyperbolic. ∂_Mis a ˜g-lightlike hypersurface of ˜_M. It has two connected components, denoted I+ _and I−_{. Each lightlike geodesic in (M, g) has past end-point on} I− _{and future} end-point on I+_{. Geroch [166] gave a proof that every Cauchy surface C of an asymptotically} simple and empty spacetime has topologyR3_{and that}I±_{has topologyS}2_×R_{. The original proof,}

which is repeated in [193], is incomplete. A complete proof that_C must be contractible and that I±_{has topologyS}2_×R_{was given by Newman and Clarke [305] (cf. [304]); the stronger statement}

that_Cmust have topologyR3_{needs the assumption that the Poincar´e conjecture is true (i.e., that}

every compact and simply connected 3-manifold is a 3-sphere). In [305] the authors believed that the Poincar´e conjecture was proven, but the proof they are refering to was actually based on an error. As the more recent proof of the Poincar´e conjecture by Perelman [331] (cf. [281]) has been generally accepted as being correct, the matter is now settled.

AsI±_{is a lightlike hypersurface in ˜M, it is in particular a wave front in the sense of Section 2.2.} The generators ofI± _{are the integral curves of the gradient of Ω. The generators of}I− _{can be} interpreted as the “worldlines” of light sources at infinity that send light into_M. The generators of I+ _{can be interpreted as the “worldlines” of observers at infinity that receive light fromM.} This interpretation is justified by the observation that each generator ofI± _{is the limit curve for} a sequence of timelike curves in_M.

For an observation eventpOinside Mand light sources at infinity, lensing can be investigated in terms of the exact lens map (recall Section 2.1), with the role of the source surface_T played by I−_{. (For the mathematical properties of the lens map it is rather irrelevant whether the source} surface is timelike, lightlike or even spacelike. What matters is that the arriving light rays meet the source surface transversely.) In this case the lens map is a map S2

→ S2_{, namely from the} celestial sphere of the observer to the set of all generators of I−_{. One can construct it in two}

steps: First determine the intersection of the past light cone ofpO with I−, then project along the generators. The intersections of light cones with I± _{(“light cone cuts of null infinity”) have} been studied in [242, 241].

One can assign a mapping degree (= Brouwer degree = winding number) to the lens mapS2 →

S2 _{and prove that it must be}

±1 [338]. (The proof is based on ideas of [305, 304]. Earlier proofs of similar statements – [241], Lemma 1, and [336], Theorem 6 – are incorrect, as outlined in [338].) Based on this result, the following odd-number theorem can be proven for observer and light source inside _M [338]: Fix a point pO and a timelike curve γS in an asymptotically simple and empty spacetime (_M, g). Assume that the image of γS is a closed subset of ˜M \I+ and thatγSmeets neither the pointpO nor the caustic of the past light cone ofpO. Then the number of past-pointing lightlike geodesics frompO to γS inMis finite and odd. The same result can be proven with the help of Morse theory (see Section 3.3).

We will now give an argument to the effect that in an asymptotically simple and empty space- time the non-occurrence of multiple imaging is rather exceptional. The argument starts from a standard result that is used in the Penrose–Hawking singularity theorems. This standard result, given as Proposition 4.4.5 in [193], says that along a lightlike geodesic that starts at a pointpO there must be a point conjugate topO, provided that

1. the so-called generic condition is satisfied atpO,

2. the weak energy condition is satisfied along the geodesic, and 3. the geodesic can be extended sufficiently far.

The last assumption is certainly true in an asymptotically simple and empty spacetime because there all lightlike geodesics are complete. Hence, the generic condition and the weak energy condition guarantee that every past light cone must have a caustic point. We know from Section 3.1 that this implies multiple imaging for every observer. In other words, the only asymptotically simple and empty spacetimes in which multiple imaging doesnot occur are non-generic cases (like Minkowski spacetime) and cases where the gravitating bodies have negative energy.

The result that, under the aforementioned conditions, light cones in an asymptotically simple and empty spacetime must have caustic points is due to [208]. This paper investigates the past light cones of points on I+ _{and their caustics. These light cones are the generalizations, to an} arbitrary asymptotically simple and empty spacetime, of the lightlike hyperplanes in Minkowski spacetime. With their help, the eikonal equation (Hamilton–Jacobi equation)gij_∂

iS∂jS= 0 in an

asymptotically simple and empty spacetime can be studied in analogy to Minkowski spacetime [157, 156]. In Minkowski spacetime the lightlike hyperplanes are associated with a two-parameter family of solutions to the eikonal equation. In the terminology of classical mechanics such a family is called acomplete integral. Knowing a complete integral allows constructing all solutions to the Hamilton– Jacobi equation. In an asymptotically simple and empty spacetime the past light cones of points onI+ _{give us, again, a complete integral for the eikonal equation, but now in a generalized sense,} allowing for caustics. These past light cones are wave fronts, in the sense of Section 2.2, and cannot be represented as surfacesS= constant near caustic points. The way in which all other wave fronts can be determined from knowledge of this distinguished family of wave fronts is detailed in [156]. The distinguished family of wave fronts gives a natural choice for the space of trial maps in the Frittelli–Newman variational principle which was discussed in Section 2.9.