Abstract:In a recent work, Ringström proposed a geometric notion of initial data on big bang singularities. Moreover, he conjectured that initial data on the singularity could be used to parameterize quiescent solutions to Einstein's equations; that is, roughly speaking, solutions whose leading order asymptotics are convergent. We prove that given initial data on the singularity for the Einstein-nonlinear scalar field equations in 4 spacetime dimensions, as defined by Ringström, there is a corresponding unique development of the data. We do not assume any symmetry or analyticity, and we allow for arbitrary closed spatial topology. Our results thus present an important step towards resolving Ringström's conjecture. Furthermore, our results show that the Einstein-nonlinear scalar field equations have a geometric singular initial value problem formulation, which is analogous to the classical result by Choquet-Bruhat and Geroch for initial data on a Cauchy hypersurface.
In the literature, there are two conditions which are expected to ensure that quiescent behavior occurs. The first one is an integrability condition on a special spatial frame. The second one is an algebraic condition on the eigenvalues of the expansion normalized Weingarten map associated with a foliation of the spacetime near the singularity. Our result is the first such result where both possibilities are allowed. That is, we allow for the first condition to ensure quiescence in one region of space and for the second condition to take over in the region where the first one is violated. This fact allows for our results to include the vacuum setting.
What problem does this paper attempt to address?
The main problem that this paper attempts to solve is the development of initial data for the Einstein - non - linear scalar field equations at the Big Bang singularity. Specifically, the goal of the paper is to prove that given the initial data at the Big Bang singularity, the corresponding solution can be uniquely developed. This includes the following points:
1. **Existence of initial data**: The paper proves that for the Einstein - non - linear scalar field equations in 4 - dimensional spacetime, given the initial data at the Big Bang singularity (as defined by Ringström), there exists a unique solution (in the sense of isometry).
2. **Geometric singular initial value problem**: The paper shows that the Einstein - non - linear scalar field equations have a formulation of a geometric singular initial value problem at the Big Bang singularity, similar to the classical results of Choquet - Bruhat and Geroch for the initial data on the Cauchy hypersurface.
3. **Detailed asymptotic behavior**: The paper provides detailed asymptotic estimates of the eigenvalues and eigenspaces of the extended normalized Weingarten map, which are crucial for proving the uniqueness and smoothness of the solution.
4. **Uniqueness**: The paper also proves that near the Big Bang singularity, two locally Gaussian - developed solutions are locally isometric under certain conditions, thus establishing the concept of uniqueness.
### Specific problem description
The paper mainly focuses on the "quiescent" Big Bang singularity, that is, near the singularity, the leading - order asymptotic behavior of spacetime is convergent. Ringström proposed a geometric definition of initial data and conjectured that such initial data can be used to parameterize the quiescent solutions of the Einstein equations. To verify this conjecture, the paper needs to solve two key problems:
1. **Induced initial data**: Prove that quiescent solutions will necessarily induce initial data at the singularity.
2. **Development of initial data**: Prove that given the initial data at the singularity, there exists a corresponding unique solution.
The paper mainly focuses on the second problem, that is, proving that given the initial data at the Big Bang singularity, the corresponding solution can be uniquely developed. This not only verifies Ringström's conjecture but also provides a basis for studying more complex singularity behaviors (such as oscillatory Big Bang singularities).
### Main results
- **Existence**: The paper proves that given the initial data at the Big Bang singularity, there exists a unique solution, and this solution has a Gaussian foliation structure near the singularity.
- **Asymptotic behavior**: The paper analyzes in detail the asymptotic behavior of the solution near the singularity, especially the asymptotic properties of the eigenvalues and eigenspaces of the extended normalized Weingarten map.
- **Uniqueness**: The paper proves that near the singularity, two locally Gaussian - developed solutions are locally isometric under certain conditions, thus establishing the uniqueness of the solution.
### Conclusion
The results of the paper provide an important mathematical basis for understanding the physical behavior at the Big Bang singularity. Especially when dealing with the Einstein - non - linear scalar field equations, these results are helpful for further studying the singularity problems in cosmology.