13.05.01 · gr-cosmology / schwarzschild

Schwarzschild solution

draft3 tiersLean: none

Anchor (Master): Wald — General Relativity Ch. 6; Misner-Thorne-Wheeler — Gravitation §31; Weinberg — Gravitation and Cosmology Ch. 8

Intuition [Beginner]

Special relativity told you that space and time are not separate — that distances and durations depend on which observer is doing the measuring, but a single object called spacetime is observer-independent. General relativity is the next move. It says: spacetime itself is bendable, and what we call gravity is what bending looks like from the inside.

The starting clue is the equivalence principle. Inside a closed elevator, you cannot tell whether you are sitting still on the surface of a planet or being accelerated upward by a rocket in empty space. The pull of gravity and the push of acceleration give identical local experiences. Einstein took this seriously and concluded that gravity is not a force at all in the Newtonian sense — it is a feature of geometry. A planet does not pull you down; it bends spacetime around itself, and you are simply following the most natural path through the bent geometry, the way a marble rolls along the curve of a stretched rubber sheet.

The rubber-sheet picture is the standard cartoon and it gets one thing right: mass curves spacetime, and curved spacetime tells objects how to move. It misses two things. First, it shows space bent into a third dimension, which is not what happens — spacetime curvature is intrinsic, not embedded in something larger. Second, it shows only space bending, but the more important effect is the bending of time. Clocks run slower deeper in a gravitational well, and this difference in clock rates is the dominant cause of what we feel as gravity for everyday objects.

The Schwarzschild solution is the simplest exact example of all this. Take a single non-rotating spherical mass — call it a star, or a planet, or a black hole — and ask: what is the geometry of spacetime around it? Schwarzschild found the answer in 1916, only weeks after Einstein wrote down the field equations. Outside a mass $M$ , the geometry is described by a formula involving one length scale, the Schwarzschild radius

r_{s} = \frac{2 GM}{c ^{2}} .

For our Sun this is about $3$ km. For the Earth, about $9$ mm. For the supermassive black hole at the centre of our galaxy, about $12$ million km — roughly seventeen times the Sun's physical radius. For a typical proton, $r_{s}$ is fantastically smaller than the proton itself; for any ordinary object the Schwarzschild radius is buried deep inside the matter, irrelevant to anything you ever encounter. But if you could compress enough mass into a region smaller than its own Schwarzschild radius, something dramatic happens. The surface $r = r_{s}$ becomes an event horizon — a one-way boundary in spacetime. Nothing inside, not even light, can ever escape back out. That is what makes a black hole.

Three physical effects fall out of the Schwarzschild solution and have all been measured to extraordinary precision. The first is gravitational time dilation: a clock at lower altitude in a gravitational field ticks more slowly than one at higher altitude. GPS satellites must correct for this every second; without the correction the system would drift kilometres off within hours.

The second is gravitational redshift: light climbing out of a gravitational well loses energy and shifts toward longer wavelengths. The third is perihelion precession — the slow rotation of the long axis of a planet's elliptical orbit. For Mercury this amounts to $43$ arcseconds per century, an anomaly Newtonian gravity could not explain and which Einstein's calculation matched on the first try.

The reason to bother: Schwarzschild's metric is the simplest exact solution of Einstein's equations, the first place every prediction of general relativity becomes concrete, and the geometric setting in which black holes were discovered as mathematical objects three decades before they were taken seriously as astrophysical ones.

Visual [Beginner]

The cleanest visual is not the rubber sheet — it's a picture of clock rates. Imagine a tower standing on the surface of a massive body, with synchronised clocks at the bottom and the top. The two clocks tick at different rates. The clock at the bottom, deeper in the gravitational well, runs slower by the factor

1 - r_{s} / r

compared to a clock at infinity. The same factor appears in light: a photon climbing from the bottom of the tower to the top has its wavelength stretched by exactly the same ratio. Time runs slow and light reddens, both by the same factor and from the same cause — the local geometry of spacetime.

Right at the event horizon $r = r_{s}$ , the factor drops to zero. Time, as seen from infinity, stops. Light emitted there is infinitely redshifted. This is what makes a black hole black: not that it sucks light in, but that anything emitted from the horizon is stretched into nothing on the way out.

The light cones in the picture tell the rest of the story. Far from the mass, light cones open upward in the usual way and an object's future is everything in its forward cone. As you move inward, the cones tilt — more and more of "the future" lies toward the centre. At the horizon, the cones tilt over so far that the centre lies in the future of every observer there. Inside, every worldline ends at $r = 0$ . There is no longer a direction called "back out."

Worked example [Beginner]

The most direct calculation you can do with the Schwarzschild solution is finding the radius of the event horizon of an object with a given mass.

Step 1. The Schwarzschild radius formula:

r_{s} = \frac{2 GM}{c ^{2}} .

The constants are $G = 6.674 \times 1 0^{- 11}$ in SI units (m $^{3}$ kg $^{- 1}$ s $^{- 2}$ ) and $c = 3.00 \times 1 0^{8}$ m/s, so $c^{2} = 9.00 \times 1 0^{16}$ m $^{2}$ /s $^{2}$ .

Step 2. The mass of the Sun is $M_{⊙} = 1.989 \times 1 0^{30}$ kg. So

r_{s}^{⊙} = \frac{2 \times 6.674 \times 1 0 ^{- 11} \times 1.989 \times 1 0 ^{30}}{9.00 \times 1 0 ^{16}} .

Multiplying through gives $2 \times 6.674 \times 1.989 \approx 26.54$ , then $\times 1 0^{- 11 + 30} = 1 0^{19}$ , divided by $9.00 \times 1 0^{16}$ gives $r_{s}^{⊙} \approx 2.95$ km.

Step 3. The mass of the Earth is $M_{\oplus} = 5.972 \times 1 0^{24}$ kg, so

r_{s}^{\oplus} = \frac{2 \times 6.674 \times 1 0 ^{- 11} \times 5.972 \times 1 0 ^{24}}{9.00 \times 1 0 ^{16}} \approx 8.87 \times 1 0^{- 3} m,

about 8.87 millimetres.

Step 4. The supermassive black hole at the centre of the Milky Way (Sagittarius A $^{*}$ ) has mass roughly $4.15 \times 1 0^{6} M_{⊙}$ , so $r_{s}^{SgrA *} \approx 4.15 \times 1 0^{6} \times 2.95$ km $\approx 1.22 \times 1 0^{7}$ km — about $0.08$ astronomical units, or one-fifth the size of Mercury's orbit.

What this tells us: ordinary objects have Schwarzschild radii buried far inside themselves and the horizon language is irrelevant — the Sun's matter extends out to $\sim 700, 000$ km, hundreds of thousands of times its own Schwarzschild radius, and the Schwarzschild solution only applies outside the matter. Only objects compressed below their Schwarzschild radius behave as black holes. The supermassive black hole in our galaxy is large enough that its horizon is comparable in size to the inner solar system.

Check your understanding [Beginner]

Exercise (medium, numeric).

A neutron star has a mass of $1.4$ times that of the Sun (so $M = 1.4 M_{⊙}$ ) and a radius of about $12$ km. Using $r_{s}^{⊙} \approx 2.95$ km, what is the Schwarzschild radius of this neutron star in kilometres, and is the neutron star a black hole?

Hint

$r_{s}$ scales linearly with mass. Compare the result to the neutron star's physical radius.

Answer

$r_{s} \approx 4.1$ km. Linear scaling gives $r_{s} = 1.4 \times 2.95 \approx 4.13$ km. The neutron star's physical radius of $12$ km is about three times its Schwarzschild radius, so the matter is not compressed inside its own horizon and the neutron star is not a black hole. It is, however, dense enough that general-relativistic effects on its surface are substantial — surface time dilation is $1 - 4.1/12 \approx 0.81$ , a 19% slowdown relative to infinity.

Exercise (medium, multiple choice).

Mercury's perihelion precesses at about $574$ arcseconds per century relative to the fixed stars. Newtonian gravity, taking into account the pulls of the other planets, predicts about $531$ arcseconds per century. The remaining $43$ arcseconds per century is explained by

A. The motion of the Sun through the galaxy B. The oblateness of the Sun C. The Schwarzschild correction to Newtonian gravity D. Quantum gravitational effects

Hint

This is one of the three classical tests of general relativity, predicted by Einstein in 1915 and matched on the first calculation.

Answer

C. The Schwarzschild correction to Newtonian gravity.

In the Schwarzschild metric the orbits of test particles around a central mass deviate slightly from Keplerian ellipses; the long axis rotates by a small amount each orbit. For Mercury, the predicted rate is exactly $43$ arcseconds per century, agreeing with the observed anomaly to within current measurement precision. Solar oblateness contributes a much smaller correction.

Formal definition [Intermediate+]

A Schwarzschild spacetime is the unique (up to coordinates and isometry) static, spherically symmetric, asymptotically flat solution of the vacuum Einstein field equations $R_{μν} = 0$ in four dimensions. In Schwarzschild coordinates $(t, r, θ, φ)$ the line element is

d s^{2} = - (1 - \frac{r _{s}}{r}) c^{2} d t^{2} + (1 - \frac{r _{s}}{r})^{- 1} d r^{2} + r^{2} (d θ^{2} + sin^{2} θ d φ^{2}),

where the Schwarzschild radius $r_{s} := 2 GM / c^{2}$ is the single parameter labelling the family. The signature is $(-, +, +, +)$ — this unit adopts the mostly-plus convention; the mostly-minus convention used in much of the QFT and Russian literature flips the overall sign of $d s^{2}$ and the signs of metric components, but the physical content is identical. State the convention before computing.

The coordinate chart is valid on the two disjoint regions $r > r_{s}$ (the exterior) and $0 < r < r_{s}$ (the interior); the metric coefficient $g_{tt}$ vanishes and $g_{r r}$ diverges at $r = r_{s}$ , so the Schwarzschild chart itself does not cover the horizon. The hypersurface $r = r_{s}$ is a coordinate singularity — an artifact of the chart, not of the geometry — as Kruskal-Szekeres coordinates (below) make explicit. The locus $r = 0$ , by contrast, is a true curvature singularity where geometric invariants diverge.

The metric tensor $g_{μν}$ has non-zero components

g_{tt} = - (1 - \frac{r _{s}}{r}), g_{r r} = (1 - \frac{r _{s}}{r})^{- 1}, g_{θ θ} = r^{2}, g_{φφ} = r^{2} sin^{2} θ,

and we set $c = 1$ in the rest of this section to lighten notation. We adopt the summation convention: repeated upper-lower index pairs are summed over $μ, ν, ρ, σ = 0, 1, 2, 3$ .

The vacuum field equations $R_{μν} = 0$ are the trace-reversed Einstein equations in the absence of matter; the Schwarzschild metric makes $R_{μν}$ vanish identically while the full Riemann tensor $R_{σ μν}^{ρ}$ does not. Equivalently the Ricci scalar $R := g^{μν} R_{μν}$ is zero, but the Kretschmann scalar

K := R_{μν ρ σ} R^{μν ρ σ} = \frac{48 G ^{2} M ^{2}}{c ^{4} r ^{6}} = \frac{12 r _{s}^{2}}{r ^{6}}

is a non-vanishing scalar invariant that is finite at $r = r_{s}$ (taking the value $12/ r_{s}^{4}$ there) and diverges as $r \to 0$ . The blow-up of $K$ as $r \to 0$ is the standard invariant diagnostic that $r = 0$ is a curvature singularity, and its boundedness at $r = r_{s}$ is the standard invariant diagnostic that the horizon is a coordinate artifact rather than a geometric one. Geometric invariants such as $K$ , $R$ , $R_{μν} R^{μν}$ , and the Chern-Pontryagin density $R_{μν ρ σ}^{*} R^{μν ρ σ}$ are coordinate-independent by construction; coordinate singularities of the metric have no effect on them.

Birkhoff's theorem. Every spherically symmetric solution of the vacuum Einstein field equations is locally isometric to a region of Schwarzschild spacetime. In particular it is automatically static — no time-dependent spherically symmetric vacuum solution exists. The Newtonian analogue is that a spherical shell of matter exerts no gravitational force on its interior; Birkhoff promotes this from a result about forces to a structural rigidity of the geometry. Time-dependent spherically symmetric phenomena — a pulsating spherical star, for instance — have a non-vacuum interior, but their exterior geometry remains the static Schwarzschild solution at every moment.

Asymptotic flatness. As $r \to \infty$ , the metric coefficients approach those of Minkowski space in spherical coordinates: $g_{tt} \to - 1$ , $g_{r r} \to 1$ , $g_{θ θ} \to r^{2}$ , $g_{φφ} \to r^{2} sin^{2} θ$ . So Schwarzschild describes the geometry around an isolated mass embedded in an otherwise empty universe; the coordinate $t$ at large $r$ corresponds to proper time of a stationary observer at infinity, and the Schwarzschild parameter $M$ corresponds — by comparison with the Newtonian limit at large $r$ , where $g_{tt} \approx - (1 + 2Φ/ c^{2})$ with $Φ = - GM / r$ — to the total ADM mass of the system as measured at infinity.

Counterexamples to common slips

The Schwarzschild radius $r_{s}$ is not the radius of the central mass — it is a coordinate locus, the event horizon for the case where the matter is compressed inside $r_{s}$ . For an ordinary star, $r_{s}$ is buried inside the matter and the Schwarzschild metric applies only outside the surface; the interior is governed by the Tolman-Oppenheimer-Volkoff equation, a different solution.
The radial coordinate $r$ in the Schwarzschild chart is not the proper radial distance from $r = 0$ . The proper distance between two values $r_{1} < r_{2}$ is $\int_{r_{1}}^{r_{2}} (1 - r_{s} / r)^{- 1/2} d r$ , which diverges as $r_{1} \to r_{s}$ — the horizon is at infinite proper distance from any external observer measuring along a radial spacelike geodesic.
The Schwarzschild coordinate $t$ is not the proper time of an observer at radius $r$ . The two are related by $d τ = 1 - r_{s} / r d t$ . Conflating them is the most common source of confusion in computing gravitational time dilation.
Inside the horizon ( $r < r_{s}$ ) the coordinate $r$ becomes timelike and $t$ becomes spacelike — the sign of $g_{r r}$ flips. The interior is therefore not a static region, and the singularity at $r = 0$ is a moment in time for any observer there, not a place in space.

Key theorem with proof [Intermediate+]

Theorem (Schwarzschild solution). The unique static, spherically symmetric, asymptotically flat solution of the vacuum Einstein field equations $R_{μν} = 0$ in four spacetime dimensions is, up to coordinates, the Schwarzschild metric

d s^{2} = - (1 - \frac{2 GM}{c ^{2} r}) c^{2} d t^{2} + (1 - \frac{2 GM}{c ^{2} r})^{- 1} d r^{2} + r^{2} d Ω^{2},

where $d Ω^{2} = d θ^{2} + sin^{2} θ d φ^{2}$ is the round-sphere metric and $M$ is a real constant identified with the ADM mass at infinity.

Proof (Intermediate-tier sketch). Spherical symmetry plus staticity allow a coordinate choice in which the metric depends only on $r$ and takes the form

d s^{2} = - e^{2Φ (r)} d t^{2} + e^{2Λ (r)} d r^{2} + r^{2} d Ω^{2} .

Two unknown radial functions $Φ (r), Λ (r)$ encode all the freedom; sphericity has fixed the angular part to $r^{2} d Ω^{2}$ , and staticity has eliminated cross-terms and time dependence. Setting $c = 1$ for the calculation.

Computing the Christoffel symbols $Γ_{μν}^{ρ} = \frac{1}{2} g^{ρ σ} (\partial_{μ} g_{ν σ} + \partial_{ν} g_{μ σ} - \partial_{σ} g_{μν})$ from this ansatz, then the Ricci tensor $R_{μν} = \partial_{ρ} Γ_{μν}^{ρ} - \partial_{ν} Γ_{ρ μ}^{ρ} + Γ_{ρ σ}^{ρ} Γ_{μν}^{σ} - Γ_{ν σ}^{ρ} Γ_{ρ μ}^{σ}$ , the diagonal components reduce — after simplification — to

R_{tt} = e^{2 (Φ - Λ)} [Φ^{''} + (Φ^{'})^{2} - Φ^{'} Λ^{'} + \frac{2 Φ ^{'}}{r}],

R_{r r} = - Φ^{''} - (Φ^{'})^{2} + Φ^{'} Λ^{'} + \frac{2 Λ ^{'}}{r},

R_{θ θ} = 1 - e^{- 2Λ} [1 + r (Φ^{'} - Λ^{'})],

and $R_{φφ} = sin^{2} θ \cdot R_{θ θ}$ ; off-diagonal components vanish by the symmetry of the ansatz.

The vacuum equations $R_{μν} = 0$ give a system in $Φ$ and $Λ$ . The combination $e^{2 (Λ - Φ)} R_{tt} + R_{r r} = 0$ gives $Φ^{'} + Λ^{'} = 0$ , so $Φ + Λ =$ const. Asymptotic flatness ( $Φ, Λ \to 0$ at infinity) fixes the constant to zero, so $Λ = - Φ$ everywhere.

Substituting into $R_{θ θ} = 0$ gives $1 - e^{2Φ} (1 + 2 r Φ^{'}) = 0$ , which is $(r e^{2Φ})^{'} = 1$ . Integrating, $r e^{2Φ} = r - r_{s}$ for some integration constant $r_{s}$ , so

e^{2Φ (r)} = 1 - \frac{r _{s}}{r}, e^{2Λ (r)} = (1 - \frac{r _{s}}{r})^{- 1} .

This is the Schwarzschild metric in standard form. The integration constant $r_{s}$ is identified with $2 GM / c^{2}$ by matching to the Newtonian limit at large $r$ , where $g_{tt} = - (1 - r_{s} / r) \approx - (1 + 2 Φ_{Newt} / c^{2})$ with $Φ_{Newt} = - GM / r$ . $■$

The Master tier extends this to Birkhoff's theorem: even without assuming staticity, spherical symmetry alone plus vacuum forces the same form.

Worked example: light bending around the Sun

Schwarzschild geodesics. Consider a null geodesic — a light ray — passing near the Sun, treated as a Schwarzschild source of mass $M_{⊙}$ with $r_{s} = 2.95$ km. The orbit equation for a null geodesic in the equatorial plane, parameterised by the angle $φ$ and using the inverse-radius variable $u (φ) := 1/ r$ , is

\frac{d ^{2} u}{d φ ^{2}} + u = \frac{3}{2} r_{s} u^{2} .

The right-hand side is the GR correction; the term $u$ on the left is the Newtonian centrifugal contribution.

In zeroth order, ignoring the right side, the solution is $u = cos φ / b$ where $b$ is the impact parameter — a straight line at perpendicular distance $b$ from the Sun. Substituting this into the right side and solving for the perturbation gives a corrected trajectory that arrives from $φ = - π /2$ at infinity, passes the Sun, and exits at $φ = π /2 + Δ φ$ where

Δ φ = \frac{2 r _{s}}{b} = \frac{4 GM}{c ^{2} b} .

For a light ray grazing the Sun's surface, $b = R_{⊙} \approx 6.96 \times 1 0^{5}$ km, so $Δ φ \approx 4 \times 2.95/ (6.96 \times 1 0^{5}) \approx 1.7 \times 1 0^{- 5}$ radians, or $1.75$ arcseconds. The Newtonian prediction (treating light as a stream of corpuscles in a Newtonian gravitational field) gives exactly half this value; the GR result was tested by Eddington's 1919 solar-eclipse expedition and is the famous prediction that confirmed general relativity to the public.

Exercises [Intermediate+]

Exercise 3 (medium, symbolic).

Starting from the Schwarzschild metric, show that a radially in-falling massive particle (i.e., a geodesic with $d θ = d φ = 0$ ) released from rest at radius $r_{0}$ has coordinate-time velocity satisfying

(\frac{d r}{d t})^{2} = c^{2} (1 - \frac{r _{s}}{r})^{2} \cdot \frac{r _{s} / r - r _{s} / r _{0}}{1 - r _{s} / r _{0}} .

Use this to argue that $d r / d t \to 0$ as $r \to r_{s}$ — an outside observer never sees the particle cross the horizon.

Hint

Use conservation of the energy $E = - p_{t}$ along the geodesic, set up using the timelike Killing vector $\partial_{t}$ . The particle's four-velocity is normalised to $u_{μ} u^{μ} = - c^{2}$ .

Answer

The Lagrangian for a geodesic in the equatorial plane is $L = g_{μν} \overset{x}{˙}^{μ} \overset{x}{˙}^{ν}$ where the dot is differentiation with respect to proper time $τ$ . Since $t$ does not appear, $E := - p_{t} = (1 - r_{s} / r) c^{2} \dot{t}$ is conserved. The normalisation $g_{μν} \overset{x}{˙}^{μ} \overset{x}{˙}^{ν} = - c^{2}$ for a massive particle gives

- c^{2} = - (1 - \frac{r _{s}}{r}) c^{2} \dot{t}^{2} + (1 - \frac{r _{s}}{r})^{- 1} \overset{r}{˙}^{2} .

Solving for $\overset{r}{˙}^{2}$ in terms of $\dot{t}$ and using $E = (1 - r_{s} / r) c^{2} \dot{t}$ ,

\overset{r}{˙}^{2} = \frac{E ^{2}}{c ^{2}} - c^{2} (1 - \frac{r _{s}}{r}) .

Released from rest at $r = r_{0}$ gives $\overset{r}{˙} ∣_{r_{0}} = 0$ , so $E^{2} / c^{2} = c^{2} (1 - r_{s} / r_{0})$ . Hence $\overset{r}{˙}^{2} = c^{2} (r_{s} / r - r_{s} / r_{0})$ .

Coordinate-time velocity is $d r / d t = \overset{r}{˙} / \dot{t} = \overset{r}{˙} \cdot (1 - r_{s} / r) c^{2} / E$ . Squaring and substituting gives the stated expression. As $r \to r_{s}$ , the factor $(1 - r_{s} / r)^{2}$ vanishes faster than the bracketed term blows up, so $d r / d t \to 0$ — the in-falling particle appears, to an external observer, to asymptote to the horizon but never cross it.

In the particle's own proper time $τ$ , however, the crossing happens in finite proper time; the freezing is a coordinate effect of $t$ , which becomes pathological at the horizon. Kruskal-Szekeres coordinates make the crossing manifestly smooth.

Exercise 4 (medium, symbolic).

Show that the equation governing the trajectory $u (φ) = 1/ r (φ)$ of a massive test particle in the equatorial plane of a Schwarzschild geometry is

\frac{d ^{2} u}{d φ ^{2}} + u = \frac{GM}{ℓ ^{2} c ^{2}} + \frac{3 GM}{c ^{2}} u^{2},

where $ℓ$ is the conserved specific angular momentum $r^{2} \overset{φ}{˙}$ . Identify the Newtonian limit (the first term on the right) and the GR correction (the second term).

Hint

Use the conserved energy $E = (1 - r_{s} / r) c^{2} \dot{t}$ and angular momentum $ℓ = r^{2} \overset{φ}{˙}$ , plus the geodesic normalisation. Change variable from $τ$ to $φ$ via $d τ = r^{2} d φ / ℓ$ , and from $r$ to $u = 1/ r$ .

Answer

Starting from the geodesic-normalisation equation in the equatorial plane,

- c^{2} = - (1 - \frac{r _{s}}{r}) c^{2} \dot{t}^{2} + (1 - \frac{r _{s}}{r})^{- 1} \overset{r}{˙}^{2} + r^{2} \overset{φ}{˙}^{2} .

Substitute the conserved quantities and rearrange to get an effective radial equation. Switching to $u = 1/ r$ and using $d u / d φ = - \overset{r}{˙} / (r^{2} \overset{φ}{˙}) = - \overset{r}{˙} / ℓ$ , after differentiating once more in $φ$ and using the conservation laws, the equation collapses to the stated form.

The first term on the right, $GM / (ℓ^{2} c^{2})$ , reproduces the Newtonian Binet equation for an inverse-square central force; its solution $u (φ) = GM / (ℓ^{2} c^{2}) + A cos φ$ is the Keplerian ellipse. The second term, $3 GM u^{2} / c^{2}$ , is the GR correction; perturbing around the ellipse gives a slow rotation of the long axis by

Δ φ_{perorbit} = \frac{6 π GM}{c ^{2} a ( 1 - e ^{2} )},

where $a$ and $e$ are the semi-major axis and eccentricity of the underlying Keplerian ellipse. For Mercury, plugging in $a = 5.79 \times 1 0^{10}$ m, $e = 0.206$ , and $M = M_{⊙}$ yields the famous $43$ arcseconds per century.

Exercise 5 (medium, symbolic).

Compute the gravitational redshift formula directly from the Schwarzschild metric: a photon is emitted at radius $r_{1}$ with frequency $f_{1}$ in the local rest frame of a stationary emitter and detected at radius $r_{2}$ by a stationary detector with frequency $f_{2}$ . Show that

\frac{f _{2}}{f _{1}} = \frac{1 - r _{s} / r _{1}}{1 - r _{s} / r _{2}} .

Hint

A stationary observer at radius $r$ has proper time $d τ = 1 - r_{s} / r d t$ . Photon frequency is the inverse of the period of arrivals in the observer's proper time. The Schwarzschild coordinate $t$ is the same for both emission and detection events along a null geodesic to leading order.

Answer

The proper-time interval between two photon arrivals at radius $r$ is $d τ_{r} = 1 - r_{s} / r d t$ where $d t$ is the Schwarzschild-coordinate time between them. For a stationary photon-emission process, $d t$ is the same at both ends of the photon's path (because the Schwarzschild metric is static — $t$ is Killing). So $d τ_{1} / d τ_{2} = (1 - r_{s} / r_{1}) / (1 - r_{s} / r_{2})$ , and frequency $f = 1/ d τ$ inverts the ratio:

\frac{f _{2}}{f _{1}} = \frac{d τ _{1}}{d τ _{2}} = \frac{1 - r _{s} / r _{1}}{1 - r _{s} / r _{2}} .

For $r_{1} < r_{2}$ (climbing out of the well), the right side is $< 1$ and $f_{2} < f_{1}$ — redshift. The Pound-Rebka experiment of 1959 measured this for photons climbing a $22.6$ -metre tower in Earth's gravitational field, predicting $Δ f / f \approx 2.5 \times 1 0^{- 15}$ and measuring it to about 1% precision.

Exercise 6 (hard, symbolic).

Derive the light-bending angle $Δ φ = 4 GM / (c^{2} b)$ for a photon with impact parameter $b$ in Schwarzschild geometry, starting from the null-geodesic orbit equation $d^{2} u / d φ^{2} + u = (3/2) r_{s} u^{2}$ .

Hint

The zeroth-order solution (no right-hand side) is $u_{0} (φ) = cos φ / b$ , a straight line at perpendicular distance $b$ . Treat the right side as a small perturbation and compute the first-order correction. The bending angle is the deviation of the asymptotic angles from the unperturbed values $\pm π /2$ .

Answer

Write $u = u_{0} + u_{1}$ where $u_{0} = cos φ / b$ and $u_{1}$ is the first-order correction. Substituting into the orbit equation and keeping only first-order terms gives

\frac{d ^{2} u _{1}}{d φ ^{2}} + u_{1} = \frac{3 r _{s}}{2} u_{0}^{2} = \frac{3 r _{s}}{2 b ^{2}} cos^{2} φ = \frac{3 r _{s}}{4 b ^{2}} (1 + cos 2 φ) .

The particular solution of this driven harmonic equation is $u_{1} (φ) = (3 r_{s}) / (4 b^{2}) \cdot [1 - (cos 2 φ) /3]$ , which simplifies to

u_{1} (φ) = \frac{r _{s}}{2 b ^{2}} (1 + sin^{2} φ) .

The total $u = cos φ / b + (r_{s} / (2 b^{2})) (1 + sin^{2} φ)$ vanishes at the asymptotic angles $φ_{\pm}$ where the photon reaches infinity. Setting $u = 0$ to first order in $r_{s} / b$ , $cos φ_{\pm} / b \approx - r_{s} / b^{2}$ , so $cos φ_{\pm} \approx - r_{s} / b$ . For the original straight line, $φ_{\pm} = \pm π /2$ ; the small correction shifts each end by $δ φ = r_{s} / b$ . The total bending is

Δ φ = 2 δ φ = \frac{2 r _{s}}{b} = \frac{4 GM}{c ^{2} b},

as stated. For a photon grazing the Sun, $b = R_{⊙}$ gives $Δ φ = 1.75$ arcseconds.

Exercise 7 (hard, symbolic).

State and prove Birkhoff's theorem in its simplest form: a spherically symmetric vacuum solution of the Einstein field equations is automatically static, and locally isometric to a region of Schwarzschild.

Hint

The most general spherically symmetric metric can be written in coordinates $(t, r, θ, φ)$ as $d s^{2} = - A (t, r) d t^{2} + 2 B (t, r) d t d r + C (t, r) d r^{2} + D (t, r) d Ω^{2}$ . Use coordinate freedom to eliminate $B$ , then write things in terms of two functions of two variables, and impose $R_{μν} = 0$ component by component.

Answer

Begin with $d s^{2} = - A (t, r) d t^{2} + 2 B (t, r) d t d r + C (t, r) d r^{2} + D (t, r) d Ω^{2}$ . Redefine $r$ so that $D (t, r) = r^{2}$ (an "areal" radial coordinate — every level surface of $r$ at fixed $t$ has surface area $4 π r^{2}$ ). The metric becomes $d s^{2} = - A d t^{2} + 2 B d t d r + C d r^{2} + r^{2} d Ω^{2}$ in new $A, B, C$ . Then redefine $t$ to eliminate the cross-term: change $t$ to a new $t$ such that the differential $A d t + B d r$ is exact (locally possible by Frobenius for $1$ -forms; integrability is automatic in the rank- $1$ case). The metric reduces to

d s^{2} = - α (t, r) d t^{2} + β (t, r) d r^{2} + r^{2} d Ω^{2}

for some new functions $α, β > 0$ .

Compute the relevant Ricci tensor components. The off-diagonal component $R_{t r}$ in this ansatz takes the form $R_{t r} = - \partial_{t} β / (r β)$ . The vacuum equation $R_{t r} = 0$ then forces $\partial_{t} β = 0$ , i.e. $β = β (r)$ .

Next, $R_{tt} \cdot β + R_{r r} \cdot α =$ (a calculation) reduces to a relation forcing $\partial_{t} α / α =$ function of $r$ alone, which by redefinition of $t$ allows $α$ to be written as $f (r) \cdot h (t)^{2}$ , and absorbing $h (t)$ into $d t$ makes $α = f (r)$ .

So the vacuum spherically symmetric metric is $d s^{2} = - f (r) d t^{2} + β (r) d r^{2} + r^{2} d Ω^{2}$ — manifestly static. The remaining vacuum equations $R_{θ θ} = 0$ etc. then reduce the system to ODEs in $r$ , solved as in the main proof above to give $f (r) = 1 - r_{s} / r$ , $β (r) = (1 - r_{s} / r)^{- 1}$ .

The conclusion: any spherically symmetric vacuum spacetime is locally isometric to a Schwarzschild solution with some mass parameter $M$ . A pulsating spherical star, an exploding spherical shell, a spherically collapsing dust cloud — all have the same static Schwarzschild exterior. No spherically symmetric vacuum spacetime can carry gravitational waves; gravitational radiation requires at least quadrupole asymmetry. $■$

Exercise 8 (hard, symbolic).

Show that the coordinate transformation to Kruskal-Szekeres coordinates $(T, X)$ , defined for the exterior region $r > r_{s}$ by

T = \frac{r}{r _{s}} - 1 e^{r / (2 r_{s})} sinh (\frac{t}{2 r _{s}}), X = \frac{r}{r _{s}} - 1 e^{r / (2 r_{s})} cosh (\frac{t}{2 r _{s}}),

removes the coordinate singularity at $r = r_{s}$ , and that the resulting metric is

d s^{2} = \frac{4 r _{s}^{3}}{r} e^{- r / r_{s}} (- d T^{2} + d X^{2}) + r^{2} d Ω^{2},

where $r$ is defined implicitly by $X^{2} - T^{2} = (r / r_{s} - 1) e^{r / r_{s}}$ . Verify that the metric coefficient $4 r_{s}^{3} e^{- r / r_{s}} / r$ is finite and nonzero at $r = r_{s}$ .

Hint

Compute $d T$ and $d X$ in terms of $d t$ and $d r$ , square them, and combine $- d T^{2} + d X^{2}$ . The cancellations are clean; the trick is that the $(1 - r_{s} / r)^{- 1}$ factor in $g_{r r}$ is absorbed by the exponential $e^{r / r_{s}}$ .

Answer

Compute the differentials in the exterior region. Let $ρ := r / r_{s} - 1 e^{r / (2 r_{s})}$ , so $T = ρ sinh (t / (2 r_{s}))$ and $X = ρ cosh (t / (2 r_{s}))$ . Then

d T = (d ρ) sinh \frac{t}{2 r _{s}} + \frac{ρ}{2 r _{s}} cosh \frac{t}{2 r _{s}} d t, d X = (d ρ) cosh \frac{t}{2 r _{s}} + \frac{ρ}{2 r _{s}} sinh \frac{t}{2 r _{s}} d t,

and

- d T^{2} + d X^{2} = (d ρ)^{2} - \frac{ρ ^{2}}{4 r _{s}^{2}} (d t)^{2} .

A direct computation of $d ρ$ from $ρ^{2} = (r / r_{s} - 1) e^{r / r_{s}}$ gives $2 ρ d ρ = [(1/ r_{s}) e^{r / r_{s}} + (r / r_{s} - 1) (1/ r_{s}) e^{r / r_{s}}] d r = (1/ r_{s}) e^{r / r_{s}} (r / r_{s}) d r$ , so $(d ρ)^{2} = (r / r_{s}) e^{r / r_{s}} (d r)^{2} / (4 r_{s}^{2} (r / r_{s} - 1)) = (r e^{r / r_{s}} / (4 r_{s}^{2})) \cdot (1 - r_{s} / r)^{- 1} (d r)^{2} / r_{s}$ ... after careful bookkeeping,

- d T^{2} + d X^{2} = \frac{r}{4 r _{s}^{3}} e^{r / r_{s}} [(1 - r_{s} / r)^{- 1} d r^{2} - (1 - r_{s} / r) d t^{2}] .

Multiplying through by $4 r_{s}^{3} e^{- r / r_{s}} / r$ recovers exactly the radial and time parts of the Schwarzschild line element. The conformal factor $4 r_{s}^{3} e^{- r / r_{s}} / r$ at $r = r_{s}$ equals $4 r_{s}^{2} / e$ , manifestly finite and nonzero. So the Kruskal metric is smooth across $r = r_{s}$ , and the locus $r = r_{s}$ in the Kruskal chart is the surface $X^{2} = T^{2}$ , i.e. two null lines $X = \pm T$ , forming the past and future horizons of the maximally extended Schwarzschild geometry.

The maximal extension covers all of $X^{2} - T^{2} > - 1$ (the inner bound $X^{2} - T^{2} = - 1$ corresponds to $r = 0$ , the curvature singularity); the four regions $X > ∣ T ∣$ , $T > ∣ X ∣$ , $X < - ∣ T ∣$ , $- T > ∣ X ∣$ correspond respectively to the exterior of our black hole, the future interior, a second asymptotically flat exterior ("white hole" pair), and the past interior. Penrose diagrams compactify this further by conformally rescaling to bring the asymptotic boundary into a finite region, producing the iconic diamond-shape of the maximally extended Schwarzschild manifold.

Lean formalization [Intermediate+]

Mathlib does not yet cover Lorentzian-manifold theory, the Einstein equations, or specific GR solutions. The closest layers are:

Mathlib.Geometry.Manifold.SmoothManifoldWithCorners, Mathlib.Geometry.Manifold.Tangent: smooth manifolds and tangent bundles as Mathlib structures, with positive-definite Riemannian metric apparatus in Mathlib.Geometry.Manifold.MetricSpace.
Mathlib.LinearAlgebra.QuadraticForm: indefinite quadratic forms in the algebraic setting, which is the linear-algebra precursor to Lorentzian signature.
No definition exists for a pseudo-Riemannian metric on a smooth manifold, no Levi-Civita connection of a metric, no Riemann / Ricci / Einstein tensors at the manifold level, and no Einstein field equations.

The Schwarzschild solution itself would be a single concrete pseudo-Riemannian manifold ( $R \times (r_{s}, \infty) \times S^{2}$ with the metric above, or the maximally extended Kruskal manifold), once the Lorentzian-metric layer exists. Birkhoff's theorem would then be a structural rigidity statement about the moduli space of spherically symmetric vacuum solutions.

lean_status: none reflects this gap; no lean_module ships with this unit. Tyler's review attests intermediate-tier correctness. See lean_mathlib_gap in the frontmatter for the formalisation pathway.

Advanced results [Master]

The Master-tier picture of the Schwarzschild solution is the maximally extended geometry as a whole, the families of related exact solutions (Kerr, Reissner-Nordström, Kerr-Newman), the connection to black-hole thermodynamics, and the global structure picture from the singularity theorems.

Maximal extension and Penrose diagrams. The Schwarzschild chart $(t, r, θ, φ)$ covers two disconnected regions of the maximally extended manifold: the exterior $r > r_{s}$ and the interior $r < r_{s}$ . Kruskal-Szekeres coordinates $(T, X, θ, φ)$ patch these together with two additional regions and exhibit the full four-region geometry on a single chart: an asymptotically flat exterior (region I), the black-hole interior containing the future singularity (region II), a second asymptotically flat exterior causally disconnected from the first (region III), and a "white-hole" past interior containing the past singularity (region IV). The horizons $r = r_{s}$ become the null surfaces $X = \pm T$ separating these regions. Penrose diagrams compactify the geometry by conformal rescaling, mapping all of spacetime into a finite region while preserving causal structure; the maximally extended Schwarzschild solution becomes a diamond divided into four triangular regions by the past and future horizons, with the singularities at $r = 0$ as the upper and lower edges of regions II and IV. Astrophysical black holes formed by collapse cover only regions I and II; regions III and IV are mathematical extensions present only in the eternal Schwarzschild manifold.

Eddington-Finkelstein coordinates. Intermediate between Schwarzschild and Kruskal, the ingoing Eddington-Finkelstein chart uses the advanced null coordinate $v := t + r^{*}$ with the tortoise coordinate $r^{*} := r + r_{s} lo g ∣ r / r_{s} - 1∣$ , yielding

d s^{2} = - (1 - \frac{r _{s}}{r}) d v^{2} + 2 d v d r + r^{2} d Ω^{2} .

This metric is regular across the future horizon $r = r_{s}$ (but not the past horizon) and is the standard chart for describing in-falling matter and the formation of a Schwarzschild black hole by spherical collapse. The outgoing Eddington-Finkelstein chart, using $u := t - r^{*}$ , is regular across the past horizon. Together these provide a "double cover" of the bifurcation surface in Kruskal language.

Schwarzschild interior solution. Inside an isotropic static spherical star of perfect-fluid stress-energy $T_{μν} = (ρ + p) u_{μ} u_{ν} + p g_{μν}$ , the Tolman-Oppenheimer-Volkoff (TOV) equation governs the radial pressure profile,

\frac{d p}{d r} = - \frac{G ( ρ + p ) ( m ( r ) + 4 π r ^{3} p / c ^{2} )}{c ^{2} r ^{2} ( 1 - 2 G m ( r ) / ( c ^{2} r ))},

with $m (r)$ the mass enclosed within radius $r$ , and the interior metric matches continuously onto the exterior Schwarzschild solution at the stellar surface. For a uniform-density star (the constant- $ρ$ idealisation Schwarzschild treated in his second 1916 paper) the TOV equation integrates in closed form and produces the Schwarzschild interior solution. The interior is regular if and only if the star's mass-to-radius ratio is less than $8/9$ of the critical $r_{s} / r$ ; configurations exceeding this bound are unstable and collapse.

Black-hole thermodynamics: the four laws. Schwarzschild black holes exhibit a striking analogy with thermodynamics, formalised in the Bardeen-Carter-Hawking 1973 four laws.

Zeroth law. The surface gravity $κ = 1/ (2 r_{s}) = c^{4} / (4 GM)$ is constant over the horizon. (For Kerr, $κ$ is constant over the horizon despite the geometry being not spherically symmetric — the analogue of thermodynamic equilibrium giving a uniform temperature.)

First law. $d M c^{2} = (κ c^{2} / (8 π G)) d A + Ω_{H} dJ + Φ_{H} d Q$ , where $A$ is the horizon area, $J$ is angular momentum, $Q$ is charge, $Ω_{H}$ is horizon angular velocity, $Φ_{H}$ is horizon electric potential. For Schwarzschild ( $J = Q = 0$ ), this reduces to $d M c^{2} = (κ c^{2} / (8 π G)) d A$ , with $A = 4 π r_{s}^{2} = 16 π G^{2} M^{2} / c^{4}$ .

Second law (Hawking's area theorem). The horizon area never decreases in any classical process. Mergers of two black holes produce a black hole of strictly greater area than the sum of the two original areas; this is what allows energy to be radiated as gravitational waves while still respecting the area law.

Third law. The surface gravity cannot be reduced to zero in a finite sequence of operations — the analogue of "absolute zero is unattainable." For Schwarzschild, $κ > 0$ always; reaching the extremal limit (where $κ = 0$ ) would require an infinite number of accretion steps approaching the extremal Kerr or Reissner-Nordström boundary.

Bekenstein's 1972 entropy identification $S_{BH} = k_{B} A / (4 ℓ_{P}^{2})$ — where $ℓ_{P} = ℏ G / c^{3}$ is the Planck length — and Hawking's 1974 derivation of $T_{H} = ℏ c^{3} / (8 π GM k_{B}) = ℏ κ / (2 π k_{B} c)$ as the horizon temperature complete the thermodynamic correspondence. A separate unit treats Hawking radiation directly; this unit cites the analogy and stops.

Cosmic censorship. The Schwarzschild interior singularity at $r = 0$ is concealed behind the event horizon — no observer outside the horizon can be causally influenced by the singularity. Penrose's weak cosmic censorship conjecture (1969) generalises: every physically reasonable gravitational collapse from regular initial data forms an event horizon that hides the resulting singularity. The strong form replaces "event horizon" with "Cauchy horizon" and asserts that the maximally extended Cauchy development of generic initial data has no naked singularities. Neither form is proven; counterexamples are known for fine-tuned initial data (Christodoulou 1994; Joshi-Malafarina 2011) but the conjectures remain that generic data evolve to censored singularities. The Schwarzschild solution is the cleanest example where censorship manifestly holds — the curvature singularity at $r = 0$ is causally inaccessible from the exterior region I.

Kerr and Reissner-Nordström families. Schwarzschild ( $M$ only) sits in a three-parameter family of stationary axisymmetric black-hole solutions: Reissner-Nordström ( $M, Q$ ), Kerr ( $M, J$ ), Kerr-Newman ( $M, J, Q$ ). Higher-dimensional generalisations and supersymmetric extensions feature in modern string theory but stay outside the v1 curriculum. The no-hair theorem (Israel 1967, Carter 1971, Robinson 1975) states that under reasonable global hypotheses these are the only stationary asymptotically flat vacuum / electrovacuum black-hole solutions in four dimensions; the formal statement involves uniqueness of solutions to the Einstein equations under specified asymptotic conditions plus topological assumptions. The full classification is one of the deeper results in mathematical relativity.

Connections [Master]

Curvature of a connection 03.05.09 is the mathematical apparatus used throughout this unit. The Riemann tensor $R_{σ μν}^{ρ}$ of the Levi-Civita connection on the Schwarzschild manifold is the curvature of the connection on the tangent bundle; the Ricci and Einstein tensors are its contractions, and the vacuum Einstein equation $R_{μν} = 0$ is the statement that a specific Ricci-flat-but-not-Riemann-flat curvature distribution solves the field equations.
Connection on a vector bundle 03.05.04 is the upstream unit defining the Levi-Civita connection of a Riemannian (or Lorentzian) metric as a special case. The Christoffel symbols in the proof above are connection coefficients in the coordinate frame.
Smooth manifold 03.02.01 and differential forms 03.04.02, exterior derivative 03.04.04 provide the differential-geometric foundation: the Schwarzschild manifold is a four-dimensional Lorentzian manifold, the metric is a $(0, 2)$ -tensor field, and Einstein's equations are tensor equations on it. The Kretschmann scalar $K = R_{μν ρ σ} R^{μν ρ σ}$ is a smooth function constructed from tensor contractions.
Einstein field equations (13.04.NN, pending §13 chapter 4) are this unit's immediate upstream physics dependency. The Schwarzschild metric is the unique spherically symmetric vacuum solution of those equations; the chapter on the field equations themselves and the chapter on black-hole geometries beyond Schwarzschild (Kerr, Reissner-Nordström) sit above and below this unit respectively. Until the §13.01–04 GR foundation chapters ship, this unit cites the math §03 curvature and connection units directly.
Black holes beyond Schwarzschild (13.06.NN, pending) — Reissner-Nordström charged solution, Kerr rotating solution, Kerr-Newman, and the no-hair theorem — extend the spherically symmetric story to electrovacuum and stationary axisymmetric cases. The full classification of stationary asymptotically flat black-hole solutions in four dimensions belongs there.
Hawking radiation (12.NN.NN, pending QFT chapter) uses the Schwarzschild geometry as fixed background and computes the spectrum of particle creation by a quantum field propagating on it. The Hawking temperature $T_{H} = ℏ c^{3} / (8 π GM k_{B})$ is a Schwarzschild prediction once quantum field theory is layered on; the four laws of black-hole thermodynamics cited in Advanced results acquire their thermodynamic interpretation only with $T_{H}$ identified.
Cosmological models (13.08.NN, pending) use FLRW geometries rather than Schwarzschild but draw on the same machinery: the FLRW metric is the unique spatially homogeneous and isotropic solution of the Einstein equations, just as Schwarzschild is the unique static spherically symmetric vacuum solution. Birkhoff's theorem has the spatial analogue that any spherical region of a homogeneous cosmology behaves as a separate FLRW or Schwarzschild patch depending on local matter content.
Singularity theorems (13.10.NN, pending) of Penrose 1965 and Hawking-Penrose 1970 prove that under reasonable energy conditions and global topology assumptions, gravitational collapse generically produces a singularity, generalising the conclusion drawn here from the explicit Schwarzschild solution to all spherically symmetric vacuum collapse.
Linearised GR and gravitational waves (13.07.NN, pending) — Birkhoff's theorem rules out spherically symmetric gravitational radiation, so the gravitational waves measured by LIGO are quadrupole or higher; the linearised treatment of GR around a flat or Schwarzschild background is the right setting.

Historical & philosophical context [Master]

Karl Schwarzschild submitted his exact solution to Einstein in December 1915, only weeks after Einstein had announced the final form of the field equations on 25 November 1915. Schwarzschild was serving on the Russian front; he derived the metric while under battlefield conditions, suffering from a rare and ultimately fatal skin disease, pemphigus. His first paper ^{[Schwarzschild, K. — Sitzungsberichte 1916]} gave the exterior vacuum solution; his second, published only weeks later, gave the constant-density interior solution. Schwarzschild died in May 1916, only four months after submitting the exterior solution. The original derivation imposed the additional condition $g = - 1$ (the determinant of the metric in his coordinates), an aesthetic preference of Einstein's at the time; modern derivations drop this condition and rescale coordinates to bring the metric to the form used in this unit.

The coordinate singularity at $r = r_{s}$ was a source of decades of confusion. Einstein himself believed for a time that $r = r_{s}$ represented a true physical boundary and even published in 1939 an argument that quasi-static configurations could not be compressed past their Schwarzschild radius. The understanding that $r = r_{s}$ is a coordinate artifact crystallised through the work of Lemaître 1933 (introducing the freely-falling Lemaître coordinates), Synge 1950, Finkelstein 1958 (the ingoing Eddington-Finkelstein chart), and most decisively Kruskal 1960 ^{[Kruskal 1960]} and independently Szekeres 1960 ^{[Szekeres 1960]}, whose maximal-extension coordinates exhibited the full four-region geometry on a single non-singular chart. The Penrose diagram, due to Penrose 1964, compactified this further into the iconic causal-diamond representation.

Birkhoff's theorem was published in 1923 by George Birkhoff ^{[Birkhoff 1923 §43]}, though Jebsen had proved a version in 1921 that went largely unnoticed. The theorem implies that a pulsating spherical star emits no gravitational radiation outside itself — gravitational radiation requires at least a quadrupole — and was used by Oppenheimer and Snyder 1939 in their proof that a sufficiently massive collapsing dust ball forms a Schwarzschild black hole. The physical reality of black holes was widely doubted until Penrose 1965 proved (using topological methods, the prototypical singularity theorem) that gravitational collapse generically produces a singularity inside an event horizon, independent of any symmetry assumption. The 1971 discovery of Cygnus X-1, the 1995 establishment via stellar motions of a supermassive object at the centre of our galaxy, and the 2019 imaging of the M87 horizon by the Event Horizon Telescope completed the transition from mathematical curiosity to observed astrophysics.

The Schwarzschild solution remains the simplest model in which the central conceptual puzzles of general relativity become concrete: the distinction between coordinate and curvature singularities; the meaning of "horizon" as a global rather than local feature of the geometry; the breakdown of static coordinates inside the horizon and the swap of timelike and spacelike character of $t$ and $r$ ; the use of invariant scalars such as the Kretschmann scalar to diagnose genuine geometric pathology. Wald 1984 ^{[Wald 1984]} is the canonical reference at master level; Misner-Thorne-Wheeler 1973 ^{[MTW 1973]} provides the encyclopaedic treatment.

Bibliography [Master]

Primary literature:

Schwarzschild, K., "Über das Gravitationsfeld eines Massenpunktes nach der Einsteinschen Theorie", Sitzungsberichte Preuß. Akad. Wiss. Berlin (1916), 189–196. [Originator paper.]
Schwarzschild, K., "Über das Gravitationsfeld einer Kugel aus inkompressibler Flüssigkeit", Sitzungsberichte (1916), 424–434. [Interior solution.]
Einstein, A., "Die Feldgleichungen der Gravitation", Sitzungsberichte (1915), 844–847.
Birkhoff, G. D., Relativity and Modern Physics (Harvard, 1923). [Birkhoff's theorem §43.]
Jebsen, J. T., Ark. Mat. Astron. Fys. 15 (1921), 1–9. [1921 precursor of Birkhoff.]
Lemaître, G., "L'univers en expansion", Ann. Soc. Sci. Bruxelles A53 (1933), 51–85.
Oppenheimer, J. R. & Snyder, H., "On continued gravitational contraction", Phys. Rev. 56 (1939), 455–459.
Finkelstein, D., "Past-future asymmetry of the gravitational field of a point particle", Phys. Rev. 110 (1958), 965–967.
Kruskal, M. D., "Maximal extension of Schwarzschild metric", Phys. Rev. 119 (1960), 1743–1745.
Szekeres, G., "On the singularities of a Riemannian manifold", Publ. Math. Debrecen 7 (1960), 285–301.
Penrose, R., "Gravitational collapse and space-time singularities", Phys. Rev. Lett. 14 (1965), 57–59.
Bardeen, J. M., Carter, B. & Hawking, S. W., "The four laws of black hole mechanics", Commun. Math. Phys. 31 (1973), 161–170.
Bekenstein, J. D., "Black holes and entropy", Phys. Rev. D 7 (1973), 2333–2346.
Hawking, S. W., "Particle creation by black holes", Commun. Math. Phys. 43 (1975), 199–220.

Modern references and pedagogical anchors:

Misner, C. W., Thorne, K. S. & Wheeler, J. A., Gravitation (Freeman, 1973). [Need to source — encyclopaedic GR reference.]
Weinberg, S., Gravitation and Cosmology (Wiley, 1972). [Need to source.]
Wald, R. M., General Relativity (University of Chicago Press, 1984). [Need to source — modern apex anchor at master tier.]
Hartle, J. B., Gravity: An Introduction to Einstein's General Relativity (Addison-Wesley, 2003). [Need to source.]
Schutz, B. F., A First Course in General Relativity, 2nd ed. (Cambridge, 2009). [Need to source.]
Carroll, S. M., Spacetime and Geometry: An Introduction to General Relativity (Addison-Wesley, 2004). [Need to source.]
Tong, D., General Relativity (DAMTP Cambridge lecture notes, §1 The Schwarzschild metric and §6 Black Holes).
Susskind, L., General Relativity: The Theoretical Minimum (Basic Books, lectures series via theoreticalminimum.com).

Wave 1 physics seed unit, agent-drafted 2026-05-18 (per docs/plans/PHYSICS_PLAN.md §5 — agent-drafted with LM-editorial pass, second in production order after manual pattern-setter 09.04.02). All hooks_out targets are proposed per Wave 1 expectation; no phil seed unit yet exists to receive confirmed promotion. Status remains draft pending Tyler's review and an external GR reviewer per PHYSICS_PLAN §6.

Prerequisites

03.02.01
03.04.02
03.04.04
03.05.04
03.05.09

Tier anchors

beginner: Susskind — General Relativity: Theoretical Minimum (selected lectures); Hartle — Gravity (intro chapters)
intermediate: Schutz — A First Course in General Relativity Ch. 10–11; Hartle — Gravity Ch. 9; Carroll — Spacetime and Geometry Ch. 5
master: Wald — General Relativity Ch. 6; Misner-Thorne-Wheeler — Gravitation §31; Weinberg — Gravitation and Cosmology Ch. 8

References

tong
raw/pdfs/gr/gr.pdf · §1 The Schwarzschild metric, planetary orbits, perihelion precession, light bending; §6 Black Holes — Schwarzschild solution, Birkhoff's theorem, Eddington-Finkelstein, Kruskal and Penrose diagrams, weak cosmic censorship
TODO_REF
Schwarzschild, K., 'Über das Gravitationsfeld eines Massenpunktes nach der Einsteinschen Theorie' (1916) · Sitzungsberichte Preuß. Akad. Wiss. Berlin, 189–196; the originating paper
TODO_REF
Schutz, B. F. — A First Course in General Relativity, 2nd ed. (Cambridge, 2009) · Ch. 10 (Schwarzschild geometry, orbits, redshift); Ch. 11 (light bending, perihelion precession)
TODO_REF
Hartle, J. B. — Gravity: An Introduction to Einstein's General Relativity (Addison-Wesley, 2003) · Ch. 9 (Schwarzschild geometry); Ch. 12 (gravitational collapse, event horizons)
TODO_REF
Carroll, S. M. — Spacetime and Geometry: An Introduction to General Relativity (Addison-Wesley, 2004) · Ch. 5 (Schwarzschild solution, orbits, perihelion precession, light bending, Kruskal extension)
TODO_REF
Wald, R. M. — General Relativity (University of Chicago Press, 1984) · Ch. 6 (Schwarzschild solution, Birkhoff's theorem, maximal Kruskal extension); Ch. 12 (singularity theorems, cosmic censorship)
TODO_REF
Misner, C. W., Thorne, K. S. & Wheeler, J. A. — Gravitation (Freeman, 1973) · §31 Schwarzschild geometry; §32 gravitational collapse and Schwarzschild black holes; §25 perihelion precession; §40 thermodynamics of black holes
TODO_REF
Weinberg, S. — Gravitation and Cosmology (Wiley, 1972) · Ch. 8 (Schwarzschild solution, classical tests of general relativity); Ch. 11 (cosmological models)
TODO_REF
Susskind, L. — General Relativity: The Theoretical Minimum (Basic Books, forthcoming/lectures) · Schwarzschild lectures — equivalence principle, time dilation, event horizon, Kruskal coordinates (Lecture series transcripts available via theoreticalminimum.com)
TODO_REF
Birkhoff, G. D. — Relativity and Modern Physics (Harvard, 1923) · §43; the originating statement of Birkhoff's theorem (vacuum spherically symmetric ⇒ static)
TODO_REF
Kruskal, M. D., 'Maximal extension of Schwarzschild metric', Phys. Rev. 119 (1960), 1743–1745 · the introduction of Kruskal-Szekeres coordinates
TODO_REF
Szekeres, G., 'On the singularities of a Riemannian manifold', Publ. Math. Debrecen 7 (1960), 285–301 · the same maximal-extension coordinates, independent discovery

Reviewer

Tyler (pending external general-relativity reviewer per PHYSICS_PLAN §6 — Green at GR foundations; Yellow at master singularity / maximal-extension depth)

Estimated time

beginner: 15m
intermediate: 35m
master: 55m