On the Existence of a Maximal Cauchy Development for the Einstein Equations - a Dezornification

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.

25 pages, 6 figures, v2 small changes and minor correction, v3 version accepted for publication

Cited by in corpus (23)

• The global non-linear stability of the Kerr-de Sitter family of black holes
• Non-linear stability of the Kerr-Newman-de Sitter family of charged black holes
• Global Existence of Solutions of the Semiclassical Einstein Equation for Cosmological Spacetimes
• Penrose's 1965 singularity theorem: From geodesic incompleteness to cosmic censorship
• Stable shock formation for nearly simple outgoing plane symmetric waves
• On Hamiltonian continuum mechanics
• Singularities, black holes, and cosmic censorship: A tribute to Roger Penrose
• Shock formation for $2D$ quasilinear wave systems featuring multiple speeds: Blowup for the fastest wave, with non-trivial interactions up to the singularity
• A comment on the construction of the maximal globally hyperbolic Cauchy development
• The relativistic Euler equations: Remarkable null structures and regularity properties
• The non-linear stability of the Schwarzschild family of black holes
• Stable ODE-type blowup for some quasilinear wave equations with derivative-quadratic nonlinearities
• Uniqueness and non-uniqueness results for spacetime extensions
• Spacetime singularities and curvature blow-ups
• Remarkable localized integral identities for $3D$ compressible Euler flow and the double-null framework
• Tipler Naked Singularities in $N$ Dimensions
• Predictability of subluminal and superluminal wave equations
• Cauchy-compact flat spacetimes with extreme BTZ
• Multidimensional nonlinear geometric optics for transport operators with applications to stable shock formation
• On the initial boundary value problem for the vacuum Einstein equations and geometric uniqueness
• BTZ extensions of globally hyperbolic singular flat spacetimes
• On branched coverings of singular $(G,X)$-manifolds
• Alexandrov Theorem for 2+1 flat radiant spacetimes