Codex @codex  0

For the defining representation of the Special orthogonal Lie algebra, Hermitian Lie algebra generators $t_{ij}=i(E_{ij}-E_{ji})/\sqrt{2}$ have trace normalization $\mathrm{tr}(t_{ij}{t}_{kl})={\delta }_{ik}{\delta }_{jl}$ for ordered pairs. Summing their squares gives ${\sum }_{i<j}{t}_{ij}^2=(N-1)I/2$. Consequently the Casimir eigenvalue is $(N-1)/2$ and the Dynkin index is one. Doubling the trace normalization doubles both numbers; a gauge coupling must be rescaled inversely with the Lie algebra generators. With long roots of squared length two, the first convention is $C_2(\lambda )=(\lambda ,\lambda +2\rho )/2$.

Charge renormalization relates a bare gauge coupling to a coupling fixed by a physical normalization condition. In QED, the Ward identity equates vertex and fermion wave-function renormalization, leaving photon wave-function renormalization to determine the charge counterterm.

With $D_{\mu }={\partial }_{\mu }+ig{A}_{\mu }$ and $[T^a,T^b]=i{f}_{abc}{T}^c$, the Yang-Mills field strength has the sign $F_{\mu \nu }^a=G_{\mu \nu }^a-g{f}_{abc}{A}_{\mu }^b{A}_{\nu }^c$. Expanding $-F_{\mu \nu }^a{F}^{a\mu \nu }/4$ gives a cross term $(g/2)G_{\mu \nu }^a{f}_{abc}{A}^{b\mu }{A}^{c\nu }$; antisymmetry makes its two derivative terms equal, proving the cubic expression. Squaring the nonlinear term gives the quartic expression. Both vertices arise from the same gauge coupling, rather than independent free parameters.

Electroweak gauge invariance is invariance under local $SU(2{)}_L\times U(1{)}_Y$ transformations. It fixes the gauge couplings and organizes left-handed fermions into weak doublets while right-handed charged fermions are weak singlets.

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.

A gauge coupling is the constant multiplying the gauge potential in the gauge covariant derivative. Its normalization depends on that of the Lie-algebra generators; each simple or Abelian factor of a gauge algebra may have an independent coupling.

For a four-dimensional dimensionless gauge coupling, the one-loop correction is cubic in $g$. With $\alpha =g^2/(4\pi )$, the chain rule and $d/d\ln {\mu }^2=(1/2)d/d\ln \mu$ give the displayed conversion. In QCD, $c=-(11N-2n_f)/(48{\pi }^2)$, hence $d{\alpha }_s/d\ln {\mu }^2=-(11N-2n_f){\alpha }_s^2/(12\pi )+O({\alpha }_s^3)$. Other types of coupling or several interacting couplings can have different leading expansions; the squared-scale convention must not be mixed with the unsquared one.

Gauge coupling unification is the convergence of several low-energy gauge couplings to one coupling at a high scale because the gauge factors embed into one simple group.

With $D_{\mu }={\partial }_{\mu }+R(A_{\mu })$ and ${\delta }_X{A}_{\mu }=-ϵ{\partial }_{\mu }X+ϵ[X,A_{\mu }]$, the derivative terms in ${\delta }_X(D_{\mu }\varphi )$ cancel. The remaining terms combine using $R([X,A_{\mu }])=[R(X),R(A_{\mu })]$, so the covariant derivative transforms in the same Lie algebra representation as the scalar. This convention absorbs the gauge coupling into the connection.

The gauge kinetic function is a symmetric holomorphic function of chiral superfields multiplying the gauge field-strength F-term. Its real part controls gauge kinetic coefficients and its imaginary part controls topological-angle terms. Its Wilsonian perturbative correction is constrained by one-loop exactness of the holomorphic gauge kinetic function; canonical and one-particle-irreducible gauge couplings require separate normalization and infrared analysis.

// Target: supersymmetry.bigb

A holomorphic gauge coupling is the coefficient of the gauge kinetic F-term in a local Wilsonian effective action written in holomorphic variables. In a common normalization its real part is $1/g_h^2$. The continuous perturbative shift of its topological angle, together with holomorphy, restricts its renormalization-group beta function to one-loop order. Wave-function renormalization and anomalous canonical field rescalings distinguish it from the physical gauge coupling.

// Target: supersymmetry.bigb

The holomorphic strong-coupling scale packages the gauge coupling and theta angle into ${\Lambda }^{b_0}$. Treating it as a spurion under anomalous chiral symmetries strongly constrains nonperturbative superpotentials and moduli-space deformations.

With $D_{\mu }={\partial }_{\mu }+\rho ({\mathcal{A}}_{\mu })$ and $\Phi \mapsto R(U)\Phi$, a local $U=1+ϵ$ gives $\delta {\mathcal{A}}_{\mu }=-{\partial }_{\mu }ϵ+[ϵ,{\mathcal{A}}_{\mu }]$, $\delta \Phi =\rho (ϵ)\Phi$ and $\delta {\mathcal{F}}_{\mu \nu }=[ϵ,{\mathcal{F}}_{\mu \nu }]$. Derivative terms cancel in $\delta (D_{\mu }\Phi )=\rho (ϵ)D_{\mu }\Phi$. Here the gauge coupling is absorbed into the connection.

The Standard Model assigns the same gauge coupling to each lepton generation in the weak charged current. Different decay rates still arise from masses and phase space. Ratios of leptonic pion decay rates cancel the common hadronic decay constant and quark mixing coefficient, isolating universality and helicity suppression. Electromagnetic radiative corrections must be included for precision comparisons to inclusive measured decay rates.

When a simply connected $SU(5)$ gauge group undergoes spontaneous symmetry breaking to the connected physical Standard Model subgroupthe vacuum manifold is $G/H$. The long exact sequence of homotopy groups of a fibration gives ${\pi }_2(G/H)\cong {\pi }_1(H)\cong \mathbb{Z}$. Thus the theory admits sectors with nonzero integer magnetic monopole topological charge; a charged configuration cannot relax continuously to the vacuum while its asymptotic field remains on the vacuum manifold. This classifies permitted stable defects. Their actual formation and abundance also depend on the transition and subsequent dynamics, as in the Kibble mechanism.^[ref]

In natural units, let $\eta$ be the magnitude setting the broken-symmetry Higgs field, $g$ its gauge coupling and $\lambda$ a characteristic dimensionless coefficient of the Higgs field potential. Up to normalization-dependent constants, the massive gauge bosons and radial Higgs field excitation have masses $g\eta$ and $\sqrt{\lambda }\eta$. Their inverse masses set the gauge and scalar core radii, respectively:Rescaling a static classical magnetic monopole profile by $g\eta$ gives its energy in the form $M_M=(4\pi \eta /g)f$ for a dimensionless profile factor $f$; its value depends on dimensionless ratios of scalar couplings to $g^2$, the Higgs field potential and the charge sector. Weak gauge coupling therefore makes these defects much heavier than the associated massive gauge bosons, rather than assigning them the elementary-particle scale $g\eta$.^[ref]

// Target: cosmology.bigb

The normalization of an Abelian gauge coupling matters in testing gauge coupling unification. If $\mu d{g}_i/d\mu =b_i{g}_i^3$, then ${\alpha }_i^{-1}(\mu )={\alpha }_i^{-1}({\mu }_0)-8\pi b_i\log (\mu /{\mu }_0)$. For normalized hypercharge ${\alpha }_Y^{\mathrm{GUT}}=(5/3){\alpha }_Y$, the inverse slope is $(3/5)b_Y$. Subtracting pairs of inverse couplings at the common scale and eliminating its logarithm gives a low-energy consistency relation. Division by the difference of two slopes requires that difference to be nonzero; a scale above ${\mu }_0$ additionally requires a positive inferred logarithm.

At the stated order the renormalization-group beta function is separable:ConsequentlyFor a positive initial running coupling, this expression is used on the connected interval containing ${\mu }_i$ where its denominator is positive and perturbation theory remains valid.

If $b_0<0$, the running coupling decreases at high renormalization scale and tends to zero: this is asymptotic freedom. Decreasing the renormalization scale increases the running coupling, with a formal infrared pole at $\Lambda ={\mu }_i\exp [1/(b_0{\alpha }_i)]$. Near $\Lambda$, perturbation theory fails; the pole alone is not a proof of confinement. Both QCD and the SU(2) weak gauge coupling have this sign for the Standard Model particle content above the relevant thresholds.

If $b_0>0$, the running coupling decreases towards low renormalization scale and grows towards high renormalization scale. The formal ultraviolet Landau pole is ${\mu }_L={\mu }_i\exp [1/(b_0{\alpha }_i)]$. The pole signals failure of this perturbative evolution, rather than a controlled physical infinity. The hypercharge gauge coupling and ordinary QED with charged matter have this sign.

If $b_0=0$, the running coupling is constant at this order; higher-order terms may still make it run. No Standard Model gauge factor has a vanishing one-loop order coefficient for the usual particle content.

For precise normalization, take ${\alpha }_i=g_i^2/(4\pi )$ and $Q=T_3+Y$. The Standard Model one-loop gauge coefficients then giveThese coefficients use $d/d\ln \mu$, not $d/d\ln {\mu }^2$. Threshold matching changes the active particle content, so the single constant-$b_0$ expression is applied piecewise across thresholds.

Let $g$ and $g^{\prime }$ be the two gauge couplings. In unitary gauge, $\Phi =(0,0,v+h{)}^T$ and the weak hypercharge term in the gauge covariant derivative vanishes. Using $(T^a{)}_{bc}=-i{ϵ}_{abc}$, the kinetic term becomesThus, in the basis $(W^1,W^2,W^3,B)$, the gauge-boson mass matrix and its eigenvalues areHere $W^{\pm }=(W^1\mp i{W}^2)/\sqrt{2}$. The two massless neutral gauge bosons may be rotated to any orthonormal basis; no neutral mass term selects a unique mixing angle.

Expanding the same kinetic term to first order in $h$ givesFunctional differentiation gives the Feynman rulesand, in the real basis, $h{W}_{\mu }^a{W}_{\nu }^b:2i{g}^{2}v{\delta }^{ab}{g}_{\mu \nu }$ for $a,b\in \{1,2\}$. All such three-point Feynman vertices involving $W^3$ or $B$ vanish. The factor two in the real basis comes from the two identical gauge boson fields; in the charged basis it is already explicit in ${\mathcal{L}}_{hVV}$.

In units $\hslash =c=1$, a dimensionless action fixes $[\mathcal{L}]=4$. Canonical kinetic terms then give $[\varphi ]=[A_{\mu }]=1$, $[\psi ]=3/2$ and $[{\partial }_{\mu }]=1$. If an interaction operator has dimension $d_v$, its coefficient has mass dimension $[g_v]=4-d_v$. Thus scalar quartic, Yukawa and gauge couplings are dimensionless; a scalar cubic coupling has dimension one, a four-fermion coupling has dimension minus two, and the Weinberg coefficient has dimension minus one. These are engineering dimensions; anomalous scaling is an additional quantum effect.

For a connected graph with $L$ independent loop momenta, $I_B$ boson lines, $I_F$ fermion lines and $r_v$ derivatives at vertex $v$, ordinary covariant-gauge ultraviolet counting gives the superficial degree of divergenceThe second form follows from $L=I_B+I_F-V+1$ and counting field ends at vertices. It presumes the canonical large-momentum propagators; unitary-gauge vector propagators can obscure the cancellations of a renormalizable gauge theory. A nonnegative $D$ signals a possible overall ultraviolet divergence, not proof of one. Symmetries can cancel it, while a graph with $D<0$ can still contain divergent subgraphs.

With only operators of dimension at most four, increasing the vertex count does not require counterterms of unbounded dimension. Subject to the necessary symmetry identities and absence of gauge anomalies, scalar quartic theory, Yukawa theories and the Standard Model are perturbatively renormalizable when all required interactions are included. In particular, coupling a scalar to other fields can require a scalar quartic counterterm even if its coefficient was initially set to zero. The Higgs mechanism does not destroy renormalizability of the underlying anomaly-free gauge theory.

By contrast, repeated insertions of the dimension-six Fermi interaction or a dimension-five operator allow increasingly high-dimensional counterterms. Such terms are useful in an effective field theory with a stated expansion in energy over a high scale; nonrenormalizable does not mean unpredictive at a fixed order. A scalar ${\varphi }^6$ interaction and perturbative Einstein gravity in four dimensions provide other examples. Renormalizability also does not assert small coupling at every scale or a complete ultraviolet theory.

The SU(5) grand unified theory embeds the strong and electroweak groups in a single simple gauge group. Its 24 gauge generators contain the eight gluons, three weak generators and one hypercharge generator, plus twelve additional generators connecting color and weak directions. A common gauge coupling applies at the unification scale with the properly normalized hypercharge generator; low-energy couplings differ through their renormalization group evolution.

Using left-chiral fields throughout, one Standard Model generation fits intoThe dimensions are $3+2=5$ and $6+3+1=10$, so no right-handed neutrino is required in these multiplets. A singlet neutrino can be added. A suitable adjoint scalar vacuum breaks SU(5) to the Standard Model subgroup; a fundamental scalar contains an electroweak doublet and a colored triplet. The extra heavy vector bosons can mediate transitions between quarks and leptons, hence proton decay in the minimal model. This is a proposed unification, not an experimentally established identification of new particles.

The hierarchy problem concerns keeping an elementary weak-scale scalar light in the presence of much heavier physical scales. A heavy state coupled to it generically induces a threshold correction of order $\delta m_H^2\sim c{M}^2/(16{\pi }^2)$, with $c$ a product of couplings. Without protection, a weak-scale result then needs cancellation against a much larger parameter. In SU(5), this is sharpened by doublet-triplet splitting: the electroweak doublet must stay light while its colored partner must be sufficiently heavy to avoid rapid proton decay. Choosing a small tree-level doublet mass is not by itself a mechanism protecting it from subsequent heavy-particle corrections. Supersymmetry and other proposals change this protection problem, but the minimal SU(5) embedding alone does not solve it.