Real form (Lie theory)

Lie groups
Classical groups General linear group GL(n) Special linear group SL(n) Orthogonal group O(n) Special orthogonal group SO(n) Unitary group U(n) Special unitary group SU(n) Symplectic group Sp(n)
Simple Lie groups List of simple Lie groups Infinite simple Lie groups: An, Bn, Cn, Dn, Exceptional simple Lie groups: G2 F4 E6 E7 E8
Other Lie groups Circle group Lorentz group Poincaré group Conformal group Diffeomorphism group Loop group
Lie algebras Exponential map Adjoint representation of a Lie group Adjoint representation of a Lie algebra Killing form Lie point symmetry
Structure of semi-simple Lie groups Dynkin diagrams Cartan subalgebra Root system Real form Complexification Split Lie algebra Compact Lie algebra
Representation theory Representation of a Lie group Representation of a Lie algebra
Lie groups in Physics Particle physics and representation theory Representation theory of the Lorentz group Representation theory of the Poincaré group Representation theory of the Galilean group
v · mathematics, the notion of a real form relates objects defined over the field of real and complex numbers. A real Lie algebra g0 is called a real form of a complex Lie algebra g if g is the complexification of g0: $\mathfrak{g}\simeq\mathfrak{g}_0\otimes_{\mathbb{R}}\mathbb{C}.$ The notion of a real form can also be defined for complex Lie groups. Real forms of complex semisimple Lie groups and Lie algebras have been completely classified by Élie Cartan. Real forms for Lie groups and algebraic groups Using the Lie correspondence between Lie groups and Lie algebras, the notion of a real form can be defined for Lie groups. In the case of linear algebraic groups, the notions of complexification and real form have a natural description in the language of algebraic geometry. Classification Main article: List of simple Lie groups Just as complex semisimple Lie algebras are classified by Dynkin diagrams, the real forms of a semisimple Lie algebra are classified by Satake diagrams, which are obtained from the Dynkin diagram of the complex form by labeling some vertices black (filled), and connecting some other vertices in pairs by arrows, according to certain rules. It is a basic fact in the structure theory of complex semisimple Lie algebras that every such algebra has two special real forms: one is the compact real form and corresponds to a compact Lie group under the Lie correspondence (its Satake diagram has all vertices blackened), and the other is the split real form and corresponds to a Lie group that is as far as possible from being compact (its Satake diagram has no vertices blackened and no arrows). In the case of the complex special linear group SL(n,C), the compact real form is the special unitary group SU(n) and the split real form is the real special linear group SL(n,R). The classification of real forms of semisimple Lie algebras was accomplished by Élie Cartan in the context of Riemannian symmetric spaces. In general, there may be more than two real forms. Suppose that g0 is a semisimple Lie algebra over the field of real numbers. By Cartan's criterion, the Killing form is nondegenerate, and can be diagonalized in a suitable basis with the diagonal entries +1 or -1. By Sylvester's law of inertia, the number of positive entries, or the positive index of intertia, is an invariant of the bilinear form, i.e. it does not depend on the choice of the diagonalizing basis. This is a number between 0 and the dimension of g which is an important invariant of the real Lie algebra, called its index. Split real form See also: Split Lie algebra A real form g0 of a complex semisimple Lie algebra g is said to be split, or normal, if in each Cartan decomposition g0 = k0 ⊕ p0, the space p0 contains a maximal Abelian subalgebra of g0, i.e. its Cartan subalgebra. Élie Cartan proved that every complex semisimple Lie algebra g has a split real form, which is unique up to isomorphism.[1] It has maximal index among all real forms. The split form corresponds to the Satake diagram with no vertices blackened and no arrows. Compact real form See also: Compact Lie algebra A real Lie algebra g0 is called compact if the Killing form is negative definite, i.e. the index of g0 is zero. In this case g0 = k0 is a compact Lie algebra. It is known that under the Lie correspondence, compact Lie algebras correspond to compact Lie groups. The compact form corresponds to the Satake diagram with all vertices blackened. Construction of the compact real form In general, the construction of the compact real form uses structure theory of semisimple Lie algebras. For classical Lie algebras there is a more explicit construction. Let g0 be a real Lie algebra of matrices over R that is closed under the transpose map, $X\to {X}^{t}.$ Then g0 decomposes into the direct sum of its skew-symmetric part k0 and its symmetric part p0, this is the Cartan decomposition: $\mathfrak{g}_0=\mathfrak{k}_0\oplus\mathfrak{p}_0.$ The complexification g of g0 decomposes into the direct sum of g0 and ig0. The real vector space of matrices $\mathfrak{u}_0=\mathfrak{k}_0\oplus i\mathfrak{p}_0$ is a subspace of the complex Lie algebra g that is closed under the commutators and consists of skew-hermitian matrices. It follows that u0 is a real Lie subalgebra of g, that its Killing form is negative definite (making it a compact Lie algebra), and that the complexification of u0 is g. Therefore, u0 is a compact form of g. References ^ Helgason 1978, p. 426 Helgason, Sigurdur (1978), Differential geometry, Lie groups and symmetric spaces, Academic Press, ISBN 0-12-338460-5  Knapp, Anthony (2004), Lie Groups. Beyond an Introduction, Progress in Mathematics, 140, Birkhaüser, ISBN 0-8176-4259-5  Wikimedia Foundation. 2010. Игры ⚽ Нужна курсовая? Compact cardinal Compact state Look at other dictionaries: Lie group — Lie groups …   Wikipedia Lie algebra representation — Lie groups …   Wikipedia List of Lie groups topics — This is a list of Lie group topics, by Wikipedia page. Contents 1 Examples 2 Lie algebras 3 Foundational results 4 Semisimple theory …   Wikipedia Lie sphere geometry — is a geometrical theory of planar or spatial geometry in which the fundamental concept is the circle or sphere. It was introduced by Sophus Lie in the nineteenth century. [The definitive modern textbook on Lie sphere geometry is Harvnb|Cecil|1992 …   Wikipedia Compact Lie algebra — Lie groups …   Wikipedia Lie algebra — In mathematics, a Lie algebra is an algebraic structure whose main use is in studying geometric objects such as Lie groups and differentiable manifolds. Lie algebras were introduced to study the concept of infinitesimal transformations. The term… …   Wikipedia Simple Lie group — Lie groups …   Wikipedia Theory of Forms — Plato s Theory of Forms [The name of this aspect of Plato s thought is not modern and has not been extracted from certain dialogues by modern scholars. The term was used at least as early as Diogenes Laertius, who called it (Plato s) Theory of… …   Wikipedia Lie derivative — In mathematics, the Lie derivative, named after Sophus Lie by Władysław Ślebodziński, evaluates the change of one vector field along the flow of another vector field.The Lie derivative is a derivation on the algebra of tensor fields over a… …   Wikipedia Real number — For the real numbers used in descriptive set theory, see Baire space (set theory). For the computing datatype, see Floating point number. A symbol of the set of real numbers …   Wikipedia 18+ © Academic, 2000-2024 Contact us: Technical Support, Advertising Dictionaries export, created on PHP, Joomla, Drupal, WordPress, MODx. Mark and share Search through all dictionaries Translate… Search Internet Share the article and excerpts Direct link … Do a right-click on the link above and select “Copy Link”