Skip to content

Metric and Units

Relativistic formulas are only meaningful after their conventions are fixed. This page is the convention ledger for the bridge: it uses the mostly-minus metric, keeps cc and ℏ\hbar visible in dimensional formulas, and treats a particle’s electric charge qq as a signed quantity. With these choices,

ημν=diag⁡(1,−1,−1,−1),xμ=(ct,x),pμ=(E/c,p).\eta_{\mu\nu}=\operatorname{diag}(1,-1,-1,-1), \qquad x^\mu=(ct,\mathbf x), \qquad p^\mu=(E/c,\mathbf p).

Natural units, c=ℏ=1c=\hbar=1, will be used only when explicitly announced. A formula copied from another source must first be translated into this ledger; changing a metric sign without changing all dependent definitions is not a valid translation.

This page assumes elementary special relativity and dimensional analysis.

Greek indices μ,ν,…\mu,\nu,\ldots run over 0,1,2,30,1,2,3, while Latin spatial indices i,j,ki,j,k run over 1,2,31,2,3. Repeated upper-lower index pairs are summed. The Minkowski inner product is

a⋅b=ημνaμbν=a0b0−a⋅b.a\cdot b = \eta_{\mu\nu}a^\mu b^\nu = a^0b^0-\mathbf a\cdot\mathbf b.

The metric lowers an index and its inverse raises one:

aμ=ημνaν,aμ=ημνaν.a_\mu=\eta_{\mu\nu}a^\nu, \qquad a^\mu=\eta^{\mu\nu}a_\nu.

For aμ=(a0,a)a^\mu=(a^0,\mathbf a) this gives

aμ=(a0,−a).a_\mu=(a^0,-\mathbf a).

The minus sign on the spatial covariant components is easy to lose. It is also why aμbμa_\mu b^\mu is not an ordinary Euclidean dot product of four displayed components.

The invariant interval is

ds2=ημν dxμdxν=c2dt2−dx2.ds^2 = \eta_{\mu\nu}\,dx^\mu dx^\nu = c^2dt^2-d\mathbf x^2.

Accordingly, a nonzero displacement is timelike, null, or spacelike when ds2ds^2 is positive, zero, or negative. A source using the mostly-plus metric diag⁡(−1,1,1,1)\operatorname{diag}(-1,1,1,1) reverses these signs and also changes the Clifford-algebra and wave-operator conventions downstream.

Coordinates, derivatives, and the wave operator

Section titled “Coordinates, derivatives, and the wave operator”

Because x0=ctx^0=ct, the contravariant and covariant derivatives are

∂μ=∂∂xμ=(1c∂∂t,∇),∂μ=ημν∂ν=(1c∂∂t,−∇).\partial_\mu = \frac{\partial}{\partial x^\mu} = \left(\frac{1}{c}\frac{\partial}{\partial t},\nabla\right), \qquad \partial^\mu = \eta^{\mu\nu}\partial_\nu = \left(\frac{1}{c}\frac{\partial}{\partial t},-\nabla\right).

The d’Alembertian is therefore

□=∂μ∂μ=1c2∂2∂t2−∇2.\Box = \partial_\mu\partial^\mu = \frac{1}{c^2}\frac{\partial^2}{\partial t^2}-\nabla^2.

These definitions make the contraction pμxμp_\mu x^\mu especially useful:

p⋅x=Et−p⋅x.p\cdot x = Et-\mathbf p\cdot\mathbf x.

The default positive-energy plane wave is

e−ip⋅x/ℏ=exp⁡ ⁣[−iℏ(Et−p⋅x)].e^{-ip\cdot x/\hbar} = \exp\!\left[-\frac{i}{\hbar} \left(Et-\mathbf p\cdot\mathbf x\right)\right].

Acting on this phase gives

iℏ∂μe−ip⋅x/ℏ=pμe−ip⋅x/ℏ.i\hbar\partial_\mu e^{-ip\cdot x/\hbar} = p_\mu e^{-ip\cdot x/\hbar}.

This identity fixes the operator substitution used to pass from the energy-momentum relation to relativistic wave equations. Sources using e+ip⋅xe^{+ip\cdot x} compensate with different Fourier or differential-operator signs.

For proper Lorentz transformations, det⁡Λ=+1\det\Lambda=+1, so the oriented four-volume element

d4x=dx0 dx1 dx2 dx3=c dt d3xd^4x=dx^0\,dx^1\,dx^2\,dx^3=c\,dt\,d^3x

is invariant. The equal-time spatial element d3xd^3x alone is not a Lorentz invariant four-volume; it belongs to a chosen spacelike slice.

The orientation convention is

ϵ0123=+1.\epsilon^{0123}=+1.

Lowering all four indices with the mostly-minus metric gives

ϵ0123=−1.\epsilon_{0123}=-1.

The three-dimensional symbol obeys ϵ123=+1\epsilon_{123}=+1. The four-dimensional symbol is a totally antisymmetric tensor density in general coordinates; here we use it only in inertial Cartesian coordinates. These signs matter in γ5\gamma^5, dual field strengths, and traces containing five gamma matrices.

Electromagnetic four-potential and signed charge

Section titled “Electromagnetic four-potential and signed charge”

In SI units the four-potential is

Aμ=(Φc,A),Aμ=(Φc,−A).A^\mu=\left(\frac{\Phi}{c},\mathbf A\right), \qquad A_\mu=\left(\frac{\Phi}{c},-\mathbf A\right).

For a particle with signed charge qq, define

Dμ=∂μ+iqℏAμ.D_\mu = \partial_\mu+\frac{iq}{\hbar}A_\mu.

Then

iℏDμ=iℏ∂μ−qAμ,i\hbar D_\mu=i\hbar\partial_\mu-qA_\mu,

and the spatial kinetic momentum is

π=−iℏ∇−qA.\boldsymbol\pi = -i\hbar\nabla-q\mathbf A.

With a real gauge function χ(x)\chi(x), the compatible transformation is

Aμ′=Aμ−∂μχ,ψ′=eiqχ/ℏψ,Dμ′ψ′=eiqχ/ℏDμψ.A_\mu' = A_\mu-\partial_\mu\chi, \qquad \psi'=e^{iq\chi/\hbar}\psi, \qquad D_\mu'\psi'=e^{iq\chi/\hbar}D_\mu\psi.

In three-vector notation this is

A′=A+∇χ,Φ′=Φ−∂χ∂t.\mathbf A'=\mathbf A+\nabla\chi, \qquad \Phi'=\Phi-\frac{\partial\chi}{\partial t}.

The electron has q=−eq=-e, where e>0e>0 is the elementary charge magnitude. The symbols qq and ee are therefore not interchangeable. Keeping qq signed prevents the magnetic-moment sign from being inserted by memory later.

This bridge defaults to SI dimensions because the nonrelativistic limit and electromagnetic coupling are easiest to audit when cc and ℏ\hbar remain visible. Their exact SI values are

c=299 792 458 m s−1,c=299\,792\,458\ \mathrm{m\,s^{-1}},

and

h=6.626 070 15×10−34 J s,ℏ=h2π.h=6.626\,070\,15\times10^{-34}\ \mathrm{J\,s}, \qquad \hbar=\frac{h}{2\pi}.

In natural units, c=ℏ=1c=\hbar=1, so mass, momentum, and energy share one unit, while length and time have inverse-energy dimension:

QuantitySI dimensionNatural-unit dimension
energy EEJ\mathrm{J}EE
momentum ppJ/c\mathrm{J}/cEE
mass mmJ/c2\mathrm{J}/c^2EE
inverse length kkE/(ℏc)E/(\hbar c)EE
inverse time ω\omegaE/ℏE/\hbarEE
four-derivative ∂μ\partial_\mu1/m1/\mathrm mEE

The last column records mass dimension, not that every quantity has become dimensionless. In 3+13+1 dimensions a dimensionless action and canonically normalized kinetic terms give

[xμ]=−1,[∂μ]=[m]=1,[ϕ]=1,[ψ]=32,[x^\mu]=-1, \qquad [\partial_\mu]=[m]=1, \qquad [\phi]=1, \qquad [\psi]=\frac32,

where square brackets now mean powers of an energy unit. The scalar and spinor entries are field-theory dimensions; they are included because they appear when this bridge reaches QFT, not because a one-particle wavefunction has acquired the same engineering dimension.

Setting constants equal to one is a choice of units, not an approximation. It does not mean that light travels infinitely fast or that quantum effects vanish.

The safest procedure is to start from a dimensionally complete invariant. For example, the natural-unit mass shell

E2=p2+m2E^2=\mathbf p^2+m^2

becomes

E2=p2c2+m2c4,E^2=\mathbf p^2c^2+m^2c^4,

because every term must have dimensions of energy squared. Likewise the natural-unit phase p⋅xp\cdot x becomes p⋅x/ℏp\cdot x/\hbar, and the natural-unit reduced Compton wavelength 1/m1/m becomes

λC=ℏmc.\lambda_C=\frac{\hbar}{mc}.

Here λC\lambda_C denotes the reduced Compton wavelength; the unreduced Compton wavelength is h/(mc)=2πλCh/(mc)=2\pi\lambda_C.

The useful conversion follows from ℏc\hbar c:

1 GeV−1≈0.1973269804 fm.1\ \mathrm{GeV}^{-1} \approx 0.1973269804\ \mathrm{fm}.

Dimensional analysis alone may not determine every power when several quantities carry the same dimensions. In that case, return to the covariant definition or derive the formula with constants retained; do not guess from a single term.

Translation ledger for common alternatives

Section titled “Translation ledger for common alternatives”
FeatureConvention hereCommon alternativeWhat must change together
metric(+−−−)(+---)(−+++)(-+++)scalar products, □\Box, Clifford algebra, lowered components
time coordinatex0=ctx^0=ctx0=tx^0=tcomponents of pμp^\mu, AμA^\mu, and derivatives
plane wavee−ip⋅x/ℏe^{-ip\cdot x/\hbar}e+ip⋅x/ℏe^{+ip\cdot x/\hbar}Fourier and momentum-operator signs
chargesigned qqelectron magnitude e>0e>0substitute q=−eq=-e everywhere, not selectively
unitsSI by defaultc=ℏ=1c=\hbar=1dimensions and all restored factors
orientationϵ0123=+1\epsilon^{0123}=+1opposite orientationγ5\gamma^5, duals, and epsilon traces

Two convention sets can describe the same physics. A hybrid expression made from pieces of both usually cannot.

Lowering a spatial index without changing its sign. With the mostly-minus metric, ai=−aia_i=-a^i. Write one explicit lowering operation before manipulating a long contraction.

Using ∂μ=(∂t/c,∇)\partial^\mu=(\partial_t/c,\nabla). Raising the derivative index changes the spatial signs, so ∂μ=(∂t/c,−∇)\partial^\mu=(\partial_t/c,-\nabla).

Treating ee as the electron’s signed charge. Here ee is positive and an electron has q=−eq=-e. Magnetic terms must inherit this substitution.

Restoring only cc. A natural-unit expression may also hide ℏ\hbar in a phase, derivative, wavelength, or spin term. Check dimensions and at least one known limit.

Starting from pμ=(E/c,p)p^\mu=(E/c,\mathbf p), find pμp_\mu and verify the mass-shell scalar pμpμp_\mu p^\mu.

Solution

Lowering with ημν=diag⁡(1,−1,−1,−1)\eta_{\mu\nu}=\operatorname{diag}(1,-1,-1,-1) gives

pμ=(Ec,−p).p_\mu=\left(\frac{E}{c},-\mathbf p\right).

Therefore

pμpμ=E2c2−p2.p_\mu p^\mu = \frac{E^2}{c^2}-\mathbf p^2.

For a particle of invariant mass mm, this scalar equals m2c2m^2c^2.

Show directly that iℏ∂μe−ip⋅x/ℏ=pμe−ip⋅x/ℏi\hbar\partial_\mu e^{-ip\cdot x/\hbar}=p_\mu e^{-ip\cdot x/\hbar}.

Solution

For constant pμp_\mu,

∂μe−ipνxν/ℏ=−iℏpμe−ipνxν/ℏ.\partial_\mu e^{-ip_\nu x^\nu/\hbar} = -\frac{i}{\hbar}p_\mu e^{-ip_\nu x^\nu/\hbar}.

Multiplication by iℏi\hbar gives the stated result.

Verify Dμ′ψ′=eiqχ/ℏDμψD_\mu'\psi'=e^{iq\chi/\hbar}D_\mu\psi using the conventions on this page.

Solution

Substitute Aμ′=Aμ−∂μχA_\mu'=A_\mu-\partial_\mu\chi and ψ′=eiqχ/ℏψ\psi'=e^{iq\chi/\hbar}\psi:

Dμ′ψ′=(∂μ+iqℏAμ′)eiqχ/ℏψ=eiqχ/ℏ[∂μ+iqℏ∂μχ+iqℏAμ−iqℏ∂μχ]ψ=eiqχ/ℏDμψ.\begin{aligned} D_\mu'\psi' &= \left(\partial_\mu+\frac{iq}{\hbar}A_\mu' \right)e^{iq\chi/\hbar}\psi \\ &= e^{iq\chi/\hbar} \left[ \partial_\mu+\frac{iq}{\hbar}\partial_\mu\chi +\frac{iq}{\hbar}A_\mu -\frac{iq}{\hbar}\partial_\mu\chi \right]\psi \\ &= e^{iq\chi/\hbar}D_\mu\psi. \end{aligned}

Restore cc and ℏ\hbar in the natural-unit statement that the inverse mass sets a particle’s reduced Compton length.

Solution

A length has SI dimensions obtained from inverse energy by multiplication with ℏc\hbar c. The rest energy is mc2mc^2, so

λC=ℏcmc2=ℏmc.\lambda_C = \frac{\hbar c}{mc^2} = \frac{\hbar}{mc}.
  • Bureau International des Poids et Mesures, The International System of Units (SI Brochure), 9th ed., version 4.01, 2026, doi:10.59161/AUEZ1291.
  • C. Itzykson and J.-B. Zuber, Quantum Field Theory, McGraw-Hill, 1980.
  • P. J. Mohr, D. B. Newell, B. N. Taylor, and E. Tiesinga, “CODATA Recommended Values of the Fundamental Physical Constants: 2022,” Journal of Physical and Chemical Reference Data 54, 033105, 2025, doi:10.1063/5.0279860.
  • F. Takahashi et al. (Particle Data Group), “Review of Particle Physics,” International Journal of Modern Physics A 41, 2630011, 2026.
  • S. Weinberg, The Quantum Theory of Fields, Volume I: Foundations, Cambridge University Press, 1995.