Stable Big Bang Formation in Near-FLRW Solutions to the Einstein-Scalar Field and Einstein-Stiff Fluid Systems
We prove a stable singularity formation result for solutions to the Einstein-scalar field and Einstein-stiff fluid systems. Our results apply to small perturbations of the spatially flat FLRW solution with topology (0,∞)×T3. The FLRW solution models a spatially uniform scalar-field/stiff fluid evolving in a spacetime that expands towards the future and that has a "Big Bang" singularity at {0}×T3, where its curvature blows up. We place data on a Cauchy hypersurface Σ1′ that are close to the FLRW data induced on {1}×T3. We study the perturbed solution in the collapsing direction and prove that its basic features closely resemble those of the FLRW solution. In particular, we construct constant mean curvature-transported spatial coordinates for the perturbed solution covering (t,x)∈(0,1]×T3 and show that it also has a Big Bang at {0}×T3, where its curvature blows up. The blow-up confirms Penrose's Strong Cosmic Censorship hypothesis for the "past-half" of near-FLRW solutions. The most difficult aspect of the proof is showing that the solution exists for (t,x)∈(0,1]×T3, and to this end, we derive energy estimates that are allowed to mildly blow-up as t↓0. To close these estimates, we use the most important ingredient in our analysis: an L2−type energy approximate monotonicity inequality that holds for near-FLRW solutions. In the companion article "A regime of linear stability for the Einstein-scalar field system with applications to nonlinear Big Bang formation," we used the approximate monotonicity to prove a stability result for solutions to linearized versions of the equations. The present article shows that the linear stability result can be upgraded to control the nonlinear terms.