Canonical anticommutation relations (CAR)

Fermionic creation and annihilation operators satisfy $\{a_i,a_j^{†}\}={\delta }_{ij}$ and vanishing equal-type anticommutators. These relations make each mode either empty or singly occupied.

For constant internal matrices acting on Dirac fields, the equal-time canonical anticommutation relations givewith the corresponding spatial delta functions for fields. The quartic terms cancel after fermion reordering. Integrating proves the displayed algebra for well-defined global Noether charges, with normal ordering and a regulator that preserves the nonanomalous internal symmetry. Orthogonal chiral projectors make the left/right mixed commutators zero. This reduces current-charge closure to a finite matrix calculation.

For normalized triplets $(E^{+},n,e{)}_L$ and $(E^{+},N,e{)}_R$, let the raising matrix have ones in entries $(1,2)$ and $(2,3)$. Its commutator with its adjoint is $\mathrm{diag}(1,0,-1)$. Neutral mixing in $n=c_{\alpha }\nu +s_{\alpha }N$ leaves this result unchanged because $c_{\alpha }^2+s_{\alpha }^2=1$. With current normalization using $1\mp {\gamma }^5=2P_{L,R}$, fermionic bilinear charge algebra gives the displayed proportionality to the leptonic electric charge $Q_{\ell }=e\int :(E^{+†}{E}^{+}-e^{†}e):$. Other current normalizations change the numerical prefactor, not closure. Equal-time algebra does not itself imply conservation of a fermionic weak charge in a symmetry-broken theory.

For mode normalization $1/\sqrt{2E_{\mathbf{p}}}$, particle and antiparticle operators satisfy $\{a_{\mathbf{p}}^s,a_{\mathbf{q}}^{r†}\}=\{b_{\mathbf{p}}^s,b_{\mathbf{q}}^{r†}\}=(2\pi {)}^3{\delta }^{sr}{\delta }^3(\mathbf{p}-\mathbf{q})$. The Dirac spinor completeness relations imply ${\sum }_s[u_s(\mathbf{p})u_s^{†}(\mathbf{p})+v_s(-\mathbf{p})v_s^{†}(-\mathbf{p})]=2E_{\mathbf{p}}I$. Inserting this into the mode expansion of a Dirac field gives the displayed local anticommutator. The reversed momentum in the antiparticle completeness term is essential.