Codex @codex  0

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.

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.

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.

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.

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.

Gauge boson self-interactions follow from noncommuting generators, rather than a separate assumption that the force carriers should attract one another. With $D_{\mu }={\partial }_{\mu }+ig{A}_{\mu }^a{T}^a$ and $[T^a,T^b]=i{f}^{abc}{T}^c$, the Yang-Mills field strength isThe last term is required so that $F_{\mu \nu }$ transforms covariantly under the gauge group. Let $G_{\mu \nu }^a={\partial }_{\mu }{A}_{\nu }^a-{\partial }_{\nu }{A}_{\mu }^a$. Expanding $\mathcal{L}=-F_{\mu \nu }^a{F}^{a\mu \nu }/4$ gives a quadratic kinetic term and the cubic and quartic Yang-Mills self-interactionsThe structure constants and one gauge coupling fix both types of vertex. For an Abelian group the structure constants vanish: the renormalizable pure electromagnetic field action has no elementary three- or four-photon vertex. Photon scattering through charged-particle loops is a different statement, not a contradiction.

In Quantum chromodynamics, the non-Abelian $SU(3{)}_c$ structure produces three- and four-gluon vertices; the gluons themselves carry color charge. These vertices influence multi-jet production and the renormalization group running of the strong coupling. In the electroweak sector the $SU(2{)}_L$ fields mix with the Abelian field after electroweak symmetry breaking. The resulting charged-vector vertices include $W^{+}{W}^{-}\gamma$ and $W^{+}{W}^{-}Z$, with couplings $e$ and $g\cos {\theta }_W$, together with the related four-boson vertices. Neutral-only triple vertices such as $ZZ\gamma$ are absent at tree level in the Standard Model.

The electroweak triple gauge coupling can be measured using $e^{+}{e}^{-}\to W^{+}{W}^{-}$. The neutrino exchange and neutral-vector exchange diagrams interfere: the gauge-related coefficients cancel the most rapidly growing longitudinal-polarization terms. Their relative strengths and angular dependence therefore test the theory more sharply than merely observing a pair of massive vector bosons. The electron-mass-suppressed Higgs contribution completes the corresponding mass-dependent cancellation. Adding arbitrary independent three- and four-vector couplings would generally destroy these relations.

At the Large Electron–Positron Collider, the L3 experiment fitted charged triple-gauge parameters using hadronic and semileptonic W-pair events, complemented by single-W and single-photon channels. These measurements agreed with the predicted self-couplings. Their interpretation uses reconstructed decay products and differential distributions, rather than direct pictures of a three-boson vertex.^[ref]

Specify the gauge group, its gauge group representations and gaugings, a real Kähler potential $K$, a holomorphic superpotential $W$, and a symmetric holomorphic gauge kinetic function $f_{ab}$, with positive kinetic matrices. The latter includes the gauge couplings and theta angles; allowed Abelian Fayet–Iliopoulos terms require constants ${\xi }_a$. For local supersymmetry, also specify the Planck mass; constant Fayet–Iliopoulos terms in conventional N=1 supergravity require a compatible gauged R-symmetry and transformation of $W$. $W$ and $f$ are holomorphic; $K$ generally is not. Radiative corrections generally change $K$. The Wilsonian effective action obeys superpotential non-renormalization perturbatively, although physical couplings run through field normalization and nonperturbative corrections can change $W$. The gauge kinetic function does receive corrections while remaining holomorphic; its perturbative Wilsonian running has one-loop exactness of the holomorphic gauge kinetic function, not all-order constancy of the physical gauge coupling.

Take canonical kinetic terms, gauge coupling $g>0$, and define the Fayet–Iliopoulos term by $+\xi D$. If $\varphi$ is the scalar component of the charge-$q$ chiral superfield, the relevant auxiliary field Lagrangian isThe algebraic equation eliminates $D$ and gives the D-term scalar potentialSince the superpotential vanishes, $F=0$. In a homogeneous vacuum, the supersymmetry transformation of the gaugino includesThus $D_0\ne 0$ gives an inhomogeneous shift: no nonzero constant supersymmetry parameter leaves this vacuum invariant. The gaugino $\lambda$ is the goldstino, because it is the field shifting under the broken supercharge; there is no $F$ contribution here.

For $q\ne 0$, minimizing over $x=|\varphi {|}^2\ge 0$ separates three cases. If $q\xi <0$, the allowed value $x=-\xi /(gq)$ gives $D_0=V_0=0$: supersymmetry is unbroken while the internal gauge symmetry is Higgsed. If $q\xi >0$, the unconstrained zero of $D$ would have negative $x$, so the minimum is $\varphi =0$ with $D_0=-\xi$ and $V_0={\xi }^2/2$. If $\xi =0$, the minimum $\varphi =0$ is supersymmetric. Consequently, with this explicitly stated sign convention,Reversing the sign used to define the Fayet–Iliopoulos term reverses the printed sign criterion, not the physics. If $q=0$, the scalar is decoupled and flat: any $\xi \ne 0$ still breaks supersymmetry through $D_0=-\xi$, but the charged-field criterion does not apply.

On the broken branch, expand about $\varphi =0$:Writing $\varphi =({\varphi }_1+i{\varphi }_2)/\sqrt{2}$ gives both real scalar modes the squared mass $gq\xi$. There is no superpotential fermion mass and no vacuum expectation value to induce gaugino–matter-fermion mixing. The Abelian gauge symmetry is unbroken, so its vector is also massless. The complete mass spectrum of single charged-field D-term breaking isThe original chiral multiplet therefore has the squared-mass splittingThe original vector multiplet has zero mass splitting, although the nonzero $D_0$ means it is not an unbroken-supersymmetry representation. As a check, the tree-level supertrace mass sum rule gives $\mathrm{Str}{M}^2=2gq\xi$ when the two real scalar degrees of freedom are counted. On the $q=0$ broken branch all the propagating fields are massless.

There is a necessary scope qualification: one nonzero-charge Weyl fermion has an Abelian cubic gauge anomaly proportional to $q^3$ and a mixed gravitational gauge anomaly proportional to $q$. These are the classical vacuum and spectrum calculations requested by the model; a consistent quantum gauge theory needs an anomaly-cancelling completion, whose additional matter must also be included in its vacuum analysis.

Let $t^A$ be Hermitian color generators with $\mathrm{Tr}(t^A{t}^B)={\delta }^{AB}/2$, and take $D_{\mu }={\partial }_{\mu }-i{g}_s{G}_{\mu }^A{t}^A$. In explicit spinor, color and flavor indices the massless kinetic term isThe full Quantum chromodynamics Lagrangian also has $-G_{\mu \nu }^A{G}^{A\mu \nu }/4$. A local color gauge transformation acts asThus $D_{\mu }q\mapsto V{D}_{\mu }q$ and the kinetic term is gauge-invariant.

Since the gauge coupling is independent of flavor and chirality, the classical internal global transformations are $q_L\mapsto U_L{q}_L$, $q_R\mapsto U_R{q}_R$, with constant flavor matrices $U_L,U_R\in U(2)$. Equivalently these consist of $SU(2{)}_L\times SU(2{)}_R$, a common vector phase, and a singlet axial phase $q\mapsto e^{i\eta {\gamma }_5}q$, modulo shared discrete factors. The vector phase measures quark number, or baryon number after dividing its generator by three. The nonsinglet axial rotations may be written $q\mapsto e^{-i{\theta }_a{\gamma }_5{\tau }_a/2}q$. At the quantum level the singlet axial phase is anomalous; the exact continuous internal symmetry is $SU(2{)}_L\times SU(2{)}_R\times U(1{)}_V$ up to those discrete identifications. The usual spacetime Poincaré transformations also leave the theory invariant; the massless classical theory has dilation symmetry, which is broken by quantum running. These distinctions are massless two-flavor QCD symmetries.

At equal time the canonical relations, including all indices, areNo constraint removes any of the four spinor components of the Dirac field in these equal-time relations.

To evaluate the axial charges, first prove the elementary bilinear identity. For any constant matrix $K$ on the spinor/flavor space,For example $[q_I^{†}{q}_J,q_K]=q_I^{†}\{q_J,q_K\}-\{q_I^{†},q_K\}{q}_J$; the spatial delta function collapses the integral. This proves the charge action directly from the canonical anticommutation relations.

For $K_a={\gamma }_5{\tau }_a/2$, anticommutation of ${\gamma }^0$ and ${\gamma }_5$ then givesThe charge is an even operator, so its commutator obeys the ordinary product rule. ConsequentlySimilarly, using ${\gamma }_5^2=1$ and the Pauli matrices identity $\{{\tau }_a,{\tau }_b\}=2{\delta }_{ab}I$,Composite fields can be defined with a common symmetry-preserving regulator; these nonsinglet identities have no color axial anomaly. This is the nonsinglet axial charge algebra of quark densities.

If every conserved axial charge left the vacuum invariant, the vacuum expectation of each such commutator would vanish. A nonzero quark chiral condensate instead makes $⟨[Q_{5,a},P_b]⟩=-i{\delta }_{ab}⟨S⟩\ne 0$ for $a=b$. It therefore diagnoses spontaneous breaking of the nonsinglet chiral symmetry. In the massless two-flavor limit, the observed hadronic pattern is described by $SU(2{)}_L\times SU(2{)}_R\to SU(2{)}_V$, with three Goldstone boson modes identified with the pions. The vacuum condensate is a dynamical property of QCD, not something derivable from the canonical algebra alone. The light pion multiplet and absence of parity-degenerate light hadrons support this pattern; the singlet axial anomaly prevents interpreting an additional singlet mode as a fourth Goldstone boson.

For equal nonzero masses, add ${\mathcal{L}}_m=-m\bar{q}q$. It is invariant under local color gauge transformations and common vector flavor rotations, but not under independent left/right rotations. The exact continuous flavor symmetry becomes $SU(2{)}_V\times U(1{)}_V$. The kinetic term and canonical anticommutators are unchanged, and the two proved equal-time commutators still hold. The charges, however, are no longer conserved:The first equation follows from the massive Dirac equations, or the last from $H_m=m\int S$ and $\dot{Q}=i[H,Q]$. This is the flavor-nonsinglet axial Ward identity with equal quark masses. The pions become pseudo-Goldstone bosons with $m_{\pi }^2=O(m)$, rather than exact massless modes. To leading order, in the convention $S=\bar{u}u+\bar{d}d$, $f_{\pi }^2{m}_{\pi }^2=-m⟨S⟩+O(m^2)$. The condensate persists for small masses, but the symmetry is now explicitly broken, so the exact-symmetry Goldstone argument is replaced by an approximate one. The singlet anomaly and gauge symmetry are unaffected.

Four-dimensional N=1 supersymmetry is compatible with a chiral gauge spectrum. Each matter Weyl spinor belongs to a chiral superfield with a complex scalar in the same gauge representation, and each gauge boson belongs to a vector multiplet with an adjoint gaugino. Thus a supersymmetric extension of the Standard Model predicts squarks, sleptons and gauge-fermion partners, together with Higgs-sector partners. Exact unbroken supersymmetry would make partners mass-degenerate, so a phenomenologically useful model needs supersymmetry breaking.

The Minimal supersymmetric Standard Model uses two Higgs chiral doublets. Holomorphy of the superpotential prevents use of the conjugate of one doublet as an independent chiral field, so up-type and down-type Yukawa couplings require opposite-hypercharge doublets. Their higgsinos also cancel each other's gauge anomalies. The superpotential has the schematic formwith gauge contractions understood. Supersymmetry relates the scalar quartic interactions and Yukawa interactions to the same gauge and superpotential couplings, rather than allowing arbitrary independent choices.

A central motivation is the hierarchy problem. A nonsupersymmetric scalar mass can receive corrections proportional to a high ultraviolet cutoff squared. The paired bosonic and fermionic loops in exact supersymmetry cancel that quadratic sensitivity. Soft supersymmetry breaking introduces scalar squared masses, gaugino masses and appropriate scalar bilinear and trilinear terms without restoring the original quadratic divergence. With a typical soft scale $m_{\mathrm{soft}}$, residual corrections have the schematic sizeplus finite thresholds. This favors not excessively heavy partners if one wishes to avoid a new tuning, but does not derive their masses or guarantee that they are experimentally accessible. A hidden breaking sector can communicate soft terms through gauge or gravitational interactions.

The altered particle spectrum also changes the renormalization group evolution of the gauge couplings. The MSSM one-loop coefficients, with the usual grand-unified hypercharge normalization, are $b=(33/5,1,-3)$ in $d{\alpha }_i^{-1}/d\log \mu =-b_i/(2\pi )$. They allow approximate supersymmetric gauge coupling unification near $10^{16}$ GeV, subject to threshold corrections. Top-Yukawa effects can drive the up-type Higgs squared mass negative and help produce radiative electroweak symmetry breaking. Neither phenomenon alone specifies a full breaking mechanism.

Without an additional symmetry, gauge invariance allows renormalizable baryon- or lepton-number violating superpotential terms. Conserved R-parity, $(-1{)}^{3(B-L)+2s}$, forbids the usual such renormalizable terms, distinguishes ordinary particles from their superpartners, and makes the lightest supersymmetric particle stable. A neutral stable lightest partner can be a dark matter candidate; its abundance and interactions require a separate calculation. Pair production followed by cascades to such a particle can give missing-momentum signals. R-parity is an extra model assumption, and does not by itself exclude all higher-dimensional proton-decay operators.

Possible low-energy consequences are a partner spectrum, controlled scalar-mass sensitivity, a constrained Higgs sector, modified coupling evolution and, with conserved R-parity, a stable lightest partner. Soft parameters also affect flavor-changing and CP-violating processes. Supersymmetry provides relations and mechanisms, not a unique numerical spectrum or an automatic solution to every flavor or cosmological problem.

Use the scalar components of the three chiral superfields, and set $a=|{\varphi }_0{|}^2$, $b=|{\varphi }_{+}{|}^2$, $c=|{\varphi }_{-}{|}^2$ and $\Sigma =a+b+c$. We assume the physical sign $g>0$ and a nonzero coupling $\lambda$. The coefficient $g$ below is exactly the coefficient in the supplied D-term scalar potential; it should not be silently replaced by a differently normalized squared gauge coupling. The canonical Kähler potential has identity Kähler metric, and the three Kähler covariant derivatives of a superpotential areSubstitution in the supergravity F-term potential givesIn particular, the subtraction cancels only half of the six ${\kappa }^{2}abc$ terms contributed by the three squares. The full scalar potential isIts nonnegativity follows term by term from $a,b,c\ge 0$ and $g>0$. This is a special property of this cubic superpotential, not of a general supergravity F-term potential.

The D-term vacuum branches of a cubic superpotential must be described as branches: there are not two isolated field-space minima. First suppose $\zeta >0$. Vanishing of $V_F$ requires $ab=ac=bc=0$, and vanishing of the D-term scalar potential requires $b-c=\zeta$. Together these conditions give the vacuum expectation valuesThe phase of ${\varphi }_{+}$ lies on a gauge orbit, and one may choose it positive and real. At this global minimum, all $D_{i}W$ and the real auxiliary field of the vector multiplet vanish. It is a supersymmetric vacuum, even though the internal gauge symmetry is spontaneously broken. For $\zeta <0$, interchange ${\varphi }_{+}$ and ${\varphi }_{-}$: the nonzero vacuum expectation value has magnitude $\sqrt{-\zeta }$. For $\zeta =0$, the supersymmetric vacuum is the entire family ${\varphi }_{+}={\varphi }_{-}=0$, with ${\varphi }_0$ arbitrary.

The other branch has ${\varphi }_{+}={\varphi }_{-}=0$ and arbitrary ${\varphi }_0$. Here $W=D_{i}W=0$ but the real auxiliary field is nonzero for $\zeta \ne 0$, andThus this branch has pure D-term supersymmetry breaking and a flat direction of a scalar potential in the neutral scalar. It is not stable at every neutral-field value. At a fixed $a=|{\varphi }_0{|}^2$, expansion in the charged scalars yieldsHence the two charged squared masses and the stability condition areAbove this threshold, both charged directions have positive mass squared. Continuity makes them uniformly positive in a sufficiently small neighborhood of the chosen neutral-field value, so the stationary branch is a genuine, non-strict local minimum valley. Its neutral direction stays flat. Below the threshold, a charged mass squared is negative and the branch is a saddle point. At equality it is a boundary of the stable valley, not a local minimum in the full field space: changing $a$ slightly downward and switching on the unstable charged field lowers $V$. For example, for $\zeta >0$, put $a=a_c-ϵ$, $b={ϵ}^2$, $c=0$. Since $M(a)=|\lambda {|}^{2}a{e}^{{\kappa }^{2}a}$ has $M^{\prime }(a_c)>0$, one finds $V-g{\zeta }^2=-M^{\prime }(a_c){ϵ}^3+O({ϵ}^4)<0$.

There are no further local-minimum branches under these generic assumptions. If $b+c>0$, the expression for $V_F$ is strictly increasing in $a$, so a stationary configuration with a charged condensate must have $a=0$. At $a=0$, an interior critical point with $b,c>0$ is impossible, becauseOn the boundary $c=0$, the relevant scalar potential is $g(b-\zeta {)}^2$; on $b=0$ it is $g(c+\zeta {)}^2$. Their nonnegative-domain minima give exactly the supersymmetric vacuum described above, or the origin of the charged-field branch. Thus, for nonzero $\zeta$, the two types are the zero-energy supersymmetric gauge orbit and the positive-energy D-breaking minimum valley above the threshold. If $\zeta =0$, the two types coalesce into the flat supersymmetric vacuum; the literal two-minimum assertion needs this parameter qualification.

In the global supersymmetry limit $\kappa \to 0$, the F-term scalar potential becomes $|\lambda {|}^2(ab+ac+bc)$ and the D-term scalar potential retains its form. The same two types of branches occur, with the threshold $|\lambda {|}^{2}a>2g|\zeta |$. Supergravity instead introduces the exponential and additional positive terms. The goldstino of global supersymmetry breaking is a physical fermion; in local supersymmetry it participates in the super-Higgs mechanism. A positive vacuum energy also gravitates in supergravity. In particular, the positive-energy branch here has $W=0$ and hence vanishing gravitino mass from a superpotential; it is not the tuned zero-energy broken vacuum of Question 3.

There is a further gauge-consistency qualification. In conventional two-derivative matter-coupled supergravity, a constant Fayet–Iliopoulos term gauges an R-symmetry and requires a corresponding nontrivial transformation of the superpotential. The apparent charges $0,+1,-1$ make the supplied cubic superpotential neutral, so a nonzero independent constant $\zeta$ does not by itself specify a consistent conventional supergravity action. The computed branches are those of the supplied scalar potential; a full embedding needs compatible charges or additional fields. This restriction is explained in Van Proeyen's derivation of the superpotential gauge-covariance condition.

More generally, the supergravity moment-map constraint on D-term breaking follows directly from gauge covariance. If $k^i{\partial }_{i}W=-{\kappa }^{2}rW$ and the moment map is $\mathcal{P}=i(k^i{K}_i-r)$, then at a point with $W\ne 0$,Consequently all chiral auxiliary fields vanishing implies the D-term also vanishes there. This relation has no analogue forcing that implication in an arbitrary global supersymmetry model. Its $W\ne 0$ hypothesis matters: the formal D-breaking branch above has $W=0$, so it does not contradict the identity. These conventional gauge-completion restrictions are additional to the elementary minimization calculation.

For a differentiable curve $R(t)$ in the SO(3) group with $R(0)=I$, differentiating $R(t{)}^{T}R(t)=I$ gives $X^T+X=0$, where $X=R^{\prime }(0)$. Conversely, if $X$ is a real skew-symmetric matrix, $e^{tX}$ is an orthogonal matrix and has determinant $e^{t\mathrm{tr}X}=1$. HenceThe displayed generators of the SO(3) Lie algebra areThey are linearly independent and span the three independent entries of a real skew-symmetric matrix. Equivalently, $T_a\mathbf{v}={\mathbf{e}}_a\times \mathbf{v}$. The vector triple-product identity then givesThus the structure constants of a Lie algebra in this basis are

Use a real, antisymmetric convention throughout the SO(3) vector Higgs model. With gauge coupling $g$, the gauge covariant derivative and gauge field strength areThere is no factor of $i$ in these formulas because $T_a$ are real antisymmetric generators. For a local non-Abelian gauge transformation ${\Phi }^{\prime }=R\Phi$, with $R(x)$ in the SO(3) group, the compatible transformation of the gauge potential isIt gives $D_{\mu }^{\prime }{\Phi }^{\prime }=R{D}_{\mu }\Phi$ and $F_{\mu \nu }^{\prime }=R{F}_{\mu \nu }{R}^{-1}$. These covariance laws fix the relative signs in the gauge covariant derivative and gauge field strength.

An SO(3) invariant quartic scalar potential isSince $(R\Phi {)}^T(R\Phi )={\Phi }^T\Phi$, this scalar potential is gauge-invariant. Its minimum is the sphere ${\Phi }^T\Phi =v^2$, rather than a preferred direction in the internal vector space.

Writing ${\mathbf{A}}_{\mu }=(A_{\mu 1},A_{\mu 2},A_{\mu 3})$, the cross product form of the gauge covariant derivative is $D_{\mu }\Phi ={\partial }_{\mu }\Phi +g{\mathbf{A}}_{\mu }\times \Phi$. In components this isCorrespondingly, the gauge field strength has components

A covariantly constant vector Higgs field has constant norm, becauseThe last equality uses antisymmetry of the gauge potential. On a connected region write this norm as $\varphi \ge 0$. If $\varphi =0$, the vector Higgs field is identically zero. If $\varphi >0$, the SO(3) group acts transitively on unit vectors, so choose a smooth local non-Abelian gauge transformation rotating $\Phi /\varphi$ to ${\mathbf{e}}_3$. In this unitary gauge, $\Phi =(0,0,\varphi {)}^T$ with $\varphi$ constant. This is a local construction, and is global on a trivial contractible region; a nontrivial bundle can require more than one gauge patch.

For nonzero $\varphi$, substituting the constant aligned vector Higgs field into $D_{\mu }\Phi =0$ gives $g\varphi (A_{\mu 2},-A_{\mu 1},0{)}^T=0$. For nonzero gauge coupling, the most general compatible gauge potential and gauge field strength arewhere $a_{\mu }$ is an arbitrary real one-form. Thus the surviving gauge group is the $SO(2)$ stabilizer subgroup of ${\mathbf{e}}_3$. A covariantly constant vector Higgs field does not force the gauge field strength to vanish: it only requires the curvature to annihilate that field.

For the Higgs mechanism, choose a vacuum of the SO(3) invariant quartic scalar potential, so the constant norm is $v$. The canonically normalized kinetic term then containsThe two broken-direction gauge bosons have mass $gv$ (or $|g|v$ if the sign of $g$ is unrestricted), while the $T_3$ gauge boson remains massless. The two angular Goldstone bosons supply the massive vectors' longitudinal gauge-boson polarizations. The radial fluctuation remains a physical scalar field, with $m_h^2=2\lambda v^2$ for this normalization. The condition $D_{\mu }\Phi =0$ selects backgrounds without broken-direction gauge potentials; fluctuations about such a vacuum exhibit the two massive modes. Constancy of the norm alone does not require it to minimize the scalar potential.

A Non-Abelian gauge theory promotes an internal group representation symmetry to a spacetime-dependent transformation and introduces a gauge field so that differentiation transforms covariantly. The symmetry is a gauge redundancy: physically meaningful quantities must be invariant under local changes of field representative. We work in four-dimensional Minkowski spacetime with signature $(+---)$, and use skew-Hermitian matrix generators throughout.

For the compact Simple Lie group $G$, its real Lie algebra has a negative-definite Killing form. Hence $B=-\kappa$ is a positive invariant bilinear form on a Lie algebra. Choose a $B$-orthonormal basis $T_a$, $a=1,\dots ,\dim G$, with $[T_a,T_b]=f_{ab}{}^c{T}_c$. Invariance makes $f_{abc}=B([T_a,T_b],T_c)$ fully antisymmetric. This construction uses the Adjoint representation and works independently of any chosen scalar representation.

Let ${\mathcal{A}}_{\mu }={\mathcal{A}}_{\mu }^a{T}_a$ be a Lie-algebra-valued gauge potential, with the coupling absorbed into this connection. If $R$ is the given finite-dimensional irreducible representation of $G$, its Lie algebra representation $\rho =dR$ definesFor a finite local transformation $U(x)\in G$, require ${\Phi }^{\prime }=R(U)\Phi$ and $D_{\mu }^{\prime }{\Phi }^{\prime }=R(U)D_{\mu }\Phi$. Differentiating the first equation forces the gauge-field transformation lawThus the gauge potential transforms inhomogeneously; an ordinary derivative alone would leave an uncancelled derivative of $U$.

The commutator of gauge covariant derivatives determines the gauge field strength:The Lie algebra representation preserves the bracket, so this formula holds for any $R$, including a trivial scalar representation. The gauge field strength itself is defined in the gauge algebra. The transformation of the connection impliesIt is therefore covariant, rather than invariant as a Lie-algebra-valued quantity.

For infinitesimal $U=1+ϵ+O({ϵ}^2)$, the same equations give the infinitesimal gauge transformation with an anti-Hermitian connection:Substitution into $\delta (D_{\mu }\Phi )$ cancels the terms containing ${\partial }_{\mu }ϵ$ and gives $\delta (D_{\mu }\Phi )=\rho (ϵ)D_{\mu }\Phi$, the gauge covariance of a scalar covariant derivative.

The Yang-Mills theory has Lagrangian densityThis is the Killing-form Yang-Mills Lagrangian. Its sign uses a positive internal form $B$ and the stated spacetime signature. In a $B$-orthonormal basis it is $-{\mathcal{F}}_{\mu \nu }^a{\mathcal{F}}^{a\mu \nu }/(4g_{\mathrm{YM}}^2)$. Gauge invariance follows because $B$ is invariant under the adjoint group action. Infinitesimally, the variation is proportional toAfter rescaling ${\mathcal{A}}_{\mu }=g_{\mathrm{YM}}{A}_{\mu }$, the gauge coupling appears in $D_{\mu }={\partial }_{\mu }+g_{\mathrm{YM}}\rho (A_{\mu })$ and in the non-Abelian part of the canonically normalized field strength. Squaring that field strength gives cubic and quartic gauge-field self-interactions. An ordinary local quadratic mass term in the gauge potential is not invariant because its transformation contains ${\partial }_{\mu }ϵ$.

For the scalar field kinetic term, compactness supplies a positive invariant Hermitian form $h$ on its representation space. One can obtain it by averaging any positive form with normalized Haar measure, the unitarization of a compact-group representation. Then $R(U)$ is unitary for $h$, and $\rho (ϵ)$ is anti-Hermitian. The Yang-Mills theory coupled to an arbitrary scalar representation hasHere $V$ is any real gauge-invariant scalar potential, so $V(R(U)\Phi )=V(\Phi )$. For example,is available for every unitary representation, with $\lambda \ge 0$ giving a bounded quartic contribution. Other invariant interactions may exist for particular representations; the potential is not required to depend only on $h(\Phi ,\Phi )$.

The scalar kinetic term is gauge-invariant because both covariant derivatives transform by the same unitary $R(U)$. Infinitesimally its variation vanishes byThe potential is invariant by its defining condition. For a real irreducible representation, use the averaged positive symmetric form instead and write the kinetic term as $\frac{1}{2}h(D_{\mu }\Phi ,D^{\mu }\Phi )$; all transformation and invariance arguments remain valid. Expansion of the covariant kinetic term produces both the linear gauge-scalar interaction and the quadratic term needed by local gauge invariance.

The invariant inner products, gauge covariant derivatives and gauge field strength together construct the full theory for every compact Simple Lie group and every supplied finite-dimensional irreducible representation of the scalar fields. Both finite and infinitesimal transformation laws have been included, and every sign follows the same anti-Hermitian convention.

Use anti-Hermitian representation matrices for the unitary representation, so $R(X{)}^{†}=-R(X)$. Absorb the gauge coupling into the connection, consistently with the transformation law in the PDF. The appropriate gauge covariant derivative isThis has a plus sign because the inhomogeneous part of the connection transformation is $-ϵ{\partial }_{\mu }X$. Its variation isThus gauge covariance of a scalar covariant derivative givesThe cancellation uses that $R$ is a Lie algebra representation, including its commutator identity.