Exact Solutions of Einstein’s Equations

An exact spacetime is more than a line element that solves an equation somewhere. It consists of a metric and any accompanying fields, the equations and conventions they satisfy, a coordinate domain, global identifications, regular extensions, invariant geometric data, and controlled relations to neighboring families. This volume develops those ingredients for the principal exact geometries of general relativity and gives a reproducible way to decide when two formulas describe the same local spacetime—and when identical-looking local metrics describe different global ones.

Helpful background. The Einstein Equation supplies the central field equation, while The Riemann Curvature Tensor supplies the local geometric language used throughout.

What identifies an exact spacetime

A coordinate expression $g_{\mu\nu}(x)$ is one representation of a tensor field. Coordinate singularities, parameter redundancies, and transformations with restricted ranges can make distinct formulas locally isometric or make one formula cover several inequivalent domains. A reliable identification proceeds through several layers:

1. Field content. State the action or field equations, cosmological constant, matter fields, and coupling normalizations.
2. Local solution. Give the metric and fields, coordinate range, parameter range, signature, and differentiability assumed when verifying the equations.
3. Invariant geometry. Determine isometries, curvature and Cartan invariants, algebraic type, preferred congruences, and scalar or tensor singularities.
4. Global realization. Specify periodic identifications, axes, boundaries, horizons, extensions, topology, and any excised sets.
5. Family relations. Take parameter limits with the coordinate scalings and gauge transformations needed to obtain a nondegenerate metric.

No single layer can replace the others. Schwarzschild has a coordinate pole at a regular horizon and an invariant singularity at $r=0$. BTZ is locally constant-curvature AdS$_3$ but globally a black hole because of a quotient. Two C-metrics with the same local coefficients but different azimuthal periods have different string tensions. Scalar-supported metrics can have finite curvature at a surface where the scalar or effective coupling diverges.

This volume uses the global signature $(-,+,+,+)$ in four dimensions and the curvature convention

$$[\nabla_\mu,\nabla_\nu]V^\rho =R^\rho{}_{\sigma\mu\nu}V^\sigma.$$

Einstein’s equation is $G_{ab}+\Lambda g_{ab}=8\pi G T_{ab}$ unless a page explicitly states a dimension-dependent $G_D$ or a different action. The Newman–Penrose, electromagnetic, scalar, angular, and mass conventions needed by a family are stated before use. The point is not to make every convention universal; it is to make every translation checkable.

Identification, symmetry, and foundational families

The volume begins with Spacetime Identification and Classification. Coordinate normalization, scalar invariants, Cartan frames, algebraic classification, Killing data, asymptotics, and parameter limits are assembled into one comparison workflow. It explains why a finite list of scalar polynomial invariants is powerful but not complete, particularly for degenerate Kundt geometries.

Maximally Symmetric and Product Spacetimes establishes Minkowski, de Sitter, anti-de Sitter, Nariai, Bertotti–Robinson, and related products. These are not merely simple examples: they anchor curvature signs, asymptotics, near-horizon limits, and compactifications. Their sectional curvatures and product Ricci tensors can be checked independently of coordinates.

Spherical Symmetry and Birkhoff Theorems derives the warped-product reduction and proves the local vacuum result with its exact hypotheses. The theorem supplies an additional local Killing field and identifies the Schwarzschild family. Where the areal-radius gradient is spacelike, that Killing field is timelike and the geometry is locally static; where the gradient is timelike, as in the black-hole interior, the extra symmetry is spacelike. It is not a statement that every spherical spacetime is globally static. Cosmological constant, electromagnetism, null regions, matter flux, and higher dimensions are treated separately rather than folded into a slogan.

Schwarzschild and Reissner–Nordström then builds the foundational static vacuum and electrovac families across static, horizon-penetrating, and maximal coordinates. Horizons are tested through regular extensions and invariant norms; singularities through curvature; extremality through root multiplicity; and multi-centre equilibria through the coupled metric and Maxwell field.

Rotation, algebraic structure, and hidden symmetry

Stationary and Axisymmetric Spacetimes develops circularity, Weyl–Papapetrou coordinates, Ernst potentials, rod data, asymptotic multipoles, and axis regularity before specializing to one metric. These structures separate consequences of two commuting Killing fields from properties special to Kerr.

Kerr, Kerr–Newman, and Type-D Electrovacua gives metric, field, tetrad, invariant, horizon, and limit descriptions of the rotating black-hole families and their type-D relatives. The pages distinguish the coordinate parameter $a$, the angular momentum $J=Ma$ under asymptotically flat normalization, the horizon generator, the ring singularity, and non-asymptotically-flat parameters such as NUT charge. Carter’s separability classification (1968), pp. 280–310 and global Kerr analysis (1968), pp. 1559–1571, together with Kerr’s original metric (1963), pp. 237–238, supply the original geometric setting.

Hidden Symmetries and Separability explains why those equations separate. Killing tensors, Killing–Yano forms, the principal tensor, canonical coordinates, and symmetry operators provide a geometric mechanism shared by geodesic, Hamilton–Jacobi, Klein–Gordon, Dirac, and curvature-perturbation equations. Separation constants are defined carefully—especially Carter’s $K$ versus $Q$—and the boundary between off-shell canonical structure and on-shell Einstein metrics is kept explicit. A modern synthesis is Frolov, Krtouš, and Kubizňák 2017, §§ 2–8.

Waves, cosmology, and matter

Exact Wave Spacetimes moves from linear intuition to fully nonlinear radiative geometries: pp-waves, plane waves, Kundt families, colliding waves, and impulsive or sandwich waves. Covariantly constant null directions, optical scalars, curvature components, distributional profiles, and junction maps decide which “wave” features are invariant. Coordinate delta functions are not manipulated outside a declared distributional or regularized framework.

Cosmological and Homogeneous Spacetimes treats FLRW, Bianchi, Kasner, Gödel, Lemaître–Tolman–Bondi, and Szekeres geometries. Homogeneity is encoded in Lie-algebra structure constants and invariant frames; inhomogeneous dust families are tested through density, free functions, bang time, and shell-crossing conditions. Exact cosmological metrics supply benchmarks, not a substitute for observational parameter inference.

Matter-Supported and Interior Spacetimes develops static fluid equations, the constant-density interior, shell-free matching, Vaidya null flux, scalar-supported solutions, and charged or anisotropic families. A regular center requires precise Taylor behavior; a stellar surface is governed by induced metric and extrinsic curvature; a pressure pole is tested through curvature. Equation-of-state realism, stability, and collapse evolution remain distinct questions.

Acceleration, dimension, and transformations

Accelerating and C-Metric Families organizes polynomial and spherical coordinate forms, root domains, black-hole and acceleration horizons, conical sources, charge, rotation, cosmological curvature, and scaled limits. It derives why one axial period generally regularizes only one axis segment and how a string or strut supplies acceleration.

Lower- and Higher-Dimensional Spacetimes uses BTZ, Schwarzschild–Tangherlini, Myers–Perry, uniform branes, and five-dimensional black rings to expose the dimension dependence of curvature, radial falloff, rotation rank, horizon topology, and uniqueness. Every metric parameter is related to a physical charge with $G_D$, unit-sphere areas, and compactification periods retained.

Finally, Solution-Generating Transformations and Integrable Reductions reduces symmetric Einstein systems to sigma models and uses Ehlers, Harrison, Geroch, Bäcklund, and inverse-scattering transformations to generate new local solutions. Each method begins from its seed hypotheses and ends with reality, axis, asymptotic, charge, and singularity checks. Satisfying a reduced equation is necessary; it does not guarantee a globally admissible spacetime.

A verification workflow

When encountering an unfamiliar exact metric, use the following sequence.

• Record equations, signature, coordinates, ranges, parameters, field normalizations, and global identifications.
• Verify the field equations from the displayed fields; use an unused component or conserved identity as an independent check.
• Determine Killing fields and invariantly defined radii, surfaces, or congruences.
• Inspect curvature and matter invariants at axes, roots, boundaries, and apparent singularities.
• Build horizon-penetrating or regular-axis coordinates where a coordinate degeneracy is suspected.
• Convert metric parameters to conserved charges under stated asymptotic normalizations.
• Test discriminating limits—flat, static, uncharged, nonaccelerating, isotropic, lower-dimensional, or near-horizon—with coordinate rescaling before parameter substitution.
• State what has not been established: maximality, stability, uniqueness, observational adequacy, or quantum interpretation.

Stephani et al. provide the systematic four-dimensional classification and family formulas Stephani et al. 2003, chs. 4–21, while Griffiths and Podolský emphasize physical interpretation and coordinate domains Griffiths and Podolský 2009, chs. 5–16. The pages here supply the derivations and checks needed to use those references rather than treating them as metric catalogs.

Check your understanding

Suppose a metric component $g_{rr}$ diverges at a simple root $r=r_h$ of a radial function, while all scalar curvature invariants tested there are finite. What has and has not been shown?

Solution

Finite invariants show that the tested scalars do not diagnose a curvature singularity, but they do not alone prove smooth extendibility. One should introduce a horizon-penetrating coordinate—typically $v=t+\int dr/f(r)$ for a static sector—and verify that the full metric and accompanying fields are nondegenerate and sufficiently differentiable at $r_h$. The norm and generator of the relevant Killing field then determine whether the surface is a Killing horizon. Global event-horizon status requires the causal completion of the chosen spacetime, and exceptional geometries may require Cartan or parallelly propagated curvature checks beyond scalar polynomials.

References

• Brandon Carter, “Global Structure of the Kerr Family of Gravitational Fields,” Physical Review 174, 1559–1571 (1968). DOI.
• Brandon Carter, “Hamilton–Jacobi and Schrödinger Separable Solutions of Einstein’s Equations,” Communications in Mathematical Physics 10, 280–310 (1968). DOI.
• Valeri P. Frolov, Pavel Krtouš, and David Kubizňák, “Black Holes, Hidden Symmetries, and Complete Integrability,” Living Reviews in Relativity 20, 6 (2017). DOI.
• Jerry B. Griffiths and Jiří Podolský, Exact Space-Times in Einstein’s General Relativity, Cambridge University Press, 2009. DOI.
• Roy P. Kerr, “Gravitational Field of a Spinning Mass as an Example of Algebraically Special Metrics,” Physical Review Letters 11, 237–238 (1963). DOI.
• Hans Stephani, Dietrich Kramer, Malcolm MacCallum, Cornelius Hoenselaers, and Eduard Herlt, Exact Solutions of Einstein’s Field Equations, 2nd ed., Cambridge University Press, 2003. DOI.