A comment on the construction of the maximal globally hyperbolic Cauchy development

Abstract

Under mild assumptions, we remove all traces of the axiom of choice from the construction of the maximal globally hyperbolic Cauchy development in general relativity. The construction relies on the notion of direct union manifolds, which we review. The construction given is very general: any physical theory with a suitable geometric representation (in particular all classical fields), and such that a strong notion of "local existence and uniqueness" of solutions for the corresponding initial value problem is available, is amenable to the same treatment.

Version 2: 9 (+epsilon; depending on compiler) pages; updated references. Version 3: switched to revtex, 6 pages, version accepted for publication

References in corpus (1)

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

Cited by in corpus (8)

• Shock Formation in Small-Data Solutions to $3D$ Quasilinear Wave Equations: An Overview
• Stable shock formation for nearly simple outgoing plane symmetric waves
• Properties of the Null Distance and Spacetime Convergence
• Shock formation for $2D$ quasilinear wave systems featuring multiple speeds: Blowup for the fastest wave, with non-trivial interactions up to the singularity
• The relativistic Euler equations: Remarkable null structures and regularity properties
• Stable ODE-type blowup for some quasilinear wave equations with derivative-quadratic nonlinearities
• A Universal Spinor Bundle and the Einstein-Dirac-Maxwell Equation as a Variational Theory
• Multidimensional nonlinear geometric optics for transport operators with applications to stable shock formation