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.
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.
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 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.
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).
Presentation of Wightman's axiomatic framework to QFT as well as to the necessary mathematical objects to their understanding (Hilbert analysis, distributions, group representations,...).Proofs of
Explore les symétries conformales dans les espaces euclidien et AdS, les isométries, la métrique induite, les coordonnées de Poincaré et la structure des limites.
We consider a natural subclass of harmonic maps from a surface into G/T, namely cyclic primitive maps. Here G is any simple real Lie group (not necessarily compact), T is a Cartan subgroup and both are chosen so that there is a Coxeter automorphism on G(C) ...
Elsevier2017
, ,
Electronic nearsightedness is one of the fundamental principles that governs the behavior of condensed matter and supports its description in terms of local entities such as chemical bonds. Locality also underlies the tremendous success of machine-learning ...
2021
,
Let X be a finite set and let k be a commutative ring. We consider the k-algebra of the monoid of all relations on X, modulo the ideal generated by the relations factorizing through a set of cardinality strictly smaller than Card(X), called inessential rel ...