Complexification (Lie group)
   HOME

TheInfoList



OR:

In
mathematics Mathematics is an area of knowledge that includes the topics of numbers, formulas and related structures, shapes and the spaces in which they are contained, and quantities and their changes. These topics are represented in modern mathematics ...
, the complexification or universal complexification of a real Lie group is given by a continuous homomorphism of the group into a
complex Lie group In geometry, a complex Lie group is a Lie group over the complex numbers; i.e., it is a complex-analytic manifold that is also a group in such a way G \times G \to G, (x, y) \mapsto x y^ is holomorphic. Basic examples are \operatorname_n(\mat ...
with the
universal property In mathematics, more specifically in category theory, a universal property is a property that characterizes up to an isomorphism the result of some constructions. Thus, universal properties can be used for defining some objects independently fro ...
that every continuous homomorphism of the original group into another complex Lie group extends compatibly to a
complex analytic Complex analysis, traditionally known as the theory of functions of a complex variable, is the branch of mathematical analysis that investigates functions of complex numbers. It is helpful in many branches of mathematics, including algebrai ...
homomorphism between the complex Lie groups. The complexification, which always exists, is unique up to unique isomorphism. Its
Lie algebra In mathematics, a Lie algebra (pronounced ) is a vector space \mathfrak g together with an Binary operation, operation called the Lie bracket, an Alternating multilinear map, alternating bilinear map \mathfrak g \times \mathfrak g \rightarrow ...
is a quotient of the
complexification In mathematics, the complexification of a vector space over the field of real numbers (a "real vector space") yields a vector space over the complex number field, obtained by formally extending the scaling of vectors by real numbers to include t ...
of the Lie algebra of the original group. They are isomorphic if the original group has a quotient by a discrete normal subgroup which is linear. For
compact Lie group In mathematics, a compact (topological) group is a topological group whose topology realizes it as a compact topological space (when an element of the group is operated on, the result is also within the group). Compact groups are a natural gene ...
s, the complexification, sometimes called the Chevalley complexification after
Claude Chevalley Claude Chevalley (; 11 February 1909 – 28 June 1984) was a French mathematician who made important contributions to number theory, algebraic geometry, class field theory, finite group theory and the theory of algebraic groups. He was a foundin ...
, can be defined as the group of complex characters of the
Hopf algebra Hopf is a German surname. Notable people with the surname include: *Eberhard Hopf (1902–1983), Austrian mathematician *Hans Hopf (1916–1993), German tenor *Heinz Hopf (1894–1971), German mathematician *Heinz Hopf (actor) (1934–2001), Swedis ...
of
representative function In mathematics, a matrix coefficient (or matrix element) is a function on a group of a special form, which depends on a linear representation of the group and additional data. Precisely, it is a function on a compact topological group ''G'' obtaine ...
s, i.e. the
matrix coefficient In mathematics, a matrix coefficient (or matrix element) is a function on a group of a special form, which depends on a linear representation of the group and additional data. Precisely, it is a function on a compact topological group ''G'' obtaine ...
s of finite-dimensional representations of the group. In any finite-dimensional faithful unitary representation of the compact group it can be realized concretely as a closed subgroup of the complex
general linear group In mathematics, the general linear group of degree ''n'' is the set of invertible matrices, together with the operation of ordinary matrix multiplication. This forms a group, because the product of two invertible matrices is again invertible, ...
. It consists of operators with
polar decomposition In mathematics, the polar decomposition of a square real or complex matrix A is a factorization of the form A = U P, where U is an orthogonal matrix and P is a positive semi-definite symmetric matrix (U is a unitary matrix and P is a positive se ...
, where is a unitary operator in the compact group and is a skew-adjoint operator in its Lie algebra. In this case the complexification is a complex algebraic group and its Lie algebra is the complexification of the Lie algebra of the compact Lie group.


Universal complexification


Definition

If is a Lie group, a universal complexification is given by a complex Lie group and a continuous homomorphism with the universal property that, if is an arbitrary continuous homomorphism into a complex Lie group , then there is a unique complex analytic homomorphism such that . Universal complexifications always exist and are unique up to a unique complex analytic isomorphism (preserving inclusion of the original group).


Existence

If is connected with Lie algebra , then its universal covering group is simply connected. Let be the simply connected complex Lie group with Lie algebra , let be the natural homomorphism (the unique morphism such that is the canonical inclusion) and suppose is the universal covering map, so that is the fundamental group of . We have the inclusion , which follows from the fact that the kernel of the adjoint representation of equals its centre, combined with the equality :(C_)_*\circ \Phi_* = \Phi_* \circ (C_k)_* = \Phi_* which holds for any . Denoting by the smallest closed normal Lie subgroup of that contains , we must now also have the inclusion . We define the universal complexification of as :G_=\frac. In particular, if is simply connected, its universal complexification is just . The map is obtained by passing to the quotient. Since is a surjective submersion, smoothness of the map implies smoothness of . For non-connected Lie groups with identity component and component group , the extension : \ \rightarrow G^o \rightarrow G \rightarrow \Gamma \rightarrow \ induces an extension :\ \rightarrow (G^o)_ \rightarrow G_ \rightarrow \Gamma \rightarrow \ and the complex Lie group is a complexification of .


Proof of the universal property

The map indeed possesses the universal property which appears in the above definition of complexification. The proof of this statement naturally follows from considering the following instructive diagram. Here, f\colon G\rightarrow H is an arbitrary smooth homomorphism of Lie groups with a complex Lie group as the codomain. For simplicity, we assume G is connected. To establish the existence of F, we first naturally extend the morphism of Lie algebras f_*\colon \mathfrak g\rightarrow \mathfrak h to the unique morphism \overline f_*\colon \mathfrak g_\rightarrow \mathfrak h of complex Lie algebras. Since \mathbf G_ is simply connected, Lie's second fundamental theorem now provides us with a unique complex analytic morphism \overline F\colon \mathbf G_\rightarrow H between complex Lie groups, such that (\overline F)_*=\overline f_*. We define F\colon G_\rightarrow H as the map induced by \overline F, that is: F(g\,\Phi(\ker \pi)^*)=\overline F(g) for any g\in\mathbf G_. To show well-definedness of this map (i.e. \Phi(\ker\pi)^*\subset \ker \overline F), consider the derivative of the map \overline F\circ \Phi. For any v\in T_e \mathbf G\cong \mathfrak g, we have :(\overline F)_*\Phi_*v=(\overline F)_*(v\otimes 1)=f_*\pi_*v, which (by simple connectedness of \mathbf G) implies \overline F\circ\Phi=f\circ\pi. This equality finally implies \Phi(\ker\pi)\subset \ker \overline F, and since \ker \overline F is a closed normal Lie subgroup of \mathbf G_, we also have \Phi(\ker \pi)^*\subset \ker \overline F. Since \pi_ is a complex analytic surjective submersion, the map F is complex analytic since \overline F is. The desired equality F\circ\varphi=f is imminent. To show uniqueness of F, suppose that F_1,F_2 are two maps with F_1\circ\varphi=F_2\circ\varphi=f. Composing with \pi from the right and differentiating, we get (F_1)_*(\pi_)_*\Phi_*=(F_2)_*(\pi_)_*\Phi_*, and since \Phi_* is the inclusion \mathfrak g\hookrightarrow \mathfrak g_, we get (F_1)_*(\pi_)_*=(F_2)_*(\pi_)_*. But \pi_ is a submersion, so (F_1)_*=(F_2)_*, thus connectedness of G implies F_1=F_2.


Uniqueness

The universal property implies that the universal complexification is unique up to complex analytic isomorphism.


Injectivity

If the original group is linear, so too is the universal complexification and the homomorphism between the two is an inclusion. give an example of a connected real Lie group for which the homomorphism is not injective even at the Lie algebra level: they take the product of by the universal covering group of and quotient out by the discrete cyclic subgroup generated by an irrational rotation in the first factor and a generator of the center in the second.


Basic examples

The following isomorphisms of complexifications of Lie groups with known Lie groups can be constructed directly from the general construction of the complexification. * The complexification of the
special unitary group In mathematics, the special unitary group of degree , denoted , is the Lie group of unitary matrices with determinant 1. The more general unitary matrices may have complex determinants with absolute value 1, rather than real 1 in the special ...
of 2x2 matrices is ::\mathrm(2)_\cong \mathrm(2,\mathbf C). :This follows from the isomorphism of Lie algebras ::\mathfrak(2)_\cong \mathfrak(2,\mathbf C), :together with the fact that \mathrm(2) is simply connected. * The complexification of the
special linear group In mathematics, the special linear group of degree ''n'' over a field ''F'' is the set of matrices with determinant 1, with the group operations of ordinary matrix multiplication and matrix inversion. This is the normal subgroup of the genera ...
of 2x2 matrices is ::\mathrm(2,\mathbf C)_\cong \mathrm(2,\mathbf C)\times \mathrm(2,\mathbf C). :This follows from the isomorphism of Lie algebras ::\mathfrak(2,\mathbf C)_\cong \mathfrak(2,\mathbf C) \oplus \mathfrak(2,\mathbf C), :together with the fact that \mathrm(2,\mathbf C) is simply connected. * The complexification of the
special orthogonal group In mathematics, the orthogonal group in dimension , denoted , is the group of distance-preserving transformations of a Euclidean space of dimension that preserve a fixed point, where the group operation is given by composing transformations. T ...
of 3x3 matrices is ::\mathrm(3)_\cong \frac\cong \mathrm^+(1,3), :where \mathrm^+(1,3) denotes the proper orthochronous
Lorentz group In physics and mathematics, the Lorentz group is the group of all Lorentz transformations of Minkowski spacetime, the classical and quantum setting for all (non-gravitational) physical phenomena. The Lorentz group is named for the Dutch physicis ...
. This follows from the fact that \mathrm(2) is the universal (double) cover of \mathrm(3), hence: ::\mathfrak(3)_\cong \mathfrak(2)_ \cong\mathfrak(2,\mathbf C). :We also use the fact that \mathrm(2,\mathbf C) is the universal (double) cover of \mathrm^+(1,3). * The complexification of the proper orthochronous Lorentz group is ::\mathrm^+(1,3)_\cong \frac. :This follows from the same isomorphism of Lie algebras as in the second example, again using the universal (double) cover of the proper orthochronous Lorentz group. * The complexification of the special orthogonal group of 4x4 matrices is ::\mathrm(4)_\cong \frac. :This follows from the fact that \mathrm(2)\times\mathrm(2) is the universal (double) cover of \mathrm(4), hence \mathfrak(4)\cong \mathfrak(2)\oplus\mathfrak(2) and so \mathfrak(4)_\cong \mathfrak(2,\mathbf C)\oplus\mathfrak(2,\mathbf C). The last two examples show that Lie groups with isomorphic complexifications may not be isomorphic. Furthermore, the complexifications of Lie groups \mathrm(2) and \mathrm(2,\mathbf C) show that complexification is not an idempotent operation, i.e. (G_)_\not\cong G_ (this is also shown by complexifications of \mathrm(3) and \mathrm^+(1,3)).


Chevalley complexification


Hopf algebra of matrix coefficients

If is a compact Lie group, the *-algebra of matrix coefficients of finite-dimensional unitary representations is a uniformly dense *-subalgebra of , the *-algebra of complex-valued continuous functions on . It is naturally a
Hopf algebra Hopf is a German surname. Notable people with the surname include: *Eberhard Hopf (1902–1983), Austrian mathematician *Hans Hopf (1916–1993), German tenor *Heinz Hopf (1894–1971), German mathematician *Heinz Hopf (actor) (1934–2001), Swedis ...
with
comultiplication In mathematics, coalgebras or cogebras are structures that are dual (in the category-theoretic sense of reversing arrows) to unital associative algebras. The axioms of unital associative algebras can be formulated in terms of commutative diagrams ...
given by :\displaystyle The characters of are the *-homomorphisms of into . They can be identified with the point evaluations for in and the comultiplication allows the group structure on to be recovered. The homomorphisms of into also form a group. It is a complex Lie group and can be identified with the complexification of . The *-algebra is generated by the matrix coefficients of any faithful representation of . It follows that defines a faithful complex analytic representation of .


Invariant theory

The original approach of to the complexification of a compact Lie group can be concisely stated within the language of classical
invariant theory Invariant theory is a branch of abstract algebra dealing with actions of groups on algebraic varieties, such as vector spaces, from the point of view of their effect on functions. Classically, the theory dealt with the question of explicit descri ...
, described in . Let be a closed subgroup of the
unitary group In mathematics, the unitary group of degree ''n'', denoted U(''n''), is the group of unitary matrices, with the group operation of matrix multiplication. The unitary group is a subgroup of the general linear group . Hyperorthogonal group is an ...
where is a finite-dimensional complex inner product space. Its Lie algebra consists of all skew-adjoint operators such that lies in for all real . Set with the trivial action of on the second summand. The group acts on , with an element acting as . The commutant (or centralizer algebra) is denoted by . It is generated as a *-algebra by its unitary operators and its commutant is the *-algebra spanned by the operators . The complexification of consists of all operators in such that commutes with and acts trivially on the second summand in . By definition it is a closed subgroup of . The defining relations (as a commutant) show that is an algebraic subgroup. Its intersection with coincides with , since it is ''a priori'' a larger compact group for which the irreducible representations stay irreducible and inequivalent when restricted to . Since is generated by unitaries, an invertible operator lies in if the unitary operator and positive operator in its
polar decomposition In mathematics, the polar decomposition of a square real or complex matrix A is a factorization of the form A = U P, where U is an orthogonal matrix and P is a positive semi-definite symmetric matrix (U is a unitary matrix and P is a positive se ...
both lie in . Thus lies in and the operator can be written uniquely as with a self-adjoint operator. By the
functional calculus In mathematics, a functional calculus is a theory allowing one to apply mathematical functions to mathematical operators. It is now a branch (more accurately, several related areas) of the field of functional analysis, connected with spectral the ...
for polynomial functions it follows that lies in the commutant of if with in . In particular taking purely imaginary, must have the form with in the Lie algebra of . Since every finite-dimensional representation of occurs as a direct summand of , it is left invariant by and thus every finite-dimensional representation of extends uniquely to . The extension is compatible with the polar decomposition. Finally the polar decomposition implies that is a maximal compact subgroup of , since a strictly larger compact subgroup would contain all integer powers of a positive operator , a closed infinite discrete subgroup.


Decompositions in the Chevalley complexification


Cartan decomposition

The decomposition derived from the polar decomposition :\displaystyle where is the Lie algebra of , is called the
Cartan decomposition In mathematics, the Cartan decomposition is a decomposition of a Semisimple Lie algebra, semisimple Lie group or Lie algebra, which plays an important role in their structure theory and representation theory. It generalizes the polar decomposition ...
of . The exponential factor is invariant under conjugation by but is not a subgroup. The complexification is invariant under taking adjoints, since consists of unitary operators and of positive operators.


Gauss decomposition

The Gauss decomposition is a generalization of the
LU decomposition In numerical analysis and linear algebra, lower–upper (LU) decomposition or factorization factors a matrix as the product of a lower triangular matrix and an upper triangular matrix (see matrix decomposition). The product sometimes includes a pe ...
for the general linear group and a specialization of the
Bruhat decomposition In mathematics, the Bruhat decomposition (introduced by François Bruhat for classical groups and by Claude Chevalley in general) ''G'' = ''BWB'' of certain algebraic groups ''G'' into cells can be regarded as a general expression of the principle ...
. For it states that with respect to a given orthonormal basis an element of can be factorized in the form :\displaystyle with lower unitriangular, upper unitriangular and diagonal if and only if all the
principal minor In linear algebra, a minor of a matrix A is the determinant of some smaller square matrix, cut down from A by removing one or more of its rows and columns. Minors obtained by removing just one row and one column from square matrices (first minors ...
s of are non-vanishing. In this case and are uniquely determined. In fact Gaussian elimination shows there is a unique such that is upper triangular. The upper and lower unitriangular matrices, and , are closed unipotent subgroups of GL(''V''). Their Lie algebras consist of upper and lower strictly triangular matrices. The exponential mapping is a polynomial mapping from the Lie algebra to the corresponding subgroup by nilpotence. The inverse is given by the logarithm mapping which by unipotence is also a polynomial mapping. In particular there is a correspondence between closed connected subgroups of and subalgebras of their Lie algebras. The exponential map is onto in each case, since the polynomial function lies in a given Lie subalgebra if and do and are sufficiently small. The Gauss decomposition can be extended to complexifications of other closed connected subgroups of by using the root decomposition to write the complexified Lie algebra as :\displaystyle where is the Lie algebra of a maximal torus of and are the direct sum of the corresponding positive and negative root spaces. In the weight space decomposition of as eigenspaces of acts as diagonally, acts as lowering operators and as raising operators. are nilpotent Lie algebras acting as nilpotent operators; they are each other's adjoints on . In particular acts by conjugation of , so that is a semidirect product of a nilpotent Lie algebra by an abelian Lie algebra. By
Engel's theorem In representation theory, a branch of mathematics, Engel's theorem states that a finite-dimensional Lie algebra \mathfrak g is a nilpotent Lie algebra_if_and_only_if_for_each_X_\in_\mathfrak_g,_the_adjoint_representation_of_a_Lie_algebra.html" "ti ...
, if is a semidirect product, with abelian and nilpotent, acting on a finite-dimensional vector space with operators in diagonalizable and operators in nilpotent, there is a vector that is an eigenvector for and is annihilated by . In fact it is enough to show there is a vector annihilated by , which follows by induction on , since the derived algebra annihilates a non-zero subspace of vectors on which and act with the same hypotheses. Applying this argument repeatedly to shows that there is an orthonormal basis of consisting of eigenvectors of with acting as upper triangular matrices with zeros on the diagonal. If and are the complex Lie groups corresponding to and , then the Gauss decomposition states that the subset :\displaystyle is a direct product and consists of the elements in for which the principal minors are non-vanishing. It is open and dense. Moreover, if denotes the maximal torus in , :\displaystyle These results are an immediate consequence of the corresponding results for .


Bruhat decomposition

If denotes the
Weyl group In mathematics, in particular the theory of Lie algebras, the Weyl group (named after Hermann Weyl) of a root system Φ is a subgroup of the isometry group of that root system. Specifically, it is the subgroup which is generated by reflections th ...
of and denotes the
Borel subgroup In the theory of algebraic groups, a Borel subgroup of an algebraic group ''G'' is a maximal Zariski closed and connected solvable algebraic subgroup. For example, in the general linear group ''GLn'' (''n x n'' invertible matrices), the subgroup ...
, the Gauss decomposition is also a consequence of the more precise
Bruhat decomposition In mathematics, the Bruhat decomposition (introduced by François Bruhat for classical groups and by Claude Chevalley in general) ''G'' = ''BWB'' of certain algebraic groups ''G'' into cells can be regarded as a general expression of the principle ...
:\displaystyle decomposing into a disjoint union of
double coset In group theory, a field of mathematics, a double coset is a collection of group elements which are equivalent under the symmetries coming from two subgroups. More precisely, let be a group, and let and be subgroups. Let act on by left multi ...
s of . The complex dimension of a double coset is determined by the length of as an element of . The dimension is maximized at the
Coxeter element In mathematics, the Coxeter number ''h'' is the order of a Coxeter element of an irreducible Coxeter group. It is named after H.S.M. Coxeter. Definitions Note that this article assumes a finite Coxeter group. For infinite Coxeter groups, there a ...
and gives the unique open dense double coset. Its inverse conjugates into the Borel subgroup of lower triangular matrices in . The Bruhat decomposition is easy to prove for . Let be the Borel subgroup of upper triangular matrices and the subgroup of diagonal matrices. So . For in , take in so that maximizes the number of zeros appearing at the beginning of its rows. Because a multiple of one row can be added to another, each row has a different number of zeros in it. Multiplying by a matrix in , it follows that lies in . For uniqueness, if , then the entries of vanish below the diagonal. So the product lies in , proving uniqueness. showed that the expression of an element as becomes unique if is restricted to lie in the upper unitriangular subgroup . In fact, if , this follows from the identity :\displaystyle The group has a natural filtration by normal subgroups with zeros in the first superdiagonals and the successive quotients are Abelian. Defining and to be the intersections with , it follows by decreasing induction on that . Indeed, and are specified in by the vanishing of complementary entries on the th superdiagonal according to whether preserves the order or not. The Bruhat decomposition for the other classical simple groups can be deduced from the above decomposition using the fact that they are fixed point subgroups of folding automorphisms of . For , let be the matrix with 's on the antidiagonal and 's elsewhere and set :\displaystyle Then is the fixed point subgroup of the involution . It leaves the subgroups and invariant. If the basis elements are indexed by , then the Weyl group of consists of satisfying , i.e. commuting with . Analogues of and are defined by intersection with , i.e. as fixed points of . The uniqueness of the decomposition implies the Bruhat decomposition for . The same argument works for . It can be realised as the fixed points of in where .


Iwasawa decomposition

The
Iwasawa decomposition In mathematics, the Iwasawa decomposition (aka KAN from its expression) of a semisimple Lie group generalises the way a square real matrix can be written as a product of an orthogonal matrix and an upper triangular matrix (QR decomposition, a cons ...
:\displaystyle gives a decomposition for for which, unlike the Cartan decomposition, the direct factor is a closed subgroup, but it is no longer invariant under conjugation by . It is the
semidirect product In mathematics, specifically in group theory, the concept of a semidirect product is a generalization of a direct product. There are two closely related concepts of semidirect product: * an ''inner'' semidirect product is a particular way in w ...
of the
nilpotent In mathematics, an element x of a ring R is called nilpotent if there exists some positive integer n, called the index (or sometimes the degree), such that x^n=0. The term was introduced by Benjamin Peirce in the context of his work on the class ...
subgroup by the Abelian subgroup . For and its complexification , this decomposition can be derived as a restatement of the Gram–Schmidt orthonormalization process. In fact let be an orthonormal basis of and let be an element in . Applying the Gram–Schmidt process to , there is a unique orthonormal basis and positive constants such that :\displaystyle If is the unitary taking to , it follows that lies in the subgroup , where is the subgroup of positive diagonal matrices with respect to and is the subgroup of upper unitriangular matrices. Using the notation for the Gauss decomposition, the subgroups in the Iwasawa decomposition for are defined by :\displaystyle Since the decomposition is direct for , it is enough to check that . From the properties of the Iwasawa decomposition for , the map is a diffeomorphism onto its image in , which is closed. On the other hand, the dimension of the image is the same as the dimension of , so it is also open. So because is connected. gives a method for explicitly computing the elements in the decomposition. For in set . This is a positive self-adjoint operator so its principal minors do not vanish. By the Gauss decomposition, it can therefore be written uniquely in the form with in , in and in . Since is self-adjoint, uniqueness forces . Since it is also positive must lie in and have the form for some unique in . Let be its unique square root in . Set and . Then is unitary, so is in , and .


Complex structures on homogeneous spaces

The Iwasawa decomposition can be used to describe complex structures on the s in
complex projective space In mathematics, complex projective space is the projective space with respect to the field of complex numbers. By analogy, whereas the points of a real projective space label the lines through the origin of a real Euclidean space, the points of a ...
of highest weight vectors of finite-dimensional
irreducible representation In mathematics, specifically in the representation theory of groups and algebras, an irreducible representation (\rho, V) or irrep of an algebraic structure A is a nonzero representation that has no proper nontrivial subrepresentation (\rho, _W,W ...
s of . In particular the identification between and can be used to formulate the Borel–Weil theorem. It states that each irreducible representation of can be obtained by holomorphic induction from a character of , or equivalently that it is realized in the space of
section Section, Sectioning or Sectioned may refer to: Arts, entertainment and media * Section (music), a complete, but not independent, musical idea * Section (typography), a subdivision, especially of a chapter, in books and documents ** Section sign ...
s of a
holomorphic line bundle In mathematics, a holomorphic vector bundle is a complex vector bundle over a complex manifold such that the total space is a complex manifold and the projection map is holomorphic. Fundamental examples are the holomorphic tangent bundle of a com ...
on . The closed connected subgroups of containing are described by Borel–de Siebenthal theory. They are exactly the
centralizer In mathematics, especially group theory, the centralizer (also called commutant) of a subset ''S'' in a group ''G'' is the set of elements \mathrm_G(S) of ''G'' such that each member g \in \mathrm_G(S) commutes with each element of ''S'', o ...
s of tori . Since every torus is generated topologically by a single element , these are the same as centralizers of elements in . By a result of Hopf is always connected: indeed any element is along with contained in some maximal torus, necessarily contained in . Given an irreducible finite-dimensional representation with highest weight vector of weight , the stabilizer of in is a closed subgroup . Since is an eigenvector of , contains . The complexification also acts on and the stabilizer is a closed complex subgroup containing . Since is annihilated by every raising operator corresponding to a positive root , contains the Borel subgroup . The vector is also a highest weight vector for the copy of corresponding to , so it is annihilated by the lowering operator generating if . The Lie algebra of is the direct sum of and root space vectors annihilating , so that :\displaystyle The Lie algebra of is given by . By the Iwasawa decomposition . Since fixes , the -orbit of in the complex projective space of coincides with the orbit and :\displaystyle In particular :\displaystyle Using the identification of the Lie algebra of with its dual, equals the centralizer of in , and hence is connected. The group is also connected. In fact the space is simply connected, since it can be written as the quotient of the (compact) universal covering group of the compact semisimple group by a connected subgroup, where is the center of . If is the identity component of , has as a covering space, so that . The homogeneous space has a complex structure, because is a complex subgroup. The orbit in complex projective space is closed in the Zariski topology by Chow's theorem, so is a smooth projective variety. The Borel–Weil theorem and its generalizations are discussed in this context in , , and . The parabolic subgroup can also be written as a union of double cosets of :\displaystyle where is the stabilizer of in the Weyl group . It is generated by the reflections corresponding to the simple roots orthogonal to .


Noncompact real forms

There are other closed subgroups of the complexification of a compact connected Lie group ''G'' which have the same complexified Lie algebra. These are the other real forms of ''G''C.


Involutions of simply connected compact Lie groups

If ''G'' is a simply connected compact Lie group and σ is an automorphism of order 2, then the fixed point subgroup ''K'' = ''G''σ is ''automatically connected''. (In fact this is true for any automorphism of ''G'', as shown for inner automorphisms by
Steinberg Steinberg Media Technologies GmbH (trading as Steinberg) is a German musical software and hardware company based in Hamburg. It develops music writing, recording, arranging, and editing software, most notably Cubase, Nuendo, and Dorico. It als ...
and in general by
Borel Borel may refer to: People * Borel (author), 18th-century French playwright * Jacques Brunius, Borel (1906–1967), pseudonym of the French actor Jacques Henri Cottance * Émile Borel (1871 – 1956), a French mathematician known for his founding ...
.) This can be seen most directly when the involution σ corresponds to a
Hermitian symmetric space In mathematics, a Hermitian symmetric space is a Hermitian manifold which at every point has an inversion symmetry preserving the Hermitian structure. First studied by Élie Cartan, they form a natural generalization of the notion of Riemannian s ...
. In that case σ is inner and implemented by an element in a one-parameter subgroup exp ''tT'' contained in the center of ''G''σ. The innerness of σ implies that ''K'' contains a maximal torus of ''G'', so has maximal rank. On the other hand, the centralizer of the subgroup generated by the torus ''S'' of elements exp ''tT'' is connected, since if ''x'' is any element in ''K'' there is a maximal torus containing ''x'' and ''S'', which lies in the centralizer. On the other hand, it contains ''K'' since ''S'' is central in ''K'' and is contained in ''K'' since ''z'' lies in ''S''. So ''K'' is the centralizer of ''S'' and hence connected. In particular ''K'' contains the center of ''G''. For a general involution σ, the connectedness of ''G''σ can be seen as follows. The starting point is the Abelian version of the result: if ''T'' is a maximal torus of a simply connected group ''G'' and σ is an involution leaving invariant ''T'' and a choice of positive roots (or equivalently a
Weyl chamber In mathematics, in particular the theory of Lie algebras, the Weyl group (named after Hermann Weyl) of a root system Φ is a subgroup of the isometry group of that root system. Specifically, it is the subgroup which is generated by reflections th ...
), then the fixed point subgroup ''T''σ is connected. In fact the kernel of the exponential map from \mathfrak onto ''T'' is a lattice Λ with a Z-basis indexed by simple roots, which σ permutes. Splitting up according to orbits, ''T'' can be written as a product of terms T on which σ acts trivially or terms T2 where σ interchanges the factors. The fixed point subgroup just corresponds to taking the diagonal subgroups in the second case, so is connected. Now let ''x'' be any element fixed by σ, let ''S'' be a maximal torus in C''G''(''x'')σ and let ''T'' be the identity component of C''G''(''x'', ''S''). Then ''T'' is a maximal torus in ''G'' containing ''x'' and ''S''. It is invariant under σ and the identity component of ''T''σ is ''S''. In fact since ''x'' and ''S'' commute, they are contained in a maximal torus which, because it is connected, must lie in ''T''. By construction ''T'' is invariant under σ. The identity component of ''T''σ contains ''S'', lies in C''G''(''x'')σ and centralizes ''S'', so it equals ''S''. But ''S'' is central in ''T'', to ''T'' must be Abelian and hence a maximal torus. For σ acts as multiplication by −1 on the Lie algebra \mathfrak\ominus \mathfrak, so it and therefore also \mathfrak are Abelian. The proof is completed by showing that σ preserves a Weyl chamber associated with ''T''. For then ''T''σ is connected so must equal ''S''. Hence ''x'' lies in ''S''. Since ''x'' was arbitrary, ''G''σ must therefore be connected. To produce a Weyl chamber invariant under σ, note that there is no root space \mathfrak_\alpha on which both ''x'' and ''S'' acted trivially, for this would contradict the fact that C''G''(''x'', ''S'') has the same Lie algebra as ''T''. Hence there must be an element ''s'' in ''S'' such that ''t'' = ''xs'' acts non-trivially on each root space. In this case ''t'' is a ''regular element'' of ''T''—the identity component of its centralizer in ''G'' equals ''T''. There is a unique Weyl alcove ''A'' in \mathfrak such that ''t'' lies in exp ''A'' and 0 lies in the closure of ''A''. Since ''t'' is fixed by σ, the alcove is left invariant by σ and hence so also is the
Weyl chamber In mathematics, in particular the theory of Lie algebras, the Weyl group (named after Hermann Weyl) of a root system Φ is a subgroup of the isometry group of that root system. Specifically, it is the subgroup which is generated by reflections th ...
''C'' containing it.


Conjugations on the complexification

Let ''G'' be a simply connected compact Lie group with complexification ''G''C. The map ''c''(''g'') = (''g''*)−1 defines an automorphism of ''G''C as a real Lie group with ''G'' as fixed point subgroup. It is conjugate-linear on \mathfrak_ and satisfies ''c''2 = id. Such automorphisms of either ''G''C or \mathfrak_ are called conjugations. Since ''G''C is also simply connected any conjugation ''c''1 on \mathfrak_ corresponds to a unique automorphism ''c''1 of ''G''C. The classification of conjugations ''c''0 reduces to that of involutions σ of ''G'' because given a ''c''1 there is an automorphism φ of the complex group ''G''C such that :\displaystyle commutes with ''c''. The conjugation ''c''0 then leaves ''G'' invariant and restricts to an involutive automorphism σ. By simple connectivity the same is true at the level of Lie algebras. At the Lie algebra level ''c''0 can be recovered from σ by the formula :\displaystyle for ''X'', ''Y'' in \mathfrak. To prove the existence of φ let ψ = ''c''1''c'' an automorphism of the complex group ''G''C. On the Lie algebra level it defines a self-adjoint operator for the complex inner product :\displaystyle where ''B'' is the
Killing form 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 ...
on \mathfrak_. Thus ψ2 is a positive operator and an automorphism along with all its real powers. In particular take :\displaystyle It satisfies :\displaystyle


Cartan decomposition in a real form

For the complexification ''G''C, the
Cartan decomposition In mathematics, the Cartan decomposition is a decomposition of a Semisimple Lie algebra, semisimple Lie group or Lie algebra, which plays an important role in their structure theory and representation theory. It generalizes the polar decomposition ...
is described above. Derived from the
polar decomposition In mathematics, the polar decomposition of a square real or complex matrix A is a factorization of the form A = U P, where U is an orthogonal matrix and P is a positive semi-definite symmetric matrix (U is a unitary matrix and P is a positive se ...
in the complex
general linear group In mathematics, the general linear group of degree ''n'' is the set of invertible matrices, together with the operation of ordinary matrix multiplication. This forms a group, because the product of two invertible matrices is again invertible, ...
, it gives a diffeomorphism :\displaystyle On ''G''C there is a conjugation operator ''c'' corresponding to ''G'' as well as an involution σ commuting with ''c''. Let ''c''0 = ''c'' σ and let ''G''0 be the fixed point subgroup of ''c''. It is closed in the matrix group ''G''C and therefore a Lie group. The involution σ acts on both ''G'' and ''G''0. For the Lie algebra of ''G'' there is a decomposition :\displaystyle into the +1 and −1 eigenspaces of σ. The fixed point subgroup ''K'' of σ in ''G'' is connected since ''G'' is simply connected. Its Lie algebra is the +1 eigenspace \mathfrak. The Lie algebra of ''G''0 is given by :\displaystyle and the fixed point subgroup of σ is again ''K'', so that ''G'' ∩ ''G''0 = ''K''. In ''G''0, there is a Cartan decomposition :\displaystyle which is again a diffeomorphism onto the direct and corresponds to the polar decomposition of matrices. It is the restriction of the decomposition on ''G''C. The product gives a diffeomorphism onto a closed subset of ''G''0. To check that it is surjective, for ''g'' in ''G''0 write ''g'' = ''u'' ⋅ ''p'' with ''u'' in ''G'' and ''p'' in ''P''. Since ''c''0 ''g'' = ''g'', uniqueness implies that σ''u'' = ''u'' and σ''p'' = ''p''−1. Hence ''u'' lies in ''K'' and ''p'' in ''P''0. The Cartan decomposition in ''G''0 shows that ''G''0 is connected, simply connected and noncompact, because of the direct factor ''P''0. Thus ''G''0 is a noncompact real semisimple Lie group. Moreover, given a maximal Abelian subalgebra \mathfrak in \mathfrak, ''A'' = exp \mathfrak is a toral subgroup such that σ(''a'') = ''a''−1 on ''A''; and any two such \mathfrak's are conjugate by an element of ''K''. The properties of ''A'' can be shown directly. ''A'' is closed because the closure of ''A'' is a toral subgroup satisfying σ(''a'') = ''a''−1, so its Lie algebra lies in \mathfrak and hence equals \mathfrak by maximality. ''A'' can be generated topologically by a single element exp ''X'', so \mathfrak is the centralizer of ''X'' in \mathfrak. In the ''K''-orbit of any element of \mathfrak there is an element ''Y'' such that (X,Ad ''k'' Y) is minimized at ''k'' = 1. Setting ''k'' = exp ''tT'' with ''T'' in \mathfrak, it follows that (''X'', 'T'',''Y'' = 0 and hence 'X'',''Y''= 0, so that ''Y'' must lie in \mathfrak. Thus \mathfrak is the union of the conjugates of \mathfrak. In particular some conjugate of ''X'' lies in any other choice of \mathfrak, which centralizes that conjugate; so by maximality the only possibilities are conjugates of \mathfrak. A similar statements hold for the action of ''K'' on \mathfrak_0=i\mathfrak in \mathfrak_0. Morevoer, from the Cartan decomposition for ''G''0, if ''A''0 = exp \mathfrak_0, then :\displaystyle


Iwasawa decomposition in a real form


See also

*
Real form (Lie theory) In mathematics, the notion of a real form relates objects defined over the field of real and complex numbers. A real Lie algebra ''g''0 is called a real form of a complex Lie algebra ''g'' if ''g'' is the complexification of ''g''0: : \mathfra ...


Notes


References

* * * * * * * * * * * * * * * * * * * * * * * * * * {{refend Lie groups Lie algebras Algebraic groups Representation theory