Coordinate vs Curvature Singularities

Solve Einstein's equations and you are handed a metric written in some coordinate chart — and charts lie. It happens constantly that a metric component, or the inverse metric, blows up or goes degenerate at a particular location, and the whole conceptual weight of this article rests on a single question: is that blow-up telling you something real about the spacetime, or is it just the chart failing, the way the Mercator projection banishes the poles to infinity while the Earth sits there perfectly round? The Schwarzschild solution is the canonical proving ground. In its usual coordinates the metric misbehaves at two radii: at r = 2GM the time-time component vanishes and the radial component diverges, and at r = 0 the curvature blows up. Naively both look like the end of the world. The resolution — pieced together by Eddington, Lemaître, Finkelstein, Kruskal and Szekeres between 1924 and 1960 — is that the first is a removable coordinate singularity, the event horizon, and the second an irremovable curvature singularity at the geometric centre. The instrument that tells them apart is the scalar polynomial curvature invariant: a contraction of the Riemann tensor with itself that returns the same number in every chart. If it stays finite where the metric blows up, the chart can be extended across the gap and the geometry is smooth; if it diverges, no coordinates can rescue it — a smooth manifold cannot carry a coordinate-independent infinite component, so the manifold simply ends. For Schwarzschild the Kretschmann scalar settles the case in one line. But invariants have a blind spot, and the rigorous modern definition of a singularity — geodesic incompleteness — was built to cover it.

Key takeaways

A blow-up in the metric components can mean either a genuine breakdown of the geometry or merely a bad chart, exactly as the pole of latitude–longitude on the round Earth is an artifact of the coordinates, not a hole in the planet.
In Schwarzschild the surface r = 2GM (the event horizon) is a coordinate singularity: g_rr = (1 − 2GM/r)⁻¹ diverges, but the geometry is smooth and Eddington–Finkelstein or Kruskal–Szekeres coordinates make that manifest.
The centre r = 0 is a true curvature singularity: the Kretschmann scalar K = R_abcd R^abcd = 48G²M²/r⁶ diverges, a coordinate-independent statement no chart can undo.
The decisive test is the value of a scalar curvature invariant. Finite invariant at a metric blow-up ⟹ coordinate singularity; divergent invariant ⟹ curvature singularity.
Invariants are sufficient but not necessary: some spacetimes (certain pp-waves) are singular by geodesic incompleteness while every polynomial invariant vanishes — which is why the rigorous criterion is incompleteness.
An infalling observer crosses r = 2GM in finite proper time feeling only gentle tides, but is torn apart by unbounded tidal stretching as r → 0 — the physical face of the distinction.
Key idea: a divergence of the metric components is coordinate-dependent and proves nothing; the invariant criterion is the behaviour of scalar curvature invariants such as the Kretschmann scalar K = R_abcd R^abcd, which for Schwarzschild is K = 48G²M²/r⁶ — finite at r = 2GM (coordinate singularity, the horizon) and divergent at r = 0 (true curvature singularity).

The core insight

A divergence of the metric components is coordinate-dependent and proves nothing by itself; the physically invariant criterion is the behaviour of scalar curvature invariants such as the Kretschmann scalar $K=R_{abcd}R^{abcd}$ , which for Schwarzschild is $K=48G^2M^2/r^6$ — finite at $r=2GM$ (a coordinate singularity, the horizon) and divergent at $r=0$ (a true curvature singularity).

Where this lives today

The coordinate-versus-curvature distinction is load-bearing infrastructure across modern gravitational physics. Numerical relativity codes that simulate binary black hole mergers — the templates that let LIGO and Virgo detect gravitational waves — must integrate Einstein's equations straight through horizons while never touching a curvature singularity, and the two standard tricks both exploit the distinction: black-hole excision cuts out a region safely inside the horizon (benign geometry) around the true $r=0$ (where diverging $K$ would crash the integrator), while the moving-puncture gauge lets coordinate singularities ride harmlessly through the grid. The Event Horizon Telescope's images of M87 and Sgr A are pictures of exactly the surface this article certifies as a coordinate artifact — a place where nothing locally special happens. The distinction also frames the field's largest open questions: cosmic censorship asks whether nature always hides its curvature singularities behind horizons, a question whose precise statement needs exactly the invariant-versus-incompleteness language developed here, and every candidate theory of quantum gravity is judged in part by whether it resolves the true $r=0$ singularity while leaving the coordinate horizon untouched.

The physical picture

Start with a surface you already trust: the round 2-sphere in ordinary polar coordinates, $\mathrm{d}s^2=a^2(\mathrm{d}\theta^2+\sin^2\theta\,\mathrm{d}\phi^2)$ . At the North Pole the longitude $\phi$ is undefined and $g_{\phi\phi}=a^2\sin^2\theta\to0$ : the metric goes degenerate. Yet the sphere is perfectly smooth there — walk across the pole and nothing happens; the Gaussian curvature is the constant $1/a^2$ everywhere. The pathology lives entirely in the map, not the ground. The Schwarzschild horizon is precisely this kind of illusion, only the degeneracy has migrated from longitude into the time–radius block of the metric. To feel the difference in the body rather than the chart, ride inward with a freely falling observer. Crossing r = 2GM, nothing local happens: by the equivalence principle a small enough free-falling laboratory registers only tidal forces, and at the horizon of a large hole those tides are gentle. Keep falling, and as r → 0 the tidal forces — the geodesic-deviation content of the Riemann tensor — grow without bound, stretching the observer radially and crushing them transversely. The body is destroyed, and no repapering of coordinates can prevent it. The first figure traces this one worldline through both suspect radii.

Figure

A radially infalling observer meets the two suspect radii of the Schwarzschild geometry: at r = 2GM the metric component g_rr diverges yet the worldline crosses smoothly with only gentle tides — a coordinate singularity, the horizon, sitting at just 2.95 km for the Sun — while at r = 0 the Kretschmann scalar K = 48G²M²/r⁶ and the tidal stretching both diverge, a true curvature singularity where the manifold ends

The reason r = 2GM fools the Schwarzschild chart is that the coordinate $t$ is glued to static observers, who must fire their rockets ever harder to hover as they approach the horizon; their clocks and rulers degenerate in the limit, while coordinates carried by infalling observers dissolve the pathology entirely. The second figure plots the one quantity that arbitrates: the Kretschmann scalar versus radius, finite at the horizon and divergent at the centre.

Figure

The Kretschmann invariant K = 48G²M²/r⁶ on log–log axes is a straight line of slope −6 in r: it stays finite at the horizon r = 2GM where K = 3/(4G⁴M⁴), diverges as r → 0 the curvature singularity, and falls to zero as r → ∞ the asymptotically flat region — the coordinate-independent number that settles which singularity is real

The core equations

The whole discussion hangs on the Schwarzschild line element, whose two apparent singularities are the objects to be classified. It is a vacuum solution written in coordinates $(t,r,\theta,\phi)$ adapted to static observers.

\mathrm{d}s^2=-\left(1-\frac{2GM}{r}\right)\mathrm{d}t^2+\left(1-\frac{2GM}{r}\right)^{-1}\mathrm{d}r^2+r^2\,\mathrm{d}\Omega^2 \qquad (1)

where: $G$ — Newton's constant (set to 1 with $c=1$ in geometric units); $M$ — mass of the central body, so $2GM$ is the Schwarzschild radius; $r$ — areal radial coordinate, defined so the sphere at $r$ has area $4\pi r^2$ ; $\mathrm{d}\Omega^2=\mathrm{d}\theta^2+\sin^2\theta\,\mathrm{d}\phi^2$ — metric of the unit 2-sphere. Reading it off: $g_{tt}=-(1-2GM/r)$ vanishes at $r=2GM$ , and $g_{rr}=(1-2GM/r)^{-1}$ diverges there and again the whole thing misbehaves at $r=0$ — two suspects, one benign, one fatal. The verdict is delivered by the Kretschmann scalar. Because Schwarzschild is a vacuum solution the Ricci tensor and every invariant built from it vanish identically, so one must contract the full Riemann tensor with itself. The closed form is a textbook computation.

K\equiv R_{abcd}R^{abcd}=\frac{48\,G^2M^2}{r^6} \qquad (2)

where: $R_{abcd}$ — Riemann curvature tensor; $K$ — Kretschmann scalar, a single coordinate-independent number at each event. Reading it: $K$ is manifestly finite at $r=2GM$ , where it equals $48G^2M^2/(2GM)^6=3/(4G^4M^4)$ , and manifestly divergent as $r\to0$ . That contrast is the entire article compressed into one equation. To remove the horizon singularity one changes to coordinates carried inward by light. The tortoise coordinate stretches the radial axis so radial null rays keep unit slope, and the ingoing null coordinate $v$ replaces $t$ .

r_*=r+2GM\ln\left|\frac{r}{2GM}-1\right|,\qquad v=t+r_* \qquad (3)

where: $r_*$ — tortoise coordinate, defined by $\mathrm{d}r_*=(1-2GM/r)^{-1}\mathrm{d}r$ so that $\mathrm{d}r_*=\pm\mathrm{d}t$ on radial null rays; $v$ — ingoing null coordinate, constant along an infalling light ray. Note $r_*\to-\infty$ as $r\to2GM^+$ : the horizon is pushed to infinite tortoise distance, which is exactly why static charts never reach across it. Feeding (3) into (1) produces the ingoing Eddington–Finkelstein form, whose components are all finite at r = 2GM. The cross term $2\,\mathrm{d}v\,\mathrm{d}r$ is what does the rescuing.

\mathrm{d}s^2=-\left(1-\frac{2GM}{r}\right)\mathrm{d}v^2+2\,\mathrm{d}v\,\mathrm{d}r+r^2\,\mathrm{d}\Omega^2 \qquad (4)

where: $v$ — ingoing null coordinate replacing $t$ ; the off-diagonal $2\,\mathrm{d}v\,\mathrm{d}r$ carries the metric smoothly across the horizon. Reading it: every component is finite and smooth at $r=2GM$ , and the determinant stays $-r^4\sin^2\theta\ne0$ , so the surface is an ordinary (null) hypersurface — the coordinate singularity of (1) is gone. It is tempting to think the metric determinant already tells the story, but it does not, and the reason is instructive.

\det g_{\mu\nu}=-\left(1-\tfrac{2GM}{r}\right)\left(1-\tfrac{2GM}{r}\right)^{-1}r^2\cdot r^2\sin^2\theta=-r^4\sin^2\theta \qquad (5)

where: $\det g_{\mu\nu}$ — determinant of the metric. Reading it: the two reciprocal factors cancel, so the determinant is finite and nonzero at $r=2GM$ — a hint the horizon is benign — but it also vanishes at $r=0$ and at $\theta=0,\pi$ (the harmless polar-axis artifact), so determinant behaviour alone cannot separate real from fake. Only a curvature invariant can. Finally, the physical stakes: an infalling observer reaches each radius in finite proper time, but only the horizon can be crossed and continued past. For the marginally bound observer (released from rest at infinity, energy per mass $E=1$ ) the interior leg from horizon to centre takes

\Delta\tau=\int_{0}^{2GM}\frac{\mathrm{d}r}{\sqrt{2GM/r}}=\frac{4GM}{3},\qquad a_{\perp}\sim\frac{2GM}{r^3}\,L \qquad (6)

where: $\Delta\tau$ — proper time on the infalling clock; $a_\perp$ — tidal (geodesic-deviation) acceleration across a body of size $L$ ; $2GM/r^3$ — the tidal-curvature scale, finite at the horizon and divergent at $r=0$ . Reading it: the crossing time is finite (about 6.6 μs inside a solar-mass hole), yet the tidal term $\propto r^{-3}$ blows up at the centre — finite time to reach a place where the geometry itself has ended.

Derivation ACertifying the horizon as a coordinate singularity with the Kretschmann scalar

Although $g_{rr}=(1-2GM/r)^{-1}$ diverges at $r=2GM$ , we want to show that every scalar built polynomially from the Riemann tensor stays finite there, which forces the pathology to be a defect of the chart rather than of the geometry. The strategy is disarmingly direct: compute one coordinate-independent number — the Kretschmann scalar — and evaluate it at the suspect radius, where its finiteness becomes a statement about the spacetime itself rather than the coordinates that exposed the blow-up.

Step 1. In vacuum Einstein's equations read $R_{ab}=0$ , so the Ricci scalar $R$ and the invariant $R_{ab}R^{ab}$ both vanish identically outside the source. Why: these are the cheapest invariants to reach for, but for Schwarzschild they are blind — they carry no information about the curvature at all, which is why one must climb to the full Riemann tensor.

Step 2. Contract the whole Riemann tensor with itself to form $K=R_{abcd}R^{abcd}$ ; a direct computation from the Schwarzschild connection gives $K=48G^2M^2/r^6$ . Why: the Riemann tensor of a vacuum spacetime equals its Weyl tensor, which encodes tidal curvature and is nonzero even where Ricci vanishes — so $K$ is the leading nontrivial invariant.

Step 3. Evaluate at the horizon: $K(2GM)=48G^2M^2/(2GM)^6=48G^2M^2/(64\,G^6M^6)=3/(4G^4M^4)$ , a finite number. Why: a finite value of a chart-independent scalar means the tidal curvature felt by any observer is finite there, so nothing physical is diverging.

Step 4. Invoke coordinate independence: since $K$ is finite and chart-independent, the geometry is regular at $r=2GM$ , and the divergence of $g_{rr}$ must be an artifact removable by a better chart — precisely what the Eddington–Finkelstein form (4) delivers. Why: finite invariant plus a demonstrated regular extension together certify a coordinate singularity. *Verified: recompute $K=48G^2M^2/r^6$ (Carroll eq. 5.74 / MTW), substitute $r=2GM$ to get $3/(4G^4M^4)$ ; finite, confirming the horizon is a coordinate singularity.*

Go deeper · Derivation B · 1 minCertifying r = 0 as a curvature singularity and as geodesic incompleteness

Derivation BCertifying r = 0 as a curvature singularity and as geodesic incompleteness

Here we establish that $r=0$ is fatal in two independent ways: a scalar invariant diverges there, and an infalling geodesic runs off the edge of the manifold in finite proper time — the rigorous mark of a singularity in the Penrose–Hawking sense. These are logically distinct certifications: the first says the curvature is objectively infinite, the second says the spacetime cannot be extended, and each on its own would already condemn the point.

Step 1. Take the limit of the invariant: $\lim_{r\to0}K=\lim_{r\to0}48G^2M^2/r^6=+\infty$ . Why: no coordinate transformation can turn an infinite chart-independent scalar into a finite one, so the tidal curvature is genuinely unbounded — this is not the chart failing.

Step 2. Write the radial timelike geodesic released from rest at $r=r_0$ , using the energy conserved along the timelike Killing vector: $\mathrm{d}r/\mathrm{d}\tau=-\sqrt{2GM/r-2GM/r_0}$ . Why: proper time is the observer's own clock, and this first-order form is exactly integrable, so we can ask how much of it elapses before the observer reaches the centre.

Step 3. Integrate to the centre: $\Delta\tau=\int_0^{r_0}\mathrm{d}r\,\big(2GM/r-2GM/r_0\big)^{-1/2}=\dfrac{\pi}{2}\dfrac{r_0^{3/2}}{\sqrt{2GM}}$ , the classic cycloidal free-fall time — finite. Why: a finite proper-time bound means the geodesic terminates after a finite parameter interval yet cannot be continued, since there is no spacetime past $r=0$ ; the geodesic is inextendible.

Step 4. Combine the two: a divergent invariant and an inextendible finite-length geodesic together establish $r=0$ as a genuine physical singularity, in sharp contrast to the horizon, whose invariant was finite and whose geodesics continue straight through. Why: this is the clean dichotomy the whole article is built to draw — one radius the manifold survives, one radius it does not. *Verified: recompute $K\to\infty$ as $r\to0$ , and the free-fall integral $\int_0^{r_0}\mathrm{d}r/\sqrt{2GM/r-2GM/r_0}=(\pi/2)\,r_0^{3/2}/\sqrt{2GM}$ (SymPy; MTW eq. 25.27 / Hartle Ch. 12) — finite. Note the marginally bound $E=1$ interior leg gives instead $\int_0^{2GM}\!\sqrt{r/2GM}\,\mathrm{d}r=4GM/3$ .*

Go deeper · Derivation C · 1 minThe sphere analogy — a degenerate metric with no curvature singularity

Derivation CThe sphere analogy — a degenerate metric with no curvature singularity

To calibrate intuition on ground you already trust, we exhibit a familiar Riemannian surface where a metric component collapses to zero yet the curvature invariant is a finite constant everywhere. The round 2-sphere of radius $a$ in polar coordinates degenerates at both poles, and if metric degeneracy meant a real singularity the sphere would be riddled with holes — it plainly is not, the black-hole lesson one dimension down.

Step 1. Read the metric $\mathrm{d}s^2=a^2(\mathrm{d}\theta^2+\sin^2\theta\,\mathrm{d}\phi^2)$ and spot the degeneracy: $g_{\phi\phi}=a^2\sin^2\theta\to0$ as $\theta\to0,\pi$ , and the longitude $\phi$ becomes undefined at the poles. Why: this is structurally identical to a coordinate singularity — a metric component vanishing and a coordinate losing meaning — so if we mistrust the diagnosis here we learn to mistrust it for the horizon.

Step 2. Compute the invariant: the Ricci scalar $R=2/a^2$ , twice the Gaussian curvature $1/a^2$ , is constant and finite at every point including the poles. Why: a finite, in fact constant, chart-independent curvature certifies that the poles are perfectly ordinary points of a smooth surface.

Step 3. Transfer the parallel: just as the sphere's poles are regular points masked by polar coordinates, the Schwarzschild horizon is a regular hypersurface masked by Schwarzschild coordinates, and in both cases a finite invariant beats a degenerate metric component. Why: the epistemics are the rule — a metric component is chart-dependent evidence, a curvature invariant is chart-independent evidence, and the invariant wins. *Verified: Gaussian curvature of a 2-sphere is $1/a^2$ , so $R=2/a^2$ (any differential-geometry text) — constant and finite, confirming the polar degeneracy is purely a coordinate effect.*

Limiting cases

The four rows below run the diagnostic across the radii that matter, and the last row is the crucial caveat that keeps the invariant test honest.

Case	Result	Meaning
Horizon $r=2GM$	$g_{rr}\to\infty$ but $K=\dfrac{48G^2M^2}{(2GM)^6}=\dfrac{3}{4G^4M^4}<\infty$	Metric component diverges, invariant finite: a coordinate (removable) singularity — the event horizon.
Centre $r=0$	$K=\dfrac{48G^2M^2}{r^6}\to\infty$	The invariant itself diverges: a genuine curvature singularity no chart can remove.
Infinity $r\to\infty$	$K\to0,\quad g_{\mu\nu}\to\eta_{\mu\nu}$	Curvature vanishes and the metric becomes Minkowski — asymptotically flat, no singularity.
Invariant-silent	$R_{abcd}R^{abcd}=0$ yet geodesically incomplete	Certain pp-waves are singular by incompleteness while every polynomial invariant vanishes — invariants are sufficient, not necessary.

Common trapDo not read a chart's blow-up as the world's

The trap has two jaws. First: concluding that $r=2GM$ is a physical singularity because $g_{rr}\to\infty$ there. It is not — that divergence is a property of coordinates adapted to static observers, and the invariant $K=48G^2M^2/r^6$ is finite at the horizon. Second, subtler: assuming every real singularity must announce itself through a divergent invariant. It need not — divergent invariants are sufficient but not necessary; the rigorous criterion is geodesic incompleteness, and there exist geodesically incomplete spacetimes (certain pp-waves, conical or topological defects) whose polynomial invariants are all finite or even zero. Note too that the metric misbehaves differently at the two radii: $g_{tt}\to0,\ g_{rr}\to\infty$ at the horizon, but $g_{tt}\to\infty$ at the centre, reflecting that $r$ switches from spacelike to timelike as you cross in.

Worked examples

1 · Horizon versus centre for a solar-mass black hole (fully worked)

Take $M=M_\odot=1.989\times10^{30}$ kg. Compute the Schwarzschild radius, the Kretschmann scalar at the horizon, and its value at the centre, and say what each implies.

Step 1. The gravitational radius is $r_g=GM/c^2=(6.674\times10^{-11})(1.989\times10^{30})/(2.998\times10^8)^2=\mathbf{1.477\times10^{3}\ m}$ , so the horizon sits at $r=2r_g=\mathbf{2.95\ km}$ — a star's mass folded into a sphere a few kilometres across.

Step 2. Restore $c$ in the invariant, $K=48\,(GM/c^2)^2/r^6=48\,r_g^2/r^6$ , and evaluate at the horizon $r=2r_g$ : $K_{\rm hor}=48\,r_g^2/(2r_g)^6=3/(4r_g^4)=0.75/(1477\ \mathrm{m})^4=\mathbf{1.58\times10^{-13}\ m^{-4}}$ . The tidal-curvature scale is $\sqrt{K_{\rm hor}}\approx4.0\times10^{-7}\ \mathrm{m^{-2}}$ — small, finite, survivable. The horizon is a coordinate singularity.

Step 3. Now let $r\to0$ : $K=48r_g^2/r^6\to\infty$ . There is no finite number here and no chart that could produce one. The centre is a curvature singularity. As a coda on the scaling $K_{\rm hor}\propto M^{-4}$ : a $10^9\,M_\odot$ supermassive hole has $K_{\rm hor}\approx1.6\times10^{-49}\ \mathrm{m^{-4}}$ — the bigger the hole, the gentler the horizon, which is why you could cross the horizon of a galactic-core black hole without noticing while the same crossing for a stellar hole is already fierce. Same formula, opposite verdicts at the two radii.

2 · Finite proper time to the centre, yet the geodesic ends (fully worked)

An observer falls from rest at $r_0=6GM/c^2$ (the innermost stable circular orbit radius) straight to $r=0$ inside a solar-mass hole. How long does their own clock read, and why does this not soften the singularity?

Step 1. Use the fall-from-rest result from Derivation B, $\Delta\tau=\dfrac{\pi}{2}\dfrac{r_0^{3/2}}{\sqrt{2GM}}$ . With $r_0=6GM/c^2$ this is $\Delta\tau=\dfrac{\pi}{2}\dfrac{(6GM/c^2)^{3/2}}{\sqrt{2GM}}=\dfrac{\pi}{2}\,6^{3/2}\dfrac{GM}{c^3}\cdot\dfrac{1}{\sqrt2}$ , i.e. $\Delta\tau=\dfrac{\pi}{2}\cdot\dfrac{6^{3/2}}{\sqrt2}\cdot\dfrac{GM}{c^3}\approx\mathbf{16.3\,\dfrac{GM}{c^3}}$ .

Step 2. Put in numbers: $GM/c^3=r_g/c=1477/(2.998\times10^8)=4.93\times10^{-6}$ s, so $\Delta\tau\approx16.3\times4.93\times10^{-6}\ \mathrm{s}\approx\mathbf{8.0\times10^{-5}\ s}$ — about 80 microseconds of lived time from release to annihilation. Finite.

Step 3. Finiteness of proper time is the surprise, and it holds at both radii — reaching r = 2GM also takes finite time. What separates them is extendibility: the geodesic through r = 2GM continues smoothly into the interior in Eddington–Finkelstein coordinates, but the geodesic into r = 0 cannot be continued at all, because $K\to\infty$ and the manifold ends. The distinction is not "finite versus infinite time" — it is "the path goes on versus the path terminates." The test generalises verbatim to Schwarzschild's neighbours: the Kerr and Reissner–Nordström horizons all return a finite Kretschmann scalar and are coordinate artifacts, while each solution's genuine curvature singularity — the Kerr ring at $r=0,\ \theta=\pi/2$ , the point $r=0$ for Reissner–Nordström — is where the invariant diverges. One master key across the exact-solution catalogue.

Physics of the portrait

The classification of Schwarzschild's two singularities is not one person's theorem but a forty-year clarification, and its pivot is the man who finally said out loud what r = 2GM really is: not a wall, but a one-way door.

Origins · 1 minDavid Finkelstein and how this was discovered

David Finkelstein

1929–2016 · black-hole horizons and the causal structure of spacetime

For four decades after Schwarzschild wrote his 1915 solution, the surface r = 2GM was a source of unease. Schwarzschild himself, and later Einstein, treated it as a boundary of physical validity; the very name "Schwarzschild singularity" was attached to the horizon, not the centre. Eddington had accidentally written the metric in horizon-regular coordinates in 1924, but nobody noticed what it meant, and Lemaître's 1933 argument that the r = 2GM singularity was "not real" left the interpretation murky. The decisive reframing came in 1958, when David Finkelstein, then a young American physicist, introduced the ingoing null coordinate that now bears his and Eddington's names and showed that r = 2GM is a unidirectional membrane: a causal horizon that lets worldlines pass inward but never outward, perfectly regular geometrically and singular only in the static chart. That note turned a decades-old confusion into a clean statement about causal structure and set the stage directly for Kruskal and Szekeres, who in 1960 built the maximal analytic extension in which the horizon is manifestly benign and only r = 0 remains. It is the hinge on which the modern reading of the horizon turns: the coordinate singularity was demoted, and the curvature singularity at the centre stood revealed as the only real one.

History

1915

— Schwarzschild derives the vacuum metric, apparently singular at r = 2GM and at r = 0

1921

— Kretschmann introduces the quadratic Riemann invariant later used to tell the cases apart

1933

— Lemaître argues the r = 2GM singularity is a coordinate effect, not physical

1958

— Finkelstein reinterprets r = 2GM as a one-way causal horizon in regular coordinates

1960

— Kruskal and Szekeres publish the maximal analytic extension, isolating r = 0 as the only real singularity

1965

— Penrose proves the first singularity theorem, defining a singularity as geodesic incompleteness

Going further

Texts. Misner, Thorne & Wheeler, Gravitation (1973), §31.2–31.5 · Wald, General Relativity (1984), §6.4 and §9.1 · Carroll, Spacetime and Geometry (2004), §5.4–5.7 · Hartle, Gravity (2003), Ch. 12 · Schutz, A First Course in General Relativity (2009), §11.2.

Provenance. The Schwarzschild line element and its r = 2GM, r = 0 pathologies: MTW §31, Wald §6.1, Carroll §5.4. The Kretschmann scalar $K=48G^2M^2/r^6$ : Carroll eq. 5.74, verifiable by direct Riemann-tensor computation. Eddington–Finkelstein regularisation: Carroll §5.6, MTW §31.4, tracing to Finkelstein (1958). Free-fall proper time $\propto r_0^{3/2}/\sqrt{2GM}$ : MTW eq. 25.27, Hartle Ch. 12. Geodesic-incompleteness definition of a singularity: Wald §9.1, Hawking & Ellis, Penrose (1965). A verifier should recompute $K(2GM)=3/(4G^4M^4)$ , confirm $R_{ab}=0$ in vacuum Schwarzschild, and check the free-fall integral $\int_0^{r_0}\mathrm{d}r/\sqrt{2GM/r-2GM/r_0}=(\pi/2)r_0^{3/2}/\sqrt{2GM}$ against the marginally bound $4GM/3$ .

Prerequisites. The Schwarzschild Metric · Schwarzschild Radius and the Geometric Mass · Geodesic Equations in Schwarzschild Spacetime. Leads to. Kruskal–Szekeres Coordinates · Penrose–Hawking Singularity Theorems · Gravitational Redshift in Schwarzschild Spacetime.

Ask the tutor: ask me to walk through why the very same metric blow-up is harmless at r = 2GM but fatal at r = 0, and I will show you the invariant that decides it.

Is r = 2GM a singularity or not?

It is a singularity of the coordinates, not of the spacetime. In Schwarzschild coordinates $g_{rr}=(1-2GM/r)^{-1}$ diverges there, a genuine failure of that chart. But the geometry is smooth: the Kretschmann scalar $K=48G^2M^2/r^6$ is finite at $r=2GM$ , and coordinates adapted to infalling observers (Eddington–Finkelstein, Kruskal) cross it with all components finite. So r = 2GM is a coordinate singularity — the event horizon, a regular null hypersurface that only looks pathological in the static chart. The physically real singularity of the Schwarzschild solution is at r = 0.

Why is a curvature invariant more trustworthy than the metric components?

Because the metric components are what you read off a particular chart, and different charts disagree about them, while a scalar invariant is one number computed identically in every chart. If a coordinate goes bad — as longitude does at the North Pole, or $t$ does at the horizon — the metric components inherit the badness even though the geometry is fine. A scalar like $R_{abcd}R^{abcd}$ has no such loophole: it contracts a tensor down to a number, so its value cannot depend on how you labelled the points. When it is finite, every observer agrees the curvature is finite; when it diverges, every observer agrees it is infinite. That chart-independence is exactly what "physically real" means in general relativity.

Do all real singularities show up as divergent invariants?

No, and this is the deepest subtlety of the topic. A divergent scalar invariant is a sufficient condition for a curvature singularity — if one blows up, the spacetime is genuinely singular — but it is not necessary. There exist spacetimes that are geodesically incomplete, meaning an observer runs off the edge of the manifold in finite proper time, yet all of whose polynomial curvature invariants are finite or even identically zero; certain plane-fronted (pp-wave) spacetimes and conical or topological defects are the standard examples. That is why the rigorous definition of a singularity used in the Penrose–Hawking theorems is geodesic incompleteness, not invariant divergence: the Kretschmann test is a powerful detector, but it can stay silent while a spacetime is still singular.

If an infalling astronaut crosses the horizon in finite time, why do distant observers see them freeze?

Because the two use different clocks. In the astronaut's own proper time the crossing of r = 2GM is quick and unremarkable — finite time, gentle tides for a large hole. But the Schwarzschild coordinate $t$ is the distant static observer's time, and $t\to\infty$ as the astronaut approaches the horizon, so their light-signals arrive ever more redshifted and delayed, and the image appears to freeze and fade. Neither description is wrong; they are the same worldline in two charts. The freezing is a coordinate effect of $t$ — the same chart pathology that makes $g_{rr}$ diverge — which is why the astronaut, using proper time, sails straight through.

What is the difference between the Schwarzschild radius and the singularity?

They are two different radii doing two different jobs. The Schwarzschild radius $r=2GM/c^2$ is the event horizon — a coordinate singularity, a geometrically smooth causal boundary, the surface the Event Horizon Telescope images. The singularity proper is at $r=0$ , where the invariant $K$ diverges and the geometry ends. Older literature called the horizon "the Schwarzschild singularity," precisely the misnomer this article dismantles: r = 2GM is where the coordinates fail, r = 0 is where the spacetime fails. Nothing catastrophic happens at the Schwarzschild radius of a large hole; everything catastrophic is concentrated at the centre.

Does the finite crossing time mean the singularity is not so bad?

No — finiteness of proper time is a red herring, and untangling it is the crux. An infalling observer reaches both r = 2GM and r = 0 in finite proper time, so time alone cannot distinguish a harmless horizon from a fatal singularity. The real distinction is extendibility: past the horizon the geodesic continues smoothly in regular coordinates, but past r = 0 there is nowhere to continue, because the curvature is infinite and no smooth manifold exists there. What tells you which is real is whether the path can go on — and at the curvature singularity it cannot, which is precisely what geodesic incompleteness formalises.