# Killing form

Jump to: navigation, search

2010 Mathematics Subject Classification: Primary: 17B [MSN][ZBL]

The Killing form is a certain bilinear form on a finite-dimensional Lie algebra, introduced by W. Killing . Let $\def\f#1{\mathfrak{#1}}\f G$ be a finite-dimensional Lie algebra over a field $k$. By the Killing form on $\f G$ is meant the bilinear form

$$\def\tr{\textrm{tr}\;}\def\ad{\textrm{ad}\;}B(x,y) = \tr(\ad x \cdot \ad y),\quad x,y\in \f G$$ where $\tr$ denotes the trace of a linear operator, and $\ad x$ is the image of $x$ under the adjoint representation of $\f G$ (cf. also Adjoint representation of a Lie group), i.e. the linear operator on the vector space $\f G$ defined by the rule $z\mapsto [z,x]$, where $[\;,\;]$ is the commutation operator in the Lie algebra $\f G$. The Killing form is symmetric. The operators $\ad x$, $x\in \f G$, are skew-symmetric with respect to the Killing form, that is,

$$B([x,y],z) = B(x,[y,z])\quad \textrm{ for all } x,y,z\in \f G.$$ If $\f G_0$ is an ideal of $\f G$, then the restriction of the Killing form to $\f G_0$ is the same as the Killing form of $\f G_0$. Each commutative ideal $\f G_0$ is contained in the kernel of the Killing form. If the Killing form is non-degenerate, then the algebra $\f G$ is semi-simple (cf. Lie algebra, semi-simple).

Suppose that the characteristic of the field $k$ is 0. Then the radical of $\f G$ is the same as the orthocomplement with respect to the Killing form of the derived subalgebra $\f G' = [\f G,\f G]$. The algebra $\f G$ is solvable (cf. Lie algebra, solvable) if and only if $\f G\perp \f G'$, i.e. when $B([x,y],z) = 0$ for all $x,y,z\in \f G$ (Cartan's solvability criterion). If $\f G$ is nilpotent (cf. Lie algebra, nilpotent), then $B(x,y) = 0$ for all $x,y\in\f G$. The algebra $\f G$ is semi-simple if and only if the Killing form is non-degenerate (Cartan's semi-simplicity criterion).

Every complex semi-simple Lie algebra contains a real form $\Gamma$ (the compact Weyl form, see Complexification of a Lie algebra) on which the Killing form is negative definite.

#### Comments

The Killing form is a key tool in the Killing–Cartan classification of semi-simple Lie algebras over fields $k$ of characteristic 0. If $\textrm{char}\; k \ne 0$, the Killing form on a semi-simple Lie algebra may be degenerate.

The Killing form is also called the Cartan–Killing form.

Let $X_1,\dots,X_n$ be a basis for the Lie algebra $L_1$, and let the corresponding structure constants be $\def\g{\gamma}\g_{ij}^k$, so that $[X_i,X_j] = \g_{ij}^k X_k$ (summation convention). Then in terms of these structure constants the Killing form is given by

$$B(X_a,X_b) = g_{ab} = \g_{ac}^d\g_{bd}^c$$ The metric (tensor) $g_{ab}$ is called the Cartan metric, especially in the theoretical physics literature. Using $g_{ab}$ one can lower indices (cf. Tensor on a vector space) to obtain "structure constants" $\g_{abc} = g_{da} \g_{bc}^d$ which are completely anti-symmetric in their indices. (A direct consequence of the Jacobi identity and equivalent to the anti-symmetry of the operator $\ad y$ with respect to $B(x,z)$; cf. above.)

How to Cite This Entry:
Killing form. Encyclopedia of Mathematics. URL: http://encyclopediaofmath.org/index.php?title=Killing_form&oldid=42303
This article was adapted from an original article by D.P. Zhelobenko (originator), which appeared in Encyclopedia of Mathematics - ISBN 1402006098. See original article