Skip to content

Spinor Conventions

A spinor formula is usable only together with its phase, momentum label, adjoint, normalization, and spin basis. This reference collects one coherent package and the most common normalization conversions. The solution and completeness derivations remain at Free Dirac Spinors.

Required background. Free Dirac Spinors supplies the modes; Gamma-Matrix Conventions fixes their matrix and adjoint definitions. Helpful background. Helicity and Chirality explains the different spin labels.

Use ℏ=c=1\hbar=c=1, η=(+−−−)\eta=(+---), p=(E,p)p=(E,\mathbf p) with E=p2+m2>0E=\sqrt{\mathbf p^2+m^2}>0, and p ⁣ ⁣ ⁣/=γ0E−γ⋅pp\!\!\!/=\gamma^0E-\boldsymbol\gamma\cdot\mathbf p. The label pp is future directed for both families:

ModeAlgebraic equationCanonical four-momentum of the wave
us(p)e−ip⋅xu_s(p)e^{-ip\cdot x}(p ⁣ ⁣ ⁣/−m)us(p)=0(p\!\!\!/-m)u_s(p)=0pμp^\mu
vs(p)e+ip⋅xv_s(p)e^{+ip\cdot x}(p ⁣ ⁣ ⁣/+m)vs(p)=0(p\!\!\!/+m)v_s(p)=0−pμ-p^\mu

For m>0m>0, choose orthonormal two-spinor bases χs,ηs\chi_s,\eta_s. In the Dirac basis, the covariantly normalized columns are

us(p)=E+m(χsσ⋅pE+mχs),u_s(p)=\sqrt{E+m} \begin{pmatrix} \chi_s\\ \dfrac{\boldsymbol\sigma\cdot\mathbf p}{E+m}\chi_s \end{pmatrix}, vs(p)=E+m(σ⋅pE+mηsηs).v_s(p)=\sqrt{E+m} \begin{pmatrix} \dfrac{\boldsymbol\sigma\cdot\mathbf p}{E+m}\eta_s\\ \eta_s \end{pmatrix}.

The bases can be chosen independently for these solution and completeness identities. A specified charge-conjugation pairing can subsequently relate their labels and phases; it is additional information, not an implicit consequence of the displayed notation.

At rest, us=2m(χs,0)Tu_s=\sqrt{2m}(\chi_s,0)^T and vs=2m(0,ηs)Tv_s=\sqrt{2m}(0,\eta_s)^T. The negative-frequency label does not make the Hilbert density negative.

Use wˉ=w†γ0\bar w=w^\dagger\gamma^0 for either family.

IdentityPositive-frequency columnsNegative-frequency columns
Covariant scalar productuˉrus=2mδrs\bar u_r u_s=2m\delta_{rs}vˉrvs=−2mδrs\bar v_r v_s=-2m\delta_{rs}
Hilbert scalar productur†us=2Eδrsu_r^\dagger u_s=2E\delta_{rs}vr†vs=2Eδrsv_r^\dagger v_s=2E\delta_{rs}
Covariant spin sum∑susuˉs=p ⁣ ⁣ ⁣/+m\sum_su_s\bar u_s=p\!\!\!/+m∑svsvˉs=p ⁣ ⁣ ⁣/−m\sum_sv_s\bar v_s=p\!\!\!/-m

For equal future labels, uˉr(p)vs(p)=0\bar u_r(p)v_s(p)=0, but in general

ur(p)†vs(p)=2χr†(σ⋅p)ηs≠0.u_r(p)^\dagger v_s(p) =2\chi_r^\dagger (\boldsymbol\sigma\cdot\mathbf p)\eta_s \ne0.

Fixed-Hamiltonian orthogonality instead uses vs(E,−p)v_s(E,-\mathbf p):

ur(E,p)†vs(E,−p)=0.u_r(E,\mathbf p)^\dagger v_s(E,-\mathbf p)=0.

For H(p)=α⋅p+βmH(\mathbf p)=\boldsymbol\alpha\cdot \mathbf p+\beta m, the Hilbert projectors are

P+(p)=12E∑sus(p)us(p)†,P−(p)=12E∑svs(E,−p)vs(E,−p)†.\begin{aligned} P_+(\mathbf p) &=\frac1{2E}\sum_su_s(p)u_s(p)^\dagger,\\ P_-(\mathbf p) &=\frac1{2E}\sum_sv_s(E,-\mathbf p) v_s(E,-\mathbf p)^\dagger. \end{aligned}

They equal (I±H/E)/2(I\pm H/E)/2 and sum to II. The covariant spin sums in the table are not themselves these unit-normalized orthogonal projectors. See The Dirac Hamiltonian for the spectral construction.

For another real positive normalization, rescale every accompanying formula:

Column conventionHilbert normCovariant scalar norm
u,vu,v as above2E2E+2m,−2m+2m,-2m
u/2E,v/2Eu/\sqrt{2E},v/\sqrt{2E}11+m/E,−m/E+m/E,-m/E
u/2m,v/2mu/\sqrt{2m},v/\sqrt{2m}, m>0m>0E/mE/m+1,−1+1,-1

The unit-Hilbert normalization depends on EE and hence on the chosen frame. The spin sums divide by the same 2E2E or 2m2m factor as the corresponding outer products. If a spinor in a mode expansion is multiplied by a factor, its coefficient must be divided by that factor to retain the same field or wavefunction. Do not change the columns while leaving the expansion’s measure and coefficients unexplained. For state and amplitude normalizations, consult Relativistic Normalization. A four-component column alone is not a normalized momentum eigenstate of the one-particle Hilbert space.

For the accepted chiral ordering ψC=(ψL,ψR)T\psi_C=(\psi_L,\psi_R)^T, one explicit constant unitary map from the Dirac basis is

ψC=VψD,V=12(I2−I2I2I2),γCμ=VγDμV†.\begin{aligned} \psi_C&=V\psi_D,\\ V&=\frac1{\sqrt2} \begin{pmatrix} I_2&-I_2\\ I_2&I_2 \end{pmatrix},\\ \gamma_C^\mu&=V\gamma_D^\mu V^\dagger. \end{aligned}

It gives γC5=diag⁡(−I2,I2)\gamma_C^5=\operatorname{diag}(-I_2,I_2). If ψD=(ξ,ζ)T\psi_D=(\xi,\zeta)^T, then ψL=(ξ−ζ)/2\psi_L=(\xi-\zeta)/\sqrt2 and ψR=(ξ+ζ)/2\psi_R=(\xi+\zeta)/\sqrt2. The upper and lower Dirac components are therefore not the left and right chiral components. The full matrices and trace conventions are at Gamma-Matrix Conventions.

Fixed rest-spin labels define canonical spin columns for m>0m>0. Helicity columns instead use eigenvectors of σ⋅p^\boldsymbol\sigma\cdot\widehat{\mathbf p}. For a massless positive-frequency helicity eigenmode at nonzero momentum, its γ5\gamma^5 eigenvalue equals twice its helicity in the stated convention. The relation between negative-frequency labels and physical antiparticle helicity also uses the conjugation and field-expansion conventions; do not infer it from the upper block of a vv column.

As m→0m\to0 at fixed nonzero p\mathbf p, the displayed component solutions and 2E2E Hilbert normalization remain well defined, while uˉu=vˉv=0\bar uu=\bar vv=0. Dividing by 2m\sqrt{2m} has no such massless continuation. At m=p=0m=\mathbf p=0, the energy projectors involving H/EH/E are undefined.

Section titled “Charge conjugation uses two related matrices”

In the Dirac basis, distinguish

B=iγ2,CD=iγ2γ0.B=i\gamma^2,\qquad C_D=i\gamma^2\gamma^0.

For a commuting solution column,

ψc=Bψ∗=CDψˉ T.\psi^c=B\psi^*=C_D\bar\psi^{\,T}.

The two matrices act on different arguments. Substituting CDC_D for BB in a formula that already conjugates ψ\psi introduces an extra matrix. Under a constant complex unitary basis change, the matrix of the antilinear map transforms as B′=VBVTB'=VBV^T, rather than by similarity. The CDC_D matrix likewise transforms by congruence in the barred-spinor formula.

Use Symmetry Conventions for the complete coordinate arguments, phases, charge/background transformations, and distinction between commuting columns and fermion field operators. The Spinor Algebra notebook provides explicit tests in a complex basis where the wrong transformation rule is detectable.

Check the free equation with the written phase and differential momentum, then compute both w†ww^\dagger w and wˉw\bar w w. Test a spin sum with the actual normalization, and test the energy projector at fixed canonical momentum. These four checks distinguish a harmless normalization change from a sign or momentum-label error.

If constructing a quantum field, creation and annihilation operators, their algebra, and the state are additional data. Their placement next to uu and vv is given at From Spinors to Fermion Fields; the numerical spinor column does not by itself determine particle counting.

  • Bjorken, James D., and Sidney D. Drell. Relativistic Quantum Mechanics. McGraw–Hill, 1964.
  • Dreiner, Herbi K., Howard E. Haber, and Stephen P. Martin. “Two-component spinor techniques and Feynman rules for quantum field theory and supersymmetry.” Physics Reports 494, 1–196 (2010). doi:10.1016/j.physrep.2010.05.002; corrected arXiv version, appendix G.
  • Thaller, Bernd. The Dirac Equation. Springer, 1992. doi:10.1007/978-3-662-02753-0.