Lie Group, Lie Algebra, Exponential Mapping, Linearization Killing Form, Cartan's Criteria
Total Page:16
File Type:pdf, Size:1020Kb
American Journal of Computational and Applied Mathematics 2016, 6(5): 182-186 DOI: 10.5923/j.ajcam.20160605.02 On Extracting Properties of Lie Groups from Their Lie Algebras M-Alamin A. H. Ahmed1,2 1Department of Mathematics, Faculty of Science and Arts – Khulais, University of Jeddah, Saudi Arabia 2Department of Mathematics, Faculty of Education, Alzaeim Alazhari University (AAU), Khartoum, Sudan Abstract The study of Lie groups and Lie algebras is very useful, for its wider applications in various scientific fields. In this paper, we introduce a thorough study of properties of Lie groups via their lie algebras, this is because by using linearization of a Lie group or other methods, we can obtain its Lie algebra, and using the exponential mapping again, we can convey properties and operations from the Lie algebra to its Lie group. These relations helpin extracting most of the properties of Lie groups by using their Lie algebras. We explain this extraction of properties, which helps in introducing more properties of Lie groups and leads to some important results and useful applications. Also we gave some properties due to Cartan’s first and second criteria. Keywords Lie group, Lie algebra, Exponential mapping, Linearization Killing form, Cartan’s criteria 1. Introduction 2. Lie Group The Properties and applications of Lie groups and their 2.1. Definition (Lie group) Lie algebras are too great to overview in a small paper. Lie groups were greatly studied by Marius Sophus Lie (1842 – A Lie group G is an abstract group and a smooth 1899), who intended to solve or at least to simplify ordinary n-dimensional manifold so that multiplication differential equations, and since then the research continues G×→ G G:,( a b) → ab and inverse G→→ Ga: a−1 to disclose their properties and applications in various are smooth. scientific fields [1, 2, 5, 6]. Lie groups have algebraic properties derived from their group axioms, and geometric 2.2. Examples properties due to identification of their group operations with points in a topological space, namely every Lie group is a a) The general linear group GL( n,)= differentiable manifold [3, 4, 7]. Almost all of the Lie groups ∈=≠nn× nn× encountered in many applications are matrix groups, and this {AA :det 0} is an open set of , it simplifies their study. This simplification can be done by is a manifold with the two operations, matrix linearizing the Lie group in the neighborhood of its identity, multiplication and matrix inverse which are C∞ which results in what is called a Lie algebra [1]. The Lie mappings. So it is a Lie group. algebra retains most of, but not all of the properties of the original Lie group. Also most of the Lie group properties can b) The complex linear group GL( n,) , the group of be recovered by the inverse of the linearization operation, nonsingular nn× matrices is also a Lie group. namely, the exponential mapping. A Lie algebra is a linear c) We can take the two subsets of the general linear vector space, and this makes it easy to study it by using tools of linear algebra rather than studying the original Lie group group: the special linear group SL( n,) which is with its complicated structure. In this manner we can extract the group of matrices of determinant 1 and the other is properties of a Lie group from its Lie algebra, and this opens the orthogonal group On( ) consisting of all the door to many scientific applications, for instance in T mathematics and physics. matrices A satisfying AA= I, these two subsets are also Lie groups. * Corresponding author: [email protected] (M-Alamin A. H. Ahmed) Matrix groups are very important examples of Lie groups Published online at http://journal.sapub.org/ajcam because of their various scientific applications. There are Copyright © 2016 Scientific & Academic Publishing. All Rights Reserved many examples of Lie groups different from matrix groups. American Journal of Computational and Applied Mathematics 2016, 6(5): 182-186 183 3. Lie Algebra linearization immediately as we see in the following example: 3.1. Definition (Lie Algebra) 4.2. Example A Lie algebra over a field K ( or ) is a vector space V over K with a skew – symmetric k- bilinear form (the Lie To linearize the Lie group bracket) [ ,:] VV×→ V, which satisfies the Jacobi identity: SL(2,)= {M∈= GL(2,) ,det M 1} X,,[ YZ] ++= Y ,,[ ZX] Z ,[ XY ,] 0 (3.1) We parametrize the group by: 1+ab For all XYZ,, ∈ V →= (4.1) (abc,,) M( abc ,,) (1+bc) The tangent space TGe at the identity of a Lie group c (1+ a) canonically has the structure of Lie algebra. This Lie algebra encodes in it much information about the Lie group. So we then we let (abc,,) to become infinitesimals: have to define the Lie algebra structure on TGe and this can abc,,→→δδδ abc ,, M δδδ abc ,, be shown if we identified this structure with the Lie algebra ( ) ( ) ( ) for instance for some classical groups. 1+δδab (4.2) = (1+δδbc) 3.2. Example δ c (1+δ a) × Since GL( n,) is an open subset of nn (the vector so the basis vectors in the Lie algebra X, X and X are space of all nn× real matrices), the tangent space to ab c × the coefficients of the first order infinitesimals: GL( n,) at the identity I is nn itself. 1+δδab Also the tangent space TI ( SL( n,)) is the subspace of (δδδa,, b c)→+ I2 δ aXabc + δ bX + δ cX =(4.3) δδca1− nn× × consisting of all nn matrices of trace 0. We get the basis vectors from (4-1) as follows: And for the group of orthogonal matrices On( ) , the tangent space at the identity is consisting of skew – ∂M 10 symmetric matrices. These are some examples of Lie X a = = , ∂a (0,0,0) 01− algebras of some groups of matrices considered as tangent spaces at the identity. ∂ 01 M (4.4) Xb = = , ∂b (0,0,0) 00 4. Linearization of a Lie Group ∂M 00 X = = The Lie group may have a complicated structure which c ∂c (0,0,0) 10 make it difficult to study it through some mathematical tools, instead of this we linearize the group in the neighborhood of These are the basis vectors for the Lie algebra sl (2,) its identity, that is by getting a vector space at the identity, this vector space is its Lie algebra. Therefore, Linearization in our example. of Lie group makes it possible to study it by using tools of Linear algebra. Moreover most of the Lie group properties can be recovered by the inverse of the linearization operation, 5. Exponential Mapping that is by the exponential mapping. The following diagram Suppose V is a finite dimensional vector space equipped expresses how to go from the Lie group to its Lie algebra and with a complete norm . over the field or . If vice versa by using these two operations: End( V ) denotes the algebra of linear automorphisms on , Linearization V Lie group ←→ Lie alg ebra n Exponentiation and GL( V ) the general linear group. Then for V = , End( V ) is identified with M n () ( nn× matrices ) and 4.1. How To Linearize a Lie Group? GL( V)= GL( n,) . In order to linearize a Lie group to get its Lie algebra we need an explicit parametrization of the underlying manifold 5.1. Definition (Matrix Group) and also we need an available expression for the group composition law. For matrix groups the group composition A matrix group is a closed subgroup of GL( V ) (the law is matrix multiplication and every matrix group is a general linear group), where V is a finite dimensional closed subset of the general linear group, so we can do vector space. 184 M-Alamin A. H. Ahmed: On Extracting Properties of Lie Groups from Their Lie Algebras 5.2. Definition (Exponential map) 5.10. Theorem (The Lie Algebra of a Matrix Group) The exponential map on End( V ) is defined by For a matrix group G⊆ GL( V ) , the set ∞ n =∈∈∈ A g{ A EndV:exp( tA) G for all t R} is a Lie algebra, exp A =, A ∈ End V (5.1) ( ) ∑ ( ) called the Lie algebra of G . n =0 n! Sketch of the Proof: If G is a Lie group with Lie algebra g , then the The theorem can be proved by showing that: exponential map is defined as: exp(t[ A , B])= exp([ tA , B]) ∈∈ G for all t . Thus the exp:g→= GwhereexpXφφ 1 with' 0 = X , ( ) XX( ) ( ) commutator [AB, ]∈ g. ∀∈Xg 5.11. Computing Lie Algebras 5.3. Definition (One – Parameter Subgroup) For matrix groups we can use some methods to find their A one – parameter subgroup of a Lie group G is a Lie algebras. For instance we can use the following continuous homomorphism: α :,( +→) G proposition for this purpose. 5.4. Example 5.12. Proposition For the Lie groups GL( n,,) and GL( n ) , we have Let β (.,.) be a continuous bilinear form on the vector (ts, ) exp( A)= eA , e = etA e sA ,.. ieφ ( t)= etA is a one parameter space V and set G=∈{ h GL( V) :, ∀∈ x y V , ' A ββ= group. Furthermore φφ(0)= A and henceexp( A)=( I) = e . (hx,hy) ( x , y)} , then the Lie algebra is g=∈{ A EndV:, ∀∈ x y V ,ββ( Ax , y) +( x , Ay) = 0} 5.5. Proposition [2] Proof For V a finite dimensional normed vector space and ∈ β = A∈ End( V ) , the map t→exp( tA) is a one – parameter Let Ag, then (exp(tA) x ,exp( tA) y) −1 β x,, y for all x y∈ V .