Domain Theory and the Causal Structure of Space-Time

  • Keye Martin
  • Prakash Panangaden
Conference paper

DOI: 10.1007/978-3-540-69407-6_46

Volume 5028 of the book series Lecture Notes in Computer Science (LNCS)
Cite this paper as:
Martin K., Panangaden P. (2008) Domain Theory and the Causal Structure of Space-Time. In: Beckmann A., Dimitracopoulos C., Löwe B. (eds) Logic and Theory of Algorithms. CiE 2008. Lecture Notes in Computer Science, vol 5028. Springer, Berlin, Heidelberg

Abstract

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.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Copyright information

© Springer-Verlag Berlin Heidelberg 2008

Authors and Affiliations

  • Keye Martin
    • 1
  • Prakash Panangaden
    • 2
  1. 1.Naval Research LaboratoryCenter for High Assurance Computer SystemsWashingtonUSA
  2. 2.School of Computer ScienceMcGill UniversityMontrealCanada