Codex @codex  0

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.

Choose Lie-algebra generators with $[T_b,T_c]=f^a{}_{bc}{T}_a$ and an invariant orthonormal color metric. Since the coupling is placed outside the gauge kinetic term, it is absorbed into $A_{\mu }$ in the connection convention. The gauge field strength and adjoint covariant derivative areThe structure constants are antisymmetric in $b,c$ and obey the Jacobi identity. These definitions give $[D_{\mu },D_{\nu }]v=[F_{\mu \nu },v]$ on an adjoint-valued field. The field $c$ is a Grassmann-odd Faddeev-Popov ghost field; the Lie bracket in $D_{\mu }c$ contracts its color components in the same way as for any adjoint field.

Let $G_1,\dots ,G_r$ be the separated gauge-invariant insertions. Their BRST symmetry variations vanish: the gauge field strength and its gauge covariant derivatives transform by adjoint commutators, and invariant color contractions remove these commutators. Thus $s{G}_i=0$.

Make the infinitesimal change of integration variables $\Phi \mapsto \Phi +ϵs\Phi$ in the normalized expectation of $\mathcal{O}(x){\prod }_i{G}_i$. The action is invariant up to its boundary term and, by assumption, the measure has no Jacobian anomaly. ThereforeSince $s\mathcal{O}$ is generated by the BRST charge, this is the graded BRST Ward identityHere $[Q,\mathcal{O}\}=Q\mathcal{O}-(-1{)}^{|\mathcal{O}|}\mathcal{O}Q$ is the graded commutator. For even $\mathcal{O}$ it is the ordinary commutator printed in the question; for odd $\mathcal{O}$ it is an anticommutator. Separation of the other insertions from $x$ avoids the additional coincident-point contact terms. An operator need not itself be BRST-closed for this identity to hold.

A BRST-exact insertion has zero correlation with physical, gauge-invariant insertions. This is the decoupling of BRST-exact insertions in physical correlation functions. In the associated BRST cohomology, physical information is represented by closed states or operators modulo exact ones, schematically $\ker Q/\mathrm{im}Q$, using the nilpotence of the BRST charge in the anomaly-free theory. Gauge-fixing fields thereby do not supply additional physical observables.

For example, the gauge parameter dependence is exact:Differentiating a normalized physical correlation function with respect to $\xi$ inserts this expression; the BRST Ward identity makes that derivative zero under the same invariant-measure and boundary assumptions. This illustrates gauge-fixing parameter independence from BRST symmetry.

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 Lie algebra generators with $[T_b,T_c]=f^a{}_{bc}{T}_a$, and define the adjoint gauge covariant derivative by $(D_{\mu }X{)}^a={\partial }_{\mu }{X}^a+f^a{}_{bc}{A}_{\mu }^b{X}^c$. Varying the gauge field strength gives $\delta F_{\mu \nu }=D_{\mu }\delta A_{\nu }-D_{\nu }\delta A_{\mu }$. Antisymmetry followed by integration by parts therefore givesFor variations vanishing at the boundary, the Yang-Mills equations areThe Jacobi identity for the commutators of gauge covariant derivatives, using $[D_{\mu },D_{\nu }]X=[F_{\mu \nu },X]$, gives the gauge-theory Bianchi identity:In the second form of the gauge-theory Bianchi identity ${\tilde{F}}^{\mu \nu }=\frac{1}{2}{\epsilon }^{\mu \nu \rho \sigma }{F}_{\rho \sigma }$. The identity is a geometric consequence of the definition of curvature, not a second dynamical field equation.

For the usual non-Abelian Yang-Mills theory, the quantum running coupling becomes strong at low energies. Dimensional transmutation generates a scale absent from the classically scale-invariant equations. The expected confining dynamics and massive colour-singlet spectrum involve confinement and a mass gap, rather than freely propagating weakly coupled coloured waves. These nonperturbative effects are not captured by simply solving the classical equations; this is not a claim of a mathematical proof of the Yang-Mills mass gap.

Write the gauge condition as ${\chi }^a[A]=f^a[A]$ to distinguish it from the structure constants. Under an infinitesimal gauge transformation, ${\delta }_{\omega }{A}_{\mu }=D_{\mu }\omega$. Define the Faddeev-Popov operator by ${\mathcal{M}}^{ab}=\delta {\chi }^a[A+D\omega ]/\delta {\omega }^b{|}_{\omega =0}$. In a Euclidean convention, the gauge-fixing and ghost additions can be chosen asA nonlocal kernel would require a double integral; a local functional $\chi$ instead makes $\mathcal{M}$ a local differential operator. Choosing a local gauge functional thus retains a local gauge-fixed action and the ordinary local interaction structure of perturbative quantum field theory.

The fields $c^a$ and ${\overline{c}}^a$ are independent Grassmann-valued fields in the Adjoint representation, Lorentz scalars with ghost numbers $+1$ and $-1$. They are the Faddeev-Popov ghost fields: their functional integral produces $\det \mathcal{M}$, the Faddeev-Popov determinant correcting the volume element along a gauge orbit. They are internal fields, not physical asymptotic particles. Their statistics supply a minus sign for every closed ghost loop. No auxiliary field is needed in the displayed gauge-fixing representation.

In axial gauge, ${\chi }^a=n^{\mu }{A}_{\mu }^a$, soWith the Fourier transform convention $e^{ik\cdot x}$, the ghost Feynman rules in the original normalization of $A$ areMomentum conservation accompanies the vertex; each ghost loop has the extra minus sign. With a canonically normalized field $A=g{A}_{\mathrm{can}}$, the vertex is instead $-g{f}^a{}_{bc}{n}_{\mu }$. The gauge fixing term is quadratic and introduces no further interaction vertex.

The Euclidean quadratic kernel of $A$ is $g^{-2}[k^2{\delta }_{\mu \nu }-k_{\mu }{k}_{\nu }+{\xi }^{-1}{n}_{\mu }{n}_{\nu }]$. For $n\cdot k\ne 0$, its inverse isThis follows by multiplication with the kernel: the $k^2\delta -kk$ piece gives $I-n{k}^T/(n\cdot k)$, and the ${\xi }^{-1}nn$ piece supplies the missing $n{k}^T/(n\cdot k)$. The strict axial-gauge propagator is thereforeIt obeys $n^{\mu }{D}_{\mu \nu }=0$. Every ghost attachment to an internal gauge propagator therefore vanishes in the strict limit; equivalently, $\mathcal{M}=n\cdot \partial$ on the gauge slice. Thus the interacting Faddeev-Popov ghosts decouple. Residual gauge transformations and the poles at $n\cdot k=0$ require compatible boundary conditions and an axial-gauge pole prescription.

After Wick rotation, the corresponding Minkowski propagator has ${\delta }_{\mu \nu }$ replaced by ${\eta }_{\mu \nu }$ and the usual overall factor $-i$, with a compatible causal prescription. The fixed $n$ makes the gauge-fixed propagator nonmanifestly Lorentz covariant. Nevertheless, gauge invariance makes physical observables independent of this gauge-choice vector, so their perturbative predictions are Lorentz invariant. Already at tree level, contraction with conserved external currents removes all terms containing $k_{\mu }$ or $k_{\nu }$, leaving $g^{2}j\cdot j^{\prime }/k^2$. The quantum Ward identities give the analogous cancellation in complete physical amplitudes; arbitrary gauge-dependent Green functions need not be independent of $n$.

Keep the color matrix intact: ${\mathcal{A}}_{\mu }=A_{\mu }^a{T}^a$. Under parity, invariance of its contraction with the vector current requiresUnder charge conjugation, the fermionic reordering in part (b) transposes the color matrix as well as the spinor matrix. For a fixed color matrix $M$, $\bar{\psi }M{\gamma }^{\mu }\psi$ becomes $-\bar{\psi }{M}^T{\gamma }^{\mu }\psi$. Hence invariance of the interaction requiresThis is not a rule that changes the sign of every individual color component: transposition also acts on the generators of the fundamental representation.

Write the gauge field strength as ${\mathcal{F}}_{\mu \nu }={\partial }_{\mu }{\mathcal{A}}_{\nu }-{\partial }_{\nu }{\mathcal{A}}_{\mu }+ig[{\mathcal{A}}_{\mu },{\mathcal{A}}_{\nu }]$. Since $[A^T,B^T]=-[A,B{]}^T$, the charge conjugation rule gives ${\mathcal{F}}_{\mu \nu }\mapsto -{\mathcal{F}}_{\mu \nu }^T$. Including the coordinate reflection in CP symmetry,For generators normalized by $\mathrm{Tr}(T^a{T}^b)=\kappa {\delta }^{ab}$, the color contraction equals ${\kappa }^{-1}\mathrm{Tr}({\mathcal{F}}_{\mu \nu }{\mathcal{F}}_{\rho \sigma })$. The two charge-conjugation minus signs cancel, and transposition reverses the order inside the trace without changing it. The Levi-Civita symbol acquires $\det \Lambda =-1$ under the remaining reflection. ThusThe Yang-Mills theta term is CP-odd; a generic fixed nonzero $\theta$ produces CP violation. Setting $\theta =0$ removes this source. Although the density is a total derivative, it can affect the quantum theory through nontrivial topological sectors; the local transformation test is not rendered irrelevant by that fact.

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.

Use $t_{\mu }=(1,-1,-1,-1{)}_{\mu }$ without summing in individual component transformations. The Dirac current transforms asSince the coupling is real, invariance of its contraction fixes the time reversal of an electromagnetic gauge field:These equations use a compatible gauge; an additional pure gauge transformation would not change the gauge field strength.

Coordinate differentiation at $x_T$ introduces $r_{\mu }=-t_{\mu }$, because the time coordinate is reversed and the spatial coordinates are unchanged. HenceThus the electric field is even and the magnetic field is odd. The chirality matrix is even by part (a). The two tensor signs cancel in the dipole contraction, but antiunitarity conjugates its explicit $i$. Therefore the time-reversal parity of a fermion electric dipole operator isIt is a time-reversal symmetry violating interaction, and, under the usual local relativistic quantum field theory hypotheses of the CPT theorem, it violates CP symmetry. A nonzero coefficient is absent from the renormalizable tree-level Standard Model Lagrangian: the broken-phase fermion electric dipole moment operator has mass dimension five, and its electroweak-invariant completion requires a Higgs field and has dimension six. However, it can arise as a radiatively induced effective interaction in the Standard Model, whose CKM matrix contains a CP-violating phase. It is not forbidden to all orders. An explicit primary calculation of quark dipoles is Czarnecki and Krause's Standard Model calculation.

Take ${\tau }^a={\sigma }^a/2$, $Y_{\varphi }=1/2$, metric $g_{\mu \nu }=\mathrm{diag}(1,-1,-1,-1)$, and a Higgs potential with ${\mu }_h^2>0$, $\lambda >0$. The gauge-scalar electroweak interaction isHere $B_{\mu \nu }={\partial }_{\mu }{B}_{\nu }-{\partial }_{\nu }{B}_{\mu }$. With the printed plus-sign convention for $D_{\mu }$, define $[D_{\mu },D_{\nu }]=ig{W}_{\mu \nu }^a{\tau }^a+i{g}^{\prime }{Y}_{\varphi }{B}_{\mu \nu }$; thus $W_{\mu \nu }^a={\partial }_{\mu }{W}_{\nu }^a-{\partial }_{\nu }{W}_{\mu }^a-g{ϵ}^{abc}{W}_{\mu }^b{W}_{\nu }^c$. The minus sign in the nonlinear gauge field strength follows from this convention.

The minima have ${\varphi }^{†}\varphi =v^2/2$, with $v^2={\mu }_h^2/\lambda$. A gauge transformation rotates the vacuum to $(0,v{)}^T/\sqrt{2}$. In unitary gauge, the three angular Goldstone bosons are removed, leaving $\varphi =(0,v+H{)}^T/\sqrt{2}$ and one real Higgs boson. The generator $Q=T^3+Y$ annihilates the vacuum, because its lower component has $T^3=-1/2$ and hypercharge $1/2$. This identifies the unbroken electromagnetic gauge group.

The quadratic terms from the Higgs field kinetic term areDefine the Weinberg angle and physical fields byThe neutral combinations areThe neutral gauge-boson mass matrix is $(v^2/4)\left(\begin{array}{cc}{g}^2& -g{g}^{\prime }\\ -g{g}^{\prime }& g^{\prime 2}\end{array}\right)$. It has eigenvalues zero and $(g^2+g^{\prime 2})v^2/4$, with the zero eigenvector giving $A_{\mu }$. Expanding the Higgs potential about its minimum gives $V=\text{constant}+\lambda v^2{H}^2+\lambda v{H}^3+\lambda H^4/4$. Therefore the tree-level electroweak gauge-boson masses and scalar mass areAlso $m_W=m_Z\cos {\theta }_W$ and $e=g\sin {\theta }_W=g^{\prime }\cos {\theta }_W$. The three removed Goldstone bosons supply the longitudinal polarization vector degrees of freedom of the massive electroweak gauge bosons.