Simple Lie algebras. Classification and representations. Roots and weights

Size: px
Start display at page:

Download "Simple Lie algebras. Classification and representations. Roots and weights"

Transcription

1 Chapter 3 Simple Lie algebras. Classification and representations. Roots and weights 3.1 Cartan subalgebra. Roots. Canonical form of the algebra We consider a semi-simple (i.e. with no abelian ideal) Lie algebra. We want to construct a canonical form of commutation relations modeled on the case of SU(2) [J z,j ± ]=±J ± [J +,J ]=2J z. (3-1) It will be important to consider the algebra over C, at the price of complexifying it if it was originally real. The adjoint representation will be used. As it is a faithful representation for a semi-simple algebra, (i.e. ad X =0 X = 0, see exercise B of Chap. 2), no information is lost. It may also be useful to remember that the complex algebra has a real compact version, in which the real structure constants lead to a negative definite Killing form, and, as the representations can be taken unitary, the elements of the Lie algebra (the infinitesimal generators) may be taken as Hermitian (or antihermitian, depending on our conventions) Cartan subalgebra We define first the notion of Cartan subalgebra. This is a maximal abelian subalgebra of g such that all its elements are diagonalisable (hence simultaneously diagonalisable) in the adjoint representation. That such an algebra exists is non trivial and must be established, but we shall admit it. If we choose to work with the unitary form of the adjoint representation, the elements of g are Hermitian matrices, and assuming that the elements of h are commuting among themselves ensures that they are simultaneously diagonalizable. This Cartan subalgebra is non unique, but one may prove that two distinct choices are related by an automorphism of the algebra g. 71

2 72 CHAPTER 3. CLASSIFICATION OF SIMPLE ALGEBRAS. ROOTS AND WEIGHTS. For instance if g is the Lie algebra of a Lie group G and if h is a Cartan subalgebra of g, any conjugate ghg 1 of h by an arbitrary element of G is another Cartan subalgebra. Let h be a Cartan subalgebra, call l its dimension, it is independent of the choice of h and it is called the rank of g. For su(2), this rank is 1, (the choice of J z for example); for su(n), the rank is n 1. Indeed for su(n), a Cartan algebra is generated 1 by diagonal traceless matrices, a basis of which is given by the n 1 matrices H 1 = diag (1, 1, 0,, 0), H 2 = diag (0, 1, 1, 0,, 0),,H n 1 = diag (0,, 0, 1, 1). (3-2) An arbitrary matrix of the Lie algebra, (in that representation), (anti-)hermitian and traceless, is diagonalisable by a unitary transformation; its diagonal form is traceless and is thus expressed as a linear combination of the h j ; the original matrix is thus conjugate by a unitary transformation of a linear combination of the h j. This is a general property, and one proves (Cartan, see [Bu], chap. 16) that If g is the Lie algebra of a group G, any element of g is conjugate by G of an element of h. Application. Canonical form of antisymmetric matrices. Using the previous statement, prove the Proposition If A = A = A T is a real skew-symmetric matrix ( of dimension ) N, one may find a real orthogonal matrix O such that A = ODO T 0 µ j where D = diag ( ) if N = 2n and D = µ j 0 ( ) 0 µ j diag (0, ) if N =2n +1, with real µ j. µ j 0 If one allows ( the complexification ) of orthogonal matrices, ( one ) may fully diagonalise the matrix A in the form iµ j 0 iµ j 0 D = diag ( ) or D = diag (0, ). For a proof making only use of matrix 0 iµ j 0 iµ j theory, see for example [M.L. Mehta, Elements of Matrix Theory, p 41] Canonical basis of the Lie algebra Let H i, i =1,,l be a basis of h. It is convenient to choose the H i Hermitian. By definition [H i,h j ] = 0, (abelian subalgebra) or more precisely, since we are in the adjoint representation, [ad H i, ad H j ] = 0. (3-3) We may thus diagonalise simultaneously these ad H i. We already know (some?) eigenvectors of vanishing eigenvalue since i, j, ad H i H j = 0, and we may complete them to make a basis by finding a set of eigenvectors E α linearly independent of the H j ad H i E α = α (i) E α (3-4) i.e. a set of elements of g such that [H i,e α ]=α (i) E α, (3-5) 1 We use momentarily the representation of definition (made of n n matrices) rather than the adjoint representation.

3 3.1. CARTAN SUBALGEBRA. ROOTS. CANONICAL FORM OF THE ALGEBRA 73 with the α (i) not all vanishing (otherwise the subalgebra h would not be maximal). The space h. In these expressions, the α (i) are eigenvalues of the operators ad H i. Since we chose Hermitian ad H i, their eigenvalues α (i) are real. By linearity, for an arbitrary element of h written as H = i hi H i, ad (H)E α = α(h)e α, (3-6) and the eigenvalue of ad (H) on E α is α(h) := i hi α (i), which is a linear form on h. In general linear forms on a vector space E form a vector space E, called the dual space of E. One may thus consider the root α, of components α (i), as a vector of the dual space of h, hence α h, the root space. Note that α(h i )=α (i). Roots enjoy the following properties 1. if α is a root, α in another root; 2. the eigenspace of the eigenvalue α is of dimension 1 (no multiplicity); 3. if α is a root, the only roots of the form λα are ±α; 4. roots α generate all the dual space h. For proofs of 1., 2., 3., see below, for 4. see exercise A. Number of roots. Since the H j are diagonalisable, the total number of their eigenvectors E α and H i must be equal to the dimension of the space, here the dimension d of the adjoint representation, i.e. of the Lie algebra g. As any (non vanishing by definition) root comes along with its opposite, the number of roots α is even and equal to d l (with l = rank(g)). We denote the set of roots. In the basis {H i,e α } of g, the Killing form takes a simple form (H i,e α ) = 0 (E α,e β ) = 0 unless α + β =0. (3-7) To show that, we write (H, [H,E α ]) = α(h )(H, E α ), and also, using the definition of the Killing form and the cyclicity of the trace (H, [H,E α ]) = tr (ad H[ad H, ad E α ]) = tr ([ad H, ad H ] ad E α ) = 0 (3-8) since [ad H, ad H ] = 0. It follows that H, H h, α(h )(H, E α ) = 0, hence that (H, E α ) = 0. Likewise ([H, E α ],E β )=α(h)(e α,e β )= (E α, [H, E β ]) = β(h)(e α,e β ) (3-9) again by the cyclicity of the trace, and thus (E α,e β ) = 0 if H : (α + β)(h) 0, i.e. if α + β 0. Note that the point 1. above follows simply from (3-7): if α were not a root, E α would be orthogonal to all elements of the basis hence to any element of g, and the form would be degenerate, contrary to the hypothesis of semi-simplicity (and Cartan s criterion). For an elegant proof of points 2. et 3., see [OR, p. 29]. The restriction of this form to the Cartan subalgebra is non-degenerate, since otherwise one would have H h, H h : (H, H ) = 0, but (H, E α ) = 0, thus X g, (H, X) = 0 and the form would be degenerate, contrary to the hypothesis of semi-simplicity (and Cartan s criterion, Chap. 1, 4.4). The Killing form being non-degenerate on h, it induces an isomorphism between h and h : to α h one associates the unique H α h such that H h α(h) =(H α,h). (3-10)

4 74 CHAPTER 3. CLASSIFICATION OF SIMPLE ALGEBRAS. ROOTS AND WEIGHTS. (Or said differently, one solves the linear system g ij h j α = α (i) which is of Cramer type since g ij =(H i,h j ) is invertible.) One has also a bilinear form on h inherited from the Killing form α, β =(H α,h β ), (3-11) which we are going to use in 2 to study the geometry of the root system. It remains to find the commutation relations of the E α among themselves. Using the Jacobi identity, one finds that ad H i [E α,e β ]=[H i, [E α,e β ]] = [E α, [H i,e β ] [E β, [H i,e α ]] = (α + β) (i) [E α,e β ]. (3-12) Invoking the trivial multiplicity (=1) of roots, one sees that three cases may occur. If α + β is a root, [E α,e β ] is proportional to E α+β, with a proportionality coefficient N αβ which will be shown below to be non zero (see 2.1 and exercise B). If α + β 0 is not a root, [E α,e β ] must vanish. Finally if α + β = 0, [E α,e α ] is an eigenvector of all ad H i with a vanishing eigenvalue, thus [E α,e α ]=H h. To determine that H, let us proceed like in (3-9) (H i, [E α,e α ]) = tr (ad H i [ad E α, ad E α ]) = tr ([ad H i, ad E α ] ad E α ) = α (i) (E α,e α ) = (H i,h α )(E α,e α ) (3-13) hence [E α,e α ] = (E α,e α )H α. (3-14) To recapitulate, we have constructed a canonical basis of the algebra g [H i,h j ] = 0 [H i,e α ]= α (i) E α N αβ E α+β if α + β is a root [E α,e β ]= (E α,e α ) H α if α + β =0 0 otherwise (3-15) Up to that point, the normalisation of the vectors H i and E α has not been fixed. It is common to choose (H i,h j )=δ ij (E α,e β )=δ α+β,0. (3-15) (Indeed, the restriction of the Killing form to h, after multiplication by i to make the ad H i Hermitian, is positive definite.) With that normalisation, H α defined above by (3-10) satisfies also Note that E α,e α and H α form an su(2) subalgebra H α = α.h := α (i) H i. (3-16) [H α,e ±α ]=± α, α E ±α [E α,e α ]=H α. (3-17)

5 3.5. YOUNG TABLEAUX AND REPRESENTATIONS OF GL(N) AND SU(N) 99 Exercises for chapter 3 A. Cartan algebra and roots 1. Show that any element X of g may be written as X = x i H i + α xα E α with the notations of For an arbitrary H in the Cartan algebra, determine the action of ad (H) on such a vector X; conclude that ad (H)ad (H )X = α xα α(h)α(h )E α and taking into account that the eigenspace of each root α has dimension 1, cf point 2. du 3.1.2, that the Killing form reads (H, H ) = tr (ad (H)ad (H )) = α(h)α(h ). (3-81) α 2. One wants to show that roots α defined by (3-5) or (3-6) generate all the dual space h of the Cartan subalgebra h. Prove that if it were not so, there would exist an element H of h such that α α(h) = 0. (3-82) Using (3-81) show that this would imply H h, (H, H ) = 0. Why is that impossible in a semi-simple algebra? (see the discussion before equation (3-10)). 3. Variant of the previous argument: under the assumption of 2. and thus of (3-82), show that H would commute with all H i and all the E α, thus would belong to the center of g. Prove that the center of an algebra is an abelian ideal. Conclude in the case of a semi-simple algebra. B. Computation of the N αβ 1. Show that the real constants N αβ satisfy N αβ = N βα and, by complex conjugation of [E α,e β ]=N αβ E α+β that N αβ = N α, β. (3-83) 2. Consider three roots satisfying α + β + γ = 0. Writing the Jacobi identity for the triplet E α,e β,e γ, show that α (i) N βγ + cycl. = 0. Derive from it the relation N αβ = N β, α β = N α β,α. (3-84) 3. Considering the α-chain through β and the two integers p et q defined in 3.2.1, write the Jacobi identity for E α, E α and E β+kα, with p k q, and show that it implies α, β + kα = N α,β+kα N α,β+(k 1)α + N β+kα,α N α,β+(k+1)α. Let f(k) := N α,β+kα N α, β kα. Using the relations (3-84), show that the previous equation may be recast as α, β + kα = f(k) f(k 1). (3-85) 4. What are f(q) et f(q 1)? Show that the recursion relation (3-85) is solved by f(k) = (N α,β+kα ) 2 =(k q) α, β + 1 (k + q + 1). (3-86) 2 What is f(p 1)? Show that the expression (3-21) is recovered. Show that (3-86) is in accord with (3-23). The sign of the square root is still to be determined..., see [Gi].

Simple Lie algebras. Classification and representations. Roots and weights

Simple Lie algebras. Classification and representations. Roots and weights Chapter 3 Simple Lie algebras. Classification and representations. Roots and weights 3.1 Cartan subalgebra. Roots. Canonical form of the algebra We consider a semi-simple (i.e. with no abelian ideal) Lie

More information

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

4. Killing form, root space inner product, and commutation relations * version 1.5 * 4. Killing form, root space inner product, and commutation relations * version 1.5 * Matthew Foster September 12, 2016 Contents 4.1 Weights in the Cartan-Weyl basis; rank-r bases for H and H 1 4.2 The

More information

Symmetries, Fields and Particles. Examples 1.

Symmetries, Fields and Particles. Examples 1. Symmetries, Fields and Particles. Examples 1. 1. O(n) consists of n n real matrices M satisfying M T M = I. Check that O(n) is a group. U(n) consists of n n complex matrices U satisfying U U = I. Check

More information

Notes on Lie Algebras

Notes on Lie Algebras 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

More information

LIE ALGEBRAS: LECTURE 7 11 May 2010

LIE ALGEBRAS: LECTURE 7 11 May 2010 LIE ALGEBRAS: LECTURE 7 11 May 2010 CRYSTAL HOYT 1. sl n (F) is simple Let F be an algebraically closed field with characteristic zero. Let V be a finite dimensional vector space. Recall, that f End(V

More information

10. Cartan Weyl basis

10. Cartan Weyl basis 10. Cartan Weyl basis 1 10. Cartan Weyl basis From this point on, the discussion will be restricted to semi-simple Lie algebras, which are the ones of principal interest in physics. In dealing with the

More information

The Cartan Decomposition of a Complex Semisimple Lie Algebra

The Cartan Decomposition of a Complex Semisimple Lie Algebra The Cartan Decomposition of a Complex Semisimple Lie Algebra Shawn Baland University of Colorado, Boulder November 29, 2007 Definition Let k be a field. A k-algebra is a k-vector space A equipped with

More information

Group Theory - QMII 2017

Group Theory - QMII 2017 Group Theory - QMII 017 Reminder Last time we said that a group element of a matrix lie group can be written as an exponent: U = e iαaxa, a = 1,..., N. We called X a the generators, we have N of them,

More information

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

Fulton and Harris, Representation Theory, Graduate texts in Mathematics, Week 14: Group theory primer 1 Useful Reading material Fulton and Harris, Representation Theory, Graduate texts in Mathematics, Springer 1 SU(N) Most of the analysis we are going to do is for SU(N). So

More information

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

Particles I, Tutorial notes Sessions I-III: Roots & Weights Particles I, Tutorial notes Sessions I-III: Roots & Weights Kfir Blum June, 008 Comments/corrections regarding these notes will be appreciated. My Email address is: kf ir.blum@weizmann.ac.il Contents 1

More information

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

Notes on nilpotent orbits Computational Theory of Real Reductive Groups Workshop. Eric Sommers Notes on nilpotent orbits Computational Theory of Real Reductive Groups Workshop Eric Sommers 17 July 2009 2 Contents 1 Background 5 1.1 Linear algebra......................................... 5 1.1.1

More information

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

Mic ael Flohr Representation theory of semi-simple Lie algebras: Example su(3) 6. and 20. June 2003 Handout V for the course GROUP THEORY IN PHYSICS Mic ael Flohr Representation theory of semi-simple Lie algebras: Example su(3) 6. and 20. June 2003 GENERALIZING THE HIGHEST WEIGHT PROCEDURE FROM su(2)

More information

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

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 ALGEBRAIC GROUPS 61 5. Root systems and semisimple Lie algebras 5.1. Characteristic 0 theory. Assume in this subsection that chark = 0. Let me recall a couple of definitions made earlier: G is called reductive

More information

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

Topics in Representation Theory: SU(n), Weyl Chambers and the Diagram of a Group Topics in Representation Theory: SU(n), Weyl hambers and the Diagram of a Group 1 Another Example: G = SU(n) Last time we began analyzing how the maximal torus T of G acts on the adjoint representation,

More information

Representations of su(2)

Representations of su(2) Representations of su2 The purpose of these notes is to construct the representations of su2 using the method of weightvectors, based on the discussion of the representations of sl2, R in the notes for

More information

Topics in Representation Theory: Roots and Weights

Topics in Representation Theory: Roots and Weights Topics in Representation Theory: Roots and Weights 1 The Representation Ring Last time we defined the maximal torus T and Weyl group W (G, T ) for a compact, connected Lie group G and explained that our

More information

Lie Algebras. Shlomo Sternberg

Lie Algebras. Shlomo Sternberg Lie Algebras Shlomo Sternberg March 8, 2004 2 Chapter 5 Conjugacy of Cartan subalgebras It is a standard theorem in linear algebra that any unitary matrix can be diagonalized (by conjugation by unitary

More information

/department of mathematics and computer science

/department of mathematics and computer science Construction of Chevalley Bases of Lie Algebras Dan Roozemond Joint work with Arjeh M. Cohen May 14th, 2009, Computeralgebratagung, Universität Kassel http://www.win.tue.nl/~droozemo/ Outline 2 of 30 What

More information

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

LECTURE 25-26: CARTAN S THEOREM OF MAXIMAL TORI. 1. Maximal Tori LECTURE 25-26: CARTAN S THEOREM OF MAXIMAL TORI 1. Maximal Tori By a torus we mean a compact connected abelian Lie group, so a torus is a Lie group that is isomorphic to T n = R n /Z n. Definition 1.1.

More information

Lecture notes on Quantum Computing. Chapter 1 Mathematical Background

Lecture notes on Quantum Computing. Chapter 1 Mathematical Background Lecture notes on Quantum Computing Chapter 1 Mathematical Background Vector states of a quantum system with n physical states are represented by unique vectors in C n, the set of n 1 column vectors 1 For

More information

Representations of Matrix Lie Algebras

Representations of Matrix Lie Algebras Representations of Matrix Lie Algebras Alex Turzillo REU Apprentice Program, University of Chicago aturzillo@uchicago.edu August 00 Abstract Building upon the concepts of the matrix Lie group and the matrix

More information

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

GROUP THEORY PRIMER. New terms: so(2n), so(2n+1), symplectic algebra sp(2n) GROUP THEORY PRIMER New terms: so(2n), so(2n+1), symplectic algebra sp(2n) 1. Some examples of semi-simple Lie algebras In the previous chapter, we developed the idea of understanding semi-simple Lie algebras

More information

over a field F with char F 2: we define

over a field F with char F 2: we define Chapter 3 Involutions In this chapter, we define the standard involution (also called conjugation) on a quaternion algebra. In this way, we characterize division quaternion algebras as noncommutative division

More information

Part III Symmetries, Fields and Particles

Part III Symmetries, Fields and Particles Part III Symmetries, Fields and Particles Theorems Based on lectures by N. Dorey Notes taken by Dexter Chua Michaelmas 2016 These notes are not endorsed by the lecturers, and I have modified them (often

More information

INTRODUCTION TO LIE ALGEBRAS. LECTURE 2.

INTRODUCTION TO LIE ALGEBRAS. LECTURE 2. INTRODUCTION TO LIE ALGEBRAS. LECTURE 2. 2. More examples. Ideals. Direct products. 2.1. More examples. 2.1.1. Let k = R, L = R 3. Define [x, y] = x y the cross-product. Recall that the latter is defined

More information

SEMISIMPLE LIE GROUPS

SEMISIMPLE LIE GROUPS SEMISIMPLE LIE GROUPS BRIAN COLLIER 1. Outiline The goal is to talk about semisimple Lie groups, mainly noncompact real semisimple Lie groups. This is a very broad subject so we will do our best to be

More information

Topics in Representation Theory: Roots and Complex Structures

Topics in Representation Theory: Roots and Complex Structures Topics in Representation Theory: Roots and Complex Structures 1 More About Roots To recap our story so far: we began by identifying an important abelian subgroup of G, the maximal torus T. By restriction

More information

Lie Theory in Particle Physics

Lie Theory in Particle Physics Lie Theory in Particle Physics Tim Roethlisberger May 5, 8 Abstract In this report we look at the representation theory of the Lie algebra of SU(). We construct the general finite dimensional irreducible

More information

Notes on SU(3) and the Quark Model

Notes on SU(3) and the Quark Model Notes on SU() and the Quark Model Contents. SU() and the Quark Model. Raising and Lowering Operators: The Weight Diagram 4.. Triangular Weight Diagrams (I) 6.. Triangular Weight Diagrams (II) 8.. Hexagonal

More information

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

GROUP THEORY PRIMER. New terms: tensor, rank k tensor, Young tableau, Young diagram, hook, hook length, factors over hooks rule GROUP THEORY PRIMER New terms: tensor, rank k tensor, Young tableau, Young diagram, hook, hook length, factors over hooks rule 1. Tensor methods for su(n) To study some aspects of representations of a

More information

Math 350 Fall 2011 Notes about inner product spaces. In this notes we state and prove some important properties of inner product spaces.

Math 350 Fall 2011 Notes about inner product spaces. In this notes we state and prove some important properties of inner product spaces. Math 350 Fall 2011 Notes about inner product spaces In this notes we state and prove some important properties of inner product spaces. First, recall the dot product on R n : if x, y R n, say x = (x 1,...,

More information

THE THEOREM OF THE HIGHEST WEIGHT

THE THEOREM OF THE HIGHEST WEIGHT THE THEOREM OF THE HIGHEST WEIGHT ANKE D. POHL Abstract. Incomplete notes of the talk in the IRTG Student Seminar 07.06.06. This is a draft version and thought for internal use only. The Theorem of the

More information

Symmetries, Groups, and Conservation Laws

Symmetries, Groups, and Conservation Laws Chapter Symmetries, Groups, and Conservation Laws The dynamical properties and interactions of a system of particles and fields are derived from the principle of least action, where the action is a 4-dimensional

More information

1.4 Solvable Lie algebras

1.4 Solvable Lie algebras 1.4. SOLVABLE LIE ALGEBRAS 17 1.4 Solvable Lie algebras 1.4.1 Derived series and solvable Lie algebras The derived series of a Lie algebra L is given by: L (0) = L, L (1) = [L, L],, L (2) = [L (1), L (1)

More information

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

Classification of discretely decomposable A q (λ) with respect to reductive symmetric pairs UNIVERSITY OF TOKYO UTMS 2011 8 April 22, 2011 Classification of discretely decomposable A q (λ) with respect to reductive symmetric pairs by Toshiyuki Kobayashi and Yoshiki Oshima T UNIVERSITY OF TOKYO GRADUATE SCHOOL OF

More information

2.4 Root space decomposition

2.4 Root space decomposition 34 CHAPTER 2. SEMISIMPLE LIE ALGEBRAS 2.4 Root space decomposition Let L denote a semisimple Lie algebra in this section. We will study the detailed structure of L through its adjoint representation. 2.4.1

More information

ALGEBRA 8: Linear algebra: characteristic polynomial

ALGEBRA 8: Linear algebra: characteristic polynomial ALGEBRA 8: Linear algebra: characteristic polynomial Characteristic polynomial Definition 8.1. Consider a linear operator A End V over a vector space V. Consider a vector v V such that A(v) = λv. This

More information

Physics 129B, Winter 2010 Problem Set 4 Solution

Physics 129B, Winter 2010 Problem Set 4 Solution Physics 9B, Winter Problem Set 4 Solution H-J Chung March 8, Problem a Show that the SUN Lie algebra has an SUN subalgebra b The SUN Lie group consists of N N unitary matrices with unit determinant Thus,

More information

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

Cartan s Criteria. Math 649, Dan Barbasch. February 26 Cartan s Criteria Math 649, 2013 Dan Barbasch February 26 Cartan s Criteria REFERENCES: Humphreys, I.2 and I.3. Definition The Cartan-Killing form of a Lie algebra is the bilinear form B(x, y) := Tr(ad

More information

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

Kac-Moody Algebras. Ana Ros Camacho June 28, 2010 Kac-Moody Algebras Ana Ros Camacho June 28, 2010 Abstract Talk for the seminar on Cohomology of Lie algebras, under the supervision of J-Prof. Christoph Wockel Contents 1 Motivation 1 2 Prerequisites 1

More information

INTRODUCTION TO LIE ALGEBRAS. LECTURE 10.

INTRODUCTION TO LIE ALGEBRAS. LECTURE 10. INTRODUCTION TO LIE ALGEBRAS. LECTURE 10. 10. Jordan decomposition: theme with variations 10.1. Recall that f End(V ) is semisimple if f is diagonalizable (over the algebraic closure of the base field).

More information

Linear Algebra. Min Yan

Linear Algebra. Min Yan Linear Algebra Min Yan January 2, 2018 2 Contents 1 Vector Space 7 1.1 Definition................................. 7 1.1.1 Axioms of Vector Space..................... 7 1.1.2 Consequence of Axiom......................

More information

Classification of semisimple Lie algebras

Classification of semisimple Lie algebras Chapter 6 Classification of semisimple Lie algebras When we studied sl 2 (C), we discovered that it is spanned by elements e, f and h fulfilling the relations: [e, h] = 2e, [ f, h] = 2 f and [e, f ] =

More information

ABSTRACT ALGEBRA WITH APPLICATIONS

ABSTRACT ALGEBRA WITH APPLICATIONS ABSTRACT ALGEBRA WITH APPLICATIONS IN TWO VOLUMES VOLUME I VECTOR SPACES AND GROUPS KARLHEINZ SPINDLER Darmstadt, Germany Marcel Dekker, Inc. New York Basel Hong Kong Contents f Volume I Preface v VECTOR

More information

Lecture 11 The Radical and Semisimple Lie Algebras

Lecture 11 The Radical and Semisimple Lie Algebras 18.745 Introduction to Lie Algebras October 14, 2010 Lecture 11 The Radical and Semisimple Lie Algebras Prof. Victor Kac Scribe: Scott Kovach and Qinxuan Pan Exercise 11.1. Let g be a Lie algebra. Then

More information

Symmetric and anti symmetric matrices

Symmetric and anti symmetric matrices Symmetric and anti symmetric matrices In linear algebra, a symmetric matrix is a square matrix that is equal to its transpose. Formally, matrix A is symmetric if. A = A Because equal matrices have equal

More information

JUST THE MATHS UNIT NUMBER 9.9. MATRICES 9 (Modal & spectral matrices) A.J.Hobson

JUST THE MATHS UNIT NUMBER 9.9. MATRICES 9 (Modal & spectral matrices) A.J.Hobson JUST THE MATHS UNIT NUMBER 9.9 MATRICES 9 (Modal & spectral matrices) by A.J.Hobson 9.9. Assumptions and definitions 9.9.2 Diagonalisation of a matrix 9.9.3 Exercises 9.9.4 Answers to exercises UNIT 9.9

More information

THE EULER CHARACTERISTIC OF A LIE GROUP

THE EULER CHARACTERISTIC OF A LIE GROUP THE EULER CHARACTERISTIC OF A LIE GROUP JAY TAYLOR 1 Examples of Lie Groups The following is adapted from [2] We begin with the basic definition and some core examples Definition A Lie group is a smooth

More information

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

e j = Ad(f i ) 1 2a ij/a ii A characterization of generalized Kac-Moody algebras. J. Algebra 174, 1073-1079 (1995). Richard E. Borcherds, D.P.M.M.S., 16 Mill Lane, Cambridge CB2 1SB, England. Generalized Kac-Moody algebras can be

More information

Introduction to Group Theory

Introduction to Group Theory Chapter 10 Introduction to Group Theory Since symmetries described by groups play such an important role in modern physics, we will take a little time to introduce the basic structure (as seen by a physicist)

More information

On the Harish-Chandra Embedding

On the Harish-Chandra Embedding On the Harish-Chandra Embedding The purpose of this note is to link the Cartan and the root decompositions. In addition, it explains how we can view a Hermitian symmetric domain as G C /P where P is a

More information

Foundations of Matrix Analysis

Foundations of Matrix Analysis 1 Foundations of Matrix Analysis In this chapter we recall the basic elements of linear algebra which will be employed in the remainder of the text For most of the proofs as well as for the details, the

More information

Clifford Algebras and Spin Groups

Clifford Algebras and Spin Groups Clifford Algebras and Spin Groups Math G4344, Spring 2012 We ll now turn from the general theory to examine a specific class class of groups: the orthogonal groups. Recall that O(n, R) is the group of

More information

arxiv:math-ph/ v1 31 May 2000

arxiv:math-ph/ v1 31 May 2000 An Elementary Introduction to Groups and Representations arxiv:math-ph/0005032v1 31 May 2000 Author address: Brian C. Hall University of Notre Dame, Department of Mathematics, Notre Dame IN 46556 USA E-mail

More information

Isotropic harmonic oscillator

Isotropic harmonic oscillator Isotropic harmonic oscillator 1 Isotropic harmonic oscillator The hamiltonian of the isotropic harmonic oscillator is H = h m + 1 mω r (1) = [ h d m dρ + 1 ] m ω ρ, () ρ=x,y,z a sum of three one-dimensional

More information

1 Linear Algebra Problems

1 Linear Algebra Problems Linear Algebra Problems. Let A be the conjugate transpose of the complex matrix A; i.e., A = A t : A is said to be Hermitian if A = A; real symmetric if A is real and A t = A; skew-hermitian if A = A and

More information

Highest-weight Theory: Verma Modules

Highest-weight Theory: Verma Modules Highest-weight Theory: Verma Modules Math G4344, Spring 2012 We will now turn to the problem of classifying and constructing all finitedimensional representations of a complex semi-simple Lie algebra (or,

More information

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

Lecture 10: A (Brief) Introduction to Group Theory (See Chapter 3.13 in Boas, 3rd Edition) Lecture 0: A (Brief) Introduction to Group heory (See Chapter 3.3 in Boas, 3rd Edition) Having gained some new experience with matrices, which provide us with representations of groups, and because symmetries

More information

Tutorial 5 Clifford Algebra and so(n)

Tutorial 5 Clifford Algebra and so(n) Tutorial 5 Clifford Algebra and so(n) 1 Definition of Clifford Algebra A set of N Hermitian matrices γ 1, γ,..., γ N obeying the anti-commutator γ i, γ j } = δ ij I (1) is the basis for an algebra called

More information

Physics 251 Solution Set 4 Spring 2013

Physics 251 Solution Set 4 Spring 2013 Physics 251 Solution Set 4 Spring 2013 1. This problem concerns the Lie group SO(4) and its Lie algebra so(4). (a) Work out the Lie algebra so(4) and verify that so(4) = so(3) so(3). The defining representation

More information

LIE ALGEBRAS: LECTURE 3 6 April 2010

LIE ALGEBRAS: LECTURE 3 6 April 2010 LIE ALGEBRAS: LECTURE 3 6 April 2010 CRYSTAL HOYT 1. Simple 3-dimensional Lie algebras Suppose L is a simple 3-dimensional Lie algebra over k, where k is algebraically closed. Then [L, L] = L, since otherwise

More information

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

7. The classical and exceptional Lie algebras * version 1.4 * 7 The classical and exceptional Lie algebras * version 4 * Matthew Foster November 4, 06 Contents 7 su(n): A n 7 Example: su(4) = A 3 4 7 sp(n): C n 5 73 so(n): D n 9 74 so(n + ): B n 3 75 Classical Lie

More information

WOMP 2001: LINEAR ALGEBRA. 1. Vector spaces

WOMP 2001: LINEAR ALGEBRA. 1. Vector spaces WOMP 2001: LINEAR ALGEBRA DAN GROSSMAN Reference Roman, S Advanced Linear Algebra, GTM #135 (Not very good) Let k be a field, eg, R, Q, C, F q, K(t), 1 Vector spaces Definition A vector space over k is

More information

Linear Algebra Done Wrong. Sergei Treil. Department of Mathematics, Brown University

Linear Algebra Done Wrong. Sergei Treil. Department of Mathematics, Brown University Linear Algebra Done Wrong Sergei Treil Department of Mathematics, Brown University Copyright c Sergei Treil, 2004, 2009 Preface The title of the book sounds a bit mysterious. Why should anyone read this

More information

These notes are incomplete they will be updated regularly.

These notes are incomplete they will be updated regularly. These notes are incomplete they will be updated regularly. LIE GROUPS, LIE ALGEBRAS, AND REPRESENTATIONS SPRING SEMESTER 2008 RICHARD A. WENTWORTH Contents 1. Lie groups and Lie algebras 2 1.1. Definition

More information

LINEAR ALGEBRA BOOT CAMP WEEK 4: THE SPECTRAL THEOREM

LINEAR ALGEBRA BOOT CAMP WEEK 4: THE SPECTRAL THEOREM LINEAR ALGEBRA BOOT CAMP WEEK 4: THE SPECTRAL THEOREM Unless otherwise stated, all vector spaces in this worksheet are finite dimensional and the scalar field F is R or C. Definition 1. A linear operator

More information

1 Last time: least-squares problems

1 Last time: least-squares problems MATH Linear algebra (Fall 07) Lecture Last time: least-squares problems Definition. If A is an m n matrix and b R m, then a least-squares solution to the linear system Ax = b is a vector x R n such that

More information

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

Contents. Preface for the Instructor. Preface for the Student. xvii. Acknowledgments. 1 Vector Spaces 1 1.A R n and C n 2 Contents Preface for the Instructor xi Preface for the Student xv Acknowledgments xvii 1 Vector Spaces 1 1.A R n and C n 2 Complex Numbers 2 Lists 5 F n 6 Digression on Fields 10 Exercises 1.A 11 1.B Definition

More information

Problems in Linear Algebra and Representation Theory

Problems in Linear Algebra and Representation Theory Problems in Linear Algebra and Representation Theory (Most of these were provided by Victor Ginzburg) The problems appearing below have varying level of difficulty. They are not listed in any specific

More information

Mathematical Methods wk 2: Linear Operators

Mathematical Methods wk 2: Linear Operators John Magorrian, magog@thphysoxacuk These are work-in-progress notes for the second-year course on mathematical methods The most up-to-date version is available from http://www-thphysphysicsoxacuk/people/johnmagorrian/mm

More information

The groups SO(3) and SU(2) and their representations

The groups SO(3) and SU(2) and their representations CHAPTER VI The groups SO(3) and SU() and their representations Two continuous groups of transformations that play an important role in physics are the special orthogonal group of order 3, SO(3), and the

More information

Elementary linear algebra

Elementary linear algebra Chapter 1 Elementary linear algebra 1.1 Vector spaces Vector spaces owe their importance to the fact that so many models arising in the solutions of specific problems turn out to be vector spaces. The

More information

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

Homogeneous para-kähler Einstein manifolds. Dmitri V. Alekseevsky Homogeneous para-kähler Einstein manifolds Dmitri V. Alekseevsky Hamburg,14-18 July 2008 1 The talk is based on a joint work with C.Medori and A.Tomassini (Parma) See ArXiv 0806.2272, where also a survey

More information

Representations of algebraic groups and their Lie algebras Jens Carsten Jantzen Lecture III

Representations of algebraic groups and their Lie algebras Jens Carsten Jantzen Lecture III Representations of algebraic groups and their Lie algebras Jens Carsten Jantzen Lecture III Lie algebras. Let K be again an algebraically closed field. For the moment let G be an arbitrary algebraic group

More information

BLOCKS IN THE CATEGORY OF FINITE-DIMENSIONAL REPRESENTATIONS OF gl(m n)

BLOCKS IN THE CATEGORY OF FINITE-DIMENSIONAL REPRESENTATIONS OF gl(m n) BLOCKS IN THE CATEGORY OF FINITE-DIMENSIONAL REPRESENTATIONS OF gl(m n) VERA SERGANOVA Abstract. We decompose the category of finite-dimensional gl (m n)- modules into the direct sum of blocks, show that

More information

LECTURE VI: SELF-ADJOINT AND UNITARY OPERATORS MAT FALL 2006 PRINCETON UNIVERSITY

LECTURE VI: SELF-ADJOINT AND UNITARY OPERATORS MAT FALL 2006 PRINCETON UNIVERSITY LECTURE VI: SELF-ADJOINT AND UNITARY OPERATORS MAT 204 - FALL 2006 PRINCETON UNIVERSITY ALFONSO SORRENTINO 1 Adjoint of a linear operator Note: In these notes, V will denote a n-dimensional euclidean vector

More information

The Spinor Representation

The Spinor Representation The Spinor Representation Math G4344, Spring 2012 As we have seen, the groups Spin(n) have a representation on R n given by identifying v R n as an element of the Clifford algebra C(n) and having g Spin(n)

More information

Physics 557 Lecture 5

Physics 557 Lecture 5 Physics 557 Lecture 5 Group heory: Since symmetries and the use of group theory is so much a part of recent progress in particle physics we will take a small detour to introduce the basic structure (as

More information

Background on Chevalley Groups Constructed from a Root System

Background on Chevalley Groups Constructed from a Root System Background on Chevalley Groups Constructed from a Root System Paul Tokorcheck Department of Mathematics University of California, Santa Cruz 10 October 2011 Abstract In 1955, Claude Chevalley described

More information

Linear algebra 2. Yoav Zemel. March 1, 2012

Linear algebra 2. Yoav Zemel. March 1, 2012 Linear algebra 2 Yoav Zemel March 1, 2012 These notes were written by Yoav Zemel. The lecturer, Shmuel Berger, should not be held responsible for any mistake. Any comments are welcome at zamsh7@gmail.com.

More information

Lecture Notes Introduction to Cluster Algebra

Lecture Notes Introduction to Cluster Algebra Lecture Notes Introduction to Cluster Algebra Ivan C.H. Ip Update: May 16, 2017 5 Review of Root Systems In this section, let us have a brief introduction to root system and finite Lie type classification

More information

Group representations

Group representations Group representations A representation of a group is specified by a set of hermitian matrices that obey: (the original set of NxN dimensional matrices for SU(N) or SO(N) corresponds to the fundamental

More information

12x + 18y = 30? ax + by = m

12x + 18y = 30? ax + by = m Math 2201, Further Linear Algebra: a practical summary. February, 2009 There are just a few themes that were covered in the course. I. Algebra of integers and polynomials. II. Structure theory of one endomorphism.

More information

(VII.B) Bilinear Forms

(VII.B) Bilinear Forms (VII.B) Bilinear Forms There are two standard generalizations of the dot product on R n to arbitrary vector spaces. The idea is to have a product that takes two vectors to a scalar. Bilinear forms are

More information

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

Lie algebras. Alexei Skorobogatov. March 20, Basic definitions and examples 2. 2 Theorems of Engel and Lie 4 Lie algebras Alexei Skorobogatov March 20, 2017 Introduction For this course you need a very good understanding of linear algebra; a good knowledge of group theory and the representation theory of finite

More information

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

The eigenvalues of the quadratic Casimir operator and second-order indices of a simple Lie algebra. Howard E. Haber The eigenvalues of the quadratic Casimir operator and second-order indices of a simple Lie algebra Howard E Haber Santa Cruz Institute for Particle Physics University of California, Santa Cruz, CA 95064,

More information

Topics in linear algebra

Topics in linear algebra Chapter 6 Topics in linear algebra 6.1 Change of basis I want to remind you of one of the basic ideas in linear algebra: change of basis. Let F be a field, V and W be finite dimensional vector spaces over

More information

Diagonalizing Matrices

Diagonalizing Matrices Diagonalizing Matrices Massoud Malek A A Let A = A k be an n n non-singular matrix and let B = A = [B, B,, B k,, B n ] Then A n A B = A A 0 0 A k [B, B,, B k,, B n ] = 0 0 = I n 0 A n Notice that A i B

More information

Notes on basis changes and matrix diagonalization

Notes on basis changes and matrix diagonalization Notes on basis changes and matrix diagonalization Howard E Haber Santa Cruz Institute for Particle Physics, University of California, Santa Cruz, CA 95064 April 17, 2017 1 Coordinates of vectors and matrix

More information

SAMPLE OF THE STUDY MATERIAL PART OF CHAPTER 1 Introduction to Linear Algebra

SAMPLE OF THE STUDY MATERIAL PART OF CHAPTER 1 Introduction to Linear Algebra SAMPLE OF THE STUDY MATERIAL PART OF CHAPTER 1 Introduction to 1.1. Introduction Linear algebra is a specific branch of mathematics dealing with the study of vectors, vector spaces with functions that

More information

THE SEMISIMPLE SUBALGEBRAS OF EXCEPTIONAL LIE ALGEBRAS

THE SEMISIMPLE SUBALGEBRAS OF EXCEPTIONAL LIE ALGEBRAS Trudy Moskov. Matem. Obw. Trans. Moscow Math. Soc. Tom 67 (2006) 2006, Pages 225 259 S 0077-1554(06)00156-7 Article electronically published on December 27, 2006 THE SEMISIMPLE SUBALGEBRAS OF EXCEPTIONAL

More information

Lemma 1.3. The element [X, X] is nonzero.

Lemma 1.3. The element [X, X] is nonzero. Math 210C. The remarkable SU(2) Let G be a non-commutative connected compact Lie group, and assume that its rank (i.e., dimension of maximal tori) is 1; equivalently, G is a compact connected Lie group

More information

Lie-Poisson pencils related to semisimple Lie agebras: towards classification

Lie-Poisson pencils related to semisimple Lie agebras: towards classification Lie-Poisson pencils related to semisimple Lie agebras: towards classification Integrability in Dynamical Systems and Control, INSA de Rouen, 14-16.11.2012 Andriy Panasyuk Faculty of Mathematics and Computer

More information

Chapter 7. Canonical Forms. 7.1 Eigenvalues and Eigenvectors

Chapter 7. Canonical Forms. 7.1 Eigenvalues and Eigenvectors Chapter 7 Canonical Forms 7.1 Eigenvalues and Eigenvectors Definition 7.1.1. Let V be a vector space over the field F and let T be a linear operator on V. An eigenvalue of T is a scalar λ F such that there

More information

Solving Homogeneous Systems with Sub-matrices

Solving Homogeneous Systems with Sub-matrices Pure Mathematical Sciences, Vol 7, 218, no 1, 11-18 HIKARI Ltd, wwwm-hikaricom https://doiorg/112988/pms218843 Solving Homogeneous Systems with Sub-matrices Massoud Malek Mathematics, California State

More information

11 Properties of Roots

11 Properties of Roots Properties of Roots In this section, we fill in the missing details when deriving the properties of the roots of a simple Lie algebra g. We assume that a Cartan algebra h g of simultaneously diagonalizable

More information

MAT 445/ INTRODUCTION TO REPRESENTATION THEORY

MAT 445/ INTRODUCTION TO REPRESENTATION THEORY MAT 445/1196 - INTRODUCTION TO REPRESENTATION THEORY CHAPTER 1 Representation Theory of Groups - Algebraic Foundations 1.1 Basic definitions, Schur s Lemma 1.2 Tensor products 1.3 Unitary representations

More information

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

Notes on Group Theory Lie Groups, Lie Algebras, and Linear Representations Contents Notes on Group Theory Lie Groups, Lie Algebras, and Linear Representations Andrew Forrester January 28, 2009 1 Physics 231B 1 2 Questions 1 2.1 Basic Questions...........................................

More information

INTRODUCTION TO LIE ALGEBRAS. LECTURE 7.

INTRODUCTION TO LIE ALGEBRAS. LECTURE 7. INTRODUCTION TO LIE ALGEBRAS. LECTURE 7. 7. Killing form. Nilpotent Lie algebras 7.1. Killing form. 7.1.1. Let L be a Lie algebra over a field k and let ρ : L gl(v ) be a finite dimensional L-module. Define

More information

ALGEBRA QUALIFYING EXAM PROBLEMS LINEAR ALGEBRA

ALGEBRA QUALIFYING EXAM PROBLEMS LINEAR ALGEBRA ALGEBRA QUALIFYING EXAM PROBLEMS LINEAR ALGEBRA Kent State University Department of Mathematical Sciences Compiled and Maintained by Donald L. White Version: August 29, 2017 CONTENTS LINEAR ALGEBRA AND

More information