Mixmaster universe

The Mixmaster universe (named after Sunbeam Mixmaster, a brand of Sunbeam Products electric kitchen mixer) is a solution to Einstein field equations of general relativity studied by Charles Misner in an effort to better understand the dynamics of the early universe. He hoped to solve the horizon problem in a natural way by showing that the early universe underwent an oscillatory, chaotic epoch.

Discussion

The model is similar to the closed Friedmann–Lemaître–Robertson–Walker universe, in that spatial slices are positively curved and are topologically three-spheres [math]\displaystyle{ S^3 }[/math]. However, in the FRW universe, the [math]\displaystyle{ S^3 }[/math] can only expand or contract: the only dynamical parameter is overall size of the [math]\displaystyle{ S^3 }[/math], parameterized by the scale factor [math]\displaystyle{ a(t) }[/math]. In the Mixmaster universe, the [math]\displaystyle{ S^3 }[/math] can expand or contract, but also distort anisotropically. Its evolution is described by a scale factor [math]\displaystyle{ a(t) }[/math] as well as by two shape parameters [math]\displaystyle{ \beta_\pm(t) }[/math]. Values of the shape parameters describe distortions of the [math]\displaystyle{ S^3 }[/math] that preserve its volume and also maintain a constant Ricci curvature scalar. Therefore, as the three parameters [math]\displaystyle{ a,\beta_\pm }[/math] assume different values, homogeneity but not isotropy is preserved.

The model has a rich dynamical structure. Misner showed that the shape parameters [math]\displaystyle{ \beta_\pm(t) }[/math] act like the coordinates of a point mass moving in a triangular potential with steeply rising walls with friction. By studying the motion of this point, Misner showed that the physical universe would expand in some directions and contract in others, with the directions of expansion and contraction changing repeatedly. Because the potential is roughly triangular, Misner suggested that the evolution is chaotic.

Metric

The metric studied by Misner (very slightly modified from his notation) is given by,

[math]\displaystyle{ \text{d}s^2 = -\text{d}t^2 + \sum_{k=1}^3 {L_k^2(t)} \sigma_k \otimes \sigma_k }[/math]

where

[math]\displaystyle{ L_k = R(t)e^{\beta_k} }[/math]

and the [math]\displaystyle{ \sigma_k }[/math], considered as differential forms, are defined by

[math]\displaystyle{ \sigma_1 = \sin \psi \text{d}\theta - \cos\psi \sin\theta\text{d}\phi }[/math]

[math]\displaystyle{ \sigma_2 = \cos \psi \text{d}\theta + \sin\psi \sin\theta\text{d}\phi }[/math]

[math]\displaystyle{ \sigma_3 = -\text{d}\psi - \cos\theta\text{d}\phi }[/math]

In terms of the coordinates [math]\displaystyle{ (\theta,\psi,\phi) }[/math]. These satisfy

[math]\displaystyle{ \text{d}\sigma_i = \frac{1}{2}\epsilon_{ijk} \sigma_j \wedge \sigma_k }[/math]

where [math]\displaystyle{ \text{d} }[/math] is the exterior derivative and [math]\displaystyle{ \wedge }[/math] the wedge product of differential forms. The 1-forms [math]\displaystyle{ \sigma_i }[/math] form a left-invariant co-frame on the Lie group SU(2), which is diffeomorphic to the 3-sphere [math]\displaystyle{ S^3 }[/math], so the spatial metric in Misner's model can concisely be described as just a left-invariant metric on the 3-sphere; indeed, up to the adjoint action of SU(2), this is actually the general left-invariant metric. As the metric evolves via Einstein's equation, the geometry of this [math]\displaystyle{ S^3 }[/math] typically distorts anisotropically. Misner defines parameters [math]\displaystyle{ \Omega(t) }[/math] and [math]\displaystyle{ R(t) }[/math] which measure the volume of spatial slices, as well as "shape parameters" [math]\displaystyle{ \beta_k }[/math], by

[math]\displaystyle{ R(t) = e^{-\Omega(t)} = (L_1(t) L_2(t) L_3(t))^{1/3}, \quad \sum_{k=1}^3 \beta_k(t) = 0 }[/math].

Since there is one condition on the three [math]\displaystyle{ \beta_k }[/math], there should only be two free functions, which Misner chooses to be [math]\displaystyle{ \beta_\pm }[/math], defined as

[math]\displaystyle{ \beta_+ = \beta_1 + \beta_2 = -\beta_3, \quad \beta_- = \frac{\beta_1 - \beta_2}{\sqrt{3}} }[/math]

The evolution of the universe is then described by finding [math]\displaystyle{ \beta_\pm }[/math] as functions of [math]\displaystyle{ \Omega }[/math].

Applications to cosmology

Misner hoped that the chaos would churn up and smooth out the early universe. Also, during periods in which one direction was static (e.g., going from expansion to contraction) formally the Hubble horizon [math]\displaystyle{ H^{-1} }[/math] in that direction is infinite, which he suggested meant that the horizon problem could be solved. Since the directions of expansion and contraction varied, presumably given enough time the horizon problem would get solved in every direction.

While an interesting example of gravitational chaos, it is widely recognized that the cosmological problems the Mixmaster universe attempts to solve are more elegantly tackled by cosmic inflation. The metric Misner studied is also known as the Bianchi type IX metric.

See also

• Bianchi classification
• BKL singularity