Specifying an Exact Spacetime Solution

A displayed line element becomes a defined spacetime solution only after the theory, manifold region, metric and accompanying fields, parameter and coordinate domains, identifications, and verification tests have all been specified. A line element alone therefore does not fully specify a spacetime solution. This distinction prevents a correct local formula from being mistaken for a complete global or physical claim.

Required background. The Riemann Curvature Tensor supplies the curvature conventions and contractions used to test a metric; Killing Fields and Isometry Groups supplies the symmetry data used for invariant identification; The Einstein Equation supplies the field equations against which the metric and matter fields are checked.

Helpful background. Frames, Coframes, and Anholonomy provides the frame gauge needed for Cartan and Newman–Penrose diagnostics.

The solution is a geometric tuple

For practical work, represent a solution as

$$\mathscr S=(\mathcal M,g,\Phi;\,\mathcal T,\mathbf p,\mathcal D,\Gamma),$$

where $\mathcal T$ is the theory and its couplings, $\Phi$ denotes every nonmetric field, $\mathbf p$ is the parameter set, $\mathcal D$ specifies coordinate and parameter domains, and $\Gamma$ records discrete identifications. Two formulas with identical $g_{\mu\nu}(x)$ but different coordinate ranges or identifications need not define the same spacetime. Conversely, very different component functions may describe locally isometric regions.

The theory must specify the field equations and normalizations. In this volume the default is four-dimensional Einstein gravity with signature $(-,+,+,+)$,

$$G_{\mu\nu}+\Lambda g_{\mu\nu}=8\pi G T_{\mu\nu},$$

but an electrovacuum solution also requires $F_{\mu\nu}$ and its charge convention, while a scalar solution must state its action and potential. A metric alone cannot reveal which stress tensor, if any, is intended.

Domains, parameters, and geometric data

For each coordinate chart, answer four questions.

1. What values may the coordinates and parameters take?
2. On which region is the metric nondegenerate with Lorentzian signature?
3. Which boundaries are merely chart boundaries, and which require a different extension or represent genuine obstructions?
4. Which points are identified?

The parameter definitions must distinguish dimensions and redundancies. If $m=GM$ is used as a length, that declaration is not interchangeable with a physical mass $M$. A sign or scale removable by a diffeomorphism should not be advertised as a charge. Mergulhão and Batista demonstrate this issue with two elaborate-looking parameters that disappear when their metric is identified with Schwarzschild; the surviving relation is fixed only after invariant frame comparison Mergulhão and Batista 2021, §§I–IV, printed pp. 1–12, PDF.

The geometric data include the Ricci tensor and matter content, isometry algebra, algebraic curvature type, discriminating scalar and Cartan invariants, and any regular coordinate extensions. These data answer different questions. Scalar invariants can disprove equivalence, but degenerate Kundt metrics show that they need not prove it Coley, Hervik, and Pelavas 2009, §§1–3 and §§7–9, printed pp. 1–7 and 21–36, Open PDF.

Checking a proposed solution

A useful order of checks is:

• verify the determinant and signature throughout the stated domain;
• compute the connection and substitute the metric and fields into all field equations;
• verify Bianchi, Maxwell, or matter conservation identities independently;
• find Killing fields and their algebra rather than inferring symmetry from coordinate names;
• compute invariants and frame-normalized curvature data;
• verify each coordinate transformation in both directions on its actual overlap;
• test regular extensions, singularity claims, and controlled parameter limits.

For the Schwarzschild exterior, for example, one must state $m=GM>0$, $r>2m$, $t\in\mathbb R$, and the usual sphere identifications before writing

$$ds^2=-\left(1-\frac{2m}{r}\right)dt^2 +\frac{dr^2}{1-2m/r}+r^2d\Omega_2^2.$$

Direct computation gives $R_{\mu\nu}=0$ and

$$R_{\mu\nu\rho\sigma}R^{\mu\nu\rho\sigma} =\frac{48m^2}{r^6}.$$

The finite value at $r=2m$ is consistent with a removable chart failure, whereas divergence as $r\to0$ survives coordinate changes. Ingoing Eddington–Finkelstein coordinates provide an independent regularity check. Bičák emphasizes that coordinates acquire meaning from the metric and its invariant geometry, not from their names Bičák 2000, §§1.4–1.5, printed pp. 11–16, Open PDF.

What the checks establish

Passing these checks establishes a local metric-field solution on the stated domain. It does not establish stability, formation from regular data, observational relevance, geodesic completeness, or maximality. Those are additional dynamical or global questions. These additional properties require separate analysis; they do not follow from the word “exact.”

Check your understanding

Suppose a paper gives $ds^2=-dt^2+dr^2+r^2d\phi^2+dz^2$ with $0<r<\infty$ but does not state the period of $\phi$. Why is the geometry underdetermined?

Solution

If $\phi\sim\phi+2\pi$, adding the regular axis produces ordinary Minkowski spacetime in cylindrical coordinates. If instead $\phi\sim\phi+2\pi\alpha$ with $\alpha\ne1$, the same local components away from $r=0$ describe a conical quotient; the missing axis has a deficit or excess angle. If $\phi$ is not periodic, the angular coordinate describes a covering space. All cases are locally flat for $r>0$, so local curvature cannot recover the missing identification. The coordinate domain and the identifications specified by $\Gamma$ are essential parts of the solution.

References

• Bičák, Jiří. “Selected Solutions of Einstein’s Field Equations: Their Role in General Relativity and Astrophysics.” Einstein’s Field Equations and Their Physical Implications, Lecture Notes in Physics 540 (2000), 1–126. arXiv:gr-qc/0004016, §§1.4–1.5, printed pp. 11–16.
• Coley, Alan, Sigbjørn Hervik, and Nicos Pelavas. “Spacetimes Characterized by Their Scalar Curvature Invariants.” Classical and Quantum Gravity 26 (2009), 025013. doi:10.1088/0264-9381/26/2/025013.
• Mergulhão, Thiago M., and Carlos Batista. “On the Equivalence of Spacetimes, the Cartan–Karlhede Algorithm.” General Relativity and Gravitation 53 (2021), 28. doi:10.1007/s10714-021-02820-4.