= Solution
<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_cg_{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_UJ=\nabla_JU$. Since $\nabla_UU=0$, commuting derivatives in the convention of Question 1 yields <geodesic deviation>:
$$
\boxed{\frac{D^2J^a}{d\tau^2}=-R^a{}_{bcd}U^bU^cJ^d.}
$$
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^2J^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 ansatz
$$
F_{ab}=aR_{ab}+bRg_{ab}+c_0g_{ab}.
$$
The <contracted Bianchi identity> and <metric compatibility> give
$$
\nabla^aF_{ab}=\left(\frac a2+b\right)\nabla_bR.
$$
For this to vanish identically for arbitrary <metric tensors>, $b=-a/2$. Assuming $a\ne0$ and absorbing its normalization into the coupling gives
$$
G_{ab}+\Lambda g_{ab}=\kappa T_{ab},\qquad G_{ab}=R_{ab}-\frac12Rg_{ab}.
$$
The 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_aT^{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}-\tfrac12g_{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,
$$
\boxed{R_{ab}-\frac12Rg_{ab}+\Lambda g_{ab}=-8\pi GT_{ab}.}
$$
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. \b[<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>.]
Back to article page
