Of Ghosts, Gauge Volumes, and Gauss's Law

The relationship between the canonical operator and the path integral formulation of quantum electrodynamics is analyzed with a particular focus on the implementation of gauge constraints in the two approaches. The removal of gauge volumes in the path integral is shown to match with the presence of zero-norm ghost states associated with gauge transformations in the canonical operator approach. The path integrals for QED in both the Feynman and the temporal gauges are examined and several ways of implementing the gauge constraint integrations are demonstrated. The upshot is to show that both the Feynman and the temporal gauge path integrals are equivalent to the Coulomb gauge path integral, matching the results developed by Kurt Haller using the canonical formalism. In addition, the Faddeev–Popov form for the Feynman gauge and temporal gauge Lagrangian path integrals are derived from the Hamiltonian form of the path integral.