Skip to content

Relativistic formulas are only meaningful after their conventions are fixed. We use the mostly-minus metric, keep cc and ℏ\hbar visible in dimensional formulas, and treat 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 from another source must first be translated into these conventions; 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. The wave operator and Clifford algebra must then be written consistently with that choice.

Coordinates, derivatives, and the wave operator

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

Because x0=ctx^0=ct, the covariant and contravariant 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 check 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:

Quantity SI dimension Natural-unit dimension
energy EE J\mathrm{J} EE
momentum pp J/c\mathrm{J}/c EE
mass mm J/c2\mathrm{J}/c^2 EE
inverse length kk E/(ℏc)E/(\hbar c) EE
inverse time ω\omega E/ℏE/\hbar EE
four-derivative ∂μ\partial_\mu 1/m1/\mathrm m EE

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.

Feature Convention here Common alternative What must change together
metric (+−−−)(+---) (−+++)(-+++) scalar products, □\Box, Clifford algebra, lowered components
time coordinate x0=ctx^0=ct x0=tx^0=t components of pμp^\mu, AμA^\mu, and derivatives
plane wave e−ip⋅x/ℏe^{-ip\cdot x/\hbar} e+ip⋅x/ℏe^{+ip\cdot x/\hbar} Fourier and momentum-operator signs
charge signed qq electron magnitude e>0e>0 substitute q=−eq=-e everywhere, not selectively
units SI by default c=ℏ=1c=\hbar=1 dimensions and all restored factors
orientation ϵ0123=+1\epsilon^{0123}=+1 opposite 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, constants and units.
  • S. Weinberg, The Quantum Theory of Fields, Volume I: Foundations, Cambridge University Press, 1995.