Codex @codex  0

The three real components form the Adjoint representation of $SU(2)$. Around a nonzero vacuum, a local gauge transformation rotates the direction of $\varphi (x)$ to the third axis. In this unitary gauge, the two angular fields are removed from the scalar parametrization and become longitudinal polarizations of two gauge bosons, through the Higgs mechanism. Thus $\varphi =(0,0,v+\eta {)}^T$ describes the perturbative physical fluctuations, with $v^2=-m^2/\lambda$.

The subgroup generated by $t^3$ fixes $v{e}_3$, giving $SU(2)\to U(1)$. Define the physical vector fieldsThe gauge covariant derivative on the radial configuration isso the scalar kinetic term becomes $\frac{1}{2}(\partial \eta {)}^2+g^2(v+\eta {)}^2{W}_{\mu }^{+}{W}^{-\mu }$.

Here is an exact form of the Lagrangian in these physical fields, up to its additive vacuum constant. DefineandThe minus sign in the printed non-Abelian gauge field strength gives precisely these signs. ThenIts quadratic terms give $m_A=0$, $m_{W^{+}}=m_{W^{-}}=gv$, and $m_{\eta }=\sqrt{2\lambda }v$. The two massive vectors have six real polarization degrees of freedom in total; the massless vector has two and the scalar one. Their total of nine equals the original six vector plus three scalar degrees of freedom.

Under the surviving $U(1)$, $W^{+}$ and $W^{-}$ have opposite charges and $\eta$ is neutral. The Yang-Mills theory supplies $A{W}^{+}{W}^{-}$ and $AA{W}^{+}{W}^{-}$ couplings and quartic charged-vector self-interactions. The scalar term supplies $2g^{2}v\eta W^{+}{W}^{-}$ and $g^2{\eta }^2{W}^{+}{W}^{-}$, together with the cubic and quartic scalar self-interactions. There is no direct $\eta AA$ term.

With suitable fermions, this spectrum offers a massless photon and massive charged mediators of short-range weak charged currents, so it captures part of the weak/electromagnetic pattern. It differs crucially from the electroweak interaction of the Standard Model: the latter gauges $SU(2{)}_L\times U(1{)}_Y$, uses a complex Higgs doublet, and breaks to $U(1{)}_{\mathrm{em}}$. Three rather than two generators are broken, leaving a massive neutral Z boson as well as $W^{\pm }$ and a photon. Its charge operator $Q=T^3+Y$ and independent hypercharge coupling give a nontrivial weak mixing angle. The present theory has no massive neutral mediator, no such mixing angle, and does not reproduce the observed chiral fermion charge assignments or their usual Yukawa couplings from the standard doublet/singlet assignments.

Use the real Lie-algebra convention of the question, with a gauge covariant derivative $D_{\mu }={\partial }_{\mu }+A_{\mu }$. The gauge field strength is its curvature:Write $a_{\mu }={\delta }_X{A}_{\mu }/ϵ=-{\partial }_{\mu }X+[X,A_{\mu }]$. To first order in $ϵ$,Substitute $a_{\mu }$. The mixed second derivatives of $X$ cancel. The terms containing first derivatives of $X$ cancel in pairs. The remaining terms areThe Jacobi identity combines the last two into $[X,[A_{\mu },A_{\nu }]]$. ConsequentlyThe transformation is homogeneous even though the connection transformation contains an inhomogeneous derivative term.

For a finite-dimensional Lie algebra, define its Adjoint representation by ${\mathrm{ad}}_X(Y)=[X,Y]$ and its Killing form byIt is a symmetric bilinear form by cyclicity of the trace. The Jacobi identity gives ${\mathrm{ad}}_{[Z,X]}=[{\mathrm{ad}}_Z,{\mathrm{ad}}_X]$. Set $A={\mathrm{ad}}_Z$, $B={\mathrm{ad}}_X$, $C={\mathrm{ad}}_Y$. ThenThis proves the invariant bilinear form on a Lie algebra property, without assuming simplicity or nondegeneracy.

For definiteness use the Minkowski metric $\eta =\mathrm{diag}(1,-1,-1,-1)$ and take a real compact semisimple Lie algebra as the gauge algebra. Its positive internal metric is $B=-\kappa$. A Killing-form Yang-Mills Lagrangian with the coupling absorbed into the connection isThe spacetime metric is unchanged by internal gauge transformations. HenceThus gauge invariance follows directly from invariance of the Killing form. Other overall conventions are possible, but the energy sign must be checked rather than inferred from a prefactor in isolation.

For physical kinetic terms the internal form must be real, nondegenerate and positive definite after choosing the overall sign. If ${\mathcal{E}}_i=F_{0i}$ and ${\mathcal{B}}_i=\frac{1}{2}{ϵ}_{ijk}{F}_{jk}$, the above convention has Lagrangian $[B({\mathcal{E}}_i,{\mathcal{E}}_i)-B({\mathcal{B}}_i,{\mathcal{B}}_i)]/(2g_{\mathrm{YM}}^2)$ and physical energy densityThe canonical Hamiltonian density also contains the nondynamical multiplier and a spatial divergence. With ${\Pi }_i={\mathcal{E}}_i/g_{\mathrm{YM}}^2$ and $D_i{\Pi }_i={\partial }_i{\Pi }_i+[A_i,{\Pi }_i]$, integration by parts using the invariant bilinear form on a Lie algebra givesThe Gauss law constraint in gauge theory sets $D_i{\Pi }_i=0$. If the boundary flux vanishes, or the appropriate boundary contribution is included, the integrated physical Hamiltonian is the positive energy displayed above.

An indefinite internal form would give gauge-field polarizations with opposite kinetic signs. A degenerate form would fail to supply a kinetic term for some directions. The compactness criterion from the Killing form says that negative-definiteness of the Killing form of a real finite-dimensional algebra is equivalent to compact semisimplicity; thus the pure Killing-form construction selects compact semisimple real forms. One cannot use a complex-bilinear Killing form on arbitrary complex field components as if it were a positive Hermitian metric.

This does not prohibit Abelian gauge theories. A compact Abelian factor has zero Killing form, so it needs a separately chosen positive invariant bilinear form on a Lie algebra, rather than the Killing form. More generally an algebra with a positive invariant metric on a Lie algebra is compact reductive, namely a direct sum of a compact semisimple algebra and an Abelian center. A noncompact group can also share the same compact Lie algebra through global covering choices in an Abelian factor; positivity is a statement about the algebra and internal metric, not by itself a classification of global gauge-group topology. Quantum matter anomalies and global restrictions would require additional input; no matter content is specified here.

For the finite matrix transformation, let $g(x)\in SU(N)$ and regard $g$ as a multiplication operator. The identity ${\partial }_{\mu }{g}^{-1}=-g^{-1}({\partial }_{\mu }g)g^{-1}$ givesTaking commutators of these differential operators cancels the adjacent multiplication operators $g^{-1}g$, yieldingThis argument keeps the derivatives acting on test fields and avoids treating $D_{\mu }$ as just a matrix.

There is a normalization issue in the printed last paragraph. The standard Killing form defined through the adjoint trace on $\mathfrak{su}(N)$ isnot simply $\mathrm{tr}(XY)$. For example, with $N=2$ and $X=Y=-i{\sigma }_3/2$, the defining trace is $-1/2$, whereas the adjoint trace is $-2$. The printed trace formula can be used as a rescaled invariant form, with the constant absorbed into the gauge coupling; it has exactly the invariance needed here. For either normalization,by cyclicity. This proves finite Yang-Mills gauge transformation invariance, with the healthy sign chosen for anti-Hermitian gauge fields. The normalization discrepancy is not a failure of gauge invariance.

Finally let $g(x)=e^{ϵX(x)}=I+ϵX(x)+O({ϵ}^2)$. Since $X\in \mathfrak{su}(N)$ is traceless and skew-Hermitian, this exponential lies in $SU(N)$. Expanding the finite formula givesThus the stated infinitesimal transformation is the derivative of the finite transformation at the identity. It describes transformations in the identity component; arbitrary global or large gauge transformations need not be generated by one globally defined infinitesimal parameter.

Choose one free, massless complex scalar field with unit charge magnitude and bosonic statistics, minimally coupled to $A$. To fix the sign, use the conventional gauge covariant derivative $D_{\mu }={\partial }_{\mu }-iq{A}_{\mu }$ and take $q=-1$, so $D_{\mu }={\partial }_{\mu }+i{A}_{\mu }$ and $\phi \mapsto e^{-i\alpha }\phi$. Its antiparticle has charge $+1$. The matter data areThere is no scalar self-interaction. For real fields before formal continuation, its action is $S_{\phi }=\int (D_{\mu }\phi {)}^{\ast }(D_{\mu }\phi )d^{4}x=\int \bar{\phi }(-D^2)\phi d^{4}x$, by integration by parts. The Gaussian functional integral gives the inverse functional determinant and thus ${\Gamma }_{\phi }=+{\mathrm{Tr}}^{\prime }\log (-D^2)$, up to normalization.

The key operator identity isOn the formal complex gauge slice, $-D^2=-M_A={\mathcal{O}}_A$. With matching regulators and omitted zero modes, this gives ghost-scalar determinant cancellation in a complex quadratic gauge, leaving the Maxwell action as the background functional:where gauge-fixing terms and field-independent constants are understood separately. For a fixed background the complex scalar field and Faddeev-Popov ghost field integrals are Gaussian, so this determinant cancellation is exact within the formal construction. It is a cancellation of closed bosonic matter loops against ghost loops in that background functional. It does not prove that physical scalar quantum electrodynamics has no radiative corrections: the printed real Euclidean gauge slice contains only $A=0$ and misses every nonzero-curvature orbit. On that literal slice the equality is trivial; a nontrivial version requires the additional complex-contour interpretation.

Choose Hermitian Lie-algebra generators satisfying $[T^a,T^b]=i{f}^{abc}{T}^c$, with real totally antisymmetric Lie algebra structure constants in an orthonormal compact-group basis. The Adjoint representation generators are $(T_{\mathrm{ad}}^b{)}_{ac}=-i{f}^{bac}$. For a canonically normalized Yang-Mills action, the coupling is in the gauge covariant derivative, rather than an overall $1/g^2$ kinetic prefactor. The conventions $D_{\mu }={\partial }_{\mu }-ig{A}_{\mu }^b{T}_{\mathrm{ad}}^b$ giveEquivalently, for the Lie-algebra-valued spinor, $D_{\mu }\psi ={\partial }_{\mu }\psi -ig[A_{\mu },\psi ]$. This is the adjoint covariant derivative with the Hermitian-generator and explicit-coupling convention specified. Changing the sign convention for $D$ changes the accompanying gauge-transformation convention consistently.

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.

The gauge field strength isIt is the curvature appearing in $[D_{\mu },D_{\nu }]\varphi =R(F_{\mu \nu })\varphi$. The index positions in the PDF are related by the constant Minkowski metric; lowering the index in its transformation law gives the convention used here.

Take signature $(+,-,-,-)$, let $B$ be a real symmetric gauge-invariant internal form, and let $⟨\cdot ,\cdot {⟩}_V$ be the positive Hermitian form preserved by the unitary matter representation. One consistent Lorentz transformation scalar Lagrangian density isHere $g_{\mathrm{YM}}>0$, $m^2\ge 0$, and $\lambda \ge 0$ give a simple stable potential. The coupling is in the kinetic normalization because it was absorbed into $A_{\mu }$; it is not inserted again into $D_{\mu }$. Taking a zero or another gauge-invariant potential is also possible. A positive nondegenerate $B$ gives the usual physical gauge kinetic energy, as for a compact gauge algebra. More generally the invariance calculation below applies to any symmetric invariant bilinear form on a Lie algebra, including the Killing form.

Under the infinitesimal gauge-field transformation law,Invariance and symmetry of $B$ give the cancellation. For matter, both $\varphi$ and $D_{\mu }\varphi$ transform by $R(X)$, so anti-Hermiticity givesfor either pairing used in the Lagrangian. Its potential is a function of the invariant scalar norm. Therefore $\boxed{{\delta }_X\mathcal{L}=0}$, establishing gauge invariance of this Yang-Mills theory coupled to a scalar. Contraction of spacetime indices with the Minkowski metric gives Lorentz invariance.

For the Adjoint representation, define the Lie algebra structure constants byInternal superscripts here are basis labels, as in the paper; spacetime indices alone are raised with the Minkowski metric. The adjoint covariant derivative and curvature have componentsThese formulas involve no extra factor of $i$, because the generators use the Lie-algebra convention rather than Hermitian physics generators.

To make the Killing-form sign explicit, write $B=s\kappa$ and $⟨\varphi ,\psi {⟩}_V=s{\kappa }^{ab}({\varphi }^a{)}^{\ast }{\psi }^b$. The literal contraction requested in the paper corresponds to $s=1$. For a compact real form of a complex semisimple gauge algebra, its actual positive inner product has $s=-1$, since the Killing form is negative definite. With a complex adjoint scalar, the fully expanded Killing-form Lagrangian for an adjoint scalar isAll repeated internal labels are summed; $s^2=1$ explains the absence of $s$ from the quartic term. Invariance is equivalently the component identity $f^{ca}{}_d{\kappa }^{db}+f^{cb}{}_d{\kappa }^{ad}=0$. For a real adjoint scalar, omit complex conjugation and insert $1/2$ in the scalar kinetic and quadratic mass terms; the same invariance proof applies.

The PDF's identification of the Killing form with an inner product thus requires a sign convention. It also requires nondegeneracy if it is to give ordinary kinetic terms: on an Abelian gauge factor the Killing form vanishes, so an additional invariant metric is needed there. These qualifications do not alter the covariance identities or the formal gauge invariance of the displayed Killing-form contractions.

A Bogomolny bound expresses a static field energy as nonnegative squares plus a term fixed by the topological charge or boundary data. Setting the squares to zero gives the first-order Bogomolny equations. Their solutions minimize the energy in that sector and satisfy the second-order Euler-Lagrange field equations, although a general stationary solution need not attain the bound.

For one real scalar in one spatial dimension, take the Lagrangian densityA finite-energy field configuration in this static sector must approach scalar-field vacua ${\varphi }_{\pm }$ with $W^{\prime }({\varphi }_{\pm })=0$ at the two ends. Completing the square gives the square completion for a one-dimensional kink:Choose the sign for which the boundary term is nonnegative. ThusTaking the derivative of the equality equation gives ${\varphi }_{xx}=W^{\prime }{W}^{\prime \prime }=d([W^{\prime }{]}^2/2)/d\varphi$, the static Euler-Lagrange field equation. The boundary term is invariant under deformations keeping the asymptotic scalar-field vacua fixed; it is not a contribution from the local shape of the kink.

For a phi-four kink, let $c>0$, $W(\varphi )=c^2\varphi -{\varphi }^3/3$, and select the sector ${\varphi }_{-}=-c$, ${\varphi }_{+}=c$. Then $W^{\prime }=c^2-{\varphi }^2$, and the increasing Bogomolny equation is ${\varphi }_x=c^2-{\varphi }^2$. Separating variables yieldsThe integration constant $X$ is the translational collective coordinate. Directly, ${\varphi }_K^{\prime }=c^2{\mathrm{sech}}^2(c(x-X))$ and its energy density is $c^4{\mathrm{sech}}^4(c(x-X))$, whose integral is $4c^3/3$. The decreasing antikink has the reversed boundary values, profile $-{\varphi }_K$, and the same energy. A Lorentz boost produces the exact uniformly moving kink $c\tanh [c\gamma (x-X_0-vt)]$, with Lorentz factor $\gamma =(1-v^2{)}^{-1/2}$ and energy $\gamma M$.

In two spatial dimensions, choose the Abelian Higgs model at critical coupling, with $D_i={\partial }_i-i{A}_i$, $B={\partial }_1{A}_2-{\partial }_2{A}_1$, and energyThe gauge covariant derivative is used throughout this normalization. Integration by parts, using $[D_1,D_2]=-iB$, gives $\int |D_i\varphi {|}^2=\int |(D_1+i{D}_2)\varphi {|}^2+\int B|\varphi {|}^2$, with a vanishing boundary divergence for the decaying vortex fields. Combining this identity with the magnetic and potential terms gives the Bogomolny square completion for an Abelian Higgs vortex:Finite-energy field configurations have $|\varphi |\to 1$ at infinity, and $D_i\varphi \to 0$ makes the magnetic flux equal to the phase winding $2\pi N$. For $N>0$,These are the Bogomolny vortex equations for an Abelian Higgs vortex. Opposite signs give antivortices and the bound $E\ge \pi |N|$. The coefficient $\pi$ follows from the explicit energy normalization above; other conventions can give $2\pi$. Static solutions of fixed positive vortex number have equal energy independent of their positions, giving the Abelian Higgs vortex moduli space used for slow dynamics.

Let $G$ be a simple Lie group, let $T^a$ be Hermitian matrices for a finite-dimensional unitary representation $R$, and normalizeA matter field $\psi$ transforms locally as ${\psi }^{\prime }(x)=U(x)\psi (x)$, where $U(x)=e^{ig{ϵ}^a(x)T^a}$. An ordinary derivative of $\psi$ does not transform covariantly because it differentiates $U$. Introduce a gauge field $A_{\mu }=A_{\mu }^a{T}^a$ and the gauge covariant derivativeDemanding $D_{\mu }^{\prime }{\psi }^{\prime }=U{D}_{\mu }\psi$ determines the Yang-Mills gauge transformationTo first order in $ϵ$,

The gauge field strength is defined by $[D_{\mu },D_{\nu }]=-ig{F}_{\mu \nu }$:or, in components,Covariance of the commutator givesThe commutator term distinguishes Yang-Mills theory from an Abelian gauge theory and produces cubic and quartic gauge-boson interactions.

For a Dirac field of mass $m$ in $R$, the Lagrangian isEquivalently, the gauge term is proportional to $-\mathrm{tr}(F_{\mu \nu }{F}^{\mu \nu })$. The cyclic property of the trace and $F_{\mu \nu }^{\prime }=U{F}_{\mu \nu }{U}^{-1}$ make it invariant. Unitarity gives ${\bar{\psi }}^{\prime }=\bar{\psi }{U}^{-1}$, while $D_{\mu }^{\prime }{\psi }^{\prime }=U{D}_{\mu }\psi$, so both the matter kinetic term and mass term are invariant. A complex scalar $\varphi$ in a unitary representation may instead be coupled throughprovided the scalar potential $V$ is $G$-invariant.

The simplicity assumption means that the Lie algebra $\mathfrak{g}$ is nonabelian and has no proper nonzero ideal of a Lie algebra. Its Adjoint representation is therefore irreducible, and every invariant symmetric bilinear form is proportional to the Killing form. Consequently the pure gauge kinetic term has one overall gauge coupling for a simple factor. The theory has no independent Abelian gauge direction; if the gauge algebra were a direct sum of simple and Abelian ideals, each factor could instead carry its own coupling. A simple group may still have a discrete center, but this does not add a gauge boson because gauge bosons are indexed by the Lie algebra.

On an oriented pseudo-Riemannian vector space $({\mathbb{R}}^n,\eta ,\mathrm{vol})$, the Hodge star operator is the unique linear mapsatisfyingfor all $p$-forms $\alpha ,\beta$. If $s$ is the number of negative metric directions, thenon $p$-forms under this convention. For the two-forms in the question,whereasThe induced inner product is symmetric, so these expressions are negatives of one another. Hence a self-dual differential form and an anti-self-dual differential form are orthogonal and

Write $w=x^1+i{x}^2$ and $z=x^3+i{x}^4$. The metric is conformal to the standard Euclidean metric, and the Hodge star on middle-degree differential forms is conformally invariant. Taking $e^{ij}=d{x}^i\wedge d{x}^j$, the three real forms arebecause ${\omega }_1+i{\omega }_2=dw\wedge dz$. For the orientation specified by
$dw\wedge dz\wedge d\bar{w}\wedge d\bar{z}$, one hasThe corresponding relations for the complementary basis forms immediately giveThus these forms give a real basis of the self-dual two-forms.

Let $D_{\alpha }={\partial }_{\alpha }+A_{\alpha }$ be the gauge covariant derivative. In these complex coordinates the Anti-self-dual Yang-Mills equations areIntroduce the spectral parameter $\lambda$ and the linear operatorsTheir commutator isTherefore the Lax pair for the anti-self-dual Yang-Mills equationsis compatible for every $\lambda$ exactly when the ASDYM equations hold.

In particular, $F_{wz}=0$ says that the connection restricted to each $(w,z)$ surface is a flat connection. On a simply connected coordinate patch, the compatible equationshave an invertible solution $g$. Applying the associated gauge transformation setsThis conclusion is local; global topology can obstruct a single such gauge over the whole space.

Promoting $\alpha$ to a spacetime-dependent parameter makes the scalar kinetic term vary by both terms linear and quadratic in the gauge field. Merely adding $e{J}^{\mu }{A}_{\mu }$ accounts for the linear term but is not invariant because the scalar current itself changes under a local transformation.

Withminimal coupling givesThe missing term is the seagull vertex $4e^2{A}^2|\Phi {|}^2$. This agrees exactly with replacing partial derivatives by gauge covariant derivatives.

The Dirac kinetic term is first order in derivatives:Its expansion is only linear in $A_{\mu }$, so the current coupling already completes the gauge-invariant fermion kinetic term and no $A^2\overline{\Psi }\Psi$ term arises.

DefineThe gauge-field transformation is precisely the one for which the gauge covariant derivative $D_{\mu }={\partial }_{\mu }-ig{A}_{\mu }$ transforms by $D_{\mu }^{\prime }=U{D}_{\mu }{U}^{†}$. Since $[D_{\mu },D_{\nu }]=-ig{F}_{\mu \nu }$, it follows immediately thatFor $U=1+i{\alpha }^c{T}_c+O({\alpha }^2)$,Define the structure constant of a Lie algebra by $[T_b,T_c]=i{f}_{bc}{}^a{T}_a$. Antisymmetry then gives

Write $\Psi ={\Psi }^a{T}_a$. The infinitesimal form of $\Psi \mapsto U\Psi U^{†}$ isThe adjoint gauge covariant derivative iswhich transforms as $D_{\mu }\Psi \mapsto U(D_{\mu }\Psi )U^{†}$. A gauge-invariant Lagrangian is thereforeThe trace and cyclicity make each term invariant under conjugation.

Charge conjugation reverses the gauge charge, soUsing the antisymmetric spinor metric $ϵ=i{\sigma }^2$, a compatible action on the two Weyl fields isComplex conjugation reverses the sign of $i$ and of the gauge representation, while $A_{\mu }\mapsto -A_{\mu }$ restores the original gauge covariant derivative. The identities ${\sigma }^2({\sigma }^{\mu }{)}^{\ast }{\sigma }^2={\bar{\sigma }}^{\mu }$ and ${\sigma }^2({\bar{\sigma }}^{\mu }{)}^{\ast }{\sigma }^2={\sigma }^{\mu }$ then exchange the two equations of motion. Unit phases can be inserted in the two spinor transformations without changing the conclusion, subject to the mass-term relation.

The block-diagonal subgroupis locally $SU(3)\times SU(2)\times U(1)$, with only a finite central quotient distinguishing the global groups. The hypercharge direction in the fundamental representation iswhich is traceless and commutes with the $SU(3)$ and $SU(2)$ blocks.

The canonically normalized $SU(5)$ generator must satisfy $\mathrm{Tr}(T_Y^2)=1/2$. Since $\mathrm{Tr}(Y^2)=5/6$,The unified gauge covariant derivative contains $g_5{T}_Y{B}_{\mu }$, whereas the Standard Model convention contains $g_{Y}Y{B}_{\mu }$. Hence $g_Y=\sqrt{3/5}{g}_5$. The non-Abelian generators already have the canonical normalization, so gauge coupling unification in the SU(5) grand unified theory predicts