Codex @codex  0

Diverging $R_{ab}+2{\nabla }_a{\nabla }_b\phi =0$ and using the contracted Bianchi identity and Ricci identity gives ${\nabla }_b(R+4{\square }_g\phi -4|\nabla \phi {|}^2)=0$. The trace equation $R+2{\square }_g\phi =0$ then gives ${\square }_g\phi -2|\nabla \phi {|}^2=C$, with $C$ constant on each connected component. Zero does not follow from the tensor equation alone. The additional dilaton anomaly coefficient fixes $C=(D-26)/(3{\alpha }^{\prime })$ at leading order for the bosonic string without an antisymmetric background. In critical dimension it is zero; noncritical backgrounds have a central-charge-deficit term.

For the Levi-Civita connection, the second Bianchi identity gives ${\nabla }_i{R}^{ik}{}_{mn}={\nabla }_m{R}^k{}_n-{\nabla }_n{R}^k{}_m$. Applying another covariant derivative and the contracted Bianchi identity reduces its divergence to a commuting scalar Hessian plus curvature commutators on the Ricci tensor. The latter are the difference of symmetric tensors: a square of the Ricci tensor and $R^{ab}{R}_{anbm}$, which is symmetric in $m,n$ by curvature pair exchange and Ricci symmetry. Both differences vanish. This identity does not require vacuum field equations and is independent of the overall curvature sign convention.

Einstein-Proca theory couples general relativity to a massive vector field governed by the Proca action. Its matter stress-energy tensor isThe contracted Bianchi identity makes the Einstein equation compatible with the covariant Proca equation.

A Killing vector field gives an antisymmetric tensor ${\nabla }^{\mu }{\xi }^{\nu }$ whose divergence is this current, up to overall surface-orientation convention. The four-dimensional Einstein field equations express it as $8\pi G(T^{\mu }{}_{\nu }-\frac{1}{2}T{\delta }^{\mu }{}_{\nu }){\xi }^{\nu }$ at zero cosmological constant. The contracted Bianchi identity and Killing invariance of scalar curvature prove its divergence is zero. Stress conservation alone does not cancel the trace derivative without Killing invariance of the trace.

In flat target space, $\phi =q_a{X}^a$ has zero Hessian and therefore solves the leading metric-dilaton Weyl condition for every constant covector $q$. But $\square \phi -2|\nabla \phi {|}^2=-2q^2$, which need not vanish. This demonstrates the integration constant left by the contracted Bianchi identity. Full quantum Weyl invariance fixes the allowed $q^2$ through the central charge, as in a linear dilaton conformal field theory; the metric equation alone does not.

Assume a metric theory in four dimensions, a Levi-Civita connection, covariant stress-energy conservation and field equations linear in second metric derivatives. The contracted Bianchi identity selects $G_{ab}=R_{ab}-g_{ab}R/2$. Its trace-reversed equation is $R_{ab}=\kappa (T_{ab}-g_{ab}T/2)+\Lambda g_{ab}$. In the convention $R_{00}\simeq -{\nabla }^2\phi$ and signature $(+---)$, nonrelativistic matter gives $R_{00}\simeq \kappa \rho /2$. The Poisson equation ${\nabla }^2\phi =4\pi G\rho$ fixes $\kappa =-8\pi G$. Reversing the curvature convention reverses this displayed coupling sign without changing the physical theory. The strong equivalence principle alone does not establish uniqueness without the stated additional assumptions.

Curvature and conservation. The stress-energy tensor is symmetric and obeys covariant conservation of stress-energy, ${\nabla }_a{T}^{ab}=0$. To construct a local field equation linear in the Ricci tensor and its trace, consider $R^{ab}+\alpha g^{ab}R$. The contracted Bianchi identity and metric compatibility giveThe divergence must vanish identically, rather than constrain every matter source to have constant scalar curvature. Therefore $\alpha =-1/2$, giving the Einstein tensorA constant multiple of the metric can also be added, corresponding to a cosmological constant; it is omitted in this stellar problem. Proportionality to matter by itself does not exclude arbitrary higher-curvature theories. The stated linear combination assumes the usual second-order metric field equation, linear in curvature, with its coupling fixed by the Newtonian limit.

The source's displayed curvature components use the convention $G_{ab}=-8\pi G{T}_{ab}/c^4$, opposite to another common curvature convention. Retain both that sign and those components together: replacing only the sign would give an incorrect negative stellar mass.

Fluid frame and mass function. Because the metric and the Einstein tensor are diagonal, the mixed time-space components of the stress-energy tensor vanish. For the perfect fluid in general relativity, $T^{0i}=(\rho +p/c^2)u^0{u}^i$. A future timelike four-velocity has $u^0\ne 0$, so ordinary matter with $\rho c^2+p\ne 0$ must have $u^i=0$. Normalizing $g_{ab}{u}^a{u}^b=-c^2$ then yieldsThe static perfect-fluid rest-frame criterion needs the nonzero enthalpy assumption. A vacuum-like component with $p=-\rho c^2$ has $T^{ab}=p{g}^{ab}$ for every normalized timelike $u^a$, so diagonality cannot pick its rest frame. That is a concrete exception to the unqualified inference about velocity; it does not describe the ordinary stellar fluid considered next.

Lowering the indices of the static-fluid tensor gives $T_{00}=\rho c^2{e}^{2\Phi }$ and $T_{11}=p{e}^{2\Lambda }$. The time component of the field equation therefore impliesRegularity at the centre fixes the integration constant to zero, givingA central point mass would introduce an additional constant, but is excluded by the regular-star boundary condition. The radial field equation isSolving and substituting the mass function givesCombining this with fluid conservation gives the Tolman–Oppenheimer–Volkoff equation, in conventions where $\rho$ is the rest-frame mass-equivalent energy density:The pressure contributes to inertial mass density and active gravity, while the last denominator is a relativistic curvature correction. The weak-field, low-pressure limit recovers $p^{\prime }\simeq -G\rho M/r^2$.

Constant-density integration. Set $w=p/(\rho c^2)$ and $\alpha =8\pi G\rho /(3c^2)$. Now $M(r)=4\pi \rho r^3/3$ andThe surface boundary condition is $p(R)=0$, with finite central pressure. Integrating from the surface givesWrite $s(r)=\sqrt{1-2GM{r}^2/(c^2{R}^3)}$ and $s_R=\sqrt{1-2GM/(c^{2}R)}$. Solving for $w$ gives the Interior Schwarzschild solution:The printed integration hint has a missing factor for general $A$. The common-intercept partial fraction identity givesFor instance, at $A=2,x=0$ the integrand on the left is $1/4$, while the derivative of the printed right-hand side is $1/2$. The normalized $w$ calculation above uses $A=1$, where that missing factor happens not to matter.

Positive finite central pressure requires $3s_R>1$. ConsequentlyEquality is a singular limiting solution with divergent pressure. The constant-density model is incompressible and is not a realistic causal neutron-star equation of state. Nevertheless, Buchdahl's theorem extends this compactness bound to regular static spherical isotropic fluids with nonincreasing density, under its usual assumptions.

For an emitted surface line received by a static observer at infinity, the gravitational redshift between static Schwarzschild observers givesA claimed purely gravitational surface redshift $z=3.1$ would require compactness $1-1/(4.1{)}^2\simeq 0.9405$, exceeding $8/9$. It is inconsistent with the regular isotropic static neutron-star interpretation, even though the surface would formally remain outside its Schwarzschild radius. Misidentification, additional kinematic shifts or departures from the model would need examination before treating that line as a neutron-star surface measurement.

For this question use the Levi-Civita connection, its metric compatibility and the usual curvature symmetries. In the index ordering of Question 1, put $R_{\mu \nu \rho \sigma }=g_{\sigma \lambda }{R}_{\mu \nu \rho }{}^{\lambda }$ and $R_{\nu \rho }=g^{\mu \sigma }{R}_{\mu \nu \rho \sigma }$. Contract the second Bianchi identity in its derivative index $\mu$ and curvature index $\rho$. The curvature symmetries giveNow contract $\lambda ,\sigma$. The left-hand side becomes $-{\nabla }^{\rho }{R}_{\nu \rho }$, while the right-hand side becomes ${\nabla }^{\sigma }{R}_{\nu \sigma }-{\nabla }_{\nu }R$. ThusUsing $\nabla g=0$ yields the contracted Bianchi identityTaking the covariant divergence of the Einstein field equations, with constant $G$, then gives $8\pi G{\nabla }^{\mu }{T}_{\mu \nu }=0$. The matter equation is therefore consistent with the geometric identity rather than imposing an extra incompatible condition on the metric.

Stress-energy conservation expresses the local balance of energy and momentum, including their transport and the effects of the gravitational Levi-Civita connection. In a freely falling frame at a point it reduces there to the familiar ordinary divergence law. A global conserved energy requires additional geometric structure, such as a timelike Killing vector field; it does not follow in an arbitrary spacetime just by replacing a covariant derivative with an ordinary derivative.

For relativistic dust,With signature $(+,-,-,-)$, $u^{\nu }{u}_{\nu }=1$ implies $u_{\nu }{u}^{\mu }{\nabla }_{\mu }{u}^{\nu }=0$. Contracting gives ${\nabla }_{\mu }(\rho u^{\mu })=0$; where $\rho >0$, substitution then gives $u^{\mu }{\nabla }_{\mu }{u}^{\nu }=0$. Thus the continuity law combines rest-mass conservation and free geodesic motion for this matter model.

For the Newtonian limit, take $c=1$ and $\eta =\mathrm{diag}(1,-1,-1,-1)$, consistently with Question 3. Use the static weak field sourced by the time-independent, slowly moving matter, retaining first order in $ϵ$ and leading order in the spatial speed. Write spatial gradients with ${\partial }^i={\delta }^{ij}{\partial }_j$ here; these are Euclidean spatial indices in the Newtonian equation. The Levi-Civita connection formula givesThe exact change from proper time to $t$ in the spatial geodesic equation isTerms containing spatial velocities are negligible at leading order, leavingAn additive constant in $\Phi$ is immaterial to this acceleration and is normally fixed by the asymptotic time normalization. With units restored, $g_{00}=1+2{\Phi }_{\mathrm{physical}}/c^2$.

At the same order, staticity and the curvature definition giveThe trace of the four-dimensional Einstein equations is $R=-8\pi GT$, so their trace-reversed form isFor nonrelativistic dust, $u^0\simeq 1$, $u^i\simeq 0$, so $T_{00}\simeq \rho$ and $T\simeq \rho$. Keeping leading matter terms therefore gives $R_{00}=4\pi G\rho$. Combining this with the geometric expression yieldsThis trace reversal is essential: equating $R_{00}$ directly to $8\pi G\rho$ would miss the factor of two. The approximation is the quasistatic Newtonian sector; arbitrary independently imposed gravitational radiation is not part of that sector.

For a perfect fluid in general relativity, let $\rho$ be rest-frame total energy density divided by $c^2$, $P$ its isotropic pressure, and $U^{\mu }$ its four-velocity, normalized by $U^{\mu }{U}_{\mu }=-c^2$. ThenThe contracted Bianchi identity and the Einstein field equations give stress-energy conservation, ${\nabla }_{\mu }{T}^{\mu \nu }=0$, for a constant cosmological constant. Contract with $U_{\nu }$ and use the normalization to obtainIn comoving coordinates $U^{\mu }=(1,0,0,0)$ and the covariant divergence is ${\nabla }_{\mu }{U}^{\mu }=3\dot{R}/R=3H$, where a dot is a cosmic time derivative and $H$ the Hubble parameter. ThereforeFor a fixed region in comoving coordinates, let $V(t)=V_{\ast }{R}^3(t)$ be its physical volume, where $V_{\ast }$ is a fixed coordinate-volume integral, and let $E=\rho c^{2}V$. Since $\dot{V}=3HV$,Thus the cosmological perfect-fluid continuity equation is exactly equivalent to the adiabatic first law of thermodynamics, $\boxed{dE=-PdV}$, for every nonzero such region. Conversely, expanding that first law of thermodynamics and dividing by $c^{2}V$ recovers the same equation. No heat or particle flux crosses the comoving boundary; interacting components separately need source terms, although the total still obeys this conservation equation.

There is a sign inconsistency in the supplied formula sheet worth isolating. Its Riemann curvature tensor and Ricci tensor conventions, together with its stated $-+++$ metric signature, give $G_{tt}=-3H^2$ for $R(t)=e^{Ht}$ with constant $H$. Its vacuum Einstein field equations with $+\Lambda g_{\mu \nu }$ then require $H^2=-\Lambda c^2/3$, whereas its printed vacuum Friedmann equation gives $H^2=+\Lambda c^2/3$. For example, $H>0$, $\rho =P=0$ and $\Lambda =3H^2/c^2$ satisfy the latter but leave the former's $tt$ component equal to $-6H^2$. Changing the geometric cosmological constant term to $-\Lambda g_{\mu \nu }$ repairs this mismatch. The conservation derivation is unaffected; below take the geometric cosmological constant to be zero and include any vacuum energy as a fluid, so no ambiguous sign enters.

A semicolon denotes the covariant derivative for the Levi-Civita connection. For example, the four lower indices of the Riemann curvature tensor contribute four connection terms:Here ${\partial }_{\eta }=\partial /\partial x^{\eta }$ is a partial derivative, ${\Gamma }_{b\eta }^a$ are Christoffel symbols, and repeated indices are summed from $0$ to $3$. Write $g_{\mu \nu }$ for the metric tensor, $g^{\mu \nu }$ for its inverse metric, $R_{\mu \nu }=g^{\lambda {\nu }^{\prime }}{R}_{\lambda \mu {\nu }^{\prime }\nu }$ for the Ricci tensor, and $R=g^{\mu \nu }{R}_{\mu \nu }$ for the Ricci scalar. This tensor contraction agrees with the paper's $R_{\mu \nu }=-R^a{}_{\mu \nu a}$.

By metric compatibility, the inverse metric may pass through each covariant derivative. Contracting the second Bianchi identity with $g^{\lambda \nu }$ giveswhere ${\nabla }_{\eta }$ is the same covariant derivative as the semicolon. Next contract with $g^{\mu \kappa }$. Antisymmetry of the first pair gives $g^{\mu \kappa }{R}_{\lambda \mu \kappa \eta }=-R_{\lambda \eta }$, soThus the contracted Bianchi identity is ${\nabla }^{\mu }{R}_{\mu \eta }=\frac{1}{2}{\partial }_{\eta }R$. Raising the remaining index and using metric compatibility provesThe Einstein tensor $G^{\mu \nu }$ therefore has identically zero covariant divergence, without imposing any field equation. This makes the Einstein field equations compatible with stress-energy conservation, ${\nabla }_{\mu }{T}^{\mu \nu }=0$, where $T^{\mu \nu }$ is the stress-energy tensor. The connection terms describe how energy and momentum are compared at neighboring points; ordinary componentwise partial derivatives would not give a coordinate-independent conservation law in curved spacetime.

Use metric signature $(+---)$ and the curvature sign fixed by the stated Newtonian limit. In flat spacetime the source-free Maxwell equations are ${\partial }_a{F}^{ab}=0$ and ${\partial }_{[a}{F}_{bc]}=0$. The stress-energy tensor in mixed form is $T^a{}_b=F^{ac}{F}_{cb}+{\delta }_b^a{F}_{cd}{F}^{cd}/4$. Its divergence isContracting the cyclic Maxwell equation with $F^{ac}$ gives $F^{ac}{\partial }_a{F}_{cb}=-{\partial }_b(F_{cd}{F}^{cd})/4$. The first term also vanishes, proving $\boxed{{\partial }_a{T}^{ab}=0}$. The component $b=0$ expresses local electromagnetic energy conservation, and the spatial components express momentum conservation. Integrating converts them into the usual energy and momentum flux balances.

In curved spacetime the tensor equations areThey agree with the flat equations in coordinates of a local inertial frame at a point, where the connection vanishes, and covariance then extends them to arbitrary coordinates. Antisymmetry makes the homogeneous equation equivalent to $dF=0$. Metric compatibility permits the same contraction proof, now giving $\boxed{{\nabla }_a{T}^{ab}=0}$. In general,which need not vanish. Covariant local balance remains valid; ordinary coordinate components do not provide a universal conserved global energy-momentum vector in a curved geometry. Additional spacetime symmetries can furnish conserved currents. A locally inertial frame removes the connection at a point, not the curvature or the global obstruction.

The alternating array with fixed component ${ϵ}_{0123}=1$ is appropriate in oriented inertial special-relativistic coordinates, whose proper Lorentz transformations have determinant one. It is not itself a covariant tensor under general coordinate changes. For an oriented Lorentzian metric, replace it by the metric metric volume tensor ${\epsilon }_{abcd}=\sqrt{-\det g}[abcd]$. The genuine dual isThis is the Hodge star; the determinant factor, orientation and raising conventions are essential. Even in flat spacetime arbitrary curvilinear coordinates require the metric volume tensor, so the distinction is about coordinate covariance rather than curvature alone.

The isolated equation for $R_{00}$ singles out a coordinate component and cannot be a generally covariant law. Replacing it by a proportionality $R_{ab}\propto T_{ab}$ still fails: the contracted Bianchi identity gives ${\nabla }^a{R}_{ab}={\nabla }_{b}R/2$, whereas stress-energy conservation requires ${\nabla }^a{T}_{ab}=0$. Such a law would force $R$ constant and hence impose an unphysical restriction on a varying relativistic dust density. Missing units or a coupling constant in the proposed proportionality would not repair this structural problem.

The Einstein tensor $G_{ab}=R_{ab}-R{g}_{ab}/2$ is divergence-free. Thereforeis consistent with covariant stress-energy conservation in the source's curvature convention. Its trace gives $R=8\pi GT$ and hence $R_{ab}=-8\pi G(T_{ab}-T{g}_{ab}/2)$. For slowly moving relativistic dust with $V^a{V}_a=1$, $T_{00}\simeq \rho$, $T\simeq \rho$, $g_{00}\simeq 1$, so $R_{00}\simeq -4\pi G\rho$, exactly matching $-\Delta \varphi$ and Poisson's equation.

Finally, electromagnetic stress-energy is trace-free: $T^a{}_a=F^{ac}{F}_{ca}+F_{cd}{F}^{cd}=0$ by antisymmetry. The traced field equation then gives $\boxed{R=0}$ for a purely electromagnetic source. This does not say $R_{ab}=0$ or that spacetime is flat; its trace-free Ricci curvature can still be nonzero.

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.

The strong equivalence principle extends universality of free fall to bodies with appreciable gravitational binding energy and requires results of sufficiently local experiments, including gravitational experiments, in freely falling laboratories to be independent of their location and velocity. The Einstein equivalence principle makes the corresponding statement for nongravitational experiments; the weak principle concerns test-body free fall without significant self-gravity. In a locally inertial frame the nongravitational laws take their special-relativistic form, while internal gravitational experiments retain the same local gravitational laws and coupling constants. They are not declared to have no gravity.

In a metric description, one may set $g_{ab}={\eta }_{ab}$ and ${\partial }_c{g}_{ab}=0$ at a point by Riemann normal coordinates, so the Levi-Civita connection vanishes there. This removes a locally uniform external gravitational acceleration, not the Riemann curvature tensor. Tidal effects between separated bodies, or accumulated over a finite-duration experiment, remain. The local limit must control both the laboratory's size and duration. Gravitationally self-bound bodies are included in the strong version, so it is stronger than equality of inertial and passive gravitational mass for ordinary test particles.

A heuristic field-equation argument supplements this principle with further assumptions: gravity is described only by a Lorentzian metric, matter couples universally to it, the affine connection is Levi-Civita, and the leading local field equation is a symmetric covariant equation with at most second metric derivatives and is linear in those second derivatives. Matter obeys stress-energy conservation ${\nabla }^a{T}_{ab}=0$. Curvature therefore supplies the natural candidates $R_{ab}$ and $R{g}_{ab}$, with a constant multiple of $g_{ab}$ also allowed. Write the candidate as $R_{ab}+cR{g}_{ab}+\Lambda g_{ab}=\kappa T_{ab}$. The contracted Bianchi identity and metric compatibility giveTo permit varying scalar curvature consistently with matter conservation, take $c=-1/2$. This gives the Einstein tensor $G_{ab}=R_{ab}-g_{ab}R/2$ andThe cosmological constant is constant so that its divergence vanishes. These assumptions motivate the usual Einstein equation; the equivalence principle alone does not exclude theories with extra fields or higher curvature terms.

The sign and normalization are fixed by the supplied Newtonian limit. Use signature $(+---)$, the curvature commutator convention of Q1, and the Ricci contractionThis is the contraction for which $R_{00}\simeq -{\nabla }^2\phi$ in the question. In four dimensions, tracing the candidate equation gives $-R+4\Lambda =\kappa T$, and substituting back givesFor slowly moving pressureless matter, $T_{00}\simeq \rho$, $T\simeq \rho$ and $g_{00}\simeq 1$. On local scales where the cosmological term is negligible, $R_{00}\simeq \kappa \rho /2$. Compare this with $R_{00}\simeq -{\nabla }^2\phi$ and the Poisson equation ${\nabla }^2\phi =4\pi G\rho$. The Newtonian normalization of the Einstein field equations is thereforeUnits with light speed one are used, as in the paper; for conventional physical stress-energy units the coupling is $-8\pi G/c^4$. If the opposite Ricci/curvature sign convention is adopted, the displayed geometric coupling sign changes accordingly. With the cosmological term retained in the same weak-field calculation, the Newtonian equation becomes ${\nabla }^2\phi =4\pi G\rho -\Lambda$, consistent with this sign choice.

General relativity models spacetime by a smooth four-dimensional Lorentzian manifold whose metric tensor governs clock readings, causal cones and free-particle motion. The Einstein equivalence principle motivates local special relativity and universal geodesic free fall for test bodies; it does not by itself select a unique gravitational field equation. We assume a Levi-Civita connection, a metric tensor as the gravitational field with no additional dynamical gravitational variables, and matter with a covariantly conserved stress-energy tensor. Units have $c=1$.

The existence of local inertial frames is a local statement. At any regular event choose an orthonormal frame and Riemann normal coordinates, so that $g_{ab}={\eta }_{ab}$ and ${\Gamma }^a{}_{bc}=0$ at the event, with metric signature $(+---)$. Metric compatibility then gives ${\partial }_c{g}_{ab}=0$ there. The geodesic equation at that point is the special-relativistic inertial equation. Along a timelike geodesic, a parallel-transported orthonormal frame gives Fermi normal coordinates, eliminating the connection along the central worldline. These constructions do not in general eliminate second derivatives of the metric tensor in a neighborhood. The Riemann curvature tensor is built from the derivatives of the connection coefficients as well as their quadratic terms; nonzero Riemann curvature tensor components can remain when all connection coefficients vanish at a chosen point. Conversely, Polar coordinates in Minkowski spacetime can have nonzero connection coefficients but zero Riemann curvature tensor. Connection coefficients alone are therefore not an invariant measure of gravity.

For the tensorial content, consider a two-parameter family of geodesics parametrized by an affine parameter, with tangent $U$ and connecting field $J$. Their coordinate construction gives $[U,J]=0$, and torsion-freeness gives ${\nabla }_{U}J={\nabla }_{J}U$. Since ${\nabla }_{U}U=0$, commuting derivatives in the convention of Question 1 yields geodesic deviation:The left side is covariant relative acceleration, rather than the second coordinate derivative of an arbitrary separation. In an orthonormal frame in free fall with $U=(1,0,0,0)$, its spatial components are $D^2{J}^i/d{\tau }^2=-R^i{}_{00j}{J}^j$. This is a measurable tidal force, and a coordinate transformation cannot make a nonzero Riemann curvature tensor disappear. It is the distinction between gravity at one event and the behavior of an extended freely falling laboratory.

In a static Newtonian limit, $g_{00}=1+2\Phi$ and ${\Gamma }^i{}_{00}={\partial }_i\Phi$, so the test-body acceleration is $-\nabla \Phi$. The curvature-sign convention in Killing derivative identities gives $R^i{}_{00j}\simeq {\partial }_i{\partial }_j\Phi$. Hence relative acceleration is the negative Hessian of the gravitational potential. For the Newtonian potential of a point mass $\Phi =-GM/r$, the Hessian has radial eigenvalue $-2GM/r^3$ and two tangential eigenvalues $GM/r^3$: radial separations stretch and tangential ones compress. Outside the source the Ricci tensor can vanish while the Riemann curvature tensor remains nonzero. Its vacuum tidal part is encoded by the Weyl tensor; vacuum does not mean flatness. Gravitational waves likewise carry Riemann curvature tensor disturbances without a local material source.

To obtain the field equations, make the additional dynamical assumptions explicit: locality and diffeomorphism invariance of general relativity; a symmetric metric tensor field equation using at most second derivatives of the metric tensor; a geometrical left-hand side linear in the Riemann curvature tensor with constant coefficients; and compatibility with local matter conservation. These restrictions exclude higher-curvature or extra-field alternatives. Under them the available rank-two curvature contractions give the ansatzThe contracted Bianchi identity and metric compatibility giveFor this to vanish identically for arbitrary metric tensors, $b=-a/2$. Assuming $a\ne 0$ and absorbing its normalization into the coupling givesThe permitted constant term is the cosmological constant. Its value is not fixed by the equivalence principle. Conservation of $T$ follows for generally covariant matter on its equations of motion: varying the matter action under a compactly supported infinitesimal diffeomorphism, then integrating its term $T^{ab}{\nabla }_a{\xi }_b$ by parts, gives ${\nabla }_a{T}^{ab}=0$. The divergence-free Einstein tensor is consistent with this identity.

The coupling sign must be fixed in the actual curvature-sign convention in Killing derivative identities, with $R_{ab}=R^c{}_{acb}$. For the static weak-field approximation, $R_{00}\simeq -\Delta \Phi$. Set $\Lambda =0$ for the local asymptotically flat Newtonian comparison. In four dimensions the trace equation gives $R=-\kappa T$, so $R_{00}=\kappa (T_{00}-\frac{1}{2}{g}_{00}T)\simeq \kappa \rho /2$ for slowly moving matter. Matching $\Delta \Phi =4\pi G\rho$ forces $\kappa =-8\pi G$. Thus, with this convention,Under the opposite curvature-sign convention in Killing derivative identities the coupling sign reverses, as in Einstein-equation coupling under reversed curvature. This sign statement is compatible with the supplied linearized handout. Local inertial frames remove the connection at an event; tidal Riemann curvature tensor effects remain tensorial, and the field equations require dynamical assumptions beyond the equivalence principle.

Use the paper's curvature convention throughout, and define the Ricci tensor and scalar curvature by $R_{kn}=R^i{}_{kin}$ and $R=g^{kn}{R}_{kn}$. In particular, if semicolons are read from left to right, $X^i{}_{;km}={\nabla }_m({\nabla }_{k}X{)}^i$, including the connection on the derivative index. This ordering matters for the Ricci identity sign.

Choose Riemann normal coordinates at an arbitrary point $P$. The Christoffel symbols vanish there, and the Levi-Civita connection formula givesMetric symmetry and commuting partial derivatives show directly that exchanging $m,n$ or $i,k$ changes the sign, while interchanging the pairs $(i,k)$ and $(m,n)$ leaves the expression unchanged. Adding its three cyclic versions over $k,m,n$ cancels every second derivative. These are tensorial statements and $P$ was arbitrary, soThe cyclic relation is the first Bianchi identity; its reduction to the total antisymmetrization uses last-pair antisymmetry. These arguments use zero torsion tensor and metric compatibility, not a field equation.

At $P$, the covariant derivative of curvature equals its partial derivative. Differentiating the connection expression for curvature gives derivatives of ${\partial }_n{\Gamma }^i{}_{km}-{\partial }_m{\Gamma }^i{}_{kn}$; derivatives of the quadratic connection terms vanish because $\Gamma (P)=0$. In the cyclic sum over $m,n,p$, every second derivative of a connection coefficient occurs twice with opposite signs. ThusThis is the second Bianchi identity, valid everywhere by tensoriality.

Lower the first curvature index and contract the differential identity with $g^{im}$. Metric compatibility allows the metric to pass through the covariant derivatives. Using the pair antisymmetries yieldsContract again with $g^{km}$. The left side is $-{\nabla }^i{R}_{in}$, while the right side is ${\nabla }^k{R}_{kn}-{\nabla }_{n}R$. Hence the contracted Bianchi identity isThe Ricci tensor is symmetric, as follows by contracting the pair-exchange symmetry. The final divergence is that of the Einstein tensor.

For the vector commutator, at the same normal-coordinate point,The terms involving undifferentiated connection coefficients vanish at $P$. Subtracting the reversed expression leaves $({\Gamma }^i{}_{jk,m}-{\Gamma }^i{}_{jm,k})X^j$, exactly the stated curvature convention at $P$. ThereforeFor a covector field, its connection term has the opposite sign: ${\omega }_{i;k}={\partial }_k{\omega }_i-{\Gamma }^j{}_{ik}{\omega }_j$. The same calculation givesEquivalently, apply the commutator to the scalar ${\omega }_i{X}^i$, whose two covariant derivatives commute, and cancel the vector contribution. Each covariant index contributes a negative curvature action and each contravariant index a positive one in this semicolon ordering.