We show that the Big Bang singularity of the Friedmann-Lemaitre-Robertson-Walker model does not raise major problems to General Relativity. We prove a theorem showing that the Einstein equation can be written in a non-singular form, which allows the extension of the spacetime before the Big Bang. The physical interpretation of the fields used is discussed. These results follow from our research on singular semi-Riemannian geometry and singular General Relativity.

Einstein's equation is rewritten in an equivalent form, which remains valid at the singularities in some major cases. These cases include the Schwarzschild singularity, the Friedmann-Lema\^itre-Robertson-Walker Big Bang singularity, isotropic singularities, and a class of warped product singularities. This equation is constructed in terms of the Ricci part of the Riemann curvature (as the Kulkarni-Nomizu product between Einstein's equation and the metric tensor).

The Weyl curvature hypothesis of Penrose attempts to explain the high homogeneity and isotropy, and the very low entropy of the early universe, by conjecturing the vanishing of the Weyl tensor at the Big-Bang singularity. In previous papers it has been proposed an equivalent form of Einstein's equation, which extends it and remains valid at an important class of singularities (including in particular the Schwarzschild, FLRW, and isotropic singularities). Here it is shown that if the Big-Bang singularity is from this class, it also satisfies the Weyl curvature hypothesis. As an application, we study a very general example of cosmological models, which generalizes the FLRW model by dropping the isotropy and homogeneity constraints. This model also generalizes isotropic singularities, and a class of singularities occurring in Bianchi cosmologies. We show that the Big-Bang singularity of this model is of the type under consideration, and satisfies therefore the Weyl curvature hypothesis.

Einstein's equation, in its standard form, breaks down at the Big Bang singularity. A new version, equivalent to Einstein's whenever the latter is defined, but applicable in wider situations, is proposed. The new equation remains smooth at the Big Bang singularity of the Friedmann-Lemaitre-Robertson-Walker model. It is a tensor equation defined in terms of the Ricci part of the Riemann curvature. It is obtained by taking the Kulkarni-Nomizu product between Einstein's equation and the metric tensor.