Killing form

Definition

Suppose $L$ is a finite-dimensional Lie algebra over a field $k$. The Killing form on $L$ is a $k$-bilinear form $\kappa$ on $L$ defined as follows:

$\kappa (x,y)=\mathrm{t}\mathrm{r}(\mathrm{a}\mathrm{d}(x)\circ \mathrm{a}\mathrm{d}(y))$.

Here, $\mathrm{a}\mathrm{d}(x)$ is the adjoint action of $x$ on $L$ (see Lie ring acts as derivations by adjoint action), viewed as a $k$-linear map from $L$ to itself. The composite is thus also a $k$-linear map from $L$ to itself. $\mathrm{t}\mathrm{r}$ computes the trace of this linear map.

Note that the Killing form can be defined and makes sense only for Lie algebras and not for the more general Lie rings.

Facts

Cartan's criteria

Cartan's criteria rely on Lie's theorem, which in turn depends on the field being algebraically closed and of characteristic zero.

• Cartan's first criterion: This states that if $k$ is an algebraically closed field of characteristic zero (e.g., the field of complex numbers), then a Lie algebra $L$ over $k$ is solvable if and only if $\kappa (x,y)=0$ for all $x\in L$ and $y\in [L,L]$.
• Cartan's second criterion: This states that if $k$ is an algebraically closed field of characteristic zero (e.g., the field of complex numbers), then a Lie algebra over $k$ is semisimple if and only if the Killing form is nondegenerate on the algebra.