Types of quantum field thories
A Lorentzian manifold of dimension is a smooth manifold equipped with a pseudo-Riemannian metric of signature (but note that the complementary choice is also used in the literature). This equips the tangent space at every point canonically with the structure of a -dimensional Minkowski space. Accordingly, tangent vectors of are called timelike , lightlike or spacelike , if their norm-square is positive, zero or negative, respectively. See also at causal structure.
A time orientation on a Lorentzian manifold is a smooth (or, depending on the author, continuous) vector field such that at all points the vector 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 , a vector is future directed if it is timelike or light-like and its inner product with the time orientation vector at that point is positive, .
Since itself is smooth, it follows that it is future directed with respect to itself at every point.
A smooth curve in , i.e. a smooth map 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 are.
We say that a point lies in the future of a point if or if there exists a future-directed curve with and . Equivalently, in this case lies in the past of .
We say that has closed timelike curves (closed future-directed curves) if there exists a non-constant timelike (future-dierected) curve starting and ending at some point . 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.
Given a time orientated spacetime L, the chronological future of a point is the set of events that can be reached by a future directed timelike curve starting from p:
The causal future of is defined in the same way with future directed timelike replaced by future directed causal aka non-spacelike.
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 we have .
boundary of chronological future Let L be a time orientated spacetime and . Then the boundary of is either empty or an achronal, three-dimensional, embedded, -submanifold of L.
This is theorem 8.1.3 in the book of Wald.
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.
Precisely if the Lorentzian space is causal in that there are no closed future-directed curves is the relation
The objects of this category are the points of . A morphism is a pair of points with in the future of . Composition of morphisms is transitivity of the relation. The identity morphism on is the reflexivity .
The anti-symmetry is precisely the absence of closed future-directed curves in .
Conversely, from just knowing as a smooth manifold and knowing this poset structure on , one can reeconstruct the light cone structure of , i.e. the information about which tangent vectors are timelike, lightlike, etc.
One can see
that the pseudo-Riemannian metric 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.
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.
A causal subset of a is one of its under-over categories for a pair of points in .
Its objects form the collection of all points that are both in the future of as well as in the past of .
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 -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.
To an ordinary smooth manifold or generalized smooth space is associated its fundamental groupoid and its smooth path groupoid : categories whose objects are the points of 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 .
Given an orbifold with space of objects and space of morphisms , paths in it form a smooth 2-groupoid which looks as follows:
objects of are the points of ;
the morphisms of are formal composites of two types of morphisms
the 2-morphisms of are paths in , i.e. morphisms of . These we may picture as
This is a path of pairs of points that are related under the orbifold action.
The path 2-groups 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 on a point may be given by a smooth path that does not come back to but just to one of its mirror-images, composed with the jump-morphism back to . Sometimes (notably in string theory) such loops are called twisted sectors of loop configurations.
There the groupoid 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 is replaced by a smooth category. This we turn to now.
Now we discuss the same as above, where now is not a smooth groupoid, but a smooth category, notably the smooth poset determined by a smooth Lorentzian space.
So let be a smooth causal Lorentzian manifold, regarded as a poset. So is the underlying manifold and 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 of the space of objects is a spacelike smooth map : the push-forward along of every tangent vector of yields a spacelike vector in .
Analogously, we declare a plot to be a pair of plots into such that pointwise this assigns a point and one point in its future.
From now on, by abuse of notation, by we shall mean this category internal to diffeological spaces, regarded as a category-valued presheaf on CartSp.
Then the path -category is defined as follows:
its space of objects is again the diffeological space ;
the elements of its space of morphisms are generated from
morphisms given by reparameterization or thin-hoimotopy classes of smooth spacelike curves ;
morphisms of the form for every in the causal structure of .
There is an evident diffeology on this space (a quotient of a disjoint union of product diffeologies). This defines the diffeological space .
the elements of its space of 2-morphisms are generated from 2-morphisms
given from classes of smooth paths in , 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.
A classic reference for general relativity is
A textbook dedicated to the classical diffential geometric aspects Lorentzian manifolds is
A classical influential text on the nature of Lorentzian space is
More details are discussed in the context of domain theory, see for instance
Some vaguely related blog discussion is at
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.
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…