Êtes-vous un étudiant de l'EPFL à la recherche d'un projet de semestre?
Travaillez avec nous sur des projets en science des données et en visualisation, et déployez votre projet sous forme d'application sur Graph Search.
Concept
Forme de Killing
Résumé
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.
The Killing form was essentially introduced into Lie algebra theory by in his thesis. In a historical survey of Lie theory, 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. Some other authors now employ the term "Cartan-Killing form". 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.
Consider a Lie algebra over a field K. Every element x of defines the adjoint endomorphism ad(x) (also written as adx) of with the help of the Lie bracket, as
Now, supposing is of finite dimension, the trace of the composition of two such endomorphisms defines a symmetric bilinear form
with values in K, the Killing form on .
The following properties follow as theorems from the above definition.
The Killing form B 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
where [ , ] is the Lie bracket.
If is a simple Lie algebra then any invariant symmetric bilinear form on is a scalar multiple of the Killing form.
Source officielle
À propos de ce résultat
Cette page est générée automatiquement et peut contenir des informations qui ne sont pas correctes, complètes, à jour ou pertinentes par rapport à votre recherche. Il en va de même pour toutes les autres pages de ce site. Veillez à vérifier les informations auprès des sources officielles de l'EPFL.
Concepts associés (12)
Semisimple Lie algebra
In mathematics, a Lie algebra is semisimple if it is a direct sum of simple Lie algebras. (A simple Lie algebra is a non-abelian Lie algebra without any non-zero proper ideals). Throughout the article, unless otherwise stated, a Lie algebra is a finite-dimensional Lie algebra over a field of characteristic 0. For such a Lie algebra , if nonzero, the following conditions are equivalent: is semisimple; the Killing form, κ(x,y) = tr(ad(x)ad(y)), is non-degenerate; has no non-zero abelian ideals; has no non-zero solvable ideals; the radical (maximal solvable ideal) of is zero.
Wilhelm Killing
Wilhelm Karl Joseph Killing ( – ) est un mathématicien allemand connu pour ses nombreuses contributions aux théories des algèbres de Lie et des groupes de Lie et à la géométrie non euclidienne. Le père de Killing fut d'abord greffier avant d'exercer les charges de bourgmestre, ce qui amena la famille à déménager à de nombreuses reprises. Killing fut d'abord élève au lycée de Brilon, où il reçut une formation poussée en lettres classiques, tout en découvrant par un de ses professeurs sa passion pour la géometrie.
Structure constants
In mathematics, the structure constants or structure coefficients of an algebra over a field are the coefficients of the basis expansion (into linear combination of basis vectors) of the products of basis vectors. Because the product operation in the algebra is bilinear, by linearity knowing the product of basis vectors allows to compute the product of any elements (just like a matrix allows to compute the action of the linear operator on any vector by providing the action of the operator on basis vectors).