Codex @codex  0

The Adjoint representation of a Lie algebra acts on the Lie algebra itself by ${\mathrm{ad}}_X(Y)=[X,Y]$. The Jacobi identity givesThus it is a Lie algebra representation. In the basis $T_a$ with $[T_a,T_b]=c^c{}_{ab}{T}_c$, its matrices areThe column index labels the basis vector being acted on; this convention fixes the matrix signs.

Work in finite dimension over characteristic zero, as in the usual real or complex gauge algebras. A simple Lie algebra is nonabelian and has no nonzero proper Lie algebra ideal. A semisimple Lie algebra has no nonzero solvable ideal; equivalently it is a direct sum of simple ideals. The nondegenerate Killing form is $\kappa (X,Y)=\mathrm{tr}({\mathrm{ad}}_X{\mathrm{ad}}_Y)$. Its invariance follows from the representation identity and trace cyclicity:

For the reduction, take a nonzero proper ideal $\mathfrak{a}$, if one exists, and define its Killing-orthogonal complement ${\mathfrak{a}}^{\perp }$. Invariance makes it an ideal: for $y\in {\mathfrak{a}}^{\perp }$, $x\in L$, $z\in \mathfrak{a}$, $\kappa ([x,y],z)=-\kappa (y,[x,z])=0$. Moreover $[\mathfrak{a},{\mathfrak{a}}^{\perp }]=0$, because for $u\in \mathfrak{a}$, $v\in {\mathfrak{a}}^{\perp }$, and any $x\in L$,and the global Killing form is nondegenerate. Their intersection is consequently an abelian ideal: its elements lie in both commuting ideals. Semisimplicity forces that intersection to be zero. The dimension formula for a nondegenerate bilinear form then givesThe summands commute and are semisimple, since a solvable ideal in either summand would also be an ideal of $L$. Repeating on smaller summands terminates in simple ideals. This proves the orthogonal ideal splitting for a nondegenerate Killing form and describes the required reduction; abelian one-dimensional factors do not occur in a semisimple algebra.

If $\kappa (T_a,T_b)=\ell {\delta }_{ab}$ with $\ell \ne 0$, invariance givesso $c_{abc}=-c_{acb}$ after lowering the output index with $\delta$. The bracket already gives $c_{abc}=-c_{bac}$. These two adjacent transpositions generate all permutations, proving that the structure constants of a Lie algebra are completely antisymmetric. This is the antisymmetry of Killing-lowered structure constants; the scalar $\ell$ cancels in the chosen normalization.

For the gauge calculation write $\Lambda ={\lambda }_a{t}_a$, $A_{\mu }=A_{\mu a}{t}_a$, and $D_{\mu }={\partial }_{\mu }+A_{\mu }$. The representation generators here obey $[t_a,t_b]=c_{abc}{t}_c$; factors of $i$ and the gauge coupling are absorbed in this connection convention. Expanding the varied derivative givesFor this to equal $\Lambda D_{\mu }\varphi$, choose the gauge transformation in the derivative-plus-connection conventionThen all extra terms cancel, proving covariance of the gauge covariant derivative for arbitrary space-dependent parameters.

Apply both derivatives to a test field. The second derivatives commute and the terms involving one derivative of the field cancel, leaving the Yang-Mills field strengthThus its components areThe already obtained variation can be written $\delta D_{\mu }=[\Lambda ,D_{\mu }]$. The operator Jacobi identity then yieldsorFinally, with fixed space-time metric,The contracted product is symmetric in $a,c$, while $c_{abc}$ is antisymmetric in those indices. Hence the Yang-Mills action density is gauge invariant, with the sign convention derived rather than assumed.

A Lie algebra representation on a vector space $V$ is a linear map $R:\mathfrak{g}\to \mathrm{End}(V)$ preserving the Lie bracket:The Adjoint representation acts on $V=\mathfrak{g}$ by ${\mathrm{ad}}_X(Y)=[X,Y]$. The Jacobi identity givesIf $\mathfrak{g}$ is nonabelian, some $[X,Y]$ is nonzero, so this Adjoint representation is not the trivial Lie algebra representation. It is the required nontrivial representation of dimension $\dim \mathfrak{g}$. Nontriviality does not require its homomorphism to be injective.

For the finite-dimensional algebras here, with normalization one, the Killing form isIt is a symmetric bilinear form by cyclicity of the matrix trace. To prove its invariance, write $A={\mathrm{ad}}_X$, $B={\mathrm{ad}}_Y$, $C={\mathrm{ad}}_Z$. ThenThis also gives $\kappa ([X,Y],Z)=\kappa (X,[Y,Z])$, the equivalent invariant bilinear form on a Lie algebra identity.

For the unheaded structural requests, a simple Lie algebra is nonabelian and has no ideals of a Lie algebra other than zero and itself. A semisimple Lie algebra has no nonzero solvable ideal of a Lie algebra; in finite dimension over $\mathbb{R}$ or $\mathbb{C}$ this is equivalently a direct sum of simple Lie algebras.

Suppose first that the Killing form is nondegenerate. If $I$ is an abelian ideal of a Lie algebra and $X\in I$, then ${\mathrm{ad}}_X$ maps $\mathfrak{g}$ into $I$ and vanishes on $I$. Every ${\mathrm{ad}}_Y$ preserves $I$. Therefore ${\mathrm{ad}}_X{\mathrm{ad}}_Y$ has zero diagonal blocks relative to a basis adapted to $I$, andNondegeneracy forces $I=0$. If a nonzero solvable ideal of a Lie algebra existed, its last nonzero derived series of a Lie algebra term would be a nonzero abelian ideal of a Lie algebra, again impossible. Hence the solvable radical is zero, provingThis argument proves the needed implication rather than assuming the Cartan criterion for semisimplicity.

One can also see the direct-sum formulation explicitly through orthogonal ideal splitting for a nondegenerate Killing form. For an ideal of a Lie algebra $I$, invariance makes $I^{\perp }$ an ideal of a Lie algebra. If $X\in I\cap I^{\perp }$, then $\kappa ([X,Y],Z)=\kappa (X,[Y,Z])=0$ for $Y\in I$, $Z\in \mathfrak{g}$, so $[X,I]=0$. Thus $I\cap I^{\perp }$ is an abelian ideal of a Lie algebra, and must vanish. Consequently $\mathfrak{g}=I\oplus I^{\perp }$ and the two summands commute. Select a minimal nonzero ideal; it is nonabelian, and any ideal inside it is an ideal of $\mathfrak{g}$ because the complementary summand commutes with it. It is therefore simple. The restricted form is the remaining summand’s own Killing form, because the two ideals commute. Repeating the splitting there terminates in a direct sum of simple ideals.

Conversely the radical of the Killing formis an ideal of a Lie algebra by the invariance just proved. For a simple Lie algebra it is either zero or the whole algebra. The permitted hypothesis that $\kappa$ is not identically zero excludes the second alternative. ThusThe computations in the two following parts illustrate both a nondegenerate compact example and a degenerate algebra with an abelian ideal.