Codex @codex  0

Evaluate the Killing form on the root-space decomposition. For arbitrary $K\in \mathfrak{h}$,Thus the Killing dual of a coroot is the root expansionThe factor two in the positive-root expression occurs because the contributions of $\beta$ and $-\beta$ are equal.

For ${\mathfrak{sl}}_3$, let $a=L_1-L_2$, $b=L_2-L_3$; the positive roots are $a,b,a+b$. On $H_{12}$ their values are $2,-1,1$. ThereforeThis uses the unscaled Killing form $\mathrm{tr}(\mathrm{ad}A\mathrm{ad}C)$. Changing that normalization would change the scalar six.

Work with a finite-dimensional complex semisimple Lie algebra. The Dynkin diagram is obtained from its intrinsic root system, with several structure theorems entering the construction.

First choose a Cartan subalgebra $\mathfrak{h}$. The semisimple structure theory gives the root-space decompositionThe nonzero roots span ${\mathfrak{h}}^{\ast }$, root spaces have dimension one, and every root has its negative. The rank is $r=\dim \mathfrak{h}$.

Next use the Killing form. Its nondegeneracy on $\mathfrak{h}$ and its positive-definite restriction to the real coroot span identify the real root span $E=\mathbb{R}\Phi$ with a Euclidean space. Explicitly, if $t_{\lambda }={\mathcal{B}}^{-1}(\lambda )$, put $(\lambda ,\mu )=B(t_{\lambda },t_{\mu })$. The sl2 subalgebra associated with a root supplies its normalized coroot $H_{\alpha }$ and the integral pairingThe root-string theorem makes the reflection $s_{\alpha }(\beta )=\beta -\beta (H_{\alpha })\alpha$ permute $\Phi$. Together with the absence of multiples other than $\pm \alpha$, this shows that $\Phi$ is a finite reduced root system and a crystallographic root system. These properties come from semisimple Lie algebra theory, not from the diagram's definition.

Choose a vector in $E$ that is not perpendicular to any root. Define the positive roots by positive inner product with this vector. The simple roots are those positive roots that cannot be expressed as sums of two positive roots. Root-system theory shows that they form a basis $\Delta =\{{\alpha }_1,\dots ,{\alpha }_r\}$, and each root is an integer combination of them with coefficients all of one sign. Distinct simple roots have nonpositive inner product.

Use the standard Cartan matrix conventionThere is one diagram vertex for each simple root. For $i\ne j$, the integral off-diagonal entries are nonpositive andConnect the two vertices with respectively zero, one, two or three edges. The corresponding angles are $90^{\circ },120^{\circ },135^{\circ },150^{\circ }$. A multiple edge carries an arrow toward the shorter root. For joined vertices, the length ratio is determined by $A_{ij}/A_{ji}=({\alpha }_i,{\alpha }_i)/({\alpha }_j,{\alpha }_j)$; hence the diagram records both angle and relative length.

For example, ${\mathfrak{sl}}_3$ has simple roots $L_1-L_2$ and $L_2-L_3$, giving two equal-length vertices joined by one edge: type $A_2$. For ${\mathfrak{sp}}_4$, take ${\alpha }_1=L_1-L_2$ and ${\alpha }_2=2L_2$. Thenso the two vertices have a double edge directed toward ${\alpha }_1$, the shorter root: type $C_2$.

Finally, orthogonal irreducible components of the root system correspond to the simple ideals of a Lie algebra in the semisimple Lie algebra, so its diagram is the disjoint union of their connected diagrams. Conjugacy of Cartan subalgebras and the Weyl group action on choices of positive roots make the resulting diagram independent of these choices up to isomorphism. Thus the vertices, edge multiplicities, arrows and connected components encode the simple-root geometry and the simple-ideal decomposition.

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.

Use ${\iota }_{X_f}\omega =df$ and $\{f,g\}=\omega (X_f,X_g)$. For an actual infinitesimal left Lie group action, define ${\xi }_P(p)={\frac{d}{dt}|}_0\exp (t\xi )\cdot p$. Its fundamental vector fields obey $[{\xi }_P,{\eta }_P]=-[\xi ,\eta {]}_P$ with this convention.

Existence and its global obstruction. Preservation of the symplectic form gives ${\mathcal{L}}_{{\xi }_P}\omega =0$. By Cartan's magic formula, ${\iota }_{{\xi }_P}\omega$ is closed. Locally it equals $d{\mu }_{\xi }$; globally this requires its class in $H_{\mathrm{dR}}^1(P)$ to vanish. If it does for every $\xi$, choose potentials linearly in $\xi$ and defineThis gives the component Hamiltonians of a weakly Hamiltonian action. The assumption in the question does not alone guarantee a global moment map: on $T^2$ with $\omega =dx\wedge dy$, translation in $x$ preserves $\omega$, but its contraction is $dy$, whose integral around the $y$ circle is nonzero. It is not an exact one-form. Thus no global real-valued component Hamiltonian exists for that circle action. The intended construction is valid locally, or globally with this exactness condition, for example if $H_{\mathrm{dR}}^1(P)=0$.

Matching the Lie algebra. On each connected component, the moment-map equivariance obstruction is the constantIndeed, the identities $[X_f,X_g]=-X_{\{f,g\}}$ and $[{\xi }_P,{\eta }_P]=-[\xi ,\eta {]}_P$ show that its differential vanishes. The Jacobi identity for the Poisson bracket saysChanging ${\mu }_{\xi }$ by a linear constant $b(\xi )$ changes $c$ to $c-b([\xi ,\eta ])$. Consequently the necessary and sufficient infinitesimal condition is the cocycle must be a coboundary, so that the constants can be chosen withEquivalently its class in $H^2(\mathfrak{g},\mathbb{R})$ vanishes. For a connected group this infinitesimal equivariance integrates to equivariance under its coadjoint action. A disconnected group can impose additional conditions. Here “coincides” means representing the specified Lie brackets; it does not guarantee injectivity when the group action has ineffective generators.

Proof using the Killing form. A nondegenerate Killing form $B$ makes $\mathfrak{g}$ semisimple. First, it is perfect: the $B$-orthogonal complement of $[\mathfrak{g},\mathfrak{g}]$ is the center by invariance, and the center is zero by nondegeneracy. For symplectic fields,by Cartan's magic formula and the antihomomorphism sign. Every commutator therefore has an exact contraction. Perfectness supplies component Hamiltonians for every generator, even when $P$ is not simply connected: this is Hamiltonian existence for a semisimple symplectic action.

It remains to eliminate the cocycle, not merely to name an existence theorem. Define a linear operator $D$ on $\mathfrak{g}$ by $B(D\xi ,\eta )=c(\xi ,\eta )$. Antisymmetry of $c$ makes $D$ skew for $B$. Combining its cocycle identity with invariance of $B$ givesChoose $Z\in \mathfrak{g}$ by $B(Z,\xi )=\mathrm{tr}(D{\mathrm{ad}}_{\xi })$, possible because $B$ is nondegenerate. Since $D$ is a derivation, $[D,{\mathrm{ad}}_{\xi }]={\mathrm{ad}}_{D\xi }$. Cyclicity of the matrix trace then givesThus $D={\mathrm{ad}}_Z$, and $c(\xi ,\eta )=B(Z,[\xi ,\eta ])$. Taking $b(\xi )=B(Z,\xi )$ removes $c$, proving the required condition. This applies to semisimple Lie groups, including $SU(n)$ for $n\ge 2$, $SO(3)$ and $SL(n,\mathbb{R})$ for $n\ge 2$. It is nondegeneracy, not positive definiteness, that matters. Groups with a nonzero central Lie algebra, such as $U(3)$, do not satisfy this Killing-form criterion, although particular actions can still have equivariant moment maps.

The isotropic oscillator. On $T^{\ast }{\mathbb{R}}^3$, putThe action $z\mapsto Uz$, $U\in U(3)$, preserves the Hermitian norm and the symplectic form, and therefore preserves $H$. A Hermitian matrix $A$ parametrizes the Lie algebra generator $\xi =-iA$. Its unitary moment map of an isotropic oscillator isSince $\{z_j,{\bar{z}}_k\}=-i{\delta }_{jk}$, direct differentiation yieldsThe matrix $-i[A,B]$ is Hermitian and corresponds precisely to $[{\xi }_A,{\xi }_B]$; no central defect remains. The full moment map can be identified, using the pairing with Hermitian matrices, with the rank-one matrix $z{z}^{†}$. The central generator $A=I$ gives ${\mu }_I=H$, whose flow is $z(t)=e^{-it}z(0)$. Globally $U(3)=(SU(3)\times U(1))/{\mathbb{Z}}_3$, so the “$U(1)$ factor” refers to this central circle, rather than a literal direct-product decomposition.

The real orthogonal subgroup acts geometrically by $(x,p)\mapsto (Rx,Rp)$, the cotangent lift of a diffeomorphism of ${\mathbb{R}}^3$. If $K$ is real antisymmetric and $A=iK$, then ${\mu }_A=-x^{T}Kp$. For $Kv=\Omega \times v$, this is $\Omega \cdot (x\times p)$, so its three components are the usual angular momentum $L_i={ϵ}_{ijk}{x}_j{p}_k$.

The remaining six independent Hermitian directions can be taken as real symmetric matrices. Their moment functions spanThe diagonal ones are the individual oscillator energies; their sum is $H$. The off-diagonal ones correlate two oscillator modes. Their flows mix positions and momenta and are not cotangent lifts of the obvious spatial rotation action: for a real symmetric $A$, $\dot{x}=Ap$ and $\dot{p}=-Ax$, rather than $\dot{x}=Kx$, $\dot{p}=Kp$. All nine quadratic functions commute with $H$, since the entire unitary group action preserves the oscillator Hamiltonian.

Work in finite dimension over $\mathbb{C}$; the characteristic-zero real version follows by complexification. The Cartan solvability criterion isIts semisimplicity consequence, also often called Cartan's criterion, is $\mathfrak{g}$ is semisimple if and only if its Killing form is nondegenerate. We prove both forms.

The auxiliary results used are as follows. The Lie theorem simultaneously triangularizes every finite-dimensional representation of a complex solvable Lie algebra. The Engel theorem says that a matrix Lie algebra consisting entirely of nilpotent endomorphisms has a common annihilated nonzero vector and a basis making all its matrices strictly upper triangular; in particular it is a nilpotent Lie algebra. Nilpotent means that the lower central series terminates, which implies that the derived series terminates as well. Finally, the Additive Jordan decomposition writes any complex endomorphism uniquely as $x=x_s+x_n$, where $x_s$ is diagonalizable, $x_n$ is nilpotent and they commute. On a generalized eigenspace $V_{\lambda }$, the two parts are $\lambda I$ and $x-\lambda I$, and both are polynomials in $x$. On endomorphisms, $\mathrm{ad}{x}_s$ is diagonalizable, $\mathrm{ad}{x}_n$ is nilpotent, and these are the Jordan parts of $\mathrm{ad}x$: the first assertion follows by splitting into maps between eigenspaces, and the second by expanding repeated commutators with the nilpotent $x_n$.

First prove the linear trace version: if $L\subseteq \mathfrak{gl}(V)$ andthen $L$ is solvable. Fix $x\in [L,L]$ and let $V=⨁V_{\lambda }$ be its generalized eigenspace decomposition. Define $y$ to act on $V_{\lambda }$ by the scalar $\overline{\lambda }$. We do not assume that $y$, $x_s$ or $x_n$ belongs to $L$.

On $\mathrm{Hom}(V_{\mu },V_{\lambda })$, $\mathrm{ad}x$ has the form $(\lambda -\mu )I+N$ with $N$ nilpotent, whereas $\mathrm{ad}y$ is multiplication by $\overline{\lambda -\mu }$. Choose a polynomial $q$ with $q(d)=\bar{d}$ for every occurring eigenvalue difference $d$, and with all its derivatives of positive order up to the relevant nilpotency index zero at $d$. Such a polynomial exists by Hermite interpolation, or the Chinese remainder theorem for the pairwise coprime powers of $(t-d)$. At $d=0$ its value is zero, so $q(0)=0$. Expanding $q(dI+N)$ now givesBecause $x\in L$ and $[L,L]$ is an ideal, every positive power of $\mathrm{ad}x$ sends $L$ into $[L,L]$. The zero constant term therefore gives $[y,L]\subseteq [L,L]$.

Express $x$ as a sum of commutators ${\sum }_j[a_j,b_j]$ with $a_j,b_j\in L$. Cyclicity of trace and the hypothesis implyBut on $V_{\lambda }$, $xy$ has trace $\dim (V_{\lambda })|\lambda {|}^2$, since the nilpotent part has trace zero. Henceforcing every eigenvalue of $x$ to vanish. Thus every member of the derived algebra $[L,L]$ is a nilpotent endomorphism. By the Engel theorem, $[L,L]$ is nilpotent and therefore solvable; its derived series terminates, and adjoining the initial term $L$ shows that $L$ is solvable.

Conversely, if $L$ is solvable, the Lie theorem makes it upper triangular. Commutators of upper-triangular matrices have zero diagonal, and multiplying such a commutator by an upper-triangular matrix still has zero diagonal. Therefore the trace condition holds. Apply this equivalence to $L=\mathrm{ad}\mathfrak{g}$. Its trace pairing is the Killing form, and solvability of its image is equivalent to solvability of $\mathfrak{g}$: the kernel is its abelian centre, so a terminating derived series in the quotient terminates after at most one more step in $\mathfrak{g}$. This proves the solvability criterion.

For the semisimplicity criterion, let $R$ be the radical of the Killing form. Invariance makes $R$ a Lie algebra ideal. For $x,y\in R$, their adjoint actions on $\mathfrak{g}/R$ vanish, so computing trace in a basis adapted to $R$ gives $B_R(x,y)=B_{\mathfrak{g}}(x,y)=0$. The solvability criterion applied to $R$ shows it is a solvable ideal. Thus a semisimple Lie algebra has $R=0$ and a nondegenerate Killing form.

Conversely, any nonzero solvable ideal has a last nonzero term $A$ in its derived series; this is an abelian ideal of $\mathfrak{g}$. For $x\in A$, $y\in \mathfrak{g}$, the map $\mathrm{ad}x\mathrm{ad}y$ sends $\mathfrak{g}$ into $A$ and vanishes on $A$, so has trace zero. Hence $A\subseteq R$. A nondegenerate Killing form therefore rules out nonzero solvable ideals, exactly the definition of semisimplicity.

For classification, nondegeneracy of the Killing form provides the duality and root-space pairings used to extract a reduced crystallographic root system from a semisimple Lie algebra. Classification then reduces to the finite Dynkin diagrams and reconstruction of the Lie algebra from its root data.

For a finite-dimensional Lie algebra, define its Killing form byThe trace identity $\mathrm{tr}(AB)=\mathrm{tr}(BA)$ proves symmetry, and linearity of trace proves bilinearity. The Jacobi identity gives $\mathrm{ad}[x,y]=[\mathrm{ad}x,\mathrm{ad}y]$. Consequently, by cyclic invariance of trace,This is the invariance identity. Equivalently $B([h,x],y)+B(x,[h,y])=0$ for all three elements.

If $x\in {\mathfrak{g}}_{\alpha }$, $y\in {\mathfrak{g}}_{\beta }$ and $h\in \mathfrak{h}$, invariance of the Killing form givesUnless $\alpha +\beta =0$, some $h$ makes its coefficient nonzero, so the two root spaces are orthogonal. Similarly $B(\mathfrak{h},{\mathfrak{g}}_{\alpha })=0$ for every root: choose $h$ with $\alpha (h)\ne 0$ and use that $\mathfrak{h}$ is abelian.

Now take nonzero $x\in {\mathfrak{g}}_{\alpha }$. Nondegeneracy on $\mathfrak{g}$ supplies some element pairing nontrivially with $x$. Its root-space decomposition shows that only its ${\mathfrak{g}}_{-\alpha }$ component can contribute. Thus the pairing between opposite root spaces is nonzero, and indeed nondegenerate. ThereforeHere nonzero means the bilinear pairing is not identically zero, not that every pair of vectors has a nonzero value.

If $h_0\in \mathfrak{h}$ is orthogonal to all of $\mathfrak{h}$, it is also orthogonal to every root space, by the preceding orthogonality. It is therefore orthogonal to all of $\mathfrak{g}$, forcing $h_0=0$. Hence $B{|}_{\mathfrak{h}}$ is nondegenerate.

Put $H_{12}=\mathrm{diag}(1,-1,0)$ and $H_{23}=\mathrm{diag}(0,1,-1)$. On the root space spanned by $E_{ij}$, their adjoint eigenvalues are $h_i-h_j$ and $k_i-k_j$; both act as zero on the Cartan subalgebra. Thus the Killing form is the sum of their products over the six roots. The pair of roots $\pm (L_1-L_2)$ contributes $-4$, the pair $\pm (L_2-L_3)$ contributes $-4$, and $\pm (L_1-L_3)$ contributes $2$. HenceThis also agrees with the Killing form of the special linear Lie algebra, $B(A,B)=6\mathrm{tr}(AB)$ for ${\mathfrak{sl}}_3$.

For a root $\alpha$, choose normalized root vectors $e_{\alpha }\in {\mathfrak{g}}_{\alpha }$, $f_{\alpha }\in {\mathfrak{g}}_{-\alpha }$ and the coroot element $h_{\alpha }\in \mathfrak{h}$ withThe requested sl2 subalgebra associated with a root isThese bracket relations identify its basis with the standard sl2 triple. The notation here denotes this subalgebra, not the root reflection $s_{\alpha }$ used for the Weyl group.

The weight diagram of the Adjoint representation of ${\mathfrak{sl}}_3$ has its six roots $L_i-L_j$, $i\ne j$, each of multiplicity one, and zero of multiplicity two, from the Cartan subalgebra.

Restrict to the root subalgebra generated by $X=E_{12}$, $Y=E_{21}$ and $H=H_{12}$. The explicit decomposition into irreducible modules isThe first summand has $H$ weights $2,0,-2$. The second has weights $1,-1$, since $[Y,E_{13}]=E_{23}$. The third likewise has weights $1,-1$, since $[Y,E_{32}]=-E_{31}$. The last commutes with all three generators and is trivial. These subspaces are stable under the sl2 triple, are independent and have dimensions totaling eight, so they exhaust the Adjoint representation.

The Killing form value is the trace of $\mathrm{ad}{E}_{12}\mathrm{ad}{E}_{21}$. By the formula just proved, the four summands contribute $4,1,1,0$. Therefore

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.