Василиса ЯВИКС - интеллектуальная поисковая система. Завтра уже здесь!

		Василиса▶ Я жду вашего обращения. Что Вы хотите узнать?

Killing form - Wikipedia Killing formFrom Wikipedia, the free encyclopedia

Group theory → Lie groups
Lie groups

Classical groups

General linear GL( n )
Special linear SL( n )
Orthogonal O( n )
Special orthogonal SO( n )
Unitary U( n )
Special unitary SU( n )
Symplectic Sp( n )

Simple Lie groups

Classical
List of simple Lie groups
A_n B_n C_n D_n
Exceptional
G₂ F₄ E₆ E₇ E₈

Other Lie groups

Lie algebras

Exponential map
Adjoint representation
- ( group
- algebra )
- Killing form
- Index
Lie point symmetry
Simple Lie algebra

Semisimple Lie algebra

Homogeneous spaces

Representation theory

Lie groups in physics

Scientists

Table of 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 .

ContentsHistory and name[ edit ]

The Killing form was essentially introduced into Lie algebra theory by Élie Cartan () in his thesis. The name "Killing form" first appeared in a paper of Armand Borel in 1951, but he stated in 2001 that he doesn't remember why he chose it. Borel admits that the name seems to be a misnomer , and that it would be more correct to call it the "Cartan form" . Wilhelm Killing had noted that the coefficients of the characteristic equation of a regular semisimple element of a Lie algebra is 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 this fact. A basic result 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 .

Definition[ edit ]

Consider a Lie algebra $g$ over a field $K$ . Every element $x$ of $g$ defines the adjoint endomorphism $ad(x)$ (also written as $ad x$ ) of $g$ with the help of the Lie bracket, as

⁡

\operatorname {ad} (x)(y)=[x,y].

Now, supposing $g$ is of finite dimension, the trace of the composition of two such endomorphisms defines a symmetric bilinear form

⁡⁡⁡

B(x,y)=\operatorname {trace} (\operatorname {ad} (x)\operatorname {ad} (y)),

with values in $K$ , the Killing form on $g$ .

Properties[ edit ]The Killing form B is bilinear and symmetric.The Killing form is an invariant form, in the sense that it has the 'associativity' property

B([x, y], z) = B(x, [y, z]),

where [ , ] is the Lie bracket .If g is a simple Lie algebra then any invariant symmetric bilinear form on g is a scalar multiple of the Killing form.The Killing form is also invariant under automorphisms s of the algebra g, that is,

B(s(x), s(y)) = B(x, y)

for s in Aut(g).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 I, J are two ideals in a Lie algebra g with zero intersection, then I and J are orthogonal subspaces with respect to the Killing form.The orthogonal complement with respect to B of an ideal is again an ideal.If a given Lie algebra g is a direct sum of its ideals I1,...,In, then the Killing form of g is the direct sum of the Killing forms of the individual summands.Matrix elements[ edit ]

Given a basis $e i$ of the Lie algebra $g$ , the matrix elements of the Killing form are given by

∘

B^{ij}= \mathrm{tr} (\mathrm{ad}(e^i)\circ \mathrm{ad}(e^j)) / I_{ad}

where $I ad$ is the Dynkin index of the adjoint representation of $g$ . Here

∘

\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

in Einstein summation notation , where the $c ij k$ are the structure coefficients of the Lie algebra. The index $k$ functions as column index and the index $n$ as row index in the matrix $ad(e i)ad(e j)$ . Taking the trace amounts to putting $k = n$ and summing, and so we can write

B^{ij} = \frac{1}{I_{{ad}}} {c^{im}}_{n} {c^{jn}}_{m}

The Killing form is the simplest 2- tensor that can be formed from the structure constants.

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 $g$ such that the structure constants with all upper indices are completely antisymmetric .

The Killing form for some Lie algebras $g$ are (for $X, Y$ in $g$ viewed in their fundamental n by n (2n by 2n) representations):

$g$	$B (X, Y)$
$gl (n, R)$	$2 n tr(XY) - 2 tr(X)tr(Y)$
$sl (n, R)$	$2 n tr(XY)$
$su (n)$	$2 n tr(XY)$
$so (n, R)$	$(n -2) tr(XY)$
$so (n)$	$(n -2) tr(XY)$
$sp (2n, R)$	$(2 n +2) tr(XY)$
$sp (2n, C)$	$(2 n +2) tr(XY)$

Connection with real forms[ edit ]Main article: Real form (Lie theory)

Suppose that ${\mathfrak {g}}$ is a semisimple Lie algebra over the field of real numbers $\mathbb {R}$ . By Cartan's criterion , the Killing form is nondegenerate, and can be diagonalized in a suitable basis with the diagonal entries $\pm1$ . 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 ${\mathfrak {g}}$ . This is a number between $0$ and the dimension of ${\mathfrak {g}}$ which is an important invariant of the real Lie algebra. In particular, a real Lie algebra ${\mathfrak {g}}$ 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 Lie groups .

If ${\mathfrak {g}}_{\mathbb {C} }$ is a semisimple Lie algebra over the complex numbers, then there are several non-isomorphic real Lie algebras whose complexification is ${\mathfrak {g}}_{\mathbb {C} }$ , which are called its real forms . It turns out that every complex semisimple Lie algebra admits a unique (up to isomorphism) compact real form ${\mathfrak {g}}$ . 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 ${\mathfrak {sl}}(2,\mathbb {C} )$ has two real forms, the real special linear algebra, denoted ${\mathfrak {sl}}(2,\mathbb {R} )$ , and the special unitary algebra , denoted ${\mathfrak {su}}(2)$ . The first one is noncompact, the so-called split real form , and its Killing form has signature $(2, 1)$ . The second one is the compact real form and its Killing form is negative definite, i.e. has signature $(0, 3)$ . The corresponding Lie groups are the noncompact group $\mathrm {SL} (2,\mathbb {R} )$ of $2 \times 2$ real matrices with the unit determinant and the special unitary group $\mathrm {SU} (2)$ , which is compact.

See also[ edit ] Casimir invariant Notes[ edit ]^ Borel, p.5 Fulton, William ; Harris, Joe (1991). Representation theory. A first course . Graduate Texts in Mathematics , Readings in Mathematics. 129. New York: Springer-Verlag. doi : 10.1007/978-1-4612-0979-9 . ISBN 978-0-387-97495-8 . MR 1153249 . OCLC 246650103 . See page 207.References[ edit ]Borel, Armand (2001). Essays in the history of Lie groups and algebraic groups. History of Mathematics, Vol 21. American Mathematical Society and the London Mathematical Society. Daniel Bump , Lie Groups (2004), Graduate Texts In Mathematics, 225, Springer-Verlag. ISBN 978-0-387-21154-1 doi : 10.1007/978-1-4614-8024-2 Cartan, Élie (1894), Sur la structure des groupes de transformations finis et continus , Thesis, NonyJurgen Fuchs, Affine Lie Algebras and Quantum Groups, (1992) Cambridge University Press. ISBN 0-521-48412-X Fulton, William ; Harris, Joe (1991). Representation theory. A first course . Graduate Texts in Mathematics , Readings in Mathematics. 129. New York: Springer-Verlag. doi : 10.1007/978-1-4612-0979-9 . ISBN 978-0-387-97495-8 . MR 1153249 . OCLC 246650103 . Hazewinkel, Michiel , ed. (2001) [1994], "Killing form" , Encyclopedia of Mathematics , Springer Science+Business Media B.V. / Kluwer Academic Publishers, ISBN 978-1-55608-010-4 Retrieved from " https://en.wikipedia.org/w/index.php?title=Killing_form&oldid=885254573 " Categories : Lie groups Lie algebras Hidden categories: CS1: long volume value Navigation menuPersonal toolsNot logged in Talk Contributions Create account Log in Namespaces Article Talk VariantsViews Read Edit View history MoreSearch Navigation Main page Contents Featured content Current events Random article Donate to Wikipedia Wikipedia store Interaction Help About Wikipedia Community portal Recent changes Contact page Tools What links here Related changes Upload file Special pages Permanent link Page information Wikidata item Cite this page In other projects Wikiversity Print/export Create a book Download as PDF Printable version Languages Deutsch Français 한국어 Italiano עברית Nederlands 日本語 Polski Русский Türkçe Українська 粵語中文 Edit links This page was last edited on 26 February 2019, at 22:49 (UTC).Text is available under the Creative Commons Attribution-ShareAlike License ; additional terms may apply. By using this site, you agree to the Terms of Use and Privacy Policy . Wikipedia® is a registered trademark of the Wikimedia Foundation, Inc. , a non-profit organization. Privacy policy About Wikipedia Disclaimers Contact Wikipedia Developers Cookie statement Mobile view

Наши контакты/Карта ссылок