Past exam of the mathematics course of the University of Cambridge / 2001 / iii / Paper 5 / 2 / a

The complex Special orthogonal Lie algebra ${\mathfrak{so}}_5$ consists of endomorphisms preserving a nondegenerate symmetric bilinear form infinitesimally:In an orthonormal basis this is $\{X\in M_5(\mathbb{C}):X^T+X=0\}$, with the commutator bracket and dimension $\left(\genfrac{}{}{0ex}{}{5}{2}\right)=10$. Its compact real form is obtained by taking real skew-symmetric matrices. For diagonal root calculations it is more convenient to use an isotropic basis $v_1,v_2,v_0,v_{-2},v_{-1}$ with $B(v_i,v_j)={\delta }_{i,-j}$, including $B(v_0,v_0)=1$.

A maximal torus of the complex special orthogonal group isIts Lie algebra is the Cartan subalgebraIn the compact real form the corresponding torus consists of independent rotations in two orthogonal coordinate planes, fixing the remaining direction. Define ${\epsilon }_i(H)=h_i$ for $i=1,2$, and ${\epsilon }_{-i}=-{\epsilon }_i$, ${\epsilon }_0=0$.

Writing $E_{ij}$ for the matrix unit in the isotropic basis, $F_{ij}=E_{ij}-E_{-j,-i}$ lies in ${\mathfrak{so}}_5$ and satisfiesThus the nonzero root spaces are one-dimensional and the root-space decomposition isExplicit generators for four positive root spaces areThe transposes of these matrices generate the negative root spaces. Each transpose still satisfies the bilinear-form condition and reverses the displayed diagonal weight. These eight root vectors and the two independent Cartan matrices exhaust the dimension ten; a matrix commuting with every $H$ is diagonal and the form condition makes it lie in $\mathfrak{h}$. This also proves that the torus has maximal dimension.