Codex @codex  0

An Abelian gauge theory has a commutative gauge group. Its gauge field strength has no commutator term, so the pure gauge Lagrangian has no cubic or quartic gauge-boson self-interactions.

An asymptotically free theory has a running coupling that tends to zero at arbitrarily high energy. Its negative weak-coupling beta function makes short-distance perturbation theory increasingly accurate.

In quantum chromodynamics, this means that a short-distance probe can resolve quarks with a small QCD coupling, even though isolated quarks are absent from the observed hadron spectrum. This made asymptotic freedom a bridge between the approximately free constituents of the parton model and an interacting quantum field theory. Asymptotic freedom supplies control at large momentum transfer; it does not itself prove confinement.^[ref]

Use the four-dimensional QCD coupling convention ${\alpha }_s=g_s^2/(4\pi )$. For the SU(3) gauge group and $n_f$ active quark flavors in the fundamental representation, the one-loop order beta function isHere $n_f$ counts quark flavors, not the three values of color charge. The chain rule converts the first equation to the last; changing from $\ln \mu$ to $\ln {\mu }^2$ supplies a factor of two. For ${\beta }_0>0$, the negative sign makes $g_s=0$ an attractive high-energy renormalization-group fixed point.^[ref]

For ${\beta }_0>0$, set the renormalization scale $\mu =Q$, where $Q$ is a positive energy scale. The one-loop running of the strong coupling then givesThe strong-coupling scale $\Lambda$ has the same units of measurement as $Q$, so the logarithm has a dimensionless argument. This is a fixed-$n_f$ approximation on the positive branch $Q>\Lambda$; controlled perturbative quantum field theory requires a small QCD coupling and suitably small omitted corrections, not merely a positive denominator. Heavy quark masses require matching the QCD scale across a quark threshold, changing $n_f$ and the associated $\Lambda$. Both the renormalization scheme and the loop order matter when quoting a numerical $\Lambda$.

The bino is the spin-one-half gaugino of the hypercharge $U(1{)}_Y$ gauge group. Its adjoint representation is the singlet $(1,1,0)$, so it has no hypercharge of its own. After electroweak symmetry breaking, it can mix with the neutral wino and higgsinos into neutralinos.

A gauge theory whose left- and right-chiral fermions transform differently under its gauge group. The weak charged current gives a physical example. A chiral representation assignment must satisfy the relevant gauge anomaly cancellation conditions to define a consistent quantum theory.

Color charge is the gauge group charge of Quantum chromodynamics, associated with its $SU(3)$ symmetry. A quark transforms in the fundamental three-dimensional representation, an antiquark in its conjugate, and a lepton is a singlet. The word color is a label for this charge, unrelated to visible light.

The scalar potential is a positive sum of squared commutators of the six adjoint scalar fields. It vanishes precisely when they commute. For a compact gauge group, simultaneous conjugation puts a commuting tuple in a Cartan subalgebra. Its arbitrary $6r$ real coordinates are classical flat directions of a scalar potential, with residual identification by the Weyl group. For $SU(N)$ the simultaneous eigenvalue vectors also obey the tracelessness constraint. Generic values break the gauge group to its maximal torus.

D-flatness sets every vector-multiplet auxiliary field to zero. Quotienting its solution set by the compact gauge group is equivalent, under standard stability conditions, to quotienting the F-flat variety by the complexified gauge group.

In a minimal SU(5) scalar multiplet, the weak doublet and a colored triplet share a unified representation. The doublet must remain near the electroweak scale while the triplet is much heavier, notably to suppress proton decay. Arranging this splitting without an unprotected cancellation is a model-building problem distinct from merely embedding the Standard Model gauge group.

A gauge boson is a spin-one quantum excitation of a gauge field. Each generator of the gauge group supplies one gauge-boson species before symmetry breaking.

A gauge generator is the representation matrix of a basis element of the Lie algebra of a continuous gauge group on a specified set of fields. For Hermitian generators $T^a$, an infinitesimal transformation is $\delta \varphi =i{\alpha }^a{T}^a\varphi$, and $[T^a,T^b]=i{f}^{ab}{}_c{T}^c$. Gauge invariance of a superpotential consequently requires $W_i(T^a{)}^i{}_j{\varphi }^j=0$ for each generator.

The gauge group is the group of local internal symmetries. Its Lie algebra labels the gauge-boson species, while a matter field carries a representation of the group.

A gauge group representation specifies how a matter field transforms under a gauge group. It fixes the gauge charges and whether gauge-invariant mass terms can pair a field with a field in the conjugate group representation.

A right-handed neutrino is a singlet of the entire Standard Model gauge group. Its same-chirality bilinear with the field obtained by charge conjugation therefore admits the displayed renormalizable Majorana mass term, in addition to a Higgs-induced Dirac mass term. It violates lepton number by two units. Analogous terms for electrically charged Standard Model fermions carry nonzero electric charge; quarks also have nontrivial color charge. The presence of a right-handed field permits mass but does not force a nonzero mass parameter.

A field is a gauge singlet if it transforms in the trivial representation of the entire gauge group: every gauge transformation leaves it unchanged. A singlet of only one factor need not be a gauge singlet of the product group. For example a right-handed neutrino with representation $(1,1{)}_0$ is a Standard Model gauge singlet, whereas a color-singlet charged lepton is still acted on by the electroweak group. A singlet can have ordinary derivatives in its kinetic term and gauge-invariant masses, subject to Lorentz invariance and any additional global symmetries.

A gaugino is the spin-one-half superpartner of a gauge boson and transforms in the adjoint representation of its gauge group. Gaugino loops modify gauge-coupling renormalization-group beta functions above the supersymmetry-breaking threshold.

With the specified scalar-dependent gauge fixing, the Faddeev-Popov determinant depends on the radial Higgs mode even though the gauge group is Abelian. Besides a ghost mass squared $\xi e^2{f}^2$, the Lagrangian density contains $-2\xi e^{2}fh\bar{c}c-\xi e^2{h}^2\bar{c}c$. These Faddeev-Popov ghosts do not decouple for generic $\xi$; their interactions vanish in the $\xi \to 0$ Landau gauge limit. Free ghosts in pure Abelian Lorenz gauge rely on a field-independent determinant, rather than merely on commutativity of the gauge group.

A theory embedding the Standard Model gauge factors in a larger gauge group. Particular embeddings can relate couplings and matter multiplets or predict proton decay. The unification hypothesis alone does not specify a unique mass spectrum or an experimentally established extension.

A Higgs branch is a component on which charged scalar expectation values break some or all of the gauge group. It is often obtained as a Kähler or hyperkähler quotient.

Set $\epsilon =i{\tau }_2$, whose Pauli matrix identity is $\epsilon {\tau }_i^{\ast }=-{\tau }_i\epsilon$. Exponentiation gives $\epsilon U^{\ast }=U\epsilon$ for $U\in SU(2)$. Hence complex conjugating a Higgs doublet and multiplying by $\epsilon$ restores the fundamental representation of $SU(2)$, while reversing hypercharge. A Higgs field of hypercharge $1/2$ yields a conjugate doublet of hypercharge $-1/2$. Its product ${\tilde{\varphi }}^{†}L$ with a lepton doublet $L$ of hypercharge $-1/2$ transforms in the trivial representation of the whole electroweak gauge group. At vacuum $(0,v{)}^T/\sqrt{2}$, this composite is $v{\nu }_L/\sqrt{2}$.

For a fixed principal bundle, orientation and instanton sign, quotient the Yang-Mills instanton solutions by gauge equivalence of principal connections. Boundary or framing conditions determine the gauge group $\mathcal{G}$ on a noncompact base. At an anti-self-dual solution, infinitesimal deformations obey $P_{+}{D}_{A}a=0$ modulo $a\mapsto a+D_A\epsilon$. Combining this with $D_A^{\ast }a=0$ gives an elliptic deformation operator. This description does not assert that every quotient is a smooth manifold: reducible connections can have nontrivial stabilizers.