The intention of this article is to give a flavour of some global problems in General Relativity. We cover a variety of topics, some of them related to the fundamental concept of 'Cauchy hypersurfaces': (1) structure of globally hyperbolic spacetimes, (2) the relativistic initial value problem, (3) constant mean curvature surfaces, (4) singularity theorems, (5) cosmic censorship and Penrose inequality, (6) spinors and holonomy.
This book was intended to serve as supporting material for a mini-course on web geometry delivered at the 27th Brazilian Mathematical Colloquium which took place at IMPA in the last week of July 2009.
We introduce the south-pointing chariot, an intriguing mechanical device from ancient China. We use its ability to keep track of a global direction as it travels on an arbitrary path as a tool to explore the geometry of curved surfaces. This takes us as far as a famous result of Gauss on the impossibility of a faithful map of the globe, which started off the field of differential geometry. The reader should get a view into how geometers think and an introduction to important early results in the field, but should need no more than a solid background in calculus (ideally through multivariable c…
The maximal analytic Schwarzschild spacetime is manifestly inextendible as a Lorentzian manifold with a twice continuously differentiable metric. In this paper, we prove the stronger statement that it is even inextendible as a Lorentzian manifold with a continuous metric. To capture the obstruction to continuous extensions through the curvature singularity, we introduce the notion of the spacelike diameter of a globally hyperbolic region of a Lorentzian manifold with a merely continuous metric and give a sufficient condition for the spacelike diameter to be finite. The investigation of low-reg…
We begin with a basic exploration of the (point-set topological) notion of Hausdorff closed limits in the spacetime setting. Specifically, we show that this notion of limit is well suited to sequences of achronal sets, and use this to generalize the `achronal limits' introduced in [12]. This, in turn, allows for a broad generalization of the notion of Lorentzian horosphere introduced in [12]. We prove a new rigidity result for such horospheres, which in a sense encodes various spacetime splitting results, including the basic Lorentzian splitting theorem. We use this to give a partial proof of …
The strong maximum principle is proved to hold for weak (in the sense of support functions) sub- and super-solutions to a class of quasi-linear elliptic equations that includes the mean curvature equation for $C^0$ spacelike hypersurfaces in a Lorentzian manifold. As one application a Lorentzian warped product splitting theorem is given.
In this paper we discuss the twistor equation in Lorentzian spin geometry. In particular, we explain the local conformal structure of Lorentzian manifolds, which admit twistor spinors inducing lightlike Dirac currents. Furthermore, we derive all local geometries with singularity free twistor spinors that occur up to dimension 7.
We propose a formulation of a Lorentzian quantum geometry based on the framework of causal fermion systems. After giving the general definition of causal fermion systems, we deduce space-time as a topological space with an underlying causal structure. Restricting attention to systems of spin dimension two, we derive the objects of our quantum geometry: the spin space, the tangent space endowed with a Lorentzian metric, connection and curvature. In order to get the correspondence to differential geometry, we construct examples of causal fermion systems by regularizing Dirac sea configurations i…
We prove that there exist global solutions of the twistor equation on the Fefferman spaces of strictly pseudoconvex spin manifolds of arbitrary dimension and we study their properties.
The notion of relativistic observer is confronted with Naveira's classification of (pseudo-)Riemannian almost-product structures on space-time manifolds. Some physical properties and their geometrical counterparts are shortly discussed.
We review three examples of functors from Lorentzian categories and their applications in finiteness results, singularity theorems and boundary constructions. The third example is a novel functor from the category of ordered measure spaces to the category of Lorentzian pre-length spaces in the sense of Kunzinger-Sämann.
We consider examples of the $\mathbb H$-type groups with the natural horizontal distribution generated by the commutation relations of the group. In the contrast with the previous studies we furnish the horizontal distribution with the Lorentzian metric, which is nondegenerate metric of index 1 instead of a positive definite quadratic form. The causal character is defined. We study the reachable set by timelike future directed curves. The parametric equations of geodesics are obtained.
In this paper we prove Hessian and Laplacian comparison theorems for the Lorentzian distance function in a spacetime with sectional (or Ricci) curvature bounded by a certain function by means of a comparison criterion for Riccati equations. Using these results, under suitable conditions, we are able to obtain some estimates on the higher order mean curvatures of spacelike hypersurfaces satisfying a Omori-Yau maximum principle for certain elliptic operators.
I introduce a family of closeness functions between causal Lorentzian geometries of finite volume and arbitrary underlying topology. When points are randomly scattered in a Lorentzian manifold, with uniform density according to the volume element, some information on the topology and metric is encoded in the partial order that the causal structure induces among those points; one can then define closeness between Lorentzian geometries by comparing the sets of probabilities they give for obtaining the same posets. If the density of points is finite, one gets a pseudo-distance, which only compare…
We describe the local conformal geometry of a Lorentzian spin manifold $(M,g)$ admitting a twistor spinor $ϕ$ with zero. Moreover, we describe the shape of the zero set of $ϕ$. If $ϕ$ has isolated zeros then the metric $g$ is locally conformally equivalent to a static monopole. In the other case the zero set consists of null geodesic(s) and $g$ is locally conformally equivalent to a Brinkmann metric. Our arguments utilise tractor calculus in an essential way. The Dirac current of $ϕ$, which is a conformal Killing vector field, plays an important role for our discussion as well.
We study sub-Riemannian and sub-Lorentzian geometry on the Lie group $\SU(1,1)$ and on its universal cover $\CSU(1,1)$. In the sub-Riemannian case we find the distance function and completely describe sub-Riemannian geodesics on both $\SU(1,1)$ and $\CSU(1,1)$, connecting two fixed points. In particular, we prove that there is a strong connection between the conjugate loci and the number of geodesics. In the sub-Lorentzian case, we describe the geodesics connecting two points on $\CSU(1,1)$, and compare them with Lorentzian ones. It turns out that the reachable sets for Lorentzian and sub-Lore…
We study the geometry and the periodic geodesics of a compact Lorentzian manifold that has a Killing vector field which is timelike somewhere. Using a compactness argument for subgroups of the isometry group, we prove the existence of one timelike non self-intersecting periodic geodesic. If the Killing vector field is never vanishing, then there are at least two distinct periodic geodesics; as a special case, compact stationary manifolds have at least two periodic timelike geodesics. We also discuss some properties of the topology of such manifolds. In particular, we show that a compact manifo…
This paper is a survey on special geometric structures that admit conformal Killing spinors based on lectures, given at the ``Workshop on Special Geometric Structures in String Theory'', Bonn, September 2001 and at ESI, Wien, November 2001. We discuss the case of Lorentzian signature and explain which geometries occur up to dimension 6.
In the early 80's S.-T. Yau posed the problem of establishing the rigidity of the Hawking-Penrose singularity theorems. Approaches to this problem have involved the introduction of Lorentzian Busemann functions and the study of the geometry of their level sets - the horospheres. The regularity theory in the Lorentzian case is considerably more complicated and less complete than in the Riemannian case. In this paper we introduce a broad generalization of the notion of horosphere in Lorentzian geometry and take a completely different (and highly geometric) approach to regularity. These generaliz…
There are three types of hypersurfaces in a pseudoconformal space C^n_1 of Lorentzian signature: spacelike, timelike, and lightlike. These three types of hypersurfaces are considered in parallel. Spacelike hypersurfaces are endowed with a proper conformal structure, and timelike hypersurfaces are endowed with a conformal structure of Lorentzian type. Geometry of these two types of hypersurfaces can be studied in a manner that is similar to that for hypersurfaces of a proper conformal space. Lightlike hypersurfaces are endowed with a degenerate conformal structure. This is the reason that their…
The concept of closed trapped surface is of paramount importance in General Relativity and other gravitational theories. However, it is a purely geometrical object. With the aim of bringing this concept to closer attention by the mathematical community, I introduce the generalized idea of trapped submanifold by using the causal character of the mean curvature vector. Trapped surfaces can thus be easily seen to be generalizations, possible in semi-Riemannian geometry, of the standard concepts of minimal surfaces, maximal hypersurfaces, geodesics, and the like. Selected applications are mentione…
It is commonly known that in Riemannian and sub-Riemannian Geometry, the metric tensor on a manifold defines a distance function. In Lorentzian Geometry, instead of a distance function it provides causal relations and the Lorentzian time-separation function. Both lead to the definition of the Alexandrov topology, which is linked to the property of strong causality of a space-time. We studied three possible ways to define the Alexandrov topology on sub-Lorentzian manifolds, which usually give different topologies, but agree in the Lorentzian case. We investigated their relationships to each oth…
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 show that many Lorentzian manifolds of dimension >2 do not admit a spacelike codimension-one foliation, and that almost every manifold of dimension >2 which admits a Lorentzian metric at all admits one which satisfies the dominant energy condition and the timelike convergence condition. These two seemingly unrelated statements have in fact the same origin. We also discuss the problem of topology change in General Relativity. A theorem of Tipler says that topology change is impossible via a spacetime cobordism whose Ricci curvature satisfies the strict lightlike convergence condition. In his…
Based on the work of Adams and Stuck as well as on the work of Zeghib, we classify the Lie groups which can act isometrically and locally effectively on Lorentzian manifolds of finite volume. In the case that the corresponding Lie algebra contains a direct summand isomorphic to the two-dimensional special linear algebra or to a twisted Heisenberg algebra, we also describe the geometric structure of the manifolds if they are compact. Using these results, we investigate the local geometry of compact homogeneous Lorentz spaces whose isometry groups have non-compact connected components. It turns …
In this note, we construct new examples of Lorentzian Sasaki-Einstein (LSE) metrics on Smale manifolds $M.$ It has already been established in \cite{Gmz2} that such metrics exist on the so-called torsion free Smale manifolds, i.e. the $k$-fold connected sum of $S^{2}\times S^{3}.$ Now, we show that LSE metrics exist on Smale manifolds for which $H_{2}(M,\mathbb{Z})_{tor}$ is nontrivial. In particular, we show that most simply-connected positive Sasakian rational homology 5-spheres are also negative Sasakian (hence Lorentzian Sasaki-Einstein). Moreover, we show that for each pair of positive in…
We define a Lorentzian distance function on the group of contactomorphisms of a closed contact manifold. This distance function is continuous with respect to the Hofer norm on the group of contactomorphisms defined by Shelukhin and finite if and only if the group of contactomorphisms is orderable. To prove this we show that intervals defined by the positivity relation are open with respect to the topology induced by the Hofer norm. For orderable Legendrian isotopy classes we show that the Chekanov-type metric defined by Rosen and Zhang is non-degenerate. In this case similar results hold for a…
We investigate geometric properties of indecomposable but non-irreducible Lorentzian manifolds, which are total spaces of circle bundles. We investigate under which conditions these manifolds are complete and give examples which fulfill the obtained conditions. In particular we investigate the Einstein equation for these spaces yielding examples for complete compact Ricci flat Lorentzian manifolds and manifolds with timelike Killing vector fields. Finally we study their holonomy and obtain in particular complete examples for Lorentzian manifolds with holonomy of so called type 4.
I review some of my recent work on non-lorentzian geometry. I review the classification of kinematical Lie algebras and their associated Klein geometries. I then describe the Cartan geometries modelled on them and their characterisation in terms of their intrinsic torsion. (To appear in the special issue "Applications of transformation groups" to be published by the Journal of Differential Geometry and Applications.)
In this easy introduction to higher gauge theory, we describe parallel transport for particles and strings in terms of 2-connections on 2-bundles. Just as ordinary gauge theory involves a gauge group, this generalization involves a gauge '2-group'. We focus on 6 examples. First, every abelian Lie group gives a Lie 2-group; the case of U(1) yields the theory of U(1) gerbes, which play an important role in string theory and multisymplectic geometry. Second, every group representation gives a Lie 2-group; the representation of the Lorentz group on 4d Minkowski spacetime gives the Poincaré 2-group…
Sub-Riemannian Geometry is proved to play an important role in many applications, e.g., Mathematical Physics and Control Theory. The simplest example of sub-Riemannian structure is provided by the 3-D Heisenberg group. Sub-Riemannian Geometry enjoys major differences from the Riemannian being a generalisation of the latter at the same time, e.g., geodesics are not unique and may be singular, the Hausdorff dimension is larger than the manifold topological dimension. There exists a large amount of literature developing sub-Riemannian Geometry. However, very few is known about its natural extensi…
Using global considerations, Mess proved that the moduli space of globally hyperbolic flat Lorentzian structures on $S\times\mathbb{R}$ is the tangent bundle of the Teichmüller space of $S$, if $S$ is a closed surface. One of the goals of this paper is to deepen this surprising occurrence and to make explicit the relation between the Mess parameters and the embedding data of any Cauchy surface. This relation is pointed out by using some specific properties of Codazzi tensors on hyperbolic surfaces. As a by-product we get a new Lorentzian proof of Goldman's celebrated result about the coinciden…
Conditions for the existence of closed geodesics is a classic, much-studied subject in Riemannian geometry, with many beautiful results and powerful techniques. However, many of the techniques that work so well in that context are far less effective in Lorentzian geometry. In revisiting this problem here, we introduce the notion of timelike geodesic homotopy, a restriction to geodesics of the more standard timelike homotopy (also known as $t$-homotopy) of timelike loops on Lorentzian manifolds. This tool is combined with a local shortening/stretching of length argument to provide a number of n…
In Lorentzian geometry, limited definition of angles restricts the use of angle bisectors in study of triangles. This paper redefines angle bisectors so that they can be used to study attributes of triangles. Using the new definition, this paper investigates the existence of the incenter and the isogonal conjugate of a triangle in Lorentzian plane.
We consider discrete subgroups Gamma of the simply connected Lie group SU~(1,1), the universal cover of SU(1,1), of finite level, i.e. the subgroup intersects the centre of SU~(1,1) in a subgroup of finite index, this index is called the level of the group. The Killing form induces a Lorentzian metric of constant curvature on the Lie group SU~(1,1). The discrete subgroup Gamma acts on SU~(1,1) by left translations. We describe the Lorentz space form SU~(1,1)/Gamma by constructing a fundamental domain F for Gamma. We want F to be a polyhedron with totally geodesic faces. We construct such F for…
We study Lorentzian manifolds $(M, g)$ of dimension $n\geq 4$, equipped with a maximally twisting shearfree null vector field $p_o$, for which the leaf space $S = M/\{\exp t p_o\}$ is a smooth manifold. If $n = 2k$, the quotient $S = M/\{\exp t p_o\}$ is naturally equipped with a subconformal structure of contact type and, in the most interesting cases, it is a regular Sasaki manifold projecting onto a quantisable Kähler manifold of real dimension $2k -2$. Going backwards through this line of ideas, for any quantisable Kähler manifold with associated Sasaki manifold $S$, we give the local desc…
We review recent work on the local geometry and optimal regularity of Lorentzian manifolds with bounded curvature. Our main results provide an estimate of the injectivity radius of an observer, and a local canonical foliations by CMC (Constant Mean Curvature) hypersurfaces, together with spatially harmonic coordinates. In contrast with earlier results based on a global bound for derivatives of the curvature, our method requires only a sup-norm bound on the curvature near the given observer.
We study the geometric structure of Lorentzian spin manifolds, which admit imaginary Killing spinors. The discussion is based on the cone construction and a normal form classification of skew-adjoint operators in signature $(2,n-2)$. Derived geometries include Brinkmann spaces, Lorentzian Einstein-Sasaki spaces and certain warped product structures. Exceptional cases with decomposable holonomy of the cone are possible.
We observe that, in dimension four, symplectic forms may be obtained via Lorentzian geometry; in particular, null vector fields can give rise to exact symplectic forms. That a null vector field is nowhere vanishing yet orthogonal to itself is essential to this construction. Specifically, we show that on a Lorentzian 4-manifold $(M,g)$, if ${\boldsymbol k}$ is a complete null vector field with geodesic flow along which $\text{Ric}({\boldsymbol k},{\boldsymbol k}) > 0$, and if $f$ is any smooth function on $M$ with ${\boldsymbol k}(f)$ nowhere vanishing, then $dg(e^f{\boldsymbol k},\cdot)$ is a …
The authors study the geometry of lightlike hypersurfaces on manifolds $(M, c)$ endowed with a pseudoconformal structure $c = CO (n - 1, 1)$ of Lorentzian signature. Such hypersurfaces are of interest in general relativity since they can be models of different types of physical horizons. On a lightlike hypersurface, the authors consider the fibration of isotropic geodesics and investigate their singular points and singular submanifolds. They construct a conformally invariant normalization of a lightlike hypersurface intrinsically connected with its geometry and investigate affine connections i…
In this article we develop some elementary aspects of a theory of symmetry in sub-Lorentzian geometry. First of all we construct invariants characterizing isometric classes of sub-Lorentzian contact 3 manifolds. Next we characterize vector fields which generate isometric and conformal symmetries in general sub-Lorentzian manifolds. We then focus attention back to the case where the underlying manifold is a contact 3 manifold and more specifically when the manifold is also a Lie group and the structure is left-invariant.
We study the geometry of compact Lorentzian manifolds that admit a somewhere timelike Killing vector field, and whose isometry group has infinitely many connected components. Up to a finite cover, such manifolds are products (or amalgamated products) of a flat Lorentzian torus and a compact Riemannian (resp., lightlike) manifold.
Given a semi-Riemannian $4$-manifold $(M,g)$ with two distinguished vector fields satisfying properties determined by their shear, twist and various Lie bracket relations, a family of Kähler metrics $g_K$ is constructed, defined on an open set in $M$, which coincides with $M$ in many typical examples. Under certain conditions $g$ and $g_K$ share various properties, such as a Killing vector field or a vector field with a geodesic flow. In some cases the Kähler metrics are complete. The Ricci and scalar curvatures of $g_K$ are computed under certain assumptions in terms of data associated to $g$…
The conformal geometry of spacelike surfaces in 4-dimensional Lorentzian space forms has been studied by the authors in a previous paper, where the so-called polar transform was introduced. Here it is shown that this transform preserves spacelike conformal isothermic surfaces. We relate this new transform with the known transforms (Darboux transform and spectral transform) of isothermic surfaces by establishing the permutability theorems.
We study the geometry of stable maximal hypersurfaces in a variety of spacetimes satisfying various physically relevant curvature assumptions, for instance the Timelike Convergence Condition (TCC). We characterize stability when the target space has constant sectional curvature as well as give sufficient conditions on the geometry of the ambient spacetime (e.g., the validity of TCC) to ensure stability. Some rigidity results and height estimates are also proven in GRW spacetimes. In the last part of the paper we consider $k$-stability of spacelike hypersurfaces, a concept related to mean curva…
In the present paper, we show that the geometry of a screen integrable null hypersurface can be generated from an isometric immersion of a leaf of its screen distribution into the ambient space. We prove, under certain geometric conditions, that such immersions are contained in semi-Euclidean spheres or hyperbolic spaces, and the underlying null hypersurfaces are necessarily umbilic and screen totally umbilic. Where necessary, examples have been given to illustrate the main ideas.
We introduce the notion of $\varepsilonη\,$-Einstein $\varepsilon\,$-contact metric three-manifold, which includes as particular cases $η\,$-Einstein Riemannian and Lorentzian (para) contact metric three-manifolds, but which in addition allows for the Reeb vector field to be null. We prove that the product of an $\varepsilonη\,$-Einstein Lorentzian $\varepsilon\,$-contact metric three-manifold with an $\varepsilonη\,$-Einstein Riemannian contact metric three-manifold carries a bi-parametric family of Ricci-flat Lorentzian metric-compatible connections with isotropic, totally skew-symmetric, cl…
Generalized Robertson-Walker (GRW) spaces constitute a quite important family in Lorentzian geometry, and it is an interesting question to know whether a Lorentzian manifold can be decomposed in such a way. It is well known that the existence of a suitable vector field guaranties the local decomposition of the manifold. In this paper, we give conditions on the curvature which ensure a global decomposition and apply them to several situations where local decomposition appears naturally. We also study the uniqueness question, obtaining that the de Sitter spaces are the only non trivial complete …
