In this paper, a geometric process to compare solutions of symmetric hyperbolic systems on (possibly different) globally hyperbolic manifolds is realized via a family of intertwining operators. By fixing a suitable parameter, it is shown that the resulting intertwining operator preserves Hermitian forms naturally defined on the space of homogeneous solutions. As an application, we investigate the action of the intertwining operators in the context of algebraic quantum field theory. In particular, we provide a new geometric proof for the existence of the so-called Hadamard states on globally hyperbolic manifolds.
In this note a proof is given for global existence and uniqueness of minimal surfaces of Lorentzian type from a cylinder into globally hyperbolic Lorentzian manifolds for given initial values up to the first derivatives.
In this short note, a question of patching together globally hyperbolic manifolds is adressed which appeared in the context of the construction of Hadamard states.
Green-hyperbolic operators are linear differential operators acting on sections of a vector bundle over a Lorentzian manifold which possess advanced and retarded Green's operators. The most prominent examples are wave operators and Dirac-type operators. This paper is devoted to a systematic study of this class of differential operators. For instance, we show that this class is closed under taking restrictions to suitable subregions of the manifold, under composition, under taking "square roots", and under the direct sum construction. Symmetric hyperbolic systems are studied in detail.
We consider the Dirac operator on globally hyperbolic manifolds with timelike boundary and show well-posedness of the Cauchy initial-boundary value problem coupled to MIT-boundary conditions. This is achieved by transforming the problem locally into a symmetric positive hyperbolic system, proving existence and uniqueness of weak solutions and then using local methods developed by Lax, Phillips and Rauch, Massey to show smoothness of the solutions. Our proof actually works for a slightly more general class of local boundary conditions.
The group of conformal diffeomorphisms and the group of causal automorphisms on two-dimensional globally hyperbolic spacetimes are clarified. It is shown that if spacetimes have non-compact Cauchy surfaces, then the groups are subgroups of that of two-dimensional Minkowski spacetime, and if spacetimes have compact Cauchy surfaces, then the groups are subgroups of that of two-dimensional Einstein's static universe.
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.
The fermionic signature operator is analyzed on globally hyperbolic Lorentzian surfaces. The connection between the spectrum of the fermionic signature operator and geometric properties of the surface is studied. The findings are illustrated by simple examples and counterexamples.
We investigate 3-dimensional globally hyperbolic AdS manifolds containing "particles", i.e., cone singularities of angles less than $2π$ along a time-like graph $Γ$. To each such space we associate a graph and a finite family of pairs of hyperbolic surfaces with cone singularities. We show that this data is sufficient to recover the space locally (i.e., in the neighborhood of a fixed metric). This is a partial extension of a result of Mess for non-singular globally hyperbolic AdS manifolds.
In a recent work the first named author, Levitin and Vassiliev have constructed the wave propagator on a closed Riemannian manifold $M$ as a single oscillatory integral global both in space and in time with a distinguished complex-valued phase function. In this paper, first we give a natural reinterpretation of the underlying algorithmic construction in the language of ultrastatic Lorentzian manifolds. Subsequently we show that the construction carries over to the case of static backgrounds thanks to a suitable reduction to the ultrastatic scenario. Finally we prove that the overall procedure …
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.
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.
Given a globally hyperbolic spacetime endowed with a complete lightlike Killing vector field and a complete Cauchy hypersurface, we characterize the points which can be connected by geodesics. A straightforward consequence is the geodesic connectedness of globally hyperbolic generalized plane waves with a complete Cauchy hypersurface.
We prove that each special Lorentzian holonomy group (with the exception of those including the isotropy groups of Kähler symmetric spaces with rank greater than one) can be realized as the holonomy group of a globally hyperbolic Lorentzian manifold.
Following the lines of the celebrated Riemannian result of Gromoll and Meyer, we use infinite dimensional equivariant Morse theory to establish the existence of infinitely many geometrically distinct closed geodesics in a class of globally hyperbolic stationary Lorentzian manifolds.
It is shown that the space of null geodesics of a causally simple Lorentzian manifold is Hausdorff if it admits an open conformal embedding into a globally hyperbolic spacetime. This provides an obstruction to conformal embeddings of causally simple spacetimes into globally hyperbolic ones irrespective of curvature conditions. Examples of causally simple spacetimes are given not conformally embeddable into globally hyperbolic ones.
In this paper, we study the fundamental group of a certain class of globally hyperbolic Lorentzian manifolds with a positive curvature tensor. We prove that the fundamental group of lightlike geodesically complete parametrized Lorentzian products is finite under the conditions of a positive curvature tensor and the fiber compact.
Let $S$ be a closed oriented surface of genus at least $2$. Using the parameterisation of the deformation space of globally hyperbolic maximal anti-de Sitter structures on $S \times \mathbb{R}$ by the cotangent bundle over the Teichmüller space of $S$, we study the behaviour of these geometric structures along pinching sequences. We show, in particular, that the regular globally hyperbolic anti-de Sitter structures introduced in arXiv:1806.08176 naturally appear as limiting points.
We consider globally hyperbolic maximal anti de Sitter 3-manifolds $M$ with a closed Cauchy surface $S$ of genus greater than one and prove that any pair of hyperbolic metrics on $S$ can be realized as the boundary metrics of the convex core of a maximal globally hyperbolic anti de Sitter 3-manifold structure on $M$. This answers the existence part of a question of Mess about the unique realization of such metrics. Our theorem has a nice formulation purely in terms of 2-dimensional Teichmüller theory and earthquakes.
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…
In this paper we examine the structure of Riemannian manifolds with a special kind of Codazzi tensors. We use them to construct globally hyperbolic Lorentzian manifolds with complete Cauchy hypersurfaces for any weakly irreducible holonomy representation with parallel spinors, i.e. with a holonomy group which is a semidirect product between $\R^{n-2}$ and one of $\1, SU(k), Sp(1), G_2$ and $Spin(7)$.
We study generalized electric/magnetic duality in Abelian gauge theory by combining techniques from locally covariant quantum field theory and Cheeger-Simons differential cohomology on the category of globally hyperbolic Lorentzian manifolds. Our approach generalizes previous treatments using the Hamiltonian formalism in a manifestly covariant way and without the assumption of compact Cauchy surfaces. We construct semi-classical configuration spaces and corresponding presymplectic Abelian groups of observables, which are quantized by the CCR-functor to the category of $C^*$-algebras. We demons…
Let $M$ be a globally hyperbolic maximal compact $3$-dimensional spacetime locally modelled on Minkowski, anti-de Sitter or de Sitter space. It is well known that $M$ admits a unique foliation by constant mean curvature surfaces. In this paper we extend this result to singular spacetimes with particles (cone singularities of angles less than $π$ along time-like geodesics).
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…
Let $Σ$ be a connected, oriented surface with punctures and negative Euler characteristic. We introduce wild globally hyperbolic anti-de Sitter structures on $Σ\times \mathbb{R}$ and provide two parameterisations of their deformation space: as a quotient of the product of two copies of the Teichmüller space of crowned hyperbolic surfaces and as the bundle over the Teichmüller space of $Σ$ of meromorphic quadratic differentials with poles of order at least $3$ at the punctures.
The notion of maximal extension of a globally hyperbolic space-time arises from the notion of maximal solutions of the Cauchy problem associated to the Einstein's equations of general relativity. In 1969 Choquet-Bruhat and Geroch proved that if the Cauchy problem has a local solution, this solution has a unique maximal extension. Since the causal structure of a space-time is invariant under conformal changes of metrics we may generalize this notion of maximality to the conformal setting. In this article we focus on conformally flat space-times of dimension greater or equal than 3. In this case…
Let $Σ$ be a connected, oriented surface with punctures and negative Euler characteristic. We introduce regular globally hyperbolic anti-de Sitter structures on $Σ\times \mathbb{R}$ and provide two parameterisations of their deformation space: as an enhanced product of two copies of the Fricke space of $Σ$ and as the bundle over the Teichmüller space of $Σ$ whose fibre consists of meromorphic quadratic differentials with poles of order at most $2$ at the punctures.
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…
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 pro…
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$.
The aim of this work is to complete our program on the quantization of connections on arbitrary principal U(1)-bundles over globally hyperbolic Lorentzian manifolds. In particular, we show that one can assign via a covariant functor to any such bundle an algebra of observables which separates gauge equivalence classes of connections. The C*-algebra we construct generalizes the usual CCR-algebras since, contrary to the standard field-theoretic models, it is based on a presymplectic Abelian group instead of a symplectic vector space. We prove a no-go theorem according to which neither this funct…
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…
We study the volume of maximal globally hyperbolic Anti-de Sitter manifolds containing a closed orientable Cauchy surface $S$, in relation to some geometric invariants depending only on the two points in Teichmüller space of $S$ provided by Mess' parameterization - namely on two isotopy classes of hyperbolic metrics $h$ and $h'$ on $S$. The main result of the paper is that the volume coarsely behaves like the minima of the $L^1$-energy of maps from $(S,h)$ to $(S,h')$. The study of $L^p$-type energies had been suggested by Thurston, in contrast with the well-studied Lipschitz distance. A corol…
In 1969, Choquet-Bruhat and Geroch established the existence of a unique maximal globally hyperbolic Cauchy development of given initial data for the Einstein equations. Their proof, however, has the unsatisfactory feature that it relies crucially on the axiom of choice in the form of Zorn's lemma. In this paper we present a proof that avoids the use of Zorn's lemma. In particular, we provide an explicit construction of this maximal globally hyperbolic development.
We give a topological condition for a generic sliced space to be globally hyperbolic, without any hypothesis on the lapse function, shift function and spatial metric.
Anosov representations were introduced by F. Labourie [18] for fundamental groups of closed negatively curved surfaces, and generalized by O. Guichard and A. Wienhard [19] to representations of arbitrary Gromov hyperbolic groups into real semisimple Lie groups. In this paper, we focus on Anosov representations into the identity component O0(2, n) of O(2, n) for n $\ge$ 2. Our main result is that any Anosov representation with negative limit set as defined in [8] is the holonomy group of a spatially compact, globally hyperbolic maximal (abbrev. CGHM) conformally flat spacetime. The proof of the…
We consider a hyperbolic Dirac-type operator with growing potential on a a spatially non-compact globally hyperbolic manifold. We show that the Atiyah-Patodi-Singer boundary value problem for such operator is Fredholm and obtain a formula for this index in terms of the local integrals and the relative eta-invariant introduced by Braverman and Shi. This extends recent results of Bär and Strohmaier, who studied the index of a hyperbolic Dirac operator on a spatially compact globally hyperbolic manifold.
In this paper we combine our recent work on regular globally hyperbolic maximal anti-de Sitter structures with the classical theory of globally hyperbolic maximal Cauchy-compact anti-de Sitter manifolds in order to define an augmented moduli space. Moreover, we introduce a coordinate system in this space that resembles the complex Fenchel-Nielsen coordinates for hyperbolic quasi-Fuchsian manifolds.
