TOPICS
Search

Killing Form


The Killing form is a symmetric bilinear form on a finite-dimensional Lie algebra g defined by

 B(X,Y)=Tr(ad(X)ad(Y))
(1)

in the adjoint representation, where ad(X) is the adjoint representation of X. The Killing form is adjoint-invariant in the sense that

 B(ad(X)Y,Z)=-B(Y,ad(X)Z).
(2)

When g is a semisimple Lie algebra, the Killing form is a nondegenerate bilinear form.

For example, the special linear Lie algebra sl_2(C) has three basis vectors {X,Y,H}, where [X,Y]=2H:

X=[ 0  1;  1  0]
(3)
Y=[ 0  -1;  1  0]
(4)
H=[ 1  0;  0  -1].
(5)

The other brackets are given by [X,H]=2Y and [Y,H]=2X. In the adjoint representation, with the ordered basis {X,Y,H}, these elements are represented by

ad(X)=[0  0 0;  0 0 2;  0 2 0]
(6)
ad(Y)=[0  0 2;  0 0 0; -2 0 0]
(7)
ad(H)=[0 -2 0; -2 0 0;  0 0 0],
(8)

and so B(u,v)=u^TBv where

 B=[8  0 0; 0 -8 0; 0  0 8].
(9)

See also

Cartan Matrix, Inner Product, Killing's Equation, Killing Vectors, Lie Algebra, Matrix Signature, Semisimple Lie Algebra, Trace Form, Weyl Group

Portions of this entry contributed by Todd Rowland

Explore with Wolfram|Alpha

References

Schafer, R. D. An Introduction to Nonassociative Algebras. New York: Dover, pp. 23-26, 1996.

Referenced on Wolfram|Alpha

Killing Form

Cite this as:

Weisstein, Eric W., with contributions by Todd Rowland. "Killing Form." From MathWorld--A Wolfram Resource. https://mathworld.wolfram.com/KillingForm.html

Subject classifications