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.
Spinor labels and mode phases
Section titled “Spinor labels and mode phases”Use , , with , and . The label is future directed for both families:
| Mode | Algebraic equation | Canonical four-momentum of the wave |
|---|---|---|
For , choose orthonormal two-spinor bases . In the Dirac basis, the covariantly normalized columns are
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, and . The negative-frequency label does not make the Hilbert density negative.
Normalizations and spin sums
Section titled “Normalizations and spin sums”Use for either family.
| Identity | Positive-frequency columns | Negative-frequency columns |
|---|---|---|
| Covariant scalar product | ||
| Hilbert scalar product | ||
| Covariant spin sum |
For equal future labels, , but in general
Fixed-Hamiltonian orthogonality instead uses :
For , the Hilbert projectors are
They equal and sum to . 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 convention | Hilbert norm | Covariant scalar norm |
|---|---|---|
| as above | ||
| , |
The unit-Hilbert normalization depends on and hence on the chosen frame. The spin sums divide by the same or 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.
Dirac and chiral components
Section titled “Dirac and chiral components”For the accepted chiral ordering , one explicit constant unitary map from the Dirac basis is
It gives . If , then and . 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 . Helicity columns instead use eigenvectors of . For a massless positive-frequency helicity eigenmode at nonzero momentum, its 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 column.
As at fixed nonzero , the displayed component solutions and Hilbert normalization remain well defined, while . Dividing by has no such massless continuation. At , the energy projectors involving are undefined.
Charge conjugation uses two related matrices
Section titled “Charge conjugation uses two related matrices”In the Dirac basis, distinguish
For a commuting solution column,
The two matrices act on different arguments. Substituting for in a formula that already conjugates introduces an extra matrix. Under a constant complex unitary basis change, the matrix of the antilinear map transforms as , rather than by similarity. The 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.
Checks before using a copied spinor
Section titled “Checks before using a copied spinor”Check the free equation with the written phase and differential momentum, then compute both and . 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 and is given at From Spinors to Fermion Fields; the numerical spinor column does not by itself determine particle counting.
References
Section titled “References”- 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.