Cosmological and Homogeneous Spacetimes

Cosmological exact solutions turn symmetry assumptions and matter kinematics into tractable spacetime families. FLRW uses maximal spatial symmetry; Bianchi models retain homogeneity while allowing anisotropy; Gödel adds homogeneous rotation; LTB and Szekeres relax homogeneity while preserving exact dust evolution. The central discipline is to state which symmetry, topology, matter model, and coordinate gauge produce each simplification.

Helpful background. Einstein’s Equation supplies the field equations; The Riemann Curvature Tensor supplies intrinsic and spacetime curvature; Continuum Kinematics and Balance Laws supplies density, pressure, expansion, shear, and vorticity; Exact Solutions of Einstein’s Equations supplies the volume-wide identification method; and Killing Fields and Isometry Groups supplies homogeneous and isotropic actions.

Enter this chapter

Spatial homogeneity means a group acts transitively on each chosen spatial slice. Isotropy means the stabilizer at every point acts as all spatial rotations. Together they force constant-curvature slices and the FLRW metric. Homogeneity without isotropy leaves a time-dependent inner product on one of the Bianchi Lie algebras. Dropping even homogeneity introduces free spatial functions, radial gauge freedom, and new regularity conditions.

These implications are one-way. A coordinate metric with time-only coefficients may conceal its invariant one-form basis, and a special solution can possess more isometries than the Bianchi subgroup used to represent it. Local symmetry also does not determine global spatial topology: quotients can change compactness and identifications while leaving the local field equations unchanged.

The covariant FLRW and Bianchi kinematics, including the roles of expansion, shear, vorticity, and spatial curvature, are developed in Ellis and van Elst 1999, §§2–4, Open PDF. The chapter uses that common language while keeping named exact metrics and their parameter domains explicit.

Symmetry reduction and its limits

FLRW Spacetimes derives constant spatial curvature from isotropy and reduces Einstein’s equation to

$$H^2+\frac{k}{a^2}=\frac{8\pi G}{3}\rho+\frac{\Lambda}{3}, \qquad \dot\rho+3H(\rho+p)=0.$$

Cosmic and conformal time are kept distinct, and the Milne limit shows why $a=0$ does not alone prove a curvature singularity.

Bianchi Classification and Homogeneous Geometry fixes the Maurer–Cartan convention

$$d\omega^a=-\frac12C^a{}_{bc}\omega^b\wedge\omega^c$$

and decomposes the structure constants into $n^{ab}$ and $a_b$. The Jacobi identity $n^{ab}a_b=0$ and the class A/B distinction are algebraic checks that must precede reduced dynamics.

Kasner Spacetime solves vacuum Bianchi I with directional powers $t^{p_i}$. The constraints $\sum p_i=\sum p_i^2=1$ permit anisotropy because vacuum shear carries Weyl curvature. Generic exponents produce a $t^{-4}$ Kretschmann divergence, while permutations of $(1,0,0)$ are flat coordinate wedges.

Exact Bianchi Solution Families compares type-I free motion, type-II Taub transitions, type-V open isotropic limits, and type-IX Taub or closed-FLRW sectors. It distinguishes exact calibrating solutions from claims about generic Bianchi dynamics and warns that a class-A reduced action cannot simply be reused for class B.

Gödel and Rotating Homogeneous Spacetimes adds constant fluid vorticity. The norm of a periodic axial generator becomes negative beyond a finite radius, creating closed timelike circles. Homogeneity then maps such a curve through every event, although all local scalar invariants remain constant.

Lemaître–Tolman–Bondi and Szekeres Families relaxes spatial uniformity for pressureless dust. LTB uses radial mass, energy, and bang-time functions modulo one radial gauge; quasi-spherical Szekeres adds a dipolar angular dependence and generically no Killing vectors. FLRW limits, center regularity, and shell-crossing denominators constrain the free data.

Common invariant and limiting checks

A coherent comparison uses five recurring tests:

1. compute the dimension and action of the spatial isometry group rather than inferring symmetry from coordinates;
2. declare the invariant coframe and verify $d^2\omega^a=0$;
3. evaluate the Hamiltonian and momentum constraints after, not before, imposing diagonal, isotropic, or LRS restrictions;
4. take the FLRW limit and recover ${}^{(3)}R=6k/a^2$ with the intended curvature sign; and
5. distinguish coordinate degeneration, shell crossing, shell focusing, curvature blow-up, and causal pathology with the appropriate invariant.

Matter must be checked just as carefully as geometry. A perfect-fluid source specifies $\rho$, $p$, and $u^a$; dust additionally requires geodesic flow; a cosmological constant belongs on the declared side of Einstein’s equation. Exact solvability is not evidence that a matter model is microphysically complete or observationally favored.

Check your understanding

An exact metric has homogeneous spatial slices, constant scalar curvature invariants, and no pressure. Can one conclude that it is FLRW dust?

Solution

No. Homogeneity and constant invariants do not imply isotropy: Kasner is homogeneous vacuum with shear, and Gödel is homogeneous dust with vorticity and constant invariants. One must test the isotropy group or, equivalently in the standard cosmological setting, the vanishing of shear and vorticity together with the required spatial-curvature form and matter alignment. Pressureless stress-energy must also be verified from Einstein’s tensor, not inferred from the metric label.

References

• Ellis, George F. R., and Henk van Elst. “Cosmological Models.” In Theoretical and Observational Cosmology, edited by Marc Lachièze-Rey, 1–116. Dordrecht: Springer, 1999. DOI; Open PDF.
• Ellis, George F. R., and Malcolm A. H. MacCallum. “A Class of Homogeneous Cosmological Models.” Communications in Mathematical Physics 12 (1969): 108–141. DOI.
• Stephani, Hans, Dietrich Kramer, Malcolm MacCallum, Cornelius Hoenselaers, and Eduard Herlt. Exact Solutions of Einstein’s Field Equations. 2nd ed. Cambridge: Cambridge University Press, 2003. DOI.