Matrix Lie groups. and their Lie algebras. Mahmood Alaghmandan. A project in fulfillment of the requirement for the Lie algebra course

Similar documents
Symmetric Spaces Toolkit

Topics in Representation Theory: Lie Groups, Lie Algebras and the Exponential Map

Basic Concepts of Group Theory

MATRIX LIE GROUPS AND LIE GROUPS

Differential Topology Final Exam With Solutions

THE EULER CHARACTERISTIC OF A LIE GROUP

LECTURE 16: LIE GROUPS AND THEIR LIE ALGEBRAS. 1. Lie groups

1 Smooth manifolds and Lie groups

Notes on Lie Groups, Lie algebras, and the Exponentiation Map Mitchell Faulk

Representations of Matrix Lie Algebras

MANIFOLD STRUCTURES IN ALGEBRA

(g 1, g 2 ) g 1 g 2. i : G G

Math 215B: Solutions 1

THEODORE VORONOV DIFFERENTIABLE MANIFOLDS. Fall Last updated: November 26, (Under construction.)

2 Constructions of manifolds. (Solutions)

Notation. For any Lie group G, we set G 0 to be the connected component of the identity.

These notes are incomplete they will be updated regularly.

Differential Topology Solution Set #2

Supplement to Section 22. Topological Groups

Introduction to Lie Groups

arxiv:math-ph/ v1 31 May 2000

Jean Gallier Department of Computer and Information Science University of Pennsylvania Philadelphia, PA 19104, USA

Methods in Computer Vision: Introduction to Matrix Lie Groups

LECTURE 25-26: CARTAN S THEOREM OF MAXIMAL TORI. 1. Maximal Tori

Review problems for MA 54, Fall 2004.

An homomorphism to a Lie algebra of matrices is called a represetation. A representation is faithful if it is an isomorphism.

1: Lie groups Matix groups, Lie algebras

Definition 5.1. A vector field v on a manifold M is map M T M such that for all x M, v(x) T x M.

Geometry of the Special Unitary Group

Introduction to Group Theory

Algebra I Fall 2007

Problems in Linear Algebra and Representation Theory

LIE GROUPS, LIE ALGEBRAS, AND APPLICATIONS IN PHYSICS

A Lie Group. These notes introduce SU(2) as an example of a compact Lie group. SU(2) = { A A a 2 2 complex matrix,deta = 1,AA = A A = 1l }

NOTES on LINEAR ALGEBRA 1

CHAPTER 3 SUBMANIFOLDS

Terse Notes on Riemannian Geometry

LIE ALGEBRAS AND LIE BRACKETS OF LIE GROUPS MATRIX GROUPS QIZHEN HE

Chapter 2. Introduction to Manifolds and Classical Lie Groups

8. COMPACT LIE GROUPS AND REPRESENTATIONS

Quantum Field Theory III

Symmetric and anti symmetric matrices

Spring 2018 CIS 610. Advanced Geometric Methods in Computer Science Jean Gallier Homework 3

Eigenvalues and Eigenvectors

CLASSICAL GROUPS DAVID VOGAN

REPRESENTATION THEORY WEEK 7

Review of linear algebra

Matrices. In this chapter: matrices, determinants. inverse matrix

Diagonalizing Matrices

Differential Topology Solution Set #3

MATH 31 - ADDITIONAL PRACTICE PROBLEMS FOR FINAL

Review of Linear Algebra Definitions, Change of Basis, Trace, Spectral Theorem

QUATERNIONS AND ROTATIONS

18.06 Problem Set 8 - Solutions Due Wednesday, 14 November 2007 at 4 pm in

Quantum Computing Lecture 2. Review of Linear Algebra

GENERAL ARTICLE Realm of Matrices

GQE ALGEBRA PROBLEMS

Unbounded operators in the context of C -algebras

Fall, 2003 CIS 610. Advanced geometric methods. Homework 3. November 11, 2003; Due November 25, beginning of class

Final Review Sheet. B = (1, 1 + 3x, 1 + x 2 ) then 2 + 3x + 6x 2

Physics 129B, Winter 2010 Problem Set 4 Solution

1. Foundations of Numerics from Advanced Mathematics. Linear Algebra

An Introduction of Basic Lie theory

Elementary maths for GMT

Since a matrix is invertible if and only if its determinant is nonzero, we can also write. GL(n) = {A R n n : deta 0}. (2)

Symmetries, Fields and Particles. Examples 1.

2 Lie Groups. Contents

Symmetries, Fields and Particles 2013 Solutions

Math Abstract Linear Algebra Fall 2011, section E1 Practice Final. This is a (long) practice exam. The real exam will consist of 6 problems.

Clifford Algebras and Spin Groups

1. What is the determinant of the following matrix? a 1 a 2 4a 3 2a 2 b 1 b 2 4b 3 2b c 1. = 4, then det

Linear Algebra Review. Vectors

Master Algèbre géométrie et théorie des nombres Final exam of differential geometry Lecture notes allowed

Notes on Group Theory Lie Groups, Lie Algebras, and Linear Representations

Math Computation Test 1 September 26 th, 2016 Debate: Computation vs. Theory Whatever wins, it ll be Huuuge!

Linear Algebra Highlights

STRUCTURE AND DECOMPOSITIONS OF THE LINEAR SPAN OF GENERALIZED STOCHASTIC MATRICES

Exercise Sheet 1.

Part III Symmetries, Fields and Particles

Lie Matrix Groups: The Flip Transpose Group

HOMEWORK PROBLEMS FROM STRANG S LINEAR ALGEBRA AND ITS APPLICATIONS (4TH EDITION)

Lecture 10: A (Brief) Introduction to Group Theory (See Chapter 3.13 in Boas, 3rd Edition)

SYMPLECTIC MANIFOLDS, GEOMETRIC QUANTIZATION, AND UNITARY REPRESENTATIONS OF LIE GROUPS. 1. Introduction

1. General Vector Spaces

ALGEBRAIC GROUPS J. WARNER

MATH 235. Final ANSWERS May 5, 2015

LIE GROUPS AND ALGEBRAS IN PARTICLE PHYSICS

MATH Topics in Applied Mathematics Lecture 12: Evaluation of determinants. Cross product.

M340L Final Exam Solutions May 13, 1995

Lie Algebras and Representation Theory. Andreas Čap

TOEPLITZ OPERATORS. Toeplitz studied infinite matrices with NW-SE diagonals constant. f e C :

Changing coordinates to adapt to a map of constant rank

LINEAR ALGEBRA BOOT CAMP WEEK 4: THE SPECTRAL THEOREM

NATIONAL BOARD FOR HIGHER MATHEMATICS. M. A. and M.Sc. Scholarship Test. September 25, Time Allowed: 150 Minutes Maximum Marks: 30

ASSIGNMENT - 1, DEC M.Sc. (FINAL) SECOND YEAR DEGREE MATHEMATICS. Maximum : 20 MARKS Answer ALL questions. is also a topology on X.

1 Matrices and Systems of Linear Equations. a 1n a 2n

DIFFERENTIAL GEOMETRY HW 12

Practice Exam. 2x 1 + 4x 2 + 2x 3 = 4 x 1 + 2x 2 + 3x 3 = 1 2x 1 + 3x 2 + 4x 3 = 5

Bott Periodicity. Anthony Bosman Senior Honors Thesis Department of Mathematics, Stanford University Adviser: Eleny Ionel

Math Linear Algebra Final Exam Review Sheet

Transcription:

Matrix Lie groups and their Lie algebras Mahmood Alaghmandan A project in fulfillment of the requirement for the Lie algebra course Department of Mathematics and Statistics University of Saskatchewan March 2012 Mahmood Alaghmandan (U of S) Matrix Lie groups and their Lie algebras March 2012 1 / 36

Special orthogonal group An example of Lie groups A matrix A is orthogonal if its transpose is equal to its inverse: Equivalently A tr = A 1. AA tr = I If for orthogonal matrix A, det(a) = 1, A is call special orthogonal matrix. Orthogonal and special orthogonal groups O(n) = {A M n (R) : A tr = A 1 } and SO(n) = {A M n (R) : A tr = A 1, det(a) = 1}. Mahmood Alaghmandan (U of S) Matrix Lie groups and their Lie algebras March 2012 2 / 36

Special orthogonal group An example of Lie groups A matrix A is orthogonal if its transpose is equal to its inverse: Equivalently A tr = A 1. AA tr = I If for orthogonal matrix A, det(a) = 1, A is call special orthogonal matrix. Orthogonal and special orthogonal groups O(n) = {A M n (R) : A tr = A 1 } and SO(n) = {A M n (R) : A tr = A 1, det(a) = 1}. Mahmood Alaghmandan (U of S) Matrix Lie groups and their Lie algebras March 2012 2 / 36

Example. SO(2) is the set of all matrices [ cos θ sin θ sin θ cos θ for different angels θ. ] The rotation with angle θ. Mahmood Alaghmandan (U of S) Matrix Lie groups and their Lie algebras March 2012 3 / 36

Example. SO(3) forms the set all of rotations in R 3 which preserves the length and orientation. Every rotation in SO(3) fixes a unique 1-dimensional linear subspace of R 3, due to Euler s rotation theorem. cos θ sin θ 0 sin θ cos θ 0 0 0 1 is the rotation with angel θ with the axis of rotation z-axis. (0.1) Mahmood Alaghmandan (U of S) Matrix Lie groups and their Lie algebras March 2012 4 / 36

Example. SO(3) forms the set all of rotations in R 3 which preserves the length and orientation. Every rotation in SO(3) fixes a unique 1-dimensional linear subspace of R 3, due to Euler s rotation theorem. cos θ sin θ 0 sin θ cos θ 0 0 0 1 is the rotation with angel θ with the axis of rotation z-axis. (0.1) Mahmood Alaghmandan (U of S) Matrix Lie groups and their Lie algebras March 2012 4 / 36

Example. SO(3) forms the set all of rotations in R 3 which preserves the length and orientation. Every rotation in SO(3) fixes a unique 1-dimensional linear subspace of R 3, due to Euler s rotation theorem. cos θ sin θ 0 sin θ cos θ 0 0 0 1 is the rotation with angel θ with the axis of rotation z-axis. (0.1) Mahmood Alaghmandan (U of S) Matrix Lie groups and their Lie algebras March 2012 4 / 36

Applying complex matrices! σ 1 = [ 0 1 1 0 ] [ 0 i, σ 2 = i 0 ] [ 1 0, σ 3 = 0 1 called Pauli matrices are linearly independent. So for each x = (x i ) 3 i=1 R3, x = x 1 x 2 x 3 = x 1 σ 1 + x 2 σ 2 + x 3 σ 3. ] Mahmood Alaghmandan (U of S) Matrix Lie groups and their Lie algebras March 2012 5 / 36

A new interpretation Note that [ e iθ/2 0 0 e iθ/2 ] [ e iθ/2 0 (x 1 σ 1 + x 2 σ 2 + x 3 σ 3 ) 0 e iθ/2 ] 1 = (x 1 cos θ + x 2 sin θ)σ 1 + ( x 1 sin θ + x 2 cos θ)σ 2 + x 3 σ 3. As clearly we can see this is the rotation that appeared in a matrix in SO(3), (0.1). Special unitary group SU(2) Let SU(2) be the set of all matrices [ ] a + di b ci A = where det(a) = 1 and a, b, c, d R. b ci a di We can see that these matrices form a group, we call them special unitary matrices. Although this is a complex counterpart of SO(2), it has a strong relation with SO(3). Mahmood Alaghmandan (U of S) Matrix Lie groups and their Lie algebras March 2012 6 / 36

A new interpretation Note that [ e iθ/2 0 0 e iθ/2 ] [ e iθ/2 0 (x 1 σ 1 + x 2 σ 2 + x 3 σ 3 ) 0 e iθ/2 ] 1 = (x 1 cos θ + x 2 sin θ)σ 1 + ( x 1 sin θ + x 2 cos θ)σ 2 + x 3 σ 3. As clearly we can see this is the rotation that appeared in a matrix in SO(3), (0.1). Special unitary group SU(2) Let SU(2) be the set of all matrices [ ] a + di b ci A = where det(a) = 1 and a, b, c, d R. b ci a di We can see that these matrices form a group, we call them special unitary matrices. Although this is a complex counterpart of SO(2), it has a strong relation with SO(3). Mahmood Alaghmandan (U of S) Matrix Lie groups and their Lie algebras March 2012 6 / 36

Special unitary group A complex n n matrix A is called unitary if its columns are orthogonal. (Linear algebra) over Hilbert spaces H = C n it forms a unitary operator i.e. A = A 1 when A is the adjoint operator of A. (Functional Analysis) Special Unitary group SU(n) = {A M n (C) : A A = AA = I and det(a) = 1.} Mahmood Alaghmandan (U of S) Matrix Lie groups and their Lie algebras March 2012 7 / 36

Special unitary group A complex n n matrix A is called unitary if its columns are orthogonal. (Linear algebra) over Hilbert spaces H = C n it forms a unitary operator i.e. A = A 1 when A is the adjoint operator of A. (Functional Analysis) Special Unitary group SU(n) = {A M n (C) : A A = AA = I and det(a) = 1.} Mahmood Alaghmandan (U of S) Matrix Lie groups and their Lie algebras March 2012 7 / 36

Outline 1 Matrix Lie groups 2 Matrix exponential 3 Lie algebra of a matrix Lie group 4 Lie algebra of some famous matrix Lie groups 5 Geometric interpretation Mahmood Alaghmandan (U of S) Matrix Lie groups and their Lie algebras March 2012 8 / 36

General linear group GL(n, F) General linear group Set of all invertible matrices on field F also form a group with the regular multiplication of matrices denoted by GL(n, F). Special linear group All invertible matrices A GL(n, F) s.t. det(a) = 1 denoted by SL(n, F). All groups GL(n, R), SL(n, R), SL(n, C), SU(n), and SO(n) are all subgroups of GL(n, C) for an appropriate n. Mahmood Alaghmandan (U of S) Matrix Lie groups and their Lie algebras March 2012 9 / 36

General linear group GL(n, F) General linear group Set of all invertible matrices on field F also form a group with the regular multiplication of matrices denoted by GL(n, F). Special linear group All invertible matrices A GL(n, F) s.t. det(a) = 1 denoted by SL(n, F). All groups GL(n, R), SL(n, R), SL(n, C), SU(n), and SO(n) are all subgroups of GL(n, C) for an appropriate n. Mahmood Alaghmandan (U of S) Matrix Lie groups and their Lie algebras March 2012 9 / 36

General linear group GL(n, F) General linear group Set of all invertible matrices on field F also form a group with the regular multiplication of matrices denoted by GL(n, F). Special linear group All invertible matrices A GL(n, F) s.t. det(a) = 1 denoted by SL(n, F). All groups GL(n, R), SL(n, R), SL(n, C), SU(n), and SO(n) are all subgroups of GL(n, C) for an appropriate n. Mahmood Alaghmandan (U of S) Matrix Lie groups and their Lie algebras March 2012 9 / 36

Topology on M n (C) Hilbert-Schmidt norm for matrix A = [a i,j ] i,j 1,,n is n A 2 := a i,j 2 i,j=1 1/2. Convergence Let (A m ) m be a sequence in M n (C). A m converges to A if A m A 2 0. Mahmood Alaghmandan (U of S) Matrix Lie groups and their Lie algebras March 2012 10 / 36

Topology on M n (C) Hilbert-Schmidt norm for matrix A = [a i,j ] i,j 1,,n is n A 2 := a i,j 2 i,j=1 1/2. Convergence Let (A m ) m be a sequence in M n (C). A m converges to A if A m A 2 0. Mahmood Alaghmandan (U of S) Matrix Lie groups and their Lie algebras March 2012 10 / 36

Matrix Lie group Matrix (linear) Lie group A matrix Lie group G is a subgroup of GL(n, C) such that if (A m ) m is any convergent sequence in G, either A G or A is not invertible. O(n), SO(n), SU(n), SL(n, R), SL(n, C), GL(n, R), and GL(n, C) are all matrix Lie groups. Mahmood Alaghmandan (U of S) Matrix Lie groups and their Lie algebras March 2012 11 / 36

Matrix Lie group Matrix (linear) Lie group A matrix Lie group G is a subgroup of GL(n, C) such that if (A m ) m is any convergent sequence in G, either A G or A is not invertible. O(n), SO(n), SU(n), SL(n, R), SL(n, C), GL(n, R), and GL(n, C) are all matrix Lie groups. Mahmood Alaghmandan (U of S) Matrix Lie groups and their Lie algebras March 2012 11 / 36

Outline 1 Matrix Lie groups 2 Matrix exponential 3 Lie algebra of a matrix Lie group 4 Lie algebra of some famous matrix Lie groups 5 Geometric interpretation Mahmood Alaghmandan (U of S) Matrix Lie groups and their Lie algebras March 2012 12 / 36

Matrix exponential For A M n (C), we define e A := k=0 1 k! Ak where A 0 = I. It is well defined: e A 2 k=0 1 k! A k 2 = e A 2 < ; Main properties of e A e 0 = I, ( e A) = e (A ), ( e A) tr = e (A tr ), and e (α+β)a = e αa e βa. Mahmood Alaghmandan (U of S) Matrix Lie groups and their Lie algebras March 2012 13 / 36

Matrix exponential For A M n (C), we define e A := k=0 1 k! Ak where A 0 = I. It is well defined: e A 2 k=0 1 k! A k 2 = e A 2 < ; Main properties of e A e 0 = I, ( e A) = e (A ), ( e A) tr = e (A tr ), and e (α+β)a = e αa e βa. Mahmood Alaghmandan (U of S) Matrix Lie groups and their Lie algebras March 2012 13 / 36

Matrix exponential For A M n (C), we define e A := k=0 1 k! Ak where A 0 = I. It is well defined: e A 2 k=0 1 k! A k 2 = e A 2 < ; Main properties of e A e 0 = I, ( e A) = e (A ), ( e A) tr = e (A tr ), and e (α+β)a = e αa e βa. Mahmood Alaghmandan (U of S) Matrix Lie groups and their Lie algebras March 2012 13 / 36

More properties Matrix exponential essential properties If AB = BA, then e A+B = e A e B = e B e A. e A is invertible and (e A ) 1 = e A. If A is invertible, then e ABA 1 = Ae B A 1. Even if [A, B] 0, we have ( e A+B = lim e 1 k A e 1 B) k k k (2.1) called Lie product formula. Mahmood Alaghmandan (U of S) Matrix Lie groups and their Lie algebras March 2012 14 / 36

More properties Matrix exponential essential properties If AB = BA, then e A+B = e A e B = e B e A. e A is invertible and (e A ) 1 = e A. If A is invertible, then e ABA 1 = Ae B A 1. Even if [A, B] 0, we have ( e A+B = lim e 1 k A e 1 B) k k k (2.1) called Lie product formula. Mahmood Alaghmandan (U of S) Matrix Lie groups and their Lie algebras March 2012 14 / 36

Calculation of the exponential of a matrix Calculation of the exponential of nilpotent matrices is easy. For diagonalizable matrices also we have a good trick to simplify the calculations. For an arbitrary matrix we can write as summation of one nilpotent matrix and one diagonalizable matrix which commute. The relation of determinant and trace through matrix exponential Let A M n (C). Then det(e A ) = e trace(a). Mahmood Alaghmandan (U of S) Matrix Lie groups and their Lie algebras March 2012 15 / 36

Calculation of the exponential of a matrix Calculation of the exponential of nilpotent matrices is easy. For diagonalizable matrices also we have a good trick to simplify the calculations. For an arbitrary matrix we can write as summation of one nilpotent matrix and one diagonalizable matrix which commute. The relation of determinant and trace through matrix exponential Let A M n (C). Then det(e A ) = e trace(a). Mahmood Alaghmandan (U of S) Matrix Lie groups and their Lie algebras March 2012 15 / 36

Derivative of matrix exponential function Moreover A e A is a continuous map: If A m A, then e Am e A. So we can talk about the limit of the following matrices where t 0 e (t 0+ t)a e t 0A t Therefore, d e (t0+ t)a e t 0A dt (eta ) t=t0 = lim t 0 t = Ae t 0A Mahmood Alaghmandan (U of S) Matrix Lie groups and their Lie algebras March 2012 16 / 36

Derivative of matrix exponential function Moreover A e A is a continuous map: If A m A, then e Am e A. So we can talk about the limit of the following matrices where t 0 e (t 0+ t)a e t 0A t Therefore, d e (t0+ t)a e t 0A dt (eta ) t=t0 = lim t 0 t = Ae t 0A Mahmood Alaghmandan (U of S) Matrix Lie groups and their Lie algebras March 2012 16 / 36

Outline 1 Matrix Lie groups 2 Matrix exponential 3 Lie algebra of a matrix Lie group 4 Lie algebra of some famous matrix Lie groups 5 Geometric interpretation Mahmood Alaghmandan (U of S) Matrix Lie groups and their Lie algebras March 2012 17 / 36

Lie algebra of a matrix Lie group Definition of Lie algebra of G For G be a matrix Lie group. g := {A M n (C) : e ta G for all t R}. Note that: t should be real. For A g, e ta G for all real t. Mahmood Alaghmandan (U of S) Matrix Lie groups and their Lie algebras March 2012 18 / 36

Lie algebra of a matrix Lie group Definition of Lie algebra of G For G be a matrix Lie group. g := {A M n (C) : e ta G for all t R}. Note that: t should be real. For A g, e ta G for all real t. Mahmood Alaghmandan (U of S) Matrix Lie groups and their Lie algebras March 2012 18 / 36

Question. Is the Lie algebra of a matrix Lie group really a Lie algebra? Mahmood Alaghmandan (U of S) Matrix Lie groups and their Lie algebras March 2012 19 / 36

YES! It is really a (REAL) Lie algebra Lie bracket over matrices! For A g, ta g for all t R. A + B g if A, B g. Proof. If [A, B] = 0, then e A+B = e A e B. In general we apply Lie product formula, (2.1). ( (1) For each k, e 1 k A e 1 B) k k G. (2) Its limit (e A+B ) must belong to G. Proof. [A, B] g if A, B g. G e ta e B e ta = e eta Be ta = e ta Be ta g Mahmood Alaghmandan (U of S) Matrix Lie groups and their Lie algebras March 2012 20 / 36

YES! It is really a (REAL) Lie algebra Lie bracket over matrices! For A g, ta g for all t R. A + B g if A, B g. Proof. If [A, B] = 0, then e A+B = e A e B. In general we apply Lie product formula, (2.1). ( (1) For each k, e 1 k A e 1 B) k k G. (2) Its limit (e A+B ) must belong to G. Proof. [A, B] g if A, B g. G e ta e B e ta = e eta Be ta = e ta Be ta g Mahmood Alaghmandan (U of S) Matrix Lie groups and their Lie algebras March 2012 20 / 36

YES! It is really a (REAL) Lie algebra Lie bracket over matrices! For A g, ta g for all t R. A + B g if A, B g. Proof. If [A, B] = 0, then e A+B = e A e B. In general we apply Lie product formula, (2.1). ( (1) For each k, e 1 k A e 1 B) k k G. (2) Its limit (e A+B ) must belong to G. Proof. [A, B] g if A, B g. G e ta e B e ta = e eta Be ta = e ta Be ta g Mahmood Alaghmandan (U of S) Matrix Lie groups and their Lie algebras March 2012 20 / 36

[A, B] g if A, B g. Rest of the proof. But d dt (eta Be ta ) t=0 = d dt (eta ) t=0 Be 0A + e 0A d dt (Be ta ) t=0 = AB BA. Why does it show that AB BA g? Because: d dt (eta Be ta e ta Be ta B ) t=0 = lim t 0 t AND g is a complete vector space! ( g A k A then lim k e A k = e A. So e A G. Hence g is complete!) Mahmood Alaghmandan (U of S) Matrix Lie groups and their Lie algebras March 2012 21 / 36

[A, B] g if A, B g. Rest of the proof. But d dt (eta Be ta ) t=0 = d dt (eta ) t=0 Be 0A + e 0A d dt (Be ta ) t=0 = AB BA. Why does it show that AB BA g? Because: d dt (eta Be ta e ta Be ta B ) t=0 = lim t 0 t AND g is a complete vector space! ( g A k A then lim k e A k = e A. So e A G. Hence g is complete!) Mahmood Alaghmandan (U of S) Matrix Lie groups and their Lie algebras March 2012 21 / 36

[A, B] g if A, B g. Rest of the proof. But d dt (eta Be ta ) t=0 = d dt (eta ) t=0 Be 0A + e 0A d dt (Be ta ) t=0 = AB BA. Why does it show that AB BA g? Because: d dt (eta Be ta e ta Be ta B ) t=0 = lim t 0 t AND g is a complete vector space! ( g A k A then lim k e A k = e A. So e A G. Hence g is complete!) Mahmood Alaghmandan (U of S) Matrix Lie groups and their Lie algebras March 2012 21 / 36

Lie algebra of a matrix Lie group Anticommutativity and Jacobi identity are achievable because of the definition of the Lie bracket over matrices. Summary Let G be a matrix Lie group. Then g is a vector space over R. As a subspace of M n (C), g is a complete topological space. Moreover, g is a Lie algebra with Lie bracket over matrices over field R. In the following we will see that for a variety of matrix Lie groups, Lie algebra will actually form a complex Lie algebra. We call these groups, complex matrix Lie groups. Mahmood Alaghmandan (U of S) Matrix Lie groups and their Lie algebras March 2012 22 / 36

Lie algebra of a matrix Lie group Anticommutativity and Jacobi identity are achievable because of the definition of the Lie bracket over matrices. Summary Let G be a matrix Lie group. Then g is a vector space over R. As a subspace of M n (C), g is a complete topological space. Moreover, g is a Lie algebra with Lie bracket over matrices over field R. In the following we will see that for a variety of matrix Lie groups, Lie algebra will actually form a complex Lie algebra. We call these groups, complex matrix Lie groups. Mahmood Alaghmandan (U of S) Matrix Lie groups and their Lie algebras March 2012 22 / 36

Why should we care about the Lie algebra of a matrix Lie group? Mahmood Alaghmandan (U of S) Matrix Lie groups and their Lie algebras March 2012 23 / 36

They are somehow related to their matrix Lie groups! Proposition Let G and H be two matrix Lie groups with Lie algebras g and h respectively. Suppose that Φ : G H is a group homomorphism. The there exists an (Lie) algebra homomorphism φ : g h such that Φ(e A ) = e φ(a) for every A g. The converse of This proposition is not correct in general. There are some conditions if we impose we will see the converse. For example, if both groups are simply connected, every homomorphism between Lie algebras ends to a homomorphism between matrix Lie groups Mahmood Alaghmandan (U of S) Matrix Lie groups and their Lie algebras March 2012 24 / 36

They are somehow related to their matrix Lie groups! Proposition Let G and H be two matrix Lie groups with Lie algebras g and h respectively. Suppose that Φ : G H is a group homomorphism. The there exists an (Lie) algebra homomorphism φ : g h such that Φ(e A ) = e φ(a) for every A g. The converse of This proposition is not correct in general. There are some conditions if we impose we will see the converse. For example, if both groups are simply connected, every homomorphism between Lie algebras ends to a homomorphism between matrix Lie groups Mahmood Alaghmandan (U of S) Matrix Lie groups and their Lie algebras March 2012 24 / 36

Outline 1 Matrix Lie groups 2 Matrix exponential 3 Lie algebra of a matrix Lie group 4 Lie algebra of some famous matrix Lie groups 5 Geometric interpretation Mahmood Alaghmandan (U of S) Matrix Lie groups and their Lie algebras March 2012 25 / 36

The Lie algebra of general linear group GL(n, F) A is an arbitrary matrix in M n (C), e ta is invertible for all t R. So e ta GL(n, C). Hence, gl(n, C) = M n (C). If A is a real matrix, e ta is real for all t R. On the other hand, if e ta is a real matrix for every t R, we have that A = d e ta I dt (eta ) t=0 = lim t 0 t should be also real, because e ta I t M n (R) and M n (R) is a closed topological space. Therefore, gl(n, R) = M n (R). This argument will work for all real valued matrix Lie groups. It shows that: matrix Lie group is REAL = its Lie algebra is REAL. Mahmood Alaghmandan (U of S) Matrix Lie groups and their Lie algebras March 2012 26 / 36

The Lie algebra of general linear group GL(n, F) A is an arbitrary matrix in M n (C), e ta is invertible for all t R. So e ta GL(n, C). Hence, gl(n, C) = M n (C). If A is a real matrix, e ta is real for all t R. On the other hand, if e ta is a real matrix for every t R, we have that A = d e ta I dt (eta ) t=0 = lim t 0 t should be also real, because e ta I t M n (R) and M n (R) is a closed topological space. Therefore, gl(n, R) = M n (R). This argument will work for all real valued matrix Lie groups. It shows that: matrix Lie group is REAL = its Lie algebra is REAL. Mahmood Alaghmandan (U of S) Matrix Lie groups and their Lie algebras March 2012 26 / 36

The Lie algebra of general linear group GL(n, F) A is an arbitrary matrix in M n (C), e ta is invertible for all t R. So e ta GL(n, C). Hence, gl(n, C) = M n (C). If A is a real matrix, e ta is real for all t R. On the other hand, if e ta is a real matrix for every t R, we have that A = d e ta I dt (eta ) t=0 = lim t 0 t should be also real, because e ta I t M n (R) and M n (R) is a closed topological space. Therefore, gl(n, R) = M n (R). This argument will work for all real valued matrix Lie groups. It shows that: matrix Lie group is REAL = its Lie algebra is REAL. Mahmood Alaghmandan (U of S) Matrix Lie groups and their Lie algebras March 2012 26 / 36

The Lie algebra of special linear group SL(n, F) det(e ta ) = e t trace(a). So trace(a) = 0, if e ta SL(n, C). On the other hand, if trace(a) = 0, det(e ta ) = e t trace(a) = 1 and so e ta SL(n, C). sl(n, C) = {A M n (C) : trace(a) = 0}. Similarly for SL(n, R), sl(n, R) = {A M n (R) : trace(a) = 0}. Mahmood Alaghmandan (U of S) Matrix Lie groups and their Lie algebras March 2012 27 / 36

The Lie algebra of special linear group SL(n, F) det(e ta ) = e t trace(a). So trace(a) = 0, if e ta SL(n, C). On the other hand, if trace(a) = 0, det(e ta ) = e t trace(a) = 1 and so e ta SL(n, C). sl(n, C) = {A M n (C) : trace(a) = 0}. Similarly for SL(n, R), sl(n, R) = {A M n (R) : trace(a) = 0}. Mahmood Alaghmandan (U of S) Matrix Lie groups and their Lie algebras March 2012 27 / 36

Special Unitary groups. e ta SU(n) if for each t R, (e ta ) = (e ta ) 1 = e ta. Also (e ta ) = e ta. Since e ta = e ta, we have A = d dt (eta ) t=0 = d dt (e ta ) t=0 = A. On the other hand, if A = A (e ta ) = (e ta ) = e ta = (e ta ) 1 which implies that A belong to the Lie algebra of SU(n). So su(n) = {A M n (C) : A = A and trace(a) = 0}. Mahmood Alaghmandan (U of S) Matrix Lie groups and their Lie algebras March 2012 28 / 36

Orthogonal and Special orthogonal group We can definitely predict that o(n) and so(n), the Lie algebras of O(n) and SO(n) respectively, are real matrices. If A tr = A, for all t R. So A o(n). (e ta ) tr = e tatr = e ta = (e ta ) 1 Conversely, if A o(n), for each t we have e ta = (e ta ) 1 = (e ta ) tr = e tatr. If we get derivative from this equation for t = 0 we have A = d dt (e ta ) t=0 = d dt (etatr ) t=0 = A tr. Also note that A tr = A forces the entries of the main diagonal to be zero, so automatically trace(a) = 0. Therefore, o(n) = so(n) = {A M n (R) : A tr = A}. Mahmood Alaghmandan (U of S) Matrix Lie groups and their Lie algebras March 2012 29 / 36

Orthogonal and Special orthogonal group We can definitely predict that o(n) and so(n), the Lie algebras of O(n) and SO(n) respectively, are real matrices. If A tr = A, for all t R. So A o(n). (e ta ) tr = e tatr = e ta = (e ta ) 1 Conversely, if A o(n), for each t we have e ta = (e ta ) 1 = (e ta ) tr = e tatr. If we get derivative from this equation for t = 0 we have A = d dt (e ta ) t=0 = d dt (etatr ) t=0 = A tr. Also note that A tr = A forces the entries of the main diagonal to be zero, so automatically trace(a) = 0. Therefore, o(n) = so(n) = {A M n (R) : A tr = A}. Mahmood Alaghmandan (U of S) Matrix Lie groups and their Lie algebras March 2012 29 / 36

Outline 1 Matrix Lie groups 2 Matrix exponential 3 Lie algebra of a matrix Lie group 4 Lie algebra of some famous matrix Lie groups 5 Geometric interpretation Mahmood Alaghmandan (U of S) Matrix Lie groups and their Lie algebras March 2012 30 / 36

Lie groups Manifold A manifold is a second countable Hausdorff topological space M that is locally homemorphic to an open subset of R n. What does it mean? It means that for each point x M there exists a neighborhood U of x and a homeomorphism φ from U onto some open set in R n. Definition of Lie group A Lie group G is a group as well as a manifold so that the group operation i.e. (x, y) xy and the mapping inverse of the group i.e. x x 1 both are smooth functions. Mahmood Alaghmandan (U of S) Matrix Lie groups and their Lie algebras March 2012 31 / 36

Matrix Lie groups are Lie groups GL(n, C) is a Lie group We know that det : M n (C) C is a continuous map; therefore, GL(n, C) = det 1 (C \ {0}) is an open subset of C n ( R 2n ). Moreover, if we look at matrix product as a combination of coordinate wise multiplication, we can judge that this product is smooth. Consequently, the process of generating the inverse of a matrix is a smooth function. Hence, GL(n, C) is a Lie group. Every closed subgroup of Lie group G is a Lie group. But the definition of linear Lie group implies that every matrix Lie group indeed is a Lie group, since it forms a closed subgroup of GL(n, C) for some n. Mahmood Alaghmandan (U of S) Matrix Lie groups and their Lie algebras March 2012 32 / 36

Matrix Lie groups are Lie groups GL(n, C) is a Lie group We know that det : M n (C) C is a continuous map; therefore, GL(n, C) = det 1 (C \ {0}) is an open subset of C n ( R 2n ). Moreover, if we look at matrix product as a combination of coordinate wise multiplication, we can judge that this product is smooth. Consequently, the process of generating the inverse of a matrix is a smooth function. Hence, GL(n, C) is a Lie group. Every closed subgroup of Lie group G is a Lie group. But the definition of linear Lie group implies that every matrix Lie group indeed is a Lie group, since it forms a closed subgroup of GL(n, C) for some n. Mahmood Alaghmandan (U of S) Matrix Lie groups and their Lie algebras March 2012 32 / 36

The tangent space of Lie groups SO(2) is nothing but the simplest manifold, a circle! For each matrix A so(2), we have that A = So so(2) is bijective with R [ 0 a a 0 ] for some a R. The tangent line at the identity of the group SO(2) is bijective with so(2). Mahmood Alaghmandan (U of S) Matrix Lie groups and their Lie algebras March 2012 33 / 36

Indeed, general theory of Lie groups shows that for each Lie group G, the tangent space of G at the identity of the group is bijective with a Lie algebra. Specially for matrix Lie group G, the tangent space of G at the identity of the group is bijective with g. Mahmood Alaghmandan (U of S) Matrix Lie groups and their Lie algebras March 2012 34 / 36

References. HALL, BRIAN C., Lie groups, Lie algebras, and representations. An elementary introduction. Graduate Texts in Mathematics, 222. Springer-Verlag, New York, 2003. SEPANSKI, MARK R., Compact Lie groups. Graduate Texts in Mathematics, 235. Springer, New York, 2007. STILLWELL, JOHN, Naive Lie theory. Undergraduate Texts in Mathematics. Springer, New York, 2008. WESTRA, D. B., SU(2) and SO(3), http://www.mat.univie.ac.at/ westra/so3su2.pdf. Cartoons from http://thenoisychannel.com Mahmood Alaghmandan (U of S) Matrix Lie groups and their Lie algebras March 2012 35 / 36

Thank You! Mahmood Alaghmandan (U of S) Matrix Lie groups and their Lie algebras March 2012 36 / 36