TY - JOUR

T1 - On the nature of Hawking’s incompleteness for the Einstein-vacuum equations

T2 - The regime of moderately spatially anisotropic initial data

AU - Rodnianski, Igor

AU - Speck, Jared

N1 - Funding Information:
Mathematics Subject Classification (2020): Primary 83C75; Secondary 35A21, 35Q76, 83C05, 83F05 #DMS-1454419, from a Sloan Research Fellowship provided by the Alfred P. Sloan foundation, and from a Solomon Buchsbaum grant administered by the Massachusetts Institute of Technology.
Funding Information:
Keywords. Big Bang, constant mean curvature, curvature singularity, geodesically incomplete, Hawking’s theorem, Kasner solutions, maximal globally hyperbolic development, singularity theorem, stable blowup, transported spatial coordinates Funding. Igor Rodnianski gratefully acknowledges support from NSF grant #DMS-1001500. Jared Speck gratefully acknowledges support from NSF grant #DMS-1162211, from NSF CAREER grant
Publisher Copyright:
© 2021 European Mathematical Society.

PY - 2022

Y1 - 2022

N2 - In the mathematical physics literature, there are heuristic arguments, going back three decades, suggesting that for an open set of initially smooth solutions to the Einstein-vacuum equations in high dimensions, stable, approximately monotonic curvature singularities can dynamically form along a spacelike hypersurface. In this article, we study the Cauchy problem and give a rigorous proof of this phenomenon in sufficiently high dimensions, thereby providing the first constructive proof of stable curvature-blowup (without symmetry assumptions) along a spacelike hypersurface as an effect of pure gravity. Our proof applies to an open subset of regular initial data satisfying the assumptions of Hawking’s celebrated “singularity” theorem, which shows that the solution is geodesically incomplete but does not reveal the nature of the incompleteness. Specifically, our main result is a proof of the dynamic stability of the Kasner curvature singularity for a subset of Kasner solutions whose metrics exhibit only moderately (as opposed to severely) spatially anisotropic behavior. Of independent interest is our method of proof, which is more robust than earlier approaches in that (i) it does not rely on approximate monotonicity identities and (ii) it accommodates the possibility that the solution develops very singular high-order spatial derivatives, whose blowup-rates are allowed to be, within the scope of our bootstrap argument, much worse than those of the base-level quantities driving the fundamental blowup. For these reasons, our approach could be used to obtain similar blowup-results for various Einstein-matter systems in any number of spatial dimensions for solutions corresponding to an open set of moderately spatially anisotropic initial data, thus going beyond the nearly spatially isotropic regime treated in earlier works.

AB - In the mathematical physics literature, there are heuristic arguments, going back three decades, suggesting that for an open set of initially smooth solutions to the Einstein-vacuum equations in high dimensions, stable, approximately monotonic curvature singularities can dynamically form along a spacelike hypersurface. In this article, we study the Cauchy problem and give a rigorous proof of this phenomenon in sufficiently high dimensions, thereby providing the first constructive proof of stable curvature-blowup (without symmetry assumptions) along a spacelike hypersurface as an effect of pure gravity. Our proof applies to an open subset of regular initial data satisfying the assumptions of Hawking’s celebrated “singularity” theorem, which shows that the solution is geodesically incomplete but does not reveal the nature of the incompleteness. Specifically, our main result is a proof of the dynamic stability of the Kasner curvature singularity for a subset of Kasner solutions whose metrics exhibit only moderately (as opposed to severely) spatially anisotropic behavior. Of independent interest is our method of proof, which is more robust than earlier approaches in that (i) it does not rely on approximate monotonicity identities and (ii) it accommodates the possibility that the solution develops very singular high-order spatial derivatives, whose blowup-rates are allowed to be, within the scope of our bootstrap argument, much worse than those of the base-level quantities driving the fundamental blowup. For these reasons, our approach could be used to obtain similar blowup-results for various Einstein-matter systems in any number of spatial dimensions for solutions corresponding to an open set of moderately spatially anisotropic initial data, thus going beyond the nearly spatially isotropic regime treated in earlier works.

KW - Big bang

KW - Constant mean curvature

KW - Curvature singularity

KW - Geodesically incomplete

KW - Hawking’s theorem

KW - Kasner solutions

KW - Maximal globally hyperbolic development

KW - Singularity theorem

KW - Stable blowup

KW - Transported spatial coordinates

UR - http://www.scopus.com/inward/record.url?scp=85124985208&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=85124985208&partnerID=8YFLogxK

U2 - 10.4171/JEMS/1092

DO - 10.4171/JEMS/1092

M3 - Article

AN - SCOPUS:85124985208

SN - 1435-9855

VL - 24

SP - 167

EP - 263

JO - Journal of the European Mathematical Society

JF - Journal of the European Mathematical Society

IS - 1

ER -