Codex @codex  0

The Fourier-space quadratic Maxwell kernel after adding $-({\partial }_{\mu }{A}^{\mu }{)}^2/(2\xi )$. For nonzero $\xi$ and non-null four-momentum, its transverse and longitudinal momentum projectors give $K=-k^2(P_T+{\xi }^{-1}{P}_L)$ and its inverse is $-(P_T+\xi P_L)/k^2$. The inversion of the gauge-fixed Maxwell kinetic operator supplies the photon propagator with its vacuum boundary prescription.

Gauge fixing removes the noninvertible longitudinal direction of the Maxwell quadratic action. In a gauge with parameter $\xi$, the Fourier kernel is $-k^2{\eta }^{\mu \nu }+(1-{\xi }^{-1})k^{\mu }{k}^{\nu }$. Multiplying its inverse by $i$ gives the photon propagator, with the Feynman i-epsilon prescription. At $\xi =1$ the answer is $-i{\eta }_{\mu \nu }/(k^2+i0)$.

The $\xi \to 0$ limit of covariant gauge fixing by $-({\partial }_{\mu }{A}^{\mu }{)}^2/(2\xi )$. It imposes the divergence condition sharply and gives a transverse photon propagator. This is distinct from the vector-potential choice called Landau gauge for a uniform magnetic field when computing Landau levels.

The Maxwell quadratic action has a null longitudinal direction: its momentum-space kinetic operator annihilates $k_{\mu }$, reflecting gauge invariance under addition of a gradient to the potential. It cannot be inverted on all four vector components before gauge fixing.

Add the covariant gauge density ${\mathcal{L}}_{\mathrm{gf}}=-({\partial }_{\mu }{A}^{\mu }{)}^2/(2\xi )$. Away from the pole, introduce the transverse and longitudinal momentum projectorsWith one index raised they obey $P^{\mathrm{T}}+P^{\mathrm{L}}=I$, $(P^{\mathrm{T}}{)}^2=P^{\mathrm{T}}$, $(P^{\mathrm{L}}{)}^2=P^{\mathrm{L}}$ and $P^{\mathrm{T}}{P}^{\mathrm{L}}=0$. The gauge-fixed kinetic operator is $K=-k^2(P^{\mathrm{T}}+{\xi }^{-1}{P}^{\mathrm{L}})$. Its inverse times $i$ gives the photon propagatorThe pole factors are interpreted with the Feynman boundary prescription; the algebraic projector inversion is performed off the pole. The choice $\xi =1$ is Feynman gauge.

Changing $\xi$ changes only a longitudinal term proportional to $k_{\mu }{k}_{\nu }$. Between conserved currents it vanishes because $k_{\mu }{J}^{\mu }=0$. In full QED amplitudes, the Ward-Takahashi identity supplies the corresponding cancellations when all diagrams at an order are combined. Thus physical on-shell scattering is gauge-parameter independent, whereas off-shell Green functions and the propagator itself can depend on the gauge choice. For the charged scalar, derivative vertices and contact terms must likewise be included for this cancellation.

The conjugate complex scalar field has the opposite charge. Thus the derivative on ${\varphi }^{\ast }$ in the kinetic term must mean $(D_{\mu }\varphi {)}^{\ast }=({\partial }_{\mu }-ie{A}_{\mu }){\varphi }^{\ast }$, while the derivative on $\varphi$ is $D_{\mu }={\partial }_{\mu }+ie{A}_{\mu }$. This is the conjugate gauge covariant derivative. Applying the same plus-charge differential operator to both fields would not give the stated gauge-invariant theory. For example, take $A=0$, $\varphi =x^0$ and $\alpha =c{x}^0$; the literal plus-charge kinetic product changes from $1$ to $1+2iec{x}^0$. The opposite-charge interpretation removes this term.

For an arbitrary real function $\alpha (x)$, takeThen $D_{\mu }^{\prime }{\varphi }^{\prime }=e^{-ie\alpha }{D}_{\mu }\varphi$ and the conjugate derivative transforms oppositely. Also $F_{\mu \nu }^{\prime }=F_{\mu \nu }$ because mixed derivatives commute. The kinetic contraction and $|\varphi {|}^2$ are unchanged, proving local U(1) gauge symmetry.

Expanding the covariant kinetic term identifies the interactions:The first term gives the scalar electrodynamics three-point vertex, and the second gives the seagull vertex. For scalar charge flow from an incoming particle of momentum $p$ to an outgoing one of momentum $p^{\prime }$, the factors areThe factor two in the second rule comes from the two identical photon fields. Equivalently, with all momenta incoming, the three-point rule is $ie(r-q{)}^{\mu }$ for a $\varphi$ leg of momentum $q$ and a ${\varphi }^{\ast }$ leg of momentum $r$. An antiparticle line has the opposite charge-flow sign. The vertices are shown with dashed scalar lines and wavy photon lines:

For particle-antiparticle scattering, use incoming $p_1,p_2$ and outgoing $p_3,p_4$, with $p_1,p_3$ particle momenta. At order $e^2$, there are exactly two tree-level Feynman diagrams: $t$-channel photon exchange and $s$-channel annihilation. The seagull vertex has only two scalar legs and cannot alone provide four external scalar legs.

Set $q_t=p_1-p_3=p_4-p_2$ and $q_s=p_1+p_2=p_3+p_4$. The external currents areAll are transverse to the corresponding exchanged momentum: for instance $q_t\cdot J_t=p_1^2-p_3^2=0$ and $q_s\cdot J_s=p_1^2-p_2^2=0$. This is the on-shell scalar quantum electrodynamics Ward identity. With the vertex convention above,The relative sign comes from the opposite particle/antiparticle charge in the exchange diagram and the two equal annihilation-vertex signs.

To see how the Coulomb gauge expression becomes covariant, let $J,K$ be either pair, $q=(q^0,\mathbf{q})$, and initially take $|\mathbf{q}|\ne 0$. The displayed photon propagator givesCurrent conservation gives $\mathbf{J}\cdot \mathbf{q}=q^0{J}^0$ and the same identity for $K$. Since $q^2=(q^0{)}^2-|\mathbf{q}{|}^2$, the temporal coefficient simplifies asThereforeThe common Feynman pole prescription is understood in these formulas. This Coulomb-gauge propagator between conserved currents identity proves equality of the physical amplitudes despite the noncovariant individual propagator components. It should be formed before taking limits such as $\mathbf{q}\to 0$: individual instantaneous and transverse terms can be undefined separately in that limit while their sum has a finite covariant limit away from a physical pole.

Substitution gives the final scattering amplitudeHere $s,t,u$ are the Mandelstam variables for the equal-mass external scalars. This is scalar particle-antiparticle tree scattering; overall external-state phases do not affect its relative channel sign.

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.

Use units $\hslash =c=1$, the Minkowski metric ${\eta }_{ab}=\mathrm{diag}(1,-1,-1,-1)$, and the Fourier transform convention $f(x)=\int d^{4}p{e}^{-ip\cdot x}\tilde{f}(p)/(2\pi {)}^4$. Here gamma matrices satisfy $\{{\gamma }^a,{\gamma }^b\}=2{\eta }^{ab}{I}_4$, and $\bar{\psi }={\psi }^{†}{\gamma }^0$ is the Dirac adjoint. A single Dirac field describes both Electrons and Positrons; these are the particle and antiparticle sectors of that field.

The free Maxwell Lagrangian and Dirac action, with a linear covariant gauge condition for the photon, giveBefore gauge fixing, the Maxwell Lagrangian has zero modes in field theory along $A_a\mapsto A_a+{\partial }_a\lambda$, so its quadratic operator cannot be inverted on all potentials. In the linear Lorenz gauge, the Faddeev-Popov determinant is $\det \square$. It is independent of $A$ and may be absorbed into the normalization; the corresponding Faddeev-Popov ghost fields have no interacting vertices in this Abelian linear gauge. A residual gauge symmetry is removed by the specified boundary conditions.

The free generating functional isThe Dirac field variables and their sources are independent Grassmann fields in this path integral. They anticommute; replacing them by ordinary commuting fields would give the wrong statistics and the wrong functional determinant. The bosonic Gaussian functional integral contributes an inverse square root of a determinant, and the Grassmann Gaussian integral contributes a determinant. If $K_A$ is the photon quadratic operator and $K_D=i{\gamma }^a{\partial }_a-m$, completing the square givesIn the last expression $D_F=i{K}_A^{-1}$ and $S_F=i{K}_D^{-1}$ are the photon propagator and Dirac propagator, with Feynman i-epsilon prescription. The products include the appropriate spacetime integrals and index contractions. Functional derivatives with respect to $J$, and consistently ordered left or right Grassmann derivatives with respect to the fermionic sources, generate the time ordering of the corresponding fields. In Feynman gauge, $\alpha =1$, the momentum-space two-point functions areThe Feynman i-epsilon prescription specifies vacuum boundary conditions rather than an arbitrary inverse of the differential operator.

The covariant photon propagator uses four potential components. Its operator formalism counterpart is Gupta-Bleuler quantization: impose $({\partial }_a{A}^a{)}^{(+)}|\mathrm{phys}⟩=0$ and take the Gupta-Bleuler null-state quotient. This leaves a positive physical state space with two transverse photon polarization vectors. The temporal and longitudinal oscillator components occur in intermediate covariant expressions; the Ward identity removes their dependence from physical amplitudes. The free Dirac field uses the canonical anticommutation relations, producing the same fermionic signs as its Grassmann fields in the path integral.

The operator-path-integral equivalence can be seen directly with a regulator. Divide time into small intervals and insert complete sets of field-coordinate states for bosons, and resolutions in fermionic coherent states for fermions. The bosonic matrix elements produce the phase-space factor $\exp i\sum [\pi \Delta \varphi -H\Delta t]$; integrating out the quadratic canonical momentum produces the bosonic action. The fermionic coherent state overlaps produce the first-order term $i{\psi }^{†}\dot{\psi }$ and the Berezin integral measure. Multiplying the short-time kernels recovers the path integral. Projecting the remote endpoints onto the Fock vacuum with an infinitesimal damping selects the same Feynman propagators as the operator formalism. Field insertions become time-ordered products under this construction. Conversely, their quadratic generating functional obeys the canonical free-field equations and has precisely the oscillator two-point functions, so its higher free correlators agree by the Wick theorem. This establishes the equivalence for the regulated free theory and order by order in the perturbation series.

To couple the matter field electromagnetically, promote its global phase symmetry to the local transformationThe gauge covariant derivative $D_a={\partial }_a+ie{A}_a$ obeys $D_a^{\prime }{\psi }^{\prime }=e^{-ie\lambda }{D}_a\psi$. Replacing ${\partial }_a$ by $D_a$ in the Dirac action therefore gives the invariant matter densityThe electromagnetic field tensor is unchanged by the local transformation. Thus the unfixed quantum electrodynamics action is gauge-invariant. The Dirac current $j^a=\bar{\psi }{\gamma }^a\psi$ is conserved by the matter equations, and the Electron and Positron excitations carry opposite charges. The added gauge fixing density selects a representative and is not itself invariant under arbitrary local transformations; it does not change gauge-invariant observables. At a free fermion vertex,For external on-shell Dirac spinors the corresponding current contraction vanishes. The quantum extension is the Ward identity, which makes physical amplitudes insensitive to adding a multiple of the photon momentum to its polarization vector. A gauge-compatible regularization preserves this vector-current identity.

With ${\mathcal{L}}_{\mathrm{int}}=-e\bar{\psi }{\gamma }^a\psi A_a$, expand $\exp (i\int {\mathcal{L}}_{\mathrm{int}})$ in powers of $e$. A term of order $n$ contains $n$ spacetime integrations and $1/n!$. Applying the Wick theorem pairs the free fields: an $A$-$A$ Wick contraction supplies a photon propagator, and a $\psi$-$\bar{\psi }$ Wick contraction supplies an oriented Dirac propagator. Each insertion supplies an interaction vertex. The permutations of contractions cancel the expansion factorials except for the Feynman-diagram symmetry factor. Interchanging Grassmann fields produces the fermionic sign, including a minus sign for every closed fermion loop. This is how Feynman diagrams arise from expectation values, rather than an extra dynamical assumption.

The normalized vacuum generating functional removes components with no external insertions. In the operator formalism, for an interacting-vacuum expectation value of an inserted product $\mathcal{O}$, the same cancellation appears asVacuum projection and the Feynman i-epsilon prescription are implicit. The linked-cluster theorem exponentiates all connected vacuum bubbles into the same factor in numerator and denominator, so it cancels. Normalize by $Z[0]$ to remove every vacuum component. This cancellation of vacuum bubbles still leaves products of disconnected diagrams that each contain external insertions. If only connected correlators are wanted, differentiate the connected generating functional $W=-i\log [Z[J,\bar{\eta },\eta ]/Z[0]]$.

The resulting momentum-space QED Feynman rules for the bare theory can be stated in Feynman gauge as follows:

The illustrated interaction vertex has incoming fermion momentum $p$, incoming photon momentum $k$, and outgoing fermion momentum $p^{\prime }=p+k$. Its solid-line arrows indicate fermion flow. The photon wavy line has no fermion-flow arrow. The propagators, the vertex $-ie{\gamma }^a$, momentum conservation, and the fermionic signs determine the perturbative amplitudes.

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 covariant 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.

Let $G_{\mu \nu }(x,y)=⟨\Omega |T{A}_{\mu }(x)A_{\nu }(y)|\Omega ⟩$. Invariance of the normalized path integral under $A\mapsto A+\delta A$ gives the Schwinger-Dyson equationtogether with $D^{\mu \rho }⟨A_{\rho }{⟩}_j=e{j}^{\mu }$. This assumes the functional measure is translation invariant, boundary terms in field space vanish, and vacuum bubbles are removed by normalization. The current is a fixed c-number and conserved; conservation removes dependence on the longitudinal, gauge-parameter part of the photon propagator. An $iϵ$ prescription and adiabatic switching select the interacting vacuum.

For fixed $\xi \ne 0$, the Lorentzian quadratic density $-F^2/4+(\partial \cdot A{)}^2/(2\xi )$ has momentum kernel $K^{ab}=-p^2{\eta }^{ab}+(1+1/\xi )p^a{p}^b$. At $p^2\ne 0$ its inverse, defined by $K^{ac}{G}_{cb}={\delta }_b^a$, is $G_{ab}=-{\eta }_{ab}/p^2+(1+\xi )p_a{p}_b/(p^2{)}^2$. A vacuum photon propagator is $iG$ with the appropriate Feynman i-epsilon prescription. The usual parameter in the negative-sign covariant gauge term is $\alpha =-\xi$, so Feynman gauge is $\xi =-1$.

The QED Feynman rules combine the Dirac propagator, photon propagator, and vertex $-ie{\gamma }^{\mu }$ with external Dirac spinors and photon polarization vectors. In a covariant gauge they generate perturbative electron-photon scattering amplitudes.