5
$\begingroup$

I'm trying to understand a step in a proof:

Let $\mathfrak{g}$ be semi-simple (finite dimensional) Lie-algebra over $\mathbb{C}$, $\mathfrak{h}\subset\mathfrak{g}$ a Cartan subalgebra and let $\kappa:\mathfrak{g}\times\mathfrak{g}\to\mathbb{C}$ be the Killing form.

In this setting, the author of the proof chooses an orthonormal basis $h_1,\dots,h_n$ of $\mathfrak{h}$ relative to the Killing form, which is - to my understanding - a basis satisfying $\kappa(h_i,h_j)=\delta_{ij}$.

Why is it always possible to find such an orthonormal basis?

Thank you for your help!

$\endgroup$
3
$\begingroup$

This is because over an algebraically closed field, one can always find an orthonormal basis with respect to any symmetric bilinear form, as long as no non-zero vector is orthogonal to itself (so you need to know that the Killing form has this property when restricted to the Cartan subalgebra, which is the case because the elements of the Cartan subalgebra act via scalars when one looks at the adjoint action).

The Gram-Schmidt process (taught in most courses on linear algebra) then carries over to work in this general setting.

$\endgroup$
  • $\begingroup$ Thus the algebraic closure of $\mathbb{C}$ is absolutely crucial to the classification of (semi-?)simple complex Lie Algebras. $\endgroup$ – JP McCarthy Jan 16 '13 at 15:12
  • $\begingroup$ Thank you! I did not know that fact about symmetric bilinear forms. $\endgroup$ – Sh4pe Jan 16 '13 at 15:32
  • $\begingroup$ If you have an orthonormal basis on a complex vector space, aren't there always nonzero vectors which are orthogonal to themselves? $$(ie_1 + e_2,ie_1 + e_2) = -1 + 1 = 0$$ $\endgroup$ – D_S Dec 24 '17 at 5:25
  • $\begingroup$ @D_S Remember that complex inner products are conjugate linear in the second argument, to make sure all vectors have non-negative inner product with themselves. $\endgroup$ – Tobias Kildetoft Dec 24 '17 at 11:06
  • $\begingroup$ But the Killing form is not a complex inner product, it is a symmetric bilinear form over $\mathbb{C}$. $\endgroup$ – D_S Dec 24 '17 at 13:22
1
$\begingroup$

The Killing form is symmetric and non-degenerate(Cartan's criterion). For such bilinear forms you can always diagonalize it via a proper basis. So in particular over $\mathbb{C}$ you should be able to find an orthonormal basis.

$\endgroup$

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.