The Vacuum Field Equations

The vacuum field equations are what Einstein's theory says about a region of spacetime containing no matter and no non-gravitational energy — the stress-energy tensor $T_{\mu\nu}$ is zero. Drop the source in $G_{\mu\nu}+\Lambda g_{\mu\nu}=8\pi G\,T_{\mu\nu}/c^4$ and, for $\Lambda=0$ , a single line of trace algebra collapses the system to the astonishingly compact statement $R_{\mu\nu}=0$ : spacetime is Ricci-flat. It is arguably the most important equation in the subject, because almost everything we observe about gravity — the orbit of Mercury, the bending of starlight, the ringing of merging black holes, the strain LIGO measures — happens in the empty space outside the sources, where this equation reigns. Its deceptive simplicity is the whole lesson. The Ricci tensor is only the trace part of the Riemann curvature tensor; in four dimensions Riemann has 20 independent components, of which 10 sit in $R_{\mu\nu}$ and 10 in the trace-free Weyl tensor $C_{\mu\nu\rho\sigma}$ . Setting $R_{\mu\nu}=0$ annihilates the first ten and leaves Weyl entirely free. Vacuum is therefore not empty of geometry: it is curved spacetime in which all curvature has migrated into Weyl — the piece that stretches tides and carries gravitational waves at the speed of light. Ricci-flat is emphatically not flat. And it is no toy. Source-free though it is, $R_{\mu\nu}=0$ is ten coupled nonlinear second-order equations for the metric, cut to six dynamical equations by the four constraints of the contracted Bianchi identity. Its solutions are the crown jewels of relativity: the Schwarzschild exterior, the Kerr black hole, the plane gravitational waves, and — with $\Lambda$ restored — the de Sitter and anti-de Sitter universes.

Key takeaways

The vacuum field equations $R_{\mu\nu}=0$ govern every spacetime region where $T_{\mu\nu}=0$ ; they are the source-free case of Einstein's equations and describe all exterior and radiative gravity.
The full Einstein equation $G_{\mu\nu}=0$ collapses to $R_{\mu\nu}=0$ because taking the trace in four dimensions forces the Ricci scalar $R=0$ , so the $-\tfrac12 R g_{\mu\nu}$ term simply disappears.
Ricci-flat is not flat: the Riemann tensor can be large through its Weyl part. Schwarzschild has $R_{\mu\nu}=0$ yet a Kretschmann scalar $48G^2M^2/c^4r^6\ne0$ — real tidal curvature with no local matter.
All classical exterior solutions are vacuum solutions: Schwarzschild and Kerr black holes, and the transverse-traceless gravitational waves detected by LIGO, which obey $\Box\bar h_{\mu\nu}=0$ .
With a cosmological constant the equation becomes $R_{\mu\nu}=\Lambda g_{\mu\nu}$ , the Einstein-space condition, whose maximally symmetric solutions are de Sitter ( $\Lambda>0$ ) and anti-de Sitter ( $\Lambda<0$ ).
In $n\le3$ dimensions the Weyl tensor vanishes identically, so $R_{\mu\nu}=0$ forces local flatness — genuine free gravitational dynamics needs $n\ge4$ .
Key idea: in vacuum the trace of Einstein's equation forces $R=0$ , so $G_{\mu\nu}=0$ collapses to $R_{\mu\nu}=0$ — but Ricci-flat is not flat: the Weyl tensor survives and carries tidal curvature and gravitational waves.

Where this lives today

The vacuum equation is the working engine of modern gravitational physics. Numerical relativity solves $R_{\mu\nu}=0$ (in its $3+1$ evolution form) on supercomputers to predict the waveform of two black holes spiralling together; every template LIGO, Virgo, and KAGRA use is a numerical solution of the vacuum equations, and the first detection GW150914 in 2015 confirmed the transverse-traceless radiation those equations demand. The Event Horizon Telescope images of M87\ (2019) and Sagittarius A\ (2022) show the photon ring produced when light orbits in the pure vacuum Weyl geometry outside a Kerr black hole — a photograph, in effect, of a solution to $R_{\mu\nu}=0$ . Precision solar-system tests — Mercury's perihelion advance, the Shapiro delay measured by Cassini to one part in $10^5$ , the frame-dragging seen by Gravity Probe B — are all computations in the Schwarzschild or Kerr vacuum exterior, needing no model of the interior. And anti-de Sitter space, the negative- $\Lambda$ vacuum solution of $R_{\mu\nu}=\Lambda g_{\mu\nu}$ , is the stage on which the entire AdS/CFT correspondence is built.

The physical picture

Float far from every star, where no force acts on a test mass. Locally nothing happens — a single particle drifts in a straight worldline. But release two nearby particles and they can still creep together or apart: that residual relative acceleration is tidal curvature, and in vacuum it is pure Weyl. The equation $R_{\mu\nu}=0$ says only that the volume of a small cloud of such particles is unchanged to second order; it says nothing about the cloud's shape, which is free to be sheared. Volume-preserving distortion is the geometric fingerprint of empty-space gravity, and the first figure sets Ricci (volume) against Weyl (shape) side by side.

Figure

Matter makes the Ricci curvature converge a ball of freely falling test particles, shrinking its volume (left). In vacuum the Ricci tensor vanishes so the volume is preserved, yet the trace-free Weyl curvature still shears the ball into an ellipse (right). In four dimensions the Riemann tensor has 20 independent components = 10 Ricci + 10 Weyl, and setting R_μν = 0 removes only the 10 Ricci ones

The contrast with Newton could not be sharper. Newtonian gravity in empty space is a single equation, Laplace's $\nabla^2\Phi=0$ , admitting no waves at all — the potential adjusts instantaneously. Einstein's vacuum equations are ten nonlinear equations whose linearization is a wave equation, so gravity in empty space is genuinely dynamical: it ripples, propagates, and carries energy. And dimension decides whether any of this can happen — in three dimensions or fewer the Weyl tensor is identically zero, so $R_{\mu\nu}=0$ drags $R_{\mu\nu\rho\sigma}$ to zero and vacuum is forced flat; only at four dimensions does Weyl switch on. The second figure makes the slogan quantitative: the curvature invariant of the Schwarzschild vacuum is nonzero at every radius even though $R_{\mu\nu}=0$ throughout.

Figure

The Kretschmann curvature scalar K = Rαβγδ R^αβγδ = 48G²M²/c⁴r⁶ outside a Schwarzschild black hole. Although Rμν = 0 in this entire vacuum region, K is nonzero at every radius and decays as r⁻⁶: for a one-solar-mass hole it is 1.58×10⁻¹³ m⁻⁴ at the horizon r_s = 2.95 km and diverges only as r → 0 — the direct proof that Ricci-flat is not flat

The core equations

The vacuum field equation is a special case, not a new law: it is Einstein's equation with the right-hand side deleted. In its most useful form it says the Ricci tensor is zero, so a small ball of dust neither converges nor diverges in volume.

R_{\mu\nu}=0 \qquad (1)

where: $R_{\mu\nu}$ — the Ricci tensor, the contraction $R^{\alpha}{}_{\mu\alpha\nu}$ of the Riemann tensor; $\mu,\nu$ — spacetime indices over $0,1,2,3$ . Reading: at every event in the vacuum region all ten components of the symmetric tensor $R_{\mu\nu}$ vanish — a Ricci-flat spacetime. The Einstein-tensor form looks different but is identical in vacuum. This equivalence is not obvious and is the content of the first derivation below; the trace of the equation forces the Ricci scalar to vanish, which erases the second term.

G_{\mu\nu}=R_{\mu\nu}-\tfrac12 R\,g_{\mu\nu}=0 \qquad (2)

where: $G_{\mu\nu}$ — the Einstein tensor, automatically divergence-free by the contracted Bianchi identity; $R=g^{\mu\nu}R_{\mu\nu}$ — the Ricci scalar; $g_{\mu\nu}$ — the metric tensor. Reading: setting $G_{\mu\nu}=0$ and $R_{\mu\nu}=0$ are the same condition, because in vacuum $R=0$ . Restore the cosmological constant and the source-free equation no longer demands Ricci-flatness but proportionality of the Ricci tensor to the metric — the definition of an Einstein space.

R_{\mu\nu}=\Lambda g_{\mu\nu} \qquad (3)

where: $\Lambda$ — the cosmological constant, with dimensions of inverse length squared; a positive $\Lambda$ gives de Sitter space, a negative $\Lambda$ anti-de Sitter. Reading: the trace of this equation gives $R=4\Lambda$ (not zero), so the scalar curvature of empty space is set directly by $\Lambda$ . The reason Ricci-flat is not flat lives in the algebraic split of the Riemann tensor. In four dimensions Riemann decomposes into a Ricci part and a totally trace-free Weyl part.

R_{\mu\nu\rho\sigma}=C_{\mu\nu\rho\sigma}+\left(g_{\mu[\rho}R_{\sigma]\nu}-g_{\nu[\rho}R_{\sigma]\mu}\right)-\tfrac13 R\,g_{\mu[\rho}g_{\sigma]\nu} \qquad (4)

where: $C_{\mu\nu\rho\sigma}$ — the Weyl conformal tensor, the trace-free part of Riemann; brackets $[\;]$ — antisymmetrization with weight $\tfrac12$ . Reading: impose $R_{\mu\nu}=0$ and $R=0$ and every term but the first drops, leaving $R_{\mu\nu\rho\sigma}=C_{\mu\nu\rho\sigma}$ — in vacuum, all curvature is Weyl. That $R_{\mu\nu}=0$ is ten equations but only six of them are independent is guaranteed by a geometric identity, not by the physics. The contracted Bianchi identity holds for any metric whatsoever.

\nabla^{\mu}G_{\mu\nu}=0 \qquad (5)

where: $\nabla^{\mu}$ — the metric-compatible covariant derivative with the index raised by $g^{\mu\nu}$ . Reading: these four identities relate the ten components of $G_{\mu\nu}=0$ , leaving six dynamical equations — matching the freedom to choose four coordinate functions (general covariance). The single number that proves Schwarzschild is curved is the Kretschmann scalar, the simplest quadratic curvature invariant; it is coordinate-independent, so its non-vanishing cannot be argued away as a coordinate artifact.

R_{\mu\nu\rho\sigma}R^{\mu\nu\rho\sigma}=\frac{48\,G^2M^2}{c^4 r^6} \qquad (6)

where: $M$ — mass of the central body; $r$ — areal (Schwarzschild) radial coordinate; $G,c$ — Newton's constant and the speed of light. Reading: nonzero for every finite $r>0$ and diverging as $r\to0$ , marking a true singularity at the centre while the horizon at $r_s=2GM/c^2$ is perfectly regular. Finally, linearizing $R_{\mu\nu}=0$ about flat space in the Lorenz gauge turns the vacuum equation into a wave equation — the mathematical birth certificate of the gravitational wave.

\Box\,\bar h_{\mu\nu}=0,\qquad \partial^{\mu}\bar h_{\mu\nu}=0 \qquad (7)

where: $\bar h_{\mu\nu}=h_{\mu\nu}-\tfrac12\eta_{\mu\nu}h$ — the trace-reversed perturbation; $\Box=\eta^{\mu\nu}\partial_\mu\partial_\nu$ — the flat-space d'Alembertian; $\eta_{\mu\nu}$ — the Minkowski metric. Reading: a massless wave equation, so vacuum perturbations propagate at $c$ with two transverse-traceless polarizations.

Derivation AWhy the Einstein equation collapses to Ricci-flatness in vacuum

The goal is to prove the equivalence quoted in equations (1) and (2): in a source-free region the full Einstein equation $G_{\mu\nu}=0$ is not merely implied by, but logically identical to, the Ricci-flat condition $R_{\mu\nu}=0$ . The argument is the cleanest single line in the subject — a one-step trace contraction — but it hides a real subtlety about dimension, which we keep explicit by working in general $n$ before specializing to four, since the equivalence actually fails in two dimensions.

Step 1. Set the source to zero. In a vacuum region $T_{\mu\nu}=0$ , so with $\Lambda=0$ the field equation reads $R_{\mu\nu}-\tfrac12 R\,g_{\mu\nu}=0$ . Why: this is the definition of a vacuum region — we are asking what Einstein's equation demands where there is nothing to gravitate.

Step 2. Contract with the inverse metric $g^{\mu\nu}$ . Using $g^{\mu\nu}R_{\mu\nu}=R$ and $g^{\mu\nu}g_{\mu\nu}=n$ (the trace of the metric equals the spacetime dimension) gives $R-\tfrac12 R\,n=\left(1-\tfrac{n}{2}\right)R=0$ . Why: taking the trace turns a tensor equation into a single scalar equation for $R$ , which is all we need to eliminate the second term.

Step 3. Solve for the scalar curvature. For any $n\ne2$ the factor $\left(1-\tfrac{n}{2}\right)$ is nonzero, so $R=0$ ; in four dimensions this is simply $R-2R=-R=0$ . At $n=2$ the factor vanishes and the argument breaks down — indeed in two dimensions $G_{\mu\nu}\equiv0$ identically and the equation carries no content at all. Why: this is the dimensional subtlety — the collapse to Ricci-flatness is a genuine consequence of the field equation, but only away from two dimensions.

Step 4. Substitute $R=0$ back into Step 1. The offending term $-\tfrac12 R g_{\mu\nu}$ becomes $-\tfrac12(0)g_{\mu\nu}=0$ , leaving exactly $R_{\mu\nu}=0$ . The two forms coincide. Why: this closes the loop — $G_{\mu\nu}=0 \Rightarrow R=0 \Rightarrow R_{\mu\nu}=0$ , and conversely $R_{\mu\nu}=0 \Rightarrow R=0 \Rightarrow G_{\mu\nu}=0$ , so the implication runs both ways. *Verified: the trace step uses $g^{\mu\nu}g_{\mu\nu}=n$ and $g^{\mu\nu}R_{\mu\nu}=R$ ; the four-dimensional result $R=0$ and the $n=2$ exception are standard (Carroll §4.3, Wald §4.3).*

Go deeper · Derivation B · 1 minSchwarzschild as a vacuum solution and the curvature it hides

Derivation BSchwarzschild as a vacuum solution and the curvature it hides

The goal is the canonical demonstration that vacuum is not flat: to show that the Schwarzschild metric solves $R_{\mu\nu}=0$ everywhere outside the source, yet possesses a genuine, coordinate-invariant curvature that grows without bound toward the centre. We take the static, spherically symmetric ansatz, note that Ricci-flatness fixes it completely, then compute the Kretschmann scalar to expose the curvature the Ricci tensor is blind to.

Step 1. Impose the static, spherically symmetric ansatz $\mathrm{d}s^2=-A(r)c^2\mathrm{d}t^2+B(r)\mathrm{d}r^2+r^2\mathrm{d}\Omega^2$ and demand $R_{\mu\nu}=0$ . The $tt$ and $rr$ equations force $A(r)B(r)=\text{const}$ , and regularity at infinity fixes it to one, so $B=1/A$ ; the remaining equation makes $r A(r)$ linear in $r$ . Why: Ricci-flatness determines the two free functions almost completely, leaving only an integration constant.

Step 2. Fix the integration constant by matching the weak-field Newtonian limit $g_{tt}\to-(1+2\Phi/c^2)$ with $\Phi=-GM/r$ , giving $A(r)=1-\dfrac{2GM}{c^2 r}$ . The result is the Schwarzschild line element, $\mathrm{d}s^2=-\left(1-\tfrac{2GM}{c^2r}\right)c^2\mathrm{d}t^2+\left(1-\tfrac{2GM}{c^2r}\right)^{-1}\mathrm{d}r^2+r^2\mathrm{d}\Omega^2$ . Why: the vacuum equation gives the form, but the constant of integration must be identified with the physical mass through the Newtonian correspondence.

Step 3. Confirm Ricci-flatness holds everywhere outside the origin: direct computation of the Christoffel symbols and their contraction gives $R_{\mu\nu}=0$ for all $r>0$ . By Birkhoff's theorem this solution is unique and necessarily static, even if the source pulsates radially. Why: this verifies the metric genuinely lives in the vacuum sector, so anything curved about it is curvature without a local source.

Step 4. Compute the invariant. The Kretschmann scalar is $R_{\mu\nu\rho\sigma}R^{\mu\nu\rho\sigma}=48G^2M^2/c^4r^6$ , manifestly nonzero and finite at the horizon $r_s=2GM/c^2$ but diverging as $r\to0$ . Since $R_{\mu\nu}=0$ , all of this curvature resides in the Weyl tensor. Why: a coordinate scalar cannot be gauged away, so its non-vanishing is the airtight proof that Ricci-flat spacetime is really curved — the tidal forces near a black hole are Weyl curvature in empty space. *Verified: the Kretschmann value $48G^2M^2/c^4r^6$ is the standard textbook result (MTW §31.2, Wald §6.4); Birkhoff's theorem guarantees uniqueness and staticity (Hartle ch. 21).*

Go deeper · Derivation C · 1 minLinearizing the vacuum equation into a gravitational wave

Derivation CLinearizing the vacuum equation into a gravitational wave

The goal is to show that empty-space gravity is radiative: linearizing $R_{\mu\nu}=0$ about Minkowski space in a suitable gauge produces a source-free wave equation whose solutions travel at $c$ with two physical polarizations. This is the foundation of gravitational-wave physics and the sharpest refutation of the Newtonian intuition that vacuum gravity is static — the same equation gives Laplace's silent potential in the Newtonian limit and propagating radiation in the relativistic one.

Step 1. Split the metric as $g_{\mu\nu}=\eta_{\mu\nu}+h_{\mu\nu}$ with $|h_{\mu\nu}|\ll1$ and keep only first order. The linearized Ricci tensor is $R^{(1)}_{\mu\nu}=-\tfrac12\Box h_{\mu\nu}-\tfrac12\partial_\mu\partial_\nu h+\partial_{(\mu}\partial^\alpha h_{\nu)\alpha}$ , where $h=\eta^{\mu\nu}h_{\mu\nu}$ . Why: gravitational waves are small ripples, so the leading-order expansion captures their dynamics while keeping the equations linear and solvable.

Step 2. Trace-reverse the perturbation, $\bar h_{\mu\nu}=h_{\mu\nu}-\tfrac12\eta_{\mu\nu}h$ , and impose the Lorenz (harmonic) gauge $\partial^\mu\bar h_{\mu\nu}=0$ . This gauge annihilates the derivative cross-terms in $R^{(1)}_{\mu\nu}$ . Why: general covariance lets us choose coordinates freely, and this particular choice is precisely the one that decouples the equations into a clean wave operator.

Step 3. With the gauge imposed, the vacuum equation $R^{(1)}_{\mu\nu}=0$ becomes $\Box\bar h_{\mu\nu}=0$ — a massless wave equation for each component. Perturbations therefore propagate through empty space at exactly the speed of light. Why: the appearance of the d'Alembertian $\Box$ with no source is the mathematical statement that gravity radiates in vacuum, unlike Newton's instantaneous potential.

Step 4. Solve with a plane wave $\bar h_{\mu\nu}=A_{\mu\nu}\exp(ik_\alpha x^\alpha)$ ; the wave equation forces $k_\alpha k^\alpha=0$ (null propagation), and residual gauge freedom reduces the polarization tensor to two independent transverse-traceless amplitudes, the $+$ and $\times$ modes. Why: these two polarizations are the physical gravitational-wave degrees of freedom LIGO measures — they exist entirely within $R_{\mu\nu}=0$ , pure vacuum dynamics. *Verified: the linearized field equations and their Lorenz-gauge reduction to $\Box\bar h_{\mu\nu}=0$ with two transverse-traceless polarizations are standard (Carroll §7, Schutz §9, MTW §35).*

Limiting cases

The single equation $R_{\mu\nu}=0$ specializes and generalizes along several axes, each illuminating a different corner of gravitation.

Case	Result	Meaning
Zero cosmological constant	$R_{\mu\nu}=0$	standard vacuum (Ricci-flat) — Schwarzschild, Kerr, and freely propagating gravitational waves
With cosmological constant	$R_{\mu\nu}=\Lambda g_{\mu\nu}$	Einstein space; de Sitter for $\Lambda>0$ , anti-de Sitter for $\Lambda<0$ , with $R=4\Lambda$
Weak-field / linearized	$\Box\,\bar h_{\mu\nu}=0$	in Lorenz gauge, vacuum perturbations obey the source-free wave equation
Static Newtonian limit	$\nabla^2\Phi=0$	for slow, weak, static fields $R_{00}=0$ reduces to Laplace's equation
Low dimension $n\le3$	$R_{\mu\nu\rho\sigma}=0$	the Weyl tensor vanishes identically, so vacuum is locally flat — no free gravitons

Common trapRicci-flat means flat

The most common beginner error is to read $R_{\mu\nu}=0$ as "no curvature." It is not. Ricci-flatness is strictly weaker than flatness: the Riemann tensor keeps its entire trace-free Weyl part, which can be arbitrarily large. Schwarzschild is Ricci-flat at every point outside $r=0$ , yet its Kretschmann scalar $R_{\mu\nu\rho\sigma}R^{\mu\nu\rho\sigma}=48G^2M^2/(c^4r^6)$ is manifestly nonzero and diverges at the centre. A black hole's tidal forces — the thing that spaghettifies an infalling astronaut — are pure vacuum curvature. "Vacuum" is a statement about the source $T_{\mu\nu}$ ; "flat" is a statement about the geometry $R_{\mu\nu\rho\sigma}$ , and confusing them throws away all of black-hole and gravitational-wave physics in one stroke.

Worked examples

1 · Tidal curvature at a black-hole horizon (fully worked)

The tidal field that stretches an infalling body is set by the Weyl curvature of the vacuum, whose scale near a Schwarzschild hole is $\mathcal{R}\sim2GM/r^3$ (the radial geodesic-deviation "tide"). Evaluate it at the horizon $r_s=2GM/c^2$ for (a) a one-solar-mass black hole and (b) a supermassive hole of $10^9\,M_\odot$ , and say what an astronaut feels. Use $G=6.674\times10^{-11}$ , $c=2.998\times10^8$ , $M_\odot=1.989\times10^{30}\,\mathrm{kg}$ .

Step 1. Reduce the tidal scale at the horizon to a clean form. Substituting $r=r_s=2GM/c^2$ into $2GM/r^3$ gives $\mathcal{R}(r_s)=\dfrac{2GM}{(2GM/c^2)^3}=\dfrac{c^6}{4G^2M^2}$ . The tide at the horizon therefore scales as $M^{-2}$ — bigger holes have gentler horizons.

Step 2. Solar-mass case. The horizon radius is $r_s=2GM_\odot/c^2=2.95\times10^3\,\mathrm{m}\approx3\,\mathrm{km}$ , and $\mathcal{R}(r_s)=c^6/(4G^2M_\odot^2)=1.03\times10^{10}\ \mathrm{s^{-2}}$ . Across a $2\,\mathrm{m}$ astronaut the differential (head-to-foot) acceleration is $\Delta g\approx\mathcal{R}\cdot\Delta\ell=(1.03\times10^{10})(2)\approx\mathbf{2.1\times10^{10}\ m/s^2}$ , about $2\times10^{9}$ times Earth gravity. Fatal spaghettification well outside the horizon.

Step 3. Supermassive case. Raising the mass by $10^9$ lowers $\mathcal{R}$ by $(10^9)^2=10^{18}$ , so at the horizon $\mathcal{R}(r_s)=1.03\times10^{10}/10^{18}=1.03\times10^{-8}\ \mathrm{s^{-2}}$ , and $\Delta g\approx2\times10^{-8}\ \mathrm{m/s^2}$ — utterly imperceptible. The horizon now sits at $r_s\approx20\ \mathrm{AU}$ , larger than the orbit of Uranus. An astronaut crosses the horizon of a $10^9\,M_\odot$ hole completely unharmed, feeling nothing locally even though $R_{\mu\nu}=0$ and the geometry is pure Weyl.

Step 4. The lesson. Both horizons are vacuum ( $R_{\mu\nu}=0$ ); the difference is entirely Weyl curvature, tracked by the Kretschmann scalar $K(r_s)=3c^8/4G^4M^4=1.58\times10^{-13}\ \mathrm{m^{-4}}$ for the solar-mass hole. Vacuum can be lethally or imperceptibly curved, and the source-free equation alone does not tell you which — the Weyl tensor does.

2 · The de Sitter radius from the observed cosmological constant

With a cosmological constant the vacuum equation is $R_{\mu\nu}=\Lambda g_{\mu\nu}$ , and the maximally symmetric empty solution for $\Lambda>0$ is de Sitter space, a spacetime of constant curvature radius $\ell=\sqrt{3/\Lambda}$ . Given the measured value $\Lambda\approx1.1\times10^{-52}\ \mathrm{m^{-2}}$ , find the scalar curvature $R$ of empty accelerating space and the de Sitter radius.

Step 1. Scalar curvature. Taking the trace of $R_{\mu\nu}=\Lambda g_{\mu\nu}$ in four dimensions gives $R=g^{\mu\nu}R_{\mu\nu}=4\Lambda$ , so $R=4(1.1\times10^{-52})=\mathbf{4.4\times10^{-52}\ m^{-2}}$ . Empty space is not flat here — it carries a fixed, uniform scalar curvature set entirely by $\Lambda$ .

Step 2. Curvature radius. De Sitter space obeys $\ell=\sqrt{3/\Lambda}=\sqrt{3/(1.1\times10^{-52})}=\sqrt{2.7\times10^{52}}=\mathbf{1.65\times10^{26}\ m}$ . Converting, $1.65\times10^{26}/(9.46\times10^{15})\approx\mathbf{1.7\times10^{10}\ light\text{-}years}$ — roughly 17 billion light-years, comparable to the Hubble radius.

Step 3. Interpretation. This is a genuine vacuum solution — no matter, no radiation, only the cosmological term — yet an Einstein space with $R_{\mu\nu}\propto g_{\mu\nu}\ne0$ that accelerates apart exponentially. The observed dark-energy-dominated universe is asymptotically approaching this empty de Sitter geometry.

Physics of the portrait

The vacuum equation was written down by Einstein in 1915, but the person the equation is really about is the one who first solved it — while serving in an artillery unit on the Russian front, months before his death.

Origins · 1 minKarl Schwarzschild and how this was discovered

Karl Schwarzschild

1873–1916 · the first exact solution of the vacuum field equations

Karl Schwarzschild was already a leading German astrophysicist — director of the Potsdam Observatory, a pioneer of radiative transfer and stellar photometry — when the First World War broke out and he, at forty, volunteered for the army. Stationed on the Eastern Front computing artillery trajectories, he read Einstein's newly published field equations and, within weeks, did what Einstein himself thought might be impossible: he found an exact solution. In two short papers communicated through Einstein to the Prussian Academy in early 1916, Schwarzschild solved $R_{\mu\nu}=0$ for the static spherically symmetric case, producing the metric that now bears his name — the geometry outside any non-rotating star, and the first mathematical model of what would later be called a black hole. Einstein, who had expected only approximate solutions, replied that he "had not expected that the exact solution to the problem could be formulated so simply." From the ten components of $R_{\mu\nu}=0$ , symmetry distils a single function $1-2GM/c^2r$ that carries all of the exterior gravity of the Sun, the perihelion precession of Mercury, and the bending of starlight. Schwarzschild contracted pemphigus in the trenches and died in May 1916, months after his solution was read aloud in Berlin — never seeing the event horizon, the singularity, or the tidal Weyl curvature of empty space that all lay latent in the vacuum equation he was the first to conquer.

History

1915

— Einstein presents the final field equations; in vacuum they read R_μν = 0

1916

— Schwarzschild derives the first exact vacuum solution from the Eastern Front

1918

— Weyl introduces the conformal curvature tensor, the trace-free part left in vacuum

1923

— Birkhoff proves the spherically symmetric vacuum exterior must be static

1963

— Kerr finds the rotating black-hole vacuum solution

2015

— LIGO records GW150914, curvature propagating through empty space

Going further

Texts. Misner, Thorne & Wheeler, Gravitation, §13.1, §17.4, §31.2 · Wald, General Relativity, §4.3, §6.1, §6.4 · Carroll, Spacetime and Geometry, §4.3, §5.2, §7 · Hartle, Gravity, ch. 21 · Schutz, A First Course in General Relativity, §8.1, §9.

Provenance. Every result here is cross-checked against the standard texts. A verifier should confirm: (1) the trace argument with $g^{\mu\nu}g_{\mu\nu}=n$ giving $R=0$ for $n\ne2$ and the $n=2$ exception (Carroll §4.3, Wald §4.3); (2) the Schwarzschild Kretschmann scalar $48G^2M^2/c^4r^6$ (MTW §31.2), its horizon value $1.58\times10^{-13}\ \mathrm{m^{-4}}$ for one solar mass, and the horizon tide $c^6/4G^2M^2$ ; (3) the cosmological-constant trace $R=4\Lambda$ and de Sitter radius $\ell=\sqrt{3/\Lambda}=1.65\times10^{26}\ \mathrm m$ for $\Lambda=1.1\times10^{-52}\ \mathrm{m^{-2}}$ ; (4) the linearized reduction to $\Box\bar h_{\mu\nu}=0$ in Lorenz gauge with two transverse-traceless polarizations (Carroll §7, Schutz §9).

Builds on. The Einstein Field Equations · The Einstein Tensor · The Stress-Energy Tensor · The Einstein-Hilbert Action. Leads to. The Cosmological Constant · The Weak-Field Approximation · The Newtonian Limit · Variational Derivation of the Field Equations.

Ask the tutor: Ask me to walk through why a supermassive black hole's horizon is so gently curved that you would cross it without noticing, even though $R_{\mu\nu}=0$ there just as at a lethal stellar-mass hole.

Does R_μν = 0 mean spacetime is flat?

No — this is the central point of the whole topic. Ricci-flat is strictly weaker than flat. The Riemann curvature tensor splits into a Ricci part and a trace-free Weyl part, and $R_{\mu\nu}=0$ kills only the Ricci part. The Weyl tensor survives untouched and can be enormous: Schwarzschild spacetime is Ricci-flat everywhere outside the centre, yet its Kretschmann scalar $48G^2M^2/c^4r^6$ is nonzero at every radius and diverges toward the middle. That surviving Weyl curvature is exactly what produces tidal stretching near a black hole and what propagates as a gravitational wave. So "vacuum" (no source) and "flat" (no curvature) are entirely different statements.

Why exactly does G_μν = 0 give R_μν = 0 and not something else?

Take the trace of $G_{\mu\nu}=R_{\mu\nu}-\tfrac12 R g_{\mu\nu}=0$ by contracting with $g^{\mu\nu}$ . Using $g^{\mu\nu}R_{\mu\nu}=R$ and $g^{\mu\nu}g_{\mu\nu}=4$ in four dimensions, you get $R-2R=-R=0$ , so the Ricci scalar vanishes. Put $R=0$ back into the equation and the second term $-\tfrac12 R g_{\mu\nu}$ disappears, leaving $R_{\mu\nu}=0$ . The logic runs both ways, so the Einstein-tensor form and the Ricci form are genuinely the same equation in vacuum. The one caveat is dimensional: the step needs $n\ne2$ , and in two dimensions $G_{\mu\nu}$ vanishes identically so the equation says nothing.

How many independent equations does R_μν = 0 really contain?

The Ricci tensor is symmetric, so $R_{\mu\nu}=0$ is naively ten equations. But the contracted Bianchi identity $\nabla^\mu G_{\mu\nu}=0$ holds automatically for any metric and supplies four differential relations among them, leaving six truly independent dynamical equations. That count is no accident: it matches the four-fold freedom to relabel coordinates (general covariance), which must leave four combinations undetermined — the same 10 = 4 + 6 split that separates the initial-value problem into four constraints and six evolution equations.

Can gravitational waves really exist where there is no matter?

Yes, and that is one of the deepest consequences of the vacuum equation. Linearize $R_{\mu\nu}=0$ about flat space and fix the Lorenz gauge, and it becomes $\Box\bar h_{\mu\nu}=0$ — a source-free wave equation identical in form to the one governing light in vacuum. Its solutions are ripples of curvature travelling at exactly $c$ , with two transverse-traceless polarizations. Nothing material is present; the waves are self-supporting oscillations of the geometry itself, carried by the Weyl tensor. LIGO's 2015 detection of GW150914 measured precisely this strain, far from the merging black holes that emitted it, in a region of essentially perfect vacuum.

What is the difference between R_μν = 0 and R_μν = Λ g_μν?

The first is the vacuum equation with no cosmological constant; the second is the vacuum equation with one. Setting $\Lambda=0$ demands the Ricci tensor vanish outright (Ricci-flat). A nonzero $\Lambda$ instead demands the Ricci tensor be proportional to the metric — the definition of an Einstein space — with scalar curvature $R=4\Lambda$ rather than zero. Empty space then carries a uniform background curvature even with no matter: for $\Lambda>0$ you get de Sitter space (exponentially expanding), for $\Lambda<0$ anti-de Sitter space. Schwarzschild and Kerr solve the first; their $\Lambda$ -corrected cousins Schwarzschild-de Sitter and Kerr-AdS solve the second.

If Schwarzschild is a vacuum solution, where did the mass M come from?

The mass enters as a constant of integration, not a local source. Solving $R_{\mu\nu}=0$ for the static spherical ansatz leaves one undetermined constant; matching the far-field metric to the Newtonian potential $\Phi=-GM/r$ identifies it with the total mass $M$ inside the vacuum region. The equation is valid only outside the matter, so $M$ is a boundary datum — the imprint the interior leaves on the exterior geometry — not a right-hand-side term. This is why perihelion precession and light bending can be computed from the vacuum exterior alone, with no model of the Sun's interior.