Causality conditions

Causality conditions

In the study of Lorentzian manifold spacetimes there exists a hierarchy of causality conditions which are important in proving mathematical theorems about the global structure of such manifolds. These conditions were collected during the late 1970s.E. Minguzzi and M. Sanchez, [http://arxiv.org/abs/gr-qc/0609119v3 "The causal hierarchy of spacetimes"] in H. Baum and D. Alekseevsky (eds.), vol. Recent developments in pseudo-Riemannian geometry, ESI Lect. Math. Phys., (Eur. Math. Soc. Publ. House, Zurich, 2008), p. 299-358, ISBN=978-3-03719-051-7, arXiv:gr-qc/0609119v3]

The weaker the causality condition on a spacetime, the more "unphysical" the spacetime is. Spacetimes with closed timelike curves, for example, present severe interpretational difficulties. See the grandfather paradox.

It is reasonable to believe that any physical spacetime will satisfy the strongest causality condtion: global hyperbolicity. For such spacetimes the equations in general relativity can be posed as an initial value problem on a Cauchy surface.

The hierarchy

There is a hierarchy of causality conditions, each one of which is strictly stronger than the previous. This is sometimes called the causal ladder. The conditions, from weakest to strongest, are:

* Non-totally vicious
* Chronological
* Causal
* Distinguishing
* Strongly causal
* Stably causal
* Causally continuous
* Causally simple
* Globally hyperbolic

We now give definitions of these causality conditions for a Lorentzian manifold (M,g). Where two or more are given they are equivalent.

Notation:
* p ll q denotes the chronological relation.
* p prec q denotes the causal relation.(See causal structure for definitions.)

Non-totally vicious

* For some points p in M we have p otll p.

Chronological

* There are no closed chronological (timelike) curves.
* The chronological relation is irreflexive: p otll p for all p in M .

Causal

* There are no closed causal (non-spacelike) curves.
* If both p prec q and q prec p then p = q

Distinguishing

Past-distinguishing

* Two points p, q in M which share the same chronological past are the same point:I^-(p) = I^-(q) implies p = q
* For any neighborhood U of p in M there exists a neighborhood V subset U, p in V such that no past-directed non-spacelike curve from p intersects V more than once.

Future-distinguishing

* Two points p, q in M which share the same chronological future are the same point:I^+(p) = I^+(q) implies p = q
* For any neighborhood U of p in M there exists a neighborhood V subset U, p in V such that no future-directed non-spacelike curve from p intersects V more than once.

Strongly causal

* For any neighborhood U of p in M there exists no timelike curve that passes through U more than once.
* For any neighborhood U of p in M there exists a neighborhood V subset U, p in V such that V is causally convex in M (and thus in U).
* The Alexandrov topology agrees with the manifold topology.

Stably causal

A manifold satisfying any of the weaker causality conditions defined above will fail to do so if the metric is given a small perturbation. A spacetime is stably causal if it cannot be made to contain closed causal curves by arbitrarily small perturbations of the metric. Stephen Hawking showedS.W. Hawking, [http://links.jstor.org/sici?sici=0080-4630%2819690114%29308%3A1494%3C433%3ATEOCTF%3E2.0.CO%3B2-U "The existence of cosmic time functions"] Proc. R. Soc. Lond. (1969), A308, 433] that this is equivalent to:

* There exists a "global time function" on M. This is a scalar field t on M whose gradient abla^a t is everywhere timelike and future-directed. This "global time function" gives us a stable way to distinguish between future and past for each point of the spacetime (and so we have no causal violations).

Globally hyperbolic

* ,M is strongly causal and every set J^+(x) cap J^-(y) (for points x,y in M) is compact.
Robert Geroch showedR. Geroch, [http://link.aip.org/link/?JMAPAQ/11/437/1 "Domain of Dependence"] J. Math. Phys. (1970) 11, 437-449] that a spacetime is globally hyperbolic if and only if there exists a Cauchy surface for M. This means that:
* M is topologically equivalent to mathbb{R} imes S for some Cauchy surface S (Here mathbb{R} denotes the real line).

See also

* Spacetime
* Lorentzian manifold
* Causal structure
* Globally hyperbolic
* Closed timelike curve

References

*cite book | author=S.W. Hawking, G.F.R. Ellis, | title=The Large Scale Structure of Spacetime | location=Cambridge | publisher=Cambridge University Press | year=1973 | id=ISBN 0-521-20016-4

*cite book | author = S.W. Hawking, W. Israel, | title = General Relativity, an Einstein Centenary Survey| publisher = Cambridge University Press | year 1979 | id=ISBN 0-521-22285-0


Wikimedia Foundation. 2010.

Игры ⚽ Поможем написать курсовую

Look at other dictionaries:

  • Causality — (but not causation) denotes a necessary relationship between one event (called cause) and another event (called effect) which is the direct consequence (result) of the first. [http://dictionary.reference.com/search?q=Causality x=35 y=25 Random… …   Wikipedia

  • Causality (physics) — Causality [Green, Celia (2003). The Lost Cause: Causation and the Mind Body Problem . Oxford: Oxford Forum. ISBN 0 9536772 1 4. Includes three chapters on causality at the microlevel in physics.] [Bunge, Mario (1959). Causality: the place of the… …   Wikipedia

  • Closed timelike curve — In mathematical physics, a closed timelike curve (CTC) is a worldline in a Lorentzian manifold, of a material particle in spacetime that is closed, returning to its starting point. This possibility was first raised by Kurt Gödel in 1949, who… …   Wikipedia

  • Globally hyperbolic — (also global hyperbolicity) is a term describing the causal structure of a spacetime manifold in Einstein s theory of general relativity, or potentially in other metric gravitational theories.Open sets are used in discussing the global… …   Wikipedia

  • Causal structure — This article is about the possible causal relationships among points in a Lorentzian manifold. For classification of Lorentzian manifolds according to the types of causal structures they admit, see Causality conditions. In mathematical physics,… …   Wikipedia

  • Marvin Goldberger — Marvin Leonard Goldberger (* 22. Oktober 1922 in Chicago) ist ein US amerikanischer theoretischer Physiker. Leben und Werk Goldberger studierte an der Universität Chicago, wo er 1949 bei Enrico Fermi über die Streuung von Neutronen hoher Energie… …   Deutsch Wikipedia

  • Marvin Leonard Goldberger — Marvin „Murph“ Leonard Goldberger (* 22. Oktober 1922 in Chicago) ist ein US amerikanischer theoretischer Physiker. Leben und Werk Goldberger studierte am Carnegie Institute of Technology (Bachelor Abschluss 1943) und an der Universität Chicago,… …   Deutsch Wikipedia

  • List of mathematics articles (C) — NOTOC C C closed subgroup C minimal theory C normal subgroup C number C semiring C space C symmetry C* algebra C0 semigroup CA group Cabal (set theory) Cabibbo Kobayashi Maskawa matrix Cabinet projection Cable knot Cabri Geometry Cabtaxi number… …   Wikipedia

  • Gell-Mann — Murray Gell Mann Murray Gell Mann an der Harvard University Murray Gell Mann [1](* 15. Septembe …   Deutsch Wikipedia

  • Murray Gell-Mann — an der Harvard University …   Deutsch Wikipedia

Share the article and excerpts

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