Past exam of the theoretical physics I course of the University of Cambridge / 2016 / Paper 1 / 2

Use natural units and the Minkowski metric $g_{\mu \nu }=\mathrm{diag}(1,-1,-1,-1)$, with $A^{\mu }=(\Phi ,\mathbf{A})$ and $A_{\mu }=(\Phi ,-\mathbf{A})$. Then $F_{0i}=E_i$, $F^{i0}=E_i$, and $F^{ij}=-{ϵ}_{ijk}{B}_k$. The electromagnetic field tensor is an antisymmetric tensor, which gives givesintegration by parts in the action, with the variation vanishing on its boundary, yields $\delta S=\int d^{4}x({\partial }_{\mu }{F}^{\mu \nu })\delta A_{\nu }$. Independent variations of the four components therefore give ${\partial }_{\mu }{F}^{\mu \nu }=0$. The time component is $\nabla \cdot \mathbf{E}=0$; the spatial components are $\nabla \times \mathbf{B}-{\partial }_t\mathbf{E}=0$. These are the two source-free Maxwell equations obtained dynamically. The other two, $\nabla \cdot \mathbf{B}=0$ and ${\partial }_t\mathbf{B}+\nabla \times \mathbf{E}=0$, follow identically from $F=dA$, through the Electromagnetic Bianchi identity. They are not additional Euler-Lagrange field equations.^[ref]

In the same Minkowski metric and electromagnetic units, $T^{\mu \nu }=-F^{\mu }{}_{\lambda }{F}^{\nu \lambda }+\frac{1}{4}{g}^{\mu \nu }{F}_{\alpha \beta }{F}^{\alpha \beta }$. Differentiating givesTo simplify the last two terms, contract ${\partial }_{\mu }{F}_{\nu \lambda }+{\partial }_{\nu }{F}_{\lambda \mu }+{\partial }_{\lambda }{F}_{\mu \nu }=0$ with $F^{\mu \lambda }$. Its first and third terms are equal, and its middle term is $-\frac{1}{2}{\partial }_{\nu }(F_{\alpha \beta }{F}^{\alpha \beta })$. Raising $\nu$ therefore gives $F^{\mu }{}_{\lambda }{\partial }_{\mu }{F}^{\nu \lambda }=\frac{1}{4}{\partial }^{\nu }(F_{\alpha \beta }{F}^{\alpha \beta })$. The cancellation leavesThis is the electromagnetic stress-energy divergence identity in rationalized units. As a sign check, $T^{00}=(E^2+B^2)/2$ is positive and $T^{0i}=(\mathbf{E}\times \mathbf{B}{)}_i$ is the Poynting vector. The integrated four-momentum $P^{\nu }=\int T^{0\nu }{d}^{3}x$ is conserved if the boundary flux vanishes. With matter sources, the electromagnetic field alone instead obeys ${\partial }_{\mu }{T}^{\mu \nu }=-F^{\nu \lambda }{J}_{\lambda }$: energy and momentum transfer to matter restore conservation of the total stress-energy tensor.

Hold $\varphi ,{\varphi }^{\ast }$ fixed while varying $A_{\nu }$. With the specified convention $D_{\mu }={\partial }_{\mu }+iq{A}_{\mu }$, the two matter variations are $\delta (D_{\mu }\varphi )=iq\varphi \delta A_{\mu }$ and $\delta (D_{\mu }\varphi {)}^{\ast }=-iq{\varphi }^{\ast }\delta A_{\mu }$. ThusAdding the Maxwell variation from part (a) gives $\delta S=\int d^{4}x[{\partial }_{\mu }{F}^{\mu \nu }-J^{\nu }]\delta A_{\nu }$. ConsequentlyExpanding the gauge covariant derivatives supplies a useful convention check:In particular, the last sign is negative for the specified plus sign in $D_{\mu }$. Reversing that convention requires consistently changing the phase transformation and current conventions as well. This current is the matter source in scalar electrodynamics; its $A$ dependence must not be dropped.

Take the constant-parameter subgroup of the local transformation: $\delta \varphi =-iqϵ\varphi$, $\delta {\varphi }^{\ast }=iqϵ{\varphi }^{\ast }$, $\delta A_{\mu }=0$. The momenta conjugate to the complex scalar field gradients are ${\Pi }_{\varphi }^{\mu }=(D^{\mu }\varphi {)}^{\ast }$ and ${\Pi }_{{\varphi }^{\ast }}^{\mu }=D^{\mu }\varphi$. Noether theorem givesThe scalar field equations are $D_{\mu }{D}^{\mu }\varphi +m^2\varphi =0$ and their complex conjugate. Applying the product rule, the gauge-potential terms cancel to giveThis establishes conservation of the Noether current of scalar electrodynamics on shell, and conservation of its integrated electric charge when there is no boundary flux. An arbitrary function $\alpha (x)$ describes gauge redundancy; the associated Noether second theorem supplies an identity among Euler-Lagrange field equations, rather than a distinct physical charge for each function. Indeed its on-shell current can be written $j^{\mu }[\alpha ]=\alpha J^{\mu }-F^{\mu \nu }{\partial }_{\nu }\alpha =-{\partial }_{\nu }(\alpha F^{\mu \nu })$. The antisymmetric tensor makes its divergence vanish. Independently, differentiating the Maxwell equation also gives ${\partial }_{\nu }{J}^{\nu }={\partial }_{\nu }{\partial }_{\mu }{F}^{\mu \nu }=0$, confirming compatibility with the matter derivation.^[ref]