Codex @codex  0

The electromagnetic four-potential has a vanishing temporal momentum and a Gauss law constraint in gauge theory. Gauge reduction leaves two transverse canonical pairs. Their canonical commutation relations give the photon creation and annihilation operators. Covariant Gupta-Bleuler quantization instead retains auxiliary polarization modes and selects the same physical state space by a subsidiary condition and null-state quotient.

The Dirac electromagnetic current is the electric charge times the Dirac current. Its coupling $-e{j}^{\mu }{A}_{\mu }$ to the electromagnetic four-potential is the matter interaction of quantum electrodynamics.

For electric charge $q$ and electromagnetic four-potential $A_a$, the derivative ${\mathcal{D}}_a={\nabla }_a-iq{A}_a$ transforms covariantly under an electromagnetic gauge transformation.

For fields ${\Phi }_a$ with a first-derivative Lagrangian density, suppose an infinitesimal global transformation at fixed coordinates is $\delta {\Phi }_a=\alpha {\Delta }_a$ and $\delta \mathcal{L}=\alpha {\partial }_{\mu }{K}^{\mu }$, with constant infinitesimal $\alpha$. Noether theorem gives the on shell conserved currentThis follows by varying the Lagrangian, integrating the terms with ${\partial }_{\mu }{\Delta }_a$ by parts, and setting the Euler-Lagrange expressions to zero. If spatial boundary flux vanishes, $\int d^{3}x{J}^0$ is a conserved Noether charge. Spacetime symmetries are covered by including the induced field variation at fixed coordinates and the corresponding total derivative $K^{\mu }$.

An example of a theory with a Lorentz four-vector is the source-free Maxwell field with electromagnetic four-potential $A_{\mu }$. Under an Abelian gauge transformation,The change in $F_{\mu \nu }$ is ${\partial }_{\mu }{\partial }_{\nu }\chi -{\partial }_{\nu }{\partial }_{\mu }\chi =0$, so the Maxwell Lagrangian is gauge-invariant. For $A_{\mu }=(\Phi ,-\mathbf{A})$ define $E_i=F_{0i}$ and $F_{ij}=-{ϵ}_{ijk}{B}_k$. With signature $+---$,The minus sign in $-F^2/4$ gives the positive electric kinetic term and positive physical field energy; reversing it would reverse the Hamiltonian's sign for the physical modes. The normalization $1/4$ accounts for antisymmetry and yields the conventional equations. Varying $A_{\nu }$ gives ${\partial }_{\mu }{F}^{\mu \nu }=0$.

For time translation at fixed coordinates take ${\Delta }_{\nu }={\partial }_0{A}_{\nu }$. Since $\alpha$ is constant, $\delta F_{\mu \nu }=\alpha {\partial }_0{F}_{\mu \nu }$, and hence $\delta \mathcal{L}=\alpha {\partial }_0\mathcal{L}$. Thus $K^{\mu }={\delta }^{\mu }{}_0\mathcal{L}$. The momentum derivative isNoether theorem therefore gives the canonical stress-energy tensor's time-translation currentHere ${\dot{A}}_i=E_i+{\partial }_i{A}_0$ was used. The canonical momentum of $A_0$ vanishes, while that of the lower spatial component $A_i$ is $E_i$: $A_0$ acts as a multiplier for Gauss law, not a propagating degree of freedom. The density above is not manifestly gauge-invariant, but its charge agrees with the physical energy on the constraint surface and with appropriate boundary conditions.

The gauge-covariant time translation instead has ${\Delta }_{\nu }={\partial }_0{A}_{\nu }-{\partial }_{\nu }{A}_0=F_{0\nu }$. It is time translation combined with a gauge transformation of parameter $\chi =-\alpha A_0$. Directly,using the definition of $F$, equivalently its Bianchi identity. The total derivative in $\delta \mathcal{L}$ is unchanged. The improved current isIt is the gauge-invariant Maxwell stress-energy tensor. In particular,The spatial current is the Poynting vector $\mathbf{E}\times \mathbf{B}$, so conservation gives ${\partial }_{t}u+\nabla \cdot (\mathbf{E}\times \mathbf{B})=0$. This is the familiar positive local electromagnetic field energy density, expressed entirely in measurable fields.

To compare the currents,The last term vanishes on the source-free Maxwell equations, leaving a stress-energy tensor improvement generated by a stress-energy superpotential. At the charge level,when the surface term vanishes and Gauss law holds. Thus the symmetries yield the same conserved energy under these conditions while the second supplies a gauge-invariant local density. Boundary terms would have to be retained if those boundary conditions were not imposed.

Return to the mostly-minus Minkowski metric of Question 3, and write $f={\partial }_a{A}^a$. The field $\xi (x)$ is assumed real and nonzero wherever its inverse occurs. Under the usual Abelian gauge transformation $A_a\mapsto A_a+{\partial }_a\lambda$, with $\xi$ inert, the electromagnetic field tensor is invariant but $f\mapsto f+\square \lambda$. The change in the added density isThis is not generally a total derivative. The action is not invariant under arbitrary gauge transformations. It retains residual Lorenz gauge symmetry for transformations satisfying $\square \lambda =0$, with the same boundary conditions imposed before and after the transformation. The action itself is undefined at $\xi =0$; that value can only be considered as a limiting gauge.

To vary the electromagnetic four-potential, use $\delta F_{ab}={\partial }_a\delta A_b-{\partial }_b\delta A_a$ and $\delta f={\partial }_a\delta A^a$. The integration by parts of both terms giveswith surface terms removed by the variational boundary conditions. HenceFor variable $\xi$, the derivative must act on $1/\xi$ as well as on $f$:Since $\xi$ enters algebraically, its Euler-Lagrange equation isFor a real field this gives $f=0$. Thus a dynamical gauge-fixing parameter imposes a constraint equation in field theory; it is not an ordinary propagating scalar. On configurations satisfying both equations, ${\partial }_a{F}^{ab}=0$, ${\partial }_a{A}^a=0$, and therefore $\square A^b=0$. There is no independent kinetic equation that determines $\xi$.

For the momentum-space equation at a prescribed constant $\xi \ne 0$, use $A_a(x)=\int d^{4}p{e}^{-ip\cdot x}{A}_a(p)/(2\pi {)}^4$. Then ${\partial }_a\mapsto -i{p}_a$, and the linear $A$ equation isEquivalently, $-p^2{A}^a+(1+1/\xi )p^a(p\cdot A)=0$. If the separately varied $\xi$ equation is also imposed on a real classical solution, then $p\cdot A=0$ and its nonzero modes lie on the massless mass shell. For constructing a full-field Green function, however, invert the fixed-background quadratic operator before imposing that on-shell constraint. Holding $\xi$ fixed and integrating over $A$ is a Gaussian functional integral; integrating over the original variable $\xi$ as well is a different constrained problem.

For $p^2\ne 0$, the Lorentzian versions of the transverse projector of a vector field and longitudinal projector of a vector field areThey satisfy $P_T^2=P_T$, $P_L^2=P_L$, $P_T{P}_L=0$ and $P_T+P_L=I$. The mixed-index operator isIts inverse follows by inverting these two scalar eigenvalues. Define $G_{ab}$ by $K^{ac}{G}_{cb}={\delta }_b^a$. The positive-sign covariant gauge-fixing inverse isThis is the algebraic inverse of the kinetic operator. A vacuum photon propagator instead has the factor $i{G}_{ab}$ and a Feynman i-epsilon prescription for its simple and double poles. If the name $G$ is used for the vacuum two-point function, include that factor $i$ consistently in its defining source equation. A retarded Green function would use different boundary conditions at the same poles. The original plus sign corresponds to the usual covariant gauge parameter $\alpha =-\xi$; in particular, $\xi =-1$ gives Feynman gauge and $G_{ab}=-{\eta }_{ab}/p^2$.

Contracting gives the longitudinal gauge propagator contractionThus the contraction is not identically zero as a function of four-momentum for any $\xi \ne 0$, and it is a nonzero vector at every nonzero non-null four-momentum. A particular component may vanish when $p_b=0$. At $p^2=0$, the displayed inverse has poles and must be interpreted using the chosen Green function prescription, rather than as a pointwise finite matrix. In the limiting Landau gauge, $\xi \to 0$, the longitudinal part vanishes. A covariant photon Green function may have a longitudinal component even though physical photon polarizations are transverse.

Specify the Minkowski metric convention ${\eta }_{\mu \nu }={\eta }^{\mu \nu }=\mathrm{diag}(1,-1,-1,-1)$, with $x^0=ct$ and ${\partial }_0=c^{-1}{\partial }_t$. For the electromagnetic four-potential, $A_{\mu }={\eta }_{\mu \nu }{A}^{\nu }=(\varphi /c,-\mathbf{A})$. The electromagnetic field tensor isUsing $\mathbf{E}=-\nabla \varphi -{\partial }_t\mathbf{A}$ and $\mathbf{B}=\nabla \times \mathbf{A}$, its two component matrices areChanging metric/sign conventions changes the component convention, so stating it is necessary. Under a Lorentz transformation, the tensor law is $F^{\prime \mu \nu }(x^{\prime })={\Lambda }^{\mu }{}_{\rho }{\Lambda }^{\nu }{}_{\sigma }{F}^{\rho \sigma }(x)$. For the stated Lorentz boost, put $\beta =v/c$ and $\gamma =(1-{\beta }^2{)}^{-1/2}$:Multiplication $F^{\prime }=\Lambda F{\Lambda }^T$ gives, for example, $F^{\prime 02}=-\gamma E_y/c+\gamma \beta B_z$ and $F^{\prime 12}=-\gamma B_z+\gamma \beta E_y/c$. Reading off all entries proves Lorentz transformation of electromagnetic fields:For the wire, the lab line charge is zero and the current is $I=nqu+(-nq)(-u)=2nqu$. At points off the wire, write $s^2=y^2+z^2>0$. Gauss's law and Ampère's law giveThe boost leaves $y,z$ unchanged, so the field transformations giveIts physical source is the relativistic charge density of counterstreaming beams. Their boosted number densities are $n_{+}^{\prime }=\gamma n(1-vu/c^2)$ and $n_{-}^{\prime }=\gamma n(1+vu/c^2)$, by transforming each charge-current four-vector. Thus ${\lambda }^{\prime }=q(n_{+}^{\prime }-n_{-}^{\prime })=-2\gamma nquv/c^2=-\gamma vI/c^2$. A line charge has radial field ${\lambda }^{\prime }(0,y,z)/(2\pi {ϵ}_0{s}^2)$; using ${\mu }_0{ϵ}_0{c}^2=1$ reproduces the boxed field. Oppositely moving populations contract differently under the boost, so neutrality in one frame does not imply neutrality in the other. The ideal wire's fields are singular on its axis.

Use natural units $\hslash =c=1$ and the Minkowski metric $\eta =\mathrm{diag}(1,-1,-1,-1)$ throughout. An Abelian gauge transformation is $A_{\mu }\mapsto A_{\mu }+{\partial }_{\mu }\chi$. For a sufficiently regular $\chi$, commuting the partial derivatives gives $F_{\mu \nu }\mapsto F_{\mu \nu }$, so the Maxwell Lagrangian is invariant pointwise.

Vary the action with respect to the electromagnetic four-potential, using variations of compact support or vanishing on the boundary. The antisymmetry of the electromagnetic field tensor givesAfter integration by parts, $\delta S=\int d^{4}x({\partial }_{\mu }{F}^{\mu \nu })\delta A_{\nu }$. The principle of stationary action therefore gives the source-free Maxwell equations,In the Lorenz gauge, ${\partial }_{\mu }{A}^{\mu }=0$, this becomes $\square A_{\nu }=0$ with $\square ={\partial }_{\mu }{\partial }^{\mu }$. The PDF's name “Lorentz gauge” denotes the usual Lorenz gauge, named after Lorenz. Residual gauge transformations preserve it when $\square \chi =0$; this condition is not itself a complete removal of the gauge freedom.

Write the electromagnetic field tensor as $F^{\mu \nu }={\partial }^{\mu }{A}^{\nu }-{\partial }^{\nu }{A}^{\mu }$. Substitution into the Covariant Maxwell equation with the minus-plus-plus-plus metric givesChoose the Lorenz gauge ${\partial }_{\mu }{A}^{\mu }=0$. Since ${\partial }_{\mu }{\partial }^{\mu }={\nabla }^2-c^{-2}{\partial }_t^2$, the electromagnetic four-potential obeysConvolution with the outgoing retarded Green function gives the retarded electromagnetic potential

For the point particle, ${\tau }_{\ast }(x)$ is its unique retarded proper time, characterized byThus $y({\tau }_{\ast })$ is where the particle's worldline intersects the past light cone of the observation event $x$; the displayed expression is the covariant form of the Lienard-Wiechert potentials.

On the $z$-axis put $D=\sqrt{R^2+z^2}$. The retarded time is $t_{\ast }=t-D/c$. For the circular orbit, the spatial velocity at that time isBecause the displacement from the retarded source point to the observation point is orthogonal to this velocity, $|R^{\nu }{\dot{y}}_{\nu }|=\gamma cD$, while ${\dot{y}}^{\mu }=\gamma (c,\mathbf{v})$. The factors of $\gamma$ cancel, leaving

The quantum electrodynamics interaction is ${\mathcal{L}}_{\mathrm{int}}=-e{j}^{\mu }{A}_{\mu }$, where the Dirac electromagnetic current is $j^{\mu }=\bar{\psi }{\gamma }^{\mu }\psi$. Under parity symmetry in quantum field theory,Invariance of the interaction therefore requires the electromagnetic four-potential to transform as the same Lorentz four-vector:so $A^0$ is parity even and $\mathbf{A}$ is parity odd. Under charge conjugation, the current is odd, $j^{\mu }\mapsto -j^{\mu }$, so invariance requires

The Lorenz gauge is ${\partial }_{\mu }{A}^{\mu }=0$. Substituting the electromagnetic four-potential into the covariant Maxwell equations then removes the mixed derivative and givesEquivalently,

The electromagnetic four-potential is the field generated by the four-current $J^{\mu }$: every source volume element contributes with the inverse-distance Green-function factor. Electromagnetic influence propagates at speed $c$, so causality requires the source to be evaluated where its worldline intersects the field event's past light cone. ThusThe source time is exactly the retarded time $t_{\mathrm{ret}}=t-|x-x^{\prime }|/c$, rather than the observation time $t$.