In
modern physics (especially
general relativity)
spacetime is represented by a
Lorentzian manifold. The causal relations between points in the manifold are interpreted as describing which events in spacetime can influence which other events. The causal structure of an arbitrary (possibly curved) Lorentzian manifold is made more complicated by the presence of
curvature. Discussions of the causal structure for such manifolds must be phrased in terms of
smooth curves joining pairs of points. Conditions on the
tangent vectors of the curves then define the causal relationships.
Tangent vectors , the
causal future, the
causal past, and
elsewhere. The terminology is defined in this article. If \,(M,g) is a
Lorentzian manifold (for
metric g on
manifold M) then the nonzero tangent vectors at each point in the manifold can be classified into three
disjoint types. A tangent vector X is: •
timelike if \,g(X,X) •
null or
lightlike if \,g(X,X) = 0 •
spacelike if \,g(X,X) > 0 Here we use the (-,+,+,+,\cdots)
metric signature. We say that a tangent vector is
non-spacelike if it is null or timelike. The canonical Lorentzian manifold is
Minkowski spacetime, where M=\mathbb{R}^4 and g is the
flat Minkowski metric. The names for the tangent vectors come from the physics of this model. The causal relationships between points in Minkowski spacetime take a particularly simple form because the tangent space is also \mathbb{R}^4 and hence the tangent vectors may be identified with points in the space. The four-dimensional vector X = (t,r) is classified according to the sign of g(X,X) = - c^2 t^2 + \|r\|^2, where r \in \mathbb{R}^3 is a
Cartesian coordinate in 3-dimensional space, c is the constant representing the universal speed limit, and t is time. The classification of any vector in the space will be the same in all frames of reference that are related by a
Lorentz transformation (but not by a general
Poincaré transformation because the origin may then be displaced) because of the invariance of the metric.
Time-orientability At each point in M the timelike tangent vectors in the point's
tangent space can be divided into two classes. To do this we first define an
equivalence relation on pairs of timelike tangent vectors. If X and Y are two timelike tangent vectors at a point we say that X and Y are equivalent (written X \sim Y) if \,g(X,Y) . There are then two
equivalence classes which between them contain all timelike tangent vectors at the point. We can (arbitrarily) call one of these equivalence classes
future-directed and call the other
past-directed. Physically this designation of the two classes of future- and past-directed timelike vectors corresponds to a choice of an
arrow of time at the point. The future- and past-directed designations can be extended to null vectors at a point by continuity. A
Lorentzian manifold is
time-orientable if a continuous designation of future-directed and past-directed for non-spacelike vectors can be made over the entire manifold.
Curves A
path in M is a
continuous map \mu : \Sigma \to M where \Sigma is a nondegenerate interval (i.e., a connected set containing more than one point) in \mathbb{R}. A
smooth path has \mu differentiable an appropriate number of times (typically C^\infty), and a
regular path has nonvanishing derivative. A
curve in M is the image of a path or, more properly, an equivalence class of path-images related by re-parametrisation, i.e.
homeomorphisms or
diffeomorphisms of \Sigma. When M is time-orientable, the curve is
oriented if the parameter change is required to be
monotonic. Smooth regular curves (or paths) in M can be classified depending on their tangent vectors. Such a curve is •
chronological (or
timelike) if the tangent vector is timelike at all points in the curve. Also called a
world line. •
null if the tangent vector is null at all points in the curve. •
spacelike if the tangent vector is spacelike at all points in the curve. •
causal (or
non-spacelike) if the tangent vector is timelike
or null at all points in the curve. The requirements of regularity and nondegeneracy of \Sigma ensure that closed causal curves (such as those consisting of a single point) are not automatically admitted by all spacetimes. If the manifold is time-orientable then the non-spacelike curves can further be classified depending on their orientation with respect to time. A chronological, null or causal curve in M is •
future-directed if, for every point in the curve, the tangent vector is future-directed. •
past-directed if, for every point in the curve, the tangent vector is past-directed. These definitions only apply to causal (chronological or null) curves because only timelike or null tangent vectors can be assigned an orientation with respect to time. • A
closed timelike curve is a closed curve which is everywhere future-directed timelike (or everywhere past-directed timelike). • A
closed null curve is a closed curve which is everywhere future-directed null (or everywhere past-directed null). • The
holonomy of the ratio of the rate of change of the affine parameter around a closed null geodesic is the
redshift factor.
Causal relations There are several causal
relations between points x and y in the manifold M. • x
chronologically precedes y (often denoted \,x \ll y) if there exists a future-directed chronological (timelike) curve from x to • x
strictly causally precedes y (often denoted x ) if there exists a future-directed causal (non-spacelike) curve from x to y. • x
causally precedes y (often denoted x \prec y or x \le y) if x strictly causally precedes y or x=y. • x
horismos y (often denoted x \to y or x \nearrow y ) if x=y or there exists a future-directed null curve from x to y (or equivalently, x \prec y and x \not\ll y implies x \prec y (this follows trivially from the definition)) • x \prec y, y \ll z implies x \ll z • \prec, \to are
reflexive • The
chronological future of x, denoted \,I^+(x), as the set of all points y in M such that x chronologically precedes y: :\,I^+(x) = \{ y \in M | x \ll y\} • The
chronological past of x, denoted \,I^-(x), as the set of all points y in M such that y chronologically precedes x: :\,I^-(x) = \{ y \in M | y \ll x\} We similarly define • The
causal future (also called the
absolute future) of x, denoted \,J^+(x), as the set of all points y in M such that x causally precedes y: :\,J^+(x) = \{ y \in M | x \prec y\} • The
causal past (also called the
absolute past) of x, denoted \,J^-(x), as the set of all points y in M such that y causally precedes x: :\,J^-(x) = \{ y \in M | y \prec x\} • The
future null cone of x as the set of all points y in M such that x \to y. • The
past null cone of x as the set of all points y in M such that y \to x. • The
light cone of x as the future and past null cones of x together. •
elsewhere as points not in the light cone, causal future, or causal past. Points contained in \, I^+(x), for example, can be reached from x by a future-directed timelike curve. The point x can be reached, for example, from points contained in \,J^-(x) by a future-directed non-spacelike curve. In
Minkowski spacetime the set \,I^+(x) is the
interior of the future
light cone at x. The set \,J^+(x) is the full future light cone at x, including the cone itself. These sets \,I^+(x) ,I^-(x), J^+(x), J^-(x) defined for all x in M, are collectively called the
causal structure of M. For S a
subset of M we define :I^\pm[S] = \bigcup_{x \in S} I^\pm(x) :J^\pm[S] = \bigcup_{x \in S} J^\pm(x) For S, T two
subsets of M we define • The
chronological future of S relative to T, I^+[S;T], is the chronological future of S considered as a
submanifold of T. Note that this is quite a different concept from I^+[S] \cap T which gives the set of points in T which can be reached by future-directed timelike curves starting from S. In the first case the curves must lie in T in the second case they do not. See Hawking and Ellis. • The
causal future of S relative to T, J^+[S;T], is the causal future of S considered as a submanifold of T. Note that this is quite a different concept from J^+[S] \cap T which gives the set of points in T which can be reached by future-directed causal curves starting from S. In the first case the curves must lie in T in the second case they do not. See Hawking and Ellis. • A
future set is a set closed under chronological future. • A
past set is a set closed under chronological past. • An
indecomposable past set (IP) is a past set which isn't the union of two different open past proper subsets. • An IP which does not coincide with the past of any point in M is called a
terminal indecomposable past set (TIP). • A
proper indecomposable past set (PIP) is an IP which isn't a TIP. I^-(x) is a proper indecomposable past set (PIP). • The future
Cauchy development of S, D^+ (S) is the set of all points x for which every past directed inextendible causal curve through x intersects S at least once. Similarly for the past Cauchy development. The Cauchy development is the union of the future and past Cauchy developments. Cauchy developments are important for the study of
determinism. • A subset S \subset M is
achronal if there do not exist q,r \in S such that r \in I^{+}(q), or equivalently, if S is disjoint from I^{+}[S]. • A
Cauchy surface is a closed achronal set whose Cauchy development is M. • A metric is
globally hyperbolic if it can be foliated by Cauchy surfaces. • The
chronology violating set is the set of points through which closed timelike curves pass. • The
causality violating set is the set of points through which closed causal curves pass. • The boundary of the causality violating set is a
Cauchy horizon. If the Cauchy horizon is generated by closed null geodesics, then there's a
redshift factor associated with each of them. • For a causal curve \gamma, the
causal diamond is J^+(\gamma(t_1)) \cap J^-(\gamma(t_2)) (here we are using the looser definition of 'curve' whereon it is just a set of points), being the point \gamma(t_1) in the causal past of \gamma(t_2). In words: the causal diamond of a particle's world-line \gamma is the set of all events that lie in both the past of some point in \gamma and the future of some point in \gamma. In the discrete version, the causal diamond is the set of all the causal paths that connect \gamma(t_2) from \gamma(t_1).
Properties See Penrose (1972), p13. • A point x is in \,I^-(y) if and only if y is in \,I^+(x). • x \prec y \implies I^-(x) \subset I^-(y) • x \prec y \implies I^+(y) \subset I^+(x) • I^+[S] = I^+[I^+[S \subset J^+[S] = J^+[J^+[S • I^-[S] = I^-[I^-[S \subset J^-[S] = J^-[J^-[S • The horismos is generated by null geodesic congruences.
Topological properties: • I^\pm(x) is open for all points x in M. • I^\pm[S] is open for all subsets S \subset M. • I^\pm[S] = I^\pm[\overline{S}] for all subsets S \subset M. Here \overline{S} is the
closure of a subset S. • I^\pm[S] \subset \overline{J^\pm[S]} == Conformal geometry ==