Coordinate, Curvature, and Quasiregular Singularities

A divergent metric component establishes only that a chosen coordinate basis is failing. A spacetime singularity is not a point with a badly behaved coordinate formula: one must test whether a regular extension exists and, after removable chart failures are repaired, whether inextendible causal geodesics end at finite affine or proper parameter and what curvature a parallelly propagated frame measures there.

Required background. The Riemann Curvature Tensor supplies scalar and frame curvature diagnostics; Killing Fields and Isometry Groups supplies invariant chart and quotient information; The Einstein Equation distinguishes geometric pathology from divergent matter sources.

Helpful background. Frames, Coframes, and Anholonomy supplies parallelly propagated components when scalar invariants remain bounded.

Four logically different failures

The word “singularity” is used for several distinct phenomena.

Coordinate failure. A chart degenerates while the metric extends smoothly in another chart. Polar coordinates at an axis, Rindler coordinates at a null wedge boundary, and Schwarzschild coordinates at $r=2GM$ are standard examples.

Scalar-curvature singularity. Some scalar polynomial invariant diverges along an incomplete curve. This is coordinate independent and obstructs any sufficiently differentiable extension with bounded curvature.

Parallelly propagated curvature singularity. Scalars can remain finite while components measured in a frame parallelly transported along an incomplete causal geodesic diverge. Lorentzian contractions can hide null-aligned growth, so scalar boundedness is not a universal regularity test.

Quasiregular singularity. An incomplete inextendible curve reaches finite parameter even though curvature and its relevant frame components remain bounded. Missing points, conical defects, or cut-and-identify constructions can produce this behavior. The classification and its extension-sensitive qualifications originate in Ellis and Schmidt’s systematic treatment Ellis and Schmidt 1977, §§2–4, pp. 921–936.

No single entry replaces the others. Even geodesic incompleteness must be interpreted relative to the regularity class and maximal extension being claimed.

A coordinate divergence that disappears

In Rindler coordinates on a Minkowski wedge,

$$ds^2=-a^2\rho^2d\tau^2+d\rho^2+dy^2+dz^2, \qquad \rho>0.$$

The determinant vanishes as $\rho\to0$, but

$$T=\rho\sinh(a\tau), \qquad X=\rho\cosh(a\tau)$$

turns the metric into $-dT^2+dX^2+dy^2+dz^2$. All curvature vanishes and the Minkowski extension crosses the null lines $X=\pm T$. Thus the original component behavior diagnoses the coordinates, not spacetime curvature.

For Schwarzschild with $m=GM>0$,

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

It is finite at $r=2m$ and diverges at $r=0$. Ingoing Eddington–Finkelstein coordinates remove the former component divergence. This pair of checks distinguishes a regular horizon chart crossing from a scalar-curvature obstruction. Bičák gives the coordinate and extension comparison in Bičák 2000, §§2.2–2.3, printed pp. 20–25, Open PDF.

Flat curvature can coexist with incompleteness

Take

$$ds^2=-dt^2+dr^2+\alpha^2r^2d\phi^2+dz^2, \qquad r>0,\quad \phi\sim\phi+2\pi,$$

with constant $\alpha>0$. The Riemann tensor vanishes for $r>0$. A radial geodesic can nevertheless reach $r=0$ in finite affine parameter. When $\alpha=1$, adding the axis gives a smooth Minkowski extension. When $\alpha\ne1$, circles have circumference $2\pi\alpha r$, so the circumference-to-radius ratio fails the smooth-axis condition. The idealized apex carries a conical defect rather than ordinary smooth vacuum geometry.

This example also shows why topology and differentiability must be stated. Removing one regular Minkowski point creates incomplete geodesics with no curvature warning, but the obvious extension restores the point. Calling the punctured chart “singular” without first asking about extension would confuse an artificial omission with an essential boundary.

A reliable diagnostic sequence

When a formula misbehaves at a candidate boundary:

1. check the determinant, inverse map, and coordinate Jacobian;
2. seek an overlapping chart with nondegenerate metric;
3. compute scalar invariants and algebraic type;
4. propagate an orthonormal or null frame along relevant causal geodesics;
5. test affine or proper-time completeness;
6. state the differentiability and field equations required of a proposed extension;
7. inspect topology and identifications.

The scalar-invariant step is deliberately not last. Degenerate Kundt and VSI geometries prove that bounded or vanishing SPIs do not imply bounded full curvature data Coley, Hervik, and Pelavas 2009, §§7–9, printed pp. 21–36, Open PDF. These tests identify possible singular behavior within a spacetime family. For general theorems about maximality, causal boundaries, and inextendibility, continue to Causality and Global Structure and Mathematical Relativity.

Check your understanding

At a surface $r=r_0$, a diagonal metric has $g_{tt}\to0$ and $g_{rr}\to\infty$, while every tested SPI is finite. What has been proved?

Solution

Only that the tested scalars do not show a scalar-curvature blowup. The reciprocal behavior suggests a coordinate horizon, but that conclusion still requires a regular overlapping chart and an invertible transformation on the overlap. A parallelly propagated curvature component could diverge even with finite SPIs, and geodesics could be incomplete for quasiregular or global reasons. Thus “finite Kretschmann scalar” is evidence against one pathology, not a proof of regular extendibility.

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 and 2.2–2.3, printed pp. 11–16 and 20–25.
• 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.
• Ellis, George F. R., and Bernd G. Schmidt. “Singular Space-Times.” General Relativity and Gravitation 8 (1977), 915–953. doi:10.1007/BF00759240.