 Solution

Use signature $(+---)$ and take the covariant spatial components $A_i$ as canonical coordinates. The canonical quantization of the electromagnetic field begins with the canonical momentaThus the primary momentum constraint of the electromagnetic potential is ${\Pi }^0=0$: $A_0$ has no independent velocity. The Hamiltonian obtained by the Legendre transform in mechanics, up to a boundary term, isPreserving the primary constraint requires the Gauss law constraint in gauge theory, ${\partial }_i{\Pi }^i=0$. It also follows by varying $A_0$. These are two first-class constraints; they generate the gauge freedom and remove two canonical pairs from the four potential components. The reduced phase space has four dimensions per spatial mode, hence two propagating photon degrees of freedom.

Impose Coulomb gauge, ${\partial }_i{A}_i=0$. With no charges, Gauss's law then gives ${\nabla }^2{A}_0=0$; vanishing boundary conditions set $A_0=0$. This is radiation gauge. The remaining components are transverse and obey the massless wave equation. Let ${ϵ}_i^{(r)}(\mathbf{k})$, $r=1,2$, be orthonormal transverse polarization vectors. Their photon polarization completeness relation isThe canonical transverse photon field is the Hermitian operatorwhereThe field and its conjugate momentum have the transverse equal-time commutatorThis is the quantized reduced bracket, or equivalently the Dirac bracket after imposing the constraints and gauge conditions. The normal-ordered Hamiltonian is ${\sum }_r\int d^{3}k{\omega }_{\mathbf{k}}{a}_r^{†}{a}_r/(2\pi {)}^3$. Its excitations are photons; circular combinations of the two transverse polarizations have helicity $+1$ and $-1$. The scalar and longitudinal potential components do not create additional physical photons.

The Feynman propagator is the vacuum expectation of a time-ordered product. The mode expansion directly gives the radiation-gauge photon propagator, with $z=x-y$:The first expression comes from the creation-annihilation commutator; the second is its contour-integral representation. The positive-energy pole lies below the real axis and the negative-energy pole above it. In this reduced free-field description, the temporal operator is zero. A photon propagator must specify its gauge; the spatial transverse propagator is not the same tensor as the covariant four-potential propagator.

For the commonly used covariant form, add the gauge fixing term $-({\partial }_{\mu }{A}^{\mu }{)}^2/(2\xi )$. The resulting Fourier-space kinetic operator isThe inversion of the gauge-fixed Maxwell kinetic operator gives $K^{\mu \nu }{D}_{\nu \rho }^F=i{\delta }^{\mu }{}_{\rho }$. In Feynman gauge, $\xi =1$, the photon propagator isEquivalently, $\square D_{\mu \nu }^F=i{\eta }_{\mu \nu }{\delta }^4(x-y)$ with the vacuum pole prescription. For general $\xi$, the momentum-space numerator is ${\eta }_{\mu \nu }-(1-\xi )k_{\mu }{k}_{\nu }/(k^2+i0)$.

A covariant canonical realization uses four polarization oscillators with $[a_r,a_s^{†}]=-(2\pi {)}^3{\eta }_{rs}{\delta }^3(\mathbf{k}-{\mathbf{k}}^{\prime })$. The resulting indefinite inner product is auxiliary. In Gupta-Bleuler quantization, impose $({\partial }_{\mu }{A}^{\mu }{)}^{(+)}|\mathrm{phys}⟩=0$ and take the Gupta-Bleuler null-state quotient. The scalar-longitudinal combination is thereby removed from the physical state space, leaving the same two transverse photon states. Thus the four-component Feynman-gauge numerator does not imply four physical polarization states.