Spacetime Identification and Classification

Exact-spacetime work begins with an identification problem: which geometric solution, on which domain, lies behind a displayed metric? This chapter builds a reproducible answer. It separates coordinate appearance from local isometry, uses algebraic and scalar curvature data as efficient screens, escalates to normalized Cartan data when those screens are incomplete, and distinguishes removable chart failures from genuine geometric obstructions.

Helpful background. The Einstein Equation repairs field-equation verification; The Riemann Curvature Tensor repairs curvature contractions; Killing Fields and Isometry Groups repairs symmetry tests; Frames, Coframes, and Anholonomy prepares the frame normalization used near the end.

The identification problem

A spacetime is not just a matrix of component functions. It consists of a manifold region, Lorentzian metric, time orientation, accompanying fields, theory, parameter and coordinate domains, and any global identifications. The same geometry admits many component forms. Conversely, one local formula can underdetermine several global spacetimes if its ranges and identifications are missing.

The chapter therefore keeps four questions separate:

1. Definition: has a complete metric-field solution actually been stated?
2. Local equivalence: do two open regions differ only by a diffeomorphism and field gauge?
3. Classification: which invariant algebraic and differential data characterize the curvature?
4. Extension: is a bad component a chart failure, or does some invariant, frame, or completeness test reveal a genuine obstruction?

These are concrete applications of differential geometry. Abstract equivalence theory remains with Spacetime Geometry; general causal boundaries and inextendibility belong to Causality and Global Structure and Mathematical Relativity. Here the goal is operational identification of exact metric-field families.

Two routes through the chapter

Practical calculation route. Begin with Specifying an Exact Spacetime Solution to learn what must accompany a line element. Continue to Coordinate Form versus Local Isometry for explicit pullbacks and domain checks. Use Curvature Invariants for Exact-Spacetime Identification and Petrov and Segre Classification as rapid discriminants. Finish with Coordinate, Curvature, and Quasiregular Singularities before interpreting any apparent boundary.

Equivalence-theorem route. Read the coordinate/isometry distinction first, then the limitations of scalar and algebraic classification, and finally Cartan–Karlhede Equivalence. This route explains why a finite normalized sequence of the full curvature and its derivatives can decide local equivalence even when every scalar invariant vanishes.

Both routes use the same standing counterexample: Minkowski spacetime and a nonflat VSI pp-wave share vanishing scalar polynomial invariants. Their full Riemann tensors—and therefore their Cartan data—do not agree. Coley, Hervik, and Pelavas locate this failure systematically in the degenerate Kundt class Coley, Hervik, and Pelavas 2009, §§7–9, printed pp. 21–36, Open PDF.

The pages in working order

The six pages follow this diagnostic sequence.

1. Specifying an Exact Spacetime Solution specifies theory, fields, parameters, domains, invariants, extensions, limits, and verification.
2. Coordinate Form versus Local Isometry states equivalence as a pullback on an invertible overlap and separates it from global identification.
3. Curvature Invariants for Exact-Spacetime Identification builds scalar, eigenvalue, and syzygy screens and proves their one-way logical use.
4. Petrov and Segre Classification records the pointwise Weyl and Ricci algebra without confusing algebraic type with a complete geometry.
5. Cartan–Karlhede Equivalence fixes frame freedom order by order, gives the stopping data, and counts local isometries on regular strata.
6. Coordinate, Curvature, and Quasiregular Singularities combines chart, invariant, parallel-frame, geodesic, and topology checks.

Mergulhão and Batista’s worked comparison shows how these tools form a ladder rather than competing definitions: Ricci flatness, scalar relations, Killing data, and Petrov type screen candidates; normalized derivatives settle the remaining local-equivalence question Mergulhão and Batista 2021, §§I–V, printed pp. 1–13, PDF.

Common conflations

Equal coordinate components are sufficient only after coordinate ranges and identifications match. Equal scalar invariants are usually necessary but not universally sufficient. Equal Petrov and Segre types are only zeroth-order algebraic agreement. A finite metric component at a boundary does not prove extendibility, and a divergent one does not prove curvature blowup. Finally, local isometry says nothing by itself about global topology or causal completeness.

The fastest safe workflow is asymmetric: look first for a cheap mismatch, but demand a genuinely complete method before asserting equivalence.

Chapter diagnostic

Consider

$$g_1=-dT^2+dX^2+dy^2+dz^2$$

on all of $\mathbb R^4$, and

$$g_2=-\rho^2d\tau^2+d\rho^2+dy^2+dz^2$$

with $\rho>0$. A third metric is

$$g_3=-2du dv+dx^2+dy^2+(x^2-y^2)du^2.$$

Decide which pairs are locally isometric, what the scalar invariants can establish, and whether $\rho=0$ is a curvature singularity of $g_2$.

Solution

For $g_2$, set $T=\rho\sinh\tau$ and $X=\rho\cosh\tau$. The map is invertible on the right wedge $X>|T|$, so $g_2$ is the pullback of $g_1$ there. Thus $g_1$ and $g_2$ are locally isometric, but the stated $g_2$ chart covers only one wedge. Its Riemann tensor vanishes, and the Minkowski chart extends through the null boundary. Therefore $\rho=0$ is a Rindler coordinate boundary, not a curvature singularity.

All scalar polynomial curvature invariants of $g_1$, $g_2$, and the vacuum pp-wave $g_3$ vanish. Scalar agreement correctly fails to distinguish the pair $(g_1,g_3)$. Direct curvature does: $g_3$ has nonzero components proportional to second transverse derivatives of $x^2-y^2$, whereas $g_1$ is flat. Cartan data therefore reject local equivalence. The exercise illustrates both logical directions: an explicit pullback proves the first equivalence; identical SPIs alone cannot prove the second.

After this chapter, the same workflow can be calibrated on maximally symmetric backgrounds, where large isotropy and constant curvature make the complete invariant answer especially transparent.

References

• 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.

Further reading

• 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.3–1.5, printed pp. 8–16.