On the Existence of a Maximal Cauchy Development for the Einstein Equations - a Dezornification
classification
🌀 gr-qc
math-phmath.APmath.DGmath.MP
keywords
developmentmaximalcauchyeinsteinequationsexistencegloballyhyperbolic
read the original abstract
In 1969, Choquet-Bruhat and Geroch established the existence of a unique maximal globally hyperbolic Cauchy development of given initial data for the Einstein equations. Their proof, however, has the unsatisfactory feature that it relies crucially on the axiom of choice in the form of Zorn's lemma. In this paper we present a proof that avoids the use of Zorn's lemma. In particular, we provide an explicit construction of this maximal globally hyperbolic development.
This paper has not been read by Pith yet.
Forward citations
Cited by 1 Pith paper
-
Maximality and Cauchy developments of Lorentzian length spaces
Introduces Lorentzian spaces as a weakening of Lorentzian length spaces and considers pointed Gromov-Hausdorff metrics, non-spacetime maximal examples, and canonical Cauchy development representatives.
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.