A BEEMIAN SAMPLER: 1966-2002 11 condition (4.5) was later dropped. As pointed out on Figure 8.1 of [24], non-globally hyperbolic space-times may be causally disconnected. By using local distance functions related to a compact exhaustion { Bn} of M, almost maximizers related to the local distance functions, and taking limits (thanks to strong causality), the following result was obtained. THEOREM 4.2. Let (M, g) denote a strongly causal space-time which is causally disconnected by a compact set K. Then M contains a nonspacelike geodesic line which intersects K. Here, a line is a past and future inextendible nonspacelike geodesic which real- izes the Lorentzian distance function between every pair of its points. Now, unlike the familiar situation in the global Riemannian geometry of complete Riemannian manifolds, no assertion is being made here that the line is geodesically complete, only that it is inextendible. With this result in hand, a singularity theorem fitting the pattern of (4.4) could be obtained: THEOREM 4.3. Let (M,g) be a chronological space-time of dimension greater than or equal to three which is causally disconnected. If (M, g) satisfies the time- like convergence condition and the generic condition, then (M, g) is nonspacelike geodesically incomplete. Lurking in the background is a well-used result in causality theory of General Relativity that if ( M, g) is a chronological space-time such that each inextendible null geodesic has a pair of conjugate points, then (M,g) is strongly causal (cf. [24], p. 467). In the statement of Theorem 4.3, we find two of the curvature conditions traditionally imposed in this branch of General Relativity. The first, the timelike convergence condition, is simply stated as Ric( v, v) 2:: 0 for all timelike tangent vectors v (hence, by continuity, the same condition holds for all nonspacelike tangent vectors). The second condition is somewhat more mysterious to differential geometers, and on a first pass can be paraphrased as the assertion that every inextendible nonspacelike geodesic has some suitable nonzero sectional curvature. Indeed, formulating this condition in various ways easier for differential geometers to understand was done in Beem and Ehrlich [21] and Beem, Ehrlich and Easley [24] cf. Beem and Parker [32] among others for a discussion of the physical aspects of this condition. In any event, the generic condition in the more unfriendly language of tensor calculus is discussed in the first author's second favorite passage in Hawking and Ellis ([64], p. 101), where K denotes the tangent vector to the null geodesic under consideration: "As in the timelike case, this condition will be satisfied for a null geodesic which passes through some matter provided that the matter is not pure radiation (energy-momentum tensor type II of §4.3) and moving in the direction of the geodesic tangent vector K. It will be satisfied in empty space if the null geodesic contains some point where the Weyl tensor is non-zero and where K does not lie in one of the directions (there are at most four such directions) at that point for which Kc Kd K[aCb]cd[eK!] = 0. It therefore seems reasonable to assume that in a physically realistic solution every timelike or null geodesic will contain a point at which

Purchased from American Mathematical Society for the exclusive use of nofirst nolast (email unknown) Copyright 2004 American Mathematical Society. Duplication prohibited. Please report unauthorized use to cust-serv@ams.org. Thank You! Your purchase supports the AMS' mission, programs, and services for the mathematical community.