Globally hyperbolic spacetimes with timelike boundary $(\overline{M} = M \cup \partial M, g)$ are the natural class of spacetimes where regular boundary conditions (eventually asymptotic, if $\overline{M}$ is obtained by means of a conformal embedding) can be posed. $\partial M$ represents the naked singularities and can be identified with a part of the intrinsic causal boundary. Apart from general properties of $\partial M$, the splitting of any globally hyperbolic $(\overline{M},g)$ as an orthogonal product ${\mathbb R}\times \barΣ$ with Cauchy slices with boundary $\{t\}\times \barΣ$ is proved. This is obtained by constructing a Cauchy temporal function $τ$ with gradient $\nabla τ$ tangent to $\partial M$ on the boundary. To construct such a $τ$, results on stability of both, global hyperbolicity and Cauchy temporal functions are obtained. Apart from having their own interest, these results allow us to circumvent technical difficulties introduced by $\partial M$. As a consequence, the interior $M$ both, splits orthogonally and can be embedded isometrically in ${\mathbb L}^N$, extending so properties of globally spacetimes without boundary to a class of causally continuous ones.
This work deals with intersection points: conjugate points and cut points, of timelike geodesics emanating from a common initial point in special spacetimes. The paper contains three results. First, it is shown that radial timelike geodesics in static spherically symmetric spacetimes are globally maximal (have no cut points) in adequate domains. Second, in one of ultrastatic spherically symmetric spacetimes, Morris--Thorne wormhole, it is found which geodesics have cut points (and these must coincide with conjugate points) and which ones are globally maximal on their entire segments. This resu…
The study of low regularity (in-)extendibility of Lorentzian manifolds is motivated by the question whether a given solution to the Einstein equations can be extended (or is maximal) as a weak solution. In this paper we show that a timelike complete and globally hyperbolic Lorentzian manifold is $C^0$-inextendible. For the proof we make use of the result, recently established by Sämann [17], that even for \emph{continuous} Lorentzian manifolds that are globally hyperbolic, there exists a length-maximizing causal curve between any two causally related points.
We show that when a spacetime $\mathcal{M}(=M \cup \partial M)$ is globally hyperbolic with (possibly empty) smooth timelike boundary $\partial M$, a metrizable topology, the closed limit topology (CLT) introduced by F. Hausdorff himself in the 1950's in set theory, can be advantageously adopted on the Geroch-Kronheimer-Penrose causal completion of M, retaining essentially all the good properties of previous topologies in this ambient. In particular, we show that if the globally hyperbolic spacetime $M$ admits a conformal boundary, defined in such broad terms as to include all the standard exa…
We give an example of a spacetime with a continuous metric which is globally hyperbolic and exhibits causal bubbling. The metric moreover splits orthogonally into a timelike and a spacelike part. We discuss our example in the context of energy conditions and the recently introduced synthetic timelike curvature-dimension (TCD) condition. In particular we observe that the TCD-condition does not, by itself, prevent causal bubbling.
Geroch's theorem about the splitting of globally hyperbolic spacetimes is a central result in global Lorentzian Geometry. Nevertheless, this result was obtained at a topological level, and the possibility to obtain a metric (or, at least, smooth) version has been controversial since its publication in 1970. In fact, this problem has remained open until a definitive proof, recently provided by the authors. Our purpose is to summarize the history of the problem, explain the smooth and metric splitting results (including smoothability of time functions in stably causal spacetimes), and sketch the…
Moitvated in part by [3], in this note we obtain a rigidity result for globally hyperbolic vacuum spacetimes in arbitrary dimension that admit a timelike conformal Killing vector field. Specifically, we show that if M is a Ricci flat, timelike geodesically complete spacetime with compact Cauchy surfaces that admits a timelike conformal Killing field X, then M must split as a metric product, and X must be Killing. This gives a partial proof of the Bartnik splitting conjecture in the vacuum setting.
The initial value problem is well-defined on a class of spacetimes broader than the globally hyperbolic geometries for which existence and uniqueness theorems are traditionally proved. Simple examples are the time-nonorientable spacetimes whose orientable double cover is globally hyperbolic. These spacetimes have generalized Cauchy surfaces on which smooth initial data sets yield unique solutions. A more difficult problem is to characterize the class of spacetimes with closed timelike curves that admit a well-posed initial value problem. Examples of spacetimes with closed timelike curves are g…
The folk questions in Lorentzian Geometry, which concerns the smoothness of time functions and slicings by Cauchy hypersurfaces, are solved by giving simple proofs of: (a) any globally hyperbolic spacetime $(M,g)$ admits a smooth time function $τ$ whose levels are spacelike Cauchy hyperfurfaces and, thus, also a smooth global splitting $M= \R \times {\cal S}$, $g= - β(τ,x) dτ^2 + \bar g_τ$, (b) if a spacetime $M$ admits a (continuous) time function $t$ (i.e., it is stably causal) then it admits a smooth (time) function $τ$ with timelike gradient $\nabla τ$ on all $M$.
Globally hyperbolic spacetimes admitting infinitely many causal (and timelike) homotopy classes of curves joining two prescribed points, are exhibited and discussed.
In this article, existence results concerning temporal functions with additional properties on a globally hyperbolic manifold are obtained. These properties are certain bounds on geometric quantities as lapse and shift. The results are linked to completeness properties and the existence of closed isometric embeddings in Minkowski spaces.
We prove existence and uniqueness of maximal global hyperbolic developments of vacuum general relativistic initial data sets with initial data (g,K) in Sobolev spaces $H^s\oplus H^{s-1}$ with integer s > n/2 +1.
We extend the classical Avez-Seifert theorem to trajectories of charged test particles with fixed charge-to-mass ratio. In particular, given two events x_{0} and x_{1}, with x_{1} in the chronological future of x_{0}, we find an interval I=]-R,R[ such that for any q/m in I there is a timelike connecting solution of the Lorentz force equation. Moreover, under the assumption that there is no null geodesic connecting x_0 and x_1, we prove that to any value of |q/m| there correspond at least two connecting timelike solutions which coincide only if they are geodesics.
This paper has been withdrawn because the part concerning the definition of global hyperbolicity has already been included in an expanded and clearer way in gr-qc/0611138. The remainder will be also extended and posted.
In a globally hyperbolic spacetime any pair of chronologically related events admits a connecting geodesic. We present two theorems which prove that, more generally, under weak assumptions, given a charge-to-mass ratio there is always a connecting solution of the Lorentz force equation having that ratio. A geometrical interpretation of the charged-particle action is given which shows that the constructed solutions are maximizing.
We investigate a generalization of the so-called metric splitting of globally hyperbolic space-times to non-smooth Lorentzian manifolds and show the existence of this metric splitting for a class of wave-type space-times. Our approach is based on smooth approximations of non-smooth space-times by families (or sequences) of globally hyperbolic space-times. In the same setting we indicate as an application the extension of a previous result on the Cauchy problem for the wave equation.
The Cauchy slicings for globally hyperbolic spacetimes and their relation with the causal boundary are surveyed and revisited, starting at the seminal conformal boundary constructions by R. Penrose. Our study covers: (1) adaptive possibilities and techniques for their Cauchy slicings, (2) global hyperbolicity of sliced spacetimes, (3) critical review on the conformal and causal boundaries for a globally hyperbolic spacetime, and (4) procedures to compute the causal boundary of a Cauchy temporal splitting by using isocausal comparison with a static product. New simple counterexamples on $\mathb…
Several physical problems such as the `twin paradox' in curved spacetimes have purely geometrical nature and may be reduced to studying properties of bundles of timelike geodesics. The paper is a general introduction to systematic investigations of the geodesic structure of physically relevant spacetimes. The investigations are focussed on the search of locally and globally maximal timelike geodesics. The method of dealing with the local problem is in a sense algorithmic and is based on the geodesic deviation equation. Yet the search for globally maximal geodesics is non-algorithmic and cannot…
We describe a Lorentzian manifold that is globally hyperbolic and geodesically complete, but such that the (minimally coupled) Klein-Gordon operator with the standard domain is not essentially self-adjoint.
Spacetimes with collisionless matter evolving from data on a compact Cauchy surface with hyperbolic symmetry are shown to be timelike and null geodesically complete in the expanding direction, provided the data satisfy a certain size restriction.
Some recent results obtained by the author and collaborators about QFT in asymptotically flat spacetimes at null infinity are summarized and reviewed. In particular it is focused on the physical properties of ground states in the bulk induced by the BMS-invariant state defined at null infinity.
We apply the ADM approach to obtain a Hamiltonian description of the Einstein-Hilbert action. In doing so we add four new ingredients: (i) We eliminate the diffeomorphism constraints. (ii) We replace the densities $\sqrt g$ by a function $\f(x,g_{ij})$ with the help of a fixed metric $χ$ such that the Lagrangian and hence the Hamiltonian are functions. (iii) We consider the Lagrangian to be defined in a fiber bundle with base space $\so$ and fibers F(x) which can be treated as Lorentzian manifolds equipped with the Wheeler-DeWitt metric. It turns out that the fibers are globally hyperbolic. (i…
Chernov-Nemirovski observed that the existence of a globally hyperbolic Lorentzian metric on a (3 + 1)-spacetime pins down a smooth structure on the underlying 4-manifold. In this paper, we point out that the diffeomorphism type of a globally hyperbolic (n + 1)-spacetime is determined by the h-cobordism class of its Cauchy surface, hence extending Chernov-Nemirovski's observation to arbitrary dimensions.
We study real linear scalar field theory on two simple non-globally hyperbolic spacetimes containing closed timelike curves within the framework proposed by Kay for algebraic quantum field theory on non-globally hyperbolic spacetimes. In this context, a spacetime (M,g) is said to be `F-quantum compatible' with a field theory if it admits a *-algebra of local observables for that theory which satisfies a locality condition known as `F-locality'. Kay's proposal is that, in formulating algebraic quantum field theory on $(M,g)$, F-locality should be imposed as a necessary condition on the *-algebr…
We show the rigid singularity theorem, that is, a globally hyperbolic spacetime satisfying the strong energy condition and containing past trapped sets, either is timelike geodesically incomplete or splits isometrically as space $\times$ time. This result is related to Yau's Lorentzian splitting conjecture.
The null-timelike initial-boundary value problem for a hyperbolic system of equations consists of the evolution of data given on an initial characteristic surface and on a timelike worldtube to produce a solution in the exterior of the worldtube. We establish the well-posedness of this problem for the evolution of a quasilinear scalar wave by means of energy estimates. The treatment is given in characteristic coordinates and thus provides a guide for developing stable finite difference algorithms. A new technique underlying the approach has potential application to other characteristic initial…
What restrictions are there on a spacetime for which the Ricci curvature is such as to produce convergence of geodesics (such as the preconditions for the Singularity Theorems) but for which there are no singularities? We answer this question for a restricted class of spacetimes: static, geodesically complete, and globally hyperbolic. The answer is that, in at least one spacelike direction, the Ricci curvature must fall off at a rate inversely quadratic in a naturally-occurring Riemannian metric on the space of static observers. Along the way, we establish some global results on the static obs…
In this talk we shall show a perfect fluid cosmological model and its properties. The model possesses an orthogonally transitive abelian two-dimensional group of isometries that corresponds to cylindrical symmetry. The matter content is a stiff fluid that satisfies the energy and generic conditions. The metric is not separable in comoving coordinates for the fluid. The curvature invariants are shown to be regular everywhere in the coordinate chart and also indicate that the spacetime is asymptotically flat. Furthermore the causal geodesics are studied in order to determine that they are comple…
Minkowski space is the local model of 3 dimensionnal flat spacetimes. Recent progress in the description of globally hyperbolic flat spacetimes showed strong link between Lorentzian geometry and Teichm{ü}ller space. We notice that Lorentzian generalisations of conical singularities are useful for the endeavours of descripting flat spacetimes, creating stronger links with hyperbolic geometry and compactifying spacetimes. In particular massive particles and extreme BTZ singular lines arise naturally. This paper is three-fold. First, prove background local properties which will be useful for futu…
In this second paper, I construct a limit space of a Cauchy sequence of globally hyperbolic spacetimes. In the second section, I work gradually towards a construction of the limit space. I prove the limit space is unique up to isometry. I als show that, in general, the limit space has quite complicated causal behaviour. This work prepares the final paper in which I shall study in more detail properties of the limit space and the moduli space of (compact) globally hyperbolic spacetimes (cobordisms). As a fait divers, I give in this paper a suitable definition of dimension of a Lorentz space in …
We consider the region of closed timelike curves (CTC's) in three-dimensional flat Lorentz spacetimes. The interest in this global geometrical feature goes beyond the purely mathematical. Such spacetimes may be considered lower-dimensional toy models of sourceless Einstein gravity or cosmology. In particular, our interest in this note will be to find the set free of CTC's for $E/<γ>$, where $E$ is modeled on Minkowski space and $γ$ is a Poincaré transformation. We describe the set free of CTC's where $γ$ is hyperbolic, parabolic and elliptic.
We consider the Cauchy problem for the wave equation on a non-globally hyperbolic manifold of the special form (Minkowski plane with a handle) containing closed timelike curves (time machines). We prove that the classical solution of the Cauchy problem exists and is unique if and only if the initial data satisfy to some set of additional conditions.
The classical definition of {\em global hyperbolicity} for a spacetime $(M,g)$ comprises two conditions: (A) compactness of the diamonds $J^+(p)\cap J^-(q)$, and (B) strong causality. Here we show that condition (B) can be replaced just by causality. In fact, we show first that the classical definition of causal simplicity (which impose to be distinguishing, apart from the closedness of $J^+(p)$, $J^-(q)$) can be weakened in causal instead of distinguishing. So, the full consistency of the causal ladder (recently proved by the authors in a definitive way) yields directly the result.
We prove the well-posedness of the initial boundary value problem for the Einstein equations with sole boundary condition the requirement that the timelike boundary is totally geodesic. This provides the first well-posedness result for this specific geometric boundary condition and the first setting for which geometric uniqueness in the original sense of Friedrich holds for the initial boundary value problem. Our proof relies on the ADM system for the Einstein vacuum equations, formulated with respect to a parallelly propagated orthonormal frame along timelike geodesics. As an independent resu…
Let $X$ be a $(2+1)$-dimensional globally hyperbolic spacetime with a Cauchy surface $Σ$ whose universal cover is homeomorphic to $\mathbb{R}^2$. We provide empirical evidence suggesting that the Jones polynomial detects causality in $X$. We introduce a new invariant of certain tangles related to the Conway polynomial, and prove that the Conway polynomial does not detect the connected sum of two Hopf links among relevant 3-component links, which suggests that the Conway polynomial does not detect causality in the scenario described.
Recent results on the maximization of the charged-particle action I in a globally hyperbolic spacetime are discussed and generalized. We focus on the maximization of I over a given causal homotopy class C of curves connecting two causally related events x_0 <= x_1. Action I is proved to admit a maximum on C, and also one in the adherence of each timelike homotopy class. Moreover, the maximum on C is timelike if C contains a timelike curve (and the degree of differentiability of all the elements is at least C^2). In particular, this last result yields a complete Avez-Seifert type solution to th…
Classically, the dynamics in a non-globally hyperbolic spacetime is ill posed. Previously, a prescription was given for defining dynamics in static spacetimes in terms of a second order operator acting on a Hilbert space defined on static slices. The present work extends this result by giving a similar prescription for defining dynamics in stationary spacetimes obeying certain mild assumptions. The prescription is defined in terms of a first order operator acting on a different Hilbert space from the one used in the static prescription. It preserves the important properties of the earlier one:…
The mathematical formalism for linear quantum field theory on curved spacetime depends in an essential way on the assumption of global hyperbolicity. Physically, what lie at the foundation of any formalism for quantization in curved spacetime are the canonical commutation relations, imposed on the field operators evaluated at a global Cauchy surface. In the algebraic formulation of linear quantum field theory, the canonical commutation relations are restated in terms of a well-defined symplectic structure on the space of smooth solutions, and the local field algebra is constructed as the Weyl …
Reasonable spacetimes are non-compact and of dimension larger than two. We show that these spacetimes are globally hyperbolic if and only if the causal diamonds are compact. That is, there is no need to impose the causality condition, as it can be deduced. We also improve the definition of global hyperbolicity for the non-regular theory (non $C^{1,1}$ metric) and for general cone structures by proving the following convenient characterization for upper semi-continuous cone distributions: causality and the causally convex hull of compact sets is compact. In this case the causality condition can…
We prove that global hyperbolicity is stable in the interval topology on the spacetime metrics. We also prove that every globally hyperbolic spacetime admits a Cauchy hypersurface which remains Cauchy under small perturbations of the spacetime metric. Moreover, we prove that if the spacetime admits a complete timelike Killing field, then the light cones can be widened preserving both global hyperbolicity and the Killing property of the field.
This is the last article in a series of three initiated by the second author. We elaborate on the concepts and theorems constructed in the previous articles. In particular, we prove that the GH and the GGH uniformities previously introduced on the moduli space of isometry classes of globally hyperbolic spacetimes are different, but the Cauchy sequences which give rise to well-defined limit spaces coincide. We then examine properties of the strong metric introduced earlier on each spacetime, and answer some questions concerning causality of limit spaces. Progress is made towards a general defin…
Under mild assumptions, we remove all traces of the axiom of choice from the construction of the maximal globally hyperbolic Cauchy development in general relativity. The construction relies on the notion of direct union manifolds, which we review. The construction given is very general: any physical theory with a suitable geometric representation (in particular all classical fields), and such that a strong notion of "local existence and uniqueness" of solutions for the corresponding initial value problem is available, is amenable to the same treatment.
We give a functional analytic construction of the fermionic projector on a globally hyperbolic Lorentzian manifold of finite lifetime. The integral kernel of the fermionic projector is represented by a two-point distribution on the manifold. By introducing an ultraviolet regularization, we get to the framework of causal fermion systems. The connection to the "negative-energy solutions" of the Dirac equation and to the WKB approximation is explained and quantified by a detailed analysis of closed Friedmann-Robertson-Walker universes.
When studying the causal propagation of a field in a globally hyperbolic spacetime M, one often wants to express the physical intuition that it has compact support in spacelike directions, or that its support is a spacelike compact set. We compare a number of logically distinct formulations of this idea, and of the complementary idea of timelike compactness, and we clarify their interrelations. E.g., a closed subset A of M has a compact intersection with all Cauchy surfaces if and only if A is contained in J(K) for some compact set K. (However, it does not suffice to consider only those Cauchy…
We briefly review the current status of the algebraic approach to quantum field theory on globally hyperbolic spacetimes, both axiomatic -- for general field theories, and constructive -- for a linear Klein-Gordon model. We recall the concept of F-locality, introduced in the latter context in BS Kay: Rev. Math. Phys., Special Issue, 167-195 (1992) and explain how it can be formulated at an axiomatic level for a general field theory (as a condition on algebras-with-net-structure) on both globally hyperbolic and non globally hyperbolic spacetimes. We also discuss the current status of the questi…
We introduce a class of space-times modeling singular events such as evaporating black holes and topology changes, which we dub as semi-globally hyperbolic space-times. On these space-times we aim to study the existence of reasonable quantum field theories. We establish a notion of linear scalar quantum field theories on these space-times, show how such a theory might be constructed and introduce notions of global dynamics on these theories. Applying these constructions to both black hole evaporation and topology changing space-times, we find that existence of algebras can be relatively easily…
We prove that semiclassical gravity in conformally static, globally hyperbolic spacetimes with a massless, conformally coupled Klein-Gordon field is well posed, when viewed as a coupled theory for the dynamical conformal factor of the metric and the Klein-Gordon theory. Namely, it admits unique and stable solutions whenever constrained fourth-order initial data for the conformal factor and suitably defined Hadamard initial data for the Klein-Gordon state are provided on a spacelike Cauchy surface. As no spacetime symmetries are imposed on the conformal factor, the present result implies that, …
We develop a rigorous method to parametrize complex structures for Klein-Gordon theory in globally hyperbolic spacetimes that satisfy a completeness condition. The complex structures are conserved under time-evolution and implement unitary quantizations. They can be interpreted as corresponding to global choices of vacuum. The main ingredient in our construction is a system of operator differential equations. We provide a number of theorems ensuring that all ingredients and steps in the construction are well-defined. We apply the method to exhibit natural quantizations for certain classes of g…
We give a complete framework for the Gupta-Bleuler quantization of the free electromagnetic field on globally hyperbolic space-times. We describe one-particle structures that give rise to states satisfying the microlocal spectrum condition. The field algebras in the so-called Gupta-Bleuler representations satisfy the time-slice axiom, and the corresponding vacuum states satisfy the microlocal spectrum condition. We also give an explicit construction of ground states on ultrastatic space-times. Unlike previous constructions, our method does not require a spectral gap or the absence of zero mode…
We give an introduction to the techniques from microlocal analysis that have successfully been applied in the investigation of Hadamard states of free quantum field theories on curved spacetimes. The calculation of the wave front set of the two point function of the free Klein-Gordon field in a Hadamard state is reviewed, and the polarization set of a Hadamard two point function of the free Dirac field on a curved spacetime is calculated.
