Tidal Forces in General Relativity

Drop a physicist off a tall building and, for the seconds before the ground intervenes, she floats: her keys, released from her pocket, hang weightless beside her. This is the deepest fact in gravitation — a single freely falling body feels no force at all, because gravity, locally, is not a force but a choice of coordinates. Einstein's equivalence principle says the pull can always be transformed away by falling with it. So where does gravity actually live? One derivative higher, in what the neighbours do. Release not one key but a whole cloud, and it does not stay a cloud: it stretches along the line to the Earth and squeezes across it, drifting into an ever-longer ellipsoid. That deformation cannot be transformed away by any frame. It is the tidal field — the operational, coordinate-invariant meaning of spacetime curvature. The mathematics is the geodesic deviation equation: the relative acceleration of two nearby free-fallers equals the Riemann curvature tensor contracted twice with their shared four-velocity and once with their separation. Curvature is not an abstraction bolted onto geometry — it is literally the machine that pries test bodies apart. In the weak field it collapses to the Newtonian tidal tensor $\partial_i\partial_j\Phi$ , recovering the ocean tides that named the phenomenon; in the strong field it becomes the unbounded stretching that shreds matter falling toward a singularity, and the strain interferometers read out as gravitational waves. One tensor, projected onto one observer's frame, does all of this work.

Key takeaways

A single freely falling body feels no gravity (equivalence principle); tidal force is the relative acceleration of two neighbours, and it cannot be transformed away.
The governing law is the geodesic deviation equation, $\frac{D^2\xi^\mu}{\mathrm{d}\tau^2}=-R^\mu{}_{\nu\rho\sigma}\,u^\nu\xi^\rho u^\sigma$ : relative acceleration equals the Riemann tensor acting on the separation.
In an observer's local frame this is a Newton-like law $\ddot\xi^i=-E^i{}_j\xi^j$ with the electric tidal tensor $E_{ij}=R_{i\hat0j\hat0}$ , which reduces to $\partial_i\partial_j\Phi$ in the weak field.
The trace is fixed by matter, $\mathrm{tr}\,E=R_{00}=4\pi G(\rho+3p)$ , so vacuum tides are traceless — pure stretch-and-squeeze, volume preserved.
Tides scale as $M/r^3$ : they explain the ocean bulges (Moon beats Sun despite being lighter), spaghettification near a black hole, and the strain LIGO measures.
Key idea: a freely falling observer feels no gravity, but the relative acceleration of nearby free-fallers is nonzero and equals minus the Riemann tensor contracted with the four-velocity twice and the separation once — tidal force IS curvature.

Where this lives today

The tidal tensor is no longer a textbook curiosity — it is a working instrument. Every gravitational-wave observation is a direct measurement of geodesic deviation: LIGO, Virgo, and KAGRA read the Riemann tensor of merging compact objects as the differential stretch-and-squeeze of freely suspended mirrors at strains near $10^{-21}$ , and LISA will do the same across millions of kilometres. Tidal disruption events — a star shredded inside a black hole's Roche limit into a luminous flare — are caught routinely by time-domain surveys, each a readout of the $M/r^3$ scaling. Tidal deformability is a headline observable too: the tides inspiralling neutron stars raise on each other imprint on the waveform, and GW170817 turned that imprint into a constraint on the equation of state of ultra-dense matter. Closer to home, the same $\partial_i\partial_j\Phi$ that fills a bathtub twice a day is measured by the GRACE satellites to weigh vanishing ice sheets. One tensor, from the ocean to the event horizon.

The physical picture

Release a swarm of identical ball bearings from rest in vacuum above the Earth. Every one falls freely; not a single bearing feels a force, and any one taken alone could believe itself floating in empty space. Yet the swarm betrays the truth. Bearings nearer the Earth fall a touch faster than those farther out, so the swarm stretches along the vertical; bearings off to the sides fall toward lines that both aim at the Earth's centre, so they drift together and the swarm squeezes across it. A sphere of bearings becomes a prolate ellipsoid, and keeps elongating. That deformation — not the falling itself — is gravity made visible: the failure of initially parallel free-fall trajectories to stay parallel, exactly what a curved geometry does to nearby "straight" lines. The sphere is the cleanest analogy. Two travellers start side by side on the equator and both walk due north, perfectly straight, neither turning — yet they converge and meet at the pole. Their separation accelerated toward zero though neither steered; the sphere's curvature did it. Geodesic deviation is that statement made dynamical in spacetime, the Riemann tensor in the role the sphere's Gaussian curvature plays for the walkers. Where spacetime is flat, even a violently accelerating rocket frame shows no such convergence; where it is curved, no frame can hide it.

Figure

A sphere of freely falling test masses deforms into a prolate ellipsoid: radial stretch 2GM over r cubed, transverse squeeze GM over r cubed. The three eigenvalues sum to zero, so volume is preserved as shape distorts

Why is the tide traceless in empty space? Newtonian gravity stretches the swarm radially with strength $2GM/r^3$ but squeezes it transversely with $GM/r^3$ in each of two directions; the three numbers add to zero. That sum is precisely $\nabla^2\Phi=0$ — the swarm's volume is conserved even while its shape is mangled. Put matter inside and you add an isotropic inward pull — the Ricci part, $4\pi G\rho$ — that shrinks the volume. The traceless piece (shape) is Weyl curvature; the trace (volume) is Ricci: vacuum tides distort, matter focuses. The equivalence principle and the tide are statements about different derivatives of the field: the first — the local $\vec g$ — can always be gauged away by falling (why the astronaut floats), the second — how $\vec g$ changes across the swarm — cannot. Push a black hole to the extreme and the tide stops being subtle: it diverges as the centre approaches, scaling with mass in a way that makes falling into a small hole fatal and into a giant one momentarily serene.

Figure

Schwarzschild tidal field diverges as E ∝ 1 over r cubed. A 10 solar-mass hole has a horizon tide near 1.0×10⁸ per second squared, lethal. Since the horizon tide equals c⁶ over 4 G² M² and scales as 1 over M², a 4-million solar-mass hole has only about 6×10⁻⁴ there — harmless

The core equations

The whole subject rests on one equation: how the vector separating two neighbouring geodesics accelerates along the worldline. Because both worldlines are force-free, any relative acceleration must come from geometry — exactly the Riemann tensor.

\frac{D^2 \xi^\mu}{\mathrm{d}\tau^2} = -R^\mu{}_{\nu\rho\sigma}\, u^\nu \xi^\rho u^\sigma \qquad (1)

where: $\xi^\mu$ — connecting (separation) vector between neighbouring geodesics; $u^\nu$ — four-velocity of the reference geodesic, $u^\nu=\mathrm{d}x^\nu/\mathrm{d}\tau$ ; $\tau$ — proper time; $R^\mu{}_{\nu\rho\sigma}$ — Riemann curvature tensor; $D/\mathrm{d}\tau=u^\alpha\nabla_\alpha$ — covariant derivative along the worldline. Physical reading: relative acceleration is linear in the separation, with $-R^\mu{}_{\nu\rho\sigma}u^\nu u^\sigma$ acting as a tidal spring-constant. To turn this into something an observer measures, project it onto the orthonormal frame she carries — time leg her four-velocity, three spatial legs her rulers. The relevant curvature components form a symmetric $3\times3$ matrix: the "electric" part of Riemann.

E_{ij} \equiv R_{i\hat 0 j\hat 0} = R_{\mu\nu\rho\sigma}\, e_i^\mu u^\nu e_j^\rho u^\sigma \qquad (2)

where: $E_{ij}$ — tidal tensor, symmetric $3\times3$ ; $e_i^\mu$ — spatial triad (orthonormal legs orthogonal to $u$ ); $\hat0$ — time leg, equal to $u^\mu$ . Physical reading: in this frame equation (1) reads $\ddot\xi^i=-E^i{}_j\xi^j$ — Newton's second law for the separation, with $E$ the tidal matrix whose eigenvalues are the principal stretches and squeezes. For a slow observer in a weak, static field the electric tidal tensor collapses to a purely Newtonian object — the Hessian of the potential.

E_{ij} = \partial_i\partial_j \Phi, \qquad \partial_i\partial_j\Phi = \frac{GM}{r^3}\big(\delta_{ij}-3\hat n_i\hat n_j\big) \qquad (3)

where: $\Phi$ — Newtonian potential, $\vec g=-\nabla\Phi$ ; $\hat n_i$ — unit vector from the mass; the second form is the point-mass result for $\Phi=-GM/r$ . Physical reading: radially ( $\hat n_i\hat n_j=1$ ), $-2GM/r^3$ (stretch); transverse, $+GM/r^3$ (squeeze) each way. The trace of the tidal tensor is not free geometry — it is nailed to the matter. The trace of the Hessian is the Laplacian, and Poisson's equation (relativistically, the time-time Einstein equation) fixes it.

\mathrm{tr}\,E = \delta^{ij}\partial_i\partial_j\Phi = \nabla^2\Phi = 4\pi G\rho, \qquad \mathrm{tr}\,E = R_{\mu\nu}u^\mu u^\nu = 4\pi G(\rho+3p) \qquad (4)

where: $\rho$ — mass-energy density; $p$ — pressure; $R_{\mu\nu}$ — Ricci tensor. Physical reading: in vacuum $\rho=p=0$ so $\mathrm{tr}\,E=0$ and tides preserve volume; inside matter the trace is positive — an inward tide that shrinks the volume: gravitational focusing. Specialize to Schwarzschild. Remarkably, the frame components are the Newtonian point-mass tensor exactly — not just to leading order — and independent of how fast the observer falls.

E_{\hat r\hat r} = -\frac{2GM}{r^3},\qquad E_{\hat\theta\hat\theta} = E_{\hat\phi\hat\phi} = +\frac{GM}{r^3} \qquad (5)

where: $M$ — central mass; $r$ — areal (Schwarzschild) radius; $\hat r,\hat\theta,\hat\phi$ — orthonormal legs. Physical reading: radial stretch, transverse squeeze, and $-2GM/r^3+GM/r^3+GM/r^3=0$ confirms the vacuum trace vanishes; as $r\to0$ every component diverges. For a whole congruence of free-fallers, the collective form of geodesic deviation is the Raychaudhuri equation for the family's volume expansion.

\frac{\mathrm{d}\theta}{\mathrm{d}\tau} = -\tfrac{1}{3}\theta^2 - \sigma_{\mu\nu}\sigma^{\mu\nu} + \omega_{\mu\nu}\omega^{\mu\nu} - R_{\mu\nu}u^\mu u^\nu \qquad (6)

where: $\theta$ — expansion (rate of volume change); $\sigma_{\mu\nu}$ — shear (distortion, driven by Weyl); $\omega_{\mu\nu}$ — vorticity; $R_{\mu\nu}u^\mu u^\nu=\mathrm{tr}\,E$ — Ricci focusing term. Physical reading: for irrotational geodesics every term is non-positive, so gravity focuses — the seed of the singularity theorems. Finally, the curvature splits into a locally-sourced trace part and a source-free traceless part — the tide's split into volume- and shape-change.

R_{\mu\nu\rho\sigma} = C_{\mu\nu\rho\sigma} + (\text{Ricci and metric terms}) \qquad (7)

where: $C_{\mu\nu\rho\sigma}$ — Weyl tensor, the traceless part of Riemann; $R_{\mu\nu}$ — Ricci tensor, fixed pointwise by matter. Physical reading: the traceless tide (stretch-and-squeeze, waves, vacuum disruption) is Weyl; the trace (focusing in matter) is Ricci. In vacuum Riemann is Weyl — pure shape distortion.

Derivation AFrom two neighbouring geodesics to the deviation equation

The goal is to show, from first principles, that the relative acceleration of two infinitesimally separated free-fallers is governed precisely by the Riemann tensor, with no appeal to Newtonian intuition. Set up a smooth family of geodesics $x^\mu(\tau,s)$ (each $\tau\mapsto x^\mu(\tau,s)$ a geodesic), with tangent $u^\mu=\partial x^\mu/\partial\tau$ and deviation $\xi^\mu=\partial x^\mu/\partial s$ .

Step 1. Because $u^\mu$ and $\xi^\mu$ are coordinate basis vectors of the surface $(\tau,s)$ , their Lie bracket vanishes, $[u,\xi]=0$ . For a torsion-free connection this lets the covariant derivatives be swapped: $u^\nu\nabla_\nu\xi^\mu=\xi^\nu\nabla_\nu u^\mu$ . Why: this symmetry is what makes $\xi$ a genuine connecting vector between neighbouring geodesics rather than an arbitrary field.

Step 2. The relative acceleration is the second covariant derivative of $\xi$ along $u$ : $\frac{D^2\xi^\mu}{\mathrm{d}\tau^2}=u^\rho\nabla_\rho\!\left(u^\nu\nabla_\nu\xi^\mu\right)=u^\rho\nabla_\rho\!\left(\xi^\nu\nabla_\nu u^\mu\right)$ , using Step 1 in the second equality. Why: rewriting the inner factor is what lets curvature emerge instead of an unilluminating pile of derivatives.

Step 3. Expand by the Leibniz rule: $u^\rho\nabla_\rho(\xi^\nu\nabla_\nu u^\mu)=(u^\rho\nabla_\rho\xi^\nu)(\nabla_\nu u^\mu)+u^\rho\xi^\nu\nabla_\rho\nabla_\nu u^\mu$ . The piece $\xi^\nu\nabla_\nu(u^\rho\nabla_\rho u^\mu)$ vanishes because $u^\rho\nabla_\rho u^\mu=0$ is the geodesic equation. Why: this is where "both curves are geodesics" enters — it kills the ordinary, non-tidal acceleration, leaving only the relative effect.

Step 4. The surviving double-derivative terms combine into the commutator of covariant derivatives acting on $u$ : $[\nabla_\rho,\nabla_\nu]u^\mu=R^\mu{}_{\sigma\rho\nu}u^\sigma$ , the definition of the Riemann tensor. Why: curvature is the failure of second covariant derivatives to commute, so the moment two derivatives collide, Riemann is what remains.

Step 5. Using the antisymmetry $R^\mu{}_{\sigma\nu\rho}=-R^\mu{}_{\sigma\rho\nu}$ gives $\frac{D^2\xi^\mu}{\mathrm{d}\tau^2}=R^\mu{}_{\sigma\nu\rho}u^\sigma u^\nu\xi^\rho=-R^\mu{}_{\nu\rho\sigma}u^\nu\xi^\rho u^\sigma$ , the boxed result. Why: this is exactly equation (1) — relative acceleration linear in the separation with tidal operator $-R\,u\,u$ .

Go deeper · Derivation B · 1 minThe Newtonian limit: recovering the tidal Hessian

Derivation BThe Newtonian limit: recovering the tidal Hessian

The goal is to prove that the fully relativistic geodesic deviation equation, in the slow-and-weak limit, reduces exactly to the elementary tidal law $\ddot\xi^i=-\partial_i\partial_j\Phi\,\xi^j$ — and that the point-mass case reproduces the $-2GM/r^3$ stretch and $+GM/r^3$ squeeze of equation (5). Take $g_{00}=-(1+2\Phi)$ , $g_{ij}=\delta_{ij}$ with $|\Phi|\ll1$ , a static source, and a slow observer $u^\mu\approx(1,0,0,0)$ , $\tau\approx t$ .

Step 1. Linearize the connection: the only Christoffel symbol needed is $\Gamma^i_{00}\approx\partial_i\Phi$ , the coordinate acceleration of a dropped particle. Forming Riemann to first order and keeping the static components gives $R^i{}_{0j0}\approx\partial_i\partial_j\Phi$ . Why: at leading order the field enters only through $\Phi$ , and the relevant curvature components are just its Hessian.

Step 2. Insert into the deviation equation. With $u^0\approx1$ and covariant derivatives reducing to ordinary time derivatives, $\frac{\mathrm{d}^2\xi^i}{\mathrm{d}t^2}=-R^i{}_{0j0}\,u^0\xi^j u^0=-\partial_i\partial_j\Phi\,\xi^j$ . Why: this is identical, term for term, to the Newtonian tidal law from expanding $\vec g(\vec x+\vec\xi)-\vec g(\vec x)$ — the relativistic machine reproduces the elementary result.

Step 3. Evaluate for a point mass, $\Phi=-GM/r$ . Differentiating twice gives $\partial_i\partial_j\Phi=\frac{GM}{r^3}(\delta_{ij}-3\hat n_i\hat n_j)$ . Radially ( $\hat n_i\hat n_j=1$ ), $\partial_r^2\Phi=-2GM/r^3$ — stretch; transverse, $+GM/r^3$ — squeeze in each of two directions. The trace is $\nabla^2\Phi=0$ . Why: this recovers the exact Schwarzschild frame components of equation (5) from Newtonian potential theory — why the strong-field answer wears a Newtonian face. *Note: the point-mass Hessian is traceless, $\delta^{ij}\partial_i\partial_j(-GM/r)=0$ for $r>0$ , confirming that the Newtonian tidal tensor vanishes in vacuum.*

Go deeper · Derivation C · 1 minTracelessness, focusing, and the Raychaudhuri connection

Derivation CTracelessness, focusing, and the Raychaudhuri connection

The goal is to make precise the single most important qualitative fact about free-fall tides — in vacuum they distort shape but preserve volume, while inside matter they shrink it — and to tie it to the Raychaudhuri focusing term that underlies the singularity theorems, by following the trace of the tidal tensor from potential theory into the relativistic Ricci identity.

Step 1. Take the trace in the local frame: $\mathrm{tr}\,E=\delta^{ij}R_{i\hat0j\hat0}$ , which on raising and contracting equals the projection of Ricci onto the four-velocity, $\mathrm{tr}\,E=R_{\mu\nu}u^\mu u^\nu$ . Why: summing the three principal tidal accelerations is the Ricci contraction — so the trace is a Ricci object, not a Weyl one.

Step 2. Fix it with Einstein's equations: $G_{\mu\nu}=8\pi G\,T_{\mu\nu}$ contracted with $u^\mu u^\nu$ gives $R_{\mu\nu}u^\mu u^\nu=4\pi G(\rho+3p)$ for a perfect fluid, zero in vacuum. Why: this relativistic Poisson equation says the volume-changing part of the tide is sourced only by local mass-energy and pressure — empty space can reshape a swarm but never compress it.

Step 3. Read it through Raychaudhuri, equation (6): $\dot\theta=-\tfrac13\theta^2-\sigma^2+\omega^2-R_{\mu\nu}u^\mu u^\nu$ , whose last term is exactly $\mathrm{tr}\,E$ . For irrotational geodesics ( $\omega=0$ ) and matter with $\rho+3p>0$ (strong energy condition), every term is non-positive, so $\dot\theta\le0$ and a converging family focuses in finite proper time. Why: the same trace that shrinks a swarm inside matter is, at scale, what forces geodesics to a caustic — the engine of the singularity theorems. *Note: $\mathrm{tr}\,E=R_{00}=4\pi G(\rho+3p)$ ; the vacuum trace is identically zero, and the Schwarzschild frame components of equation (5) sum to zero, confirming tracelessness.*

Limiting cases

How the tidal tensor specializes across regimes:

Case	Result	Meaning
Newtonian weak field	$E_{ij} = \partial_i\partial_j\Phi$	The electric tidal tensor $R_{i\hat0j\hat0}$ reduces to second derivatives of the potential for slow motion, weak fields.
Vacuum (traceless)	$\delta^{ij}E_{ij}=R_{00}=0$	Where Ricci vanishes the tide is traceless: pure stretch-and-squeeze, volume preserved. Curvature is entirely Weyl.
Inside matter	$\delta^{ij}E_{ij}=R_{00}=4\pi G(\rho+3p)$	The trace is sourced by density and pressure; an isotropic inward tide shrinks the swarm — Raychaudhuri focusing.
Radial tide near a mass	$E_{\hat r\hat r}=-\dfrac{2GM}{r^3},\;E_{\hat\theta\hat\theta}=E_{\hat\phi\hat\phi}=\dfrac{GM}{r^3}$	Exact Schwarzschild components, Newtonian in form, speed-independent; scale as $M/r^3$ , diverge as $r\to0$ .
Gravitational wave (TT gauge)	$\ddot\xi^i=\tfrac12\ddot h^i{}_j\,\xi^j$	A propagating traceless tide; $R_{i\hat0j\hat0}=-\tfrac12\ddot h_{ij}$ oscillates between $+$ and $\times$ — the strain LIGO reads.

Common trapThe "gravitational force" you feel standing on Earth is the same thing as a tidal force

It is not, and conflating them is the deepest misconception in the subject. What you feel underfoot is the connection — the Christoffel symbols — which is frame-dependent: at any point it can be transformed to zero by falling freely, which is exactly why an astronaut in orbit is weightless despite sitting deep in Earth's gravity. That "force" is gauge, not physics. A tidal force is the curvature — the Riemann tensor — which cannot be transformed away at a point by any frame, because it lives in the second derivative of the field, not the first. The test: a single test particle can never reveal gravity to a freely falling observer, but two can, through their relative acceleration. A subtler trap rides along: in vacuum the tidal tensor is traceless, not zero. The stretches and squeezes cancel in sum, preserving volume — but there are still very real tides pulling a swarm into an ellipsoid. Only the trace vanishes, never the tensor.

Worked examples

1 · Why a small black hole kills and a giant one does not (numeric)

An astronaut of height $L=1.8\ \mathrm{m}$ falls feet-first toward two non-rotating holes: a stellar-mass $M=10\,M_\odot$ and the Galactic-centre giant Sgr A, $M=4.15\times10^6\,M_\odot$ . Compare the head-to-foot tidal stretch at each horizon.*

Step 1. The radial tide is $E_{\hat r\hat r}=2GM/r^3$ . At the horizon $r=r_s=2GM/c^2$ it becomes a mass-only formula: $E_{\rm hor}=\dfrac{2GM}{(2GM/c^2)^3}=\dfrac{c^6}{4G^2M^2}$ — scaling as $\mathbf{1/M^2}$ , so bigger holes are gentler at their horizons.

Step 2. Stellar hole. With $M=10\,M_\odot=1.99\times10^{31}\,\mathrm{kg}$ : $r_s\approx30\ \mathrm{km}$ and $E_{\rm hor}=\mathbf{1.0\times10^{8}\ s^{-2}}$ . Across her body, $\Delta a=E_{\rm hor}L\approx\mathbf{1.9\times10^{7}\,g}$ . She is spaghettified into a thread of atoms long before reaching the horizon.

Step 3. Supermassive hole. With $M=4.15\times10^6\,M_\odot$ the same formula gives $E_{\rm hor}=\mathbf{6.0\times10^{-4}\ s^{-2}}$ and $\Delta a\approx\mathbf{1.1\times10^{-4}\,g}$ — imperceptible, gentler than standing on Earth. She crosses Sgr A*'s horizon completely unharmed and meets destruction only deep inside. The horizon is global causal structure; the tide is local curvature.

2 · The Moon out-tides the Sun (numeric)

The Sun is $2.7\times10^7$ times more massive than the Moon, yet the Moon dominates Earth's ocean tides. Compute the surface tidal acceleration each body raises and confirm the ratio.

Step 1. The tide-raising acceleration at Earth's surface is the field differential across Earth's radius: $a_{\rm tide}=2GM\,R_\oplus/d^3$ . The crucial factor is $\mathbf{1/d^3}$ , not $1/d^2$ — tides fall one power faster than gravity, being its gradient.

Step 2. Moon: $M=7.34\times10^{22}\ \mathrm{kg}$ , $d=3.84\times10^8\ \mathrm{m}$ , $R_\oplus=6.37\times10^6\ \mathrm{m}$ give $a_{\rm Moon}=\mathbf{1.10\times10^{-6}\ m/s^2}$ .

Step 3. Sun: $M=1.99\times10^{30}\ \mathrm{kg}$ , $d=1.50\times10^{11}\ \mathrm{m}$ give $a_{\rm Sun}=\mathbf{5.05\times10^{-7}\ m/s^2}$ . The ratio $a_{\rm Sun}/a_{\rm Moon}=\mathbf{0.46}$ : the Sun's tide is only 46% of the Moon's, its mass advantage beaten by the Moon's 390-fold proximity, cubed. When the two align the tides add (spring tides); in quadrature they partly cancel (neap tides).

3 · What LIGO's mirrors actually move (numeric)

A gravitational wave of strain $h=1\times10^{-21}$ passes through a LIGO arm of length $L=4\ \mathrm{km}$ . How far does the end mirror move, and how does that compare to a proton?

Step 1. In the transverse-traceless gauge, geodesic deviation gives $\ddot\xi^i=\tfrac12\ddot h^i{}_j\,\xi^j$ , integrating to a fractional length change $\Delta L/L=\tfrac12 h$ . The wave is a tidal field — it stretches one arm while squeezing the perpendicular one.

Step 2. The displacement is $\Delta L=\tfrac12 hL=\tfrac12(1\times10^{-21})(4000)=\mathbf{2.0\times10^{-18}\ m}$ — about $1/400$ of the radius of a proton ( $\approx8.4\times10^{-16}\ \mathrm{m}$ ). Measuring it is why LIGO needs kilometre arms and picometre seismic isolation — the payoff is reading the Riemann tensor of a black-hole merger as tidal strain on four hanging mirrors.

Physics of the portrait

Tidal forces are where differential geometry became physical measurement — and the man who supplied both the machinery and the geodesic deviation equation is the Italian mathematician who taught the world to differentiate on a curved manifold.

Origins · 1 minTullio Levi-Civita and how this was discovered

Tullio Levi-Civita

1873–1941 · Italian mathematician; absolute differential calculus, parallel transport, and geodesic deviation

Tullio Levi-Civita gave general relativity tools it could not have existed without. With his teacher Gregorio Ricci-Curbastro he co-authored the 1900 memoir laying out the "absolute differential calculus" — tensor calculus — the language in which Einstein would write the field equations; when Einstein struggled with the geometry in 1915 he corresponded with Levi-Civita, who caught his errors with a courtesy Einstein warmly acknowledged. His most influential idea came in 1917: parallel transport, what it means to carry a vector "without turning" along a curve in curved space. This is the operation that makes covariant differentiation possible and gives the connection its geometric meaning — and the direct parent of geodesic deviation, since a tidal force is precisely the failure of two parallel-transported separations to keep step. In the 1920s he wrote down the equation of geodesic deviation itself, the relation this article is built around. Dismissed from his Rome chair in 1938 under Italy's racial laws, he died isolated in 1941; the geometry he founded now underlies every gravitational-wave detection.

History

1907

— Einstein's "happiest thought": a freely falling observer feels no gravity, leaving tides as the field's residue

1917

— Levi-Civita introduces parallel transport, giving covariant differentiation its geometric meaning

1926

— the equation of geodesic deviation is set down, tying relative acceleration to the Riemann tensor

1956

— Pirani gives the operational reading: the Riemann tensor is what a lattice of test bodies measures

2015

— LIGO records geodesic deviation directly, as the oscillating tidal strain of a gravitational wave

Going further

References. Misner, Thorne & Wheeler, Gravitation (1973), §11.1–11.6 · Wald, General Relativity (1984), §3.3, §9.2 · Carroll, Spacetime and Geometry (2004), §3.10, §7.6 · Hartle, Gravity (2003), Ch. 21 · Schutz, A First Course in General Relativity, 2nd ed. (2009), §6.5. Key relations used throughout: the sign convention $D^2\xi^\mu/\mathrm{d}\tau^2=-R^\mu{}_{\nu\rho\sigma}u^\nu\xi^\rho u^\sigma$ ; the Newtonian limit $R^i{}_{0j0}\approx\partial_i\partial_j\Phi$ ; the Schwarzschild components $\mp2GM/r^3,\,\pm GM/r^3$ ; the trace $\mathrm{tr}\,E=R_{00}=4\pi G(\rho+3p)$ ; and the wave form $\ddot\xi^i=\tfrac12\ddot h^i{}_j\xi^j$ . Anchor numerics: $a_{\rm Sun}/a_{\rm Moon}=0.46$ ; $E_{\rm hor}=c^6/4G^2M^2$ giving $1.0\times10^8\ \mathrm{s^{-2}}$ ( $10\,M_\odot$ ) and $6.0\times10^{-4}\ \mathrm{s^{-2}}$ ( $4.15\times10^6\,M_\odot$ ); $\Delta L=\tfrac12hL=2.0\times10^{-18}\ \mathrm{m}$ .

Builds on: Geodesic Deviation Equation · The Geodesic Equation · Covariant Derivative · Parallel Transport · The Levi-Civita Connection. Leads to: Killing Vectors · Geodesics as Extremal Paths.

Ask the tutor: Ask me to work the tidal tensor of any spacetime you like — Schwarzschild, a gravitational wave, or the inside of a star — and watch stretch, squeeze, and focusing fall straight out of the Riemann tensor.

If a freely falling observer feels no gravity, what exactly is the tide detecting?

It is detecting the variation of the field, not the field itself. A freely falling observer can always choose a local inertial frame in which the Christoffel symbols vanish at her location, so she feels nothing — a dropped particle floats beside her. But that trick works only at one point. A separated pair samples the field at two points, and the difference is the tide. The observer can gauge away the connection (first derivative of the metric) but never the Riemann tensor (second derivative). So the tide is the residual, coordinate-invariant part of gravity that survives the freely falling frame.

Why is the vacuum tidal tensor traceless but not zero?

Because in empty space gravity reshapes a freely falling swarm without changing its volume. The trace equals $R_{\mu\nu}u^\mu u^\nu=4\pi G(\rho+3p)$ , sourced strictly by local mass-energy and pressure, so where there is no matter it is zero. But the individual components are not: near a mass the radial one is $-2GM/r^3$ and the two transverse ones each $+GM/r^3$ . They sum to zero — the tracelessness — so the swarm stretches in one direction exactly as much as it squeezes in the other two, conserving volume while distorting shape. Volume change requires matter; empty-space tides are pure shape distortion, carried by the Weyl tensor.

Could you really fall through a black hole's horizon without noticing?

For a large enough black hole, yes. The horizon tide is $c^6/4G^2M^2$ , shrinking as $1/M^2$ , so the more massive the hole the gentler its horizon. For a $10\,M_\odot$ hole it is about $10^8\ \mathrm{s^{-2}}$ — tens of millions of g across a human body, fatal long before you arrive. But for a supermassive hole of a few million solar masses it is roughly $10^{-4}\ \mathrm{s^{-2}}$ , weaker than standing on Earth; you would cross with no local sensation. The horizon is a global feature of the causal structure — the point of no return — while the tide is purely local curvature. Destruction still comes, but only deep inside, as $r\to0$ and the tide diverges.

What is the difference between the Christoffel connection and the Riemann curvature for tides?

Everything. The Christoffel symbols encode the "gravitational acceleration" you feel standing still — but they are frame-dependent and can be set to zero at any point by falling freely, so they are not a coordinate-invariant measure of gravity. The Riemann tensor encodes how that acceleration changes from place to place, and cannot be transformed to zero if the spacetime is genuinely curved. Tidal forces depend only on Riemann. This is why "how strong is gravity here?" is not well-posed — it depends on your frame — while "how strong is the tide here?" is invariant. The connection is gauge; the curvature is physics.

In what sense is a gravitational wave a tidal force?

In every sense. A gravitational wave is a propagating ripple of Riemann curvature, and its action on matter is pure tidal: it stretches space along one transverse axis while squeezing the perpendicular one, then reverses, oscillating between the "plus" and "cross" polarizations. As geodesic deviation in the transverse-traceless gauge, $\ddot\xi^i=\tfrac12\ddot h^i{}_j\xi^j$ — just equation (1) with the wave's Riemann components inserted, and it is what LIGO measures. Because the wave carries no trace (a Weyl-only tide) the volume of a ring of test masses is preserved while its shape oscillates — the signature ring-deformation pattern.

Why is E called the "electric" tidal tensor — is there a magnetic one?

Yes. The Riemann tensor, projected onto an observer, decomposes into two symmetric traceless $3\times3$ pieces, in analogy with electromagnetism. The "electric" part $E_{ij}=R_{i\hat0j\hat0}$ produces the tidal stretch-and-squeeze you feel at rest — the analogue of the electric field. The "magnetic" part $B_{ij}=\tfrac12\epsilon_{ikl}R^{kl}{}_{j\hat0}$ produces frame-dragging and differential precession — velocity-dependent effects, the analogue of the magnetic field; a gyroscope near a rotating mass precesses because of it. Together $E$ and $B$ repackage the ten components of the vacuum Weyl tensor, and their linearized equations look like Maxwell's — the basis of "gravitoelectromagnetism."