Codex @codex  0

The Poisson brackets of first-class constraints close on the constraints. When the constraints are independent and the coefficients are constant, the Jacobi identity for the Poisson bracket makes the coefficients structure constants of a Lie algebra.

Expanding the ghost covariant derivative in Yang-Mills theory produces an interaction between the Faddeev-Popov ghost field, Faddeev-Popov antighost field, and gauge boson. For the displayed kinetic convention, Fourier factors $e^{-ipx}$ and all momenta incoming give vertex $-g{f}^{abc}{k}_{\mu }$, where $k$ is the antighost momentum. The structure constants encode the Adjoint representation. Propagator, vertex, Fourier, and ghost-order conventions must be chosen consistently.

Lowering and raising structure constants with the Killing form gives $c_a{}^{mn}{c}_{mn}{}^r=-{\delta }_a{}^r$. Since $c_a{}^{mn}$ is antisymmetric in $m,n$, only the commutator part of the cubic trace tensor of a Lie algebra representation contributes, proving $c_a{}^{mn}{B}_{mnb}=-H_{ab}/2$. In an adapted compact basis with ${\kappa }_{ab}=-{\delta }_{ab}$ and $H_{ab}=-\mu {\delta }_{ab}$, the resulting sign is positive: $+\mu {\delta }_{ab}/2$. Defining the lowered structure constants with a positive Euclidean metric instead would reverse this sign.

// Target: lie-theory.bigb

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]

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.

Write the affine modes as $J_n^a=T_n^a$, and put $Q=Q^{\mathfrak{g}}$. The Sugawara construction requires a restricted module, meaning that sufficiently large positive current modes annihilate each fixed vector, and a noncritical level $2k+Q\ne 0$. A positive-energy highest-weight representation has the required restriction. DefineNormal ordering puts positive modes to the right, making each sum finite on a fixed finite-energy vector. The invariant sum over the current index $a$ is the quadratic Casimir operator construction for the affine current algebra.

Here is the normal ordering calculation responsible for its denominator. In commuting $S_m$ with $J_n^b$, the two affine central terms supply $-2kn{J}_{m+n}^b$. The remaining terms contain $i{f}^{abc}$ times the two ways to replace a current by $J_{p+n}^c$. Relabeling the summation index and using antisymmetry of $f^{abc}$ cancels the un-reordered terms. Reordering the modes that cross the creation/annihilation boundary leaves $n$ signed terms, whose two structure constants contract by $f^{abc}{f}^{abd}=Q{\delta }^{cd}$. Their sum is $-Qn{J}_{m+n}^b$. ThusThe adjoint-Casimir contribution is genuinely quantum. For an explicit check of its coefficient, let $|0⟩$ be the affine vacuum, with all $J_n^a|0⟩=0$ for $n\ge 0$. ThenThe first term acts by the adjoint Casimir operator $Q$, and only $p=1$ contributes $2k$ to the second. This also verifies that a current has conformal weight one under the displayed normalization.

Now commute the quadratic generators with one another. Acting on either current factor produces $(m-n)L_{m+n}^{\mathfrak{g}}$; the residual full contractions are scalar and vanish unless $m+n=0$. The Jacobi identity fixes their cubic dependence on $m$, and the plane vacuum convention $L_{-1}|0⟩=L_0|0⟩=L_1|0⟩=0$ fixes the combination $m^3-m$. To determine its coefficient explicitly, noteCommuting a single $J_1^a$ through the numerator gives $(2k+Q)J_{-1}^a|0⟩$: the two central contractions give $2k{J}_{-1}^a$, and the zero-mode commutator in the structure-constant term gives $Q{J}_{-1}^a$. The remaining $J_1^a$ contraction gives $k$ for each adjoint index. ThereforeFor an algebraic module without a positive inner product, the same calculation is its vacuum matrix element and fixes the universal central term. ConsequentlyThis is a representation of the Virasoro algebra, not merely its centerless part.

For a complex semisimple Lie algebra, a Cartan subalgebra $\mathfrak{h}$ is a maximal abelian subalgebra of semisimple elements; equivalently it is the complexification of a maximal torus algebra in the compact real form. Its dimension is the rank of a semisimple Lie algebra, $r$. Choose an orthonormal Cartan basis with currents $H_n^i$. They have no structure-constant term:For $k\ne 0$, their abelian Sugawara construction isEach Cartan current has weight one under both $L^{\mathfrak{g}}$ and $L^{\mathfrak{h}}$, so $K_m=L_m^{\mathfrak{g}}-L_m^{\mathfrak{h}}$ commutes with all $H_n^i$, hence also with $L_n^{\mathfrak{h}}$. Subtracting the two commuting stress tensors yields the Coset constructionIn the intended nontrivial compact unitary theory at positive admissible level, this coset acts on a positive inner-product space, with $K_m^{†}=K_{-m}$. Its vacuum satisfies $K_n|0⟩=0$ for $n\ge -1$, soThus $c^{\mathfrak{g}}\ge r$. Also $Q>0$ for a compact simple Lie algebra and $k>0$, so $2k/(2k+Q)<1$, which proves the upper bound directly. Hence, under these physical representation hypotheses,The upper inequality is strict at finite positive level; $c^{\mathfrak{g}}$ tends to $\dim \mathfrak{g}$ as the level grows.

The positivity hypothesis is necessary and is not implied by the bare affine commutation relation. For example, at $k=0$ its trivial representation has all currents zero and gives $c^{\mathfrak{g}}=0<\mathrm{rank}\mathfrak{g}$. Even positive arbitrary levels need not satisfy the bound: with $\mathfrak{g}=\mathfrak{su}(2)$, $f^{abc}={ϵ}^{abc}$, $Q=2$ and $k=1/4$, the formula gives $c^{\mathfrak{g}}=3/5<1$. Such a level does not give the intended compact unitary positive-energy theory. Thus the last bound is a statement about nontrivial unitary admissible-level representations; it cannot hold for every representation in the unrestricted algebraic formulation. At $2k+Q=0$ the displayed Sugawara construction itself is undefined.

For $X\in L$, define the Adjoint representation of a Lie algebra by ${\mathrm{ad}}_X(Y)=[X,Y]$. The Jacobi identity gives, for every $Z$,Thus $\mathrm{ad}$ preserves brackets and is a Lie algebra representation. Its Killing form isUsing the representation identity and the cyclic property of the trace,The Killing form is also symmetric by cyclicity.

In a basis $T_a$, write $[T_a,T_b]=c_{ab}{}^d{T}_d$. The lowered structure constants satisfyThe first expression is antisymmetric in $a,b$ and the second in $b,c$. These transpositions generate all permutations, so $c_{abc}$ is totally antisymmetric.

An invariant subspace of $L$ under its Adjoint representation of a Lie algebra is exactly an ideal of a Lie algebra: $[L,I]\subseteq I$. A simple Lie algebra has no nonzero proper ideal, proving the adjoint representation is irreducible.

Put $D_X=d(X)$. The same trace calculation proves invariance of the Trace form of a Lie algebra representation:Because the $D_X$ are anti-Hermitian, $H$ is a real symmetric bilinear form. The Killing form of a simple compact Lie algebra is negative definite. Define a real linear map $T$ by $H(X,Y)=\kappa (TX,Y)$. Invariance of both forms implies that $T$ commutes with every ${\mathrm{ad}}_Z$, while symmetry makes $T$ self-adjoint for the positive inner product $-\kappa$. By the spectral theorem, its real eigenspaces are invariant under the Adjoint representation of a Lie algebra. Irreducibility forces a single eigenvalue, so $T=\mu I$ and $H=\mu \kappa$. This also avoids the extra care needed when applying the complex form of the Schur lemma to a real vector space.

The kernel of $d$ is an ideal of a Lie algebra. It cannot be all of $L$: a trivial representation of dimension greater than one is reducible. Simplicity therefore makes $d$ faithful. For every nonzero $X$,Hence the positive trace index for a compact simple Lie algebra givesin the adapted basis.

For the cubic trace tensor of a Lie algebra representation, the identityexpands toSet $Y=T_d$, $X=T_a$, $Z=T_b$, $W=T_c$. Cyclicity of $B$ converts $B_{\ell bc}$ to $B_{bc\ell }$ and $B_{a\ell c}$ to $B_{ca\ell }$. Thus the invariance identity for a cubic trace tensor is

For the final contraction, it is important to keep the specified index-raising convention. In the adapted basis write $C_{ab}{}^c=c_{ab}{}^c$. Then $c_{abc}=-C_{ab}{}^c$, while raising the last two indices with ${\kappa }^{ab}=-{\delta }^{ab}$ gives $c_a{}^{mn}=-C_{am}{}^n$. Total antisymmetry and the definition of the Killing form implyOnly the antisymmetric part of $B$ in $m,n$ contributes, soConsequently the Killing-normalized contraction of a cubic trace tensor isThe negative sign printed in the last requested identity is incompatible with raising indices by the inverse Killing form. The opposite sign is obtained if one instead defines the lowered structure constants using the positive Euclidean metric, a different convention from the one specified.

For a concrete check, take the two-dimensional representation of $\mathfrak{su}(2)$ with $T_a=-i{\sigma }_a/(2\sqrt{2})$, where the ${\sigma }_a$ are Pauli matrices. ThenTheir contraction is $+{\delta }_{ab}/8$, confirming the positive sign with $\mu =1/4$ and providing a counterexample to the printed sign.

Without gauge fixing, gauge-equivalent configurations are integrated repeatedly, and the quadratic gauge-field operator has zero modes along infinitesimal gauge transformations. It therefore has no inverse with which to define perturbative propagators. A gauge condition removes these directions locally in the perturbative expansion. The associated Faddeev-Popov determinant can be represented by anticommuting Faddeev-Popov ghost fields and Faddeev-Popov antighost fields.

First make the normalization explicit. For the fields literally occurring in the action with overall $1/g^2$, putThe resulting kinetic terms are canonical, and the interaction terms carry powers of $g$. We use signature $(-,+,+,+)$ and incoming Fourier modes $e^{ipx}$, consistent with the displayed $p^2-i0$ denominators. The quadratic action in the canonical fields isColor indices are diagonal. Introduce the longitudinal and transverse projectors $P_{L,\mu \nu }=p_{\mu }{p}_{\nu }/p^2$ and $P_T=\eta -P_L$. The gauge kinetic matrix is $-p^2(P_T+{\xi }^{-1}{P}_L)$, with inverse $-(P_T+\xi P_L)/p^2$. The ghost kinetic operator is $-p^2$. The Gaussian functional integral and Grassmann integral therefore giveThe longitudinal formula is understood as the Feynman-prescribed inverse of the kinetic operator; away from its poles the projector inversion is ordinary algebra. The propagators for the original unrescaled fields are $g^2$ times these expressions. Using $P_{T}p=0$ and $P_{L}p=p$ giveswith either normalization. This is the longitudinal gauge propagator contraction.

The canonical ghost interaction comes directly from the covariant derivative:For incoming antighost momentum $p$, the derivative supplies $i{p}^{\mu }$; the expansion of $e^{iS}$ supplies another $i$. Thus the ghost-gluon vertex is $g{p}^{\mu }{f}_{abc}$, as requested. For unrescaled fields its coefficient is instead $p^{\mu }{f}_{abc}/g^2$. The printed order-$g$ rule presupposes canonical normalization; keeping the overall $1/g^2$ and an order-$g$ vertex for the same unrescaled variables would mix conventions. Choosing Fourier modes $e^{-ipx}$ instead reverses the vertex sign and must be done consistently for all momentum assignments.

In Feynman gauge, $\xi =1$, the one-loop ghost two-point graph has one internal ghost line and one internal gauge line joined by two such vertices. The external ghost line is open, so it does not carry a closed ghost-loop minus sign. With an orthonormal adjoint basis, the structure constants are totally antisymmetric, and the color product along this line is $f_{adc}{f}_{cdb}=-C{\delta }_{ab}$. The two internal propagators supply $(-i{)}^2=-1$, leaving a positive color-and-vertex factor for the amputated insertion. DefineThe amputated insertion is $i{\delta }_{ab}{g}^2{I}_d(p)C$. Restoring the two external canonical ghost propagators gives the one-loop contributionThe literal unrescaled correlator in the question is $g^2{G}^{(1)}$, hence of order $g^4$, whereas its tree term is $-i{\delta }_{ab}{g}^2/(p^2-i0)$. In $d\ne 4$ the dimensionless renormalized coupling convention adds ${\mu }^{4-d}$ multiplying $g^2$ in the canonical loop term.

To evaluate the Feynman integral, combine the denominators with a Feynman parameter:Shift $\ell =k-(1-\alpha )p$. The denominator becomes $[{\ell }^2+\alpha (1-\alpha )p^2-i0{]}^2$, and the numerator is $p\cdot \ell +(1-\alpha )p^2$. The odd term vanishes in translation-invariant dimensional regularization. For spacelike $p$, a Wick rotation converts the remaining integral into a Euclidean one and cancels the prefactor $1/i$. The needed radial integral isIndeed, spherical coordinates and $u={\ell }_E^2/M^2$ leave a beta integral ${\int }_0^{\infty }{u}^{d/2-1}(1+u{)}^{-2}du=\Gamma (d/2)\Gamma (2-d/2)$; the angular factor cancels $\Gamma (d/2)$. Establish this first in a convergent range and then analytically continue in $d$. Substituting $M^2=\alpha (1-\alpha )p^2$ yieldsThis is the printed result, including the factor $1/i$ in its Minkowski-space definition. Equivalently the parameter integral is $B(d/2-1,d/2)$. Symmetry under $k\leftrightarrow p-k$ also gives $I_d(p)$ as $p^2/2$ times the massless scalar bubble, independently checking the numerator factor.

Write $ϵ=4-d$. Since $\Gamma (ϵ/2)=2/ϵ+O(1)$ and the parameter integral tends to ${\int }_0^1(1-\alpha )d\alpha =1/2$, the pole isHere $p$ is off shell and nonzero, separating the ultraviolet pole from massless infrared issues. The unrescaled amplitude has an extra factor $g^2$. The divergence is proportional to the existing ghost kinetic operator, so the one-loop ghost kinetic counterterm in Feynman gauge is local:It inserts $-i\delta Z_c{p}^2$ into the inverse propagator, cancelling the divergent insertion $+i{g}^{2}C{I}_d(p)$. With the two external propagators attached, its contribution is $+i{\delta }_{ab}\delta Z_c/p^2$, cancelling the displayed connected amplitude pole. In the original variables the same action term is $-\delta Z_c\partial \bar{c}\cdot \partial c/g^2$. If instead one defines dimensional regularization by $d=4-2ϵ$, the identical counterterm is written $\delta Z_c=g^{2}C/(32{\pi }^2ϵ)$; the factor of two is purely the regulator convention.

Expanding the covariant derivative isolates the ghost-gluon vertex interactionThe derivative acts on the antighost. With all momenta incoming, let its momentum be $k$, the gluon's Lorentz index be $\mu$, and their color indices be $(a,b,c)$ in the order $(\bar{c},A,c)$. The convention $e^{-ikx}$ replaces ${\partial }^{\mu }$ by $-i{k}^{\mu }$, and multiplication by $i$ from $e^{iS}$ givesMomentum conservation is implicit. The structure constants reflect the Adjoint representation, and the antighost momentum follows directly from its differentiated field. Reversing the momentum convention changes the displayed vertex sign consistently; exchanging the ghost and antighost source order also carries a fermionic sign.

Use a real Lie algebra convention $[T_a,T_b]=f_{ab}{}^c{T}_c$. Its Adjoint representation of a Lie algebra acts on $\mathfrak{g}$ itself:Linearity is immediate. The Jacobi identity givesso $[{\mathrm{ad}}_X,{\mathrm{ad}}_Y]={\mathrm{ad}}_{[X,Y]}$, the defining Lie algebra representation condition. In the basis $T_b$, its matrix entries areThus the adjoint generators are the structure constants arranged as matrices. The representation has kernel equal to the center of a Lie algebra; it need not be faithful for an arbitrary algebra.

The Adjoint representation of a Lie group is ${\mathrm{Ad}}_g(Y)=gY{g}^{-1}$. It satisfies ${\mathrm{Ad}}_{gh}={\mathrm{Ad}}_g{\mathrm{Ad}}_h$, preserves the identity, and sends inverses to inverse matrices. Differentiating $e^{tX}Y{e}^{-tX}$ gives $[X,e^{tX}Y{e}^{-tX}]$, soConsequently the positive adjoint exponentials furnish the representation on elements $g=e^X$ and their products, and the intrinsic conjugation action defines it globally.

The inverse-conjugation formula in the PDF needs a minus adjoint exponent with this standard definition. Its first-order term is $Y-[X,Y]$, whereas $e^{+{\mathrm{ad}}_X}Y$ has first-order term $Y+[X,Y]$. For example $X=T_1,Y=T_2$ in a nonabelian algebra with $[T_1,T_2]\ne 0$ already distinguishes the two. The inverse conjugation and adjoint antirepresentations identity explains the group-order issue as well: $F(g)={\mathrm{Ad}}_{g^{-1}}$ satisfies $F(gh)=F(h)F(g)$. Retaining the printed inverse conjugation as a left action without this order reversal would not give an ordinary group representation.

The Killing form is the symmetric bilinear formTo prove degeneracy for a non-semisimple Lie algebra, take its nonzero solvable radical and the last nonzero member $\mathfrak{a}$ of its derived series of a Lie algebra. This is a nonzero abelian ideal of a Lie algebra. For $x\in \mathfrak{a}$, ${\mathrm{ad}}_x$ maps $\mathfrak{g}$ into $\mathfrak{a}$ and kills $\mathfrak{a}$. Every ${\mathrm{ad}}_y$ preserves $\mathfrak{a}$. Hence ${\mathrm{ad}}_x{\mathrm{ad}}_y$ maps the full space into $\mathfrak{a}$ and has zero restriction there, so its trace is zero. Thus $B(x,y)=0$ for every $y$. This is the abelian ideals lie in the radical of the Killing form argument, and establishes a nonzero kernel and vanishing determinant.

For a compact real semisimple Lie algebra, the adjoint action is unitary in an invariant positive inner product. Its infinitesimal generators are skew-Hermitian, givingStrictness follows because the adjoint kernel is the zero center. This explains the compactness criterion from the Killing form: “strictly negative” means negative-definite, not that every entry of its matrix is negative.

In the first three-generator example, take columns to be images of the basis $(X,Y,H)$. Direct use of the brackets givesTaking traces of products yields the Killing form for cyclic three-generator bracketsIt is nondegenerate, hence semisimple by the preceding degeneracy result, but it has mixed signature and is not compact. An explicit realization iswhich span the real traceless two-by-two matrices and satisfy exactly these brackets.

Changing the sign of $[X,H]$ changes the first and third adjoint matrices towhile ${\mathrm{ad}}_Y$ is unchanged. Nowthe negative-definite compact case. The basis $X=-i{\sigma }_1$, $Y=-i{\sigma }_2$, $H=-i{\sigma }_3$ realizes it as the real special unitary Lie algebra $\mathfrak{su}(2)$.

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.

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.