There are some caveats. First, the statements concern generic spacetimes; there are exceptions; see Taub–NUT. Second, the matter content might be important for special classes of matter models. For instance, in the case of a stiff fluid or a scalar field, the matter should play a dominant role. The statement that solutions should exhibit oscillatory behavior also depends on the matter model; stiff fluids and scalar fields are expected to suppress it. Furthermore, symmetry might prevent the appearance of oscillations.
The first statement on the list above can be ensured under general circumstances; a combination of Hawking’s theorem [60, Theorem 55A, p. 431], an energy condition and the existence of a Cauchy hypersurface satisfying suitable assumptions concerning the mean curvature will do. The statement of causal disconnectedness is, however, unsatisfactory in that it depends not only on the foliation, but also on a choice of diffeomorphism. It would be preferable to have a geometric condition, which is even independent of the foliation. However, to our knowledge there is no such definition; see the introduction of  for a further discussion. The last three statements are clearly very vague.
The general framework has been developed significantly since the work of BKL; see [28, 30, 47, 88] and references cited therein. We shall not describe these developments in detail, but let us mention that there are at least two somewhat different approaches. In the Hamiltonian approach, taken in [28, 30], billiards describe the asymptotic behavior (see also the work of Misner and Chitré; see [57, pp. 805–816] and references cited therein). In the dynamic systems approach, described in [47, 88], the solution is approximated asymptotically by a family of solutions to ordinary differential equations. In , the Gowdy spacetimes have been considered from this perspective.
Even though the two perspectives have differences, they have an essential assumption in common: causal disconnectedness in the direction toward the singularity. Furthermore, in both cases, the oscillatory spatially-homogeneous vacuum solution is of central importance. It is of interest to note that these two aspects are potentially contradictory; Misner’s original motivation in studying the Mixmaster Universe (Bianchi IX)  was the desire to demonstrate that there is no causal disconnectedness in the direction towards the singularity. In order for the pictures suggested in [28, 30] and [47, 88] to be consistent, causal disconnectedness should hold in the oscillatory spatially-homogeneous vacuum solutions. It is far from clear that this is the case. The reader interested in a discussion of the status of this question is referred to the introduction of .
Finally, let us mention that a different formulation of the BKL picture is given in [19, Conjecture 6.10, p. 58]; see also the references cited therein.
This work is licensed under a Creative Commons License.