Codex @codex  0

The Grassmann field $c$ is odd and the adjoint scalar field $\varphi$ is even. The two printed signs are consistent with a right-acting BRST differential, whose graded Leibniz rule isThe bracket between two odd fields is graded, so $[c,c]=2c^2$. Applying this rule to the ordinary Lie bracket $[c,\varphi ]=c\varphi -\varphi c$ givesThe second bracket here is graded because both its entries are odd. The graded Jacobi identity gives $[c,[c,\varphi ]]=\frac{1}{2}[[c,c],\varphi ]$. ThereforeThe side of the odd derivation is essential. With the usual left graded Leibniz rule and the same two printed signs, the result would be $-[[c,c],\varphi ]$, which is generally nonzero. A left-acting convention must reverse one of those signs. All subsequent BRST symmetry formulas here use the right-acting convention.

Choose an anti-Hermitian basis $T^a$ with $[T^b,T^c]=f^{abc}{T}^a$, an invariant positive invariant bilinear form on a Lie algebra, and the adjoint covariant derivative $D_{\mu }X={\partial }_{\mu }X+[A_{\mu },X]$. Couplings are absorbed into this convention; restoring $D_{\mu }={\partial }_{\mu }+g[A_{\mu },\cdot ]$ multiplies each ghost interaction vertex below by $g$. The associated BRST charge acts as $Q{A}_{\mu }=-D_{\mu }c$, $Q\bar{c}=ih$, and $Qh=0$.

Write $F^a=\partial \cdot A^a+(n\cdot \partial {\varphi }^a)/\sqrt{2}$. For the gauge-fixing fermion $\Psi =\int {\bar{c}}^a(F^a-i{h}^a/2)$, the right graded Leibniz rule givesThe Gaussian functional integral over the Nakanishi-Lautrup field produces the positive gauge fixing term $F^a{F}^a/2$. The ghost operator is $-\partial \cdot D-(n\cdot \partial ){\mathrm{ad}}_{\varphi }/\sqrt{2}$.

Now use the canonical free kinetic terms $F_{\mu \nu }^a{F}_{\mu \nu }^a/4+(\partial {\varphi }^a{)}^2/2$. At nonzero momentum in Euclidean space $p$, put $\eta =n\cdot p$. The quadratic kernel for $(A_{\mu }^a,{\varphi }^a)$, per color, isThe transverse gauge-field kernel plus the gauge-fixing longitudinal term has become $p^2{\delta }_{\mu \nu }$. The scalar quantum field theory propagator is the inverse Schur complement, not merely the inverse of the scalar diagonal entry:Hence the free adjoint-scalar propagator in scalar-dependent gauge fixing isFor completeness the mixed quantum field theory propagator is $⟨A_{\mu }^a{\varphi }^b{⟩}_0=-{\delta }^{ab}\eta p_{\mu }/(\sqrt{2}{p}^4)$; ignoring this mixing would give an incorrect scalar answer.

The scalar propagator is independent of the gauge vector $n$, not of the momentum component parallel to $n$. For a unit $n$, $p^2=p_{\perp }^2+p_{\parallel }^2$, and the free scalar quantum field theory propagator still depends on $p_{\parallel }$. Thus the literal momentum-independence clause in the PDF is false for the standard minimally coupled massless scalar action; the cancellation above establishes the natural gauge-vector-independence statement. The usual massless zero mode in field theory at $p=0$ needs a separate infrared prescription.

Finally, integration by parts gives the ghost action in an unambiguous convention:Use $e^{ip\cdot x}$ for the Fourier transform of every field, with all momenta incoming. Let the antighost carry color $a$ and momentum $q$, the boson color $b$ and momentum $k$, and the ghost color $c$ and momentum $p$, so $q+k+p=0$. Expansion of $e^{-S_{\mathrm{gh}}}$ gives the ghost vertices in scalar-dependent gauge fixingThe free Faddeev-Popov ghost field propagator is ${\delta }^{ab}/p^2$ and every closed ghost loop contributes a minus sign. There are no further ghost interaction vertices in this gauge. Factors of $i$ and an overall ghost-vertex sign depend on the Fourier transform and ghost-ordering conventions; the displayed ghost action fixes both here.

The scalar potential can be written asIts vacuum manifold is the sphere ${\varphi }_a{\varphi }_a=v^2$. The Adjoint double cover from SU(2) to SO(3) rotates any nonzero vacuum expectation value to $(0,0,v)$, with $v>0$. A local unitary gauge removes the two angular fluctuations, leaving $\varphi =(0,0,v+\eta )$. This choice holds in a neighbourhood of the nonzero vacuum; a single global rotation cannot align arbitrary position-dependent fields, and topologically nontrivial configurations can obstruct a global unitary gauge.

The generator $t^3$ fixes the vacuum expectation value, while $t^1,t^2$ do not. Thus the Higgs mechanism in this SU(2) gauge theory with an adjoint Higgs field givesThe two angular Goldstone bosons become the longitudinal polarizations of two massive gauge bosons. Define physical fieldsThese labels describe the fields of this model; they do not identify it with the Standard Model. With the stated adjoint covariant derivative,To express all Yang-Mills theory terms in physical fields, introduce the gauge field strengthsThen $F_{\mu \nu }^3=f_{\mu \nu }+ig{Q}_{\mu \nu }$ and $(F_{\mu \nu }^1\mp i{F}_{\mu \nu }^2)/\sqrt{2}={\mathcal{W}}_{\mu \nu }^{\pm }$. Dropping the constant vacuum energy, the Lagrangian density isTaking the positive gauge coupling convention $g>0$, the canonically normalized mass terms giveThe residual U(1) gauge symmetry makes $W^{\pm }$ oppositely charged. The Yang-Mills theory terms supply interactions of $A$ with $W^{\pm }$ and four-vector interactions. The Higgs mode has cubic and quartic self-interactions, together with $2g^{2}v\eta W^{+}\cdot W^{-}$ and $g^2{\eta }^2{W}^{+}\cdot W^{-}$ couplings; it is neutral under the surviving U(1) gauge symmetry.

Coupling fermions permits a massless electromagnetic gauge boson and massive charged mediators of the weak interaction; fermion couplings with chirality can produce parity-violating weak charged currents. However, this model has no massive neutral Z boson, and its only charge generator is $t^3$. A fundamental doublet has opposite charges, so it cannot reproduce the observed doublet charge assignments through an independent hypercharge. The Standard Model instead has $SU(2{)}_L\times U(1{)}_Y\to U(1{)}_Q$, a complex Higgs doublet, three absorbed Goldstone bosons, a massive Z boson and a weak mixing angle.

In the matrix expression, $t^a={\lambda }^a/2$ denotes a fundamental generator, whereas the component adjoint covariant derivative uses adjoint generators. With $\mathrm{Tr}(t^d{t}^h)={\delta }^{dh}/2$,Using antisymmetry to write $f^{acd}=f^{dac}$ and $f^{bed}=f^{dbe}$ gives exactly the component mass term. This is the gauge-boson mass matrix from an adjoint scalar.

For ${\Phi }_0=v\mathrm{diag}(1,1,-2)$, the Gell-Mann matrices $t^1,t^2,t^3,t^8$ commute with ${\Phi }_0$. Their gauge bosons are therefore massless. The generators $t^4,t^5,t^6,t^7$ connect the first two eigenspaces to the third; the eigenvalue difference is $3v$. Directly taking the matrix trace giveswith all remaining entries zero. ThusThe factor $1/2$ is the canonical real-vector mass term normalization. The unbroken Lie algebra is $\mathfrak{su}(2)\oplus \mathfrak{u}(1)$, giving the usual description SU(2) × U(1). More precisely, the centralizer of the vacuum expectation value inside $SU(3)$ isThis global quotient refines the adjoint-Higgs breaking of SU(3) to SU(2) and U(1) without changing the local gauge boson spectrum.

The variation found above uses the adjoint covariant derivative:For the Lorenz gauge functional $G^a[A]={\partial }^{\mu }{A}_{\mu }^a$,The field-independent factor $1/g$ may be absorbed into normalization. The Grassmann Gaussian integral exponentiates the Faddeev-Popov determinant with anticommuting Faddeev-Popov ghost fields:A Gaussian average over the gauge condition supplies the covariant gauge-fixing term, so

The Killing form is invariant under the adjoint action:Together with $F_{\mu \nu }^{\prime }={\mathrm{Ad}}_g{F}_{\mu \nu }$, this immediately givesso every positive integral power ${\mathcal{L}}_1$ is gauge invariant.

The adjoint covariant derivative obeysThis follows either by substituting the transformation laws or by applying the covariance of $D_{\mu }^{\prime }$ to an adjoint-valued field. A second use of invariance of the Killing form giveswhich proves gauge invariance of ${\mathcal{L}}_2$.