# Spacetime Causal Structure and Dimension from Horismotic Relation

Authors: O. C. Stoica
Journal: Journal of Gravity
 (2016)

---

## Abstract

A reflexive relation on a set can be a starting point in defining the causal structure of a spacetime in General Relativity and other relativistic theories of gravity. If we identify this relation as the relation between lightlike separated events (the horismos relation), we can construct in a natural way the entire causal structure: causal and chronological relations, causal curves, and a topology. By imposing a simple additional condition, the structure gains a definite number of dimensions. This construction works with both continuous and discrete spacetimes. The dimensionality is obtained also in the discrete case, so this approach can be suited to prove the fundamental conjecture of causal sets. Other simple conditions lead to a differentiable manifold with a conformal structure (the metric up to a scaling factor) as in Lorentzian manifolds. This structure provides a simple and general reconstruction of the spacetime in relativistic theories of gravity, which normally requires topological structure, differential structure, and geometric structure (which decomposes in the conformal structure, giving the causal relations and the volume element). Motivations for such a reconstruction come from relativistic theories of gravity, where the conformal structure is important, from the problem of singularities, and from Quantum Gravity, where various discretization methods are pursued, particularly in the causal sets approach.


---

## Body

## 1. Introduction

In Lorentzian manifolds, thecausal relations are defined as holding between events that can be joined by future oriented causal curves. Causal relations give thecausal structure of a spacetime. In [1], the causal structure was used to recover thehorismos andchronology relations of a spacetime (the relations between events that can be joined by future lightlike, resp., timelike curves). The causal structure is known to be sufficient to recover the metric of the spacetime up to a conformal factor. The conformal factor can be obtained if in addition we know a measure which gives the volume element [2–6]. This works fordistinguishing spacetimes—spacetimes whose events can be distinguished by the chronological relations they have with the other events (e.g., spacetimes containing closed timelike curves are not distinguishing). Moreover, for distinguishing spacetimes, the causal structure can be obtained from the horismos relation [7].The fact that the causal structure and a measure are enough to recover the geometry of spacetime in General Relativity and other relativistic theories of gravity and the hope that discretization may be the way to Quantum Gravity by providing an UV cutoff motivated the study of sets ordered by the causal order [4, 8, 9]. Another motivation was that a discrete structure could account for the black hole entropy [10, 11]. These reasons led in particular to the idea ofcausal set, defined as a set C endowed with a partial order ≤, which therefore is reflexive, antisymmetric, and transitive (in standard causal set articles and some General Relativity articles like [12] the notation “≺” is used, but in standard General Relativity articles and textbooks like [13] the notation “≤” is preferred). In addition, it is required that, for any a,b∈C, the cardinality of the set {p∈C∣a≤p≤b} is finite [14–16]. In the causal set approach, the continuous spacetime is considered to be an effective limit of the causal set. The measure used to recover the volume element is given by the number of events in each region. As Sorkin put it, “order plus number equals geometry.”However, causal sets do not have a definite dimension. One sort of dimension is the smallest dimension of a Minkowski spacetime in which the causal set can be embedded (flat conformal dimension), but there are more possible definitions of dimension, such as statistical and spectral dimensions [15, 17–19], none of them satisfactory enough for this problem. This is probably the main reason why it is so difficult to prove and even to formulate mathematically the fundamental conjecture of causal sets (Hauptvermutung) that the causal set can recover within reasonable approximation (yet to be defined) the manifold structure. In the limiting case of infinite event density uniformly distributed, the conjecture has been proven [20], but in general the problem remains open.In the following, we consider sets of events endowed with a reflexive relation which represents the horismos relation. We do this in the most general settings, including both the continuous and the discrete cases. We show that from the horismos relation one can recover the topology, the causal structure, and, with simple additional requirements, the dimension of spacetime and the differential structure.The paper is organized as follows. We start with the definitions and main properties of the horismotic sets in Section2.1. From them, we derive the causal structure in Section 2.2 and show how to obtain a topology in Section 2.3. Then, based on the horismotic sets, we introduce the causal curves in Section 2.4. To recover the dimension, we start with a simple example in two dimensions, which contains the main ingredients in Section 3.1. Then, we introduce a notion of dimension on horismotic sets in Section 3.2, which allows us to construct light cone coordinates in Section 3.3. These allow straightforwardly recovering the structure of a topological manifold and, under reasonable conditions, the differential structure and the conformal structure in Section 3.4.


## 2. Horismotic Sets

### 2.1. Elementary Properties

Definition 1 (horismotic set).
Ahorismotic set(M,→) is a set M whose elements one callsevents, endowed with a binary relation →, which isreflexive (a→a for any a∈M). If a→b, one says that a and b are in thehorismos relation or simply that ahorismosb. For an event a∈M, one defines itsfuture horismos orfuture light cone as E+(a)≔{b∈M∣a→b} and itspast horismos orpast light cone as E-(a)≔{b∈M∣b→a}.The horismos relationa→b has the physical meaning that a light ray can be emitted from the event a to b; thus, it represents the lightlike separation between events. This relation is not transitive.Definition 2.
The horismotic relation→ isantisymmetric (i.e., for any two events a and b from M, from a→b and b→a follows a=b) if and only if for any event a from M, E+(a)∩E-(a)={a}.Proposition 3.
If the horismotic relation→ is antisymmetric, then for any two events a and b from M, from E+(a)=E+(b) it follows that a=b.Proof.
IfE+(a)=E+(b), then, since a→a and b→b, it follows that a∈E+(a)=E+(b) and b∈E+(b)=E+(a). Hence, a→b and b→a, and from antisymmetry, a=b.


### 2.2. Causal Structure

Definition 4.
A horismotic chain between two eventsa,b∈M is a set of k+1 events {c0,…,ck}∈M, where k∈N is a nonnegative integer, so that c0=a, ci-1→ci for all i, and ck=b. The length of the chain is then defined to be k+1. Let one define thecausal relation between two events a,b∈M, by a≤b iff there is a horismotic chain joining a and b. One defines thechronology relation≪ on M by a≪b iff a≤b and not a→b. The relation ≪ represents timelike separation between events. One also defines the relation ≪_ by a≪_b⇔(a≪b)∨(a=b). Two events a,b∈M arespacelike separated, a♮b, iff neither a≤b nor b≤a.Definition 5.
For an eventa∈M, one defines itschronological future by I+(a)≔{b∈M∣a≪b} and itschronological past by I-(a)≔{b∈M∣b≪a}. One defines itscausal future by J+(a)≔{b∈M∣a≤b} and itscausal past by J-(a)≔{b∈M∣b≤a}. One defines thecausal cone of a by J(a)=J+(a)∪J-(a), thechronological cone of a by I(a)=I+(a)∪I-(a), and thelight cone of a by E(a)=E+(a)∪E-(a). One defines E∗(a)≔E(a)∖{a}, E∗±a≔E±a∖{a}, J∗(a)≔J(a)∖{a}, and J∗±(a)≔J±(a)∖{a}. Two events a,b∈M define achronological intervalI(a,b)≔I+(a)∩I-(b) and acausal intervalJ(a,b)≔J+(a)∩J-(b).Proposition 6.
Leta,b∈M. Then, b∈J+(a)⇔a∈J-(b), b∈I+(a)⇔a∈I-(b), and b∈E+(a)⇔a∈E-(b).Proof.
The proof follows immediately from Definitions1, 4, and 5.Proposition 7.
The causal relations≤ and ≪ are transitive.Proof.
The proof follows immediately from the definitions of the relations≤ and ≪.The causal relation≤ is the smallest transitive extension of the horismos relation →.Definition 8.
A horismotic setM is said to befuture (past) distinguishing at an eventa∈M if for any b∈M, b≠a implies I+(a)≠I+(b) (resp., I-(a)≠I-(b)). It is said to befuture (past) distinguishing if it is future (past) distinguishing at all of its events. It is said to bedistinguishing if it is both future and past distinguishing.Many of the properties of the causal and chronological relations known from General Relativity and Lorentzian manifolds in general [12] can be derived in the settings of horismotic sets.


### 2.3. The Topology

We can endowM with a structure of topological space generated by finite intersections and unions of open sets the sets of the form I±(a). As an example, consider the spacetime of General Relativity and other relativistic theories of gravity. The sets of the form I±(a) are the interiors of future and past light cones and are indeed open sets and generate theAlexandrov interval topology. This topology coincides with the manifold topology iff it is Hausdorff and iff the spacetime isstrongly causal (at each event there is an open set U so that timelike curves that leave U do not return) [12].But not any horismotic set has a definite dimension, nor it is locally homeomorphic toRn. Additional conditions are needed and will be provided in the following.


### 2.4. Causal Curves

To define causal curves in Lorentzian manifolds, one usually imposes conditions on the vectors tangent to the curve [12]. However, by default a horismotic set does not have a differential structure, so here we will give a definition that does not require a differential and not even a topological structure.Definition 9.
Let⊲ denote any of the relations →, ≤, and ≪_ on a horismotic set M.
Anopen curve with respect to the relation⊲ defined on a horismotic set M is a set of events γ⊂M so that the following two conditions hold: (1)
The relation⊲ istotal on γ; that is, for any a,b∈γ, a≠b, either a⊲b or b⊲a.(2)
For any paira,b∈γ, a⊲b, if there is an event c∈M∖γ so that a⊲c and c⊲b, then the restriction of the relation ⊲ to the set γ∪{c} is not total.Aloop or closed curve with respect to the relation⊲ defined on a horismotic set M is a set of events λ⊂M so that, for any event a∈λ, the set λ∖{a} is an open curve with respect to the same relation.Remark 10.
Note that usually a curve is defined as the image of a continuous injective functionγ:[x,y]→M, where [x,y]⊂R and M is a topological space. Therefore, it is a topological subspace of M and at the same time a totally ordered set, with the order induced by the order on the interval [x,y]. Definition 9 is more general, since it applies to horismotic sets, in particular to both discrete and continuous spacetimes. In Section 2.3 the horismotic set M was endowed with a topology, the Alexandrov interval topology, and a curve as in Definition 9 is still a topological subspace of M, which has the property that it is totally ordered with respect to the relation ⊲. In the particular case when M is a manifold with distinguishing causal structure, the notion of curve defined here coincides with the usual notion of curve.For simplicity, in the following, by “curve” we will understand “open curve,” and by “loop,” “closed curve.” We denote byC(M,⊲) and L(M,⊲) the set of curves, respectively, loops, with respect to the relation ⊲. Let γ,γ′∈C(M,⊲) be two curves. If γ⊆γ′, then γ′ is said to be anextension of γ, and γ is named asubcurve of γ′. If for any extension γ′ of the curve γ it follows that γ′=γ, we say that γ is aninextensible curve. If an extension γ′ of a curve γ is inextensible, we say that γ′ is amaximal extension of γ.Ifa∈γ∈C(M,⊲), then a defines two curves for which γ is an extension: γa+≔{b∈γ,a⊲b}, and γa-≔{b∈γ,b⊲a}. If a,b∈γ, a⊲b, then they define a curve γab≔γa+∩γb-, and we call it thesegment of the curve γ determined by a and b.A curve fromC(M,≤) is calledcausal curve. A curve from C(M,≪_) is calledchronological curve. A curve from C(M,→) is calledlightlike curve. Similar definitions are given for loops.Remark 11.
It is easy to see thatL(M,→)⊂L(M,≤), L(M,≪_)⊂L(M,≤), C(M,→)⊂C(M,≤), and C(M,≪_)⊂C(M,≤). Also, if the horismos relation → is antisymmetric, then there are no closed lightlike curves, L(M,→)=∅. Even when the relation → is antisymmetric, ≤ and ≪_ are not necessarily antisymmetric, so if we want to avoid closed causal and chronological curves, we have to add this as a condition.Definition 12.
A spacetime on which there are no causal loops, that is,L(M,≤)=∅, is calledcausal spacetime. Similarly one defines achronological spacetime by L(M,≪_)=∅.Proposition 13.
Letγ be a curve in M, and a∈γ. If γ is a causal curve, then γa±⊂J±(a). If γ is a chronological curve, then γa±⊂I±(a). If γ is a lightlike curve, then γa±⊂E±(a).Proof.
It follows from the condition that the relation≤ is total on any causal curve, ≪_ is total on any chronological curve, and → is total on any lightlike curve.Corollary 14.
Letγ be a curve in M, and a,b∈γ. If γ is a causal curve, then γab⊂J(a,b). If γ is a chronological curve, then γab⊂I(a,b)∪{a,b}.Proof.
It follows from Proposition13.Corollary 15.
The causal, chronological, and lightlike curves and loops are continuous with respect to the interval topology defined in Section2.3.Proof.
From Corollary14, for any causal curve γ and a,b∈γ, the curve γab⊂J(a,b). Since the interiors of the intervals of the form J(a,b) form a base for the interval topology, it follows that γ is continuous. Similarly, if γ is a loop, the curve obtained by removing a point of γ is a continuous curve.


## 2.1. Elementary Properties

Definition 1 (horismotic set).
Ahorismotic set(M,→) is a set M whose elements one callsevents, endowed with a binary relation →, which isreflexive (a→a for any a∈M). If a→b, one says that a and b are in thehorismos relation or simply that ahorismosb. For an event a∈M, one defines itsfuture horismos orfuture light cone as E+(a)≔{b∈M∣a→b} and itspast horismos orpast light cone as E-(a)≔{b∈M∣b→a}.The horismos relationa→b has the physical meaning that a light ray can be emitted from the event a to b; thus, it represents the lightlike separation between events. This relation is not transitive.Definition 2.
The horismotic relation→ isantisymmetric (i.e., for any two events a and b from M, from a→b and b→a follows a=b) if and only if for any event a from M, E+(a)∩E-(a)={a}.Proposition 3.
If the horismotic relation→ is antisymmetric, then for any two events a and b from M, from E+(a)=E+(b) it follows that a=b.Proof.
IfE+(a)=E+(b), then, since a→a and b→b, it follows that a∈E+(a)=E+(b) and b∈E+(b)=E+(a). Hence, a→b and b→a, and from antisymmetry, a=b.


## 2.2. Causal Structure

Definition 4.
A horismotic chain between two eventsa,b∈M is a set of k+1 events {c0,…,ck}∈M, where k∈N is a nonnegative integer, so that c0=a, ci-1→ci for all i, and ck=b. The length of the chain is then defined to be k+1. Let one define thecausal relation between two events a,b∈M, by a≤b iff there is a horismotic chain joining a and b. One defines thechronology relation≪ on M by a≪b iff a≤b and not a→b. The relation ≪ represents timelike separation between events. One also defines the relation ≪_ by a≪_b⇔(a≪b)∨(a=b). Two events a,b∈M arespacelike separated, a♮b, iff neither a≤b nor b≤a.Definition 5.
For an eventa∈M, one defines itschronological future by I+(a)≔{b∈M∣a≪b} and itschronological past by I-(a)≔{b∈M∣b≪a}. One defines itscausal future by J+(a)≔{b∈M∣a≤b} and itscausal past by J-(a)≔{b∈M∣b≤a}. One defines thecausal cone of a by J(a)=J+(a)∪J-(a), thechronological cone of a by I(a)=I+(a)∪I-(a), and thelight cone of a by E(a)=E+(a)∪E-(a). One defines E∗(a)≔E(a)∖{a}, E∗±a≔E±a∖{a}, J∗(a)≔J(a)∖{a}, and J∗±(a)≔J±(a)∖{a}. Two events a,b∈M define achronological intervalI(a,b)≔I+(a)∩I-(b) and acausal intervalJ(a,b)≔J+(a)∩J-(b).Proposition 6.
Leta,b∈M. Then, b∈J+(a)⇔a∈J-(b), b∈I+(a)⇔a∈I-(b), and b∈E+(a)⇔a∈E-(b).Proof.
The proof follows immediately from Definitions1, 4, and 5.Proposition 7.
The causal relations≤ and ≪ are transitive.Proof.
The proof follows immediately from the definitions of the relations≤ and ≪.The causal relation≤ is the smallest transitive extension of the horismos relation →.Definition 8.
A horismotic setM is said to befuture (past) distinguishing at an eventa∈M if for any b∈M, b≠a implies I+(a)≠I+(b) (resp., I-(a)≠I-(b)). It is said to befuture (past) distinguishing if it is future (past) distinguishing at all of its events. It is said to bedistinguishing if it is both future and past distinguishing.Many of the properties of the causal and chronological relations known from General Relativity and Lorentzian manifolds in general [12] can be derived in the settings of horismotic sets.


## 2.3. The Topology

We can endowM with a structure of topological space generated by finite intersections and unions of open sets the sets of the form I±(a). As an example, consider the spacetime of General Relativity and other relativistic theories of gravity. The sets of the form I±(a) are the interiors of future and past light cones and are indeed open sets and generate theAlexandrov interval topology. This topology coincides with the manifold topology iff it is Hausdorff and iff the spacetime isstrongly causal (at each event there is an open set U so that timelike curves that leave U do not return) [12].But not any horismotic set has a definite dimension, nor it is locally homeomorphic toRn. Additional conditions are needed and will be provided in the following.


## 2.4. Causal Curves

To define causal curves in Lorentzian manifolds, one usually imposes conditions on the vectors tangent to the curve [12]. However, by default a horismotic set does not have a differential structure, so here we will give a definition that does not require a differential and not even a topological structure.Definition 9.
Let⊲ denote any of the relations →, ≤, and ≪_ on a horismotic set M.
Anopen curve with respect to the relation⊲ defined on a horismotic set M is a set of events γ⊂M so that the following two conditions hold: (1)
The relation⊲ istotal on γ; that is, for any a,b∈γ, a≠b, either a⊲b or b⊲a.(2)
For any paira,b∈γ, a⊲b, if there is an event c∈M∖γ so that a⊲c and c⊲b, then the restriction of the relation ⊲ to the set γ∪{c} is not total.Aloop or closed curve with respect to the relation⊲ defined on a horismotic set M is a set of events λ⊂M so that, for any event a∈λ, the set λ∖{a} is an open curve with respect to the same relation.Remark 10.
Note that usually a curve is defined as the image of a continuous injective functionγ:[x,y]→M, where [x,y]⊂R and M is a topological space. Therefore, it is a topological subspace of M and at the same time a totally ordered set, with the order induced by the order on the interval [x,y]. Definition 9 is more general, since it applies to horismotic sets, in particular to both discrete and continuous spacetimes. In Section 2.3 the horismotic set M was endowed with a topology, the Alexandrov interval topology, and a curve as in Definition 9 is still a topological subspace of M, which has the property that it is totally ordered with respect to the relation ⊲. In the particular case when M is a manifold with distinguishing causal structure, the notion of curve defined here coincides with the usual notion of curve.For simplicity, in the following, by “curve” we will understand “open curve,” and by “loop,” “closed curve.” We denote byC(M,⊲) and L(M,⊲) the set of curves, respectively, loops, with respect to the relation ⊲. Let γ,γ′∈C(M,⊲) be two curves. If γ⊆γ′, then γ′ is said to be anextension of γ, and γ is named asubcurve of γ′. If for any extension γ′ of the curve γ it follows that γ′=γ, we say that γ is aninextensible curve. If an extension γ′ of a curve γ is inextensible, we say that γ′ is amaximal extension of γ.Ifa∈γ∈C(M,⊲), then a defines two curves for which γ is an extension: γa+≔{b∈γ,a⊲b}, and γa-≔{b∈γ,b⊲a}. If a,b∈γ, a⊲b, then they define a curve γab≔γa+∩γb-, and we call it thesegment of the curve γ determined by a and b.A curve fromC(M,≤) is calledcausal curve. A curve from C(M,≪_) is calledchronological curve. A curve from C(M,→) is calledlightlike curve. Similar definitions are given for loops.Remark 11.
It is easy to see thatL(M,→)⊂L(M,≤), L(M,≪_)⊂L(M,≤), C(M,→)⊂C(M,≤), and C(M,≪_)⊂C(M,≤). Also, if the horismos relation → is antisymmetric, then there are no closed lightlike curves, L(M,→)=∅. Even when the relation → is antisymmetric, ≤ and ≪_ are not necessarily antisymmetric, so if we want to avoid closed causal and chronological curves, we have to add this as a condition.Definition 12.
A spacetime on which there are no causal loops, that is,L(M,≤)=∅, is calledcausal spacetime. Similarly one defines achronological spacetime by L(M,≪_)=∅.Proposition 13.
Letγ be a curve in M, and a∈γ. If γ is a causal curve, then γa±⊂J±(a). If γ is a chronological curve, then γa±⊂I±(a). If γ is a lightlike curve, then γa±⊂E±(a).Proof.
It follows from the condition that the relation≤ is total on any causal curve, ≪_ is total on any chronological curve, and → is total on any lightlike curve.Corollary 14.
Letγ be a curve in M, and a,b∈γ. If γ is a causal curve, then γab⊂J(a,b). If γ is a chronological curve, then γab⊂I(a,b)∪{a,b}.Proof.
It follows from Proposition13.Corollary 15.
The causal, chronological, and lightlike curves and loops are continuous with respect to the interval topology defined in Section2.3.Proof.
From Corollary14, for any causal curve γ and a,b∈γ, the curve γab⊂J(a,b). Since the interiors of the intervals of the form J(a,b) form a base for the interval topology, it follows that γ is continuous. Similarly, if γ is a loop, the curve obtained by removing a point of γ is a continuous curve.


## 3. Recovering the Dimension

### 3.1. Example: The Two-Dimensional Case

We look first at a simple example of recovering the conformal structure of a Lorentzian manifold in two dimensions, which later will be distilled and generalized.Assume that through any eventa∈M pass exactly two maximal lightlike lines, say γ1a and γ2a. For a Lorentzian manifold, theglobal hyperbolicity condition states that, for any two events a,b∈M, the set J(a,b) is compact. The notion of global hyperbolicity extends naturally to a general horismotic set M, because it is also a topological space, as shown in Section 2.3. We assume that M satisfies global hyperbolicity. In the two-dimensional case, this is equivalent to the condition that, for any event p∈I+(a), γ1a intersects γ2p and γ2a intersects γ1p (see Figure 1). Let us see why the two conditions are equivalent. If, for example, γ1a would not intersect γ2p, then the set J(a,b) would not be compact. Because of the assumptions at the beginning of this paragraph, the intersection γ1a∩γ2p contains a unique event c1. Similarly, γ2a∩γ1p contains a unique event c2.Figure 1
Any eventp∈I+(a) has light cone coordinates (f1(c1),f2(c2)), and {p}=E+(c1)∩E+(c2).The unique eventsc1 and c2 uniquely identify p. For any maximal lightlike line γ through a, a parametrization f:γ→R can be chosen so that for any c,d∈γ, c→d, f(c)≤f(d). Then, the lightlike lines γ1a and γ2a together with such parametrizations will give coordinates for I+(a). In addition, if the parametrization can be chosen so that f(γ) is an open interval in R, then M gains a structure of topological manifold. A cover of M with open sets on which such light cone coordinates are defined, and such that the transition maps are differentiable, makes M into a differentiable manifold of dimension 2.Note that there is no need to assume global hyperbolicity; a local version is enough: for any eventp∈M there is an open set U containing p which is globally hyperbolic. In General Relativity and other relativistic theories of gravity, this local version is satisfied also on spacetimes that are not globally hyperbolic.We now detail these ideas and extend them ton dimensions.


### 3.2. Dimensionality

The mere existence of a topology defined by chronological intervals onM does not imply anything about dimension. In order to assign to M a dimension, we have to define it and to require it one way or another.Definition 16.
A numbern∈N is called dimension of an open set U⊂M if there are n distinct causal curves γ1,…,γn⊂M satisfying the following:(1)
For anyp∈U there are n events ci∈γi, i∈{1,…,n} so that (1)p=⋂i=1nE+ciorp=⋂i=1nE-ci.(2)
The numbern is the smallest with this property.We say that the curves γ1,…,γn form alight cone basis of dimensionn of the open set U (Figure 2).Figure 2
An event{p}=E+(c1)∩E+(c2)∩E+(c3), with light cone coordinates (f1(c1),f2(c2),f3(c3)).Definition 17.
Letn∈N. An n-dimensional horismotic set is a horismotic set (M,→) so that for any event p∈M there is an open set p∈U of dimension n. One says that the dimension of M is dim⁡M=n.


### 3.3. Light Cone Coordinates

Definition 18.
Aparametrized causal curve is a causal curve γ and a function f:γ→R (calledparametrization of γ) which keeps the total order, that is, f(c)≤f(d), if and only if c≤d. A causal curve is calledparameterizable if it admits a parametrization.Definition 19.
LetU be an open set of M and n distinct causal curves γ1,…,γn⊂M, as in Definition 16. If the causal curves γ1,…,γn are parametrized by some functions f1,…,fn, the light cone basis they form assigns to any event p∈U an n-tuple of real numbers (f1(c1),…,fn(cn)), hence coordinates, which we calllightlike coordinates.


### 3.4. Recovering the Lorentzian Spacetime

Note that what we said so far works equally for continuous and discreteM. Now we focus on topological manifolds.Definition 20.
If the coordinates can be chosen to map the causal curveγ to an open interval in R, then for any event a∈M there is a local homeomorphism between an open set a∈U and Rn. In this case, M is calledcontinuous spacetime.Consider an open coverU of M so that for any Ui∈U there is a light cone coordinate system fi:Ui→Rn. This endows M with a structure of topological manifold.If(M,→) has a structure of topological manifold, and there is an open cover U of M so that for any Ui∈U there is a light cone coordinate system fi:Ui→Rn and so that for any Ui∩Uj≠∅ thetransition functionfjUi∩Uj∘(fiUi∩Uj)-1 is differentiable, then the cover U together with the charts (Ui,fi) determines adifferential structure on M.Ann-dimensional horismotic set (M,→) whose coordinates are continuous and such that the transition maps are differentiable is naturally endowed with a structure of differentiable manifold of dimension n. We know the light geodesics, and they give the conformal structure of M; that is, the metric is defined up to a scaling function Ω:M→(0,∞).


## 3.1. Example: The Two-Dimensional Case

We look first at a simple example of recovering the conformal structure of a Lorentzian manifold in two dimensions, which later will be distilled and generalized.Assume that through any eventa∈M pass exactly two maximal lightlike lines, say γ1a and γ2a. For a Lorentzian manifold, theglobal hyperbolicity condition states that, for any two events a,b∈M, the set J(a,b) is compact. The notion of global hyperbolicity extends naturally to a general horismotic set M, because it is also a topological space, as shown in Section 2.3. We assume that M satisfies global hyperbolicity. In the two-dimensional case, this is equivalent to the condition that, for any event p∈I+(a), γ1a intersects γ2p and γ2a intersects γ1p (see Figure 1). Let us see why the two conditions are equivalent. If, for example, γ1a would not intersect γ2p, then the set J(a,b) would not be compact. Because of the assumptions at the beginning of this paragraph, the intersection γ1a∩γ2p contains a unique event c1. Similarly, γ2a∩γ1p contains a unique event c2.Figure 1
Any eventp∈I+(a) has light cone coordinates (f1(c1),f2(c2)), and {p}=E+(c1)∩E+(c2).The unique eventsc1 and c2 uniquely identify p. For any maximal lightlike line γ through a, a parametrization f:γ→R can be chosen so that for any c,d∈γ, c→d, f(c)≤f(d). Then, the lightlike lines γ1a and γ2a together with such parametrizations will give coordinates for I+(a). In addition, if the parametrization can be chosen so that f(γ) is an open interval in R, then M gains a structure of topological manifold. A cover of M with open sets on which such light cone coordinates are defined, and such that the transition maps are differentiable, makes M into a differentiable manifold of dimension 2.Note that there is no need to assume global hyperbolicity; a local version is enough: for any eventp∈M there is an open set U containing p which is globally hyperbolic. In General Relativity and other relativistic theories of gravity, this local version is satisfied also on spacetimes that are not globally hyperbolic.We now detail these ideas and extend them ton dimensions.


## 3.2. Dimensionality

The mere existence of a topology defined by chronological intervals onM does not imply anything about dimension. In order to assign to M a dimension, we have to define it and to require it one way or another.Definition 16.
A numbern∈N is called dimension of an open set U⊂M if there are n distinct causal curves γ1,…,γn⊂M satisfying the following:(1)
For anyp∈U there are n events ci∈γi, i∈{1,…,n} so that (1)p=⋂i=1nE+ciorp=⋂i=1nE-ci.(2)
The numbern is the smallest with this property.We say that the curves γ1,…,γn form alight cone basis of dimensionn of the open set U (Figure 2).Figure 2
An event{p}=E+(c1)∩E+(c2)∩E+(c3), with light cone coordinates (f1(c1),f2(c2),f3(c3)).Definition 17.
Letn∈N. An n-dimensional horismotic set is a horismotic set (M,→) so that for any event p∈M there is an open set p∈U of dimension n. One says that the dimension of M is dim⁡M=n.


## 3.3. Light Cone Coordinates

Definition 18.
Aparametrized causal curve is a causal curve γ and a function f:γ→R (calledparametrization of γ) which keeps the total order, that is, f(c)≤f(d), if and only if c≤d. A causal curve is calledparameterizable if it admits a parametrization.Definition 19.
LetU be an open set of M and n distinct causal curves γ1,…,γn⊂M, as in Definition 16. If the causal curves γ1,…,γn are parametrized by some functions f1,…,fn, the light cone basis they form assigns to any event p∈U an n-tuple of real numbers (f1(c1),…,fn(cn)), hence coordinates, which we calllightlike coordinates.


## 3.4. Recovering the Lorentzian Spacetime

Note that what we said so far works equally for continuous and discreteM. Now we focus on topological manifolds.Definition 20.
If the coordinates can be chosen to map the causal curveγ to an open interval in R, then for any event a∈M there is a local homeomorphism between an open set a∈U and Rn. In this case, M is calledcontinuous spacetime.Consider an open coverU of M so that for any Ui∈U there is a light cone coordinate system fi:Ui→Rn. This endows M with a structure of topological manifold.If(M,→) has a structure of topological manifold, and there is an open cover U of M so that for any Ui∈U there is a light cone coordinate system fi:Ui→Rn and so that for any Ui∩Uj≠∅ thetransition functionfjUi∩Uj∘(fiUi∩Uj)-1 is differentiable, then the cover U together with the charts (Ui,fi) determines adifferential structure on M.Ann-dimensional horismotic set (M,→) whose coordinates are continuous and such that the transition maps are differentiable is naturally endowed with a structure of differentiable manifold of dimension n. We know the light geodesics, and they give the conformal structure of M; that is, the metric is defined up to a scaling function Ω:M→(0,∞).


## 4. Discussion

What is the correspondence between causal sets and horismotic sets? Given that the causal sets approach is based only on the causal relation, which does not distinguish between horismos and chronological relations, there are more ways to choose which pairs of events in causal relation are in a horismos or in a chronological relation. Moreover, if the events are selected from a continuous manifold by sprinkling, the chance that two events of the causal set are in a horismos relation is practically zero. In the continuum case, even if we start from the causal relation, the solution is unique, at least for distinguishing spacetimes: the boundary of the light cone at an eventp gives the events in a horismos relation with p, and the interior gives those in a chronology relation with p. And as mentioned, the horismos relation is enough to reconstruct the causal structure [7].There are some advantages in starting with the horismos relation rather than the causal one. The chronological and causal relations can be obtained from the horismos relation. But if we start with the causal relations, as in the causal set approach, we cannot obtain the horismos relation, unless, for example, the spacetime has a structure of topological manifold or at least can be embedded densely in a topological manifold, which is not the case for causal sets. Even if we have the means to distinguish the horismos relation from the causal relation, we still have to impose additional compatibility constraints, since the causal relation can be generated by the horismos. But if we start with the horismos relation, we can obtain everything about the spacetime, including the geometry up to a scaling factor, and we do not have to impose compatibility conditions, showing that the horismos relation is more fundamental.The most important advantage of horismos relation appears to be that we can obtain a spacetime with a definite dimension by imposing a simple condition. This may be of help in building models similar to causal sets and with definite dimension, but it may still be difficult in practice.The properties and results that can be derived starting only with the horismos relation have correspondence in those of Lorentzian manifolds, which are presented, for example, in [12]. However, we do not enter here in much detail about this, the main purpose being to recover the causal structure and the dimensionality of spacetime.An advantage of the causal set approach is that it aims to recover in a good approximation the manifold and the conformal structure but also to find the conformal factor needed to recover the metric, by approximating the volume with the number of events in that region. This relation between volume and number of events seems pretty clear, and at this point we do not know a way to do the same in the approach of horismotic sets, especially when the dimension is well defined as in Section3.2. However, the volume information can be provided by a measure.Horismotic sets in which the horismotic relation is not antisymmetric can be used to include additional structures. For example, considergauge theory, described by a fiber bundle E over a distinguishing Lorentzian manifold M, and let F be the typical fiber. The causal relations on M can be lifted to E in the following way. Let p,q∈E be any pair of points in E; then p=(a,x)∈M×F and q=(b,y)∈M×F. We define the horismos relation on E by p→q iff a→b, and similarly we define the chronological and causal relations on E. But then, if a=b and x≠y, it follows that p→q and q→p but p≠q. So even if antisymmetry holds on the base space M, it does not hold on the bundle E. The points of E in the same fiber are in the horismos (and also chronological) relation, but they are distinct. This corresponds to the gauge degrees of freedom. Of course, the typical fiber F is not simply a set and should be endowed with additional structure, which is not captured in the horismos relation.In short, the approach of starting with the horismos relation(1)
is very general, because we just start with a reflexive relation, which we identify as the horismos relation;(2)
works for both discrete and continuous spacetimes;(3)
allows us to recover the causal and chronological relations, while recovering the horismotic relation from the causal relation works only in special cases, for example, for continuous spacetimes;(4)
allows us to recover the interval topology;(5)
avoids redundancy and compatibility conditions when defining the causal structure, which are present when starting from the causal relation;(6)
allows defining causal, chronological, and lightlike curves and loops, without the need of differential or even topological structures;(7)
allows recovering the dimensionality, as well as the manifold structure, under simple conditions (while these problems are still open in the case of causal sets).In another article [21], an additional reason is given to consider the causal structure as fundamental in General Relativity: while the metric becomes singular at some black hole and big bang singularities, the causal structure remains regular.



---

*Source: 6151726-2016-05-25.xml*