Notes on Lie Algebras

Similar documents
Symmetries, Fields and Particles. Examples 1.

4. Killing form, root space inner product, and commutation relations * version 1.5 *

Group Theory - QMII 2017

Simple Lie algebras. Classification and representations. Roots and weights

Particles I, Tutorial notes Sessions I-III: Roots & Weights

The Cartan Decomposition of a Complex Semisimple Lie Algebra

Lecture Notes Introduction to Cluster Algebra

Part III Symmetries, Fields and Particles

Simple Lie algebras. Classification and representations. Roots and weights

Classification of semisimple Lie algebras

LIE ALGEBRAS: LECTURE 7 11 May 2010

Cartan s Criteria. Math 649, Dan Barbasch. February 26

INTRODUCTION TO LIE ALGEBRAS. LECTURE 7.

Kac-Moody Algebras. Ana Ros Camacho June 28, 2010

Physics 129B, Winter 2010 Problem Set 4 Solution

e j = Ad(f i ) 1 2a ij/a ii

THE THEOREM OF THE HIGHEST WEIGHT

A 2 G 2 A 1 A 1. (3) A double edge pointing from α i to α j if α i, α j are not perpendicular and α i 2 = 2 α j 2

L(C G (x) 0 ) c g (x). Proof. Recall C G (x) = {g G xgx 1 = g} and c g (x) = {X g Ad xx = X}. In general, it is obvious that

Notes on nilpotent orbits Computational Theory of Real Reductive Groups Workshop. Eric Sommers

Left-invariant Einstein metrics

Highest-weight Theory: Verma Modules

Symmetries, Groups, and Conservation Laws

Topics in Representation Theory: Roots and Weights

Topics in Representation Theory: Roots and Complex Structures

Mic ael Flohr Representation theory of semi-simple Lie algebras: Example su(3) 6. and 20. June 2003

1 v >, which will be G-invariant by construction.

SEMISIMPLE LIE GROUPS

On the Harish-Chandra Embedding

These notes are incomplete they will be updated regularly.

Topics in Representation Theory: SU(n), Weyl Chambers and the Diagram of a Group

10. Cartan Weyl basis

Lecture notes for Mathematical Physics. Joseph A. Minahan 1 Department of Physics and Astronomy Box 516, SE Uppsala, Sweden

Lie and Kac-Moody algebras

Physics 251 Solution Set 4 Spring 2013

Homogeneous para-kähler Einstein manifolds. Dmitri V. Alekseevsky

Exercises Lie groups

GROUP THEORY PRIMER. New terms: so(2n), so(2n+1), symplectic algebra sp(2n)

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

Lie Algebras. Shlomo Sternberg

Root systems. S. Viswanath

INTRODUCTION TO LIE ALGEBRAS. LECTURE 10.

Lecture 11 The Radical and Semisimple Lie Algebras

Weyl s Character Formula for Representations of Semisimple Lie Algebras

LIE ALGEBRAS,II. MIT-Fall 2005

SIMPLE AND POSITIVE ROOTS

A Structure Theorem for Plesken Lie Algebras over Finite Fields

GROUP THEORY PRIMER. New terms: tensor, rank k tensor, Young tableau, Young diagram, hook, hook length, factors over hooks rule

Introduction to Matrix Algebra

Fulton and Harris, Representation Theory, Graduate texts in Mathematics,

7. The classical and exceptional Lie algebras * version 1.4 *

LINEAR ALGEBRA BOOT CAMP WEEK 4: THE SPECTRAL THEOREM

Symmetries, Fields and Particles 2013 Solutions

MAT265 Mathematical Quantum Mechanics Brief Review of the Representations of SU(2)

Background on Chevalley Groups Constructed from a Root System

A method for construction of Lie group invariants

/department of mathematics and computer science

Quantum Field Theory III

Classification of root systems

INTRODUCTION TO LIE ALGEBRAS. LECTURE 2.

The eigenvalues of the quadratic Casimir operator and second-order indices of a simple Lie algebra. Howard E. Haber

Group representations

1: Lie groups Matix groups, Lie algebras

Problems in Linear Algebra and Representation Theory

Representation Theory

1.4 Solvable Lie algebras

MATH 223A NOTES 2011 LIE ALGEBRAS 35

ALGEBRA 8: Linear algebra: characteristic polynomial

Classification of discretely decomposable A q (λ) with respect to reductive symmetric pairs UNIVERSITY OF TOKYO

SIMPLE LIE ALGEBRAS AND THEIR CLASSIFICATION

Lie Theory in Particle Physics

AND AFFINE ROOT SYSTEMS

On the singular elements of a semisimple Lie algebra and the generalized Amitsur-Levitski Theorem

2-STEP NILPOTENT LIE GROUPS ARISING FROM SEMISIMPLE MODULES

2.4 Root space decomposition

The Gelfand-Tsetlin Realisation of Simple Modules and Monomial Bases

Contents. Preface for the Instructor. Preface for the Student. xvii. Acknowledgments. 1 Vector Spaces 1 1.A R n and C n 2

Lie algebras. Alexei Skorobogatov. March 20, Basic definitions and examples 2. 2 Theorems of Engel and Lie 4

BRST and Dirac Cohomology

SPHERICAL UNITARY REPRESENTATIONS FOR REDUCTIVE GROUPS

Symmetries, Fields and Particles 2013 Solutions

Tutorial 5 Clifford Algebra and so(n)

ALGEBRA QUALIFYING EXAM PROBLEMS LINEAR ALGEBRA

The Gelfand-Tsetlin Basis (Too Many Direct Sums, and Also a Graph)

THE SEMISIMPLE SUBALGEBRAS OF EXCEPTIONAL LIE ALGEBRAS

AN UPPER BOUND FOR SIGNATURES OF IRREDUCIBLE, SELF-DUAL gl(n, C)-REPRESENTATIONS

without annihilating, and q is the number of times E α can. This is encoded in the Cartan matrix for the simple roots, A ji = 2 α j α i = q p.

ABSTRACT ALGEBRA WITH APPLICATIONS

msqm 2011/8/14 21:35 page 189 #197

Levi Decomposition of Lie Algebras; Algorithms for its Computation. Mehmet Dagli. A creative component submitted to the graduate faculty

QUANTUM MECHANIC S. Symmetries

IRREDUCIBLE REPRESENTATIONS OF SEMISIMPLE LIE ALGEBRAS. Contents

WOMP 2001: LINEAR ALGEBRA. 1. Vector spaces

CHAPTER 6. Representations of compact groups

NEW REALIZATIONS OF THE MAXIMAL SATAKE COMPACTIFICATIONS OF RIEMANNIAN SYMMETRIC SPACES OF NON-COMPACT TYPE. 1. Introduction and the main results

Weyl Group Representations and Unitarity of Spherical Representations.

arxiv: v1 [math.rt] 15 Oct 2008

X-RAY TRANSFORM ON DAMEK-RICCI SPACES. (Communicated by Jan Boman)

NOTES on LINEAR ALGEBRA 1

A PIERI RULE FOR HERMITIAN SYMMETRIC PAIRS. Thomas J. Enright, Markus Hunziker and Nolan R. Wallach

Transcription:

NEW MEXICO TECH (October 23, 2010) DRAFT Notes on Lie Algebras Ivan G. Avramidi Department of Mathematics New Mexico Institute of Mining and Technology Socorro, NM 87801, USA E-mail: iavramid@nmt.edu

1 1 Lie Algebras A (real or complex) Lie algebra L is an m-dimensional (real or complex) vector space with a antisymmetric bilinear binary operation called the Lie bracket, satisfying the Jacobi identity: for any X, Y, Z L [, ] : L L L, (1.1) [X, [Y, Z] + [Y, [Z, X] + [Z, [X, Y] = 0. (1.2) The algebra is called Abelian if [L, L] = 0. A subspace A L of the Lie algebra L is a subalgebra of L if [A, A] A. A subspace J L is an ideal of L if [J, L] L. Every ideal is a subalgebra. The maximal ideal N satisfying the condition [N, L] = 0 is called the center. The center is always Abelian. Every real Lie algebra L naturally defines a complex Lie algebra L C = L il = {Z Z = X + iy, X, Y L} (1.3) called the complexification of L with the Lie bracket extended by linearity. Then the original real Lie algebra L is called the real form of the complex Lie algebra L C. Every complex Lie algebra L allows a realification (real restriction) to a real Lie algebra L R if one represents the complex vector space as a real vector space of double dimension. Let T a, a = 1,..., m, form a basis in the Lie algebra L. That is, every element X of the Lie algebra g can be represented in the form X = X a T a, (1.4) Then T a are called the generators of the algebra L. The generators must satisfy the commutation relations [T a, T b ] = C c abt c, (1.5) where C a bc are some real constants called the structure constants of the algebra. The structure constants are anti-symmetric in the last two indices and must satisfy the conditions the Jacobi identity C e [a d C d bc] = 0. (1.6) Here the brackets denote the anti-symmetrization over all indices inlcuded in the brackets and the vertical lines indicate the indices excluded from the anti-symmetrization. This identity puts severe restriction on the structure of the Lie algebra and allows the complete classification of all Lie algebras. roots.tex; October 26, 2010; 15:19; p. 1

2 Notice that under the rescaling T a λt a the structure constants rescale accordingly C c ab λc c ab. That is why, the structure constants are defined up to a uniform factor. Moreover, under a linear transformation of the basis they change as tensors in R m. A map ρ : L M (1.7) of a Lie algebra L into a Lie algebra M is a homomorphism if it is linear and ρ([x, Y]) = [ρ(x), ρ(y)]. (1.8) A representation of the Lie algebra L in a vector space V is a homomorphism ρ : L End(V). (1.9) so that the elements of the Lie algebra X are represented by the endomorphisms ρ(x) of the vector space V and the Lie bracket is represented by the commutator of these matrices, ρ([x, Y]) = [ρ(x), ρ(y)]. (1.10) The adjoint representation of the Lie algebra is a homomorphism into the endomorphisms of the Lie algebra, ad : L End(L), (1.11) such that for any X L, ad X End(L) is an endomorphism defined by 2 Compact Semisimple Lie Algebras ad X (Y) = [X, Y]. (1.12) Let C a be m m real matrices defined by (C a ) b c = C b ac. Then the Jacobi identity can be written in the matrix form as the same commutation relations [C a, C b ] = C c abc c. (2.13) This simply means that ad X is represented by a real m m matrix in the sense C(X) = X a C a, (2.14) (ad X Y) a = [C(X)] a by b. (2.15) The Killing form on a Lie algebra is a symmetric bilinear form defined by It has the property where This means that B(X, Y) = tr ad X ad Y = tr C(X)C(Y). (2.16) B([X, Y], Z) + B(Y, [X, Z]) = 0. (2.17) B(X, Y) = B ab X a Y b, (2.18) B ab = tr C a C b = C c adc d bc. (2.19) roots.tex; October 26, 2010; 15:19; p. 2

3 A Lie algebra with no Abelian ideals is called semi-simple. A Lie algebra is semi-simple if and only if the Killing form is non-degenerate. A Lie algebra which has no nontrivial ideals is called simple. A semi-simple Lie algebra is the sum of simple ideals. A Lie algebra is compact if it has a positive-definite quadratic form (, ) such that ([X, Y], Z) + (Y, [X, Z]) = 0. (2.20) Every complex Lie algebra is non-compact since it cannot have a positive definite quadratic form. A Lie algebra of a compact Lie group is compact. Lie algebra is compact semi-simple if and only if the Killing form negativedefinite. For compact semi-simple algebras in particular, tr C(X) = 0, (2.21) tr C a = C b ab = 0. (2.22) We restrict ourselves to compact simple algebras. That is why, the matrix defines a positive definite inner product on the Lie algebra There is a basis in which this metric is Euclidean γ ab = B ab (2.23) (X, Y) = B(X, Y) = γ ab X a Y b. (2.24) γ ab = c 2 δ ab, (2.25) where c is a normalization constant. We will use it to raise and lower group indices. In particular, by defining C cad = γ cb C b ad (2.26) we see that it is antisymmetric in all indices. Every compact algebra is the direct sum of two ideals, the center, and a semisimple algebra. That is, every compact Lie algebra L is the sum of ideals where N is the center and S i are simple algebras. L = N S 1 S n, (2.27) roots.tex; October 26, 2010; 15:19; p. 3

4 3 Simple Lie Algebras 3.1 Root System Let V be a vector space. Let T End(V) be a set of linear transformations of the vector space V. A subspace W is invariant under T if TW W. The set T is called semi-simple if the complement of every invariant subspace is also invariant. A subalgebra H of a semi-simple algebra L is called the Cartan subalgebra if it is the maximal Abelian subalgebra of L, and for any X H the endomorphism ad X is semi-simple. The dimension r of the Cartan subalgebra is called the rank of the Lie algebra L. A linear functional α : H C on the Cartan subalgebra H is called the root if for any X H, the value α(x) is a non-zero eigenvalue of the adjoint endomorphism ad X. In other words, let L α = {Y L ad X Y = α(x)y, X H}. (3.28) be the corresponding eigenspace. Then α is the root if L α 0. Then L α is called the root vector. The roots are the non-zero eigenvalues of the matrix C(X) for X H. The set of all roots is denoted by. For a semi-simple complex Lie algebra L the roots have the following properties: 1. There is the decomposition of the Lie algebra L = H E (3.29) where E = L α ( = L α L α ). (3.30) α α + 2. For any α, dim L α = 1, that is, all eigenvalues are non-degenerate. 3. If α + β 0, then B(L α, L β ) = 0. (3.31) 4. For any root α there is a unique element of the Cartan subalgebra H α H such that for any X H B(H α, X) = α(x). (3.32) roots.tex; October 26, 2010; 15:19; p. 4

5 5. For any root α, α is also a root, that is, α. 6. For any root α, α(h α ) = B(H α, H α ) 0. (3.33) 7. For any root α, if X α L α, and X α L α, then 8. For any two roots α, β such that α + β 0, [X α, X α ] = B(X α, X α )H α. (3.34) [L α, L β ] = L α+β. (3.35) Thus, the Cartan subalgebra H and the root vectors L α give a basis for the Lie algebra L. There is a one-to-one correspondence between the roots α and the elements H α of the Cartan subalgebra. Therefore, there is a root vector E α L α such that for any X H [X, E α ] = B(X, H α )E α. (3.36) It is easy to see that B (α, β) = B(H α, H β ). (3.37) Further, for a complex semi-simple algebra the root system has the following properties. 1. If α, then α is also a root, α, but for any k ±1, kα is not a root, kα. 2. For any two roots α, β such that α ±β there are integers p βα and q βα such that for any integer k, β k = β + kα are roots, β k, if p βα k q βα, and not roots otherwise. Then B(β, α) 2 B(α, α) = (p βα + q βα ). (3.38) 3. For any two roots α, β (p β,α + q β,α ) B(β, α) = 2 γ (p γ,α + q γ,α ). (3.39) 4. Killing form defines a real positive definite metric on the real span of the Cartan subalgebra, H = X X = r α H α, r α R. (3.40) α Moreover, the whole complex Cartan subalgebra is H = H ih. (3.41) roots.tex; October 26, 2010; 15:19; p. 5

6 Now, one can choose as a basis in the Lie algebra a basis in the Cartan subalgebra and the corresponding root vectors. Then the commutation relations for the complex semi-simple Lie algebra takes especially simple form. Namely, for every root one can choose a root vector E α L α such that for all α, β, Here the constants N αβ satisfy and are determined by [H i, H j ] = 0 for all H i, H j H, (3.42) [H i, E α ] = α(h i )E α, for all H i H, (3.43) [E α, E β ] = 0, if α + β 0 and α + β, (3.44) [E α, E α ] = H α, (3.45) [E α, E β ] = N αβ E α+β if α + β. (3.46) N αβ = N α, β, (3.47) Nαβ 2 = q βα(1 p βα ) B(α, α), (3.48) 2 where p and q are determined from the sequence β + kα as defined above. 3.2 Positive Roots, Simple Roots, The root vectors are linearly dependent. We need to find a basis in the root space. Let H be the subalgebra of the Cartan subalgebra defined above. Let X 1,... X r be a basis in H. Then X H is called positive if the first non-zero components is positive. The set of positive roots is denoted by +. A positive root α + is called simple if it cannot be respresented as the sum of two positive roots. The set of all simple roots is denoted by Π. The system of simple roots of a semi-simple algebra has the following properties. 1. If α, β Π then β α Π. 2. If α, β Π and α β, then B(β, α) m α (β) = 2 B(α, α) (3.49) is a nonpositive integer. roots.tex; October 26, 2010; 15:19; p. 6

7 3. The system of symple roots Π is linearly independent and gives a basis in H. Every positive root γ + can be represented in the form where k i are non-negative integers. γ = l k i α i, (3.50) i=1 4. If a positive root γ + is not simple, then it is the sum of a simple root and a positive root, that is, there is positive root β + such that α = γ β Π is a simple root, or, γ = α + β. The Cartan matrix is the r r matrix ( αi, α j ) m i j = 2( ), (3.51) α j, α j where α i, i = 1,..., r, are simple roots and (, ) is the usual inner product in R r. Clearly, the diagonal elements of the matrix are all equal to two. The matrix is not necessarily symmetric, but if m i j = 0, then m ji = 0. The only possible values for the off- diagonal matrix elements are 0, ±1, ±2, and ±3. The Dynkin diagram of a semi-simple Lie algebra is constructed as follows. For every simple root, place a dot. For a simple Lie algebra, the simple roots are at most of two sizes. Darken the dots corresponding to the smaller roots. Connect the i-th and j-th dots by a number of straight lines equal to m i j m ji. For a semi-simple algebra which is not simple, the diagram will have disjoint pieces, each of which corresponds to a simple algebra. 4 Representations of Compact Semisimple Lie Algebras Let L be a complex simple Lie algebra and ρ : L End(V) be a representation of the Lie algebra L in an N-dimensional complex vector space V. Every representation decomposes into a direct sum of irreducible representations. We consider irreducible representations below. A linear functional ν : H C on the Cartan subalgebra H is called the weight of the representation ρ if for any X H, the value ν(x) is a non-zero eigenvalue of the endomorphism ρ(x). In other words, let V ν = {Y L ρ(x)y = ν(x)y, X H}. (4.52) be the corresponding eigenspace. Then ν is the weight of the representation ρ if V ν 0. Then V ν is called the weight space and its elements weight vectors. If α is a root of the Lie algebra L, then the image of the endomorphism ρ(e α ) is in the eigenspace V ν+α, ρ(e α )V V ν+α. roots.tex; October 26, 2010; 15:19; p. 7

8 A weight µ is called the highest weight if for any positive root α of the algebra, µ + α is not a weight and in the weight space V µ there is a vector u such that it generates the whole space V under the action of the endomorphisms ρ(x), that is V = {ρ(x)u X L}. (4.53) We say that a weight ν is positive if it can be represented as a linear combination of simple roots with positive integer coefficients, ν = k α α, (4.54) α Π where k α are positive integers. This obviously defines a partial ordering of weights. Then the highest weight µ of the representation is the largest weight. A weight ν is called simple if the corresponding weight space V ν is one-dimensional, dim V ν = 1. The highest weight of any representation is simple. Every weight ν can be represented as a difference of the highest weight and a positive weight, that is, ν = µ λ, (4.55) where with positive coefficients k α. λ = k α α (4.56) α Π Every representation has a unique highest weight. For any simple root α, is a positive integer. B(α, µ) 2 B(α, α) (4.57) Every functional µ satisfying this condition determines a finite-dimensional representation. Thus, the highest weight characterizes the representation uniquely. The set W of all weights of a representation is called the weight diagram of the representation. The dimension of an irreducible finite-dimensional representation ρ with the highest weight µ is given by the Weyl formula B(α, µ + σ) dim V =, (4.58) B(α, σ) α + where is one-half of the sum of all positive roots of the algebra. σ = 1 α (4.59) 2 α + roots.tex; October 26, 2010; 15:19; p. 8

9 A basis in the space of all weights is given by the simple roots of the algebra α Π. For a given basis α i Π of simple roots we define the dual basis β j by 2 B(β j, α i ) B(β j, β j ) = δ i j. (4.60) The elements of the dual basis are called fundamental weights. Every fundamental weight β determines an irreducible representation ρ β called the fundamental representation with the highest weight β. The number of inequivalent fundamental representations is equal to the rank of the algebra. An irreducible representation ρ is determined by its highest weight µ or by the positive integers B(α, µ) m α = 2 B(α, α), α Π, (4.61) which are equal to the coefficients of the expansion of the highest weight in terms of the simple roots µ = m α α. (4.62) One can show that for an irreducible N-dimensional representation ρ the matrix, called the Casimir operator, γ ab ρ(t a )ρ(t b ), (4.63) where γ ab is the inverse of the matrix γ ab, commutes with all generators and, therefore, is proportional to the identity α Π γ ab ρ(t a )ρ(t b ) = C 2 (ρ)i, (4.64) where C 2 (ρ) is a number characterizing the representation. Therefore, tr ρ(t a )ρ(t b ) = N m C 2(ρ)γ ab. (4.65) This means that tr ρ(x)ρ(y) = N m C 2(ρ)(X, Y). (4.66) Therefore, for an element X = X a C a we have similarly, for any ρ(x) = X a ρ(t a ) X a = m N X a = γ ab tr (XC b ), (4.67) 1 C 2 (ρ) γab tr [ρ(x)ρ(t b )]. (4.68) roots.tex; October 26, 2010; 15:19; p. 9

10 5 S U(N) The algebra su(n) is formed by N N complex traceless anti-hermitian matrices. Its dimension is equal to m = N 2 1. The Cartan subalgebra is generated by N N traceless diagonal purely imaginary matrices; its dimension (the rank of the algebra) is r = (N 1). The complexification of the algebra su(n) is sl(n, C) which contains any traceless N N matrices. The roots are described as follows. Let e i, i = 1,..., N + 1, be an orthonormal basis in the Euclidean space R N+1. Let N+1 v = e i. (5.69) i=1 Let H be a hyperplane at the end of the vector v, which is orthogonal to the vector v. Let Z N+1 be the lattice in R N+1 with integer coordinates Z N+1 = u N+1 RN+1 u = k i e i, i=1 k i Z. (5.70) The set Z N+1 H is the set of all points on the hyperplane H with integer coefficients. Let be the set of vectors in Z N+1 H of length 2. Then (su(n)) = { α i j = e i e j i, j = 1,..., N; i j }. (5.71) This is nothing but the root system of S U(N). It contains N(N 1) vectors. The set of positive roots is + (su(n)) = { α i j = e i e j i, j = 1,..., N; i < j }. (5.72) The system of simple roots is given by Π(su(N)) = { α i = e i e i+1 i = 1,..., N 1 } (5.73) It contains N 1 vectors. Its Cartan matrix is 2 1 0... 0 ( αi, α j ) m i j = 2( ) = α j, α j 1 2 1... 0 0 1 2... 0. (5.74)........... 0 0 0... 2 roots.tex; October 26, 2010; 15:19; p. 10