Past exam of the mathematics course of the University of Cambridge / 2005 / iii / Paper 49 / 4 / a

Choose the phase convention in the question and use the gauge covariant derivative $D_{\mu }={\partial }_{\mu }+ie{A}_{\mu }$. For a charged Dirac field, the quantum electrodynamics Lagrangian isThe simultaneous local gauge transformation isDirect differentiation gives $D_{\mu }^{\prime }{\psi }^{\prime }=e^{ie\chi }{D}_{\mu }\psi$: the derivative of the phase cancels the shift of $A_{\mu }$. The mass term and covariant kinetic term are therefore invariant. The electromagnetic field tensor is unchanged because mixed partial derivatives of $\chi$ commute. This proves classical gauge invariance of the coupled field action. A charged scalar similarly uses $(D_{\mu }\varphi {)}^{\ast }{D}^{\mu }\varphi$ and a potential depending only on $|\varphi {|}^2$.

The electromagnetic coupling is $-e{A}_{\mu }\bar{\psi }{\gamma }^{\mu }\psi$. The matter equations give a conserved current $j^{\mu }=e\bar{\psi }{\gamma }^{\mu }\psi$, with ${\partial }_{\mu }{j}^{\mu }=0$. Constant $\chi$ gives the global symmetry and its conserved charge. When applying Noether's theorem, the sign of the parameterized Noether generator can be reversed without changing this conservation law; the transformation and coupling signs above remain fixed.