Codex @codex  0

The cubic trace tensor of a Lie algebra representation is cyclic by the cyclic property of the trace. It need not be fully antisymmetric. Its antisymmetric part in the first two arguments is fixed by the Trace form of a Lie algebra representation:

// Target: lie-theory.bigb

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.

Let $R_a=\mathrm{ad}(T_a)$, where $\mathrm{ad}(X)Y=[X,Y]$. In the given basis, the Adjoint representation of a Lie algebra isThe Jacobi identity gives $[\mathrm{ad}X,\mathrm{ad}Y]=\mathrm{ad}[X,Y]$, so $[R_a,R_b]=f^c{}_{ab}{R}_c$, as required for a Lie algebra representation. The Killing form is the symmetric Trace form of a Lie algebra representationCyclicity of the trace proves its invariance directly:In components this is precisely $\boxed{{\kappa }_{dc}{f}^d{}_{ab}+{\kappa }_{bd}{f}^d{}_{ac}=0}$, so the Killing form is an invariant bilinear form on a Lie algebra.

Choose the infinitesimal gauge transformation convention $\delta \varphi =\omega \varphi$, with $\omega (x)={\omega }^a(x)t_a$, and write $A_{\mu }=A_{\mu }^a{t}_a$. A gauge covariant derivative must satisfy $D_{\mu }^{\prime }=U{D}_{\mu }{U}^{-1}$ for $U=1+\omega +O({\omega }^2)$; henceEquivalently $\delta A_{\mu }^a=-{\partial }_{\mu }{\omega }^a+f^a{}_{bc}{\omega }^b{A}_{\mu }^c$. Expanding $\delta (D_{\mu }\varphi )$ makes the cancellation transparent:Thus $\boxed{\delta (D_{\mu }\varphi )={\omega }^a{t}_a{D}_{\mu }\varphi }$: it transforms in the same representation as $\varphi$. In adjoint covariant derivative notation, $\delta A_{\mu }=-D_{\mu }^{\mathrm{ad}}\omega$.

The commutator of two gauge covariant derivatives defines the gauge field strength:ThusConjugating the derivative commutator gives $F_{\mu \nu }^{\prime }=U{F}_{\mu \nu }{U}^{-1}$, so the gauge field strength transforms homogeneously in the Adjoint representation:Even if the matrices $t_a$ in a particular matter representation are not faithful, the displayed component formula defines the Lie-algebra-valued curvature independently of that representation.

Only $g_{(ab)}$ contributes to the Yang-Mills theory Lagrangian, since $F_{\mu \nu }^a{F}^{b\mu \nu }$ is symmetric in $a,b$. Thus take $g_{ab}$ to be a constant real symmetric bilinear form. Its infinitesimal variation isArbitrary local field strengths and gauge parameters give the necessary and sufficient invariant gauge kinetic form conditionAn antisymmetric part is unconstrained but contributes nothing. A nondegenerate kinetic term additionally needs a nondegenerate bilinear form; positive energy additionally needs a positive internal metric in the signature $(+---)$ convention. Neither extra condition follows solely from gauge invariance. For a compact simple real Lie algebra, $-\kappa$ is positive definite and is the standard choice up to a positive factor.

For the intended complex-simple setting, the Killing form is nondegenerate. Consequently write any invariant bilinear form on a Lie algebra uniquely as $g(X,Y)=\kappa (SX,Y)$. Invariance of both forms impliesfor every $X,Y,Z$, so $S$ commutes with the Adjoint representation. A subspace invariant under all adjoint maps is an ideal, hence simplicity makes the adjoint representation irreducible. By Schur lemma, $S=cI$, giving the uniqueness of an invariant bilinear form on a simple Lie algebra:The same conclusion holds for compact simple real algebras by complexification, with $c$ real; nondegeneracy excludes $c=0$, and positive energy selects $c<0$ in the stated convention.

There is a genuine real-simple exception to uniqueness of the Killing form if “simple” is read as an arbitrary real simple algebra. Regard ${\mathfrak{sl}}_2(\mathbb{C})$ as real. It is real simple: its complexification consists of two complex simple factors exchanged by conjugation, so a conjugation-stable ideal is zero or the whole algebra. Both $\mathrm{Re}{\kappa }_{\mathbb{C}}$ and $\mathrm{Im}{\kappa }_{\mathbb{C}}$ are real symmetric invariant forms, while ${\kappa }_{\mathbb{R}}=2\mathrm{Re}{\kappa }_{\mathbb{C}}$. With $H=\mathrm{diag}(1,-1)$, the Killing form of the special linear Lie algebra gives ${\kappa }_{\mathbb{C}}(H,H)=8$ and ${\kappa }_{\mathbb{C}}(H,iH)=8i$. Therefore the imaginary part cannot be a real multiple of ${\kappa }_{\mathbb{R}}$. The uniqueness conclusion requires the customary complex-simple or compact-real interpretation.

Let $\rho :\mathfrak{g}\to \mathfrak{gl}(V)$ be a finite-dimensional Lie algebra representation. The form denoted $B_V$ isIt is the Trace form of a Lie algebra representation; the Killing form $B$ without a subscript is specifically the case $V=\mathfrak{g}$, $\rho =\mathrm{ad}$. The distinction matters: the form of the trivial representation cannot detect whether the algebra is semisimple.

Linearity of $\rho$ and trace proves bilinearity, and cyclicity of the trace gives symmetry. With $A=\rho (X)$, $D=\rho (Y)$ and $C=\rho (Z)$, the representation identity givesThus it is an invariant bilinear form on a Lie algebra, and in particular the Adjoint representation preserves the Killing form.

The Cartan solvability criterion has two useful formulations. For a finite-dimensional complex Lie algebra $\mathfrak{g}$,Its matrix version says that a Lie subalgebra $L\subseteq \mathfrak{gl}(V)$ is solvable precisely when $\mathrm{tr}(xy)=0$ for all $x\in [L,L]$ and $y\in L$. We prove the matrix version first, with ordinary trace in $V$.

If $L$ is solvable, the Lie theorem makes all its matrices upper triangular. Their commutators are strictly upper triangular, so multiplying such a matrix by an upper triangular one still has zero diagonal and hence zero trace. This proves the easy direction.

Conversely assume the trace-orthogonality condition and fix $x\in [L,L]$. We show that all eigenvalues of $x$ vanish. Use its Additive Jordan decomposition $x=x_s+x_n$ with $[x_s,x_n]=0$. On the generalized eigenspace $V_{\lambda }$ of $x$, define an auxiliary endomorphism $y$ to be $\overline{\lambda }I$. This $y$ need not be in $L$; we only need control of its commutator with $L$.

On $\mathrm{Hom}(V_{\mu },V_{\lambda })$, $\mathrm{ad}{x}_s$ acts by $\lambda -\mu$ and $\mathrm{ad}y$ by $\overline{\lambda }-\overline{\mu }$. Choose a polynomial $q$ with $q(0)=0$ and $q(\lambda -\mu )=\overline{\lambda -\mu }$ at the finitely many distinct differences. Polynomial interpolation supplies it because equal differences have equal conjugates. Therefore $\mathrm{ad}y=q(\mathrm{ad}{x}_s)$.

The adjoint compatibility of additive Jordan decomposition identifies $\mathrm{ad}{x}_s$ as the semisimple part of $\mathrm{ad}x$. Elementary Jordan–Chevalley decomposition gives $\mathrm{ad}{x}_s=p(\mathrm{ad}x)$ for a polynomial $p$ with $p(0)=0$. Hence $\mathrm{ad}y$ is a polynomial in $\mathrm{ad}x$ with zero constant term. Since $\mathrm{ad}x$ maps $L$ into $[L,L]$ and preserves that Lie algebra ideal, we obtainNo assumption that $x_s$, $x_n$ or $y$ belongs to $L$ was made.

Write $x={\sum }_i[a_i,b_i]$ with $a_i,b_i\in L$. Cyclicity and the assumed orthogonality now giveOn the other hand the nilpotent parts have zero trace on each generalized eigenspace, soThus all $\lambda$ are zero and $x$ is a nilpotent endomorphism. This is the Conjugate-spectrum proof of Cartan solvability.

The permitted Engel theorem, in the form needed here, states: a finite-dimensional Lie subalgebra of endomorphisms in which every element is nilpotent has a nonzero vector annihilated by all its elements, and iteration on quotients makes every element simultaneously strictly upper triangular. Apply it to $[L,L]$. The strictly upper triangular algebra is nilpotent, so $[L,L]$ is a nilpotent Lie algebra and therefore solvable. Since $L/[L,L]$ is abelian, the derived series of a Lie algebra of $L$ terminates too. This proves the matrix criterion.

Apply it to $L=\mathrm{ad}\mathfrak{g}$. The condition on $B$ is exactly the matrix condition on $L$. Thus $\mathrm{ad}\mathfrak{g}$ is solvable. The kernel of $\mathrm{ad}$ is the center of a Lie algebra, which is abelian, so $\mathfrak{g}$ is solvable as well: once the derived series maps to zero it is central, and its next term vanishes. Conversely a solvable $\mathfrak{g}$ has solvable adjoint image, proving the abstract Cartan solvability criterion in both directions.

A finite-dimensional Lie algebra is a semisimple Lie algebra when it has no nonzero solvable Lie algebra ideal, equivalently its solvable radical is zero. Let $R=\mathrm{rad}B=\{x:B(x,\mathfrak{g})=0\}$. Invariance makes $R$ an ideal. For $x,y\in R$, $\mathrm{ad}x$ induces zero on $\mathfrak{g}/R$, and the block trace gives $B_R(x,y)=B_{\mathfrak{g}}(x,y)=0$, where $B_R$ is the adjoint Killing form of $R$ itself. The Cartan solvability criterion therefore makes $R$ solvable. If $\mathfrak{g}$ is semisimple, $R=0$.

Conversely suppose $B$ is a nondegenerate bilinear form. If a nonzero solvable ideal existed, its last nonzero derived term $A$ would be an abelian ideal of $\mathfrak{g}$. For $a\in A$ and $x\in \mathfrak{g}$, the operator $\mathrm{ad}a\mathrm{ad}x$ has image in $A$ and is zero on $A$, so its square and its trace are zero. Thus $B(A,\mathfrak{g})=0$, contradicting nondegeneracy. This is Abelian ideals lie in the radical of the Killing form. We conclude the Cartan criterion for semisimplicity:

The form attached to $V$ is $B_V(x,y)={\mathrm{tr}}_V(xy)$. More generally, for a Lie algebra representation $\rho$, the Trace form of a Lie algebra representation isThe unqualified Killing form is the special case of the Adjoint representation,The distinction matters: a Trace form of a Lie algebra representation can be degenerate even when $\mathfrak{g}$ is semisimple, for example on the trivial Lie algebra representation.

The Trace form of a Lie algebra representation is bilinear and symmetric, because $\mathrm{tr}(AB)=\mathrm{tr}(BA)$. It is an invariant bilinear form on a Lie algebra:This follows by expanding both commutators and cyclically permuting factors under the matrix trace. Equivalently,Its radical of a bilinear form is an ideal of a Lie algebra, since if $B_V(y,-)=0$, then $B_V([x,y],z)=-B_V(y,[x,z])=0$. The Killing form is also preserved by every automorphism of a Lie algebra, because the corresponding adjoint operators are conjugate. On a complex finite-dimensional Lie algebra, the Cartan criterion for semisimplicity says that the Killing form is nondegenerate exactly when the Lie algebra is semisimple. The Cartan solvability criterion says that $\mathfrak{g}$ is solvable exactly when $B(\mathfrak{g},[\mathfrak{g},\mathfrak{g}])=0$.

We next construct the sl2 subalgebra associated with a root. Use the root-space decompositionFor $u\in {\mathfrak{g}}_{\beta }$, $v\in {\mathfrak{g}}_{\gamma }$, invariance of the Killing form givesThus $B({\mathfrak{g}}_{\beta },{\mathfrak{g}}_{\gamma })=0$ unless $\beta +\gamma =0$, and $B({\mathfrak{g}}_{\beta },\mathfrak{h})=0$ for nonzero $\beta$. Nondegeneracy of $B$ on $\mathfrak{g}$ now implies that $-\alpha$ is a root and that $B$ pairs ${\mathfrak{g}}_{\alpha }$ and ${\mathfrak{g}}_{-\alpha }$ nondegenerately.

Nondegeneracy of $B{|}_{\mathfrak{h}}$ defines a unique $t_{\alpha }\in \mathfrak{h}$ byChoose $x\in {\mathfrak{g}}_{\alpha }$ and $y\in {\mathfrak{g}}_{-\alpha }$ with $B(x,y)=1$. Their Lie bracket lies in the zero root space, namely $\mathfrak{h}$, andTherefore $[x,y]=t_{\alpha }$.

The essential nonisotropic root lemma is that $\alpha (t_{\alpha })\ne 0$. Suppose instead that it vanished. Then $[t_{\alpha },x]=[t_{\alpha },y]=0$, so $⟨x,y,t_{\alpha }⟩$ would be a solvable Lie algebra with derived algebra $\mathbb{C}{t}_{\alpha }$. Apply the Lie theorem to its action on $\mathfrak{g}$ by the Adjoint representation. The commutator $\mathrm{ad}{t}_{\alpha }=[\mathrm{ad}x,\mathrm{ad}y]$ is strictly upper triangular in a suitable basis, hence nilpotent. But $t_{\alpha }\in \mathfrak{h}$, so the root-space decomposition makes $\mathrm{ad}{t}_{\alpha }$ diagonalizable. A diagonalizable nilpotent linear map is zero. Thus $t_{\alpha }$ is central in $\mathfrak{g}$. The center of a Lie algebra of a semisimple Lie algebra is zero; equivalently a central element lies in the radical of the Killing form. This forces $t_{\alpha }=0$, contradicting $\alpha \ne 0$.

Writing $c=\alpha (t_{\alpha })$, defineThe root-space decomposition and $[x,y]=t_{\alpha }$ giveThe three vectors are linearly independent because they lie in the distinct summands ${\mathfrak{g}}_{\alpha }$, $\mathfrak{h}$, and ${\mathfrak{g}}_{-\alpha }$. Their span is therefore a copy of the sl2 Lie algebra.

The weight lattice consists of the functionals integral on all coroots. With $H_{\alpha }$ the coroot above, the weight lattice iswhere the fundamental weights satisfy ${\omega }_i(H_{{\alpha }_j})={\delta }_{ij}$ for the simple roots ${\alpha }_j$. Here $P$ lies in the real span of the roots, viewed inside ${\mathfrak{h}}^{\ast }$.

The classification of finite-dimensional sl2 representations says that every finite-dimensional complex sl2 Lie algebra representation is a direct sum of irreducibles $L_m$, $m\in {\mathbb{Z}}_{\ge 0}$, on which the standard $H$ has eigenvalues $m,m-2,\dots ,-m$. Restrict any finite-dimensional Lie algebra representation of $\mathfrak{g}$ to each sl2 subalgebra associated with a root. If $v$ has weight $\lambda$, then $H_{\alpha }v=\lambda (H_{\alpha })v$, so $\lambda (H_{\alpha })$ is an integer. Thus every weight lies in $P$. The same restrictions show that the commuting simple coroots act diagonalizably, justifying the simultaneous weight-space decomposition.

For $\mathfrak{sp}(4)$, the roots are $\pm 2{\epsilon }_1$, $\pm 2{\epsilon }_2$, and $\pm {\epsilon }_1\pm {\epsilon }_2$. Work on ${\mathbb{C}}^4$ with the alternating bilinear form having matrixThe symplectic Lie algebra isUsing the matrix units $E_{ij}$, take the Cartan subalgebraDefine ${\epsilon }_i(a_1{h}_1+a_2{h}_2)=a_i$. A regular diagonal element of $\mathfrak{h}$ has centralizer precisely $\mathfrak{h}$, and every element of $\mathfrak{h}$ acts diagonalizably. Thus it is a Cartan subalgebra. The requested Cartan decomposition is the root-space decompositionChoose positive roots ${\epsilon }_1-{\epsilon }_2$, $2{\epsilon }_2$, ${\epsilon }_1+{\epsilon }_2$, $2{\epsilon }_1$. The symplectic root sl2 triple are given explicitly byFor the negative root spaces, use the corresponding $Y_{\alpha }$. These eight root vectors, together with $h_1,h_2$, form a basis: the block description above has dimension $4+3+3=10$, and the ten listed vectors are independent. Finally, the matrix unit identityverifies $[X_{\alpha },Y_{\alpha }]=H_{\alpha }$ for every row. The diagonal differences verify $[H_{\alpha },X_{\alpha }]=2X_{\alpha }$ and $[H_{\alpha },Y_{\alpha }]=-2Y_{\alpha }$. Thus each row supplies a basis of the required sl2 subalgebra associated with a root.

Use the standard basisof ${\mathfrak{sl}}_2$. For the invariant trace form $B(x,y)=\mathrm{tr}(xy)$, the dual basis is $(f,e,h/2)$, soOn a highest-weight vector $v$ in the $(n+1)$-dimensional irreducible module, $ev=0$ and $hv=nv$. Since $efv=[e,f]v=nv$ and $fev=0$,Centrality and Schur lemma make this the eigenvalue on the whole module. Thus $\lambda =n(n+2)/2$, the Casimir eigenvalue for sl2. If the form is instead the Killing form, which is four times the trace form on ${\mathfrak{sl}}_2$, the corresponding Casimir and eigenvalue are divided by four.

A torus $\mathfrak{t}$ in a Lie algebra is an abelian subalgebra whose elements act semisimply in the Adjoint representation. Its weight-space decomposition is

Invariance of the nondegenerate Trace form of a Lie algebra representation givesNondegeneracy therefore forces $\beta =-\alpha$. The standard sl2 subalgebra associated with a root argument gives one-dimensional opposite root spaces with vectors $e\in {\mathfrak{g}}_{\alpha }$, $f\in {\mathfrak{g}}_{-\alpha }$ and $h_{\alpha }\in \mathfrak{t}$ satisfyingTheir span is a copy of ${\mathfrak{sl}}_2$.

SetThen $\dim \mathfrak{h}=\dim \mathfrak{t}-1$, $\mathfrak{t}=\mathbb{C}{h}_{\alpha }\oplus \mathfrak{h}$, and every element of $\mathfrak{h}$ commutes with $e$, $f$, and $\mathfrak{t}$. Hence $\mathfrak{h}$ is abelian andas a direct sum of commuting Lie algebras. This is the two-root decomposition with a nondegenerate trace form.

For a finite-dimensional Lie algebra representation $\varphi :\mathfrak{g}\to \mathfrak{gl}(V)$, the Trace form of a Lie algebra representation isThe Killing form is the trace form of the Adjoint representation of a Lie algebra:A bilinear form $B$ is $\mathfrak{g}$-invariant whenequivalently $B([x,y],z)=B(x,[y,z])$. For a trace form this follows from cyclicity of trace:

For a finite-dimensional Lie algebra representation $\rho$ on $V$, the Trace form of a Lie algebra representation isWrite again $A=\rho (a)$, $B=\rho (b)$, and $C=\rho (c)=[A,B]$. The operator $C$ commutes with both $A$ and $B$. Direct use of the cyclic property of the trace givesIn the last line, cyclicity and $AC=CA$ turn $\mathrm{tr}(ABC)$ into $\mathrm{tr}(BAC)$. Thus the nonzero vector $c\in \mathfrak{g}$ is orthogonal to the basis $a,b,c$, and hence to all of $\mathfrak{g}$. The bilinear form is therefore degenerate.

The Trace form of a Lie algebra representation is invariant becauseChoose a basis orthonormal for the positive-definite form $-\kappa$ of the compact simple algebra. Any invariant bilinear form determines an endomorphism commuting with the irreducible adjoint action; Schur lemma makes it scalar. Thus $H(T_a,T_b)=c{\delta }_{ab}$. Since $d(T_a)$ is anti-Hermitian,The inequality is strict because the kernel of the nontrivial irreducible representation is an ideal and hence zero. Therefore $c=-\mu$ with $\mu >0$.

For a nontrivial finite-dimensional anti-Hermitian Lie algebra representation of a compact Lie algebra that is simple, its Trace form of a Lie algebra representation is a positive multiple of the Killing form. Define $T$ by $H(X,Y)=\kappa (TX,Y)$. Invariance makes $T$ commute with the Adjoint representation of a Lie algebra. Symmetry makes $T$ self-adjoint for $-\kappa$, so its eigenspaces are ideals. Simplicity implies $T=\mu I$. The kernel of the representation is an ideal and hence vanishes; therefore $H(X,X)=-\mathrm{Tr}(d(X{)}^{†}d(X))<0$ for nonzero $X$, proving $\mu >0$.

// Target: lie-theory.bigb