Domain Theory and the Causal Structure of Space-Time
We prove that a globally hyperbolic spacetime with its causality relation is a bicontinuous poset whose interval topology is the manifold topology. From this one can show that from only a countable dense set of events and the causality relation, it is possible to reconstruct a globally hyperbolic spacetime in a purely order theoretic manner. The ultimate reason for this is that globally hyperbolic spacetimes belong to a category that is equivalent to a special category of domains called interval domains. We obtain a mathematical setting in which one can study causality independently of geometry and differentiable structure, and which also suggests that spacetime emerges from something discrete.
Unable to display preview. Download preview PDF.
- [AJ94]Abramsky, S., Jung, A.: Domain theory. In: Maibaum, T.S.E., Abramsky, S., Gabbay, D.M. (eds.) Handbook of Logic in Computer Science, vol. III. Oxford University Press, Oxford (1994)Google Scholar
- [Pen72]Penrose, R.: Techniques of differential topology in relativity. Society for Industrial and Applied Mathematics (1972)Google Scholar
- [Sco70]Scott, D.: Outline of a mathematical theory of computation. Technical Monograph PRG-2, Oxford University Computing Laboratory (1970)Google Scholar
- [Sor91]Sorkin, R.: Spacetime and causal sets. In: D’Olivo, J., et al. (eds.) Relativity and Gravitation: Classical and Quantum. World Scientific, Singapore (1991)Google Scholar