Cauchy surface

Last updated January 22, 2024

In the mathematical field of Lorentzian geometry, a Cauchy surface is a certain kind of submanifold of a Lorentzian manifold. In the application of Lorentzian geometry to the physics of general relativity, a Cauchy surface is usually interpreted as defining an "instant of time". In the mathematics of general relativity, Cauchy surfaces provide boundary conditions for the causal structure in which the Einstein equations can be solved (using, for example, the ADM formalism.)

Informal introduction

Although it is usually phrased in terms of general relativity, the formal notion of a Cauchy surface can be understood in familiar terms. Suppose that humans can travel at a maximum speed of 20 miles per hour. This places constraints, for any given person, upon where they can reach by a certain time. For instance, it is impossible for a person who is in Mexico at 3 o'clock to arrive in Libya by 4 o'clock; however it is possible for a person who is in Manhattan at 1 o'clock to reach Brooklyn by 2 o'clock, since the locations are ten miles apart. So as to speak semi-formally, ignore time zones and travel difficulties, and suppose that travelers are immortal beings who have lived forever.

The system of all possible ways to fill in the four blanks in

"A person in (location 1) at (time 1) can reach (location 2) by (time 2)"

defines the notion of a causal structure. A Cauchy surface for this causal structure is a collection of pairs of locations and times such that, for any hypothetical traveler whatsoever, there is exactly one location and time pair in the collection for which the traveler was at the indicated location at the indicated time.

There are a number of uninteresting Cauchy surfaces. For instance, one Cauchy surface for this causal structure is given by considering the pairing of every location with the time of 1 o'clock (on a certain specified day), since any hypothetical traveler must have been at one specific location at this time; furthermore, no traveler can be at multiple locations at this time. By contrast, there cannot be any Cauchy surface for this causal structure that contains both the pair (Manhattan, 1 o'clock) and (Brooklyn, 2 o'clock) since there are hypothetical travelers that could have been in Manhattan at 1 o'clock and Brooklyn at 2 o'clock.

There are, also, some more interesting Cauchy surfaces which are harder to describe verbally. One could define a function τ from the collection of all locations into the collection of all times, such that the gradient of τ is everywhere less than 1/20 hours per mile. Then another example of a Cauchy surface is given by the collection of pairs

{\Big \{}{\big (}p,\tau (p){\big )}:p{\text{ a location on Earth}}{\Big \}}.

The point is that, for any hypothetical traveler, there must be some location $p$ which the traveler was at, at time $τ(p)$ ; this follows from the intermediate value theorem. Furthermore, it is impossible that there are two locations $p$ and $q$ and that there is some traveler who is at $p$ at time $τ(p)$ and at $q$ at time $τ(q)$ , since by the mean value theorem they would at some point have had to travel at speed $.mw-parser-output .sfrac{white-space:nowrap}.mw-parser-output .sfrac.tion,.mw-parser-output .sfrac .tion{display:inline-block;vertical-align:-0.5em;font-size:85%;text-align:center}.mw-parser-output .sfrac .num,.mw-parser-output .sfrac .den{display:block;line-height:1em;margin:0 0.1em}.mw-parser-output .sfrac .den{border-top:1px solid}.mw-parser-output .sr-only{border:0;clip:rect(0,0,0,0);height:1px;margin:-1px;overflow:hidden;padding:0;position:absolute;width:1px}dist(p,q)/|τ(p) − τ(q)|$ , which must be larger than "20 miles per hour" due to the gradient condition on τ: a contradiction.

The physical theories of special relativity and general relativity define causal structures which are schematically of the above type ("a traveler either can or cannot reach a certain spacetime point from a certain other spacetime point"), with the exception that locations and times are not cleanly separable from one another. Hence one can speak of Cauchy surfaces for these causal structures as well.

Mathematical definition and basic properties

Let $(M, g)$ be a Lorentzian manifold. One says that a map $c : (a, b) \to M$ is an inextensible differentiable timelike curve in $(M, g)$ if:

it is differentiable
$c (t)$ is timelike for each $t$ in the interval $(a, b)$
$c (t)$ does not approach a limit as $t$ increases to $b$ or as $t$ decreases to $a$ .^[1]

A subset $S$ of $M$ is called a Cauchy surface if every inextensible differentiable timelike curve in $(M, g)$ has exactly one point of intersection with $S$ ; if there exists such a subset, then $(M, g)$ is called globally hyperbolic.

The following is automatically true of a Cauchy surface $S$ :

The subset $S \subset M$ is topologically closed and is an embedded continuous (and even Lipschitz) submanifold of $M$ . The flow of any continuous timelike vector field defines a homeomorphism $S \times ℝ \to M$ . By considering the restriction of the inverse to another Cauchy surface, one sees that any two Cauchy surfaces are homeomorphic.

It is hard to say more about the nature of Cauchy surfaces in general. The example of

{\Big \{}(t,x,y,z):t^{2}={\frac {x^{2}+y^{2}+z^{2}}{2}}{\Big \}}

as a Cauchy surface for Minkowski space $ℝ 3,1$ makes clear that, even for the "simplest" Lorentzian manifolds, Cauchy surfaces may fail to be differentiable everywhere (in this case, at the origin), and that the homeomorphism $S \times ℝ \to M$ may fail to be even a $C 1$ -diffeomorphism. However, the same argument as for a general Cauchy surface shows that if a Cauchy surface $S$ is a $C k$ -submanifold of $M$ , then the flow of a smooth timelike vector field defines a $C k$ -diffeomorphism $S \times ℝ \to M$ , and that any two Cauchy surfaces which are both $C k$ -submanifolds of $M$ will be $C k$ -diffeomorphic.

Furthermore, at the cost of not being able to consider arbitrary Cauchy surface, it is always possible to find smooth Cauchy surfaces (Bernal & Sánchez 2003):

Given any smooth Lorentzian manifold $(M, g)$ which has a Cauchy surface, there exists a Cauchy surface $S$ which is an embedded and spacelike smooth submanifold of $M$ and such that $S \times ℝ$ is smoothly diffeomorphic to $M$ .

Cauchy developments

Let $(M, g)$ be a time-oriented Lorentzian manifold. One says that a map $c : (a, b) \to M$ is a past-inextensible differentiable causal curve in $(M, g)$ if:

it is differentiable
$c'(t)$ is either future-directed timelike or future-directed null for each $t$ in the interval $(a, b)$
$c (t)$ does not approach a limit as $t$ decreases to $a$

One defines a future-inextensible differentiable causal curve by the same criteria, with the phrase "as $t$ decreases to $a$ " replaced by "as $t$ increases to $b$ ". Given a subset $S$ of $M$ , the future Cauchy development $D + (S)$ of $S$ is defined to consist of all points $p$ of $M$ such that if $c : (a, b) \to M$ is any past-inextensible differentiable causal curve such that $c (t) = p$ for some $t$ in $(a, b)$ , then there exists some $s$ in $(a, b)$ with $c (s) \in S$ . One defines the past Cauchy development $D - (S)$ by the same criteria, replacing "past-inextensible" with "future-inextensible".

Informally:

The future Cauchy development of $S$ consists of all points $p$ such that any observer arriving at $p$ must have passed through $S$ ; the past Cauchy development of $S$ consists of all points $p$ such that any observer leaving from $p$ will have to pass through $S$ .

The Cauchy development $D (S)$ is the union of the future Cauchy development and the past Cauchy development.

Discussion

When there are no closed timelike curves, $D^{+}$ and $D^{-}$ are two different regions. When the time dimension closes up on itself everywhere so that it makes a circle, the future and the past of ${\mathcal {S}}$ are the same and both include ${\mathcal {S}}$ . The Cauchy surface is defined rigorously in terms of intersections with inextensible curves in order to deal with this case of circular time. An inextensible curve is a curve with no ends: either it goes on forever, remaining timelike or null, or it closes in on itself to make a circle, a closed non-spacelike curve.

When there are closed timelike curves, or even when there are closed non-spacelike curves, a Cauchy surface still determines the future, but the future includes the surface itself. This means that the initial conditions obey a constraint, and the Cauchy surface is not of the same character as when the future and the past are disjoint.

If there are no closed timelike curves, then given ${\mathcal {S}}$ a partial Cauchy surface and if $D^{+}({\mathcal {S}})\cup {\mathcal {S}}\cup D^{-}({\mathcal {S}})={\mathcal {M}}$ , the entire manifold, then ${\mathcal {S}}$ is a Cauchy surface. Any surface of constant $t$ in Minkowski space-time is a Cauchy surface.

Cauchy horizon

If $D^{+}({\mathcal {S}})\cup {\mathcal {S}}\cup D^{-}({\mathcal {S}})\not ={\mathcal {M}}$ then there exists a Cauchy horizon between $D^{\pm }({\mathcal {S}})$ and regions of the manifold not completely determined by information on ${\mathcal {S}}$ . A clear physical example of a Cauchy horizon is the second horizon inside a charged or rotating black hole. The outermost horizon is an event horizon, beyond which information cannot escape, but where the future is still determined from the conditions outside. Inside the inner horizon, the Cauchy horizon, the singularity is visible and to predict the future requires additional data about what comes out of the singularity.

Since a black hole Cauchy horizon only forms in a region where the geodesics are outgoing, in radial coordinates, in a region where the central singularity is repulsive, it is hard to imagine exactly how it forms. For this reason, Kerr and others suggest that a Cauchy horizon never forms, instead that the inner horizon is in fact a spacelike or timelike singularity. The inner horizon corresponds to the instability due to mass inflation.^[2]

A homogeneous space-time with a Cauchy horizon is anti-de Sitter space.

Related Research Articles

The weak and the strong cosmic censorship hypotheses are two mathematical conjectures about the structure of gravitational singularities arising in general relativity.

In geometry, a geodesic is a curve representing in some sense the shortest path (arc) between two points in a surface, or more generally in a Riemannian manifold. The term also has meaning in any differentiable manifold with a connection. It is a generalization of the notion of a "straight line".

The world line of an object is the path that an object traces in 4-dimensional spacetime. It is an important concept of modern physics, and particularly theoretical physics.

In mathematical physics, Minkowski space combines inertial space and time manifolds with a non-inertial reference frame of space and time into a four-dimensional model relating a position to the field.

In Einstein's theory of general relativity, the Schwarzschild metric is an exact solution to the Einstein field equations that describes the gravitational field outside a spherical mass, on the assumption that the electric charge of the mass, angular momentum of the mass, and universal cosmological constant are all zero. The solution is a useful approximation for describing slowly rotating astronomical objects such as many stars and planets, including Earth and the Sun. It was found by Karl Schwarzschild in 1916.

In mathematical physics, a closed timelike curve (CTC) is a world line in a Lorentzian manifold, of a material particle in spacetime, that is "closed", returning to its starting point. This possibility was first discovered by Willem Jacob van Stockum in 1937 and later confirmed by Kurt Gödel in 1949, who discovered a solution to the equations of general relativity (GR) allowing CTCs known as the Gödel metric; and since then other GR solutions containing CTCs have been found, such as the Tipler cylinder and traversable wormholes. If CTCs exist, their existence would seem to imply at least the theoretical possibility of time travel backwards in time, raising the spectre of the grandfather paradox, although the Novikov self-consistency principle seems to show that such paradoxes could be avoided. Some physicists speculate that the CTCs which appear in certain GR solutions might be ruled out by a future theory of quantum gravity which would replace GR, an idea which Stephen Hawking labeled the chronology protection conjecture. Others note that if every closed timelike curve in a given space-time passes through an event horizon, a property which can be called chronological censorship, then that space-time with event horizons excised would still be causally well behaved and an observer might not be able to detect the causal violation.

In differential geometry, a pseudo-Riemannian manifold, also called a semi-Riemannian manifold, is a differentiable manifold with a metric tensor that is everywhere nondegenerate. This is a generalization of a Riemannian manifold in which the requirement of positive-definiteness is relaxed.

The Penrose–Hawking singularity theorems are a set of results in general relativity that attempt to answer the question of when gravitation produces singularities. The Penrose singularity theorem is a theorem in semi-Riemannian geometry and its general relativistic interpretation predicts a gravitational singularity in black hole formation. The Hawking singularity theorem is based on the Penrose theorem and it is interpreted as a gravitational singularity in the Big Bang situation. Penrose was awarded the Nobel Prize in Physics in 2020 "for the discovery that black hole formation is a robust prediction of the general theory of relativity", which he shared with Reinhard Genzel and Andrea Ghez.

<span class="mw-page-title-main">Anti-de Sitter space</span> Maximally symmetric Lorentzian manifold with a negative cosmological constant

In mathematics and physics, n-dimensional anti-de Sitter space (AdS_n) is a maximally symmetric Lorentzian manifold with constant negative scalar curvature. Anti-de Sitter space and de Sitter space are named after Willem de Sitter (1872–1934), professor of astronomy at Leiden University and director of the Leiden Observatory. Willem de Sitter and Albert Einstein worked together closely in Leiden in the 1920s on the spacetime structure of the universe. Paul Dirac was the first person to rigorously explore anti-de Sitter space, doing so in 1963.

A Tipler cylinder, also called a Tipler time machine, is a hypothetical object theorized to be a potential mode of time travel—although results have shown that a Tipler cylinder could only allow time travel if its length were infinite or with the existence of negative energy.

Fermi–Walker transport is a process in general relativity used to define a coordinate system or reference frame such that all curvature in the frame is due to the presence of mass/energy density and not to arbitrary spin or rotation of the frame. It was discovered by Fermi in 1921 and rediscovered by Walker in 1932.

In mathematical physics, global hyperbolicity is a certain condition on the causal structure of a spacetime manifold. It is called hyperbolic in analogy with the linear theory of wave propagation, where the future state of a system is specified by initial conditions. This is relevant to Albert Einstein's theory of general relativity, and potentially to other metric gravitational theories.

Misner space is an abstract mathematical spacetime, first described by Charles W. Misner. It is also known as the Lorentzian orbifold $. It is a simplified, two-dimensional version of the Taub-NUT spacetime. It contains a non-curvature singularity and is an important counterexample to various hypotheses in general relativity.$

The causal sets program is an approach to quantum gravity. Its founding principles are that spacetime is fundamentally discrete and that spacetime events are related by a partial order. This partial order has the physical meaning of the causality relations between spacetime events.

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

Spacetime topology is the topological structure of spacetime, a topic studied primarily in general relativity. This physical theory models gravitation as the curvature of a four dimensional Lorentzian manifold and the concepts of topology thus become important in analysing local as well as global aspects of spacetime. The study of spacetime topology is especially important in physical cosmology.

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.

Yvonne Choquet-Bruhat is a French mathematician and physicist. She has made seminal contributions to the study of Einstein's general theory of relativity, by showing that the Einstein equations can be put into the form of an initial value problem which is well-posed. In 2015, her breakthrough paper was listed by the journal Classical and Quantum Gravity as one of thirteen 'milestone' results in the study of general relativity, across the hundred years in which it had been studied.

In the theory of causal structure on Lorentzian manifolds, Geroch's theorem or Geroch's splitting theorem gives a topological characterization of globally hyperbolic spacetimes.

The theory of causal fermion systems is an approach to describe fundamental physics. It provides a unification of the weak, the strong and the electromagnetic forces with gravity at the level of classical field theory. Moreover, it gives quantum mechanics as a limiting case and has revealed close connections to quantum field theory. Therefore, it is a candidate for a unified physical theory. Instead of introducing physical objects on a preexisting spacetime manifold, the general concept is to derive spacetime as well as all the objects therein as secondary objects from the structures of an underlying causal fermion system. This concept also makes it possible to generalize notions of differential geometry to the non-smooth setting. In particular, one can describe situations when spacetime no longer has a manifold structure on the microscopic scale. As a result, the theory of causal fermion systems is a proposal for quantum geometry and an approach to quantum gravity.

References

↑ One is requiring that for all points $p$ in $M$ , there exists an open neighborhood $U$ of $p$ and a sequence $t k$ which increases to $b$ and a sequence $s k$ decreasing to $a$ such that $c (t k)$ and $c (s k)$ are not contained in $U$ for any $k$ . This definition makes sense even if $M$ only has the structure of a topological space.
↑ Hamilton, Andrew J.S.; Avelino, Pedro P. (2010), "The physics of the relativistic counter-streaming instability that drives mass inflation inside black holes", Physics Reports, 495 (1): 1–32, arXiv: 0811.1926 , Bibcode:2010PhR...495....1H, doi:10.1016/j.physrep.2010.06.002, ISSN 0370-1573, S2CID 118546967

Research articles

Choquet-Bruhat, Yvonne; Geroch, Robert. Global aspects of the Cauchy problem in general relativity. Comm. Math. Phys. 14 (1969), 329–335.
Geroch, Robert. Domain of dependence. J. Mathematical Phys. 11 (1970), 437–449.
Bernal, Antonio N.; Sánchez, Miguel. On smooth Cauchy hypersurfaces and Geroch's splitting theorem. Comm. Math. Phys. 243 (2003), no. 3, 461–470.
Bernal, Antonio N.; Sánchez, Miguel. Smoothness of time functions and the metric splitting of globally hyperbolic spacetimes. Comm. Math. Phys. 257 (2005), no. 1, 43–50.

Textbooks

Beem, John K.; Ehrlich, Paul E.; Easley, Kevin L. Global Lorentzian geometry. Second edition. Monographs and Textbooks in Pure and Applied Mathematics, 202. Marcel Dekker, Inc., New York, 1996. xiv+635 pp. ISBN 0-8247-9324-2
Choquet-Bruhat, Yvonne. General relativity and the Einstein equations. Oxford Mathematical Monographs. Oxford University Press, Oxford, 2009. xxvi+785 pp. ISBN 978-0-19-923072-3
Hawking, S.W.; Ellis, G.F.R. The large scale structure of space-time. Cambridge Monographs on Mathematical Physics, No. 1. Cambridge University Press, London-New York, 1973. xi+391 pp.
O'Neill, Barrett. Semi-Riemannian geometry. With applications to relativity. Pure and Applied Mathematics, 103. Academic Press, Inc. [Harcourt Brace Jovanovich, Publishers], New York, 1983. xiii+468 pp. ISBN 0-12-526740-1
Penrose, Roger. Techniques of differential topology in relativity. Conference Board of the Mathematical Sciences Regional Conference Series in Applied Mathematics, No. 7. Society for Industrial and Applied Mathematics, Philadelphia, Pa., 1972. viii+72 pp.
Wald, Robert M. General relativity. University of Chicago Press, Chicago, IL, 1984. xiii+491 pp. ISBN 0-226-87032-4; 0-226-87033-2

This page is based on this Wikipedia article
Text is available under the CC BY-SA 4.0 license; additional terms may apply.
Images, videos and audio are available under their respective licenses.

[1] One is requiring that for all points $p$ in $M$ , there exists an open neighborhood $U$ of $p$ and a sequence $t k$ which increases to $b$ and a sequence $s k$ decreasing to $a$ such that $c (t k)$ and $c (s k)$ are not contained in $U$ for any $k$ . This definition makes sense even if $M$ only has the structure of a topological space.

[2] Hamilton, Andrew J.S.; Avelino, Pedro P. (2010), "The physics of the relativistic counter-streaming instability that drives mass inflation inside black holes", Physics Reports, 495 (1): 1–32, arXiv: 0811.1926 , Bibcode:2010PhR...495....1H, doi:10.1016/j.physrep.2010.06.002, ISSN 0370-1573, S2CID 118546967

[1]

[2]