Past exam of the quantum field theory course of the University of Oxford / 2022 / 3

For arbitrary linear operators, expansion of the anticommutators givesNow use the commutator product rule $[VX,W]=V[X,W]+[V,W]X$, with $W=YZ$, twice. The result isNo grading assumption is needed for these algebraic identities.

For the Dirac field, supplement the supplied equal-time canonical anticommutation relations with $\{{\psi }_a(x),{\psi }_b(y)\}=\{{\psi }_a^{†}(x),{\psi }_b^{†}(y)\}=0$. Define the fermion number density $n(\mathbf{x})={\sum }_a{\psi }_a^{†}(\mathbf{x}){\psi }_a(\mathbf{x})$. In the preceding identity take $V={\psi }_a^{†}(\mathbf{x})$, $X={\psi }_a(\mathbf{x})$, $Y={\psi }_b^{†}(\mathbf{y})$, $Z={\psi }_c(\mathbf{z})$ and sum over $a$. Only its first and last anticommutators survive, givingThis is an identity of operator-valued distributions. Point splitting, or smearing with test functions, gives a precise meaning to coincident bilinears. Normal ordering only subtracts a constant from the density and does not alter this commutator.

Define the constant Dirac gamma matrix combinations ${\alpha }^k={\gamma }^0{\gamma }^k$ and $\beta ={\gamma }^0$. The Hamiltonian operator isEvaluate its commutator with $n(\mathbf{x})$ using the bilocal result in a. The mass term cancels immediately when $\mathbf{z}=\mathbf{y}$, because its two Dirac delta distributions coincide. For the derivative term first keep the two points distinct:The terms in which the derivative acts on ${\psi }_c$ cancel against each other; the derivative of the second Dirac delta distribution remains. ThusThe last equality is integration by parts, or the defining derivative rule for a distribution. Consequently the literal conserved current whose divergence equals $C$ isBecause a commutator of two Hermitian operators is anti-Hermitian, this $\mathbf{J}$ includes $-i$. The physical Hermitian Dirac current is instead $j^k=\bar{\psi }{\gamma }^k\psi$, so $C=-i\nabla \cdot \mathbf{j}$. The Heisenberg equation of motion now givesThis establishes the continuity equation directly from the required commutator, without assuming the Dirac equation or invoking the Noether theorem as a substitute for the computation.

The Hamiltonian operator is invariant under the constant global phase symmetry $\psi \mapsto e^{i\theta }\psi$, $\bar{\psi }\mapsto \bar{\psi }{e}^{-i\theta }$. The Noether current of this unitary group $U(1)$ is the Dirac current obtained in b. For fields with vanishing flux at infinity, or periodic boundary conditions, the divergence theorem and that continuity equation implyThe canonical anticommutation relations also give $[Q,\psi ]=-\psi$ and $[Q,{\psi }^{†}]={\psi }^{†}$, hence $e^{i\theta Q}\psi e^{-i\theta Q}=e^{-i\theta }\psi$. Reversing the parameter sign recovers the stated phase convention. Thus $Q$ generates the global phase symmetry. With normal ordering, $Q$ counts fermions minus antiparticles, rather than the sum of both populations. Its conservation law is Dirac fermion number conservation. A position-dependent phase produces derivative terms in this free Hamiltonian operator; the symmetry under discussion is global.

Combine the two equal-mass Dirac fields into $\Psi =({\psi }^1,{\psi }^2{)}^T$. A constant unitary matrix $U$ acting on this flavour index commutes with the common Dirac Hamiltonian, so $\Psi \mapsto U\Psi$ gives the unitary flavour symmetry of degenerate Dirac fields $U(2)$. Its real Lie algebra has dimension four. A convenient Hermitian generator basis is $T^0=1_2/2$, $T^a={\tau }^a/2$, $a=1,2,3$, where ${\tau }^a$ are the Pauli matrices.

For each generator the canonical anticommutation relations giveThe calculation is exactly the one in b, since $T^A$ commutes with both the Dirac gamma matrices and the common fermion mass matrix. ThusExplicitly their densities areThe two off-diagonal conserved currents are why counting only the individual fermion numbers misses two generators. The singlet generates $U(1)$; the other three generate special unitary group $SU(2)$. Unequal masses would break the off-diagonal conservation laws.

Scope of the count. Four is the count of currents of the displayed ${\bar{\psi }}^A{\gamma }^{\mu }{T}_{AB}{\psi }^B$ form. The completely free system also has an enhanced internal symmetry of free Dirac fields if mixing with charge-conjugate fields is admitted. For $m\ne 0$, write its two Dirac fields as four equal-mass Majorana spinors ${\chi }^I$. Their orthogonal group $O(4)$ rotations have six continuous generators, with conserved currents proportional to $i{\bar{\chi }}^I{\gamma }^{\mu }{\chi }^J$ for $I<J$; the four $U(2)$ currents form a subgroup. This larger count is relevant if “similar” means all local internal currents of the free system, without preserving a chosen fermion number. If $m=0$, the usual number-preserving chiral flavour symmetry of massless Dirac fields is $U(2{)}_L\times U(2{)}_R$ with eight currents; allowing charge conjugation mixing enlarges it to $U(4)$ with sixteen. These counts concern internal currents, excluding spacetime Noether currents.