Maximally Symmetric and Product Spacetimes

Maximally symmetric and product spacetimes are the calibration standards of exact relativity. Minkowski, de Sitter, and anti-de Sitter show how one constant-curvature geometry acquires very different coordinate domains and global identifications. Nariai and Bertotti–Robinson then show what changes when homogeneous factors are combined: scalar invariants can stay constant even though four-dimensional sectional curvature is not.

Helpful background. The Einstein Equation repairs the $\Lambda$ and matter normalizations; The Riemann Curvature Tensor repairs sectional-curvature and product contractions; Killing Fields and Isometry Groups repairs the distinction between local maximal symmetry and global quotient symmetries.

The benchmark problem

The durable question is not merely which metrics are simple. It is which geometric properties survive a change of chart, a covering or quotient, a product construction, or a limit. Three distinctions organize the chapter:

• constant curvature versus constant scalar curvature: the former fixes every sectional curvature, while the latter is only one contraction;
• local geometry versus global spacetime: a universal cover or discrete quotient preserves local curvature but changes identifications and possibly causal behavior;
• coordinate horizon versus curvature boundary: a Killing field can become null where an adapted chart ends even though the spacetime remains smooth.

In four-dimensional vacuum Einstein gravity, constant curvature $K$ and cosmological constant obey $K=\Lambda/3$. The sign gives the local models Minkowski, de Sitter, and anti-de Sitter. Direct products need not share their maximal isotropy, even if each factor is maximally symmetric.

Two reader routes

Curvature-and-field-equation route. Start with Constant Curvature and Maximal Symmetry for the theorem, exact hypotheses, Killing count, and $n$-dimensional $\Lambda$ relation. Continue to Direct Products and Warped Products to derive the block Ricci and warping terms. Finish with Nariai and Bertotti–Robinson Geometries to verify vacuum and Maxwell-supported products.

Coordinate-and-domain route. Use Minkowski Spacetime and Its Coordinate Atlas to calibrate spherical axes, Rindler horizons, rotating light cylinders, and conformal infinity. Then compare de Sitter Spacetime in global, static, planar, and open charts with Anti-de Sitter Spacetime on its hyperboloid, universal cover, global chart, and Poincaré patch.

The routes meet at a central lesson: invariant curvature identifies the local model, but specifying the spacetime also requires the chart domain and global identification.

Recommended sequence

1. Constant Curvature and Maximal Symmetry proves that full point isotropy and transitivity force $R_{abcd}=K(g_{ac}g_{bd}-g_{ad}g_{bc})$, and exhibits the product counterexample when maximal isotropy is dropped.
2. Minkowski Spacetime and Its Coordinate Atlas shows explicitly which apparent singularities are only spherical, accelerated, rotating, or compactified coordinate effects.
3. de Sitter Spacetime pulls global and observer-static charts from one hyperboloid and locates the static Killing horizons without calling them curvature singularities.
4. Anti-de Sitter Spacetime explains why the embedded hyperboloid’s timelike circle must be unwrapped and why its conformal boundary is timelike.
5. Direct Products and Warped Products computes the connection and Ricci conditions that recur in spherical and cosmological reductions.
6. Nariai and Bertotti–Robinson Geometries contrasts an Einstein product with an Einstein–Maxwell product and checks the supporting fields.

Reall’s de Sitter construction supplies a parallel embedding-based derivation Reall 2013, §13.1, printed pp. 149–160, Open PDF. Bičák compares all three constant-curvature backgrounds and makes explicit that “anti-de Sitter” conventionally means the universal cover Bičák 2000, §1.3, printed pp. 8–10, Open PDF.

Preparation diagnostic

Before taking either route, check that you can contract

$$R_{abcd}=K(g_{ac}g_{bd}-g_{ad}g_{bc})$$

to obtain Ricci and scalar curvature, and that you can distinguish a coordinate range from a manifold boundary. If the contraction is uncertain, use the curvature repair link above. If the domain distinction is uncertain, begin with the Minkowski atlas before reading the de Sitter and AdS pages.

Chapter diagnostic

Three four-dimensional metrics have the following local data:

• A has $R_{ab}=L^{-2}g_{ab}$ and every nondegenerate two-plane has curvature $L^{-2}/3$.
• B is dS$_2(L)\times S^2(L)$.
• C is AdS$_2(L)\times S^2(L)$ with equal radii.

Determine which are maximally symmetric, which solve vacuum Einstein gravity with a cosmological constant alone, and which require matter.

Solution

For A, the stated equality of all sectional curvatures makes it maximally symmetric. Since the sectional curvature is $K=L^{-2}/3$, four-dimensional vacuum Einstein gravity has $\Lambda=3K=L^{-2}$, consistent with $R_{ab}=\Lambda g_{ab}$.

For B, each two-dimensional factor has Ricci eigenvalue $+L^{-2}$, so the product satisfies $R_{ab}=L^{-2}g_{ab}$ and is a vacuum solution with $\Lambda=L^{-2}$. It is not maximally symmetric: factor-tangent planes have curvature $+L^{-2}$ while mixed planes have curvature zero.

For C, the AdS$_2$ and $S^2$ Ricci eigenvalues are respectively $-L^{-2}$ and $+L^{-2}$. No single cosmological constant can match both blocks. A uniform nonnull Maxwell field produces exactly the required sign-split stress tensor; this is Bertotti–Robinson. Mixed sectional curvatures again vanish, so C is not maximally symmetric.

After completing an appropriate route, a reader can identify the local curvature model, translate among its standard charts, state the covered domain, distinguish a cover from a quotient, and verify whether a direct product is supported by $\Lambda$, Maxwell flux, or neither. General conformal-boundary theorems, cosmological evolution, and holographic interpretation remain outside this chapter.

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.3, printed pp. 8–10.
• Reall, Harvey S. General Relativity. Cambridge Part III lecture notes (2013). §13, printed pp. 149–173, Open PDF.

Further reading

• Schleich, Kristin, and Donald M. Witt. “A Simple Proof of Birkhoff’s Theorem for Cosmological Constant.” Journal of Mathematical Physics 51 (2010), 112502. doi:10.1063/1.3503447.