Skip to content

Spinor Bilinears

Chiral projectors reveal which components a spinor bilinear connects. Vector currents pair a field of one chirality with its own adjoint; scalar mass terms pair opposite chiralities. This distinction is useful when translating left–right couplings into vector–axial notation or checking an interaction term. The complete Lorentz classification and parity table are on Bilinear Covariants; this page applies them without repeating that classification.

Required background. Bilinear Covariants fixes the covariants; Dirac Spinors explains the chiral decomposition and scalar pairing.

Let ΨL=PLΨ\Psi_L=P_L\Psi and ΨR=PRΨ\Psi_R=P_R\Psi, with PL,R=(1∓γ5)/2P_{L,R}=(1\mp\gamma^5)/2. Since γ0\gamma^0 anticommutes with γ5\gamma^5,

ΨL‾=ΨˉPR,ΨR‾=ΨˉPL.\overline{\Psi_L}=\bar\Psi P_R,\qquad \overline{\Psi_R}=\bar\Psi P_L.

The subscript on ΨL‾\overline{\Psi_L} means “the adjoint of the left-chiral field.” It does not mean ΨˉPL\bar\Psi P_L. This distinction controls every selection rule below.

For a matrix Γ\Gamma commuting with γ5\gamma^5, insertion gives ΨL‾ΓΨL=ΨˉPRΓPLΨ=0\overline{\Psi_L}\Gamma\Psi_L =\bar\Psi P_R\Gamma P_L\Psi=0. It can instead connect opposite chiralities. If Γ\Gamma anticommutes with γ5\gamma^5, it reverses the projector in that algebra and allows the same-chirality pairing.

Matrix in the bilinearRelation to γ5\gamma^5Nonzero chiral pairings allowed
II, iγ5i\gamma^5CommutesΨL‾ΓΨR\overline{\Psi_L}\Gamma\Psi_R and ΨR‾ΓΨL\overline{\Psi_R}\Gamma\Psi_L
γμ\gamma^\mu, γμγ5\gamma^\mu\gamma^5AnticommutesΨL‾ΓΨL\overline{\Psi_L}\Gamma\Psi_L and ΨR‾ΓΨR\overline{\Psi_R}\Gamma\Psi_R
σμν\sigma^{\mu\nu}CommutesOpposite-chirality pairings

“Allowed” is an algebraic statement; a particular state or internal symmetry can still make the bilinear vanish. Chirality here labels field components, not an arbitrary massive state’s helicity.

Left–right currents and vector–axial couplings

Section titled “Left–right currents and vector–axial couplings”

Define

jLμ=ΨˉγμPLΨ,jRμ=ΨˉγμPRΨ.j_L^\mu=\bar\Psi\gamma^\mu P_L\Psi,\qquad j_R^\mu=\bar\Psi\gamma^\mu P_R\Psi.

With Vμ=ΨˉγμΨV^\mu=\bar\Psi\gamma^\mu\Psi and Aμ=Ψˉγμγ5ΨA^\mu=\bar\Psi\gamma^\mu\gamma^5\Psi, one has

Vμ=jLμ+jRμ,Aμ=jRμ−jLμ.V^\mu=j_L^\mu+j_R^\mu,\qquad A^\mu=j_R^\mu-j_L^\mu.

Therefore a coupling to an external vector quantity BμB_\mu can be written in either form:

Bμ(gLjLμ+gRjRμ)=BμΨˉγμ(gV+gAγ5)Ψ,gV=gL+gR2,gA=gR−gL2.\begin{aligned} B_\mu(g_Lj_L^\mu+g_Rj_R^\mu) &=B_\mu\bar\Psi\gamma^\mu(g_V+g_A\gamma^5)\Psi,\\ g_V&=\frac{g_L+g_R}{2},\qquad g_A=\frac{g_R-g_L}{2}. \end{aligned}

Some sources write gV−gAγ5g_V-g_A\gamma^5 instead. Their axial coefficient has the opposite sign; the physical left and right couplings are unchanged after translation. Check the written operator before importing a numerical gAg_A.

For an ordinary polar vector BμB_\mu, equal real couplings gL=gRg_L=g_R give a parity-even vector interaction. Unequal couplings contain an axial component and generally violate parity for that fixed field assignment. If BμB_\mu is assigned pseudovector transformation properties, the parity test changes. Lorentz covariance under the connected group alone does not decide invariance under parity.

Complex mass coefficients pair opposite chiralities

Section titled “Complex mass coefficients pair opposite chiralities”

For real constants mS,mPm_S,m_P, a Hermitian expression invariant under proper Lorentz transformations is

Ψˉ(mS+imPγ5)Ψ=MΨL‾ΨR+M∗ΨR‾ΨL,M=mS+imP.\bar\Psi(m_S+i m_P\gamma^5)\Psi =M\overline{\Psi_L}\Psi_R +M^*\overline{\Psi_R}\Psi_L, \qquad M=m_S+i m_P.

The overall minus sign convention in a Lagrangian mass term is separate from this identity. A real scalar mass corresponds to mP=0m_P=0; a pseudoscalar coefficient multiplies iΨˉγ5Ψi\bar\Psi\gamma^5\Psi.

For a single free Dirac field, a constant chiral rephasing can make a nonzero MM real. In a larger theory, other masses and interactions transform too, and an axial redefinition can affect the quantum measure. One cannot declare every mass phase unobservable by inspecting this bilinear in isolation.

Internal charges impose an additional condition. If ΨL↦eiqLαΨL\Psi_L\mapsto e^{iq_L\alpha}\Psi_L and ΨR↦eiqRαΨR\Psi_R\mapsto e^{iq_R\alpha}\Psi_R, then ΨL‾ΨR\overline{\Psi_L}\Psi_R acquires ei(qR−qL)αe^{i(q_R-q_L)\alpha}. A constant bare mass preserves this U(1)U(1) only when qL=qRq_L=q_R. A scalar field with a compensating transformation can instead make a Yukawa coupling invariant. This is a transformation test, not yet a model of symmetry breaking.

Tensor couplings provide a second selection-rule check

Section titled “Tensor couplings provide a second selection-rule check”

Since σμν\sigma^{\mu\nu} contains two gamma matrices, it commutes with γ5\gamma^5. A dipole-like expression ΨˉσμνΨFμν\bar\Psi\sigma^{\mu\nu}\Psi F_{\mu\nu} therefore connects opposite chiralities in the same projector sense as a mass. The ordinary vector coupling ΨˉγμΨAμ\bar\Psi\gamma^\mu\Psi A_\mu preserves them at the vertex.

This statement does not imply that the full propagation of a massive particle preserves chirality, or that a massive helicity amplitude vanishes whenever a chiral pairing does. The mass term, external spinors, and the requested observable must all be included. It also does not derive a dipole coefficient: such a coefficient can be supplied by an effective theory matched to more detailed dynamics.

  1. Translate a purely left-current coupling BμjLμB_\mu j_L^\mu into the stated vector–axial convention.
Solution

gL=1g_L=1, gR=0g_R=0 gives gV=1/2g_V=1/2 and gA=−1/2g_A=-1/2. Thus the operator is 12BμΨˉγμ(1−γ5)Ψ\frac12B_\mu\bar\Psi\gamma^\mu(1-\gamma^5)\Psi. The factor one half is part of the chiral projector.

  1. Show that ΨL‾σμνΨL=0\overline{\Psi_L}\sigma^{\mu\nu}\Psi_L=0, without choosing explicit gamma matrices.
Solution

Two anticommutations show [γ5,σμν]=0[\gamma^5,\sigma^{\mu\nu}]=0. Hence ΨˉPRσμνPLΨ=ΨˉσμνPRPLΨ=0\bar\Psi P_R\sigma^{\mu\nu}P_L\Psi =\bar\Psi\sigma^{\mu\nu}P_RP_L\Psi=0. No equation of motion or massless approximation was required.

  1. A complex scalar ϕ\phi transforms as ϕ↦eiqϕαϕ\phi\mapsto e^{iq_\phi\alpha}\phi. What charge makes ϕΨL‾ΨR\phi\overline{\Psi_L}\Psi_R invariant?
Solution

Its total phase is ei(qϕ−qL+qR)αe^{i(q_\phi-q_L+q_R)\alpha}, so qϕ=qL−qRq_\phi=q_L-q_R. Its Hermitian conjugate is then invariant too. Lorentz invariance of the spinor contraction alone would not have supplied this internal-charge condition.

  • H. K. Dreiner, H. E. Haber, and S. 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:0812.1594v6, 2022 — chiral bilinears and mass couplings.
  • M. D. Schwartz, Quantum Field Theory and the Standard Model, Cambridge University Press, 2014, doi:10.1017/9781139540940 — chiral currents, gauge representations, and field redefinitions.