The Mixmaster model arises in the study of solutions of the vacuum Einstein equations which are spatially homogeneous. To say that a solution is spatially homogeneous means that it is invariant under a group of symmetries whose orbits are three-dimensional and spacelike. This implies that it can be described by functions depending only on time and that the Einstein equations reduce to a system of ordinary differential equations. The details of these equations depend on the group defining the symmetry. In all but one case this group can be taken to be three-dimensional. Then classifying the symmetry type essentially comes down to classifying all three-dimensional Lie algebras.This was done by Bianchi in the 1890’s. He introduced types I to IX and this terminology is used in the study of the Einstein equations to this day. Types VI and VII are actually one-parameter families of non-isomorphic Lie algebras and are therefore denoted by VI and VII, where is the parameter. The most general Bianchi types (in the sense that the solutions depend on the largest number of parameters) are types VIII, IX and VI. All Bianchi types contain solutions with initial singularities and the three types just listed exhibit complicated oscillatory behaviour in the approach to the singularity. The case which has been studied most is Bianchi IX and this was christened the Mixmaster model by Charles Misner in 1969. He named it after a kind of food mixer which was popular at the time. There has been a great deal of heuristic and numerical work on the dynamics of this system of ODE. Rigorous mathematical results have been relatively rare. The most notable results in this direction are those arising from the PhD thesis of Hans Ringström, some of which will now be described.

It is useful in the study of Bianchi models to distinguish between the Lie algebras which are unimodular (trace of the structure constants zero) and the rest. These are called Class A and Class B respectively. All models of Class A can be incorporated into a single dynamical system. The dynamical systems for types VIII and IX occupy open subsets of the state space and the other types are represented on lower dimensional submanifolds on the boundaries of these open sets. Class A consists of the types I, II, VI, VII, VIII and IX. It was shown by Ringström that the limit points of solutions of Bianchi type IX in the approach to the singularity (technically the -limit points) are of type I and II. For almost all initial data it was proved that the approach to the singularity is oscillatory in the sense that there are at least three distinct -limit points. More details can be found in this paper. The wider context of these results and aspects of the history of the problem are discussed in the paper ‘Mixmaster: Fact and Belief‘ by Mark Heinzle and Claes Uggla.

Recently there has been renewed interest in these problems. A project which I have started in cooperation with the research group of Bernold Fiedler has generated a lot of activity. The central idea is to bring together knowledge about the concrete application with sophisticated techniques from the theory of dynamical systems. What are the problems to be solved? A first question is whether the direct analogues of the Bianchi IX results hold for type VIII. This has not been proved and there are serious reasons for doubting if it is even true. The key issue, at least at our present state of understanding is whether Bianchi VIII solutions may have -limit points of type VI. For type VI almost nothing is known about the corresponding questions on a rigorous level.

Misner’s original motivation for introducing the Mixmaster model was to find an explanation for the observed isotropy of the universe. Whether this explanation can work depends on the nature of the causal structure of the geometry near the singularity. These days it is usual to explain the isotropy of the universe on the basis of inflation and so Misner’s proposal no longer has the same direct physical significance. The mathematical problem remains and has lost none of its intrinsic fascination. In this context it is desirable to understand the detailed structure of the -limit sets of generic and non-generic solutions. In particular there are three special points in the phase space, the flat Kasner solutions. Whether Misner’s mechanism is effective depends on how much time solutions spend close to these special points. Quantifying this requires a very detailed understanding of the asymptotics of solutions near the singularity. This issue is under intensive investigation. I hope to write about the results here when they are ready to come into the public domain.

These questions are of interest for the understanding of solutions far beyond the homogeneous case. This has to do with the picture of general singularities in solutions of the Einstein equations developed by Belinkii, Khalatnikov and Lifshitz, which is one of the most outstanding challenges in mathematical relativity.

January 1, 2010 at 1:20 pm |

[…] Four-dimensional Lie algebras By hydrobates In mathematical general relativity it is common to study solutions of the Einstein equations with symmetry. In other words, solutions are considered which are invariant under the action of a Lie group . (In what follows I will restrict consideration to the vacuum case to avoid having to talk about matter. So a solution means a Lorentzian metric satisfying .) It is usual to concentrate on the four-dimensional case, corresponding to the fact that in everyday life we encounter one time and three space dimensions. One type of solutions with symmetry are the spatially homogeneous ones where the orbits of the group action are three-dimensional and spacelike. Then the Einstein equations reduce from partial differential equations to ordinary differential equations. This is a huge simplification although the solutions of the ODEs obtained are pretty complicated. Here I will make the further assumptions that the Lie group is of dimension three and that it is simply connected. The first of these assumptions is a real restriction but the second is not from my point of view since it does not change the dynamics of the solutions, which is what I am mainly interested in. With these assumptions the unknown can naturally be considered as a one-parameter family of left-invariant Riemannian metrics on a three-dimensional Lie group. These Riemannian metrics are obtained as the metrics induced by the spacetime metric on the orbits of the group action. Any connected three-dimensional Lie group can occur. Connected and simply connected Lie groups are in one to one correspondence with their Lie algebras.Thus it is important to understand what three-dimensional Lie algebras there are. Fortunately there exists a classification which was found by Bianchi in 1898. People working in general relativity call the spatially homogenous solutions of the Einstein equations with symmetry property defined by Lie groups in this way Bianchi models. They use the terminology of Bianchi, who distinguished types I-IX. A lot of work has been done on the dynamics of these solutions. Some more information on this can be found in a previous post on the Mixmaster model. […]

January 12, 2010 at 2:30 pm |

[…] of class B, namely types , and . Some background information on this terminology can be found here. The relevant dynamical regime is that where the spacetime expands forever. Many of the basic […]

August 24, 2012 at 8:57 pm |

[…] a previous post I wrote about the Mixmaster model. I mentioned that not much had happened in this area for many […]