Local Inertial Frames

A local inertial frame is a coordinate system and orthonormal frame adapted to a freely falling observer so that, at one chosen event, the metric is Minkowskian and the Levi-Civita connection vanishes. This removes coordinate gravitational acceleration at that event. It cannot remove curvature, whose first effects appear through second derivatives of the metric and through relative motion across a finite laboratory.

Required background. We use Minkowski geometry, local observer frames, and the Newtonian interpretation of gravitational acceleration.

Helpful background. The construction is an application of smooth manifolds and tensor fields. Comparing it with properly accelerated frames makes clear why vanishing connection coefficients are not themselves an invariant measurement.

Constructing normal coordinates at an event

Let $p$ be an event in a smooth Lorentzian spacetime. First choose a linear change of coordinates so that the coordinate basis at $p$ is an orthonormal tetrad:

$$g_{\mu\nu}(p)=\eta_{\mu\nu} =\operatorname{diag}(-1,1,1,1).$$

Next use the exponential map. A tangent vector $X\in T_p\mathcal M$ determines the geodesic starting at $p$ with initial tangent $X$; its components define Riemann normal coordinates in a convex normal neighborhood. Radial geodesics then have the form $x^\mu(\lambda)=\lambda X^\mu$. Substitution into the geodesic equation for arbitrary $X^\mu$ gives

$$\Gamma^\rho{}_{\mu\nu}(p)=0.$$

Metric compatibility consequently implies $\partial_\alpha g_{\mu\nu}(p)=0$. Reall derives this result directly from the normal-coordinate construction Reall 2013, § 4.4, pp. 47–48, PDF. The cancellation relies on second derivatives of the coordinate transformation, which appear inhomogeneously in the transformation law for $\Gamma^\rho{}_{\mu\nu}$. That is why the connection can be made zero even though it is not a tensor.

For a freely falling observer, choose the timelike tetrad leg to equal the observer’s four-velocity at $p$. A massive geodesic through the event then satisfies $d^2x^\mu/d\tau^2=0$ there. Local nongravitational equations expressed in this tetrad take their special-relativistic form at the central event.

The quadratic metric term

The remaining information begins at second order. With the curvature convention

$$[\nabla_\alpha,\nabla_\beta]V^\rho =R^\rho{}_{\sigma\alpha\beta}V^\sigma,$$

the Riemann-normal expansion is

$$g_{\mu\nu}(x) =\eta_{\mu\nu} -\frac13 R_{\mu\alpha\nu\beta}(p)x^\alpha x^\beta +O(L^3),$$

where $L$ bounds all coordinate separations, including elapsed time in the inherited units. The omitted cubic coefficient contains $\nabla R$; the quartic coefficient contains both $\nabla^2R$ and products of curvature. The remainder notation assumes these coefficients are bounded in the neighborhood. Correspondingly,

$$\Gamma^\rho{}_{\mu\nu}(x) =-\frac13\left( R^\rho{}_{\mu\nu\alpha} +R^\rho{}_{\nu\mu\alpha} \right)_p x^\alpha+O(L^2).$$

A nearly Minkowskian laboratory requires small dimensionless corrections such as $|R|L^2$, $|\nabla R|L^3$, and $(|\nabla^2R|+|R|^2)L^4$ at the accuracy retained. Here $|R|$ denotes a bound on curvature components in the chosen local frame, not merely the Ricci scalar, which can vanish in a spacetime with strong tides. Small curvature at the central event alone does not bound its variation across the apparatus. Manasse and Misner’s Fermi-normal construction extends this logic along an entire geodesic, fixes the physical tidal coefficients, and states the small-region condition for the quadratic approximation Manasse and Misner 1963, p. 743, Eqs. (65)–(66), and p. 745, Eqs. (84)–(86).

Why curvature cannot be transformed away

At $p$, curvature reduces to antisymmetrized first derivatives of the connection because the quadratic $\Gamma\Gamma$ terms vanish:

$$R^\rho{}_{\sigma\mu\nu}(p) =\partial_\mu\Gamma^\rho{}_{\nu\sigma}(p) -\partial_\nu\Gamma^\rho{}_{\mu\sigma}(p).$$

If a further coordinate transformation could set all first connection derivatives to zero while preserving smoothness, every component of the tensor $R^\rho{}_{\sigma\mu\nu}$ would vanish at $p$. A nonzero tensor component in any frame therefore obstructs such a transformation.

The same obstruction is measurable. For nearby freely falling particles with separation $\xi^\mu$ and central four-velocity $u^\mu$, the relative acceleration is

$$\frac{D^2\xi^\mu}{d\tau^2} =-R^\mu{}_{\alpha\nu\beta}u^\alpha\xi^\nu u^\beta$$

for the displayed curvature convention and separation ordering. Reall derives the same equation from a two-parameter geodesic family; antisymmetry in the last curvature pair translates his index ordering to the displayed minus-sign form Reall 2013, § 6.5, pp. 60–62, Eqs. (6.18)–(6.22), PDF. The central connection can vanish while this tidal acceleration remains nonzero. Local inertial motion and local tidal gravity are therefore compatible statements, not competitors.

Coordinate acceleration versus gravity

Rindler coordinates provide the complementary check. For a positive constant $a$, the transformation

$$t=(a^{-1}+X)\sinh(aT), \qquad x=(a^{-1}+X)\cosh(aT)$$

rewrites the Minkowski metric in the wedge $X\gt-a^{-1}$ as

$$ds^2=-(1+aX)^2dT^2+dX^2+dY^2+dZ^2.$$

The nonzero coefficients include $\Gamma^X{}_{TT}=a(1+aX)$ and $\Gamma^T{}_{TX}=a/(1+aX)$. Nevertheless,

$$R^X{}_{TXT} =\partial_X\Gamma^X{}_{TT} -\Gamma^X{}_{TT}\Gamma^T{}_{XT} =a^2-a^2=0.$$

The whole Riemann tensor vanishes because this is a coordinate transformation of flat spacetime. An observer fixed at $X$ instead has proper acceleration $\alpha=a/(1+aX)$, which is nonzero and cannot be removed by changing coordinates. Thus a nonzero connection and a nonzero accelerometer reading do not by themselves establish gravitational curvature.

Conversely, normal coordinates in a curved spacetime give $\Gamma(p)=0$ while $R(p)$ may be nonzero. The pair of examples isolates the invariant content: connection coefficients describe how a chosen basis varies; curvature describes the failure of covariant derivatives to commute and the leading finite-separation tidal response.

Exercises

Use the quadratic normal-coordinate expansion to estimate how the leading metric correction changes when every linear dimension of a freely falling laboratory is halved while the central curvature is fixed.

Solution

The leading correction is proportional to $R_{\mu\alpha\nu\beta}x^\alpha x^\beta$, hence to $|R|L^2$. Replacing $L$ by $L/2$ reduces it by a factor of four. Curvature-gradient terms scale as $|\nabla R|L^3$ and are reduced by a factor of eight. This scaling, rather than the exact vanishing of gravity throughout the room, is the operational content of making the laboratory local.

References

• Manasse, F. K., and Charles W. Misner. “Fermi Normal Coordinates and Some Basic Concepts in Differential Geometry.” Journal of Mathematical Physics 4 (1963): 735–745. DOI.
• Reall, Harvey S. General Relativity. Cambridge Part III lecture notes (2013). PDF.