Abstract
We compute the contact manifold of null geodesics of the family of spacetimes \(\left\{ \left( \mathbb {S}^2\times \mathbb {S}^1, g_\circ -\frac{d^2}{c^2}dt^2\right) \right\} _{d,c\in \mathbb {N}^+\text { coprime}}\), with \(g_\circ \) the round metric on \(\mathbb {S}^2\) and t the \(\mathbb {S}^1\)-coordinate. We find that these are the lens spaces L(2c, 1) together with the pushforward of the canonical contact structure on \(ST\mathbb {S}^2\cong L(2,1)\) under the natural projection \(L(2,1)\rightarrow L(2c,1)\). We extend this computation to \(Z\times \mathbb {S}^1\) for Z a Zoll manifold. On the other hand, motivated by these examples, we show how Engel geometry can be used to describe the manifold of null geodesics of a certain class of three-dimensional spacetimes, by considering the Cartan deprolongation of their Lorentz prolongation. We characterize the three-dimensional contact manifolds that are contactomorphic to the space of null geodesics of a spacetime. The characterization consists in the existence of an overlying Engel manifold with a certain foliation and, in this case, we also retrieve the spacetime.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction
A spacetime is a Lorentzian manifold together with a choice of a global timelike vector field, that is, a vector field of negative length at all points. For a spacetime, its space of null geodesics \(\mathcal {N}\) consists of the family of unparametrized geodesics with null tangent vectors at all points [16, 20]. When \(\mathcal {N}\) is a manifold, it can be equipped with a canonical contact structure \(\mathcal {H}\) (see [17, 18]).
The contact structure \(\mathcal {H}\) has proved to be essential in the theory, yielding important results on causality, providing, for instance, obstructions to two events (points) being on the same non-spacelike curve [6, 7, 14]. The spaces of null geodesics and their contact structures were computed explicitly in some noncompact cases [2, 10] and the question of whether two spacetimes with diffeomorphic spaces of null geodesics must be diffeomorphic was addressed, under the name of reconstruction, in [3]. Until very recently, the only explicit cases where \(\mathcal {N}\) was known to be a manifold were globally hyperbolic spacetimes, which are diffeomorphic to \(C\times \mathbb {R}\) for a Cauchy hypersurface C [4] and for which \(\mathcal {N}\cong STC\) [17], and Zoll (or Zollfrei) manifolds [11, 23], whose null geodesics are all periodic. In the last years this subject has attracted more attention with the negative answer to Guillemin’s conjecture that every Zoll 3-dimensional spacetime is covered by \(\mathbb {S}^2\times \mathbb {R}\) [22], and new classes of examples for which \(\mathcal {N}\) is a manifold [12, 13]. However, to the best of our knowledge, there are hardly any explicit calculations of spaces of null geodesics and their contact structures for compact spacetimes or results on the possibility of retrieving the spacetime from its space of null geodesics.
Firstly, we consider the spacetimes \((\mathbb {S}^2\times \mathbb {S}^1, g_{c/d})\) for the family of metrics \(g_{c/d} = g_\circ -\frac{d^2}{c^2}dt^2\) with \(c,d\in \mathbb {N}^+\), where \(g_\circ \) is the round metric on \(\mathbb {S}^2\) and t is the angle coordinate on \(\mathbb {S}^1\). Its space of null geodesics \(\mathcal {N}_{c/d}\) and its contact structure are described in terms of the lens spaces L(2c, 1) for \(\gcd (c,d) = 1\), by using a quaternionic approach to the Hopf fibration and \(ST\mathbb {S}^2\) that we develop in Sect. 3.2. We prove,
Theorem 3.5
For any \(c,d\ge 1\) with \(\gcd (c,d)=1\),
Theorem 3.14
The canonical contact structure \(\mathcal {H}\) on \(ST\mathbb {S}^2\cong \mathcal {N}_{1/d}\) is the canonical contact structure \(\chi \) on \(ST\mathbb {S}^2\). In general, the canonical contact structure \(\mathcal {H}\) on \(L(2c, 1)\cong \mathcal {N}_{c/d}\) for \(c>1\) and \(\gcd (c,d)=1\), is \(r_*\chi \), where \(r:ST\mathbb {S}^2\rightarrow L(2c,1)\) is the projection.
Note that, for \(c>2\), the manifold L(2c, 1) is not presented as the unit tangent bundle of a manifold. Moreover, the study of \(\mathbb {S}^2\times \mathbb {S}^1\) allows us to prove an analogue of Theorem 3.14 for the class of compact spacetimes \(\{(Z\times \mathbb {S}^1,g_Z-\frac{d^2}{c^2}dt^2)\}_{c,d\in \mathbb {N}^+},\) with Z a Zoll manifold (Proposition 3.17).
Secondly, we bring methods of Engel geometry to deal with the spaces of null geodesics of three-dimensional spacetimes. An Engel structure on a four-dimensional manifold Q is a rank-two distribution \(\mathcal {D}\) that generates a rank-three distribution \(\mathcal {E}:=[\mathcal {D}, \mathcal {D}]\) satisfying \([\mathcal {E}, \mathcal {E}] = TQ\), where we are referring to the bracket of sections. The distribution \(\mathcal {D}\) defines a unique line distribution \(\mathcal {W}\), known as kernel, by the property \([\mathcal {W},\mathcal {E}]\subseteq \mathcal {E}\), which completes a flag \(\mathcal {W}\subset \mathcal {D}\subset \mathcal {E}\subset TQ\). There exists a canonical (Cartan) prolongation from a contact three-manifold \((N,\xi )\) to obtain an Engel distribution on \(\mathbb {S}(\xi )\). Similarly, given a three-dimensional Lorentzian manifold (M, g), one can canonically define an Engel structure on the projectivization of the bundle of null vectors \(\mathcal {P}C\) of M. In Proposition 4.7, we compute the kernel of the Lorentz prolongation of an arbitrary Lorentzian three-manifold. We have later learnt that this computation is also made, with different techniques, in the preprint [24, Thm. 1.3], but with no mention to the contact structure (which we discuss in Theorem 4.8 below).
Next, by considering the Cartan deprolongation of the Lorentz prolongation of a spacetime, we show,
Theorem 4.8
Let M be a three-dimensional spacetime. Then,
In addition, if \(\mathcal {N}\) is a manifold and \(p:\mathcal {P}C\rightarrow \mathcal {P}C/\mathcal {W} \cong \mathcal {N}\) is a submersion, the canonical contact structure on \(\mathcal {N}\) is
Finally, we make use this theorem to make a first step towards the characterization of the three-dimensional contact manifolds that are the space of null geodesics of a spacetime by the existence of a certain Engel manifold together with a foliation, and retrieve the spacetime.
Theorem 4.9
A three-dimensional contact manifold \((N, \xi )\) is contactomorphic to the space of null geodesics of a spacetime if and only if there exists an Engel manifold \((Q,\mathcal {D})\) with Engel flag \(\mathcal {W}\subset \mathcal {D}\subset \mathcal {E}\subset TQ\) such that
for \(p:Q\rightarrow Q/\mathcal {W}\) the projection, and Q admits an oriented foliation by circles \(\mathcal {F}\) such that
-
(i)
for all \(S\in \mathcal {F}\) and \(x\in S\), we have \(T_xS\oplus \mathcal {W}_x = \mathcal {D}_x\),
-
(ii)
the space of leaves \(M:= Q/\mathcal {F}\) is a manifold and the projection \(q:~Q\rightarrow M\) is a submersion,
-
(iii)
for every \(S\in \mathcal {F}\), the image \(q_*\mathcal {D}|_S\) is a cone in the vector space \(T_{q(S)}M\) and the map \(x\in S\mapsto q_*\mathcal {D}_x\) is injective.
In addition, if the above conditions are satisfied, \((N, \xi )\) is contactomorphic to the space of null geodesics of \((Q/\mathcal {F}, g)\), where g is a metric on \(Q/\mathcal {F}\) with bundle of cones \(q_*\mathcal {D}\).
The main objects at play and our results are visually presented as follows.
Corollary 4.14 deals with the relation between the Cartan and Lorentz prolongations, and opens the interesting question of the relation between the several Engel manifolds having the same Cartan deprolongation.
2 Definitions and basic properties
2.1 The space of null geodesics of a spacetime
We work throughout the paper in the category of smooth manifolds. For a Lorentzian manifold (M, g), a nonzero vector \(v\in TM\) is said to be timelike, spacelike or null if g(v, v) is, respectively, negative, positive or zero. A smooth curve \(\gamma :I\rightarrow M\) is timelike, spacelike or null if its velocity vector \(\dot{\gamma }\) is so everywhere. Likewise, we talk about timelike, spacelike and null submanifolds or vector fields.
The set of null vectors on a Lorentzian manifold M has the structure of a smooth bundle \(\pi :C\rightarrow M\), whose fibres consist of two hemicones. We denote such a choice by \(C^+\). A differentiable choice of one of such hemicones, when possible, makes M time-oriented. Time-orientability is equivalent to the existence of a global timelike vector field \(X\in \mathfrak {X}(M)\).
Definition 2.1
A spacetime is a time-oriented connected Lorentzian manifold of dimension \(\ge 3\).
Definition 2.2
The space of null geodesics \(\mathcal {N}\) of a spacetime (M, g) is
The space \(\mathcal {N}\) can be constructed as the leaf space for a distribution on \(C^+\). Recall that the geodesic spray \(X_g\in \mathfrak {X}(TM)\) is the vector field on TM whose integral lines are \(\dot{\gamma }(t)\in T_{\gamma (t)}M\) for \(\gamma : I\rightarrow M\) a geodesic, whereas the Euler vector field \(\Delta \in \mathfrak {X}(TM)\) is defined as
with \(v\in T_xM\) and \(c:\mathbb {R}\rightarrow T_xM\) given by \(c(s) =e^s v\), and whose differential at 0 we denote by \(T_0c\). Note that c is an integral line of \(\Delta \). The geodesic spray and the Euler field are tangent to the bundle \(C^+\) and define an integrable distribution \(\langle X_g,\Delta \rangle \) (see [2]). Note that, by quotienting \(C^+\) by the Euler field, we obtain the projectivization of the bundle \(C^+\), which is relevant as we only care about unparametrized null geodesics. Then, by quotienting by the geodesic spray, we identify directions in different projectivized cones for which there exists a geodesic in M going through both of them. Thus, we have
From now on, we will consider the case in which \(\mathcal {N}\) is a manifold.
Remark 2.3
A sufficient condition for \(\mathcal {N}\) to be a manifold is found in [2] (namely, when the spacetime (M, g) is strongly causal and null-pseudo-convex).
2.2 The canonical contact structure
Recall that a contact structure on a \((2n+1)-\)manifold N is a codimension-one distribution \(\xi \subset TN\) which is given, at least locally, as the kernel of a one-form \(\alpha \) satisfying that the top form \( \alpha \wedge (d\alpha )^n \) vanishes nowhere. We give two examples that will be relevant later.
Example 2.4
For any manifold M, its unit cotangent bundle \(\tilde{\pi }:ST^*M\rightarrow M\) has a canonical contact structure (see, for instance, [9, Lem. 1.2.3]). A point \(\omega \in ST^*M\) may be regarded as a linear form \(\tilde{\omega }\in T^*_{\tilde{\pi }(\omega )}M\) up to positive rescaling, which is determined by the hyperplane \(l_\omega = \ker \tilde{\omega }\subset T_{\tilde{\pi }(\omega )}M\). The canonical contact distribution on \(ST^*M\) is
Example 2.5
The unit tangent bundle \(\pi :STM\rightarrow M\) of a Riemannian manifold (M, g), which we define as \(STM:= \{u\in TM\ |\ g(u,u)=1\}\), has a canonical contact structure coming from \(\xi \) for \(ST^*M\) as in Example 2.4. Regard g as a map \(TM\rightarrow T^*M\) and consider the contact structure
Namely, for \(u\in STM\) we have
where \(\langle u\rangle {}^\perp \) denotes the orthogonal subspace to u in \(T_{\pi (u)}M\) with respect to g.
For the smooth manifold \(\mathcal {N}\), there is a canonical contact structure defined in terms of the so-called skies of the spacetime.
Definition 2.6
Let (M, g) be a spacetime and \(x\in M\). The sky of x is
Note that, for any \(x\in M\), the sky \(\mathfrak {S}_x\) is in correspondence with the projectivization of the cone \(C_x\). Hence, if \(m = \dim M\), we have \( \mathfrak {S}_x \cong \mathbb {S}^{m-2}. \)
Definition 2.7
The canonical contact structure on the manifold of null geodesics \(\mathcal {N}\) is the codimension-one distribution \(\mathcal {H}\) defined as follows. For \(\gamma \in \mathcal {H}\), let \(x,y\in \gamma \) such that they cannot be joined by a one-parameter family of geodesics. Then,
Note that the existence of two such points x and y follows from the fact that the exponential map provides a local diffeomorphism for any point of M.
Proposition 2.8
[2, Sect. 2.4] The distribution \(\mathcal {H}\) on the manifold \(\mathcal {N}\) is well defined and is indeed a contact structure.
3 The contact manifold of null geodesics of \((\mathbb {S}^2\times \mathbb {S}^1, g_c)\)
3.1 The space of null geodesics
Let \((\mathbb {S}^2, g_\circ )\) be the two-sphere with the round metric. Consider \(M = \mathbb {S}^2\times \mathbb {S}^1\) and let t be the angle coordinate on \(\mathbb {S}^1\). For \(x\in \mathbb {S}^2\), we will refer to the point \((x,t)\in M\). Define, for \(c,d\in \mathbb {N}^+\) coprime, the Lorentzian metric
The pair \((M,g_{c/d})\) is a Lorentzian manifold in which \(\mathbb {S}^2\times \{t\}\) is a spacelike surface for any \(t\in \mathbb {S}^1\), whereas \(\{x\}\times \mathbb {S}^1\) is a timelike submanifold for any \(x\in \mathbb {S}^2\). The vector field \((0,\partial _t)\in T\mathbb {S}^2\oplus T\mathbb {S}^1\) as a choice of future turns M into a spacetime.
Lemma 3.1
The space of null geodesics \(\mathcal {N}_{c/d}\) of \((M,g_{c/d})\) is given by
Proof
In a product chart using the coordinate t for \(\mathbb {S}^1\), the Christoffel symbol \(\Gamma _{ij}^k\) of the metric \(g_{c/d}\) vanishes whenever i, j or k equals 3, and all the others are the Christoffel symbols of \(g_\circ \) in the chart of \(\mathbb {S}^2\). Hence, the geodesic equation for a curve \(\gamma :I\rightarrow M \) defined by \(\gamma (s) = \big (\mu (s), t(s)\big )\) is given by \(\ddot{t} = 0\), that is, \(t(s) = a+bs\) for some \(a, b\in \mathbb {R}\), and the geodesic equation for \(\mu \) in \(\mathbb {S}^2\). Let \(u(s)\in T\mathbb {S}^2\) be the vector tangent to the curve \(\mu (s)\). Since \(\mathbb {S}^2\times \{t\}\) is a spacelike surface for all \(t\in \mathbb {S}^1\), we can suppose, by reparametrizing \(\gamma \), that \( g_{c/d}\big ((u,0), (u,0)\big ) = g_\circ (u,u) = 1. \) Then,
so \(\gamma \) is a future-pointing null geodesic if and only if \(b = \frac{c}{d}\), as \(-\frac{c}{d}\) would give a past-pointing geodesic. By uniqueness of the geodesics in a pseudo-Riemannian manifold, all the null geodesics of \((M, g_{c/d})\) modulus reparametrization are of the form
where \(\mu \) is a unit-speed great circle in \(\mathbb {S}^2\). Since \(\gamma \) intersects \(\mathbb {S}^2\times \{0\}\) at least at one point, we can suppose \(a = 0\). \(\square \)
Remark 3.2
We use the notation \(\mathcal {N}_{c}:=\mathcal {N}_{c/1}\).
We start with the case \(c = 1\). The speeds at which a geodesic travels the time direction \(\mathbb {S}^1\) and the great circle in \(\mathbb {S}^2\) are 1 to d. For \(\gamma \in \mathcal {N}_1\), there is a unique \(x\in \mathbb {S}^2\) such that \((x,0)\in \gamma \). Indeed, \(\gamma \) intersects \(\mathbb {S}^2\times \{0\}\) for \(s\in 2\pi d\mathbb {Z}\), and \(\mu (2\uppi d\mathbb {Z})\) is the unique point x on \(\mathbb {S}^2\). So \(\gamma \) is completely determined by \(x\in \mathbb {S}^2\) and the tangent vector of the projection \(\pi _{\mathbb {S}^2}(\gamma )\) at x, which is unitary by Lemma 3.1. In addition, any \(u\in ST\mathbb {S}^2\) defines a unique null geodesic \(\gamma \subset M\), which is the lift of the great circle \(\mu \subset \mathbb {S}^2\) defined by u, meaning that \(\pi _{\mathbb {S}^2}(\gamma ) = \mu \).
Proposition 3.3
Thus, we have
Let us now consider \(\mathcal {N}_{c/d}\) with \(c>1\). For a geodesic, the ratio between the turns around the time direction \(\mathbb {S}^1\) and the turns around a great circle in \(\mathbb {S}^2\) is c to d. Since geodesics are travelled at constant speed, every \(\gamma \in \mathcal {N}_{c/d}\) intersects \(\mathbb {S}^2\times \{0\}\) at c points, namely those in \(\mu (2\uppi \frac{d}{c}\mathbb {Z}) = \mu (\frac{2\uppi }{ c}\mathbb {Z})\), where the equality follows from the fact that \(\gcd (c,d)=1\). These points are equidistantly spread over the great circle \(\mu := \pi _{\mathbb {S}^2}(\gamma )\), see Fig. 1. Conversely, any \(u\in ST\mathbb {S}^2\) defines a unique null geodesic, which is the lift of the great circle defined by u to M.
In order to get a proper description of \(\mathcal {N}\), one ought to identify the different elements of \(ST\mathbb {S}^2\) defining the same null geodesic. If \(\gamma \) is a null geodesic of M that intersects \(\mathbb {S}^2\times \{0\}\) at (x, 0) with tangent vector \((u, \partial _t)\in ST\mathbb {S}^2\oplus T\mathbb {S}^1\), then \(\gamma \) intersects \(\mathbb {S}^2\times \{0\}\) at \((x_j, 0): = \left( \mu \left( \frac{2\uppi dj}{c}\right) , 0\right) \) for \(j = 0,\ldots ,c-1\), where \(\mu \subset \mathbb {S}^2\) is the great circle defined by u, and with velocity \((u_j,\partial _t):=\left( \dot{\mu }\left( \frac{2\uppi d j}{c}\right) , \partial _t\right) \). Note that \((x_j,u_j)\) can be obtained by a rotation of (x, u) of \(\frac{2\uppi dj}{c}\) radians about the axis \(x\times u\),
Hence, we have shown,
Proposition 3.4
Consider the \(\mathbb {Z}_c\)-action on \(ST\mathbb {S}^2\) generated by
Then,
where \(ST\mathbb {S}^2/\mathbb {Z}_c\) denotes the orbit space of \(ST\mathbb {S}^2\) under the action of \(\mathbb {Z}_c\).
The next step is to obtain an explicit description of the spaces \(\mathcal {N}_{c/d}\) that allows us to compute their canonical contact structure. We will prove the following result.
Theorem 3.5
For any \(c,d\ge 1\) with \(\gcd (c,d)=1\),
3.2 A quaternionic approach to \(ST\mathbb {S}^2\) and the Hopf fibration
In order to prove Theorem 3.5, we develop a quaternionic approach to \(ST\mathbb {S}^2\) and the lens spaces L(2c, 1). Let \(\mathbb {H}\) denote the division algebra of quaternions and \(\mathbb {V}\) the three-dimensional vector space of pure imaginary quaternions. The canonical identification of \(\mathbb {H}\) with \(\mathbb {R}^4\) defined by \(\alpha +ai+bj+ck\mapsto (\alpha ,a,b,c)\) gives an identification \(\mathbb {V}\cong \mathbb {R}^3\), which provides \(\mathbb {V}\) with a cross product induced by that of \(\mathbb {R}^3\): for u, \(v\in \mathbb {V}\),
Let \(^*:\mathbb {H}\rightarrow \mathbb {H}\) be the conjugation on \(\mathbb {H}\), which is an antiautomorphism allowing us to define a norm \(|q|^2 = qq^*\) for \(q\in \mathbb {H}\). The restriction of such norm on \(\mathbb {V}\) induces, via the polarization identity, an inner product on \(\mathbb {V}\) defined, for u, \(v\in \mathbb {V}\), by
which coincides with the euclidean inner product in \(\mathbb {R}^3\). We can also identify \(\mathbb {S}^3\cong S\mathbb {H}:= \{q\in \mathbb {H}\ |\ |q| = 1\}\) and \(\mathbb {S}^2\cong S\mathbb {V}: = \{u\in \mathbb {V}\ |\ \langle u,u\rangle = -u^2 = 1\}\). Finally, one has \(ST\mathbb {S}^2\cong ST(S\mathbb {V}):=\{(u,v)\in S\mathbb {V}\times S\mathbb {V}\ |\ \langle u,v\rangle = 0\}\).
Lemma 3.6
For any \(w\in S\mathbb {V}\), there exists a Hopf-like fibration map
which provides \(S\mathbb {H}\) with the structure of an \(\mathbb {S}^1\)-bundle over \(S\mathbb {V}\). The fibre over \(p\in S\mathbb {V}\) is given by \(\{e^{w\theta }q\ |\ \theta \in \mathbb {R}\}\), for any \(q\in \tau _w^{-1}(p)\).
Proof
Let \(w\in S\mathbb {V}\). Let us show first that \(\tau _w\) maps onto \(S\mathbb {V}\). Indeed, for \(q\in S\mathbb {H}\),
We show next that the map is surjective. Let \(p\in S\mathbb {V}\) and assume it is not collinear with w. Let \(\theta = \arccos \langle w, p\rangle \in (0,\uppi )\) and \(\eta = \frac{p\times w}{|p\times w|}\in S\mathbb {V}\). Define \(q:= e^{\eta \frac{\theta }{2}} = \cos \frac{\theta }{2}+\eta \sin \frac{\theta }{2}\). We have \( q^{-1}wq=(\cos \theta ) w + (\sin \theta ) (w\times \eta )\), a rotation of w of angle \(-\theta \) around the axis \(\eta \). Hence, \(q^{-1}wq = p\), as needed. If p and w are collinear, take \(q = 1\) or \(q = e^{u\frac{\uppi }{2}}\), with \(u\in S\mathbb {V}\) perpendicular to w, depending on whether \(p = w\) or \(p= -w\).
Finally, let \(q\in \tau _w^{-1}(p)\) be arbitrary. Then, if \(\theta \in \mathbb {R}\),
In addition, if \(\tau _w(q_1) = \tau _w(q_2)\), then \(w = (q_2q_1^{-1})^{-1}w(q_2q_1^{-1})\), which implies that \(q_2q_1^{-1} = e^{-w\theta }\) for some \(\theta \in \mathbb {R}\). \(\square \)
Proposition 3.7
The map
provides a surjective local diffeomorphism in such a way that the preimage of a point in \(ST(S\mathbb {V})\) consists of exactly two antipodal points in \(S\mathbb {H}\).
Proof
Surjectivity follows using the same ideas as in the proof of Lemma 3.6. Also, for any \(q\in S\mathbb {H}\), we have \(\Phi (q) = \Phi (-q)\). If \(q_1, q_2\in S\mathbb {H}\) are such that their images under \(\Phi \) coincide, then \(q_2 q_1^{-1} = e^{k\theta _k} = e^{j\theta _j}\) for some \(\theta _j, \theta _k\in [0,2\uppi )\), which can only happen if \(\theta _k = \theta _j = 0\) or \(\theta _k = \theta _j = \uppi \). \(\square \)
Remark 3.8
Actually, in Proposition 3.7 it is possible to replace j and k by any u, \(v\in S\mathbb {V}\) such that \(\langle u, v\rangle = 0\) and the result remains true.
Corollary 3.9
Let \(\mathbb {Z}_2\) act on \(S\mathbb {H}\) via the antipodal map. There exist diffeomorphisms \(S\mathbb {H}/\mathbb {Z}_2\cong ST(S\mathbb {V})\), and hence \(\mathbb {S}^3/\mathbb {Z}_2\cong ST\mathbb {S}^2\), which we also denote by \(\Phi \).
We establish now the connection to lens spaces.
Definition 3.10
Consider the 3-sphere \(\mathbb {S}^3\subset \mathbb {C}^2\) and \(p\in \mathbb {Z}^+\). Define the \(\mathbb {Z}_p-\)action on \(\mathbb {S}^3\) generated by
The lens space L(p, 1) is the smooth manifold \(L(p,1):= \mathbb {S}^3/\mathbb {Z}_p\).
Identifying \(\mathbb {R}^4\cong \mathbb {C}^2\) with \(\mathbb {H}\) via \((z_0,z_1)\mapsto z_0+z_1j\), the \(\mathbb {Z}_p\) action in Definition 3.10 becomes \(q\mapsto e^{\frac{2\uppi i}{p}}q\). Then, \(L(p,1)\cong S\mathbb {H}/\mathbb {Z}_p\).
Since the \(\mathbb {Z}_2\)-action on \(S\mathbb {H}\) that defines the lens space L(2, 1) is precisely the given by the antipodal map, we have shown,
Proposition 3.11
We have \(ST(S\mathbb {V})\cong S\mathbb {H}/\mathbb {Z}_2\cong L(2,1)\), so \(ST\mathbb {S}^2 \cong L(2,1)\).
This quaternionic approach allows us to formalize and prove the following result, which will give us, together with Propositions 3.3 and 3.4, the proof of Theorem 3.5.
Proposition 3.12
Let \(\Phi :S\mathbb {H}/\mathbb {Z}_2\rightarrow ST(S\mathbb {V})\) and \(c\ge 2\). Then, the \(\mathbb {Z}_{2c}\)-action on \(S\mathbb {H}\) that generates the lens space L(2c, 1) descends to a \(\mathbb {Z}_c\)-action on \(S\mathbb {H}/\mathbb {Z}_2\) that, via \(\Phi \), induces the \(\mathbb {Z}_c\)-action on \(ST(S\mathbb {V})\) generated by
Hence, \(\Phi \) induces a diffeomorphism between \(S T(S\mathbb {V})/\mathbb {Z}_c\) and L(2c, 1).
Proof
Let \(q\in S\mathbb {H}\). The \(\mathbb {Z}_{2c}\)-action on \(S\mathbb {H}\) is generated by \(q\mapsto e^{\frac{\uppi i}{c}}q\). Then,
Now, consider \(\Phi (q) = (q^{-1}kq, q^{-1}jq)\). The result follows from
\(\square \)
Proposition 3.12 is enough to prove Theorem 3.5 for \(d = 1\). For \(d>1\), we need the following observation.
Lemma 3.13
Let \(c,d\in \mathbb {Z}^+\) coprime. The group automorphism of \(\mathbb {Z}_{c}\) defined by \(m\mapsto d\cdot m\) sends the \(\mathbb {Z}_c-\)action on \(ST\mathbb {S}^2\) in Proposition 3.12 to the \(\mathbb {Z}_c-\)action given by Equation (3.4). Hence, the two orbit spaces are diffeomorphic.
Proof of Theorem 3.5
The case \(d,c = 1\) follows from Proposition 3.3 and Proposition 3.11. The rest of the cases with \(d = 1\) follow from Proposition 3.4 and Proposition 3.12. For \(d>1\), we make use of Lemma 3.13. \(\square \)
3.3 The canonical contact structures
We next compute the canonical contact structures on the spaces L(2c, 1), \(c\ge 1\), which were seen as spaces of null geodesics. Note that, since the construction of the canonical structure is completely local, we can assume, without loss of generality, that \(d = 1\). We do this throughout.
Theorem 3.14
The canonical contact structure \(\mathcal {H}\) on \(ST\mathbb {S}^2\cong \mathcal {N}_{1/d}\) is the canonical contact structure \(\chi \) on \(ST\mathbb {S}^2\). In general, the canonical contact structure \(\mathcal {H}\) on \(L(2c, 1)\cong \mathcal {N}_{c/d}\) for \(c>1\) and \(\gcd (c,d)=1\), is \(r_*\chi \), where \(r:ST\mathbb {S}^2\rightarrow L(2c,1)\) is the projection.
We break the proof of Theorem 3.14 into two lemmas, proving first the case \(c = 1\) and then the cases with \(c>1\).
Lemma 3.15
The canonical contact structure \(\mathcal {H}\) on \(ST\mathbb {S}^2\cong \mathcal {N}_1\) is the canonical contact structure \(\chi \) on \(ST\mathbb {S}^2\).
Proof
Let \(\gamma \in \mathcal {N}_1\cong ST\mathbb {S}^2\). Recall that \(\gamma \) is the lift of the great circle \(\mu :\mathbb {R}\rightarrow \mathbb {S}^2\) defined by the pair \((x,u)\in ST\mathbb {S}^2\) representing \(\gamma \). We will show that \(\mathcal {H}_\gamma = \chi _{(x,u)}\).
Take \((x,0)\in \gamma \) and \(\gamma (\tau )\ne (x,0)\), with \(0<\tau <\uppi \). Note that all geodesics in the sky \(\mathfrak {S}_{(x,0)}\) intersect \(\mathbb {S}^2\times \{0\}\) at (x, 0), so its projection is \(\pi (\mathfrak {S}_{(x,0)}) = \{x\}\). Hence, \(T_{x}\pi (T_\gamma \mathfrak {S}_{(x,0)}) = \{ 0\} \subseteq \langle u\rangle {}^\perp \) and \(T_\gamma \mathfrak {S}_{(x,0)}\subset \chi _{(x,u)}\).
Consider now \(\gamma (\tau )\ne (x,0)\). Since \(c = 1\), we know that \(\gamma (s) = \big (\mu (s), s\big )\) and hence \( \pi _{\mathbb {S}^2}\big (\gamma (\tau )\big ) = \mu (\tau )=:y\). Let \(v\in ST_y\mathbb {S}^2\) such that \(\langle \dot{\mu }(\tau ), v\rangle = 0\). Since all geodesics in \(\mathbb {S}^2\times \mathbb {S}^1\) are travelled at the same speed, the projection of the sky of \(\gamma (\tau )\) is parametrized by \(\pi (\mathfrak {S}_{\gamma (\tau )})(s) = y\cos \tau +(\dot{\mu }(\tau )\cos s+v\sin s)\sin \tau \), which is a circle on \((\mathbb {S}^2,g_\circ )\) of radius \(\tau \) and centre y, see Fig. 2, and \(\pi (\gamma ) = \pi (\mathfrak {S}_{\gamma (\tau )})(0)\). Hence,
which implies \(T_\gamma \mathfrak {S}_{\gamma (\tau )}\subset \chi _{(x,u)}\). \(\square \)
Since the distributions \(\mathcal {H}\) and \(\chi \) on \(ST\mathbb {S}^2\) both have rank 2, the Lemma is proved.
Let \(r:ST\mathbb {S}^2\cong L(2,1)\rightarrow L(2c,1)\) be the canonical projection for \(c>1\). We use the notation \([u]:=r(u)\in L(2c, 1)\), which is the class of \(u\in ST\mathbb {S}^2\) under the action of \(\mathbb {Z}_c\). Let \([u]\in L(2c,1)\) and U a neighbourhood of u for which \(r|_{U}:U\rightarrow r(U)\) is a diffeomorphism. We will show that
The following lemma concludes the proof of Theorem 3.14.
Lemma 3.16
For \(c>1\), the canonical contact structure \(\mathcal {H}\) on \(L(2c,1)\cong \mathcal {N}_c\), as the space of null geodesics, is \(r_*\chi \).
Proof
Let \(x:= \pi (u)\). We know that [u] describes the geodesic \(\gamma \) in \(\mathbb {S}^2\times \mathbb {S}^1\) that intersects \(\pi (U)\times \{0\}\) only at (x, 0). Take \((x,0)\in \gamma \) and consider its sky \(\mathfrak {S}_{(x,0)}\). It is clear that \(\mathfrak {S}_{(x,0)} = \{[v]\ |\ v\in ST_{x}\mathbb {S}^2\}\), and thus
from which we deduce that \((r|_{U}^{-1})_* \big (T_{[u]}\mathfrak {S}_{(x,0)}\big )\subset \chi _{u}\) and \(T_{[u]}\mathfrak {S}_{(x,0)}\subset (r|_U)_*\chi _{u}.\)
Take now \(\gamma (\tau )\ne (x,0)\) but close enough so that \(\mathfrak {S}_{\gamma (\tau )}\subset U\). As discussed previously, \(\pi \circ r|_U^{-1}(\mathfrak {S}_{\gamma (\tau )})\) describes a circle \(\phi (s)\) in \(\pi (U)\) whose tangent vector at x is orthogonal to u. Hence,
which implies that \((r|_U^{-1})_* \big (T_{[u]}\mathfrak {S}_{\gamma (\tau )}\big )\subset \chi _{u},\) and hence \(T_{[u]}\mathfrak {S}_{\gamma (\tau )}\subset (r|_U)_*\chi _{u}.\)
Therefore, \(\mathcal {H}_\gamma = T_{[u]}\mathfrak {S}_{(x,0)}\oplus T_{[u]}\mathfrak {S}_{\gamma (\tau )} \subset (r|_U)_*\chi _u\) and, since \(r|_U\) is a submersion, equality follows. If \(v\in ST\mathbb {S}^2\) is such that \(r(v) = [u] = r(u)\) and V is a neighbourhood of v such that \(r|_V\) is a diffeomorphism, following the same argument, we have \((r|_V)_*\chi _v = \mathcal {H}_\gamma = (r|_U)_*\chi _u\), and \(r_*\chi \) is indeed well defined. \(\square \)
3.4 Generalization to a class of compact spacetimes
We extend now the results of Sect. 3.3 to the class of spacetimes
where \((Z,g_Z)\) is a Zoll manifold, that is, such that all of its geodesics are closed and of the same minimal period (which we normalize to \(2\uppi \)). By Hopf-Rinow theorem, every Zoll manifold is compact, since it is clearly bounded.
Proposition 3.17
The space of null geodesics \(\mathcal {N}_{c/d}\) of \((Z\times \mathbb {S}^1,g_Z-\frac{d^2}{c^2}dt^2)\) with c, d coprime, is diffeomorphic to the manifold \(STZ/\mathbb {Z}_c\), where the generator of \(\mathbb {Z}_c\) identifies tangent vectors on the same geodesic after 1/c of a turn, with the pushforward of the canonical contact structure on STZ.
Proof
The same argument as in the proof of Proposition 3.3 implies \(\mathcal {N}_{1/d}\cong STZ\). For the contact structure, we can assume \(d = 1\). We follow the proof of Lemma 3.15, which is geometrically more intuitive. Given a geodesic \(\gamma \) and \((x,0)\in \gamma \subset Z\times \mathbb {S}^1\), all geodesics in the sky \(\mathfrak {S}_{(x,0)}\) intersect \(Z\times \{0\}\) at (x, 0) and we analogously have \(T_\gamma \mathfrak {S}_{(x,0)} \subset \chi _{(x,u)}\). For a different point \(\gamma ({\tau })\) in the geodesic (close enough to \(\gamma (0)\)), the sky \(\mathfrak {S}_{\gamma ({\tau })}\) is a sphere consisting of centre \(y:=\pi _Z(\gamma (\tau ))\) and radius the distance between x and y. Since u points from x towards the direction of y, we have in general \(T_x\pi _Z(T_\gamma \mathfrak {S}_{\gamma (\tau )})\subset \langle u \rangle {}^\perp \). Indeed, let \(w\in T_yZ\) such that \(x = \exp _y(w)\) and complete it to an orthogonal basis \((w, w_2,\ldots , w_n)\) of \(T_yZ\). The sphere \(\pi _Z(\mathfrak {S}_{\gamma (\tau )})\) is the image under \(\exp _y\) of the sphere in \(T_yZ\) of radius \(\sqrt{g_Z(w,w)}\). Now, note that \(T_w \exp _y(w)\in \langle u\rangle \), and \( T_x(\pi _Z(\mathfrak {S}_{\gamma (\tau )}))= \langle T_w \exp _y(w_2), \ldots , T_w \exp _y(w_n)\rangle \). By Gauss’s Lemma,
for all \(2\le i\le n\), and the claim follows.
For the case \(c\ge 2\) and \(d =1\) we have an analogue of the end of Sect. 3.1. The generator of \(\mathbb {Z}_c\) identifies tangent vectors on the same geodesic after 1/c of a turn. The action is then free (as only the identity element would fix a vector). Since \(\mathbb {Z}_c\) is a finite group, the action is proper and the space \(STZ/\mathbb {Z}_c\) is a manifold. For \(d>1\), we have an analogue of Proposition 3.12 and the lemma right after ensuring that \(\mathcal {N}_{c/d}\cong \mathcal {N}_c\). For the contact structure, the proof of Lemma 3.16 applies by taking \(\gamma (\tau )\) close enough to (x, 0) so that the action of the group is trivial and replacing the circle \(\phi (s)\) by the sphere described above. \(\square \)
Note that the purpose of Sect. 3.2 is giving a concrete description of \(STZ/\mathbb {Z}_c\) for \(c\ge 2\), which we cannot have in the generality of Proposition 3.17, in the case of \(Z=\mathbb {S}^2\).
The main examples of Zoll manifolds are Zoll surfaces (which are always spheres with Zoll metrics) and compact symmetric spaces of rank one [5].
4 Engel structures as a tool in retrievability
4.1 Engel geometry and prolongations
We recall here the main definitions on Engel manifolds and present the Cartan and Lorentz prolongations of, respectively, a contact and a Lorentzian three-manifold [8, 21].
A rank-three distribution \(\mathcal {E}\subset TQ\) on a four-manifold Q is said to be an even-contact structure if it is everywhere non-integrable, that is, if \([\mathcal {E},\mathcal {E}] = TQ\).
Definition 4.1
Let Q be a four-manifold. A rank-two distribution \(\mathcal {D}\subset TQ\) on Q is an Engel structure if \(\mathcal {E}:= [\mathcal {D},\mathcal {D}]\) is an even-contact structure on Q.
An Engel structure \(\mathcal {D}\) on a four-manifold Q defines a unique line field \(\mathcal {W}\subset \mathcal {E}\) by the relation \([\mathcal {W}, \mathcal {E}]\subseteq \mathcal {E}\). The line field \(\mathcal {W}\) is known as the kernel (or characteristic line field) of the distribution and it can be shown to lie in the two-distribution \(\mathcal {D}\), for which it completes a flag \(\mathcal {W}\subset \mathcal {D}\subset \mathcal {E}\subset TQ\).
Example 4.2
[Cartan prolongation] Let \((N,\xi )\) be a contact three-manifold and consider the \(\mathbb {S}^1-\)bundle \(\pi _C: \mathbb {S}(\xi )\rightarrow N\), where \(\mathbb {S}(\xi )_x\) is the quotient of \(\xi _x{\setminus }\{0\}\) by the relation \(v\sim \lambda v\) for all \(\lambda \in \mathbb {R}^+\). We regard points in \(\mathbb {S}(\xi )\) as pairs (x, R) with \(x\in N\) and R an oriented line in \(\xi _x\). The canonical Engel structure on \(\mathbb {S}(\xi )\) is
Let \(\langle V,Y\rangle = \xi \) be a local frame on an embedded ball \(B\subset N\). Then, \(B\times ~\mathbb {S}^1~\cong ~\mathbb {S}(\xi )|_B\) via \((x,t)\mapsto (x,R:= \varvec{\langle }X:= V\cos t+Y\sin t\varvec{\rangle })\), where \(\varvec{\langle }\varvec{\rangle }\) denotes the oriented spanned line. If we let the dot denote derivation with respect to the coordinate on the fibre, then \(\mathcal {D}=~\langle \partial _t,X \rangle \), \(\mathcal {E} = \langle \partial _t,X, \dot{X}\rangle = \langle \partial _t\rangle \oplus \xi \) and, since \([\partial _t,\ddot{X}] = -\dot{X}\in \mathcal {E}\), we have \(\mathcal {W} = \langle \partial _t\rangle \).
Remark 4.3
Whenever the leaf space \(\mathbb {S}(\xi )/\mathcal {W}\) is a manifold, then
Also, if the projection \(p:\mathbb {S}(\xi )\rightarrow \mathbb {S}(\xi )/\mathcal {W}\) is a submersion, we have \(\xi \cong p_*\mathcal {E}\).
Example 4.4
[Lorentz Prolongation] Let M be a Lorentzian three-manifold. The set of null vectors on M induces an \(\mathbb {S}^1-\)bundle \(\pi _L: \mathcal {P}C\rightarrow M\), where \(\mathcal {P}C\) is fibrewise the projectivization of the cone C. A point \((x,l)\in \mathcal {P} C\) consists of a point \(x\in M\) and a line l in \(C_x\). Define an Engel structure on \(\mathcal {P} C\) at (x, l) by
Let (V, Y, T) be an orthonormal frame of TM, with V, Y spacelike and T timelike, on an open ball \(B\subset M\). Then, \(B\times \mathbb {S}^1\cong \mathcal {P}C|_B\) via \((x,\theta )\mapsto (x,l: = \langle X:= V\cos \theta +Y\sin \theta +T\rangle )\), where the vector fields are on x. Letting the dot denote derivation with respect to the fibre coordinate, \([\partial _\theta , \dot{X}]\notin \mathcal {E} = \langle \partial _\theta , X,\dot{X}\rangle \), which implies that \(\mathcal {W}\) is always transverse to \(\partial _\theta \).
Following the ideas of Remark 4.3, we make the following observation, which will be useful in Sect. 4.3.
Remark 4.5
The family of skies \(\{\mathcal {P}C_x\}_{x\in M}\) defines a circle foliation of \(\mathcal {P}C\) whose leaf space is diffeomorphic to the manifold M. In addition, the bundle of null cones of M can be recovered via the pushforward of the Engel distribution \(\mathcal {D}\) under the projection map \(\pi _L\), that is, \(C_x = (\pi _L)_*\big (\mathcal {D}|_{\mathcal {P}C_x}\big )\) for all \(x\in M\).
From now on, we denote elements of \(\mathcal {P}C\) and \(\mathbb {S}(\xi )\) by the line or oriented line that they define, dropping the base point of the three-manifold M.
4.2 The space of null geodesics as a deprolongation
We make use of the deprolongation procedure in Remark 4.3 to present the space of null geodesics as a Cartan deprolongation of the Lorentz prolongation.
We first recall a technical result.
Proposition 4.6
[15] Any point of a pseudo-Riemannian three-manifold admits a local chart in which the metric is diagonal.
Let (M, g) be a three-dimensional spacetime and consider \(x\in M\). Let \(\varphi :(x_1,x_2,x_3) \in V\mapsto \varphi \big ((x_1,x_2,x_3)\big )\in U\) be local coordinates around x for which g is diagonal. The matrix representation of g in the chart \((U, \varphi ^{-1})\) is
for some smooth functions \(g_{11}, g_{22}, g_{33}\) on V. Since the metric is non-degenerate at every point, we can assume \(g_{11},g_{22}>0\) and \(g_{33}<0\). In addition, the coordinate vector fields \(u_i:=\varphi _*e_i\) give the eigendirections of the metric at every point. This discussion allows us to define local coordinates on \(\mathcal {P}C\) via
For the rest of this section, we denote a line in \(\mathcal {P}C\) by the vector that spans it, identifying \(\mathcal {P}C\cong \left\{ {\displaystyle \frac{\cos \theta }{\sqrt{g_{11}}}}u_1 + {\displaystyle \frac{\sin \theta }{\sqrt{g_{22}}}}u_2+{\displaystyle \frac{1}{\sqrt{-g_{33}}}}u_3\right\} _{\theta \in \mathbb {S}^1, x\in M}\). Let us denote by \(\partial _{x_1}, \partial _{x_2}, \partial _{x_3}, \partial _{\theta }\) the coordinate vector fields defined by \(\Psi \). We compute next the kernel of the Lorentz prolongation of any Lorentzian three-manifold.
Proposition 4.7
In the notation above, the kernel \(\mathcal {W}\) of the Engel distribution on \(\mathcal {P}C\) defined by the Lorentz prolongation is spanned, on \(\Psi \big (V\times (0,2\uppi )\big )\), by the vector field
where we define
Proof
Recall, from Example 4.4, that the Engel structure \(\mathcal {D}\) on \(\mathcal {P}C\) is given by
where \(\pi _L:\mathcal {P}C\rightarrow M\) is the canonical projection. Since \(T\pi _L(\partial _{x_i}) = u_i\) and \(T\pi _L(\partial _\theta ) = 0\), the distribution \(\mathcal {D}\) is given by
Define \(\dot{X}: = [\partial _\theta , X] = -{\displaystyle \frac{\sin \theta }{\sqrt{g_{11}}}}\partial _{x_1}+{\displaystyle \frac{\cos \theta }{\sqrt{g_{22}}}}\partial _{x_2}\), so the even-contact structure \(\mathcal {E}\) on \(\mathcal {P}C\) is \(\mathcal {E} = \langle X, \dot{X}, \partial _\theta \rangle \). We have \([X,\dot{X}] = A\partial _{x_1}+B\partial _{x_2}+C\partial _{x_3}\), which is
Since A is the \(\partial _{x_1}\)-component, and analogously for B and C, we obtain
Since the kernel \(\mathcal {W}\) lies in \(\mathcal {D}\) and is not spanned by \(\partial _\theta \) (as \([\partial _\theta ,\dot{X}]\notin \mathcal {E}\)), there exists a smooth function \(\mu \) on \(\mathcal {P}C\) such that \(\mathcal {W} = \langle X +\mu \partial _\theta \rangle \). We have \([\partial _{\theta }, X +\mu \partial _\theta ]\in \mathcal {E}\) and \([X, X +\mu \partial _\theta ] \in \mathcal {E}\), whereas
Since \(\dot{X}(\mu )\partial _\theta \in \mathcal {E}\), it is enough to impose that the last two terms belong to \(\mathcal {E}\). This is the case if and only if
This vector field reads
and for it to belong to \(\mathcal {E}\), it is enough to impose that it is a multiple of \(\dot{X}\). We take
so that the vector field becomes \((A\sqrt{g_{11}}\sin \theta -B\sqrt{g_{22}}\cos \theta )\dot{X}\). Hence, by defining \(F:=A\sqrt{g_{11}}\), \(G:=B\sqrt{g_{22}}\) and \(H:=-C\sqrt{-g_{33}}\), the kernel is
\(\square \)
Theorem 4.8
Let M be a three-dimensional spacetime. Then,
In addition, if \(\mathcal {N}\) is a manifold and \(p:\mathcal {P}C\rightarrow \mathcal {P}C/\mathcal {W}\cong \mathcal {N}\) is a submersion, the canonical contact structure on \(\mathcal {N}\) is
Proof
We divide the proof of Theorem 4.8 into two parts.
Part I: \(\mathcal {N} \cong \mathcal {P}C/\mathcal {W}\). It is enough to show that \(\mathcal {W}\) computed in Proposition 4.7 is pointwise proportional to the geodesic flow \(X_g\). Let \((V, \varphi )\) be a local chart of M making the metric diagonal, and let \(\gamma (t)= \varphi \big (x_1(t), x_2(t), x_3(t)\big )\) be a null geodesic. Then,
and the curve \(x_1'u_1+x_2'u_2+x_3'u_3\in T_{\varphi (x_1, x_2, x_3)}M\) is an integral line of \(X_g\). Under our identification \(\mathcal {P}C\cong \{{\displaystyle \frac{\cos \theta }{\sqrt{g_{11}}}}u_1 + {\displaystyle \frac{\sin \theta }{\sqrt{g_{22}}}}u_2+{\displaystyle \frac{1}{\sqrt{-g_{33}}}}u_3\}_{\theta \in \mathbb {S}^1, x\in M}\), this curve reads
where \(\theta \) is such that \(\cos \theta = \frac{x_1'}{x_3'}\sqrt{\frac{g_{11}}{-g_{33}}}\) and \(\sin \theta = \frac{x_2'}{x_3'}\sqrt{\frac{g_{22}}{-g_{33}}}\). Note that this makes sense because of Equation (13), and that \(x_3'\) is nonzero if \(\gamma \) is nonconstant. Then, the tangent vector to this curve, which gives the expression of \(X_g\) in the coordinate chart \(\big (V\times (0, 2\uppi )\big )\) on \(\mathcal {P}C\), is
Hence, our claim is equivalent to \(\frac{\theta '}{x_3'\sqrt{-g_{33}}} = F\cos \theta +G\sin \theta + H\). Using that \(-\theta '\sin \theta = \Big (\frac{x_1'}{x_3'}\sqrt{\frac{g_{11}}{-g_{33}}}\Big )'\) and that the \(x_i\) satisfy the geodesic equation the result follows, after computing the Christoffel symbols for the metric in Equation (12).
Part II: \(\mathcal {H} \cong p_*\mathcal {E}\). Firstly, as argued in [1, p. 246], the even-contact structure \(\mathcal {E}\) is invariant under the flow of any vector field generating \(\mathcal {W}\). Therefore, the pushforward \(p_*\mathcal {E}\) is well defined.
Let \(\gamma \in \mathcal {N} \cong \mathcal {P}C/ \mathcal {W}\). Then, \(\gamma \) is given by a curve \(\mu : (-\varepsilon , \varepsilon )\rightarrow M\) which is a null geodesic in M, and \(\gamma = p\big (\dot{\mu }(s)\big )\) for all \(s\in (-\varepsilon , \varepsilon )\). Let \(q_0:= \mu (0)\) and define a coordinate system \(\varphi :(x_1,x_2,x_3)\mapsto \varphi (x_1,x_2,x_3)\) around \(q_0\) given by Proposition 4.6. Let \(\Psi (x_1,x_2,x_3, \theta )\) be coordinates around \(\dot{\mu }(0)\) in \(\mathcal {P}C\) as defined before Proposition 4.7. Now, for all \(s\in [0,\varepsilon )\) small enough, the point \(q_s: = \mu (s)\) lies in the image of \(\varphi \) and \(\dot{\mu }(s)\) lies in the image of \(\Psi \), and we can consider functions \(x_i,\theta \) such that \(\dot{\mu }(s) = \Psi \big (x_1(s), x_2(s), x_3(s), \theta (s)\big )\). If \(s>0\) is small enough, the points \(q_0\) and \(q_s\) are not conjugate in M.
The sky of \(q_0\) is given by
and similarly for \(\mathfrak {S}_{q_s}\). Therefore,
We ought to express the second addend as a pushforward of a line over \(\dot{\mu }(0)\). Take \(s>0\) small enough and let K be a neighbourhood of \(\dot{\mu }(s)\) for which the flow \(\Phi _{-s}^Z: K \rightarrow \Phi _{-s}^Z(K)\) at time \(-s\) of the vector field \(Z = X + (F\cos \theta +G\sin \theta )\partial _\theta \) is a diffeomorphism. Then, \(p\circ \Phi ^Z_{-s} = p\), and since \(\Phi ^Z_{-s}\big (\dot{\mu }(s)\big ) = \dot{\mu }(0)\), we can compute
and
for all \(s>0\) small enough. Hence, the result is still true if we take the limit \(s\rightarrow 0\). Thus, we obtain \(\mathcal {H}_{\gamma } = T_{\dot{\mu }(0)}p\left( \left\langle \partial _\theta , \lim \limits _{s\rightarrow 0}\frac{ T_{\dot{\mu }(s)}\Phi ^{Z}_{-s}(\partial _\theta )-\partial _\theta }{s} \right\rangle \right) = T_{\dot{\mu }(0)}p\left( \left\langle \partial _\theta , [\partial _\theta , Z]\right\rangle \right) \). We compute \([\partial _\theta , Z] = \dot{X}+(-F\sin \theta +G\cos \theta )\partial _\theta \) and therefore
This concludes the proof that \(\mathcal {H} \cong p_*\mathcal {E}\) and hence the theorem.\(\square \)
Example 4.9
The Lorentzian prolongation of the spacetime \((\mathbb {S}^2\times \mathbb {S}^1,g_1)\) is diffeomorphic to \(\mathcal {P}C\cong ST\mathbb {S}^2\times \mathbb {S}^1\). Letting t be the \(\mathbb {S}^1\)-coordinate and \(\theta \) the coordinate on the fibre of \(ST\mathbb {S}^2\), the Engel flag over \((u,s)\in ST\mathbb {S}^2\times \mathbb {S}^1\) is, seeing \(T\mathbb {S}^2\subset T(ST\mathbb {S}^2)\) via the Levi-Civita connection on \(\mathbb {S}^2\),
Hence, \((ST\mathbb {S}^2\times \mathbb {S}^1)/\mathcal {W} = (ST\mathbb {S}^2\times \mathbb {S}^1)/\langle u+\partial _t\rangle \cong ST\mathbb {S}^2\cong \mathcal {N}_1\), and letting \(p: ST\mathbb {S}^2\times \mathbb {S}^1\rightarrow ST\mathbb {S}^2\) be the natural projection, \(p_*\mathcal {E}\cong \chi \cong \mathcal {H}\).
4.3 Retrieving the spacetime
We investigate how Theorem 4.8 allows us to characterize the three-dimensional contact manifolds that are spaces of null geodesics of a spacetime. This provides a procedure to, given a contact manifold \((N, \xi )\) satisfying the necessary conditions, find a spacetime whose space of null geodesics is precisely \((N, \xi )\).
The main idea is to Cartan-prolong the contact manifold and make use of Remark 4.5 to Lorentz-deprolong it.
We have the following result.
Theorem 4.10
A three-dimensional contact manifold \((N, \xi )\) is contactomorphic to the space of null geodesics of a spacetime if and only if there exists an Engel manifold \((Q,\mathcal {D})\) with Engel flag \(\mathcal {W}\subset \mathcal {D}\subset \mathcal {E}\subset TQ\) such that
for \(p:Q\rightarrow Q/\mathcal {W}\) the projection, and Q admits an oriented foliation by circles \(\mathcal {F}\) such that
-
(i)
for all \(S\in \mathcal {F}\) and \(x\in S\), we have \(T_xS\oplus \mathcal {W}_x = \mathcal {D}_x\),
-
(ii)
the space of leaves \(M:= Q/\mathcal {F}\) is a manifold and the projection \(q:~Q\rightarrow M\) is a submersion,
-
(iii)
for every \(S\in \mathcal {F}\), the image \(q_*\mathcal {D}|_S\) is a cone in the vector space \(T_{q(S)}M\) and the map \(x\in S\mapsto q_*\mathcal {D}_x\) is injective.
In addition, if the above conditions are satisfied, \((N, \xi )\) is contactomorphic to the space of null geodesics of \((Q/\mathcal {F}, g)\), where g is a metric on \(Q/\mathcal {F}\) with bundle of cones \(q_*\mathcal {D}\).
Proof
Let \((N, \xi )\) be the space of null geodesics of a spacetime (L, h). The existence of Q satisfying (14) follows from Theorem 4.8 taking \((Q,\mathcal {D})\) as the Lorentz prolongation of (L, h). Then, we can take \(\mathcal {F}:= \{\mathcal {P}C_x\}_{x\in L}\), which is a foliation by circles and is oriented because L is a spacetime. By definition of the Lorentz prolongation, \(T\mathcal {F}\subset \mathcal {D}\), and by Example 4.4, the kernel \(\mathcal {W}\) is transverse to \(T\mathcal {F}\). Hence i) is satisfied. Also, by Remark 4.5, \(Q/\mathcal {F}\cong L\), and therefore it is a manifold, and q is the projection \(\pi _L:Q=\mathcal {P}C\rightarrow L\), which is a submersion. Hence, ii) follows.
Also by definition of the Lorentz prolongation, for all \(u\in Q\), \(q_*\mathcal {D}_u = u\), where on the right hand side we regard u as a vector on a cone of L. Therefore, \(q_*\mathcal {D}|_{\mathcal {P}C_x} = C_x\) and iii) also follows. Finally, by Theorem 4.8 and (14), the last claim is also satisfied, as any other metric on L with the same bundle of cones is conformal to g, and therefore has the same space of null geodesics.
For the converse, let \((N, \xi )\) be a contact manifold such that \(N = Q/\mathcal {W}\) and \(\xi = p_*\mathcal {E}\) for an Engel manifold Q with flag \(\mathcal {W}\subset \mathcal {D}\subset \mathcal {E}\subset TQ\). Assume Q admits an oriented foliation \(\mathcal {F}\) satisfying \(i),\ ii),\ iii)\) above. Let \(M:=Q/\mathcal {F}\), which is a manifold by hypothesis, and \(q:Q\rightarrow M\) the projection map. Now, since \(T\mathcal {F}\subset \mathcal {D}\), the pushforward \( q_* \mathcal {D}_x\) is a line in \(T_{q(x)}M\) for all \(u\in \mathcal {P}C\) and by iii), these create a cone in \(T_{q(S)}M\) when traveling the leaf \(S\in \mathcal {F}\) containing x. Therefore, we obtain a smooth bundle of cones on TM, and hence there exists a metric g on M with such bundle of cones. In addition, any two metrics with the same bundle of null cones are conformal, and hence produce the same contact manifold of null geodesics. Since \(\mathcal {F}\) is oriented, we can assign a consistent orientation to each cone in the bundle and therefore (M, g) is a spacetime.
Let now be the Lorentz prolongation of (M, g), with flag , and define the projection \(\pi _M:\mathcal {P}C\rightarrow M\). Consider the map
which is a diffeomorphism by the definition of g and the hypothesis that \(x\in S\mapsto p_*\mathcal {D}_x\) is injective for any \(S\in \mathcal {F}\). In addition,
which implies . Since \(\Phi \) is a submersion, we find that , and so \(\Phi \) is an Engel-morphism. Let us define the projection. Then, by Theorem 4.8, we find that the space of null geodesics \((\mathcal {N}, \mathcal {H})\) of (M, g) is
and
where we make use of Remark 4.3. \(\square \)
Remark 4.11
We have later found out that [24, Rk. 1.7] suggests the necessity of a foliation \(\mathcal {F}\) like the one in Theorem 4.10.
Since the Cartan prolongation of \((N,\xi )\) satisfies (14), we obtain:
Corollary 4.12
A three-dimensional contact manifold \((N, \xi )\) is contactomorphic to the contact manifold of null geodesics of a spacetime if the Cartan prolongation \((\mathbb {S}(\xi ), \mathcal {D})\) of \((N, \xi )\) admits an oriented foliation \(\mathcal {F}\) by circles such that
-
(i)
for all \(S\in \mathcal {F}\) and \(u\in S\), we have \(T_uS\oplus \mathcal {W}_u = \mathcal {D}_u\), where \(\mathcal {W}\) denotes the kernel of \((\mathbb {S}(\xi ), \mathcal {D})\),
-
(ii)
the space of leaves \(M:= \mathbb {S}(\xi )/\mathcal {F}\) is a manifold and the projection \(p:~\mathbb {S}(\xi )\rightarrow M\) is a submersion,
-
(iii)
for every \(S\in \mathcal {F}\), the image \(p_*\mathcal {D}|_S\) is a cone in the vector space \(T_{p(S)}M\) and the map \(u\in S\mapsto p_*\mathcal {D}_u\) is injective.
In addition, if \(i),\ ii),\ iii)\) are satisfied, \((N, \xi )\) is contactomorphic to the space of null geodesics of (M, g), where g is any metric on M with bundle of null cones \(p_*\mathcal {D}\).
We continue our discussion by exploring the relation between the Cartan prolongation of \((N,\xi )\) and the Engel manifold Q in Theorem 4.10, whenever it exists. The following proposition is an adaptation of [19, Prop. 5.4].
Proposition 4.13
Let \((Q,\mathcal {D})\) be an Engel manifold with flag \(\mathcal {W}\subset \mathcal {D}\subset \mathcal {E}\subset TQ\). Assume \(Q/\mathcal {W}\) is a manifold, which then can be endowed with a contact structure \(\xi :=p_*\mathcal {E}\) for \(p:Q\rightarrow Q/\mathcal {W}\) the projection, provided it is a submersion. Then, there exists a local diffeomorphism \(\Phi :Q\rightarrow \mathbb {S}(\xi )\) to the Cartan prolongation which is compatible with the Engel structure.
Proof
Let \(x\in X\). Since \(\mathcal {W}_x\subset \mathcal {D}_x\), the pushforward \(p_* \mathcal {D}_x\) is a line in \(\xi _{p(x)}\). Hence, the map
is well defined, and smooth. Let \(x\in Q\) and consider a neighbourhood \(U\subset Q\) of x in which we can trivialize \(\mathcal {D}|_U = \langle Z, Y\rangle \), for \(Z\in \mathfrak {X}(U)\) spanning \(\mathcal {W}\). Since \(\Phi \) is a bundle map over \(Q/\mathcal {W}\), it is enough to show that \(T_y\Phi \) is surjective when restricted to \(\mathcal {W}_y\) for every \(y\in U\). Therefore, by linearity, it is enough to show \(\Phi _*Z\ne 0\). By definition of \(\Phi \), this is equivalent to \([Z,Y]\ne 0\), which holds because \(\mathcal {D}\) is Engel.
It is only left to show that \(\Phi \) preserves the Engel structure. Let \(u\in \mathcal {D}_x\) and define \(\pi _C:\mathbb {S}(\xi )\rightarrow X/\mathcal {W}\) the projection. Then,
Since \(\Phi \) is a submersion, the Proposition follows. \(\square \)
Corollary 4.14
If \((N, \xi )\) is a three-dimensional contact manifold contactomorphic to the space of null geodesics of a spacetime, the Engel manifold \((Q,\mathcal {D})\) described in Theorem 4.12 comes with a canonical local diffeomorphism \(\Phi : Q\rightarrow \mathbb {S}(\xi )\) compatible with the Engel structures.
Diagram (5) above is thus completed to
We believe that this approach can be useful in order to answer the open question of whether the contact structure of the space of null of geodesics can be overtwisted, but describing or just dealing with the foliation in Theorem 4.10 will require further work.
We finally look at two illustrative examples where the manifolds involved can be described explicitly and the subtleties of the main results can be appreciated.
Example 4.15
Consider \(\mathbb {R}^3\) with coordinates (x, y, t) and tangent vector fields \(u_x, u_y, u_t\). Then, the Lorentz prolongation of \((\mathbb {R}^3, dx^2+dy^2-dt^2)\) is diffeomorphic to \(\mathbb {R}^3\times \mathbb {S}^1\) via \((x,y,t,\theta )\mapsto \langle \cos \theta u_x+\sin \theta u_y+u_t\rangle \subseteq T_{(x,y,t)}\mathbb {R}^3\). Under this identification, the Engel structure is \(\mathcal {D}_{(x,y,t,\theta )} = \langle \cos \theta \partial _x+\sin \theta \partial _y+\partial _t, \partial _\theta \rangle \), which implies \(\mathcal {W} = \langle \cos \theta \partial _x+\sin \theta \partial _y+\partial _t\rangle \) and \(\mathcal {E} = \mathcal {D}\oplus \langle -\sin \theta \partial _x+\cos \theta \partial _y\rangle \). The foliation \(\mathcal {F}\) by circles is given by \(\{\{k\}\times \mathbb {S}^1\}_{k\in \mathbb {R}^3}\). We also have \(\mathbb {R}^3\times \mathbb {S}^1/\mathcal {W}\cong \mathbb {R}^2\times \mathbb {S}^1\) with projection map
Take coordinates \((u,v,\theta )\) on \(\mathbb {R}^2\times \mathbb {S}^1\) with tangent vectors \(w_u, w_v, w_\theta \). Then, the induced contact structure on \(\mathbb {R}^2\times \mathbb {S}^1\) is
which is the canonical contact structure on \(\mathbb {R}^2\times \mathbb {S}^1\cong ST\mathbb {R}^2\). The Cartan prolongation \(\mathbb {S}(\xi )\) of \((\mathbb {R}^2\times \mathbb {S}^1, \xi )\) is diffeomorphic to \(\mathbb {R}^2\times \mathbb {S}^1\times \mathbb {S}^1\) via
Under this identification, the Engel distribution reads
The local diffeomorphism \(\Phi \) defined in Proposition 4.13 is \((x,y,t,\theta )\mapsto p_*\partial _\theta = \varvec{\langle }t\sin \theta w_u-t\cos \theta w_v+w_\theta \varvec{\rangle }= \varvec{\langle }\frac{t}{\sqrt{1+t^2}}\sin \theta w_u-\frac{t}{\sqrt{1+t^2}}\cos \theta w_v+\frac{1}{\sqrt{1+t^2}}w_\theta \varvec{\rangle }\). Hence, using the identification above,
where we take \(\arccos \frac{t}{\sqrt{1+t^2}}\in (0, \uppi )\). Then, \(\Phi \) is a global diffeomorphism onto its image \(\Phi (\mathbb {R}^3\times \mathbb {S}^1) = \mathbb {R}^2\times \mathbb {S}^1\times (0,\uppi )\). Note that the image of \(\mathcal {F}\) under \(\Phi \) is \(\{\Phi (x,y,t, \theta )\ |\ \theta \in \mathbb {S}^1\}_{(x,y,t)\in \mathbb {R}^3}\). This is still a foliation by circles on the image of \(\Phi \) satisfying i) and ii) above with projection
Again, taking \((u,v,\omega )\) as coordinates on \(\mathbb {R}^2\times (0,\uppi )\), we can compute
which indeed defines a bundle of cones with injective map \(\theta \in \mathbb {S}^1\mapsto V(\omega ,\theta )\) for a given \(\omega \in (0,\uppi )\). Hence, iii) is also satisfied.
The bundle of cones obtained on \(\mathbb {R}^2\times (0,\uppi )\) is the induced by the metric \(g = du^2+dv^2-\sin ^4\omega d\omega ^2\), and therefore we obtain a spacetime isometric to \((\mathbb {R}^3, dx^2+dy^2-dt^2)\) via \((x,y,t)\mapsto (x,y,\arccos {\frac{t}{\sqrt{1+t^2}}})\).
Example 4.16
Let \((M, g) = (\mathbb {S}^2\times \mathbb {S}^1, g_\circ -dt^2)\). As argued in Example 4.9, \(\mathcal {P}C\cong ST\mathbb {S}^2\) with flag
and \((\mathcal {N}, \mathcal {H}) \cong (ST\mathbb {S}^2, \chi )\). Note that, since the \(\mathbb {S}^1\)-bundle \(ST\mathbb {S}^2\rightarrow \mathbb {S}^2\) is oriented, the vector field \(\partial _\theta \) is well defined everywhere. In addition, for \(u\in ST_x\mathbb {S}^2\), we can define \(u^\perp \in ST_x\mathbb {S}^2\) orthogonal to u with respect to \(g_\circ \) and so that \((u, u^\perp , x)\) is a positive basis for \(\mathbb {S}^2\). Seeing \(T\mathbb {S}^2\subset T(ST\mathbb {S}^2)\) via the Levi-Civita connection on \((\mathbb {S}^2,g_\circ )\), we can see \(u^\perp \in T_u(ST\mathbb {S}^2)\), and we obtain a well-defined vector field P on \(ST\mathbb {S}^2\) given pointwise by \(P_u = u^\perp \). Then, the contact structure on \(ST\mathbb {S}^2\) is \(\chi = \langle \partial _\theta , P\rangle \) and, in particular, it is trivial as a vector bundle. Therefore the Cartan prolongation \(\mathbb {S}(\chi )\) of \((ST\mathbb {S}^2, \chi )\) is \(\mathbb {S}(\chi )\cong ST\mathbb {S}^2\times \mathbb {S}^1\) via \((u,s)\mapsto \varvec{\langle }\cos {s}P + \sin {s}\partial _\theta \varvec{\rangle }\in T_u ST\mathbb {S}^2\).
Now, the local diffeomorphism \(\Phi :ST\mathbb {S}^2\times \mathbb {S}^1\rightarrow ST\mathbb {S}^2\times \mathbb {S}^1\) is given by
which can be described as follows. The element in \(ST\mathbb {S}^2\) of \(\Phi (u,s)\) is simply p(u, s), which recall can be described as taking the great circle \(\mu \subset \mathbb {S}^2\) defined by u, and parallel transporting u over \(\mu \) an angle \(\theta \) backwards. We get
that is, \(\Phi (u, s) = \big (p(u, s), s+\frac{\pi }{2}\big )\). This is a global diffeomorphism \(\Phi :~ST\mathbb {S}^2\rightarrow ST\mathbb {S}^2\) preserving the Engel structures. The foliation
on \(\mathcal {P}C\cong ST\mathbb {S}^2\times \mathbb {S}^1\) gets sent under \(\Phi \) to a foliation by circles \(\mathcal {F}_\Phi \) which can be described as follows. The foliation splits in a family of \(\mathbb {S}^1-\)foliations of \(ST\mathbb {S}^2\). On \(ST\mathbb {S}^2\times \{t\}\), \(\mathcal {F}_\Phi \) is formed by all circles on \(\mathbb {S}^2\) with radius t and vectors pointing towards the centre of such circle. Hence, \(\mathcal {F}_\Phi \) satisfies i). Now, fixing t, every circle of \(\mathcal {F}_\Phi \) on \(ST\mathbb {S}^2\times \{t\}\) has a unique centre, and every point of \(\mathbb {S}^2\) defines one such circle. Therefore, \(ST\mathbb {S}^2/\mathcal {F}_\Phi \cong \mathbb {S}^2\times \mathbb {S}^1\), and the projection \(q:ST\mathbb {S}^2\rightarrow \mathbb {S}^2\times \mathbb {S}^1\) is a submersion, since it is on every slice \(q|_{ST\mathbb {S}^2\times \{t\}}:ST\mathbb {S}^2\times \{t\}\rightarrow \mathbb {S}^2\times \{t\}\), as this is only parallel transporting a tangent vector an angle t over its great circle, and taking the basepoint. Therefore, ii) is also satisfied. The bundle of cones defined on \(\mathbb {S}^2\times \{t\}\) is that of a strictly positive constant multiple of \(g_c\), and this constant varies smoothly with respect to t. Hence, we obtain a spacetime isometric to \((\mathbb {S}^2\times \mathbb {S}^1, g_c\times dt^2)\).
Data availability
There is no data associated to this work.
References
Adachi, J.: Engel structures with trivial characteristic foliations. Algebr. Geom. Topol. 2, 239–255 (2002)
Alfredo B.: Geometric structures and causality in the space of light rays of a spacetime. PhD thesis, Universidad Complutense de Madrid (2008)
Alfredo, B., Alberto, I., Javier, L.: On the space of light rays of a spacetime and a reconstruction theorem by Low. Class. Quant. Gravity 31(7), 075020 (2014)
Bernal, A.N., Sánchez, M.: On smooth Cauchy hypersurfaces and Geroch’s splitting theorem. Comm. Math. Phys. 243(3), 461–470 (2003)
Besse, A.L.: Manifolds all of Whose Geodesics are Closed. Results in Mathematics and Related Areas, vol. 93. Springer, Berlin-New York (1978)
Chernov, V., Nemirovski, S.: Legendrian links, causality, and the low conjecture. Geom. Funct. Anal. 19(5), 1320–1333 (2010)
Chernov, V., Nemirovski, S.: Non-negative Legendrian isotopy in \(ST^*M\). Geom. Topol. 14(1), 611–626 (2010)
del Pino, Ál.: On the classification of prolongations up to Engel homotopy. Proc. Am. Math. Soc. 146(2), 891–907 (2018)
Geiges, H.: An Introduction to Contact Topology. Cambridge Studies in Advanced Mathematics, vol. 109. Cambridge University Press, Cambridge (2008)
Godoy, Y., Salvai, M.: The canonical contact structure on the space of oriented null geodesics of pseudospheres and products. Adv. Geom. 13(4), 713–722 (2013)
Guillemin, V.: Cosmology in \((2 + 1)\)-dimensions, Cyclic Models, and Deformations of \(M_{2,1}\). Annals of Mathematics Studies, vol. 121. Princeton University Press, Princeton (1989)
Hedicke, J., Suhr, S.: Conformally embedded spacetimes and the space of null geodesics. Comm. Math. Phys. 375(2), 1561–1577 (2020)
Jakob, H.: The contact structure on the space of null geodesics of causally simple spacetimes. Differ. Geom. Appl. 75, 17 (2021). (Paper No. 101715)
José, N., Paul, T.: Linking, Legendrian linking and causality. Proc. Lond. Math. Soc. (3) 88(1), 251–272 (2004)
Kowalski, O., Sekizawa, M.: Diagonalization of three-dimensional pseudo-Riemannian metrics. J. Geom. Phys. 74, 251–255 (2013)
Low, R.J.: Spaces of causal paths and naked singularities. Class Quant Gravity 7(6), 943–954 (1990)
Low, R.J.: Celestial spheres, light cones, and cuts. J. Math. Phys. 34(1), 315–319 (1993)
Low, R.J.: The space of null geodesics. Nonlinear Anal. 47(5), 3005–3017 (2001)
Richard M., Michail Z.: Geometric approach to Goursat flags. Ann. Inst. H. Poincaré C Anal. Non Linéaire 18(4):459–493 (2001)
Robert JL. Causal relations and spaces of null geodesics. PhD thesis, University of Oxford (1988)
Roger, C., José, L., del Pino, Á., Francisco, P.: Existence \(h\)-principle for Engel structures. Invent. Math. 210(2), 417–451 (2017)
Suhr, S.: A counterexample to Guillemin’s Zollfrei conjecture. J. Topol. Anal. 5(3), 251–260 (2013)
Victor G.: Zoll phenomena in \((2+1)\) dimensions. In: Algebraic analysis, Vol. I, pages 155–169. Academic Press, Boston, MA (1988)
Yoshihiko M.: Geometry and Dynamics of Engel Structures (2018). ArXiv e-prints arXiv:1804.09471 [math.DG]
Acknowledgements
We are indebted to Francisco Presas for proposing the ideas that led to this work and for his invaluable comments. We also thank Miguel Sánchez Caja for his interest in this project.
Funding
Open Access Funding provided by Universitat Autonoma de Barcelona.
Author information
Authors and Affiliations
Corresponding author
Additional information
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
The first author has been supported by the Spanish MEFP under the Beca de Colaboración BDNS 512590 and by “la Caixa” Foundation (ID 100010434) under the fellowship LCF/BQ/EU21/11890122. The second author has been supported by the European Union’s Horizon 2020 research and innovation programme under the Marie Sklodowska-Curie Grant agreement No. 750885 GENERALIZED and by the Spanish State Research Agency under the grants PID2019-109339GA-C32 and RYC2020-030114-I.
Rights and permissions
Open Access This article is licensed under a Creative Commons Attribution 4.0 International License, which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons licence, and indicate if changes were made. The images or other third party material in this article are included in the article's Creative Commons licence, unless indicated otherwise in a credit line to the material. If material is not included in the article's Creative Commons licence and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder. To view a copy of this licence, visit http://creativecommons.org/licenses/by/4.0/.
About this article
Cite this article
Marín-Salvador, A., Rubio, R. On the space of null geodesics of a spacetime: the compact case, Engel geometry and retrievability. Math. Z. 306, 15 (2024). https://doi.org/10.1007/s00209-023-03412-5
Received:
Accepted:
Published:
DOI: https://doi.org/10.1007/s00209-023-03412-5