Codex @codex  0

For a gauged real scalar triplet with vacuum $v{e}_3$ and generators $(t^a{)}_{bc}=-i{ϵ}^{abc}$, the covariant kinetic term yields gauge-boson squared masses $g^2{v}^2\mathrm{diag}(1,1,0)$. Two Goldstone bosons become longitudinal vector modes through the Higgs mechanism. One radial scalar, two massive three-polarization vector fields and one massless two-polarization field remain. The physical count $3+3\cdot 2=1+2\cdot 3+2=9$ is unchanged. In unitary gauge, the scalar kinetic term includes $\frac{1}{2}{g}^2(v+h{)}^2[(B^1{)}^2+(B^2{)}^2]$.

If $D_{\mu }\Phi =0$ in the SO(3) vector Higgs model, antisymmetry of the gauge potential implies ${\partial }_{\mu }|\Phi {|}^2=0$. On a local patch with nonzero constant norm, unitary gauge aligns the field with a fixed axis. The connection and gauge field strength then take values in the axis stabilizer; curvature can remain nonzero. Global alignment can require several bundle patches.

The Standard Model lepton doublet $L=({\nu }_L,e_L{)}^T$ has hypercharge $-1/2$, the electron singlet $e_R$ has $-1$, and the Higgs doublet has $1/2$. Therefore $-y_e\bar{L}\varphi e_R+h.c.$ is gauge-invariant even though a bare ${\bar{e}}_L{e}_R$ mass is not. The vacuum expectation value generates a Dirac mass $|y_e|v/\sqrt{2}$. In unitary gauge, the Higgs boson coupling is $-(m_e/v)h\bar{e}e$ after rephasing the electron.

The neutral vector mass term is $\frac{1}{2}{m}_Z^2{Z}_{\mu }{Z}^{\mu }(1+H/v{)}^2$. Expanding it gives the cubic $HZZ$ and quartic $HHZZ$ interactions in unitary gauge. Differentiating the action with respect to identical fields gives Feynman rules $2i{m}_Z^2{g}_{\mu \nu }/v$ and $2i{m}_Z^2{g}_{\mu \nu }/v^2$. A single $Z$ does not couple to two copies of the real neutral radial Higgs boson through an elementary vertex.

For ${\mu }_h^2>0$ and $\lambda >0$, the minimum has ${\varphi }^{†}\varphi =v^2/2$ with $v^2={\mu }_h^2/\lambda$. In unitary gauge, $\varphi =(0,v+H{)}^T/\sqrt{2}$ gives $V=\text{constant}+\lambda v^2{H}^2+\lambda v{H}^3+\lambda H^4/4$. The canonically normalized Higgs boson therefore has $m_H^2=2\lambda v^2$. The angular modes produce the Goldstone bosons absorbed in the Higgs mechanism.

For a real orthogonal gauge group representation, the tangent vectors to the vacuum orbit are $v_a=T_a{\varphi }_0$. Choose an independent basis of these vectors. Under an infinitesimal gauge transformation, the derivative of the displayed slice conditions with respect to the broken gauge parameters is the Gram matrix $v_a^T{v}_b$. It is invertible on the independent tangent directions, so the implicit function theorem selects this unitary gauge locally near the vacuum. The remaining scalar fluctuations are orthogonal to the gauge orbit, and their derivative has no quadratic mixing with the massive gauge fields. The statement is local and does not assert a global gauge slice through zeros of the scalar field.

The unbroken group is the stabilizer subgroup of the chosen vacuum expectation value:Its Lie algebra consists of generators $T$ with $T{\varphi }_0=0$. The vacuum manifold is the orbit $G{\varphi }_0\simeq G/H$ under the stated transitivity assumption. Its tangent space is the image of $T\mapsto T{\varphi }_0$, so its dimension is $r=\dim G-\dim H$.

Let $K_{ij}={\partial }_i{\partial }_{j}V({\varphi }_0)$ be the scalar mass matrix, with canonical scalar kinetic terms. Invariance of the scalar potential gives $({\partial }_{i}V)(T_a\varphi {)}_i=0$ for every $\varphi$. Differentiate with respect to ${\varphi }_j$ and evaluate at the minimum, where ${\partial }_{i}V=0$:Thus every independent tangent direction is a zero eigenvector of $K$. These are the Goldstone directions in the scalar mass matrix; for a global symmetry they are $r$ physical massless Goldstone bosons. For a generic nondegenerate minimum transverse to the orbit, they are precisely all the zero eigenvalues. Without that nondegeneracy assumption, additional massless scalars are possible.

For a local gauge group, use the orthogonal unitary-gauge slice near a scalar vacuum. Since ${\varphi }_0^T{T}_a{\varphi }_0=0$ by antisymmetry, the proposed condition is equivalent toIt sets the gauge-orbit components of the scalar fluctuation to zero. This is an admissible local unitary gauge: on a basis of independent broken tangent vectors $v_a=T_a{\varphi }_0$, the variation of these conditions under the broken gauge parameters is $v_a^T{v}_b$. This Gram matrix is invertible on that basis, so the implicit function theorem selects the required gauge transformation near the vacuum. Unbroken transformations remain as a residual $H$ gauge symmetry; no global gauge slice through zeros of the scalar field is being asserted.

Write $\varphi ={\varphi }_0+h$. To quadratic order, the covariant kinetic term containsThe middle term vanishes in this unitary gauge. The gauge-boson mass rank from a real scalar vacuum is therefore determined byThese are squared masses: the physical gauge boson masses are square roots of the matrix's nonzero eigenvalues after diagonalization. For real $c_a$,Its kernel consists exactly of the unbroken generators. With $g\ne 0$, the rank is $r$, so exactly $\dim G-\dim H$ gauge-field combinations become massive. Each removed scalar Goldstone mode supplies the extra longitudinal polarization of a massive gauge boson.

The remaining physical scalar fluctuations lie in the orthogonal complement of the orbit tangent space. They have no massless modes if $K$ is positive definite on that complement. The unconditional absence of massless scalars does not follow from the printed assumptions. For a concrete counterexample, take a real doublet, $G=SO(2)$ andIts entire minimum set is one circle orbit, as required, but its Hessian matrix vanishes at the minimum. Gauging the rotation gives one vector of squared mass $g^2{v}^2$ and removes the angular scalar. The radial scalar remains massless at quadratic order, since its potential starts at fourth order in the radial fluctuation. This is an accidental massless radial mode beyond Goldstone modes. Thus the intended no-massless-scalar conclusion needs nonzero transverse curvature.

In the Standard Model, the Higgs doublet contains four real components and breaks $SU(2{)}_L\times U(1{)}_Y$ to $U(1{)}_{\mathrm{em}}$. Three Goldstone bosons become the longitudinal components of $W^{\pm }$ and $Z$, while the photon remains massless. The remaining radial Higgs boson is massive for the ordinary quartic potential with positive curvature. With $⟨H⟩=(0,v_{\mathrm{EW}}/\sqrt{2}{)}^T$,The colour gauge group is unbroken. This is the Higgs mechanism, with the generic curvature condition realized by the standard Higgs potential.

Use $Q=T_3+Y$ and $T_a={\tau }_a/2$. For each generation $r=e,\mu ,\tau$, the leptons areBoth are color singlets. The conjugate antilepton fields transform in the conjugate representations and have opposite hypercharge; they are already included by the conjugate fields in the Lagrangian. The two components of $L_r$ have electric charges $0,-1$, and $R_r$ has charge $-1$. There is no right-handed neutrino representation in this field content. These assignments use the electroweak representation and hypercharge table in the same hypercharge normalization as the scalar doublet.

For a doublet of hypercharge $Y$, defineThe $SU(2)$ term is absent for a singlet. Under the local transformation $\psi \mapsto e^{iY\omega }U\psi$, the gauge fields transform so that $D_{\mu }\psi \mapsto e^{iY\omega }U{D}_{\mu }\psi$. Consequently the required gauge-covariant kinetic terms areThe fields of definite chirality are defined with $P_{L,R}=(1\mp {\gamma }_5)/2$. Since $\bar{L}$ has hypercharge $+1/2$, the Yukawa interactionis invariant: its hypercharges add to zero, and $\bar{L}\varphi$ contracts the two doublet indices. A bare charged-lepton mass violates these assignments. No renormalizable neutrino Yukawa term is available without a right-handed neutrino. A gauge-invariant scalar potential depending on ${\varphi }^{†}\varphi$ can select the nonzero vacuum, without altering these kinetic and Yukawa constructions.

There is an explicit local unitary gauge transformation whenever $r_{\varphi }=(|{\varphi }_1{|}^2+|{\varphi }_2{|}^2{)}^{1/2}\ne 0$:Thus, with the real field $\rho =\sqrt{2}{r}_{\varphi }-v$,This proves the polar coordinates for the electroweak Higgs doublet constructively. The gauge choice is local about the nonzero vacuum; it need not be nonsingular at zeros of the doublet.

The three identical-generation kinetic terms permit unitary flavor changes. A singular value decomposition gives $U_L^{†}{Y}_{\ell }{U}_R=\mathrm{diag}(y_e,y_{\mu },y_{\tau })$ with $y_r\ge 0$. Rotate both components of each left doublet together, and the right singlets independently. In this basis,The left/right cross terms combine into this Dirac mass. Since the neutrinos have no mass matrix, their simultaneous left rotation preserves a diagonal charged current. This is charged-lepton Yukawa matrix diagonalization; the neutrinos remain massless in the stated renormalizable model.

The scalar kinetic term givesIntroduce $s_W=g^{\prime }/\sqrt{g^2+g^{\prime 2}}$ and $c_W=g/\sqrt{g^2+g^{\prime 2}}$. The combinations $W^{+}=(A_1-i{A}_2)/\sqrt{2}$, $W^{-}=(W^{+}{)}^{\ast }$, $Z=c_W{A}_3-s_{W}B$ and $A_{\gamma }=s_W{A}_3+c_{W}B$ therefore diagonalize the quadratic terms:The factor $1/2$ applies to the real neutral field, not to the complex charged field. The massless photon corresponds to the unbroken generator $T_3+Y$, which annihilates the vacuum. This gives the electroweak doublet gauge-boson mass matrix and its diagonal spectrum.

Assume $\lambda >0$ and $v>0$. The minima of the scalar potential have $|\varphi |=v$. Choose the vacuum expectation value ${\varphi }_0=v{e}_3$. Its stabilizer subgroup consists exactly of matrices $\mathrm{diag}(R_2,1)$ with $R_2\in O(2)$, soThe continuous spontaneous symmetry breaking is $SO(3)\to SO(2)$ and has two broken generators. For the full orthogonal group, the cross-product notation requires the gauge connection to transform in the adjoint, as an axial vector: $R[A{]}_{\times }{R}^{-1}=[(\det R)RA{]}_{\times }$. The scalar field transforms as the ordinary vector $R\varphi$. This axial transformation of orthogonal gauge connections makes the stated covariant derivative transform correctly even for $\det R=-1$; assigning an ordinary-vector transformation to the connection would fail.

Near this nonzero vacuum, unitary gauge removes the two angular Goldstone bosons and gives $\varphi =(0,0,v+h)$. PutThese are the physical charged gauge bosons, neutral massless gauge boson, and radial scalar field. Directly substituting into the original gauge field strengths givesThe scalar field kinetic term has no radial-vector cross term, because ${\partial }_{\mu }\varphi$ and ${\mathbf{A}}_{\mu }\times \varphi$ lie in perpendicular internal directions. The complete physical gauge-scalar Lagrangian becomesFor each real vector the mass term is $m^2{A}_{\mu }{A}^{\mu }/2$, while for the complex pair it is $m_W^2{W}_{\mu }^{+}{W}^{-\mu }$. Hence the adjoint triplet Higgs spectrum isThe radial scalar also has $m_h^2=\lambda v^2$ in the question's potential normalization. The two lost scalar modes supply the longitudinal polarizations of the massive vectors through the Higgs mechanism.

For the lepton kinetic terms let $P_L=(1-{\gamma }^5)/2$, $P_R=(1+{\gamma }^5)/2$, and denote the left neutral triplet entry by $n_L=c_{\alpha }{\nu }_L+s_{\alpha }{N}_L$. The missing singlet is the perpendicular combinationIts overall sign is immaterial. The real orthogonal matrix $\left(\begin{array}{cc}{c}_{\alpha }& s_{\alpha }\\ -s_{\alpha }& c_{\alpha }\end{array}\right)$ is orthogonal, so the sum of the kinetic terms of $n_L$ and $L^S$ is ${\bar{\nu }}_{L}i/\partial {\nu }_L+{\bar{N}}_{L}i/\partial N_L$ with no mixed terms. Combining with the right triplet gives ordinary Dirac field kinetic terms for $E^{+},N,e$, and only a left-handed kinetic term for the massless neutrino. This is orthogonal completion of mixed neutral lepton kinetic terms. The heavy charged field is $E^{+}$, as printed in the PDF, not the TeX's $N^{+}$.

To compute the charge commutator, the canonical anticommutation relations implyThe quartic terms cancel on reordering the fermions. Thus well-defined normal-ordered integrated bilinears obey fermionic bilinear charge algebra, $[Q_C,Q_D]=Q_{[C,D]}$. Left/right mixed commutators vanish since $P_L{P}_R=0$.

In either triplet, writeThe displayed current has a factor two relative to the projected bilinears, since $1\mp {\gamma }^5=2P_{L,R}$. Consequently its charges are $T^{+}=2(Q_K^L+Q_K^R)$ and $T^{-}=(T^{+}{)}^{†}$. The neutral combinations have canonical anticommutators because $c_{\alpha }^2+s_{\alpha }^2=1$. Applying the matrix commutator giveswhere $Q_{\ell }=e\int :(E^{+†}{E}^{+}-e^{†}e):$ is the electromagnetic charge in the lepton sector. The neutrino, heavy neutral lepton and singlet contribute zero. This establishes triplet charged-current closure on electromagnetic charge, with the requested proportionality independent of normalization choices for the weak Noether charges. The PDF correctly writes $J^{-}=(J^{+}{)}^{†}$; the TeX repeats $J^{+}$ incorrectly. Equal-time algebra does not require conservation of the separate fermionic weak currents after symmetry breaking. For full gauge-theory charges, the corresponding charged-boson contributions must also be included.

Let $\epsilon =i{\sigma }_2=\left(\begin{array}{cc}0& 1\\ -1& 0\end{array}\right)$, so ${\epsilon }^{-1}=-\epsilon$. Direct multiplication of the Pauli matrices gives $\epsilon {\sigma }_i^{\ast }\epsilon ={\sigma }_i$, equivalently $\epsilon {\sigma }_i^{\ast }{\epsilon }^{-1}=-{\sigma }_i$. For $U=\exp (i{\theta }_i{\sigma }_i/2)\in SU(2)$ this impliesTherefore ${\varphi }^c=\epsilon {\varphi }^{\ast }$ transforms as the same weak fundamental representation doublet as $\varphi$, while complex conjugation reverses its hypercharge to $-1/2$. This is the Higgs conjugate doublet. The Yukawa coupling product $\bar{L}{\varphi }^c{u}_R$ is an $SU(2)$ singlet, and its hypercharges add toIt is consequently gauge-invariant and can supply an up-quark mass.

In unitary gauge, ${\varphi }^c=((v+H)/\sqrt{2},0{)}^T$. Writing $y_u$ for the full arbitrary coefficient of the Yukawa coupling term, its physical form isA one-generation field rephasing makes the mass positive, and its Higgs boson coupling is $m_u/v$. The printed Yukawa expression has an additional trailing $m$ after $R^{+}$ which is never defined. If it denotes a constant, absorb it into $y_u=f^{+}m$; in the conventional dimensionless Yukawa notation without that factor, $y_u=f^{+}$. It does not affect the gauge-transformation argument.

For three families, use a singular value decomposition of the two mass matrices: $U_{uL}^{†}{M}_u{U}_{uR}=D_u$ and $U_{dL}^{†}{M}_d{U}_{dR}=D_d$, with positive diagonal entries. The original left-handed weak current then becomes a current between mass eigenstates withA complex $3\times 3$ matrix has eighteen real parameters, and $U^{†}U=I$ imposes nine independent real conditions, leaving nine. A generic unitary matrix can be built from three complex plane rotations and three diagonal phases: each plane rotation supplies one angle and one phase. Thus these are three rotation angles and six phases. Rephase each of the six Dirac quark mass eigenfields, applying the same phase to its two chiralities so the diagonal masses stay real. A common phase changes no entry of $V$, leaving five effective rephasings. Removing five of the six phases leaves three angles and one physical phase. This CKM parameter counting assumes generic nondegenerate masses; degeneracies give additional basis freedom.

Exactly massless neutrinos have an arbitrary unitary flavor rotation that changes no mass term. After diagonalizing the charged-lepton mass matrix, choose the neutrino basis with the same left-handed rotation. The apparent lepton charged-current mixing matrix becomes the identity. Thus mixing of exactly massless neutrinos is removable; it is not an analogue of physical CKM mixing.

For the requested CP symmetry calculation, write $j_{ij}^{\mu }={\bar{u}}_i{\gamma }^{\mu }(1-{\gamma }^5)d_j$. The supplied charge conjugation transformations, with the fermion-reordering sign, giveFor $\Gamma ={\gamma }^{\mu }(1-{\gamma }^5)$, use $C({\gamma }^5{)}^T{C}^{-1}={\gamma }^5$ and the given gamma matrix relation to obtainUnder parity, the current acquires the Lorentz parity matrix and $1+{\gamma }^5$ becomes $1-{\gamma }^5$. Under charge conjugation the charged vector also changes sign and becomes its conjugate. The two minus signs cancel, and the parity matrices cancel in the contracted operator. ConsequentlyWith $k=g/(2\sqrt{2})$, the interaction is $-k\sum (V_{ij}{O}_{ij}+V_{ij}^{\ast }{O}_{ij}^{†})$. Thereforewith the transformed density evaluated at $x_P$. This is the CP transformation of a charged quark current.

Physical noninvariance requires a phase that cannot be removed by quark rephasings. The invariant quartetis the Jarlskog invariant, where $s_{ij}=\sin {\theta }_{ij}$ and $c_{ij}=\cos {\theta }_{ij}$ in the standard three-angle parametrization. If $J\ne 0$, no allowed row/column phases can make the matrix real, and the charged-current interaction violates CP symmetry. For example all three angles $\pi /4$ with $\delta =\pi /2$ give $J=1/(8\sqrt{2})\ne 0$.

The printed noninvariance claim is conditional on a nonzero physical phase. Arbitrary Yukawa matrices do not force it: $V=I$, or any real CKM matrix, gives a CP-invariant charged-current interaction. The correct statement is generic CP violation when the irreducible phase is nontrivial, as explained by quark rephasing and CP conservation.

Finally a right-handed neutrino has gauge representation $(1,1{)}_0$. Its Lorentz-invariant same-chirality bilinear with the field obtained by charge conjugation is therefore a gauge singlet and permits a Majorana mass term, conventionallyThe factor $1/2$ is the usual convention for a field paired with itself; it may be absorbed into the printed coefficient. A Higgs Yukawa interaction can independently give a Dirac mass term. The Majorana term violates lepton number by two units but preserves the gauge symmetries. Corresponding terms for the other charged Standard Model fermions carry nonzero electric charge, and quarks also carry nontrivial color charge. Thus this gauge-invariant right-handed neutrino Majorana mass is allowed while those charged-fermion analogues are forbidden. Merely introducing a right-handed neutrino permits mass; vanishing mass coefficients would still leave it massless.

Work with canonically normalized real components of the scalar field; a complex representation can first be written in terms of its real and imaginary components. At a vacuum expectation value ${\phi }_0$, expansion of the scalar potential givesThe linear term vanishes by stationarity. Thus the scalar mass matrix is the Hessian matrix of the scalar potential. Invariance under each Lie algebra generator gives the identity ${\partial }_{r}V(\phi )(i{T}_a\phi {)}_r=0$. Differentiating this identity with respect to ${\phi }_s$ and evaluating at the stationary point removes the term containing ${\partial }_{r}V$, leavingThe kernel of the map $T\mapsto iT{\phi }_0$ is precisely the Lie algebra of the stabilizer subgroup H. Consequently its restriction to a complementary space of broken Lie algebra generators is injective: a linear combination that annihilates ${\phi }_0$ would belong both to the stabilizer algebra and its complement, and hence would vanish. There are therefore $\dim G-\dim H$ independent Goldstone directions in the scalar mass matrix, tangent to the vacuum manifold. There are $\dim G-\dim H$ symmetry-protected massless scalars.

This Goldstone theorem guarantees at least that many zero quadratic masses. The claim that these are all the massless scalars additionally requires nonzero curvature transverse to the vacuum orbit. For example, $V=\kappa ({\phi }^T\phi -v^2{)}^4$, with $\kappa >0$, has an ordinary spherical vacuum manifold but its entire Hessian matrix vanishes there. These accidental massless radial modes beyond Goldstone modes are not excluded by the hypotheses. For the indicated orthogonal group breaking, the protected number is

For the Higgs doublet, put $r=\sqrt{2{\varphi }^{†}\varphi }=v+H$ and $z=\sqrt{2}\varphi /r$ wherever $r\ne 0$. If $z=(z_1,z_2{)}^T$, thenThis explicitly exhibits the three angular coordinates as an SU(2) transformation of a real radial field. In particular, the polar coordinates for the electroweak Higgs doublet can locally be chosen in the formAt the vacuum the three variations generated by $-i{\sigma }_1$, $-i{\sigma }_2$, and $i(I-{\sigma }_3)$ acting on $(0,1{)}^T$ are independent over the reals. They span the three broken directions; the remaining generator $Q=({\sigma }_3+I)/2$ annihilates the vacuum. This proves that the exponential supplies local angular coordinates. An inverse local gauge transformation, applied also to the gauge fields, removes these three fields in unitary gauge. They supply the longitudinal polarizations of the massive W bosons and Z boson through the Higgs mechanism. The parameterization is local about a nonzero vacuum, rather than a coordinate system through every possible zero of the Higgs doublet.

Use the metric $(+---)$ and define the charged W bosons and neutral gauge fields bywhere $s_W=\sin {\theta }_W$, $c_W=\cos {\theta }_W$, and $\tan {\theta }_W=g^{\prime }/g$. Direct substitution into the gauge-covariant kinetic term givesand henceThe electroweak doublet gauge-boson mass matrix in the $(A^3,B)$ basis isIts normalized zero direction is $(s_W,c_W)$ and its massive direction is $(c_W,-s_W)$. Thus the scalar-vector terms in physical fields arewith the tree-level electroweak gauge-boson massesThese are also charge eigenstates. The unbroken U(1) gauge symmetry has generator $Q=T_3+Y$; on the Higgs doublet, $Y=I/2$. Since $[Q,T_{\pm }]=\pm T_{\pm }$, the combinations $W^{\pm }$ have charges $\pm 1$, while Z, the photon, and H are neutral. The photon disappears from the displayed scalar-vector terms because $g{A}^3-g^{\prime }B=\sqrt{g^2+g^{\prime 2}}Z$. The photon is massless and has no direct tree-level coupling to the remaining radial scalar in this sector. This does not remove its interactions with charged W bosons, or exclude a scalar-to-photon interaction generated by loops.

Finally, retain the printed normalization of the Higgs field potential:The kinetic term is $\frac{1}{2}(\partial H{)}^2$, so the Higgs radial mass for a half-normalized quartic potential is $\boxed{m_H^2=\lambda v^2}$. The extra factor of two familiar from a potential with prefactor $\lambda$, rather than $\lambda /2$, does not apply here.

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.

Adopt the phase convention $CP|K^0⟩=-|{\bar{K}}^0⟩$ and $CP|{\bar{K}}^0⟩=-|K^0⟩$. Changing both phases changes the convention for the mixing parameter, not physical predictions. The flavor contents are $K^0=d\bar{s}$ and ${\bar{K}}^0=s\bar{d}$. A pair of charged weak currents changes strangeness by two units through the following box contractions, with $u_i,u_j=u,c,t$ summed over.

The drawing uses unitary gauge: the W boson gauge-boson propagator contains its longitudinal part. In a gauge of a renormalizable quantum field theory, charged Goldstone boson boxes must also be included to obtain the same gauge-independent result. The external lines represent the valence quarks; the meson matrix element also contains strong interaction binding effects.

Put ${\lambda }_i=V_{is}^{\ast }{V}_{id}$, $x_i=m_i^2/m_W^2$ and $P_L=(1-{\gamma }^5)/2$. The charged weak box contribution to kaon mixing has the effective four-fermion interaction structureHere $G_F$ is the Fermi constant, $V$ is the CKM matrix, and $S$ is a dimensionless loop function from a Feynman integral; the estimate suppresses convention-dependent numerical factors. Four weak interaction Feynman vertices and a one-loop Feynman integral give the coupling and loop order suppression. Unitarity of the CKM matrix gives ${\sum }_i{\lambda }_i=0$, so the GIM mechanism cancels the mass-independent part. With a negligible up quark mass, the leading charm quark term has $S(x_c,x_c)\sim x_c$. Define $f_K$ by $⟨0|\bar{s}{\gamma }_{\mu }{\gamma }^{5}d|K^0(p)⟩=i{f}_K{p}_{\mu }$. Estimating the hadronic matrix element by $f_K^2{m}_K{B}_K$, with the dimensionless kaon bag parameter $B_K$ of order unity, givesThe hadronic normalization includes division by $2m_K$ when relativistically normalized states are converted to the effective Hamiltonian for neutral-meson mixing. Since $|V_{cs}^{\ast }{V}_{cd}|\simeq \sin {\theta }_C\cos {\theta }_C$, the Cabibbo suppression is explicit. Illustrative scales $G_F\sim 10^{-5}{\mathrm{GeV}}^{-2}$, $m_c\sim 1\mathrm{GeV}$, $f_K\sim 0.1\mathrm{GeV}$ and $m_K\sim 0.5\mathrm{GeV}$ give an order $10^{-16}$ to $10^{-15}\mathrm{GeV}$ estimate. The full sum includes charm quark-top quark and top quark-top quark terms, important for CP violation; long-distance strong interaction contributions prevent this dimensional estimate from being a precision prediction. A meson matrix element necessarily needs hadronic input in addition to electroweak parameters.