3.3 Spherically symmetric solutions3 Global symmetric solutions3.1 Stationary solutions

3.2 Spatially homogeneous solutions

  A solution of the Einstein equations is called spatially homogeneous if there exists a group of symmetries with three-dimensional spacelike orbits. In this case there are at least three linearly independent spacelike Killing vector fields. For most matter models the field equations reduce to ordinary differential equations. (Kinetic matter leads to an integro-differential equation.) The most important results in this area have been reviewed in a recent book edited by Wainwright and Ellis [163]. See, in particular, part two of the book. There remain a host of interesting and accessible open questions. The spatially homogeneous solutions have the advantage that it is not necessary to stop at just existence theorems; information on the global qualitative behaviour of solutions can also be obtained.

An important question which has been open for a long time concerns the mixmaster model, as discussed in [147]. This is a class of spatially homogeneous solutions of the vacuum Einstein equations which are invariant under the group SU (2). A special subclass of these SU (2)-invariant solutions, the (parameter-dependent) Taub-NUT solution, is known explicitly in terms of elementary functions. The Taub-NUT solution has a simple initial singularity which is in fact a Cauchy horizon. All other vacuum solutions admitting a transitive action of SU (2) on spacelike hypersurfaces (Bianchi type IX solutions) will be called generic in the present discussion. These generic Bianchi IX solutions (which might be said to constitute the mixmaster solution proper) have been believed for a long time to have singularities which are oscillatory in nature where some curvature invariant blows up. This belief was based on a combination of heuristic considerations and numerical calculations. Although these together do make a persuasive case for the accepted picture, until very recently there were no mathematical proofs of the these features of the mixmaster model available. This has now changed. First, a proof of curvature blow-up and oscillatory behaviour for a simpler model (a solution of the Einstein-Maxwell equations) which shares many qualitative features with the mixmaster model was obtained by Weaver [165]. In the much more difficult case of the mixmaster model itself corresponding results were obtained by Ringström [152]. Forthcoming work of Ringström extends this analysis to prove the correctness of other properties of the mixmaster model suggested by heuristic and numerical work.

Ringström's analysis of the mixmaster model is potentially of great significance for the mathematical understanding of singularities of the Einstein equations in general. Thus its significance goes far beyond the spatially homogeneous case. According to extensive investigations of Belinskii, Khalatnikov and Lifshitz (see [113],  [19], [20] and references therein) the mixmaster model should provide an approximate description for the general behaviour of solutions of the Einstein equations near singularities. This should apply to many matter models as well as to the vacuum equations. The work of Belinskii, Khalatnikov and Lifshitz (BKL) is hard to understand and it is particularly difficult to find a precise mathematical formulation of their conclusions. This has caused many people to remain sceptical about the validity of the BKL picture. Nevertheless, it seems that nothing has ever been found which indicates any significant flaws in the final version. As long as the mixmaster model itself was not understood this represented a fundamental obstacle to progress on understanding the BKL picture mathematically. The removal of this barrier opens up an avenue to progress on this issue.

Some recent and qualitatively new results concerning the asymptotic behaviour of spatially homogeneous solutions of the Einstein-matter equations, both close to the initial singularity and in a phase of unlimited expansion, (and with various matter models) can be found in  [151] and [164]. These show in particular that the dynamics can depend sensitively on the form of matter chosen. (Note that these results are consistent with the BKL picture.)

3.3 Spherically symmetric solutions3 Global symmetric solutions3.1 Stationary solutions

image Local and Global Existence Theorems for the Einstein Equations
Alan D. Rendall
© Max-Planck-Gesellschaft. ISSN 1433-8351
Problems/Comments to livrev@aei-potsdam.mpg.de