Let $\mathfrak{r}$ be a reductive Lie subalgebra of the complex semisimple Lie algebra $\mathfrak{g}$ and let $B$ be the Killing form of $\mathfrak{g}$.

Suppose that the restriction $B|_\mathfrak{r}$ of B on $\mathfrak{r}$ is non-degenerate. Let $\mathfrak{g} = \mathfrak{r} \oplus\mathfrak{s}$ be the orthogonal decomposition with respect to $B$.

How to check that the restriction $B|_\mathfrak{s}$ of $B$ on $\mathfrak{s}$ is also non-degenerate?

  • 1
    $\begingroup$ Hint: the matrix associated to the form is block diagonal when you pick bases from those two subspaces. $\endgroup$ – Tobias Kildetoft Feb 26 at 8:52

Suppose $g$ is the orthogonal sum $g=r\oplus s$ where $g$ is semi-simple. Since $g$ is sem-simple, Killing is not degenerated, this implies that for every $y\in s$, there exists $z\in g$ such that $B(y,z)\neq 0$, we can write $z=u+v, u\in r, v\in s$, we deduce that $B(y,z)=B(y,u+v)=B(y,v)\neq 0$ since $r$ is orthogonal to $s$. This implies that the restriction of $B$ to $s$ is not degenerated.

  • $\begingroup$ Thank you for the clear explanation. $\endgroup$ – James Cheung Feb 27 at 7:50

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

Not the answer you're looking for? Browse other questions tagged or ask your own question.