Codex @codex  0

A free Proca field is consistent and has three physical particle polarizations. The difficulty for generic interactions is the ultraviolet behavior of its Proca propagator: the longitudinal numerator makes part of it approach order $1/m^2$, rather than decay as $1/k^2$. Longitudinal external polarization vectors also behave as ${\epsilon }_L^{\mu }=k^{\mu }/m+O(m/E)$. Without suitable identities and cancellations, amplitudes grow with energy and perturbative counterterms of increasing dimension are needed. Conserved-current Abelian models and the Stueckelberg mechanism are important exceptions; a massive interacting vector is not intrinsically inconsistent as an effective field theory.

In unitary gauge the quadratic action is that of a Proca field. Use Minkowski metric $(+---)$ and add a source $J_{\mu }{A}^{\mu }$. Integration by parts, dropping the boundary term, givesWith Fourier transform convention $A(x)=\int d^{4}k{e}^{-ik\cdot x}A(k)/(2\pi {)}^4$, its kernel isFor $k^2\ne 0$, introduce the transverse and longitudinal momentum projectorsThey obey $P_T{P}_L=0$ and $P_T+P_L=1$ as mixed-index linear operators. HenceThe final expression is regular at $k^2=0$; the apparent singularities of the individual projectors have cancelled.

The normalized Gaussian functional integral is evaluated by completing the square with $A\mapsto A+K^{-1}J$:The source-independent functional determinant cancels in this ratio. Two source derivatives insert two fields, so the covariant Feynman propagator is $i{K}^{-1}$, with the Feynman i-epsilon prescription at the physical pole:This is the Proca propagator. Its pole residue has the three physical particle polarizations of a massive spin-one gauge boson. No additional gauge-fixing term is needed to invert this already gauge-fixed massive quadratic action. In a full interacting Higgs mechanism calculation, any field-dependent unitary gauge measure belongs to the interacting theory; the free quadratic gauge boson propagator above is unaffected.

After integration by parts, the quadratic Proca action with an external source isSince $M>0$, this kernel is invertible with the Feynman i-epsilon prescription; the massless gauge redundancy is absent in this unitary gauge quadratic action. Complete the square by $A\mapsto A+K_F^{-1}J$ in the Gaussian functional integral. Its source-independent determinant cancels in the normalized generating functional:In Fourier space, the kernel isFor $k^2\ne 0$, use the transverse projector of a vector field $P_T^{\mu \nu }=g^{\mu \nu }-k^{\mu }{k}^{\nu }/k^2$ and the longitudinal projector of a vector field $P_L^{\mu \nu }=k^{\mu }{k}^{\nu }/k^2$. Their mixed-index products obey $P_T{P}_L=0$, soThe last expression also extends to $k^2=0$; that point only obstructs the intermediate projector decomposition. Two source functional derivatives yield the gauge-boson propagator $D_F=i{K}_F^{-1}$:The pole residue is the physical massive-vector massive vector polarization sum. The longitudinal term is essential for inverting the quadratic kernel, and makes the naive $M\to 0$ limit of this unitary gauge Proca propagator singular.

Use natural units and the Minkowski metric $g_{\mu \nu }=\mathrm{diag}(1,-1,-1,-1)$. A massive spin-one particle has three physical particle polarizations, whereas a massless gauge boson has two. Giving a vector a mass must account for this extra longitudinal state while preserving a positive physical state space, controlled high-energy scattering and, if a fundamental perturbative theory is sought, renormalizability.

At the free-field level there is no inconsistency. The Proca actiongives the Proca equation ${\partial }_{\nu }{F}^{\nu \mu }+m^2{A}^{\mu }=0$. Taking its divergence gives $m^2{\partial }_{\mu }{A}^{\mu }=0$, and then $(\square +m^2)A^{\mu }=0$. For $m>0$ the divergence constraint removes one of the four components, leaving three positive-norm physical modes. The time component is constrained, rather than an independent negative-norm propagating oscillator. The mass term does, however, change under $A_{\mu }\mapsto A_{\mu }+{\partial }_{\mu }\omega$, so the ordinary massless gauge invariance is no longer manifest.

The difficulty becomes acute for generic interactions. Inverting the quadratic operator gives the Proca propagatorThe longitudinal part approaches order $1/m^2$ at large momentum, rather than falling as $1/k^2$. Thus the usual ultraviolet power counting deteriorates. There is a parallel external-state problem: for $p^{\mu }=(E,\mathbf{p})$,Longitudinal external legs can generate powers of $E/m$ in a scattering amplitude. These are the high-energy obstruction for a hard vector mass. Conserved Abelian currents can remove dangerous contractions, so one should not conclude that every massive-vector interaction is impossible.

For a massive non-Abelian vector with gauge-like cubic and quartic couplings, cancellations among diagrams remove the largest powers, but without a suitable additional sector longitudinal scattering still grows like $s/v^2$, where $v$ is the symmetry-breaking scale. A partial-wave coefficient is then of order $s/(16\pi v^2)$. Partial-wave unitarity requires its real part to remain bounded, so perturbation theory fails at energies of order the electroweak scale times a modest loop factor, around the TeV scale for electroweak vectors. This is a limit on the perturbative description, not a proof that a low-energy massive-vector effective field theory is inconsistent.

The Higgs mechanism supplies a weakly coupled completion. For an Abelian example, take a complex scalar field withLocally write $\varphi =(v+h)e^{i\chi /v}/\sqrt{2}$. Its gauge-covariant kinetic term becomesThe combination is invariant under $A_{\mu }\mapsto A_{\mu }+{\partial }_{\mu }\omega$, $\chi \mapsto \chi +gv\omega$. In unitary gauge $\chi =0$, it contains $m^2{A}_{\mu }{A}^{\mu }/2$ with $m=gv$, as well as the correlated $hAA$ and $hhAA$ interactions. The two original gauge polarizations and two real scalar components become three massive-vector polarizations and one radial Higgs boson. The would-be Goldstone boson supplies the longitudinal state. This counting explains why the Goldstone theorem for spontaneously broken global symmetries does not imply an extra physical massless particle here. Local gauge symmetry is a redundancy; choosing a Higgs background after gauge fixing does not explicitly break the gauge invariance of the action.

The extra scalar interactions also repair high-energy scattering. By the Goldstone-boson equivalence theorem, the leading longitudinal-vector amplitude can be computed using the would-be Goldstone bosons. For a charged-to-neutral channel in the linear scalar model, the scalar contact and radial-exchange terms giveThis Higgs cancellation in longitudinal vector scattering removes the uncontrolled $s/v^2$ growth. It also shows why a very large scalar self-coupling would itself make perturbation theory unreliable; introducing a scalar is not a license to ignore partial-wave unitarity.

Although the unitary gauge propagator looks like the badly behaved Proca propagator, renormalizability is conveniently established in an R-xi gauge. Using Cartesian scalar fluctuations, the quadratic mixing is $-m{A}_{\mu }{\partial }^{\mu }\chi$. The gauge-fixing term $-(\partial \cdot A+\xi m\chi {)}^2/(2\xi )$ cancels it and givesAt fixed finite $\xi$ this falls as $1/k^2$. The would-be scalar modes and Faddeev-Popov ghosts remain in intermediate calculations. Gauge identities, organized through BRST symmetry, make unphysical states cancel from physical amplitudes and constrain counterterms to the gauge-invariant renormalizable form. With a renormalizable scalar sector and cancellation of gauge anomalies, spontaneously broken gauge theory is renormalizable and unitary on its physical states; the bosonic construction is demonstrated in the original massive Yang-Mills renormalizability proof. The ultraviolet limit and $\xi \to \infty$ limit do not commute, so the unitary-gauge numerator alone is not a valid disproof of this result.

In the Standard Model, a Higgs doublet breaks the manifest electroweak group from $SU(2{)}_L\times U(1{)}_Y$ to $U(1{)}_{\mathrm{em}}$. The scalar kinetic term yieldsThree scalar directions supply the longitudinal polarizations of $W^{\pm }$ and $Z$, while the unbroken electromagnetic generator leaves the photon massless. The radial Higgs boson remains physical.

There is an important Abelian alternative. The Stueckelberg mechanism introduces a scalar with ${\mathcal{L}}_{\mathrm{mass}}=(m{A}_{\mu }-{\partial }_{\mu }\chi {)}^2/2$, invariant under $A\mapsto A+\partial \omega$, $\chi \mapsto \chi +m\omega$. With suitable conserved-current couplings this can describe a renormalizable massive Abelian gauge theory without a radial Higgs particle. A naive non-Abelian analogue involves a nonlinear group-valued scalar and derivative interactions suppressed by inverse powers of the symmetry-breaking scale; it is generally an effective field theory, not a power-counting-renormalizable substitute. Strongly coupled or composite sectors can provide other completions. A free vector mass is consistent; the central problem is obtaining the longitudinal state and its interactions in a theory with controlled ultraviolet behavior and physical unitarity.

Use metric $g_{\mu \nu }=\mathrm{diag}(1,-1,-1,-1)$ and the hypercharge convention $Q=T^3+Y$. Then the Higgs doublet has $Y=1/2$ and transforms under electroweak gauge invariance asThe covariant derivative sign consistent with the requested expression isA convention that instead calls the doublet hypercharge one puts $Y/2$ in the charge generator and derivative; the physical coupling is the same. Here $B_{\mu }\mapsto B_{\mu }-{\partial }_{\mu }\beta /g^{\prime }$ and the matrix-valued $SU(2)$ connection transforms as $A_{\mu }\mapsto U{A}_{\mu }{U}^{-1}+(i/g)({\partial }_{\mu }U)U^{-1}$, making $D_{\mu }\varphi$ transform like $\varphi$.

In unitary gauge, the upper component of the derivative comes from the off-diagonal Pauli matrices:The lower component isWriting $c_W=\cos {\theta }_W$, $s_W=\sin {\theta }_W$, inversion of the neutral rotation gives $A^3=c_{W}Z+s_{W}A$ and $B=-s_{W}Z+c_{W}A$. Since $g^{\prime }=g\tan {\theta }_W$, the coefficient of the photon vanishes, whereas $-g{c}_W-g^{\prime }{s}_W=-g/c_W$. ThusThe zero photon coupling expresses the neutrality of the surviving radial Higgs boson.

The scalar Lagrangian density is ${\mathcal{L}}_{\varphi }=(D_{\mu }\varphi {)}^{†}{D}^{\mu }\varphi -V$. Adding $-F_{\mu \nu }^a{F}^{a\mu \nu }/4-B_{\mu \nu }{B}^{\mu \nu }/4$ gives the complete bosonic electroweak Lagrangian density. Its scalar and vector mass terms, after electroweak symmetry breaking, are obtained directly asIndeed, the shifted quartic Higgs potential normalization gives ${\varphi }^{†}\varphi -v^2/2=vH+H^2/2$. Comparing with a canonically normalized real scalar mass term, a complex vector mass term and a real vector mass term yieldsThe extra factor one half in this paper's Higgs potential is why $M_H^2$ is $\lambda v^2$, rather than $2\lambda v^2$ in another common convention. The tree-level electroweak gauge-boson masses give $\cos {\theta }_W=M_W/M_Z$: measure the two vector masses and take their ratio. Beyond tree level this extraction requires a specified renormalization convention and radiative corrections.

Expanding the vector terms gives the cubic and quartic Higgs couplings to electroweak gauge bosons:The four elementary Feynman diagrams and their all-incoming Feynman rules are shown below. Differentiating with respect to two identical $Z$ fields supplies a factor two; differentiating with respect to two identical Higgs fields supplies another factor two in the quartic rules.

There are no elementary $H\gamma \gamma$, $HZ\gamma$, $HH\gamma \gamma$ or $HHZ\gamma$ vertices in this tree-level Lagrangian density. Loop-induced photon interactions are a different order. The scalar self-interactions, if included, have rules $HHH:-3i{M}_H^2/v$ and $HHHH:-3i{M}_H^2/v^2$.

The prime LEP2 search used the Higgs boson coupling to Z bosons through Higgsstrahlung, $e^{+}{e}^{-}\to Z^{\ast }\to ZH$, shown in the first panel of the process figure in Question 3. This identifies an associated-production interaction, rather than an on-shell decay of a single $Z$ into a heavier Higgs. The channel's historical role is documented in the LEP2 Higgs-search account.

For the free charged W boson, take $W_{\mu }(x)=\int d^{4}p{e}^{-ipx}{W}_{\mu }(p)/(2\pi {)}^4$, with the conjugate field carrying $e^{ipx}$. In the action, multiplying the two field strengths gives $2[p^2{W}_{\mu }^{†}{W}^{\mu }-(p\cdot W^{†})(p\cdot W)]$. ThereforeTo invert it, separate the transverse and longitudinal projectors $P_T=g-pp/p^2$, $P_L=pp/p^2$. The operator is $(p^2-M_W^2)P_T-M_W^2{P}_L$, soSince the quadratic action kernel is $-O$, its Proca propagator isFor all momentum components small relative to $M_W$, the low-momentum limit is $D_{\mu \nu }\simeq i{g}_{\mu \nu }/M_W^2$, with corrections of relative order $p^2/M_W^2$ or $p_{\mu }{p}_{\nu }/M_W^2$. This local limit leads to the Fermi interaction, with $G_F/\sqrt{2}=g^2/(8M_W^2)$ for the charged-current normalization used here.

There are two closely related objects to distinguish. Inverting the quadratic Proca action gives the usual covariant Proca propagator. After integration by parts, its kernel isThe matrix inverse with the Feynman i-epsilon prescription givesMultiplication by $K^{ab}$ gives $i{\delta }_b^a$ in the distributional limit. The numerator agrees with the polarization sum for a massive vector boson at the poles, but is not a transverse linear projection at arbitrary four-momentum.

For the literal canonical time-ordered product of $A_a$ and $A_b$, the nondynamical component $A_0$ produces the Proca time-ordering contact term. In the chosen time coordinate the full answer isTo see the local term directly, the three physical polarization vectors give ${\sum }_{\lambda }{ϵ}_{\lambda 0}^2=|\mathbf{q}{|}^2/m^2$. The canonical $00$ two-point correlation function therefore has Fourier transformBy contrast, ${\eta }_{00}+q_0^2/m^2=|\mathbf{q}{|}^2/m^2-(q^2+m^2)/m^2$, so the covariant expression contains an additional $i/m^2$. The mixed and spatial components have no additional contact term. ThusIf $T$ is used to mean covariant time ordering, commonly denoted $T^{\ast }$, the conventional answer is instead just ${\Delta }^{\mathrm{cov}}$. Both conventions have the same propagating poles and agree away from coincidence; explicitly separating them respects the printed definition as an ordinary time-ordered product.

The quadratic Proca action isIts momentum-space kinetic operator isInverting it on transverse and longitudinal projectors gives the Proca propagator

The quadratic momentum-space operator is inverted by the Proca propagator. With the Feynman propagator boundary prescription,Multiplication by the Fourier-space Proca operator gives $i{\delta }_{\mu }{}^{\nu }$, with the overall sign determined by the convention for the Green function.

For a free massive Proca field in the mostly-plus Minkowski metric, the covariant inverse of the quadratic action and the canonical time-ordered product of vector potentials differ locally. With Fourier transform $e^{iq\cdot (x-y)}$, the covariant Proca propagator is $-i({\eta }_{ab}+q_a{q}_b/m^2)/(q^2+m^2-i0)$, while the literal canonical two-point correlation function subtracts $i{\delta }_a^0{\delta }_b^0/m^2$ in momentum space. The time component is nondynamical; its physical-mode numerator is $|\mathbf{q}{|}^2/m^2$, rather than $-1+(q^0{)}^2/m^2$. The difference is an instantaneous Dirac delta function, not another propagating state. Both expressions agree away from coincidence. This distinction matters when identifying a covariant Green function with a canonical correlator in a constrained field theory.

In mostly-plus signature, the unitary gauge limit $\xi \to \infty$ leaves the longitudinal Proca propagator term $-i{P}_L/M^2$. Its ultraviolet scaling is constant in the momentum magnitude, whereas finite $\xi$ gives $1/k^2$ scaling. Thus taking the gauge-parameter limit before the ultraviolet limit obscures ordinary power-counting renormalizability. A conserved external current annihilates the longitudinal term, so the exchange between two such currents still falls as $1/k^2$. The issue does not make a free massive-vector Gaussian integral inconsistent.