nLab
smooth Lorentzian space

Under Construction

Context

Differential geometry

differential geometry

synthetic differential geometry

Axiomatics

Models

Concepts

Theorems

Applications

Riemannian geometry

Physics

physics, mathematical physics, philosophy of physics

Surveys, textbooks and lecture notes


theory (physics), model (physics)

experiment, measurement, computable physics

Gravity

Contents

Definition

Lorentzian manifold

A Lorentzian manifold (X,η)(X, \eta) of dimension (d+1)(d+1) is a smooth manifold equipped with a pseudo-Riemannian metric η\eta of signature [+][+--\cdots -] (but note that the complementary choice [+++][-++\cdots +] is also used in the literature). This equips the tangent space T xXT_x X at every point xXx \in X canonically with the structure of a (d+1)(d+1)-dimensional Minkowski space. Accordingly, tangent vectors vT xXv \in T_x X of XX are called timelike , lightlike or spacelike , if their norm-square μ x(v,v)\mu_x(v,v) is positive, zero or negative, respectively.

Causal structure

A time orientation on a Lorentzian manifold XX is a smooth (or, depending on the author, continuous) vector field νΓ(TX)\nu \in \Gamma(T X) such that at all points xXx \in X the vector ν x\nu_x is timelike. In general, a Lorentzian manifold does not have globally defined timelike continuous vector fields. Sometimes only Lorentzian manifolds admitting a time orientation are also called spacetimes.

Given a time orientation ν\nu, a vector vT xXv \in T_x X is future directed if it is timelike or light-like and its inner product with the time orientation vector at that point is positive, μ x(ν,v x)>0\mu_x(\nu,v_x) \gt 0.

Since ν\nu itself is smooth, it follows that it is future directed with respect to itself at every point.

A smooth curve in XX, i.e. a smooth map γ:[0,1]X\gamma : [0,1] \to X is called a timelike curve or a lightlike curve or a spacelike curve or a future-directed curve precisely if all of its tangent vectors (γ * s)T γ(s)X(\gamma_* \partial_s) \in T_{\gamma(s)} X are.

We say that a point yXy \in X lies in the future of a point xXx \in X if y=xy = x or if there exists a future-directed curve γ:[0,1]X\gamma : [0,1] \to X with γ(0)=x\gamma(0) = x and γ(1)=y\gamma(1) = y. Equivalently, in this case xx lies in the past of yy.

Notions of causality

We say that (X,μ)(X,\mu) has closed timelike curves (closed future-directed curves) if there exists a non-constant timelike (future-dierected) curve starting and ending at some point xx. Spacetimes which do not contain closed timelike curves are called chronological, spacetimes which do not contain closed future directed (i.e. non-spacelike) curves are called causal.

Definition

Given a time orientated spacetime L, the chronological future I +(p)I^+(p) of a point pLp \in L is the set of events that can be reached by a future directed timelike curve starting from p:

I +(p):={qL|there exists a future directed timelike curveλ(t)withλ(0)=pandλ(1)=q} I^+(p) := \{ q \in L | \text{there exists a future directed timelike curve} \lambda(t) \text{with} \lambda(0) = p and \lambda(1)=q \}

The causal future J +(p)J^+(p) of pp is defined in the same way with future directed timelike replaced by future directed causal aka non-spacelike.

Definition

A subset S of a time orientated spacetime L is said to be achronal if no two points in S can be connected by a future directed timelike curve, i.e. for all p,qLp, q \in L we have qI +(p)q \notin I^+(p).

Theorem

boundary of chronological future Let L be a time orientated spacetime and SLS \subset L. Then the boundary of I +(S)I^+(S) is either empty or an achronal, three-dimensional, embedded, C 0C^0-submanifold of L.

This is theorem 8.1.3 in the book of Wald.

Examples of non-chronological Lorentzian manifolds are the anti de Sitter space and the Kerr spacetime.

While the former is more of a theoretical interest due to the maximality of the symmetry group, the latter is usually seen as a solution with relevance to actual physics, despite the fact that causality does not hold everywhere.

Note that the property of being chronological is not strong enough to enforce causality as understood in everyday life: Even if there are no closed future-directed curves, there still may be e.g. nonclosed ergodic future-directed curves (they come close to every point they already passed in the “past”). An often used stronger condition that models the everyday notion of causality is that the manifold has to be globally hyperbolic? (Wikipedia), which, as already mentioned, excludes certain solutions modelling e.g. black holes.

Being causal means being a poset

Precisely if the Lorentzian space is causal in that there are no closed future-directed curves is the relation

  • (xy)(x \leq y) \Leftrightarrowyy is in the future of xx

a poset, hence a category with at most a single morphism between any two objects:

The objects of this category are the points of XX. A morphism xyx \to y is a pair of points xyx \leq y with yy in the future of xx. Composition of morphisms is transitivity of the relation. The identity morphism on xx is the reflexivity xxx \leq x.

The anti-symmetry (xyx)(x=y)(x \leq y \leq x) \Rightarrow (x = y) is precisely the absence of closed future-directed curves in XX.

Conversely, from just knowing XX as a smooth manifold and knowing this poset structure on XX, one can reeconstruct the light cone structure of (X,μ)(X,\mu), i.e. the information about which tangent vectors are timelike, lightlike, etc.

One can see

(…reference…)

that the pseudo-Riemannian metric μ\mu may be reconstructed from the lightcone structure and the volume density? that it induces. In this sense a Lorentzian manifold without future-directed curves is equivalently a smooth poset equipped with a smooth measure on its space of objects.

Generalized smooth Lorentzian spaces

A smooth Lorentzian space is supposed to be like a Lorentzian manifold, but whose underlying space is not necesarily a smoth manifold, but a generalized smooth space.

So this is “something like” a poset internal to a category of measure spaces, or a poset-valued 2-stack on something like CartSp or the like.

Construction on a smooth Lorentzian space

Causal subsets

Let (X,μ,ν)(X,\mu,\nu) be a time-oriented Lorentzian space regarded as a smooth category that is a poset.

A causal subset of a XX is one of its under-over categories xXyx \downarrow X \downarrow y for a pair x,yXx,y \in X of points in XX.

Its objects form the collection of all points zXz \in X that are both in the future of xx as well as in the past of yy.

The path (,1)(\infty,1)-category of a Lorentzian space

To every Lie ∞-groupoid XX is associated its path ∞-groupoid Π(X)\mathbf{\Pi}(X). But more generally, to a smooth (∞,1)-category is associated a path (,1)(\infty,1)-category. See fundamental (infinity,1)-category.

A causal Lorentzian manifold may naturally be regarded as a smooth category (a smooth poset) and as such has a path (2,1)-category. Its invertible morphisms are smooth spacelike curves, and its non-invertible morphisms contain future-directed paths. This (2,1)(2,1)-category plays the role of the path groupoid of a plain manifold and is akin to the path 2-groupoid of paths in an orbifold, only that where the latter has all morphisms invertible, crucially in the path 2-groupoid of a Lorentzian space, there are non-invertible morphisms, reflecting the causal structure of that space.

To put this construction into context, we therefore first recall the story for paths in an orbifold.

Prelude: the path 2-groupoid of an orbifold

To an ordinary smooth manifold or generalized smooth space XX is associated its fundamental groupoid Π 1(X)\Pi_1(X) and its smooth path groupoid P 1(X)P_1(X): categories whose objects are the points of XX and whose morphisms are certain equivalence classes of smooth paths between these objects.

This construction generalizes from paths in plain spaces, to paths in spaces that are themselves smooth groupoids: notably to orbifolds XX.

Given an orbifold XX with space of objects X 0X_0 and space of morphisms X 1X_1, paths in it form a smooth 2-groupoid P 1(X)P_1(X) which looks as follows:

  • objects of P 1(X)P_1(X) are the points of X 0X_0;

  • the morphisms of P 1(X)P_1(X) are formal composites of two types of morphisms

    1. the smooth paths X 0X_0, i.e. the morphisms of P 1(X 0)P_1(X_0);

      γ:xy\gamma : x \to y

    2. the original morphisms of XX, i.e. the elements of X 1X_1. Since the orbifold is locally given by a group GG, we may think of these morphisms as being of the form xgxx \to g\cdot x, connecting a point xX 0x \in X_0 to the point gxg\cdot x that it is isomorphic to under the orbifold action.

  • the 2-morphisms of P 1(X)P_1(X) are paths in X 1X_1, i.e. morphisms of P 1(X 1)P_1(X_1). These we may picture as

    x γ y gx gγ gy. \array{ x &\stackrel{\gamma}{\to}& y \\ \downarrow &\swArrow& \downarrow \\ g\cdot x &\underset{g\cdot \gamma}{\to}& g \cdot y } \,.

    This is a path (γ,gγ)(\gamma, g\cdot \gamma) of pairs of points that are related under the orbifold action.

The path 2-groups P 1(X)P_1(X) of the orbifold encodes the correct notion of trajectories in the orbifold: such a trajectory may proceed along smooth paths, and intermittently it may jump between the “orbifold sectors”. Notably an automorphism in P 1(X)P_1(X) on a point xx may be given by a smooth path xgxx \to g x that does not come back to xx but just to one of its mirror-images, composed with the jump-morphism gxxg x \to x back to xx. Sometimes (notably in string theory) such loops are called twisted sectors of loop configurations.

A detailed description of the smooth 2-groupoid of paths in a smooth 2-groupoid may be found in section 2.1 of

There the groupoid XX is taken to be a Cech groupoid, but the general mechanism of the construction does not depend on this. A fully general description of paths in (higher) smooth groupoids is also at path ∞-groupoid.

It is immediate how this construction generalizes when the smooth groupoid XX is replaced by a smooth category. This we turn to now.

The path (2,1)(2,1)-category of a Lorentzian space

Now we discuss the same as above, where now X=(X 1X 0)X = (X_1 \stackrel{\to}{\to} X_0) is not a smooth groupoid, but a smooth category, notably the smooth poset determined by a smooth Lorentzian space.

So let XX be a smooth causal Lorentzian manifold, regarded as a poset. So X 0X_0 is the underlying manifold and X 1X 0×X 0X_1 \subset X_0 \times X_0 is the collection of pairs of points with one in the future of the other.

We equip this with the structure of a category internal to diffeological spaces, hence with the structure of a category-valued presheaf on the site CartSp, by declaring that a plot ϕ:UX 0\phi : U \to X_0 of the space of objects is a spacelike smooth map UX 0U \to X_0: the push-forward along ϕ\phi of every tangent vector of UCartSpU \in CartSp yields a spacelike vector in X 0X_0.

Analogously, we declare a plot ϕ:UX 1\phi : U \to X_1 to be a pair of plots into X 0X_0 such that pointwise this assigns a point and one point in its future.

From now on, by abuse of notation, by XX we shall mean this category internal to diffeological spaces, regarded as a category-valued presheaf on CartSp.

Then the path (2,1)(2,1)-category P 1(X)P_1(X) is defined as follows:

  • its space of objects is again the diffeological space X 0X_0;

  • the elements of its space of morphisms are generated from

    • morphisms γ:xy\gamma : x \to y given by reparameterization or thin-hoimotopy classes of smooth spacelike curves γ:[0,1]X 0\gamma : [0,1] \to X_0;

    • morphisms of the form xyx \to y for every xyx \leq y in the causal structure of XX.

    There is an evident diffeology on this space (a quotient of a disjoint union of product diffeologies). This defines the diffeological space (P 1(X))(P_1(X)).

  • the elements of its space of 2-morphisms are generated from 2-morphisms

    [γ 1] x 1 y 1 x 2 y 2 [γ 2]t[0,1]:γ 1(t)γ 2(t) \array{ & \nearrow \searrow^{\mathrlap{[\gamma_1]}} \\ x_1 && y_1 \\ \downarrow &\swArrow& \downarrow \\ x_2 && y_2 \\ & \searrow \nearrow_{\mathrlap{[\gamma_2]}} } \;\;\;\; \forall t \in [0,1] : \gamma_1(t) \leq \gamma_2(t)

    given from classes of smooth paths in X 1X_1, i.e. from classes of paths of pairs of points, one in the future of the other.

    There is an evident diffeology and evident composition operations on this. Notice that the generating 2-cells are 2-isomorphisms, but that their source and target morphisms are not generally invertible.

References

A classic reference for general relativity is

  • Robert Wald: General Relativity

A textbook dedicated to the classical diffential geometric aspects Lorentzian manifolds is

  • John K. Beem; Paul E. Ehrlich, ; Kevin L. Easley, Global Lorentzian geometry (ZMATH entry)

A classical influential text on the nature of Lorentzian space is

  • Roger Penrose, Wolfgang Rindler, Spinors and space time, in 2 vols. Cambridge Univ. Press 1984/1988.

The relation between causality and poset-structure (see also causal set) is reviewed for instance in

  • Ettore Minguzzi, Time and Causality in General Relativity , talk notes, Ponta Delgada, July 2009 (pdf)

More details are discussed in the context of domain theory, see for instance

Some vaguely related blog discussion is at

Discussion

A previous version of this entry started the following discussion.

Toby asked: How does this relate to a (smooth) Lorentzian manifold? if at all.

Eric says: Good question. I took the statement from a comment Urs made here. I chose to use the word “space” instead of “manifold” simply because it seemed to fit into a theme here about generalized smooth "spaces". The definition definitely needs fleshing out, but its a start.

Urs:

The point is: there is a theorem

that says that a map between two Lorentzian manifolds which preserves the causal structure, i.e. which is a functor of the underlying posets, is automatically a conformal isometry. There is, I think, another related theorem which says that from just the lightcone structure of a Lorentzian manifold, one can reconstruct its Lorentzian metric up to a conformal rescaling.

Both theorems suggest that a Lorentzian metric on a manifold is in a way equivalent to a pair consisting of a measure on the manifold and lightcone structure. The latter in turn can be encoded in a poset structure on the manifold. If true, it would seem to suggest that a good foundational model for relativistic physics might be posets internal to Meas.

Somebody should sort this out.

Eric says: I like this idea. The measure could be the Leinster measure, which would be neat. We discussed this before at the nCafe I think.

Urs: Yes, exactly. There was the idea that, since many finite categories come with a canonical measure on their space (set) of objects, maybe we somehow need to merge this idea of Leinster measure with the idea of modelling a Lorentzain spacetime by something like a poset. Playing around with this observation was the content of this blog entry. But I am not sure if it works out…

Revised on September 10, 2013 11:27:25 by Urs Schreiber (82.113.99.141)