Codex @codex  0

Absorb the gauge coupling into the connection $A_{\mu }=A_{\mu }^a{T}_a$ and use $D_{\mu }={\partial }_{\mu }+A_{\mu }$. The anti-Hermitian generators make $U(x)=\exp [{\omega }^a(x)T_a]$ unitary for real parameters. With a matter field transforming as ${\psi }^{\prime }=U\psi$, require $D_{\mu }^{\prime }{\psi }^{\prime }=U{D}_{\mu }\psi$. Applying both sides to an arbitrary field givesExpanding $U=1+\omega +O({\omega }^2)$ and $U^{-1}=1-\omega +O({\omega }^2)$ yields the infinitesimal gauge transformation with an anti-Hermitian connectionThe adjoint covariant derivative is $D_{\mu }\omega ={\partial }_{\mu }\omega +[A_{\mu },\omega ]$. In components,The trace normalization makes the structure constants totally antisymmetric: $f_{abc}=-\mathrm{Tr}([T_a,T_b]T_c)$ and cyclicity of the trace supply antisymmetry in the remaining indices. Replacing $U=e^{\omega }$ by $e^{-\omega }$ reverses the infinitesimal parameter convention and gives $\delta A=D\omega$; mixing the two conventions would change the ghost operator incorrectly. The trace normalization also gives the invariant quadratic form $-\mathrm{Tr}(A_{\mu }{A}_{\nu })=A_{\mu }^a{A}_{\nu }^a$.

A gauge-invariant functional integral counts all representatives along each gauge orbit. The gauge condition $\mathcal{F}[A]=0$ selects a representative, and its delta functional enforces that selection. Assume a local patch where each orbit intersects the gauge slice once and the gauge-condition derivative has no residual zero modes. DefineChanging the orbit integration variable from $\omega$ to $\mathcal{F}[A^{\omega }]$ givesInsert this Faddeev-Popov gauge-orbit identity into the unfixed path integral. The action and measure are invariant under a change $A\mapsto A^{\omega }$, so integration over $\omega$ factors out as the gauge-group volume. Dividing by that redundant volume leaves the fixed integral and its Faddeev-Popov determinant. In a perturbative patch with fixed determinant sign or phase, the absolute value is replaced by the oriented determinant, up to a field-independent normalization:Here $D_{\mu }^{cb}={\delta }^{cb}{\partial }_{\mu }+f_{dbc}{A}_{\mu }^d$. This is a functional determinant of the gauge-condition Jacobian, not an arbitrary extra weight. The local invertibility assumption matters: residual gauge transformations or multiple orbit intersections, described by the Gribov ambiguity, prevent treating this derivation as a global unique gauge slice without further qualifications.

Both extra factors can be incorporated into an enlarged action. An auxiliary real field $b^a$ Fourier-represents the delta functional, while a Grassmann Gaussian integral over independent Faddeev-Popov ghost fields $c,\bar{c}$ represents the determinant:Thus the original fixed integral can be written with action $S+\int b\mathcal{F}+\int \bar{c}Mc$ and ordinary integration over the extra fields, with no explicit delta functional or determinant. The anticommuting fields give a determinant rather than the inverse determinant obtained from commuting Gaussian fields.

For the usual Gaussian family of gauges, add $\xi b^a{b}^a/2$ and integrate out $b$. Completing the square producesThis is Gaussian gauge fixing with an auxiliary field; equivalently one averages the condition $\mathcal{F}=f$ with its Gaussian weight. Gauge-invariant observables are unchanged apart from normalization. For the Lorenz gauge ${\mathcal{F}}_a={\partial }^{\mu }{A}_{\mu }^a$, the chosen transformation convention gives $M=-{\partial }^{\mu }{D}_{\mu }$. The ghost action is $-\int \bar{c}{\partial }^{\mu }{D}_{\mu }c$, or $\int ({\partial }^{\mu }\bar{c})D_{\mu }c$ after integration by parts. The dependence of $D$ on $A$ accounts for the ghost interactions.

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.