Causal structure

Causal structure


In mathematical physics, the causal structure of a Lorentzian manifold describes the causal relationships between points in the manifold.

Contents

Introduction

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.

Minkowski spacetime is a simple example of a Lorentzian manifold. The causal relationships between points in Minkowski spacetime take a particularly simple form since the space is flat. See Causal structure of Minkowski spacetime for more information.

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

If \,(M,g) is a Lorentzian manifold (for metric g on manifold M) then the tangent vectors at each point in the manifold can be classed into three different types. A tangent vector X is

  • timelike if \,g(X,X) > 0
  • null if \,g(X,X) = 0
  • spacelike if \,g(X,X) < 0

(Here we use the (+,-,-,-,\cdots) metric signature). A tangent vector is called "non-spacelike" if it is null or timelike.

These names come from the simpler case of Minkowski spacetime (see Causal structure of Minkowski spacetime).

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 XY) if \,g(X,Y) > 0.

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[1] 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 Σ is a nondegenerate interval (i.e., a connected set containing more than one point) in \mathbb{R}. A smooth path has μ 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 Σ. 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.
  • 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 Σ 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 chronological, null and causal 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 two types of 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 y.
  • x causally precedes y (often denoted x \prec y or x \le y) if there exists a future-directed causal (non-spacelike) curve from x to y or x = y.
  • x strictly causally precedes y (often denoted x < y) if there exists a future-directed causal (non-spacelike) curve from x to y.
  • x horismos y[2] (often denoted x \to y or  x \nearrow y ) if x \prec y and x \not\ll y.

These relations are transitive[3]:

  • x \ll y, y \ll z implies x \ll z
  • \,x \prec y, \,y \prec z implies \,x \prec z

and satisfy[3]

  • x \ll y implies x \prec y (this follows trivially from the definition)
  • x \ll y, y \prec z implies x \ll z
  • x \prec y, y \ll z implies x \ll z

Causal structure

For a point x in the manifold M we define[3]

  • 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\}

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.

As a simple example, 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[3]

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 S 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 S 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 is a past set which isn't the union of two different open past proper subsets.
  • I (x) is a proper indecomposable past set (PIP).
  • A terminal indecomposable past set (TIP) is an IP which isn't a PIP.
  • The future Cauchy development of S, D + (S) is the set of all points for which a past directed curve 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 Cauchy surface is an acausal 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.
  • For a causal curve γ, the causal diamond is J^+(\gamma) \cap J^-(\gamma) (here we are using the looser definition of 'curve' whereon it is just a set of points). In words: the causal diamond of a particle's world-line γ is the set of all events that lie in both the past of some point in γ and the future of some point in γ.

Properties

See Penrose, 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.
  • J^\pm[S] \subset \overline{I^\pm[S]}

Conformal geometry

Two metrics \,g and \hat{g} are conformally related[4] if \hat{g} = \Omega^2 g for some real function Ω called the conformal factor. (See conformal map).

Looking at the definitions of which tangent vectors are timelike, null and spacelike we see they remain unchanged if we use \,g or \hat{g}. As an example suppose X is a timelike tangent vector with respect to the \,g metric. This means that \,g(X,X) > 0. We then have that \hat{g}(X,X) = \Omega^2 g(X,X) > 0 so X is a timelike tangent vector with respect to the \hat{g} too.

It follows from this that the causal structure of a Lorentzian manifold is unaffected by a conformal transformation.

See also

Notes

  1. ^ Hawking & Israel 1979, p. 255
  2. ^ Penrose 1972, p. 15
  3. ^ a b c d Penrose 1972, p. 12
  4. ^ Hawking & Ellis 1973, p. 42

References

Further reading

  • A.V. Levichev; Prescribing the conformal geometry of a lorentz manifold by means of its causal structure; Soviet Math. Dokl. 35:452-455, (1987); (Geometry, Causal Structure)

External links


Wikimedia Foundation. 2010.

Игры ⚽ Поможем решить контрольную работу

Look at other dictionaries:

  • Causal set theory bibliography — Main article: Causal Sets This Causal Set Theory Bibliography is intended to aid causal set research. It gathers together academic papers, books, talks and PhD theses related to causal set theory and is intended to help readers find references… …   Wikipedia

  • Causal dynamical triangulation — Beyond the Standard Model Standard Model …   Wikipedia

  • Causal sets — The causal sets programme is an approach to quantum gravity. Its founding principle is that spacetime is fundamentally discrete and that the spacetime points are related by a partial order. This partial order has the physical meaning of the… …   Wikipedia

  • Causal contact — Two entities are in causal contact if there may be an event that has affected both in a causal way. Every object of mass in space, for instance, exerts a field force on all other objects of mass, according to Newton s law of universal gravitation …   Wikipedia

  • Structure formation — refers to a fundamental problem in physical cosmology. The universe, as is now known from observations of the cosmic microwave background radiation, began in a hot, dense, nearly uniform state approximately 13.7 Gyr ago. [cite journal |author=D.… …   Wikipedia

  • Causal layered analysis — (CLA) is one of several futures techniques used as a means to inquire into the causes of social phenomena and to generate a set of forecasts as to the future course of the phenomena.As a theory, CLA seeks to integrate empiricist, interpretive,… …   Wikipedia

  • structure — structure, social structure A term loosely applied to any recurring pattern of social behaviour; or, more specifically, to the ordered interrelationships between the different elements of a social system or society . Thus, for example, the… …   Dictionary of sociology

  • Causal Markov condition — The Markov condition for a Bayesian network states that any node in a Bayesian network is conditionally independent of its nondescendents, given its parents. A node is conditionally independent of the entire network, given its Markov blanket.The… …   Wikipedia

  • The Structure of Scientific Revolutions — (1962), by Thomas Kuhn, is an analysis of the history of science. Its publication was a landmark event in the sociology of knowledge, and popularized the terms paradigm and paradigm shift .HistoryThe work was first published as a monograph in the …   Wikipedia

  • occupational structure — This refers to the aggregate distribution of occupations in society, classified according to skill level, economic function, or social status. The occupational structure is shaped by various factors: the structure of the economy (the relative… …   Dictionary of sociology

Share the article and excerpts

Direct link
Do a right-click on the link above
and select “Copy Link”