In mathematical physics, global hyperbolicity is a certain condition on the causal structure of a spacetime manifold (that is, a Lorentzian 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. (In turn, the leading symbol of the wave operator is that of a hyperboloid.) This is relevant to Albert Einstein's theory of general relativity, and potentially to other metric gravitational theories.
There are several equivalent definitions of global hyperbolicity. Let M be a smooth connected Lorentzian manifold without boundary. We make the following preliminary definitions:
The following conditions are equivalent:
If any of these conditions are satisfied, we say M is globally hyperbolic. If M is a smooth connected Lorentzian manifold with boundary, we say it is globally hyperbolic if its interior is globally hyperbolic.
Other equivalent characterizations of global hyperbolicity make use of the notion of Lorentzian distance where the supremum is taken over all the causal curves connecting the points (by convention d=0 if there is no such curve). They are
Global hyperbolicity, in the first form given above, was introduced by Leray [2] in order to consider well-posedness of the Cauchy problem for the wave equation on the manifold. In 1970 Geroch [3] proved the equivalence of definitions 1 and 2. Definition 3 under the assumption of strong causality and its equivalence to the first two was given by Hawking and Ellis. [4]
As mentioned, in older literature, the condition of causality in the first and third definitions of global hyperbolicity given above is replaced by the stronger condition of strong causality. In 2007, Bernal and Sánchez [5] showed that the condition of strong causality can be replaced by causality. In particular, any globally hyperbolic manifold as defined in 3 is strongly causal. Later Hounnonkpe and Minguzzi [6] proved that for quite reasonable spacetimes, more precisely those of dimension larger than three which are non-compact or non-totally vicious, the 'causal' condition can be dropped from definition 3.
In definition 3 the closure of seems strong (in fact, the closures of the sets imply causal simplicity, the level of the causal hierarchy of spacetimes [7] which stays just below global hyperbolicity). It is possible to remedy this problem strengthening the causality condition as in definition 4 proposed by Minguzzi [8] in 2009. This version clarifies that global hyperbolicity sets a compatibility condition between the causal relation and the notion of compactness: every causal diamond is contained in a compact set and every inextendible causal curve escapes compact sets. Observe that the larger the family of compact sets the easier for causal diamonds to be contained on some compact set but the harder for causal curves to escape compact sets. Thus global hyperbolicity sets a balance on the abundance of compact sets in relation to the causal structure. Since finer topologies have less compact sets we can also say that the balance is on the number of open sets given the causal relation. Definition 4 is also robust under perturbations of the metric (which in principle could introduce closed causal curves). In fact using this version it has been shown that global hyperbolicity is stable under metric perturbations. [9]
In 2003, Bernal and Sánchez [10] showed that any globally hyperbolic manifold M has a smooth embedded three-dimensional Cauchy surface, and furthermore that any two Cauchy surfaces for M are diffeomorphic. In particular, M is diffeomorphic to the product of a Cauchy surface with . It was previously well known that any Cauchy surface of a globally hyperbolic manifold is an embedded three-dimensional submanifold, any two of which are homeomorphic, and such that the manifold splits topologically as the product of the Cauchy surface and . In particular, a globally hyperbolic manifold is foliated by Cauchy surfaces.
In view of the initial value formulation for Einstein's equations, global hyperbolicity is seen to be a very natural condition in the context of general relativity, in the sense that given arbitrary initial data, there is a unique maximal globally hyperbolic solution of Einstein's equations.
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".
In differential geometry, a Riemannian manifold is a geometric space on which many geometric notions such as distance, angles, length, volume, and curvature are defined. Euclidean space, the -sphere, hyperbolic space, and smooth surfaces in three-dimensional space, such as ellipsoids and paraboloids, are all examples of Riemannian manifolds. Riemannian manifolds are named after German mathematician Bernhard Riemann, who first conceptualized them.
In physics, Minkowski space is the main mathematical description of spacetime in the absence of gravitation. It combines inertial space and time manifolds into a four-dimensional model.
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 spacetime passes through an event horizon, a property which can be called chronological censorship, then that spacetime with event horizons excised would still be causally well behaved and an observer might not be able to detect the causal violation.
In mathematical physics, 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.
In mathematics and physics, n-dimensional anti-de Sitter space (AdSn) 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.
In mathematics and especially differential geometry, a Kähler manifold is a manifold with three mutually compatible structures: a complex structure, a Riemannian structure, and a symplectic structure. The concept was first studied by Jan Arnoldus Schouten and David van Dantzig in 1930, and then introduced by Erich Kähler in 1933. The terminology has been fixed by André Weil. Kähler geometry refers to the study of Kähler manifolds, their geometry and topology, as well as the study of structures and constructions that can be performed on Kähler manifolds, such as the existence of special connections like Hermitian Yang–Mills connections, or special metrics such as Kähler–Einstein metrics.
In differential geometry and mathematical physics, an Einstein manifold is a Riemannian or pseudo-Riemannian differentiable manifold whose Ricci tensor is proportional to the metric. They are named after Albert Einstein because this condition is equivalent to saying that the metric is a solution of the vacuum Einstein field equations, although both the dimension and the signature of the metric can be arbitrary, thus not being restricted to Lorentzian manifolds. Einstein manifolds in four Euclidean dimensions are studied as gravitational instantons.
An asymptotically flat spacetime is a Lorentzian manifold in which, roughly speaking, the curvature vanishes at large distances from some region, so that at large distances, the geometry becomes indistinguishable from that of Minkowski spacetime.
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
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 general relativity, by showing that the Einstein field 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.
In gravitation theory, a world manifold endowed with some Lorentzian pseudo-Riemannian metric and an associated space-time structure is a space-time. Gravitation theory is formulated as classical field theory on natural bundles over a world manifold.
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.