Killing form
Template:Short description Template:Lie groups
In mathematics, the Killing form, named after Wilhelm Killing, is a symmetric bilinear form that plays a basic role in the theories of Lie groups and Lie algebras. Cartan's criteria (criterion of solvability and criterion of semisimplicity) show that Killing form has a close relationship to the semisimplicity of the Lie algebras.Template:Sfn
History and nameEdit
The Killing form was essentially introduced into Lie algebra theory by Template:Harvs in his thesis. In a historical survey of Lie theory, Template:Harvtxt has described how the term "Killing form" first occurred in 1951 during one of his own reports for the Séminaire Bourbaki; it arose as a misnomer, since the form had previously been used by Lie theorists, without a name attached.<ref name=Borelp5>Template:Harvnb</ref> Some other authors now employ the term "Cartan-Killing form".Template:Citation needed At the end of the 19th century, Killing had noted that the coefficients of the characteristic equation of a regular semisimple element of a Lie algebra are invariant under the adjoint group, from which it follows that the Killing form (i.e. the degree 2 coefficient) is invariant, but he did not make much use of the fact. A basic result that Cartan made use of was Cartan's criterion, which states that the Killing form is non-degenerate if and only if the Lie algebra is a direct sum of simple Lie algebras.<ref name=Borelp5/>
DefinitionEdit
Consider a Lie algebra <math>\mathfrak g</math> over a field Template:Math. Every element Template:Math of <math>\mathfrak g </math> defines the adjoint endomorphism Template:Math (also written as Template:Math) of <math>\mathfrak g</math> with the help of the Lie bracket, as
- <math>\operatorname{ad}(x)(y) = [x, y].</math>
Now, supposing <math>\mathfrak g</math> is of finite dimension, the trace of the composition of two such endomorphisms defines a symmetric bilinear form
- <math>B(x, y) = \operatorname{trace}(\operatorname{ad}(x) \circ \operatorname{ad}(y)),</math>
with values in Template:Math, the Killing form on <math>\mathfrak g</math>.
PropertiesEdit
The following properties follow as theorems from the above definition.
- The Killing form Template:Math is bilinear and symmetric.
- The Killing form is an invariant form, as are all other forms obtained from Casimir operators. The derivation of Casimir operators vanishes; for the Killing form, this vanishing can be written as
- <math>B([x, y], z) = B(x, [y, z])</math>
- where [ , ] is the Lie bracket.
- If <math>\mathfrak g</math> is a complex simple Lie algebra then any invariant symmetric bilinear form on <math>\mathfrak g</math> is a scalar multiple of the Killing form. This is no longer true if <math>\mathfrak g</math> is simple but not complex; key concept: absolutely simple Lie algebra.
- The Killing form is also invariant under automorphisms Template:Math of the algebra <math>\mathfrak g</math>, that is,
- <math>B(s(x), s(y)) = B(x, y)</math>
- for Template:Math in <math>\mathrm{Aut}(\mathfrak g)</math>.
- The Cartan criterion states that a Lie algebra is semisimple if and only if the Killing form is non-degenerate.
- The Killing form of a nilpotent Lie algebra is identically zero.
- If Template:Math are two ideals in a Lie algebra <math>\mathfrak g</math> with zero intersection, then Template:Math and Template:Math are orthogonal subspaces with respect to the Killing form.
- The orthogonal complement with respect to Template:Math of an ideal is again an ideal.<ref>Template:Fulton-Harris See page 207.</ref>
- If a given Lie algebra <math>\mathfrak g</math> is a direct sum of its ideals Template:Math, then the Killing form of <math>\mathfrak g</math> is the direct sum of the Killing forms of the individual summands.
Matrix elementsEdit
Given a basis Template:Math of the Lie algebra <math>\mathfrak g</math>, the matrix elements of the Killing form are given by
- <math>B_{ij}= \mathrm{trace}(\mathrm{ad}(e_i) \circ \mathrm{ad}(e_j)).</math>
Here
- <math>\left(\textrm{ad}(e_i) \circ \textrm{ad}(e_j)\right)(e_k)= [e_i, [e_j, e_k]] = [e_i, {c_{jk}}^{m}e_m] = {c_{im}}^{n} {c_{jk}}^{m} e_n</math>
in Einstein summation notation, where the Template:Math are the structure coefficients of the Lie algebra. The index Template:Math functions as column index and the index Template:Math as row index in the matrix Template:Math. Taking the trace amounts to putting Template:Math and summing, and so we can write
- <math>B_{ij} = {c_{im}}^{n} {c_{jn}}^{m}</math>
The Killing form is the simplest 2-tensor that can be formed from the structure constants. The form itself is then <math>B=B_{ij} e^i \otimes e^j.</math>
In the above indexed definition, we are careful to distinguish upper and lower indices (co- and contra-variant indices). This is because, in many cases, the Killing form can be used as a metric tensor on a manifold, in which case the distinction becomes an important one for the transformation properties of tensors. When the Lie algebra is semisimple over a zero-characteristic field, its Killing form is nondegenerate, and hence can be used as a metric tensor to raise and lower indexes. In this case, it is always possible to choose a basis for <math>\mathfrak g</math> such that the structure constants with all upper indices are completely antisymmetric.
The Killing form for some Lie algebras <math>\mathfrak g</math> are (for Template:Math in <math>\mathfrak g</math> viewed in their fundamental matrix representation):Template:Citation needed
| <math>\mathfrak g</math> | <math>B(X,Y)</math> | Classification | Dual coxeter number |
|---|---|---|---|
| <math>\mathfrak{gl}(n, \mathbb{R})</math> | <math>2n \text{tr}(XY) - 2 \text{tr}(X)\text{tr}(Y)</math> | - | - |
| <math>\mathfrak{sl}(n, \mathbb{R}), n \geq 2</math> | <math>2n \text{tr}(XY)</math> | <math>A_{n-1}</math> | <math>n</math> |
| <math>\mathfrak{su}(n), n \geq 2</math> | <math>2n \text{tr}(XY)</math> | <math>A_{n-1}</math> | <math>n</math> |
| <math>\mathfrak{so}(n), n \geq 2</math> | <math>(n-2) \text{tr}(XY)</math> | <math>B_m, n = 2m+1</math> for <math>n</math> odd. <math>D_m, n = 2m</math> for <math>n</math> even. | <math>n-2</math> |
| <math>\mathfrak{so}(n, \mathbb{C}), n \geq 2</math> | <math>(n-2) \text{tr}(XY)</math> | <math>B_m, n = 2m+1</math> for <math>n</math> odd. <math>D_m, n = 2m</math> for <math>n</math> even. | <math>n-2</math> |
| <math>\mathfrak{sp}(2n, \mathbb{R}), n \geq 1</math> | <math>2(n+1) \text{tr}(XY)</math> | <math>C_n</math> | <math>n+1</math> |
| <math>\mathfrak{sp}(n), n \geq 1</math> | <math>2(n+1) \text{tr}(XY)</math> | <math>C_n</math> | <math>n+1</math> |
The table shows that the Dynkin index for the adjoint representation is equal to twice the dual Coxeter number.
Connection with real formsEdit
{{#invoke:Labelled list hatnote|labelledList|Main article|Main articles|Main page|Main pages}}
Suppose that <math>\mathfrak g</math> is a semisimple Lie algebra over the field of real numbers <math>\mathbb R</math>. By Cartan's criterion, the Killing form is nondegenerate, and can be diagonalized in a suitable basis with the diagonal entries Template:Math. By Sylvester's law of inertia, the number of positive entries is an invariant of the bilinear form, i.e. it does not depend on the choice of the diagonalizing basis, and is called the index of the Lie algebra <math>\mathfrak g</math>. This is a number between Template:Math and the dimension of <math>\mathfrak g</math> which is an important invariant of the real Lie algebra. In particular, a real Lie algebra <math>\mathfrak g</math> is called compact if the Killing form is negative definite (or negative semidefinite if the Lie algebra is not semisimple). Note that this is one of two inequivalent definitions commonly used for compactness of a Lie algebra; the other states that a Lie algebra is compact if it corresponds to a compact Lie group. The definition of compactness in terms of negative definiteness of the Killing form is more restrictive, since using this definition it can be shown that under the Lie correspondence, compact Lie algebras correspond to compact semisimple Lie groups.
If <math>\mathfrak g_{\mathbb C}</math> is a semisimple Lie algebra over the complex numbers, then there are several non-isomorphic real Lie algebras whose complexification is <math>\mathfrak g_{\mathbb C}</math>, which are called its real forms. It turns out that every complex semisimple Lie algebra admits a unique (up to isomorphism) compact real form <math>\mathfrak g</math>. The real forms of a given complex semisimple Lie algebra are frequently labeled by the positive index of inertia of their Killing form.
For example, the complex special linear algebra <math>\mathfrak {sl}(2, \mathbb C)</math> has two real forms, the real special linear algebra, denoted <math>\mathfrak {sl}(2, \mathbb R)</math>, and the special unitary algebra, denoted <math>\mathfrak {su}(2)</math>. The first one is noncompact, the so-called split real form, and its Killing form has signature Template:Math. The second one is the compact real form and its Killing form is negative definite, i.e. has signature Template:Math. The corresponding Lie groups are the noncompact group <math>\mathrm {SL}(2, \mathbb R)</math> of Template:Math real matrices with the unit determinant and the special unitary group <math>\mathrm {SU}(2)</math>, which is compact.
Trace formsEdit
Let <math>\mathfrak{g}</math> be a finite-dimensional Lie algebra over the field <math>K</math>, and <math>\rho:\mathfrak{g}\rightarrow \text{End}(V)</math> be a Lie algebra representation. Let <math>\text{Tr}_{V}:\text{End}(V)\rightarrow K</math> be the trace functional on <math>V</math>. Then we can define the trace form for the representation <math>\rho</math> as
- <math>\text{Tr}_\rho:\mathfrak{g}\times\mathfrak{g}\rightarrow K,</math>
- <math>\text{Tr}_\rho(X,Y) = \text{Tr}_V(\rho(X)\rho(Y)).</math>
Then the Killing form is the special case that the representation is the adjoint representation, <math>\text{Tr}_\text{ad} = B</math>.
It is easy to show that this is symmetric, bilinear and invariant for any representation <math>\rho</math>.
If furthermore <math>\mathfrak{g}</math> is simple and <math>\rho</math> is irreducible, then it can be shown <math>\text{Tr}_\rho = I(\rho)B</math> where <math>I(\rho)</math> is the index of the representation.
See alsoEdit
CitationsEdit