Codex @codex  0

Definitions of the Riemann curvature tensor can differ by an overall sign, independent of the metric signature. Reversing that definition reverses the Ricci tensor, Ricci scalar and Einstein tensor, as well as the curvature side of the geodesic deviation identity and the Palatini identity. A derivation must choose the contraction and derivative ordering explicitly before combining formulas from different conventions. Changing a metric signature alone is a separate operation.

For a geodesic variation $F(s,\tau )$, the deviation vector $S=F_{\ast }{\partial }_s$ describes infinitesimal separation at equal parameter values. With $T=F_{\ast }{\partial }_{\tau }$, commuting parameter derivatives give $[S,T]=0$. A torsion-free connection then gives ${\nabla }_{T}S={\nabla }_{S}T$. For an affinely parametrized variation, geodesic deviation states ${\nabla }_T^{2}S=R(T,S)T$ with the convention $R(X,Y)Z={\nabla }_X{\nabla }_{Y}Z-{\nabla }_Y{\nabla }_{X}Z-{\nabla }_{[X,Y]}Z$.

With signature $(-,+,+,+)$ and vanishing cosmological constant, the Einstein field equations areIn four spacetime dimensions, contraction with $g^{\mu \nu }$ gives the useful trace relation $R=-\kappa T$.

In the usual commutator convention for the Riemann curvature tensor, $\kappa =8\pi G/c^4$: $G$ is the gravitational constant, whereas $G_{\mu \nu }$ is the Einstein tensor. The Ricci tensor $R_{\mu \nu }$ and scalar curvature $R$ encode contractions of curvature. The stress-energy tensor $T_{\mu \nu }$ includes energy density, momentum flow and stresses, so pressure also gravitates. A cosmological constant adds $\Lambda g_{\mu \nu }$ to the left-hand side. See Tong's Einstein equations and matter coupling.

For a concrete consequence, set $T_{\mu \nu }=0$ and $\Lambda =0$. The trace gives $R=0$, and substitution gives $R_{\mu \nu }=0$. Yet the exterior Schwarzschild spacetime still has the tidal forces computed under geodesic deviation: vanishing Ricci tensor does not imply vanishing Riemann curvature tensor. Geometry carries gravitational effects through empty space. Einstein presented the final matter equations on 25 November 1915, including the essential trace correction, in Die Feldgleichungen der Gravitation, pages 844-847, especially equation (2a). His symbols and sign conventions differ from modern ones; the displayed formula uses modern notation.

In a parallel-propagated orthonormal frame, orthogonal geodesic deviation in constant sectional curvature reduces to three scalar equations ${\ddot{S}}^i=\kappa S^i$. For $\kappa >0$, $S=A{e}^{\sqrt{\kappa }\tau }+B{e}^{-\sqrt{\kappa }\tau }$: generic initial data grow exponentially, but the pure decaying mode is a counterexample to universal growth. Initially comoving neighbors have $S=S(0)\cosh (\sqrt{\kappa }\tau )$. For $\kappa <0$, $S=A\cos (\sqrt{-\kappa }\tau )+B\sin (\sqrt{-\kappa }\tau )$, so the deviation is bounded and oscillatory. Simultaneous focusing requires compatible vector initial data and is not automatic for every oscillatory solution.

In flat spacetime take a twist-free beam's two screen Jacobi factors to be $1+\lambda$ and $1-\lambda$. They solve the zero-curvature geodesic deviation equation. Their product is the displayed area, and subtracting the trace from their optical matrix gives the displayed nonnegative shear. Direct differentiation yields $(A^{1/2}{)}^{\prime \prime }=-(1-{\lambda }^2{)}^{-3/2}=-{\sigma }^2{A}^{1/2}$, an explicit check of the focusing sign.

General relativity describes gravity through the geometry of spacetime. Its metric tensor specifies distances, proper time measured by clocks, and the causal structure that limits communication. Matter and radiation affect this geometry through the Einstein field equations; freely falling test particles follow geodesics of the resulting geometry. A planet's orbit and a falling apple therefore belong to the same geometric story. The Newtonian limit recovers familiar Newtonian gravity when fields are weak and speeds are small compared with the speed of light. See David Tong's introduction to general relativity.

The most direct way to understand spacetime curvature is to compare neighboring freely falling bodies. Even when each body feels weightless, their separation can change: this is geodesic deviation, observed as a tidal force. Curvature concerns these relative measurements, rather than the shape of a drawing in an imagined surrounding space. A second accessible measurement is gravitational time dilation: identical clocks maintained at different heights accumulate different proper times. Together, tides and clocks turn an abstract geometry into laboratory questions.

At first order, geodesic deviation gives ${\ddot{\xi }}_i={\ddot{h}}_{ij}{X}^j/2$ for a small detector in a plane gravitational wave in linearized gravity. For physical initial displacement zero and initial velocity $V_i$, integration gives ${\xi }_i=[h_{ij}(t)-h_{ij}(0)]X^j/2+[V_i-{\dot{h}}_{ij}(0)X^j/2]t$. A bounded periodic response selects $V_i={\dot{h}}_{ij}(0)X^j/2$. Prescribed positions alone do not select that response when the wave has no wave-free past.

The geodesic deviation equation makes the relative gravitational acceleration proportional to the separation $L$ and a typical Riemann curvature tensor component $\mathcal{R}$. Thus tidal acceleration vanishes as $L\to 0$ at fixed bounded curvature. A uniform electric field can give different accelerations $qE/m$ at the same point, independently of separation. Relative tidal changes accumulated over a fixed long time need not vanish as a fraction of the initial separation; a local spacetime experiment must control its duration as well as its spatial size.

Using $[{\nabla }_c,{\nabla }_d]V^a=R^a{}_{bcd}{V}^b$, the Newton–Cartan gravitational connection has only the displayed Hessian components and their antisymmetric partners in the last two indices. The geodesic deviation equation gives relative acceleration $-{\partial }_i{\partial }_j\Phi \delta x^j$. The Poisson equation for Newtonian gravity is therefore $R_{ab}=4\pi G\rho (dt{)}_a(dt{)}_b$. A spatially uniform gravitational acceleration has zero tidal curvature even if the connection coefficients do not vanish in the original coordinates.

Use the curvature sign conventionwhich has the derivative ordering printed in the source for $R^i{}_{0j0}$. A Christoffel symbol is of order $\mu /r^2$, so its derivative is of order $\mu /r^3$, whereas a product of two connections is of order ${\mu }^2/r^4$. Their ratio is $\mu /r\ll 1$. The metric is stationary, hence the temporal derivative term vanishes. ConsequentlyHere $g_{00}=-1+2\mu /r$, and ${\partial }_i{\partial }_j(1/r)=(3x_i{x}_j-r^2{\delta }_{ij})/r^5$. The weak-field tidal curvature in a stationary metric is

Printed sign inconsistency. The source's positive half-Hessian and its final negative-prefactor expression are the opposites of this result. A concrete check at $(r,0,0)$ is ${\Gamma }^1{}_{00}\simeq \mu /r^2$, giving ${\partial }_1{\Gamma }^1{}_{00}=-2\mu /r^3$, while the printed final expression gives $+2\mu /r^3$. Thus both printed equalities cannot hold with its stated derivative ordering. Reversing the definition of the Riemann curvature tensor would give the printed final sign, but would also require reversing the curvature term in the geodesic deviation equation. The convention used here and in the next part gives the physical radial stretching and transverse compression.

Geodesic deviation compares neighboring members of a family of freely falling trajectories. Subtracting their geodesic equations to first order in the connecting vector gives a covariant relative-acceleration equation governed by the Riemann curvature tensor. For a slowly moving satellite, $u^0=c\dot{t}\simeq c$ dominates the spatial components. Choose simultaneous spatial separation in a locally transported frame, take the weak-field approximation, and neglect terms quadratic in the small separation and higher velocity corrections. The leading spatial equation becomesReplacing the transported covariant derivatives by ordinary derivatives is a leading local or Newtonian approximation; a rotating orbital frame would introduce additional inertial terms. In the convention established above, the instantaneous tidal acceleration stretches radial separations and compresses transverse ones.

The growth expected for nearby different-radius circular orbits is especially transparent from Kepler's third law. If the radii are $R$ and $R+\delta R$, their coordinate angular frequencies differ by $\delta \Omega \simeq -(3/2)\Omega \delta R/R$. Initially aligned orbits therefore acquire an along-track separation $R\delta \Omega t\simeq -(3/2)\Omega \delta Rt$. Over the interval in which the nearby-orbit approximation remains valid, this produces a growing separation without needing to solve the deviation equation.

This growth is not universal or indefinitely unbounded. Equal-radius co-orbiting geodesics with a fixed phase offset have constant separation, and slightly inclined equal-radius circular orbits have bounded, periodically varying separation. Even different-radius circular orbits have bounded exact positions; their relative angle eventually wraps around. The secular drift statement assumes distinct radii and describes the local differential-orbit regime.

Take the real physical wave and write $h(t,z)=A\cos [k(z-ct)]$. The specified amplitude has zero trace, so its metric perturbation equals its trace-reversed metric perturbation. It is in transverse-traceless gauge:to first order. Assume the freely falling particles are initially at rest in these coordinates. Since $g_{00}=-1$ and $g_{0i}=0$ in coordinates $(ct,x,y,z)$,The geodesic equations therefore admitUniqueness preserves these initial conditions. Thus the coordinate locations remain fixed; this conclusion does not apply to arbitrary initially moving particles.

Coordinate position is not measured separation. In the central observer's local orthonormal frame in spacetime, and in the long-wavelength limit appropriate to a small detector, the transverse physical separations areto first order. In particular the two principal semiaxes of the ring areFor a point at angular position $\phi$ the radial displacement isThe freely falling ring in transverse-traceless gauge alternates between ellipses elongated in the $x$ and $y$ directions. Its area is unchanged to first order. This is the plus gravitational wave polarization; the axes exchange their roles after half a period.

An observer at the center detects these changing distances, for example by exchanging light signals with the particles. Equivalently geodesic deviation gives the local tidal accelerationto the same order. There is physical relative motion and nonzero Riemann curvature tensor, even though the selected coordinate positions are constant. For a detector comparable to a wavelength, its light-travel-time response must be included rather than treating all distances as simultaneously measured local lengths.

The paper uses $T_{\mu \nu }{}^{\lambda }={\Gamma }_{\nu \mu }{}^{\lambda }-{\Gamma }_{\mu \nu }{}^{\lambda }$, the negative of a common torsion tensor convention. Keep that sign throughout. Also, ${\nabla }_{\mu }{\nabla }_{\nu }\phi$ denotes the covariant Hessian, so the second derivative acts on the lower index $\nu$ of the covector ${\nabla }_{\nu }\phi$; it is not just a composition of two directional derivatives on a scalar.

Since the covariant derivative of a scalar field is its ordinary derivative,Commuting the ordinary partial derivatives therefore givesFor a vector field, write $D_{\nu }{X}^{\lambda }={\partial }_{\nu }{X}^{\lambda }+{\Gamma }_{\nu \rho }{}^{\lambda }{X}^{\rho }$. This is a tensor with one covariant and one contravariant index. HenceSubtracting the expression with $\mu ,\nu$ exchanged, the first two terms combine toThe coefficients of first derivatives of $X$ in those two terms cancel. The last terms give $({\Gamma }_{\nu \mu }{}^{\sigma }-{\Gamma }_{\mu \nu }{}^{\sigma })D_{\sigma }{X}^{\lambda }$. Identifying the curvature coefficient yieldsHere the bracket denotes antisymmetrization of the tensorial second covariant derivative, consistently with the preceding calculation.

To check tensoriality directly, antisymmetrize the supplied transformation law of the connection coefficients in the two lower indices. The inhomogeneous term vanishes because mixed coordinate second derivatives are symmetric. The remaining transformation law iswhich is precisely that of a $(1,2)$ tensor. Intrinsically, with the paper's sign,The derivative terms involving the components of $X,Y$ cancel against their Lie bracket, leaving $({\Gamma }_{\nu \mu }{}^{\lambda }-{\Gamma }_{\mu \nu }{}^{\lambda })X^{\mu }{Y}^{\nu }$. This also shows that the expression is linear over smooth functions in each argument.

Finally take the torsion-free connection and the commuting parameter fields $Y,Z$ along the geodesic family. Vanishing torsion gives ${\nabla }_{Y}Z={\nabla }_{Z}Y$, while affine geodesic parametrization gives ${\nabla }_{Y}Y=0$. The curvature operator in the specified convention isThereforeIn components this is the geodesic deviation equationThe connecting field represents infinitesimal separation within the family, so this is a linear equation for relative free-fall acceleration, rather than an exact coordinate difference for widely separated worldlines.

Displacement must be specified relative to an observer. In transverse-traceless gauge the free particles can have fixed coordinates, while their measured proper lengths oscillate. In a local, freely falling orthonormal frame, the geodesic deviation equation for an initial separation $\mathbf{X}=(X,Y,0)$ is, to first order in $H$,Its general solution with physical displacement $\mathbf{\xi }(0)=0$ and initial physical velocity $\mathbf{V}$ isThe source has been running indefinitely, so there is no wave-free initial state. Its initial conditions for an eternal monochromatic gravitational wave need more than positions to fix $\mathbf{V}$. The usual bounded, periodic response selects $V_i={\dot{h}}_{ij}(0,0)X^j/2$; if the particles instead start at physical rest at $t=0$, set $V_i=0$ and retain the linear term. Both solve the same linear geodesic deviation problem. The distinction between fixed TT coordinates and measured separation is explained in ^[ref].

Choose $\beta$ so the wave phase at the detector is $\Phi (t,0)=2\omega t$. For the bounded response the four initial placements then giveThese are displacements from the specified positions at $t=0$; positions are $\mathbf{X}+\mathbf{\xi }$. Equivalently, relative to mean positions the usual oscillatory displacement is ${\mathbf{\xi }}_{\mathrm{osc}}=h\mathbf{X}/2$ to first order. The response repeats after $\pi /\omega$.

Both plus polarization and cross polarization occur with equal amplitude and a quarter-cycle phase difference. Their superposition is circular gravitational-wave polarization, with handedness reversed when the viewing direction or source rotation is reversed. The principal stretching axis turns through half the wave phase. There is no leading longitudinal motion.

The geodesic deviation equation compares neighboring geodesics by covariant derivatives. Replacing those derivatives by ordinary derivatives of coordinate components requires a parallel transport frame along the reference geodesic. There is also an affine parameter normalization to specify: the argument of $M$ is $u$, and it becomes $\tau$ only after choosing $u=\tau$.

For the intended local tidal calculation, take the reference timelike geodesicHere $g(V,V)=-1$, so $\tau$ is proper time. Both $F$ and its first partial derivatives vanish on $\gamma$. All Christoffel symbols therefore vanish along this curve, and its coordinate basis is parallel transport along it. With the Riemann curvature tensor from part (b),The Jacobi field equation thus becomes, in this adapted frame,A purely transverse initial Jacobi field, with ${\sigma }^u={\sigma }^v={\dot{\sigma }}^u={\dot{\sigma }}^v=0$ initially, remains transverse. This transverse tidal equation of a Brinkmann plane wave describes the relative tidal acceleration of the freely falling bodies.

In vacuum write the symmetric matrix asIts instantaneous eigenvalues are $\pm \sqrt{A^2+B^2}$. The tidal acceleration stretches along one principal axis and squeezes along the perpendicular axis, with the axes allowed to vary with $u$. This describes accelerations; it does not imply monotonically growing and shrinking separations for arbitrary initial velocities. For the simple constant profile $A={\omega }^2$, $B=0$,Thus the geodesic deviation can be defocusing in one direction and oscillatory in the other. For a varying profile, diagonalizing at each instant does not decouple the ordinary differential equations without also including derivatives of the rotating eigenvectors.

Qualification of the coordinate claim. The displayed equation for ${\sigma }^v$ is not true for arbitrary coordinate displacements along arbitrary reference geodesics. For synchronized neighboring curves with $u=\tau$ and ${\sigma }^u=0$, the exact geodesic equations areTheir variation givesThe second expression need not vanish. A concrete vacuum counterexample is $M=\mathrm{diag}(1,-1)$ and the one-parameter family of timelike geodesicsEach has $g(V,V)=-1$. Differentiating with respect to $A$ produces a Jacobi fieldThis even has $g(V,\sigma )=0$, so it is a physical orthogonal separation. The covariant derivative form of geodesic deviation remains correct; the unrestricted assertion about ordinary coordinate derivatives needs the adapted reference and frame used above. If instead $\dot{u}=c$ is a constant affine parameter normalization, the transverse tidal coefficient is $c^{2}M(u)$.

The coordinate derivatives of the smooth two-parameter map commute. With a torsion-free Levi-Civita connection,because ${\Gamma }^a{}_{bc}$ is symmetric in its lower indices. Each member of the family is a geodesic, so $DV/Ds=0$. ConsequentlyThe commutator of covariant derivatives is the action of the Riemann curvature tensor. With the source's index and sign convention this givesThis is geodesic deviation: free fall relative acceleration measures curvature, even where an individual observer can eliminate the connection at one point.

For Earth's exterior Newtonian field, $\varphi =-GM/r$ and acceleration is $a_i=-{\partial }_i\varphi$. Nearby freely falling particles have relative acceleration $\delta a_i=-{\varphi }_{,ij}{Y}^j$. At the observation point align $z$ radially upward and $x,y$ horizontally. Since $GM/R_E^2=g$,The weak-field geodesic-deviation equation therefore identifiesIn these units time is measured in seconds as in the stated Newtonian comparison; if the zeroth coordinate is $ct$ instead, the curvature components acquire the corresponding $c^{-2}$ factor. A small freely falling cloud is squeezed in the two horizontal directions and stretched radially. These are tidal effects, not the uniform acceleration removed by a freely falling frame.

Their characteristic inverse-square time is $g/R_E$, so $\boxed{t_{\mathrm{tide}}=\sqrt{R_E/g}\simeq 8.1\times 10^2\mathrm{s}\simeq 13.4\min }$. One concrete thought experiment is an ideal satellite moving in a circular orbit just above a spherical Earth, ignoring atmosphere and terrain. Its orbital angular frequency is $\sqrt{GM/R_E^3}=\sqrt{g/R_E}$ and its period is $2\pi t_{\mathrm{tide}}\simeq 84$ minutes. Equivalently, initially nearby free fall trajectories develop order-one tidal changes on this characteristic scale. This is the surface tidal time scale of a spherical gravitating body.

Use $c=1$, background Minkowski spacetime metric tensor ${\eta }_{ab}=\mathrm{diag}(1,-1,-1,-1)$, and $g_{ab}={\eta }_{ab}+h_{ab}$ with small metric perturbation. All indices and derivatives in this linear approximation use $\eta$. The linearized inverse metric is ${\eta }^{ab}-h^{ab}$, and the linearized Levi-Civita connection isDefine the trace-reversed metric perturbation ${\bar{h}}_{ab}=h_{ab}-{\eta }_{ab}h/2$, with $h={\eta }^{ab}{h}_{ab}$.

An infinitesimal coordinate change $x^{\prime a}=x^a+{\xi }^a$ gives the linearized coordinate gauge transformationThe metric perturbation therefore has redundant components. The gauge invariance of the linearized Riemann tensor follows because its change contains third derivatives of $\xi$ cancelling by commutation of partial derivatives. Conversely, flat linearized metric perturbations are locally pure gauge on a contractible patch. Thus linearized curvature, rather than a particular coordinate value of $h$, detects the physical disturbance. Gauge freedom can also be restricted by global topology or boundary conditions.

Keeping the paper's curvature sign convention, its linearized Ricci tensor and scalar areThese are the negatives of the alternative frequently used curvature convention. Put $v_b={\partial }^a{\bar{h}}_{ab}$. The Linearized Einstein equations in vacuum areUnder a gauge change $v_b\mapsto v_b-\square {\xi }_b$, so solving $\square {\xi }_b=v_b$ imposes the Lorenz gauge in linearized gravity. The field equations then become $\square {\bar{h}}_{ab}=0$. The remaining residual gauge symmetry of linearized gravity has $\square {\xi }_b=0$; Lorenz gauge does not exhaust the coordinate freedom.

A Fourier mode ${\bar{h}}_{ab}=A_{ab}{e}^{i{k}_c{x}^c}$ obeys $k^a{k}_a=0$ and $k^a{A}_{ab}=0$. Hence the plane gravitational waves in linearized gravity propagate on the background light cones. Four transversality conditions and four residual gauge amplitudes leave $10-4-4=2$ physical degrees of freedom. The explicit plane-wave reduction to transverse-traceless gauge can set $h_{0a}=0$, spatial trace zero and $k^i{h}_{ij}=0$. For a wave in the $z$ direction, write its physical spatial strain as $H_{ij}=-h_{ij}$, so the spatial metric tensor is $-({\delta }_{ij}+H_{ij})$:There are two gravitational wave polarizations, plus polarization and cross polarization. Rotating transverse axes through $\theta$ rotates their amplitude pair through $2\theta$. Nonconstant profiles with nonzero second derivative have nonzero linearized Riemann curvature tensor and cannot be removed as pure gauge.

The TT coordinate separation and measured separation distinction explains a detector's response. Freely falling particles initially at rest can keep fixed TT coordinates, since ${\Gamma }^a{}_{00}=0$, while their proper separation changes. For a short arm along a unit vector $n$,This is the tidal response described by geodesic deviation; coordinate motion by itself is not the measured signal.

Finally, gravitational-wave energy is second order in the perturbation, so it is absent from a first-order vacuum equation. In a short-wavelength averaging regime the averaged stress-energy of transverse gravitational waves isFor a plane wave its energy flux is $(16\pi G{)}^{-1}⟨{\dot{H}}_{+}^2+{\dot{H}}_{\times }^2⟩$. The averaging scale and weak-field assumptions matter: this does not assign a coordinate-independent local gravitational energy density to an arbitrary first-order perturbation.

Interpret $A$ first as an infinitesimal screen area transported along generators of a future event horizon, not as the total area of an arbitrary trapped surface. Horizon generators form an affinely parametrized, hypersurface-orthogonal null geodesic congruence. The two-dimensional screen metric is positive definite. Its optical tensor has zero twist and decomposes asThe scalar here agrees with the supplied derivative definition: nullness and the affine geodesic equation remove the longitudinal terms in the contracted norm, leaving $B_{AB}{B}^{AB}-{\theta }^2/2$.

To derive the focusing equation, vary neighbouring geodesics and let $J$ be their screen Jacobi map. The geodesic deviation equation is $J^{\prime \prime }=-\mathcal{R}J$, where ${\mathcal{R}}_{AB}=R_{AcBd}{p}^c{p}^d$. Hence $B=J^{\prime }{J}^{-1}$ satisfies $B^{\prime }=-B^2-\mathcal{R}$. Taking its screen trace yields the Null Raychaudhuri equationSet $a=A^{1/2}$. Since $a^{\prime }/a=\theta /2$, the area-square-root optical focusing equation isThe PDF's plus sign before ${\sigma }^2$ is inconsistent with its own positive shear definition. This is an actual source error, not an antisymmetrization or curvature-sign convention.

For an explicit check, take a flat-space twist-free beam with screen Jacobi factors $1+\lambda$ and $1-\lambda$, for $|\lambda |<1$. ThenIts Ricci term is zero, so the result equals $-{\sigma }^2{A}^{1/2}$ and has the opposite sign to the printed equation. This is flat-space anisotropic beam shear focusing.

Under the null convergence condition $R_{ab}{p}^a{p}^b\ge 0$, the correct equation gives concavity of each local area square root. Equivalently ${\theta }^{\prime }\le -{\theta }^2/2$. If a horizon generator had $\theta ({\lambda }_0)={\theta }_0<0$, integration gives a focal point within affine distance at most $2/|{\theta }_0|$. Such a generator could not remain on an achronal boundary beyond the focal point. Under the usual global hypotheses that horizon generators remain regular and future complete, this contradicts their being generators of the event horizon. Hence $\theta \ge 0$ and $A^{\prime }=\theta A\ge 0$. Integrating over the horizon patches, and including newly joining generators which can add area, proves Hawking's area theorem. Global predictability/completeness assumptions are essential; the local differential inequality alone is not a theorem about arbitrary trapped-surface areas.

For the perfect fluid stress tensor, null contraction eliminates the pressure-metric term:A nonzero null vector cannot be orthogonal to a timelike fluid velocity. Thus the perfect-fluid null energy condition is preciselySeparate requirements $\rho \ge 0$ or $p_{\mathrm{fluid}}\ge 0$ are not needed for this null focusing argument. With the Einstein equation, $R_{ab}{p}^a{p}^b=8\pi T_{ab}{p}^a{p}^b$.

A cosmological constant contributes only a term proportional to $g_{ab}$, whose null contraction is zero:Therefore a nonzero cosmological constant does not change the fluid condition or the local area-focusing argument, though it can change the global asymptotics and which horizons and completeness hypotheses are appropriate.

The Pound-Rebka experiment measures a small gravitational redshift by comparing nuclear emission and resonant absorption at different heights in Earth's field. The $14.4\mathrm{keV}$ transition of iron-57 supplies the gamma-ray frequency standard. The Mössbauer effect permits recoil-free emission and absorption by nuclei bound in solids, giving a sufficiently narrow resonance. A source and absorber separated vertically by about $22.6\mathrm{m}$ have a predicted fractional frequency difference of order $2.5\times 10^{-15}$. A calibrated Doppler effect from slow source motion measures the shift through its effect on resonant absorption. Interchanging the upper and lower arrangements reverses the gravitational contribution and helps separate it from intrinsic source-absorber offsets; temperature-dependent frequency shifts must also be controlled. The observed change agrees with the weak-field prediction.

The prediction follows either from an accelerating laboratory and the equivalence principle, or directly from a static metric. With $x^0=ct$, write $g_{00}=N^2\simeq 1+2\Phi /c^2$. The time-translation Killing vector field gives a conserved photon energy $E_{\xi }=p_a{\xi }^a$, while a static observer has four-velocity $u^a={\xi }^a/N$ and measures $h\nu =E_{\xi }/N$. ThusFor an upward ray over height $H$, $\Delta \nu /\nu \simeq -gH/c^2$; downward propagation has the opposite sign. The equivalent compensating Doppler speed has magnitude $gH/c$, about $7.4\times 10^{-7}\mathrm{m}{\mathrm{s}}^{-1}$ for this baseline. Identical clocks at rest have $d\tau =Ndt$, so a clock at higher potential runs faster relative to the common static coordinate time. This does not mean that the nuclear transition changes its locally measured frequency with height: the comparison involves transporting a photon between different local proper-time standards.

The weak equivalence principle asserts universal free fall for test bodies. The Einstein equivalence principle adds local Lorentz invariance and local position invariance for nongravitational experiments in a freely falling laboratory. The redshift comparison tests the clock aspect of local position invariance and supports a metric description of gravity. The strong equivalence principle extends these requirements to self-gravitating bodies and local gravitational experiments, including the contribution of gravitational binding energy. Their outcomes should be independent of the external location and motion of a freely falling laboratory when tidal effects are negligible. A nuclear redshift experiment is therefore not a test of the whole strong equivalence principle, and its success does not uniquely establish the gravitational field equations.

The geometrical realization uses the Levi-Civita connection of a spacetime metric. At any event, normal coordinates make $g_{ab}={\eta }_{ab}$ and the Christoffel symbols vanish. Freely falling test particles follow geodesics; local nongravitational equations take their special-relativistic form at that event. The Riemann curvature tensor need not vanish, so finite laboratories can measure tidal geodesic deviation. The strong principle concerns removing a uniform external gravitational field locally, not removing curvature throughout an extended region.

For a perfect fluid, local rest-frame isotropy and the absence of heat flux or viscosity give $T^{\hat{a}\hat{b}}=\mathrm{diag}(\rho ,p,p,p)$, where $\rho$ is rest-frame energy density. With the PDF's signature $(+---)$, $u^a{u}_a=1$ and $h^{ab}=g^{ab}-u^a{u}^b$ projects spatially. Its covariant form isThe pressure sign follows from the negative spatial metric; it gives positive diagonal stresses in the rest frame. Local stress-energy conservation, ${\nabla }_a{T}^{ab}=0$, produces the two projectionsThe first is the energy equation, including pressure work; the second is the relativistic Euler equation. Its rest-frame spatial pressure force is $-\nabla p$.

Further assumptions are needed to derive the Einstein field equations. Take a local generally covariant metric equation, linear in curvature and of second differential order, and demand compatibility with stress-energy conservation. The available rank-two tensors are $R_{ab}$, $R{g}_{ab}$ and a constant multiple of $g_{ab}$. Defining $R_{ab}=R^c{}_{acb}$, the contracted Bianchi identity gives ${\nabla }^a{R}_{ab}=\frac{1}{2}{\nabla }_{b}R$. Hence the combination $R_{ab}+\alpha R{g}_{ab}$ is identically divergence-free only when $\alpha =-\frac{1}{2}$. This determines the Einstein tensor $G_{ab}=R_{ab}-R{g}_{ab}/2$; a cosmological constant term remains allowed.

The coupling sign must be matched to the actual curvature convention. Here $R^a{}_{bcd}$ represents $[{\nabla }_d,{\nabla }_c]$, and a static weak field has $R_{00}\simeq -{\nabla }^2\Phi /c^2$. With negligible pressure and cosmological term, a trial equation $G_{ab}=C{T}_{ab}$ implies $R_{00}\simeq C{\rho }_{\mathrm{mass}}{c}^2/2$. Comparing with the Poisson equation ${\nabla }^2\Phi =4\pi G{\rho }_{\mathrm{mass}}$ fixes $C=-8\pi G/c^4$. Thus the Einstein equation in the sequential-derivative curvature convention isEquivalently, $R_{ab}=\Lambda g_{ab}-(8\pi G/c^4)(T_{ab}-T{g}_{ab}/2)$, with $T=\rho -3p$. Pressure therefore gravitates as well as supplying a material force. The cosmological constant is not fixed by the local Newtonian matching.

Setting $c=1$ for the action normalization, the same metric equation follows from the Einstein-Hilbert action $S_g=(2\kappa {)}^{-1}\int \sqrt{-g}(R-2\Lambda )d^{4}x$, where $\kappa =8\pi G$, together with a matter action obeying $\delta S_m=\frac{1}{2}\int \sqrt{-g}{T}_{ab}\delta g^{ab}{d}^{4}x$. After the metric boundary term is removed or supplied separately, the bulk variation is proportional to $G_{ab}+\Lambda g_{ab}+\kappa T_{ab}$. This also makes the sign convention explicit. General covariance, the field equation and the contracted Bianchi identity are mutually consistent with the fluid conservation laws. The experiment motivates the local metric description; the curvature and conservation assumptions, plus the Newtonian limit, supply the additional route to the field equation.

Work to first order in a metric perturbation $g_{ab}={\eta }_{ab}+h_{ab}$, with $\eta =\mathrm{diag}(1,-1,-1,-1)$, raising perturbation indices with $\eta$ and discarding quadratic terms. The Christoffel symbols areUsing the printed curvature convention gives the linearized Riemann curvature operatorFor definiteness contract $R_{bd}=R^a{}_{bad}$. The corresponding first-order Ricci tensor isThis is the reversed sign convention specified in curvature-sign convention in Killing derivative identities; the vacuum equation is unaffected by an overall curvature sign.