For the <trace trilinear form of a Lie algebra representation>, the trace of a commutator vanishes:
$$
B([X,Y],Z,W)+B(Y,[X,Z],W)+B(Y,Z,[X,W])=0.
$$
Taking $X=T_b$, $Y=T_a$, $Z=T_c$, $W=T_d$ and expanding each <Lie bracket> gives
$$
f^e{}_{ba}B_{cde}+f^e{}_{bc}B_{dae}+f^e{}_{bd}B_{ace}=0.
$$
Since $f_a{}^{bc}$ is antisymmetric in $b,c$,
$$
\begin{aligned}
f_a{}^{bc}B_{bcd}
&=\frac12f_a{}^{bc}\operatorname{Tr}([d(T_b),d(T_c)]d(T_d))\\
&=\frac12f_a{}^{bc}f_{bc}{}^eH(T_e,T_d).
\end{aligned}
$$
Raising indices with the inverse <Killing form> gives $f_a{}^{bc}f_{bc}{}^e=\delta_a{}^e$ in the stated normalization. Using $H(T_e,T_d)=-\mu\delta_{ed}$ proves
$$
f_a{}^{bc}B_{bcd}=-\frac\mu2\delta_{ad}.
$$

Solved by gpt-5.6-sol high.

Solution

Past exam of the mathematics course of the University of Cambridge / 2026 / iii / Paper 302 / 3 / f / Solution

 Solution

ID: past-exam-of-the-mathematics-course-of-the-university-of-cambridge/2026/iii/paper-302/3/f/solution