advanced28 min studyLesson 808 in Physics

An orthonormal frame separates local measurements from coordinate labels

Construct a tetrad and its dual coframe, then distinguish a local Lorentz rotation from a coordinate transformation.

On this page

What you’ll understand

  • Convert coordinate components into orthonormal frame components.
  • Distinguish coordinate freedom from local Lorentz frame freedom.
  • Explain why noncoordinate frames still need connection information.

A detector measures components relative to local rods and clocks, not automatically relative to coordinate basis vectors of unequal norm. A tetrad supplies an orthonormal basis at each event of a patch and converts between these descriptions. Its metric entries look Minkowskian even in curved spacetime, so that appearance alone does not establish flatness. We will construct the flat polar spatial part of a tetrad and then test an independent Lorentz boost of frame components.

A frame and its dual convert indices in opposite directions

Write the orthonormal basis vectors as eₐ=eₐμ∂μ and the dual one-forms as θᵃ=eᵃμdxμ, with separate frame and coordinate indices. The two component matrices are inverses. Orthonormality means their metric contraction is ηab=diag(−1,1,1,1). A vector’s measured frame components are obtained by applying the coframe matrix, not by multiplying by whichever tetrad array happens to have convenient-looking indices. This is the same dual-basis logic that distinguished vectors from covectors earlier.

The observer’s timelike frame vector selects a local rest frame; spatial frame vectors specify its axes. A different observer can choose a locally boosted frame at the same event. This changes measured energy and momentum components without changing the event or requiring a coordinate change. Coordinate transformations act on the Greek indices, while local Lorentz transformations act on the frame indices. Both can occur together. The word local refers to this independent choice at each point, not to a requirement that curvature vanish in the neighborhood.

gμνeaμebν=ηab,θa=eaμdxμ,eaμebμ=δab,Va=eaμVμg_{\mu\nu}e_a{}^\mu e_b{}^\nu=\eta_{ab},\qquad \theta^a=e^a{}_\mu dx^\mu,\qquad e^a{}_\mu e_b{}^\mu=\delta^a{}_b,\qquad V^a=e^a{}_\mu V^\mu
a,b are orthonormal frame indices and μ,ν coordinate indices. η has signature −+++. Frame conversion factors carry whatever units are needed when coordinates include angles; for a tangent with a length-valued parameter, orthonormal components are dimensionless.↔ Scroll wide equations horizontally.

Orthonormal does not necessarily mean coordinate based

For the flat polar spatial metric choose θʳ=dr and θφ=r dφ. The dual vectors are ∂r and r⁻¹∂φ. Their spatial metric is the identity, but the vectors do not commute: their commutator is −r⁻²∂φ. They therefore cannot both be coordinate partial derivatives on a patch. A connection expressed in such a frame includes this anholonomy. The simple coordinate-basis statement that torsion-free coefficients are symmetric in the lower indices cannot be applied without the frame commutator correction.

Tetrads are often called square roots of the metric because contracting two coframe factors with η reconstructs g. They are not unique: a position-dependent Lorentz transformation preserves the same metric. The associated spin connection accounts for the varying frame and is essential for differentiating frame components or coupling spinors. In curved geometry it is not generally possible to make all connection information vanish throughout an open region by choosing orthonormal axes. At one event a freely falling construction can simplify it, while curvature still controls the next-order variation.

dℓ2=dr2+r2dφ2,Vr^=Vr,Vφ^=rVφ,V0^′=γ(V0^−βV1^),V1^′=γ(V1^−βV0^)d\ell^2=dr^2+r^2d\varphi^2,\qquad V^{\hat r}=V^r,\quad V^{\hat\varphi}=rV^\varphi,\qquad V^{\hat0\prime}=\gamma(V^{\hat0}-\beta V^{\hat1}),\quad V^{\hat1\prime}=\gamma(V^{\hat1}-\beta V^{\hat0})
The first part is a spatial subframe on r>0 with φ dimensionless. The last part is a passive local boost of orthonormal components with γ=(1−β²)⁻¹ᐟ² and |β|<1. Coordinate and hatted components must not be mixed inside the Minkowski inner product.↔ Scroll wide equations horizontally.

A global frame can require several patches

A local tetrad exists for a regular Lorentzian metric, but global frame choices can face topological or orientation restrictions. Overlaps relate local frames through the appropriate Lorentz transformations. A tetrad is therefore neither a proof of one global inertial coordinate system nor an elimination of gravitational tides. Physical frame components should also be tied to a specified observer and transport convention when comparisons are made along a trajectory; rotating an observer’s axes can create inertial terms even in flat spacetime.

The vector lab illustrates the spatial rotation subgroup. Reset and set both controls to angle 30 degrees and magnitude two, predicting components (√3,1). Reset and set angle 60 degrees and magnitude two, predicting (1,√3). Both have squared Euclidean spatial magnitude four. This compares two spatial component orientations, not full spacetime boosts or a computed tetrad field. The lab has no spin connection or coordinate metric, so its preserved vector length cannot be used to infer that a spacetime is flat.

Convert a polar tangent into locally measured components

In a flat polar spatial plane at r=2 m, let a tangent with a length-valued parameter, not assumed to be arclength, have Vʳ=3 and Vφ=2 m⁻¹. Find its orthonormal polar components and norm. Check the same norm directly with the coordinate metric.

  1. The radial coframe is dr, so the radial orthonormal component is 3. The angular coframe is r dφ, giving angular orthonormal component rVφ=2×2=4.

  2. The spatial orthonormal norm squared is 3²+4²=25, giving norm five. These frame components have the same units and can be combined directly.

  3. The coordinate calculation gives gᵣᵣ(Vʳ)²+gφφ(Vφ)²=1×9+(4 m²)×(4 m⁻²)=25. Summing 3² and 2² without the metric would both mishandle units and give the wrong value.

The result

The orthonormal components are (3,4), with spatial norm five, matching the coordinate-metric calculation.

Explore the model

Interactive lab

Interactive lab · vectors

Rotate local spatial axes without changing norm

Reset and set BOTH controls to angle 30°,magnitude 2, predicting (√3,1). Reset and set angle 60°,magnitude 2, predicting (1,√3). Both have norm squared 4. This is spatial component geometry, without a spacetime tetrad or spin connection.

Rotate local spatial axes without changing normPlayback traces a fixed vector and its projections. Angle and magnitude set the geometry; the moving marker does not change them. Current readings: x component: 1.393; y component: 0.975; Magnitude: 1.7. All parameters are adjustable with the labeled controls below.−7.46−3.7303.737.46−3.5−1.7501.753.5xyvvₓ = 1.39
Vectorx / y projectionsTrace marker
x component
1.393
y component
0.975
Magnitude
1.7
t = 0 s

Playback traces a fixed vector and its projections. Angle and magnitude set the geometry; the moving marker does not change them. Parameter changes pause playback and recompute the model at the current elapsed time. Reset restores both parameters and returns time to zero. Playback starts paused. Adjust either parameter, then choose Play or Step.

Look forOrthonormal frame rotations preserve local inner products but do not establish vanishing curvature.

Check your understanding

Why can an orthonormal tetrad have nontrivial connection information?

Try it yourself

A timelike unit tangent has orthonormal components (u⁰,u¹)=(5/3,4/3). Apply a passive local boost with β=3/5 and γ=5/4. Find the new components and verify the −+ norm.

Take a moment to make a prediction or work it out on paper. Open a hint when you need one.

Give me a hint

Apply the same boost formula to both components, then square only after obtaining the fractions.

Compare with the solution

u⁰′=(5/4)(5/3−(3/5)(4/3))=13/12. u¹′=(5/4)(4/3−(3/5)(5/3))=5/12. The norm is −(13/12)²+(5/12)²=(−169+25)/144=−1, unchanged from −25/9+16/9=−1. This is a frame boost at one event, not transport to a different event.

Take it with you

  • Tetrads convert coordinate arrays into orthonormal components using inverse dual matrices.
  • Local Lorentz frame choice is independent of coordinate choice.
  • An orthonormal noncoordinate frame still requires connection and patch information.

Read further

Original sources and deeper explanations to follow at your own pace.

Optional progress, saved in this browser when available. Revisit any lesson at any time.

Lesson not marked complete.