Skip to content

Observer Worldlines and Local Tetrads

Scrollable formula. Use Left and Right arrow keys to reveal hidden content.

Scrollable table. Use Left and Right arrow keys to reveal additional columns.

Scrollable figure. Use Left and Right arrow keys to inspect hidden content.

An observer in curved spacetime is specified first by motion, not by coordinates. A future-directed timelike worldline identifies where the observer is, while an orthonormal tetrad along that worldline identifies the time axis and the three directions carried by the apparatus. Tensor components in this tetrad are local readings; coordinate components generally are not.

Required background. Observers, Rest Spaces, and Measured Components provides observer projectors and measured decompositions; Pseudo-Riemannian Metrics and Signature provides Lorentzian norms and causal classification; Frames, Coframes, and Anholonomy provides dual frames and local Lorentz freedom.

Helpful background. Events, Intervals, and Minkowski Geometry supplies the flat-spacetime limit; Tensor Fields and Natural Operations clarifies tensors versus their components; Proper Acceleration and Accelerometer Readings gives operational intuition for carried instruments.

Let γ:τ↦xμ(τ)\gamma:\tau\mapsto x^\mu(\tau) be a smooth future-directed timelike worldline, parametrized by proper time. Its unit tangent is

uμ=dxμdτ,uμuμ=−1.u^\mu=\frac{dx^\mu}{d\tau}, \qquad u^\mu u_\mu=-1.

At each event of γ\gamma, the observer’s instantaneous rest space is the subspace orthogonal to uμu^\mu. Choose three spacelike unit vectors eı^μe_{\hat\imath}{}^\mu spanning that space and set e0^μ=uμe_{\hat0}{}^\mu=u^\mu. The tetrad obeys

gμνea^μeb^ν=ηa^b^,ηa^b^=diag⁡(−1,1,1,1).g_{\mu\nu}e_{\hat a}{}^\mu e_{\hat b}{}^\nu =\eta_{\hat a\hat b}, \qquad \eta_{\hat a\hat b}=\operatorname{diag}(-1,1,1,1).

The dual coframe θa^μ\theta^{\hat a}{}_{\mu} is defined by θa^μeb^μ=δa^b^\theta^{\hat a}{}_{\mu}e_{\hat b}{}^\mu=\delta^{\hat a}{}_{\hat b}. In particular, θ0^μ=−uμ\theta^{\hat0}{}_{\mu}=-u_\mu. This construction is pointwise: it assumes an idealized, effectively pointlike apparatus in a time-oriented Lorentzian spacetime. It does not yet say how the spatial axes at different proper times are related.

Orthonormal tetrads and their local Lorentz freedom are developed explicitly in Carroll 1997, Ch. 3, pp. 88–91. Once the time leg is fixed to a particular uμu^\mu, the remaining freedom is a spatial rotation of the three apparatus axes. A Lorentz boost changes the time leg and therefore describes a different observer at that event.

For a vector VμV^\mu, the tetrad components are

V0^=−uμVμ,Vı^=eı^μVμ.V^{\hat0}=-u_\mu V^\mu, \qquad V^{\hat\imath}=e^{\hat\imath}{}_{\mu}V^\mu.

They reconstruct the geometric vector through

Vμ=V0^uμ+Vı^eı^μ.V^\mu=V^{\hat0}u^\mu+V^{\hat\imath}e_{\hat\imath}{}^\mu.

The temporal reading depends on the observer velocity. The three spatial readings also depend on how that observer orients the apparatus. A coordinate change alters the displayed components of VμV^\mu, uμu^\mu, and ea^μe_{\hat a}{}^\mu together, leaving each contraction unchanged.

A simple chart illustrates the distinction. If g0i=0g_{0i}=0, g00=−N2g_{00}=-N^2, and an observer remains at fixed spatial coordinates, then uμ=N−1(∂t)μu^\mu=N^{-1}(\partial_t)^\mu. The measured temporal component is V0^=NV0V^{\hat0}=NV^0, not the coordinate component V0V^0. With nonzero g0ig_{0i}, the relation also mixes temporal and spatial coordinate components. Normalizing a coordinate basis vector is therefore necessary but not always sufficient; the whole tetrad must be orthonormal.

The same rule applies to higher-rank tensors. For example,

Ta^b^=Tμνea^μeb^νT_{\hat a\hat b} =T_{\mu\nu}e_{\hat a}{}^\mu e_{\hat b}{}^\nu

are the components of a covariant rank-two tensor read in the tetrad. Conversely, the dual coframe reconstructs it as Tμν=θa^μθb^νTa^b^T_{\mu\nu}=\theta^{\hat a}{}_{\mu}\theta^{\hat b}{}_{\nu}T_{\hat a\hat b}. This reversibility matters: a tetrad changes the component description without discarding tensor information. For stress–energy, an observer measures local energy density

ρ(u)=Tμνuμuν\rho_{(u)}=T_{\mu\nu}u^\mu u^\nu

and the energy-momentum current jμ=−Tμνuνj^\mu=-T^\mu{}_{\nu}u^\nu. Its spatial projection is the energy flux seen by that observer. These identifications, including the fact that vectors at different events cannot be contracted without an additional comparison rule, are stated in Reall 2013, § 5.2, pp. 51–53, PDF.

The rest-space projector

hμν=δμν+uμuνh^\mu{}_{\nu}=\delta^\mu{}_{\nu}+u^\mu u_\nu

provides a basis-free check. Every vector decomposes uniquely as

Vμ=(−uνVν)uμ+hμνVν.V^\mu=(-u_\nu V^\nu)u^\mu+h^\mu{}_{\nu}V^\nu.

Expanding the spatial term in eı^μe_{\hat\imath}{}^\mu reproduces the tetrad formula above. Contracting with uμu_\mu checks the minus sign, and applying hμνh^\mu{}_{\nu} twice verifies that it is a projector.

Under a coordinate transformation, the contracted tetrad readings are unchanged numbers. Under a local Lorentz change of tetrad, they transform as Lorentz components while the reconstructed tensor is unchanged. For two tetrads sharing the same time leg, this reduces to an ordinary rotation of the spatial component lists, so quantities such as δı^ȷ^Vı^Vȷ^\delta_{\hat\imath\hat\jmath}V^{\hat\imath}V^{\hat\jmath} remain fixed. These two transformations answer different questions: coordinate covariance changes the description, whereas changing the tetrad changes the physical observer or the orientation of the apparatus.

In particular, two observers meeting at one event may assign different energies and spatial momenta to the same particle, yet both reconstruct the same four-momentum. Their tetrads are related by a Lorentz transformation, and the invariant mass shell supplies a direct consistency check. This local comparison needs no transport because every vector involved belongs to the same tangent space.

A tetrad at one event does not define simultaneity, distance, or relative velocity for distant events. Extending the frame along γ\gamma requires a transport law; extending it away from γ\gamma requires a coordinate or signaling prescription. Different choices can agree on the worldline and disagree elsewhere.

The point-observer approximation also suppresses detector size, response time, internal stresses, and tidal variation across the apparatus. It is reliable only when those scales are small compared with the relevant acceleration, curvature, and signal-variation scales. Proper-time accumulation, radar assignment, and gyroscope transport therefore require separate constructions rather than being hidden inside the word “observer.”

At one event a diagonal chart has ds2=−N2dt2+A2dx2ds^2=-N^2dt^2+A^2dx^2 in the tt–xx plane, with N,A>0N,A>0. A static observer uses e0^=N−1∂te_{\hat0}=N^{-1}\partial_t and e1^=A−1∂xe_{\hat1}=A^{-1}\partial_x. For V=Vt∂t+Vx∂xV=V^t\partial_t+V^x\partial_x, compute the two tetrad readings and verify the norm.

Solution

The observer has uμ=(N−1,0)u^\mu=(N^{-1},0) and uμ=(−N,0)u_\mu=(-N,0), so

V0^=−uμVμ=NVt,V1^=e1^μVμ=AVx.V^{\hat0}=-u_\mu V^\mu=NV^t, \qquad V^{\hat1}=e^{\hat1}{}_{\mu}V^\mu=AV^x.

Therefore

−(V0^)2+(V1^)2=−N2(Vt)2+A2(Vx)2=gμνVμVν.-(V^{\hat0})^2+(V^{\hat1})^2 =-N^2(V^t)^2+A^2(V^x)^2 =g_{\mu\nu}V^\mu V^\nu.

The coordinate components and tetrad readings differ, but both descriptions give the same scalar norm.