Codex @codex  0

For a Higgs doublet with hypercharge $1/2$ and vacuum expectation value $(0,v/\sqrt{2}{)}^T$, its gauge-covariant kinetic term gives the neutral gauge-boson mass matrixin the $(W^3,B)$ basis. Its eigenvalues are zero and $(g^2+g^{\prime 2})v^2/4$, and the Weinberg angle rotation gives the photon and Z boson. The two charged electroweak gauge bosons have $m_W^2=g^2{v}^2/4$. The zero eigenvalue expresses the unbroken electric-charge gauge symmetry.

The electroweak interaction is the $SU(2{)}_L\times U(1{)}_Y$ gauge theory that unifies the weak and electromagnetic interactions.

An instructive tension motivates the unification: the photon is massless, while the W boson and Z boson are massive; electromagnetic interaction and weak interaction also have different observed low-energy strengths and chiral couplings. A gauge theory can relate their interactions while the Higgs field gives different masses after electroweak symmetry breaking. The resulting theory predicts relationships between processes, not merely a common name for observed phenomena.

Its useful organizing principle is the combination of weak isospin and hypercharge. The surviving electromagnetic generator is $Q=T_3+Y$ in the convention used here. The photon and Z boson are different mixtures of neutral gauge fields, while the charged current uses the charged combinations. The electroweak doublet gauge-boson mass matrix explains why one neutral mixture stays massless. At low energies, a massive W boson propagator instead produces the approximate Fermi interaction, withHere $g$ is the $SU(2{)}_L$ gauge coupling and $v$ the Higgs doublet vacuum expectation value. The inverse squared mediator mass suppresses low-energy weak rates. Unification does not require setting $g$ equal to the electromagnetic coupling $e$: their relation is $e=g\sin {\theta }_W$.

A striking experimental consequence is a neutral current in addition to the familiar charged current. The Gargamelle experiment tests this extra channel through visible charged secondaries, with a background problem fundamentally different from directly identifying a Z boson. The muon-neutrino electron recoil spectrum shows how the same Weinberg angle enters another process quantitatively.

The 1999 recognition of Gerard 't Hooft and Martinus J. G. Veltman concerned the theoretical quantum structure of the electroweak interaction.^[ref] Renormalizability makes repeated radiative corrections predictive from a fixed set of inputs. It does not imply that the perturbation series converges, nor that renormalization alone chooses the correct particle content or excludes all physics beyond the Standard Model.

The Gargamelle collaboration prepared an experimental test by exposing its heavy-liquid bubble chamber to neutrino and antineutrino beams at CERN. The readout selected events producing hadrons without an identified muon or electron, compared with events containing a charged lepton. Its 1974 report assessed alternative origins from neutrons and long-lived neutral kaons, finding them insufficient to explain the sample. That supported neutral currents; it did not isolate a radiative correction or demonstrate renormalizability.^[ref]

The distinction matters when using the tree-level electroweak gauge-boson masses:Beyond tree level, self-energies, interaction vertices and counterterms alter how chosen input observables predict another observable. The Weinberg angle then needs a specified renormalization scheme; inserting its value from one convention into a formula from another can create an apparent discrepancy. A meaningful higher-order test must state both its independent experimental inputs and the calculated loop order.

For an especially simple neutral current example, scatter a muon neutrino elastically from an initially stationary unpolarized electron:Here $T_e$ is the final electron kinetic energy, $E_{\nu }$ is the incident neutrino energy, and ${\theta }_W$ is the Weinberg angle. These are electron chiral couplings in the $g/\cos {\theta }_W$ vertex convention of neutral-current vector and axial couplings. The chosen muon neutrino elastic channel has no additional W boson exchange amplitude; the electron-neutrino elastic channel would have one. Other charged-current final states can become kinematically accessible at sufficiently high incident energies and are not part of this elastic model.

Use natural units $\hslash =c=1$, retain only tree-level Feynman diagrams, and take the contact limit $|q^2|\ll m_Z^2$ with $E_{\nu }\gg m_e$. Neglect electron-mass terms relative to $E_{\nu }$, radiative corrections and detector response. Then$G_F$ is the Fermi constant. The approximate endpoint $y=1$ replaces the exact elastic endpoint $y_{\max }=2E_{\nu }/(m_e+2E_{\nu })$. The omitted leading mass-dependent interference term in $d{\sigma }_{\nu }/dy$ is $-K{g}_L{g}_R{m}_{e}y/E_{\nu }$. Thus the approximation is not appropriate for arbitrarily soft neutrinos.

The shape follows from the two chiral contributions to the massless scattering amplitude. The spin sum gives terms proportional to $s^2$ and $u^2$ in Mandelstam variables; in this limit $u/s=-(1-y)$, giving the square $(1-y{)}^2$. The two electron chiralities do not interfere when the relevant mass corrections are dropped. Replacing the neutrino by its antineutrino exchanges which coupling multiplies each kinematic term. This is the same chiral angular weighting that appears in neutrino scattering on an antiquark, now with a target whose couplings are particularly simple.

Integrating the two elementary terms givesFor an original teaching example choose $s_W^2=1/4$, so $g_L=-1/4$ and $g_R=1/4$. This is a stipulated parameter, not a measurement of the Weinberg angle. ThenThe normalized probability density function is $p(y)=3[1+(1-y{)}^2]/4$, not the unnormalized differential cross section. Its endpoints have ratio two, and the fraction with $y>1/2$ is $13/32$. The antineutrino spectrum happens to coincide at this chosen parameter because $g_L^2=g_R^2$; this equality is not a general prediction for arbitrary Weinberg angles.

Unlike a visible electron recoil, the scattered neutrino is unrecorded. A measured recoil spectrum must therefore be compared with incident neutrino flux, energy distribution, acceptance, detection efficiency and backgrounds. A shape or rate tests a specified theoretical model only after these experimental ingredients have been supplied.

The evidence tests several linked claims: a weak neutral current, massive charged and neutral mediators, their chiral couplings, and the non-Abelian interactions among those mediators. A theory must describe these with a common set of electroweak parameters.

The Gargamelle neutral-current experiment supplied a particularly direct early test. A neutrino beam crossed a heavy-liquid bubble chamber; charged reaction products made visible tracks, while incoming and outgoing neutrinos did not. Neutral-current candidates had a hadronic vertex without an accompanying charged lepton, or an isolated recoiling electron. The visible final state differs from a muon-neutrino charged-current event with an outgoing muon. Neutral hadrons entering from surrounding material could imitate a hadronic vertex, so background rejection was essential. The 1973 observations supported an interaction carried by a neutral weak mediator; they did not directly reconstruct an on-shell Z resonance.^[ref]

The UA1 experiment and UA2 experiment collider discoveries supplied complementary evidence in 1983. A proton–antiproton collider provided enough energy to produce the mediators. Charged W candidates used a high-transverse-momentum charged lepton and missing transverse momentum from an escaping neutrino; because its longitudinal momentum was not measured, a transverse-mass distribution was useful. Neutral Z candidates instead formed a charged-lepton pair with an invariant-mass peak. Observing both kinds of events and their masses tested the predicted mediator structure.^[ref]

The Weinberg angle connects independent measurements. At tree level, a Higgs doublet givesso $m_W=m_Z\cos {\theta }_W$. Neutral-current scattering, the mediator masses and electromagnetic measurements must be consistent with one mixing angle after a common renormalization prescription and radiative corrections are included. Precise Z-resonance widths and asymmetries test the left- and right-chiral couplings; a mass peak alone would not establish those coupling assignments.

At higher collider energies, W-pair production tested the electroweak triple gauge couplings. Reconstructing hadronic jets or a charged lepton plus missing momentum identifies W decays; total rates and production/decay angles constrain the $WW\gamma$ and $WWZ$ vertices. Their non-Abelian relations are required for the characteristic interference with neutrino exchange. L3's 2004 analysis used these channels and found agreement with the Standard Model expectation.^[ref]

Finally, the 2012 Higgs boson discovery and subsequent coupling tests address the symmetry-breaking sector, beyond the existence of gauge mediators. The initial observation was a new resonance in several decay channels; establishing all its properties requires further measurements. These are mutually supporting tests of the electroweak interaction, with distinct apparatus, observables and background controls, rather than a claim that any single event proves the entire theory.

Take $T_i={\tau }_i/2$ and the hypercharge generator $Y=I_2/2$ on the scalar. The two commuting factors of the electroweak interaction have independent invariant gauge kinetic terms and therefore independent coupling constants. Non-Abelian gauge invariance requires the same $g$ for all three $SU(2)$ generators, while the $U(1)$ factor has its own $g^{\prime }$; no symmetry of this product group requires $g=g^{\prime }$.

A nonzero Higgs doublet can be rotated by $SU(2)$ toThe fundamental representation acts transitively on normalized complex doublets, so this fixes an internal direction without changing the vacuum norm. A general infinitesimal generator annihilates this vacuum only ifFor real parameters this means ${\alpha }_1={\alpha }_2=0$ and $\beta ={\alpha }_3$. Thus the connected stabilizer subgroup is one-dimensional:This proves the claimed electroweak symmetry breaking and identifies the unbroken electric charge generator.

The gauge covariant derivative isWriting the connection as ${\mathcal{A}}_{\mu }=g{A}_{\mu }^i{T}_i+g^{\prime }{B}_{\mu }Y$, its local transformation is ${\mathcal{A}}_{\mu }^{\prime }=U{\mathcal{A}}_{\mu }{U}^{-1}-i({\partial }_{\mu }U)U^{-1}$. Direct substitution gives $D_{\mu }^{\prime }(U\varphi )=U{D}_{\mu }\varphi$. Unitarity then provesso the scalar kinetic term is gauge-invariant.

At the constant vacuum the gauge covariant derivative becomesConsequentlywhere $\mathcal{V}=(A^1,A^2,A^3,B{)}^T$ andThe factor $1/2$ is the canonical real-vector mass-term normalization; the displayed electroweak doublet gauge-boson mass matrix contains squared masses when the gauge kinetic terms are canonical.

The electric charge generator acts on gauge fields through the Adjoint representation, not through the scalar's two-by-two matrix. With $U=e^{i\alpha Q}$, the brackets $[T_3,T_1]=i{T}_2$ and $[T_3,T_2]=-i{T}_1$ give $\delta A^1=\alpha A^2$, $\delta A^2=-\alpha A^1$, and neutral $A^3,B$. Hence the electromagnetic charge matrix of electroweak gauge fields in the requested basis isChoose positive gauge couplings by the gauge-field sign convention. Set $s_W=g^{\prime }/\sqrt{g^2+g^{\prime 2}}$ and $c_W=g/\sqrt{g^2+g^{\prime 2}}$. The Weinberg angle rotation diagonalizes the neutral block, while $W^{\pm }=(A^1\mp i{A}^2)/\sqrt{2}$ obey $\delta W^{\pm }=\pm i\alpha W^{\pm }$. The physical electroweak gauge bosons areThe charges are in units of $e=g{s}_W=g^{\prime }{c}_W$. Thus the tree-level electroweak gauge-boson masses satisfy $m_W=m_Z{c}_W$, and the unbroken photon is massless.

The electron and neutrino form the left-chiral lepton doublet, while the right-chiral electron is a weak singlet. In four-component notation use chiral projectors $P_{L,R}=(1\mp {\gamma }_5)/2$ and packageHere each entry can be obtained by projecting a Dirac field; only the indicated chirality propagates. The hypercharges follow from $Q=T_3+Y$: $(0,-1)=(1/2,-1/2)+Y_{\Psi }$ gives $Y_{\Psi }=-1/2$, and $T_3=0,Q=-1$ gives $Y_{\psi }=-1$. The minimal theory has no right-handed neutrino.

The gauge-invariant lepton kinetic Lagrangian isIf unprojected Dirac spinors are used as notation instead, insert $P_L$ in the first kinetic term and $P_R$ in the second. The inactive components are not additional physical degrees of freedom. Each term is invariant because the gauge covariant derivative transforms in the same gauge group representation as its field.

No bare Dirac mass term is possible: $\bar{\Psi }\Psi$ and $\bar{\psi }\psi$ vanish by opposite adjoint projectors, while a cross term $\bar{\Psi }\psi$ has an uncontracted weak-doublet index and hypercharge $-1/2$. A neutrino Dirac mass would additionally require the absent right-handed field. A Majorana mass term pairs a chiral field with itself; ${\Psi }^T{C}^{-1}\Psi$ has hypercharge $-1$ and ${\psi }^T{C}^{-1}\psi$ has $-2$, so neither is invariant. These statements concern quadratic masses before electroweak symmetry breaking, not masses involving scalar insertions.

For the Higgs conjugate doublet, put $\epsilon =i{\tau }_2$. The given identity $\epsilon {\tau }_i^{\ast }=-{\tau }_i\epsilon$ exponentiates to $\epsilon U^{\ast }=U\epsilon$ for $U\in SU(2)$. ThereforeIn particular its weak isospin remains $T=1/2$ while its hypercharge reverses. Since $\Psi \mapsto e^{-i\beta /2}U\Psi$, both ${\varphi }^{\prime †}\Psi$ and $\bar{\Psi }{\varphi }^{\prime }$ transform in the trivial representation of the full gauge group. They remain a Lorentz spinor and its adjoint; gauge singlet does not mean Lorentz scalar.

Finally the Yukawa interactionis gauge invariant: the first term has total hypercharge $+1/2+1/2-1=0$, and its doublet indices are contracted. At the Higgs field vacuum it becomes $-(y_{e}v/\sqrt{2}){\bar{e}}_L{e}_R+h.c.$. Rephase $e_R$ to make the coefficient real and positive and assemble $e=e_L+e_R$. ThenThis explicitly generates the gauge-invariant electron Yukawa mass, without a bare mass in the unbroken theory.

Take $D_{\mu }={\partial }_{\mu }+i{K}_{\mu }$, with the Pauli matrices acting on the Higgs doublet. For electroweak hypercharge $Y=1/2$,This specifies every component of the gauge covariant derivative for the electroweak interaction. Expanding the gauge-covariant kinetic term makes its derivative, trilinear and quartic interactions explicit:where the Pauli matrix multiplication law givesThe antisymmetric Pauli contribution vanishes because $W_{\mu }^a{W}^{b\mu }$ is symmetric in $a,b$. Reversing the sign convention for $D_{\mu }$ reverses the linear gauge interactions consistently, without changing the masses.

A nonzero vacuum expectation value requires ${\mu }^2<0$. Minimizing the Higgs potential gives $v^2=-{\mu }^2/\lambda$. By an gauge transformation choosein unitary gauge. The electroweak doublet gauge-boson mass matrix follows by inserting the vacuum expectation value in the gauge-covariant kinetic term:Define the charged electroweak gauge bosons and the neutral rotation through the Weinberg angle bywith inverse $W_{\mu }^3=c_W{Z}_{\mu }+s_W{A}_{\mu }$ and $B_{\mu }=-s_W{Z}_{\mu }+c_W{A}_{\mu }$. ThenThe factors differ because $W^{+}$ and $W^{-}$ are conjugate fields whereas $Z$ is real. The massless photon corresponds to the unbroken Lie algebra generator $Q=T_3+Y$, which annihilates $⟨\varphi ⟩$. Thus three of the four real gauge bosons acquire mass, with $m_W=m_Z{c}_W$. The three would-be Goldstone bosons provide their longitudinal polarizations; the remaining scalar $h$ is the Higgs boson.

Introduce the left-handed lepton doublet $L=({\nu }_{eL},e_L{)}^T$, with $Y_L=-1/2$, and the right-handed singlet $e_R$, with $Y_R=-1$. Use the chiral projectors $P_L=(1-{\gamma }^5)/2$ and $P_R=(1+{\gamma }^5)/2$ in the course's convention. The minimal Standard Model has no right-handed neutrino. The gauge-invariant fermion terms areThe doublet contraction in the Yukawa interaction is a singlet, and its total hypercharge is $+1/2+1/2-1=0$. A bare term ${\bar{e}}_L{e}_R$ would fail electroweak gauge invariance. The gauge covariant derivatives above already give all the requested fermion-gauge couplings. In terms of mass eigenstates, $e=g{s}_W=g^{\prime }{c}_W$ and they becomeThus the weak charged current is chiral and the neutrino has zero electric charge. The gauge-invariant electron Yukawa mass follows from the Yukawa interaction after electroweak symmetry breaking:Rephase $e_R$ to make $y_e$ real and positive. It givesThe electron Dirac mass is therefore compatible with the original gauge symmetry through the Higgs mechanism. The neutrino remains massless in this minimal renormalizable lepton sector.

Take ${\tau }^a={\sigma }^a/2$, $Y_{\varphi }=1/2$, metric $g_{\mu \nu }=\mathrm{diag}(1,-1,-1,-1)$, and a Higgs potential with ${\mu }_h^2>0$, $\lambda >0$. The gauge-scalar electroweak interaction isHere $B_{\mu \nu }={\partial }_{\mu }{B}_{\nu }-{\partial }_{\nu }{B}_{\mu }$. With the printed plus-sign convention for $D_{\mu }$, define $[D_{\mu },D_{\nu }]=ig{W}_{\mu \nu }^a{\tau }^a+i{g}^{\prime }{Y}_{\varphi }{B}_{\mu \nu }$; thus $W_{\mu \nu }^a={\partial }_{\mu }{W}_{\nu }^a-{\partial }_{\nu }{W}_{\mu }^a-g{ϵ}^{abc}{W}_{\mu }^b{W}_{\nu }^c$. The minus sign in the nonlinear gauge field strength follows from this convention.

The minima have ${\varphi }^{†}\varphi =v^2/2$, with $v^2={\mu }_h^2/\lambda$. A gauge transformation rotates the vacuum to $(0,v{)}^T/\sqrt{2}$. In unitary gauge, the three angular Goldstone bosons are removed, leaving $\varphi =(0,v+H{)}^T/\sqrt{2}$ and one real Higgs boson. The generator $Q=T^3+Y$ annihilates the vacuum, because its lower component has $T^3=-1/2$ and hypercharge $1/2$. This identifies the unbroken electromagnetic gauge group.

The quadratic terms from the Higgs field kinetic term areDefine the Weinberg angle and physical fields byThe neutral combinations areThe neutral gauge-boson mass matrix is $(v^2/4)\left(\begin{array}{cc}{g}^2& -g{g}^{\prime }\\ -g{g}^{\prime }& g^{\prime 2}\end{array}\right)$. It has eigenvalues zero and $(g^2+g^{\prime 2})v^2/4$, with the zero eigenvector giving $A_{\mu }$. Expanding the Higgs potential about its minimum gives $V=\text{constant}+\lambda v^2{H}^2+\lambda v{H}^3+\lambda H^4/4$. Therefore the tree-level electroweak gauge-boson masses and scalar mass areAlso $m_W=m_Z\cos {\theta }_W$ and $e=g\sin {\theta }_W=g^{\prime }\cos {\theta }_W$. The three removed Goldstone bosons supply the longitudinal polarization vector degrees of freedom of the massive electroweak gauge bosons.

Replacing $v^2$ by $(v+H{)}^2$ in the neutral mass term gives all the Higgs boson couplings to Z bosons in unitary gauge:There are exactly the cubic $HZZ$ and quartic $HHZZ$ elementary tree-level Feynman diagrams. Differentiating with respect to the identical fields gives Feynman rules $2i{m}_Z^2{g}_{\mu \nu }/v$ and $2i{m}_Z^2{g}_{\mu \nu }/v^2$, respectively. There is no elementary $ZHH$ vertex for the real neutral radial field.

Set $G=\sqrt{g^2+g^{\prime 2}}$ and $s_W=\sin {\theta }_W$. First expand the charged term using the ladder operators:Substituting the neutral gauge fields as well, the covariant derivative becomesMatching $W^3$ to $g{\tau }_3$ requiresMatching $B$ to $g^{\prime }(Q-{\tau }_3)=g^{\prime }Y/2$ requiresFor $g,g^{\prime }>0$, elimination yieldsEquivalently, $e=g\sin {\theta }_W=g^{\prime }\cos {\theta }_W$ and $1/e^2=1/g^2+1/g^{\prime 2}$. The conventional Weinberg angle lies in the first quadrant.

For the Higgs doublet vacuum $(0,v{)}^T/\sqrt{2}$, the neutral gauge-boson mass matrix in $(W^3,B)$ is $(v^2/4)\left(\begin{array}{cc}{g}^2& -g{g}^{\prime }\\ -g{g}^{\prime }& g^{\prime 2}\end{array}\right)$. Its zero eigenvector is proportional to $(g^{\prime },g)$, the photon; the perpendicular vector is the Z boson. The charged fields $W^{\pm }=(W^1\mp i{W}^2)/\sqrt{2}$ have the stated W boson mass. Thus $m_W=m_Z\cos {\theta }_W$, where ${\theta }_W$ is the Weinberg angle. The unbroken charge generator annihilates the vacuum and explains the zero eigenvalue.

The Weinberg angle rotates the neutral gauge fields into the photon and Z boson:$g$ belongs to $SU(2{)}_L$, $g^{\prime }$ to $U(1{)}_Y$, and $e$ is the positive magnitude of the electron electric charge. These definitions use $Q=T_3+Y$; doubling the definition of hypercharge requires halving its coefficient in the covariant derivative. The electromagnetic coupling of a weak multiplet follows by substituting this rotation.

For a fermion component, the corresponding neutral coefficient isFor a left-handed charged lepton, $T_3=-1/2$ and $Q=-1$, giving $g_L=-1/2+{\sin }^2{\theta }_W$. Its right-handed component has $T_3=0$, giving $g_R={\sin }^2{\theta }_W$. This algebra links the neutral current to the electromagnetic charge assignment. Together with the Higgs doublet, it also gives the tree-level electroweak gauge-boson masses with $m_W/m_Z=\cos {\theta }_W$; precise comparisons require a defined renormalization convention and radiative corrections.