For an infinitesimal element of the SO(4) group, write $U=I+iϵT+O({ϵ}^2)$. Reality of $U$ makes $T$ purely imaginary; $U^{T}U=I$ gives $T^T=-T$. Together these imply $T^{†}=T$, while antisymmetry makes the trace vanish. An antisymmetric four-by-four matrix has $4(4-1)/2=6$ independent entries. Thus six imaginary, Hermitian, antisymmetric, traceless matrices span the Special orthogonal Lie algebra in this convention. The physicists' Hermitian generators differ by a factor of $i$ from the real antisymmetric matrices used for its real Lie algebra.

A nonzero real four-vector has a length and a direction. Proper rotations act transitively on the unit three-sphere, so a gauge choice aligns the scalar vacuum expectation value along the fourth coordinate: ${\Phi }_0=v{e}_4$. This chooses an orientation of the vacuum without changing its length. Its stabilizer rotates the first three coordinates and is an SO(3) group.

The supplied generators obeyHence the three sums are unbroken generators. The orthogonal field combinationsare respectively the unbroken and broken gauge directions. With $D_{\mu }={\partial }_{\mu }-ig{A}_{\mu }^A{T}^A$, direct action on the vacuum givesCompare with the vector mass term $m^2{A}_{\mu }{A}^{\mu }/2$. ThereforeThe SO(4) vector-Higgs gauge-boson spectrum uses the scalar kinetic normalization printed in the paper, $|D\Phi {|}^2$. Inserting an additional factor $1/2$ while keeping the same numerical $v$ would instead give $|gv|/\sqrt{2}$. This is a field-normalization convention, not a disagreement about the broken subgroup. The massless fields generate the residual SO(3) gauge symmetry; they are sums, not three of the six original gauge fields individually.

Multiplying the first three supplied matrices givesThey generate a copy of the SU(2) Lie algebra. The other triple generates a second copy, and the two commute. Since they span all six dimensions,This is the two commuting rotation algebras in so4 decomposition. A Lie-algebra isomorphism fixes the local group structure but not its global central identifications. The Spin(4) double cover givesThus SO(4) is not globally the direct product of the two simply connected groups. The unbroken diagonal Lie algebra integrates to SO(3), with the same simultaneous central sign already identified. This distinguishes the gauge algebra, its covering group and the actual group acting faithfully on the four-vector.

The Standard Model is a chiral gauge theory: left-chiral quarks and leptons form SU(2) weak doublets, while the corresponding right-chiral charged fields are weak singlets. The covariant kinetic term contains $g_W{\bar{Q}}_L{\gamma }^{\mu }{t}^a{Q}_L{W}_{\mu }^a$. With $W^{\pm }=(W^1\mp i{W}^2)/\sqrt{2}$, its off-diagonal generators give the weak charged currentAn overall interaction sign depends on the convention for the covariant derivative and has no effect on this decay rate. The chiral projector $P_L=(1-{\gamma }^5)/2$ explains the vector-minus-axial combination. The Cabibbo-Kobayashi-Maskawa matrix comes from the different left-handed rotations that diagonalize up- and down-type fermion mass matrices. Set $V_{tb}=1$ and $m_b=0$ as stipulated.

Let $P_{\mu \nu }=-g_{\mu \nu }+p_{3\mu }{p}_{3\nu }/m_W^2$, the massive vector polarization sum. Sum over final spins and average over the two equally populated initial top quark spins. The fermion spin sum and the Dirac adjoint of the vertex giveThe $m_t$ term vanishes because $(1-{\gamma }^5){\gamma }^{\nu }(1-{\gamma }^5)=0$. Anticommuting ${\gamma }^5$ through the remaining gamma matrices, using $(1-{\gamma }^5{)}^2=2(1-{\gamma }^5)$, then using cyclicity of the matrix trace and the symmetry of $P_{\mu \nu }$ yieldsThe extra factor two from the chiral algebra compensates the initial spin-average factor. The term with ${\gamma }^5$ is antisymmetric in $\mu ,\nu$ and vanishes upon contraction with $P_{\mu \nu }$. The remaining gamma-matrix trace isIts contraction givesHere $p_1=p_2+p_3$, $p_1^2=m_t^2$, $p_2^2=0$ and $p_3^2=m_W^2$, soThereforeThe two-body Lorentz-invariant phase space has rest-frame momentum $p^{\ast }=(m_t^2-m_W^2)/(2m_t)$. Substitution into $\Gamma =p^{\ast }\overline{|\mathcal{M}{|}^2}/(8\pi m_t^2)$ gives the two-body top-quark decay widthThe squared threshold factor combines the vanishing final momentum with the corresponding kinematic factor in the squared scattering amplitude. The longitudinal W boson polarization contributes the high-mass enhancement proportional to $m_t^3/m_W^2$. The result is at tree level, for an on-shell W boson and $m_t>m_W$; finite bottom mass and radiative corrections change it. Restoring quark mixing multiplies the width by $|V_{tb}{|}^2$.

In spontaneous symmetry breaking, the action respects a symmetry while a selected vacuum state is invariant only under a proper subgroup. A nonzero vacuum expectation value can identify that choice. For a local gauge theory, gauge transformations are redundancies rather than transformations between physically different states; a gauge-fixed scalar expectation value describes the Higgs mechanism and its massive excitations. It should not be interpreted as breaking an observable local redundancy.

Write the adjoint scalar field as $\Phi ={\Phi }_0+\phi$, with Hermitian gauge generators normalized by $\mathrm{tr}(t^a{t}^b)={\delta }^{ab}/2$. Since ${\Phi }_0$ is constant, the part of the covariant derivative linear in the gauge field is $D_{\mu }{\Phi }_0=ig{A}_{\mu }^a[t^a,{\Phi }_0]$. Both $t^a$ and ${\Phi }_0$ are Hermitian, so their commutator is anti-Hermitian. The scalar kinetic term therefore contributesMatching coefficients gives the adjoint scalar gauge-boson mass matrixIt is positive semidefinite: for real coefficients $x_a$, its quadratic form is $2g^2\mathrm{tr}(C^{†}C)\ge 0$, where $C=[x_a{t}^a,{\Phi }_0]$. Its null space consists of generators commuting with the vacuum, the Lie algebra of its centralizer.

For a diagonal vacuum ${\Phi }_0=\mathrm{diag}({\lambda }_1,{\lambda }_2,{\lambda }_3)$, the matrix unit $E_{ij}$ obeys $[E_{ij},{\Phi }_0]=({\lambda }_j-{\lambda }_i)E_{ij}$. The two normalized Hermitian generators built from $E_{ij},E_{ji}$ each acquireThe diagonal generators $t^3,t^8$ commute with every such vacuum and remain massless. Orthogonality of these root generators also shows that the mass matrix is diagonal in the supplied Gell-Mann matrices basis. Take $g>0$ and $v\ne 0$ below; $v=0$ restores the full SU(3) group.

Each Dirac current $\bar{\psi }{\gamma }^{\mu }\psi$ has mass dimension three, so their product has dimension six. Its coefficient therefore has dimension $-2$:The Fermi interaction is not power-counting renormalizable, but its success at low energies is explained by effective field theory. Exchange of a heavy W boson between the appropriate chiral weak currents has a propagator that expands as $1/(m_W^2-q^2)=m_W^{-2}[1+q^2/m_W^2+\cdots ]$. The leading term is a local four-fermion interaction and further terms are suppressed by powers of $q^2/m_W^2$. The complete spontaneously broken electroweak gauge theory resolves the pointlike approximation at higher energies. The source's vector-current product illustrates the operator dimension; the actual weak interaction also has its specific flavors and chiral structure.

Interactions produce Feynman diagrams with internal lines whose independent loop momenta are integrated without an upper bound. Their large-momentum contributions can have an ultraviolet divergence. Two explicit examples in a scalar quartic theory are a one-loop tadpole diagram contributing to the two-point function and a one-loop four-point bubble diagram. After a Wick rotation, a spherical cutoff $\Lambda$ gives the representative integralsCombinatorial factors and couplings multiply these integrals in a particular diagram. The first is quadratically divergent by cutoff power counting; the second is logarithmically divergent. Other schemes package the divergent pieces differently.

In renormalization, introduce a regularization, separate bare parameters into renormalized parameters and counterterms, and fix the latter by stated normalization conditions. Local divergent pieces of the scalar two- and four-point functions are absorbed into mass, field normalization and quartic-coupling counterterms, with all other operators allowed by the chosen symmetries included as needed. A perturbatively renormalizable quantum field theory requires this finite counterterm family to remain closed at all orders. It does not require every individual bare diagram to be finite. For gauge theories, identities expressing gauge symmetry and absence of a gauge anomaly are essential in addition to superficial counting.

The action is dimensionless in natural units, so in four spacetime dimensions $[\mathcal{L}]=4$ and $[{\partial }_{\mu }]=1$. The engineering dimensions of relativistic fields follow from matching the free kinetic terms:and henceFor a local operator $\mathcal{O}$ of mass dimension $d_{\mathcal{O}}$, its coupling has dimension $4-d_{\mathcal{O}}$. Operators with dimension at most four are candidates for ordinary perturbative power-counting renormalizability. This test presupposes consistent kinetic terms, symmetries and the full set of induced counterterms; it is not a proof of physical consistency for an arbitrary vector interaction.

The Standard Model uses the local gauge group $SU(3{)}_c\times SU(2{)}_L\times U(1{)}_Y$. Its Higgs field is a complex Higgs doublet of hypercharge $Y=1/2$. A bare mass term for a weak gauge boson, or for a charged fermion joining inequivalent left- and right-handed gauge representations, would not respect the unbroken electroweak construction. Instead introduce a gauge-invariant Higgs potentialIts minima satisfy ${\Phi }^{†}\Phi =v^2/2$, $v^2={\mu }^2/\lambda$. Choosing a representative $⟨\Phi ⟩=(0,v{)}^T/\sqrt{2}$ leaves $Q=T_3+Y$ unbroken. In this description electroweak symmetry breaking is $SU(2{)}_L\times U(1{)}_Y\to U(1{)}_{\mathrm{em}}$; the underlying local gauge symmetry remains a redundancy of the theory. A vacuum representative is not a physical explicit violation of gauge invariance.

In unitary gauge, write $\Phi =(0,v+H{)}^T/\sqrt{2}$. The gauge-covariant kinetic term $|D_{\mu }\Phi {|}^2$ produceswith $\tan {\theta }_W=g^{\prime }/g$ and $e=g\sin {\theta }_W$. Three angular scalar directions supply the longitudinal gauge-boson polarizations of $W^{+},W^{-},Z$, while one real radial Higgs boson survives with $m_H^2=2\lambda v^2$. Counting physical degrees of freedom checks the Higgs mechanism: the electroweak gauge sector and scalar doublet have $4\times 2+4=12$ before the rearrangement and $3\times 3+2+1=12$ afterwards.

The Higgs potential also fixes the scalar self-interactions:The color gauge group is unbroken, so gluons remain massless. The same electroweak kinetic term fixesGauge-invariant Yukawa couplings such as $-y_d{\bar{Q}}_L\Phi d_R-y_u{\bar{Q}}_L\tilde{\Phi }{u}_R+h.c.$ give $m_f=y_{f}v/\sqrt{2}$ and the physical coupling $-m_{f}H\bar{f}f/v$. These relations predict stronger Higgs couplings to heavier massive particles; they do not determine the Yukawa parameters themselves. The minimal Standard Model does not supply observed neutrino masses. The surviving Higgs boson is neutral and has spin zero; its mass and self-coupling are tied to the curvature of the Higgs potential, not fixed by the gauge couplings alone. Higgs exchange also provides the Higgs cancellation in longitudinal vector scattering, maintaining the required high-energy behavior of weak amplitudes.

At a proton collider, important production mechanisms are gluon-fusion Higgs production through a heavy-quark loop, vector-boson fusion with two outgoing quark jets, associated $WH$ or $ZH$ production, and production with a top quark pair. At an electron–positron collider, Higgsstrahlung $e^{+}{e}^{-}\to ZH$ is a clean example. Tree-level decays include Higgs decay to a fermion pair and, when allowed, Higgs decay to two W bosons or Higgs decay to two Z bosons. Below an on-shell vector-pair threshold, one or both vectors can be virtual. The $gg$ and $\gamma \gamma$ channels arise through loops; neutral colorless $H$ has no corresponding direct tree-level gauge coupling. Rates and branching fractions depend on both couplings and kinematics, so “heaviest available particle” is a guide rather than a complete rule.

The Higgs boson discovery in 2012 supplied an experimental test. The ATLAS experiment and CMS experiment reconstructed two-photon and four-lepton invariant masses in Large Hadron Collider proton collisions. Electromagnetic calorimeters measure photon energies, while tracking and muon systems identify charged leptons; narrow reconstructed peaks can be distinguished from smooth backgrounds with control samples and a likelihood analysis. The ATLAS discovery paper reported a new resonance near $126.5\mathrm{GeV}$. An observed mass peak supports the existence of a new state; production channels, decay rates and angular distributions test whether it has the particular Higgs couplings and quantum numbers.^[ref]

Finally, the hierarchy problem asks why the electroweak scalar mass scale remains much smaller than a putative heavy physical scale without delicate cancellations. A cutoff estimate suggests corrections $\delta m_H^2\sim {\Lambda }^2/(16{\pi }^2)$ times couplings, but the quadratic cutoff term itself depends on the regularization convention. The physical concern persists when a heavy state of mass $M$ couples to the Higgs field and produces threshold corrections of order its coupling times $M^2/(16{\pi }^2)$. Matching a much smaller Higgs mass may then require cancellation between independent parameters. Supersymmetry, compositeness and other protective structures propose different resolutions; renormalizability of the Standard Model does not by itself resolve this sensitivity or establish that new particles must occur at one particular mass.

Use natural units and the Minkowski metric $g_{\mu \nu }=\mathrm{diag}(1,-1,-1,-1)$. Varying the Proca action with respect to $A_{\nu }$ gives $\partial \mathcal{L}/\partial A_{\nu }=m^2{A}^{\nu }$ and $\partial \mathcal{L}/\partial ({\partial }_{\mu }{A}_{\nu })=-F^{\mu \nu }$. The Euler-Lagrange equation is thereforeTaking a divergence annihilates the antisymmetric field strength, since commuting derivatives are symmetric in their indices. For $m\ne 0$ this gives the Lorenz constraint in Proca theory ${\partial }_{\nu }{A}^{\nu }=0$, and hence $(\square +m^2)A^{\nu }=0$. The constraint follows from dynamics; it is not an additional gauge fixing condition for this massive theory.

For four-momentum $p^{\mu }=(E,0,0,p)$, longitudinal polarization of a massive vector boson lies in the time–$z$ plane, has $p\cdot \epsilon =0$ and is normalized by $\epsilon \cdot \epsilon =-1$. Takingsatisfies both requirements because $E^2-p^2=m^2$. It can also be obtained by boosting the rest-frame unit spatial polarization along the direction of motion. Together with two transverse polarizations it gives the three physical spin states of a massive spin one particle.

In the Higgs boson rest frame, choose $p^{\mu }=(E,0,0,p^{\ast })$ and $p^{\prime \mu }=(E,0,0,-p^{\ast })$, with $E=m_H/2$ and $p^{\ast 2}=m_H^2/4-m_W^2$. Consistent normalized longitudinal polarization vectors areTheir Lorentz contraction is $(p^{\ast 2}+E^2)/m_W^2=(2p^{\ast 2}+m_W^2)/m_W^2$. The Higgs boson coupling to W bosons consequently givesUsing the two-body Lorentz-invariant phase space, $p^{\ast }=m_H\sqrt{1-4x}/2$ and $v^{-2}=\sqrt{2}{G}_F$ yields the longitudinal partial decay widthThe charged W bosons are distinguishable, so there is no identical-particle factor of $1/2$. This expression includes the entire angular phase space but only the specified longitudinal final polarizations. The Higgs decay to two W bosons summed over all polarizations instead has the factor $1-4x+12x^2$; the additional transverse contribution is $8x^2$. At $m_H\gg m_W$ the longitudinal channel dominates and the leading width grows as $G_F{m}_H^3$.