It is shown that the space of null geodesics of a causally simple Lorentzian manifold is Hausdorff if it admits an open conformal embedding into a globally hyperbolic spacetime. This provides an obstruction to conformal embeddings of causally simple spacetimes into globally hyperbolic ones irrespective of curvature conditions. Examples of causally simple spacetimes are given not conformally embeddable into globally hyperbolic ones.

An important tool to analyse the causal structure of a Lorentzian manifold is given by the Lorentzian distance function. We define a class of Lorentzian distance functions on the group of contactomorphisms of a closed contact manifold depending on the choice of a contact form. These distance functions are continuous with respect to the Hofer norm for contactomorphisms defined by Shelukhin [The Hofer norm of a contactomorphism, J. Symplectic Geom. 15 (2017) 1173–1208] and finite if and only if the group of contactomorphisms is orderable. To prove this, we show that intervals defined by the positivity relation are open with respect to the topology induced by the Hofer norm. For orderable Legendrian isotopy classes we show that the Chekanov-type metric defined in [D. Rosen and J. Zhang, Chekanov’s dichotomy in contact topology, Math. Res. Lett. 27 (2020) 1165–1194] is nondegenerate. In this case, similar results hold for a Lorentzian distance functions on Legendrian isotopy classes. This leads to a natural class of metrics associated to a globally hyperbolic Lorentzian manifold such that its Cauchy hypersurface has a unit co-tangent bundle with orderable isotopy class of the fibres.

We consider pseudoconvexity properties in Lorentzian and Riemannian manifolds and their relationship in static spacetimes. We provide an example of a causally continuous and maximal null pseudoconvex spacetime that fails to be causally simple. Its Riemannian factor provides an analogous example of a manifold that is minimally pseudoconvex, but fails to be convex.

We show that the natural conjugation invariant cone structure on the linear symplectic group Sp(2n) is globally hyperbolic in the positively elliptic region Sp + ell (2n). This answers a question by Abbondandolo, Benedetti and Polterovich and shows a formula for a bi-invariant Lorentzian distance function defined by these authors for elements in this region. Moreover we give a characterisation of the positively elliptic region and of −id ∈ Sp(2n) in terms of the causality of this cone structure.

We define a Lorentzian distance function on the group of contactomorphisms of a closed contact manifold compatible with the relation given by positivity. This distance function is continuous with respect to the Hofer norm on the group of contactomorphisms defined by Shelukhin ([She17]) and finite if and only if the group of contactomorphisms is orderable. To prove this we show that intervals defined by the positivity relation are open with respect to the topology induced by the Hofer norm. For orderable Legendrian isotopy classes we show that the Chekanov-type metric defined in [RZ18] is non-degenerate. In this case similar results hold for a Lorentzian distance function on Legendrian isotopy classes. This leads to a natural class of metrics associated to a globally hyperbolic Lorentzian manifold such that its Cauchy hypersurface has a unit co-tangent bundle with orderable isotopy class of the fibres.