Lably
Skip to content

Lorentz covariance

Concept in relativistic physics

  • 5 min read
  • 2 chapters

Related on Lably

Through Spacetime, Physical quantity and Scalar (physics)

Lorentz covariance, a related concept, is a property of the underlying spacetime manifold. Lorentz covariance has two distinct, but closely related meanings:

  1. A physical quantity is said to be Lorentz covariant if it transforms under a given representation of the Lorentz group. According to the representation theory of the Lorentz group, these quantities are built out of scalars, four-vectors, four-tensors, and spinors. In particular, a Lorentz covariant scalar (e.g., the space-time interval) remains the same under Lorentz transformations and is said to be a Lorentz invariant (i.e., they transform under the trivial representation).
  2. An equation is said to be Lorentz covariant if it can be written in terms of Lorentz covariant quantities (confusingly, some use the term invariant here). The key property of such equations is that if they hold in one inertial frame, then they hold in any inertial frame; this follows from the result that if all the components of a tensor vanish in one frame, they vanish in every frame. This condition is a requirement according to the principle of relativity; i.e., all non-gravitational laws must make the same predictions for identical experiments taking place at the same spacetime event in two different inertial frames of reference.

On manifolds, the words covariant and contravariant refer to how objects transform under general coordinate transformations. Both covariant and contravariant four-vectors can be Lorentz covariant quantities.

Local Lorentz covariance, which follows from general relativity, refers to Lorentz covariance applying only locally in an infinitesimal region of spacetime at every point. There is a generalization of this concept to cover Poincaré covariance and Poincaré invariance.

Examples

In general, the (transformational) nature of a Lorentz tensor can be identified by its tensor order, which is the number of free indices it has. No indices implies it is a scalar, one implies that it is a vector, etc. Some tensors with a physical interpretation are listed below.

The sign convention of the Minkowski metric η = diag (1, −1, −1, −1) is used throughout the article.

Scalars

Spacetime interval
Δs2=ΔxaΔxbηab=c2Δt2−Δx2−Δy2−Δz2
Proper time (for timelike intervals)
Δτ=Δs2c2,Δs2>0
Proper distance (for spacelike intervals)
L=−Δs2,Δs2<0
Mass
m02c2=PaPbηab=E2c2−px2−py2−pz2
Electromagnetism invariants
FabFab=2(B2−E2c2)GcdFcd=12ϵabcdFabFcd=−4c(B→⋅E→)
D'Alembertian/wave operator
◻=ημν∂μ∂ν=1c2∂2∂t2−∂2∂x2−∂2∂y2−∂2∂z2

Four-vectors

4-displacement
ΔXa=(cΔt,Δx→)=(cΔt,Δx,Δy,Δz)
4-position
Xa=(ct,x→)=(ct,x,y,z)
4-gradient
which is the 4D partial derivative: ∂a=(∂tc,−∇→)=(1c∂∂t,−∂∂x,−∂∂y,−∂∂z)
4-velocity
Ua=γ(c,u→)=γ(c,dxdt,dydt,dzdt) where Ua=dXadτ
4-momentum
Pa=(γmc,γmv→)=(Ec,p→)=(Ec,px,py,pz) where Pa=mUa and m is the rest mass.
4-current
Ja=(cρ,j→)=(cρ,jx,jy,jz) where Ja=ρoUa
4-potential
Aa=(ϕc,A→)=(ϕc,Ax,Ay,Az)

Four-tensors

Kronecker delta
δba={1if a=b,0if a≠b.
Minkowski metric (the metric of flat space according to general relativity)
ηab=ηab={1if a=b=0,−1if a=b=1,2,3,0if a≠b.
Electromagnetic field tensor (using a metric signature of + − − −)
Fab=[01cEx1cEy1cEz−1cEx0−BzBy−1cEyBz0−Bx−1cEz−ByBx0]
Dual electromagnetic field tensor
Gcd=12ϵabcdFab=[0BxByBz−Bx01cEz−1cEy−By−1cEz01cEx−Bz1cEy−1cEx0]

Sign in to keep reading

One more chapter is free with a Lably account.

More in Physics