 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 }_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.