Lie Algebras Representations- Bibliography J. E. Humphreys Introduction to Lie Algebras and Representation Theory, Graduate Texts in Mathematics, Springer 1980 Hans Samelson, Notes on Lie Algebras B. C. Hall Lie Groups, Lie Algebras and Representations, Grad. Texts in Maths. Springer 2003 Andreas Čap, Lie Algebras and Representation Theory, Univ. Wien, Lecture Notes 2003 Alberto Elduque, Lie algebras, Univ. Zaragoza, Lecture Notes 2005
Definitions F = Field of characteristic 0 (ex R, C), g = F-vector space bracket or commutator : α, β,... F and x, y,... g g g (x, y) [x, y] g Definition :Lie algebra Axioms [αx + βy, z] = α [x, z] + β [y, z] (L-i) bi-linearity: [x, αy + βz] = α [x, y] + β [x, z] (L-ii) anti-commutativity: [x, y] = [y, x] [x, x] = 0 (L-iii) Jacobi identity: [x, [y, z]] + [y, [z, x]] + [z, [x, y]] = 0 or Leibnitz rule: [x, [y, z]] = [[x, y], z] + [y, [x, z]]
Examples of Lie algebras (i) g = { x, y,...} real vector space R 3 [ x, y] x y (ii) A associative F- algebra A a Lie algebra with commutator [A, B] = AB BA (iii) V = F-vector space, dim V = n < b non-degenerate bilinear form on V b : V V (v, w) b (u, v) F o (V, b) = Orthogonal Lie algebra the set of all T End V b(u, T v) + b(t u, v) = 0 [T 1, T 2 ] = T 1 T 2 T 2 T 1 T 1 and T 2 o (V, b) [T 1, T 2 ] o (V, b)
(iv) Angular Momentum in Quantum Mechanics operators on L 1, L 2, L 3 analytic (holomorphic) f(x, y, z) functions L 1 = y z z y, L 2 = z x x z, g = span {L 1, L 2, L 3 } L 3 = x y y x [L i, L j ] L i L j L j L i [L 1, L 2 ] = L 3, [L 2, L 3 ] = L 1, [L 3, L 1 ] = L 2
(v) A Poisson algebra is a vector space over a field F equipped with two bilinear products, and {, }, having the following properties: (a) The product forms an associative (commutative) F-algebra. (b) The product {, }, called the Poisson bracket, forms a Lie algebra, and so it is anti-symmetric, and obeys the Jacobi identity. (c) The Poisson bracket acts as a derivation of the associative product, so that for any three elements x, y and z in the algebra, one has {x, y z} = {x, y} z + y {x, z} Example: Poisson algebra on a Poisson manifold M is a manifold, C (M) the smooth /analytic (complex) functions on the manifold. ω ij (x) = ω ji (x), {f, g} = ω ij (x) f j x ij i x g ( ) ω ij ω jk ω ki ω km + ω im + ω jm = 0 x m x m x m m
Structure Constants g = span (e 1, e 2,..., e n ) = Fe 1 + Fe 2 + + Fe n n [e i, e j ] = c k ij e k c k ij e k, c k ij structure constants k=1 (L-i) bi-linearity (L-ii) anti-commutativity: c k ij = ck ji (L-iii) Jacobi identity: c m i j cl m k + cm j k cl m i + cm k i cl m j = 0 summation on color indices
gl(v ) algebra V = F-vector space, dim V = n < general linear algebra gl(v ) gl(v ) End(V ) = endomorphisms on V dim gl(v ) = n 2 gl(v ) is a Lie algebra with commutator [A, B] = AB BA gl(c n ) gl(n, C) M n (C) complex n n matrices Standard basis Standard basis for gl(n, C) = matrices E ij (1 in the (i, j) position, 0 elsewhere) [E ij, E kl ] = δ jk E il δ il E kj
General Linear Group GL(n, F) =invertible n n matrices M GL(n, F) det M 0 GL(n, C) is an analytic manifold of dim n 2 AND a group. The group multiplication is a continuous application G G G The group inversion is a continuous application G G Definition of the Lie algebra from the Lie group g(n, C) = T I (GL(n, C)) X(t) GL(n, C) X(t) smooth trajectory = { X (0) = x gl(n, C) } X(0) = I Definition of a Lie group from a Lie algebra { } {x gl(n, C)} = X(t) = e xt t n = n! xn GL(n, F) n=0
Jordan decomposition A gl(v ) A = A s + A n, [A s, A n ] = A s A n A n A s = 0 A s diagonal matrix (or semisimple) A n nilpotent matrix (A n ) m = 0, the decomposition is unique x = x s + x n e x = k=0 x k k! e x = e (xs+xn) = e xs e xn λ 1 0 0... 0 x s diagonal matrix = 0 λ 2 0... 0... 0 0 0 0... λ n e λ1 0 0... 0 e x s diagonal matrix = 0 e λ2 0... 0... 0 0 0 0... e λn m 1 e xn = k=0 x k n k!
Lie algebra of the (Lie) group of isometries V F-vector space, b : V V C bilinear form O(V, b)=group of isometries on V i.e. O(V, b) M : V V b(mu, Mv) = b(u, v) lin } M(t) smooth trajectory O(V, b) M(0) = I M (0) = T o(v, b) = Lie algebra = b(t u, v) + b(u, T v) = 0 = T tr b + b T = 0 group of isometries O(V, b) Lie algebra o(v, b) = T I (O(V, b)) The Lie algebra o(v, b) is the tangent space of the manifold O(V, b) at the unity I
Matrix Formulation for bilinear forms a 1 a 2 V a a =., n b 2 a, b = a i b i = (a 1, a 2,..., a n ) i=1. a n b n M 11 M 12 M 1n M 21 M 22 M 2n End(V ) M M = Ma, b = a, M tr b M n1 M n2 M nn b 1 bilinear form b B matrix n n b (x, y) = x, By M O(V, b) b (Mx, My) + b (x, y) M tr BM = B M tr bm = b T o(v, b) b (T x, y) + b (x, T y) = 0 T tr B + BT = 0 n n T tr b + bt = 0
Classical Lie Algebras A l or sl(l + 1, C) or special linear algebra Def: (l + 1) (l + 1) complex matrices T with Tr T = 0 Dimension = dim(a l ) = (l + 1) 2 1 = l(l + 2) Standard Basis: E ij, i j, i, j = 1, 2..., l + 1. H i = E ii E i+1 i+1
C l or sp(2l, C) or symplectic algebra Def: (2l) (2l) complex matrices T with Tr T = 0 leaving infinitesimally invariant the bilinear form ( ) 0l I b l I l 0 l U, V C 2l } b(u, T V ) + b(t U, V ) = 0 T sp(2l, C) ( ) { M N N T = P M tr tr = N, P tr = P bt + T tr b = 0 bt b 1 = T tr
B l or o(2l + 1, C) or (odd) orthogonal algebra Def: (2l + 1) (2l + 1) complex matrices T with Tr T = 0 leaving infinitesimally invariant the bilinear form 0 = (0, 0,..., 0) b U, V C 2l T o(2l + 1, C) T = 0 b c c tr M N b tr P M tr 1 0 0 0 tr 0 l I l 0 tr I l 0 l } b(u, T V ) + b(t U, V ) = 0 { N tr = N, P tr = P
D l or o(2l, C) or (even) orthogonal algebra Def: (2l) (2l) complex matrices T with Tr T = 0 leaving infinitesimally invariant the bilinear form ( ) 0l I b l I l U, V C 2l } b(u, T V ) + b(t U, V ) = 0 T o(2l, C) ( ) { M N N T = P M tr tr = N, P tr = P 0 l
Subalgebras Definition (Lie subalgebra) h Lie subalgebra g (i) h vector subspace of g (ii) [h, h] h Examples of gl(n, C) subalgebras Diagonal matrices d(n, C)= matrices with diagonal elements only [d(n, C), d(n, C)] = 0 n d(n, C) Upper triangular matrices t(n, C), Strictly Upper triangular matrices n(n, C), n(n, C) t(n, C) [t(n, C), t(n, C)] n(n, C), [n(n, C), n(n, C)] n(n, C) [n(n, C), t(n, C)] n(n, C) ex. sl(2, C) Lie subalgebra of sl(3, C)
sl(2, C) Algebra sl(2, C) = span (h, x, y) [h, x] = 2x [h, y] = 2y [x, y] = h ex. 2 2 matrices with trace 0 [ ] 1 0 h = x = 0 1 [ 0 1 0 0 ] y = [ 0 0 1 0 ] ex. first derivative operators acting on polynomials of order n h = z z n 2, x = z2 z nz, y = z
sl(3, C) Algebra sl(3, C) = span (h 1, h 2, x 1, y 1, x 2, y 2, x 3, y 3 ) ex. 3 3 matrices with trace 0 h 1 = h 2 = 0 1 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 1 [h 1, h 2 ] = 0 [h 1, x 1 ] = 2x 1, [h 1, y 1 ] = 2y 1, [x 1, y 1 ] = h 1, [h 1, x 2 ] = x 2, [h 1, y 2 ] = y 2, [h 1, x 3 ] = x 3, [h 1, y 3 ] = y 3, [h 2, x 2 ] = 2x 2, [h 2, y 2 ] = 2y 2, [x 2, y 2 ] = h 2, [h 2, x 1 ] = x 1, [h 2, y 1 ] = y 1, [h 2, x 3 ] = x 3, [h 2, y 3 ] = y 3, [x 1, x 2 ] = x 3, [x 1, x 3 ] = 0, [x 2, x 3 ] = 0 [y 1, y 2 ] = y 3, [y 1, y 3 ] = 0, [y 2, y 3 ] = 0 [x 1, y 2 ] = 0, [x 1, y 3 ] = y 2, [x 2, y 1 ] = 0, [x 2, y 3 ] = y 1, [x 3, y 1 ] = x 2, [x 3, y 2 ] = x 1, [x 3, y 3 ] = h 1 + h 2 x 1 = y 1 = 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 x 2 = y 2 = 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 x 3 = y 3 = 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0
Ideals Definition (Ideal) Ideal I is a Lie subalgebra such that [I, g] I Center Z(g) = {z g : [z, g] = 0} Prop: The center is an ideal. Prop: The derived algebra Dg = [g, g] is an ideal. Prop: If I, J are ideals I + J, [I, J ] and I J are ideals. Theorem I ideal of g g/i {x = x + I : x g} is a Lie algebra [x, y] [x, y] = [x, y] + I
Simple Ideals Def: g is simple g has only trivial ideals and [g, g] {0} (trivial ideals of g are the ideals {0} and g) Def: g is abelian [g, g] = {0} Prop: Prop: Prop: g/ [g, g] is abelian g is simple Lie algebra Z(g) = 0 and g = [g, g]. The Classical Lie Algebras A l, B l, C l, D l are simple Lie Algebras
Direct Sum of Lie Algebras g 1, g 1 Lie algebras direct sum g 1 g 2 = g 1 g 2 with the following structure: α(x 1, x 2 ) + β(y 1, y 2 ) (αx 1 + βy 1, αx 2 + βy 2 ) g 1 g 2 vector space commutator definition: [(x 1, x 2 ), (y 1, y 2 )] ([x 1, y 1 ], [x 2, y 2 ]) Prop: g 1 g 2 is a Lie algebra } (g 1, 0) g { 1 iso (g1, 0) (0, g 2 ) = {(0, 0)} g 1 g2 = 0 (0, g 2 ) g 2 [(g 1, 0), (0, g 2 )] = {(0, 0)} [g 1, g 2 ] = 0 iso Prop: g 1 and g 2 are ideals of g 1 g 2 Prop: a, b ideals of g a b = {0} a + b = g { a b iso } { } a + b a b = g
Lie homomorphisms homomorphism: g { φ (i) φ linear g (ii) φ ([x, y]) = [φ(x), φ(y)] monomorphism: Ker φ = {0}, epimorphism: Im φ = g isomorphism: mono+ epi, automorphism: iso+ {g = g } Prop: Ker φ is an ideal of g Prop: Im φ = φ(g) is Lie subalgebra of g Theorem I ideal of g canonical map g π(x) = x = x + I π g/i { canonical map is a Lie epimorphism }
Linear homomorphism theorem Theorem V, U, W linear spaces f : V U and g : V W linear maps Corollary f V U g ψ W { f epi Ker f Ker g } {! ψ : g = ψ f Ker ψ = f (Ker g) f f V U V U g g ψ ψ 1 W W { } { f epi, g epi, Ker f = Ker g! ψ iso : g = ψ f, U iso W } }
Lie homomorphism theorem Theorem g, h, l Lie spaces, φ : g epi h and ρ : g l Lie homomorphisms φ g h ρ ψ l { φ Lie-epi, Ker φ Ker ρ } {! ψ : Lie-homo ρ = ψ φ } Corollary φ φ g h g h ρ ρ ψ ψ 1 l l { } { } φ Lie-epi, ρ Lie-epi, Ker φ = Ker ρ! ψ : Lie-iso ρ = ψ φ, h iso l
First isomorphism theorem Theorem (First isomorphism theorem) K ideal of g, φ : g g Lie-homomorphism, Ker φ = K g π g/k φ φ g =! φ : g/k φ(g) g Lie-iso φ(g) iso g/k
Noether Theorems Theorem K, L ideals of g K L (i) (ii) L/K ideal of g/k (g/k) / (L/K) iso (g/l) Theorem ( Noether Theorem (2nd isomorphism theor.)) { } { } K, L (K + L) /L K/ (K L) ideals of g iso Parallelogram Low: K + L K L K L
Derivations A an F algebra (not necessary associative) with product A A (a, b) a b A bilinear mapping, is a derivation of A if is a linear map A A satisfying the Leibnitz property: Der (A) = all derivations on A Prop: (A B) = A ( (B)) + ( (A)) B Der (A) is a Lie Algebra gl(a) with commutator [, ] (A) ( (A)) ( (A))
Derivations on a Lie algebra g a F Lie algebra, is a Lie derivation of g if is a linear map: g x (x) g satisfying the Leibnitz property : ([x, y]) = [ (x), y] + [x, (y)] Der (g) = all derivations on g Prop: Prop: Prop: Proposition Der (g) is a Lie Algebra gl(g) with commutator [, ] (x) ( (x)) ( (x)) δ Der(g) δ n ([x, y]) = n ( n [ k) δ k (x), δ n k (y) ] k=0 δ Der(g) e δ ([x, y]) = [ e δ (x), e δ (y) ] e δ Aut(g) φ(t) smooth monoparametric familly in Aut(g) and φ(0) = Id φ (0) Der(g)
Adjoint Representation Definition (Adjoint Representation) Let x g and ad x : g g : ad x (y) = [x, y] Prop: ad [x, y] = [ad x, ad y ] Prop: ad g {ad x } Lie-subalgebra of Der (g) x g Definition: Inner Derivations=ad g Definition Outer Derivations= Der (g) \ad g { } x g Prop: δ Der(g) { [ad x, δ] = ad δ(x) } ad g ideal of Der(g) Prop: τ Aut (g) τ ([x, y]) = [τ(x), τ(y)] ad τ(x) = τ ad x τ 1
Matrix Form of the adjoint representation g = span (e 1, e 2,..., e n ) = Ce 1 + Ce 2 + + Ce n n [e i, e j ] = c k ij e k, c k ij structure constants k=1 Antisymmetry: c k ij = ck ji Jacobi identity c m i j cl m k + cm j k cl m i + cm k i cl m j = 0 e l = e l g e l.e p = e l.e p = δ l p P i gl(g) : e k.p i e j = (P i ) k j = ck ij n [P i, P j ] = c k ij P k k=1 P i = ad ei
Representations, Modules V F-vector space, u, v,... V, α, β,... F Definition Representation (ρ, V ) ρ g x ρ(x) gl(v ) V v ρ(x) ρ(x)v V ρ(x) Lie homomorphism ρ(α x + β y) = α ρ(x) + β ρ(y) ρ ([x, y]) = [ρ(x), ρ(y)] = = ρ(x) ρ(y) ρ(y) ρ(x) V = C n ρ(x) M n (C) = gl(v ) = gl (C, n) W V invariant (stable) subspace ρ(g)w W (ρ, W ) is submodule (ρ, W ) (ρ, V )
Theorem W invariant subspace of V (ρ, W ) (ρ, V ) (ρ, V )! induced representation (ρ, V/W ) ρ(g)w W =! ρ(x) : V/W V/W = ρ(x) V V π V/W ρ(x) π V/W ρ(x) π = π ρ(x) Ker ρ = C ρ (g) = {x g : ρ(x)v = {0}} is an ideal Ker ad = C ad (g) = Z(g)= center of g
Reducible and Irreducible representation (ρ, V ) irreducible/simple representation (irrep) (non trivial) invariant subspaces ρ(g)w W W = {0} or V (ρ, W ) (ρ, V ) W = {0} or V (ρ, V ) reducible/semisimple representation V = V 1 V 2, (ρ, V 1 ) and (ρ, V 2 ) submodules V = V 1 V 2 ρ(g)v 1 V 1, ρ(g)v 2 V 2 trivial representation V = F dim V = 1
Induced Representation (ρ, W ) (ρ, V ) ρ(x) V V π V/W ρ(x) π V/W ρ(x) is the induced representation ρ(x) π = π ρ(x)
Jordan Hölder decomposition (ρ, W ) (ρ, V ) and (ρ, V/W ) not irrep nor trivial ( ρ, U ) (ρ, V/W ) W U = π 1 (U) V ρ(x) V V π V/W ρ(x) π V/W ρ(x) π = π ρ(x) (π ρ(x)) (U) = (ρ(x) π) (U) = ρ(x) ( U ) U = π(u) ρ(x)(u) U Theorem (Jordan Hölder decomposition) (ρ, V ) representation (ρ, W ) (ρ, U) (ρ, V ) V = V 0 V 1 V 2 V m = {0}, (ρ, V i ) (ρ, V i+1 ) (ρ Vi /Vi+1, V i /V i+1 ) irrep or trivial
Direct sum of representations (ρ 1, V 1 ), (ρ 2, V 2 ) representations of g Def: Direct sum of representations (ρ 1 ρ 2, V 1 V 2 ) (ρ 1 ρ 2 ) (x) : V 1 V 2 V 1 V 2 V 1 V 2 (v 1, v 2 ) (ρ 1 (x)v 1, ρ 2 (x)v 2 ) V 1 V 2 V 1 V 2 v 1 + v 2 ρ 1 (x)v 1 + ρ 2 (x)v 2 V 1 V 2 Theorem Jordan- Hölder Any representation is a direct sum of simple representations or trivial representations
= The important is to study the simple representations! Theorem (Jordan Hölder decomposition) (ρ, V ) representation V = V 0 V 1 V 2 V m = {0}, (ρ, V i ) (ρ, V i+1 ) (ρ Vi /Vi+1, V i /V i+1 ) irrep or trivial V = V m 1 V m 2 /V m 1 V 1 /V 2 V/V 1 ρ = ρ m 1 ρ m 2 ρ 1 ρ 0 ρ m 1 = ρ Vm 1 trivial, ρ i = ρ Vi /V i+1 simple
Tensor Product of linear spaces- Universal Definition F field, F vector spaces A, B Definition Tensor Product A F B is a F-vector space AND a canonical bilinear homomorphism : A B A B, with the universal property. Every F-bilinear form φ : A B C, lifts to a unique homomorphism φ : A B C, such that φ(a, b) = φ(a b) for all a A, b B. Diagramatically: A B A B φ! bilinear φ C
Tensor product - Constructive Definition Definition Tensor product A F B can be constructed by taking the free F-vector space generated by all formal symbols a b, a A, b B, and quotienting by the bilinear relations: (a 1 + a 2 ) b = a 1 b + a 2 b, a (b 1 + b 2 ) = a b 1 + a b 2, r(a b) = (ra) b = a (rb) a 1, a 2 A, b B, a A, b 1, b 2 B, r F
Examples: U and V linear spaces u = u 1 u 2. u n U, v = v 1 u 2. v m V u v = u 1 v 1 u 1 v 2. u 1 v m u 2 v 1 u 2 v 2. u 2 v m.. u n v 1 u n v 2. u n v m U V
U End(U), V End(V ) u 11 u 12 u 1p u 21 u 22 u 2p U =.... u q1 u q2 u qp V = v 11 v 12 v 1m v 21 v 22 v 2m.... v n1 v n2 v nm U V = u 11 V u 12 V u 1p V u 21 V u 22 V u 2p V.... u q1 V u q2 V u qp V U V End (U V ) (U V) (u v) Uu Vv
Tensor product of representations (ρ 1, V 1 ), (ρ 2, V 2 ) repsesentations of the Lie algebra g. ) L Tensor product representation (ρ 1 ρ2, V 1 V 2 ) L (ρ 1 ρ2 (x) : V 1 V 2 V 1 V 2 ) L v 1 v 2 (ρ 1 ρ2 (x) (v 1 v 2 ) (ρ 1 L ρ2 ) (x) (v 1 v 2 ) = ρ 1 (x)v 1 v 2 + v 1 ρ 2 (x)v 2 (ρ 1 L ρ2 ) (x) = ρ 1 (x) Id 2 + Id 1 ρ 2 (x)
Dual representation V dual space of V, V u : V v u.v C (ρ, V ) representation of g! dual representation ( ρ D, V ) ρ D (x) : V u ρ D (x)u V ρ D (x) = ρ (x) ρ D (x)u.v = u.ρ(x)v ρ D (αx + βy) = αρ D (x) + βρ D (y) ρ D ([x, y]) = [ ρ D (x), ρ D (y) ]
sl(2, C) representations sl(2, C) = span (h, x, y) (ρ, V ) irrep of sl(2, C) Jordan decomposition V = λ [h, x] = 2x [h, y] = 2y [x, y] = h V λ, λ eigenvalue of ρ(h) If v eigenvector of ρ(h) with eigenvalue λ ρ(x)v eigenvector with eigenvalue λ + 2 ρ(y)v eigenvector with eigenvalue λ 2 ρ(h)v = λv ρ(h)ρ(x)v = (λ + 2)ρ(x)v and ρ(h)ρ(y)v = (λ 2)ρ(y)v v 0 V, v eigenvector of ρ(x) such that ρ(x)v 0 = 0 If (ρ, V ) is a finite dimensional representation of sl(2, C) then for every x sl(2, C) Trρ(x) = 0
Theorem (ρ, V ) irrep of sl(2, C) V = span (v 0, v 1,..., v n ) ρ(x)v 0 = 0, v k = 1 k! (ρ(y))k v 0 ρ(h)v k = (n 2k)v k ρ(y)v k = (k + 1)v k+1 ρ(x)v k = (n k + 1)v k 1 n is the highest weight of the irrep.
dim V = n + 1 Eigenvalues n, n + 2,..., n 2, n irreducible representation (ρ, V ) ρ(x)v 0 = 0, v k = 1 k! (ρ(y))k v 0 ρ(y) n+1 v 0 = 0 ρ(h)v k = (n 2k)v k ρ(y)v k = (k + 1)v k+1 ρ(x)v k = (n k + 1)v k 1 α = 2-1 +1 α = 2-2 0 +2 α = 2-3 -1 +1 +3 g = [g, g], Jordan Hölder Theorem any representation V = V n, V n irrep n Theorem For any finite dimensional representation (ρ, V ) the decomposition in direct sum of irreps is unique. The eigenvalues of ρ(h) are integers.
sl(3, C) sl(3, C) = span (h 1, h 2, x 1, y 1, x 2, y 2, x 3, y 3 ) [h 1, h 2 ] = 0 [h 1, x 1 ] = 2x 1, [h 1, y 1 ] = 2y 1, [x 1, y 1 ] = h 1, [h 1, x 2 ] = x 2, [h 1, y 2 ] = y 2, [h 1, x 3 ] = x 3, [h 1, y 3 ] = y 3, [h 2, x 2 ] = 2x 2, [h 2, y 2 ] = 2y 2, [x 2, y 2 ] = h 2, [h 2, x 1 ] = x 1, [h 2, y 1 ] = y 1, [h 2, x 3 ] = x 3, [h 2, y 3 ] = y 3, [x 1, x 2 ] = x 3, [x 1, x 3 ] = 0, [x 2, x 3 ] = 0 [y 1, y 2 ] = y 3, [y 1, y 3 ] = 0, [y 2, y 3 ] = 0 [x 1, y 2 ] = 0, [x 1, y 3 ] = y 2, [x 2, y 1 ] = 0, [x 2, y 3 ] = y 1, [x 3, y 1 ] = x 2, [x 3, y 2 ] = x 1, [x 3, y 3 ] = h 1 + h 2 sl(2, C) subalgebras: span(h 1, x,1, y 1 ), span(h 2, x,2, y 2 ), span(h 1 + h2, x,3, y 3 )
Weights-Roots (ρ, V ) is a representation of sl(3, C) Def: µ = (m 1, m 2 ) is a weight v V : ρ(h 1 )v = m 1 v, ρ(h 2 )v = m 2 v, v is a weightvector Prop: Every representation of sl(3, C) has at leat one weight Prop: µ = (m 1, m 2 ) Z 2
Def: If (ρ, V ) = (ad, g) weight α is called root α = (a 1, a 2 ) ad h1 z = a 1 z, ad h2 z = a 2 z z = x 1, x 2, x 3, y 1, y 2, y 3 root α rootvector z α α 1 (2, 1) x 1 α 2 ( 1, 2) x 2 α 1 + α 2 (1, 1) x 3 α 1 ( 2, 1) y 1 α 2 (1, 2) y 2 α 1 α 2 ( 1, 1) y 3 Def: α 1 and α 2 are the positive simple roots
Highest weight Def: h = span(h 1, h 2 ) is the maximal abelian subalgebra of sl(3, C), the Cartan subalgebra. Theorem The weights µ = (m 1, m 2 ) and the roots α = (a 1, a 2 ) are elements of the h µ(h i ) = m i, α(h i ) = a i ρ(h)v = µ(h)v ρ(h)ρ(z α )v = (µ(h) + α(h)) ρ(z α )v Def: µ 1 µ 2 µ 1 µ 2 = aα 1 + bα 2, a 0 and b 0 Def: µ 0 is highest weight if for all weights µ µ 0 µ
Highest Weight Cyclic Representation Definition (ρ, V ) is a highest weight cyclic representation with highest weight µ 0 iff 1 v V ρ(h)v = µ 0 (h)v, v is a cyclic vector 2 ρ(x 1 )v = ρ(x 2 )v = ρ(x 3 )v = 0 3 if (ρ, W ) is submodule of (ρ, V ) and v W W = V
Theorem If z 1, z 2,... z n are elements of sl(3, C) then n ( p=1 k 1 +k 2 + +k 8 =p ρ(z n) ρ(z n 1 ) ρ(z 2 ) ρ(z 1 ) = c k1,k 2,...,k 8 ρ k3 (y 3 )ρ k2 (y 2 )ρ k1 (y 1 )ρ k4 (h 1 )ρ k5 (h 2 )ρ k6 (x 3 )ρ k7 (x 2 )ρ k8 ) (x 1 ) Corollary If z 1, z 2,... z n are elements of sl(3, C) and (ρ, V ) is a highest weight cyclic representation with highest weight µ 0 and cyclic vector v then ρ(z n) ρ(z n 1 ) ρ(z 2 ) ρ(z 1 )v = n ( p=1 l 1 +l 2 +l 3 =p ) d l1,l 2,l 3 ρ l 3 (y 3 )ρ l 2 (y 2 )ρ l 1 (y 1 ) v and ) V = span (ρ l 3 (y 3 )ρ l 2 (y 2 )ρ l 1 (y 1 )v, l i N 0
Theorem Every irrep (ρ, V ) of sl(3, C) is a highest weight cyclic representation with highest weight µ 0 = (m 1, m 2 ) and m 1 0, m 2 0 Theorem The irrep (ρ, V ) with highest weight µ 0 is a direct sum of linear subspaces V µ where µ = µ 0 (kα 1 + lα 2 + mα 3 ) = µ (k α 1 + l α 2 ) and k, l, m, k and l are positive integers. Corollary The set of all possible weights µ is a subset of Z 2 R 2 The set of all possible weights corresponds on a discrete lattice in the real plane
sl(3, C) Fundamental Representations Representation (1, 0) ρ(x 1 ) = ρ(y 1 ) = ρ(h 1 ) = 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 ρ(x 2 ) = ρ(y 2 ) = ρ(h 2 ) = 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 1 ρ(x 3 ) = ρ(y 3 ) = 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 The dual of the representation (1, 0) is the representation (0, 1), i.e (1, 0) D = (0, 1) The representation (1, 0) L (0, 1) is the direct sum (0, 0) (1, 1)
Weight Lattice for sl(3, C) Let (ρ, V ) the fundamental representation (1, 0) then ρ(sl(3, C)) = iso traceless 3 3 matrices Def: (x, y) def Tr (ρ(x) ρ(y)) Prop: (x,{ y) is a non-degenerate } bilinear form on g = sl(3, C) (x, g) = {0} x = 0 Prop: (., {.) is a non-degenerate bilinear form on} h ν h h ν h : ν(h) = (h ν, h) (h) h iso Def: µ, ν h (µ, ν) def (h µ, h ν )
Roots (h α1, h 1 ) = α 1 (h 1 ) = 2, (h α1, h 2 ) = α 2 (h 1 ) = 1 (h α2, h 1 ) = α 2 (h 1 ) = 1, (h α2, h 2 ) = α 2 (h 2 ) = 2 h α1 = h 1, h α2 = h 2 (α 1, α 1 ) = 2, (α 2, α 2 ) = 2, (α 1, α 2 ) = 1 α 1 = α 2 = 2, angle α 1 α 2 = 120 o
Fundamental weights µ 1 (h 1 ) = 1, µ 1 (h 2 ) = 0, µ 2 (h 1 ) = 0, µ 2 (h 2 ) = 1 µ 1 = 2 3 α 1 + 1 3 α 2, µ 2 = 1 3 α 1 + 2 3 α 2 2 µ 1 = µ 2 = 3, angle µ 1µ 2 = 60 o µ = m 1 µ 1 + m 2 µ 2, m i N 0
µ weight v V : ρ(h)v = µ(h)v p, q N o : (ρ, W ) is a sl(2, C) submodule W = span ( ρ q (y i )v, ρ q 1 (y i )v,...,, ρ(y i )v, v, ρ(x i )v,..., ρ p 1 (x i )v, ρ p ( Def: If µ is a weight and α i, i = 1, 2, 3 a root, a chain is the set of permitted values of the weights µ qα i, µ (q 1)α i,..., µ + (p 1)α i, µ + pα i The weights of a chain (as vectors) are lying on a line perpendicular to the vertical of the vector α i. This vertical is a symmetry axis of this chain. Prop: The weights of a representation is the union of all chains Theorem (Weyl transform) If µ is a weight and α any root then there is another weight given by the transformation (µ, α) (µ, α) S α (µ) = µ 2 α and 2 (α, α) (α, α) Z
sl(3, C)-Representation (4,0)
sl(3, C)-Representation (1,2)
sl(3, C)-Representation (2,2)
Killing form (ρ, V ) representation of g B ρ (x, y) def Tr (ρ(x) ρ(y)) Prop: B ρ ([x, y], z) = B ρ (x, [y, z]) B ρ (ad y x, z) + B ρ (x, ad y z) = 0 Definition (Killing form) B(x, y) def B ad (x, y) = Tr (ad x ad y ) g = span (e 1, e 2,..., e n ) g = span ( e 1, e 2,..., e n), e i (e j ) = e i.e j = δj i n n B(x, y) = e k.ad x ad y e k = e k. [x, [y, e k ]] k=1 k=1
Prop: δ Der(g) B(δ(x), y) + B(x, δ(y)) = 0 Prop: τ Aut(g) ad τx = τ ad x τ 1 B(τx, τy) = B(x, y) Prop: k ideal of g x, y k B(x, y) = B k (x, y) Prop: k ideal of g, k = {x g : B(x, k) = {0}} k is an ideal.
Derived Series Def: Derived Series g (0) = g g (1) = D(g) = [g, g] g (2) = D 2 (g) = [ g (1), g (1)] g (n) = D n (g) = [ g (n 1), g (n 1)] g (k) is an ideal of g Definition (Solvable Lie Algebra) g solvable n N : g (n) = {0}
Exact sequence - extensions Def: exact sequence, a, b, g Lie spaces a µ g λ b Im µ = Ker λ Def: g extension of b by a 0 a µ 1:1 g λ epi b 0
Solvable Lie Algebra Def: Solvable Lie Algebra g solvable n N : g (n) = {0} Prop: g solvable, k Lie-subalgebra k solvable Prop: Prop: Prop: g solvable, φ : g Lie Hom g φ(g) solvable I solvable ideal AND g/i solvable g solvable a and b solvable ideals a + b solvable ideal
Theorem Theorem µ a g λ b Im µ = Ker λ a solvable AND b solvable g solvable {0} a µ 1:1 g π g/ker λ λ epi iso Im µ = Ker λ g solvable b {0} a solvable AND b solvable
Equivalent definitions Theorem (a) g solvable g (n) = {0} (b) exists g = g 0 g 1 g 2 g n = 0 g i ideals and g i /g i+1 abelian. (c) exists g = h 0 h 1 h 2 h p = 0 h i subalgebras of g h i+1 ideal of h i and h i /h i+1 abelian. (d) exists g = h 0 h 1 h 2 h q = 0 h i subalgebras of g h i+1 ideal of h i and dim h i /h i+1 = 1. g solvable Lie algebra m ideal such that dim(g/m) = 1
Theorem g solvable ad g t(n, C). There is a basis in g, where ALL the matrices ad x, x g. are upper triangular matrices. λ 1 (x) 0 λ 2 (x) ad x = 0 0 λ 3 (x) 0 0 0 0 0 λ n (x)
Radical Definition Rad(g) = radical = maximal solvable ideal = sum of all solvable ideals Def: Rad(g) = {0} g semi-simple Theorem (Radical Property) Rad (g/rad (g)) = { 0 } g/rad(g) is semisimple Prop: g = g 1 g 2 Rad(g) = Rad(g 1 ) Rad(g 2 )
Nilpotent Lie Algebras g 0 = g, g 1 = [g, g], g 2 = [ g, g 1],..., g n = [ g, g n 1] g k ideals Definition g nilpotent g solvable g nilpotent g n = 0 Prop: g nilpotent m : ad x1 ad x2 ad xm = 0 (ad x ) m = 0 Prop: g nilpotent g i ideals g = g 0 g 1 g 2 g r = {0} [g, g i ] g i+1 and dim g i /g i+1 = 1 Prop: g nilpotent basis e 1, e 2,..., e n where ad x is strictly upper triangular Prop: g nilpotent B(x, y) = 0 Prop: g nilpotent Z(g) {0} Prop: g/z(g) nilpotent g nilpotent
Engel s Theorem Theorem ( Engel s theorem) g nilpotent n : (ad x ) n = 0 g nilpotent g ad-nilpotent Lemma g gl(v ) and x g x n = 0 { } = (ad x ) 2n = 0
Engel s Theorem in Linear Algebra Prop: step #1 g gl(v ) and x g x n = 0 x m (ad x ) m = 0 { } = v V : x g xv = 0 m Lie subalgebra of g g π g/m adx g adx π g/m ( adx ) m = 0 step #2 Induction hypothesis m ideal such that dim g/m = 1 g = Cx 0 + m step #3 Induction hypothesis and g = Cx 0 + m U = {v V : x m xv = 0} {0} v V : x g xv = 0 and gu U
Engel s Theorem Prop : { } g gl(v ) and x g x n = = 0 V = V 0 V 1 V 2 V n = 0, V i+1 = gv i (g) n V = 0 x 1 x 2 x 3 x n = 0 V = V 0 V 1 V 2 V n = 0, V i+1 = gv i is a flag Theorem ( Engel s-theorem) Theorem g nilpotent n : (adx) n = 0 g nilpotent exists a basis in g such that all the matrices ad x, x g are strictly upper diagonal. Prop: g nilpotent {x g Tr ad x = 0} B(x, y) = Tr (ad x ad y ) = 0
Lie Theorem in Linear Algebra Theorem (Lie Theorem) g solvable Lie subalgebra of gl(v ) v V : x g xv = λ(x)v, λ(x) C step #1 Lemma (Dynkin Lemma) g gl(v ) a ideal λ a : W = {v V : a a av = λ(a)v} step # 2 g and [g, g] {0}, { a ideal gw W } : g = Ce 0 + a step # 3 induction hypothesis on a Lie theorem on g
Lie Theorem Lemma g solvable and (ρ, V ) irreducible module dim V = 1 Theorem g solvable and (ρ, V ) a representation exists a basis in V where all the matrices ρ(x), x g are upper diagonal. Theorem g nilpotent and (ρ, V ) a representation exists a basis in V all the matrices ρ(x), x g satisfy the relation (ρ(x) λ(x)i) n = 0, where λ(x) C or the matrices (ρ(x) λ(x)i) are strictly upper diagonal. Prop: g solvable Dg = [g, g] is nilpotent Lie algebra
Solvable Nilpotent ( W (ρ, W ) (ρ, V ) ρ(x) = 0 V/W ρ(x) = ρ(x) = λ 1 (x)... 0 λ 2 (x)... 0 0 λ 3 (x)... 0 0 0 λ 4 (x)......... λ(x)... 0 λ(x)... 0 0 λ(x)... 0 0 0 λ(x)......... )
Linear Algebra A End V M n (C) p A (t) = Det(A ti) = characteristic polynomial p A (t) = ( 1) n m (t λ i ) m i m, m i = n, λ i eigenvalues i=1 i=1 V = m V i, V i = Ker (A λ i I) m i p A (A) = 0 and AV i V i i=1 Q i (t) = p A(t) (t λ i ) m If v V i j and j i Q i (A)v = 0 Prop: Chinese remainder theorem Q(t), (Q(0) 0) and P (t), (P (0) 0) polynomials with no common divisors, i.e (Q(t), P (t)) = 1 s(t), s(0) = 0 and r(t) polynomials such that s(t)q(t)+r(t)p (t) = 1 Prop: Prop: s i (t) and r i (t) polynomials such that s i (t)q i (t) + r i (t) (t λ i ) m i = 1 S(t) = k µ i s i (t)q i (t) v V j S(A)v = µ j v i
Prop: Jordan decomposition A gl(v ) A = A s + A n, [A s, A n ] = A s A n A n A s = 0 A s diagonal matrix (or semisimple) and v V i A s v = λ i v, A n nilpotent matrix (A n ) n = 0, the decomposition is unique Prop:! p(t) and q(t) polynomials such that A s = p(a) and A n = q(a) E ij n n matrix with zero elements with exception of the ij element, which is equal to 1 [E ij, E kl ] = δ jk E il δ il E kj Prop: A = n λ i E ii The eigenvalues of ad A are equal to λ i λ j i=1 ad A E ij = (λ i λ j ) E ij Prop: ad A = ad As + ad An and (ad A ) s = ad As, (ad A ) n = ad An
Cartan Criteria Lemma { g gl(v ) x, y g Tr(xy) = 0 Theorem ( 1st Cartan Criterion) g solvable B Dg = 0 Corollary B(g, g) = {0} g solvable } [g, g] = Dg = g (1) nilpotent B is non degenerate, a ideal of g a = {x g : B (x, a) = {0}} is an ideal. Theorem ( 2nd Cartan Criterion) g semisimple B non degenerate
Prop a semi-simple ideal of g g = a a, a is an ideal. Prop: g semisimple, a ideal g = a a Theorem g semisimple g direct sum of simple Lie algebras g = i g i, g i is simple Theorem g semisimple Der(g) = adg Theorem g semisimple g = [g, g] = Dg = g (1) g semisimple, (ρ, V ) a representation ρ(g) sl(v ).
Definition h Cartan SubAlgebra (CSA) h nilpotent h h (ad h ) n h = {0} N(h) = {x g : [x, h] h} N(h) = h h CSA, h, h h [h, h ] h h is a Lie subalgebra
g λ (x) n Ker ((ad x λi) n ) g λ (x) vector space invariant under the action of ad x g 0 (x) nontrivial Lie subspace λ eigenvalue of adx g λ (x) {0} λ µ g λ (x) g µ (x) = {0}, g = g λ (x) λ Lemma (ad x (λ + µ)i) n [y, z] = n Theorem λ and µ eigenvalues of ad x k=0 ( n ) [ k (ad x λi) k y, (ad x µi) z] n k If λ + µ eigenvalue of ad x [g λ (x), g µ (x)] g λ+µ (x) If λ + µ NOT eigenvalue of ad x [g λ (x), g µ (x)] = {0}
h CSA h nilpotent (ad h) n h = {0} h g 0 (h) h h h CSA, x Prop: h h g 0 (h), [x, h] h CSA h = g 0 (h) h h h h { } h h h g 0 (h) g 0 (h) h h g 0 (h) N(h) = h
Regular Point Definition (Regular Point) x regular dim g 0 (x) minimal Theorem x regular g 0 (x) CSA Step 1. Det (ad x+cy ti) ( 1) n ( t n + t n 1 D 1 (c) + t n 2 D 2 (c) + + D ) n(c), D k (c) polynomial of order k Step 2 z g 0 (x) adzg λ (x) g λ (x) Step 3 x, y g 0 (x) Det (ad x+cy ti) = ( 1) n ( t r + f 1 (c)t r 1 + + f ) r(c) ( t n r + g 1 (c)t n r 1 + + g n r (c) ), r = dim g 0 (x) Step 4 x regular f 1 (0) = 0, f 2 (0) = 0,... f r(0) = 0 and g n r (0) 0 Step 5 c 1, c 2,... c r+1 and g n r (c i ) 0 Step 6 z g 0 (x) adz nilpotent on g 0 (x) Step 7 N(g 0 (x)) = g 0 (x) f k (c i ) = 0 f k (c) = 0 g 0 (x + cy) = g 0 (x) step3
Abstract Jordan decomposition Prop: g semisimple Z(g) = {0} Prop: g semisimple g iso ad g Prop: Der(g), = s + n the Jordan decomposition s Der(g) and n Der(g) Theorem (Abstract Jordan Decomposition) g semisimple ad x = (ad x ) s + (ad x ) n Jordan decomposition and x = x s + x n where x s g, (ad x ) s = ad xs and x n g, (ad x ) n = ad xn
φ is a Lie epimorphism g φ epi g and g simple g is simple and isomorphic to g. φ is a Lie epimorphism g φ epi g and g semisimple g is semisimple. Proposition g semisimple, (ρ, V ) a representation, x = x s + x n ρ(x) = ρ(x s ) + ρ(x n ) and ρ(x s ) = (ρ(x)) s, ρ(x n ) = (ρ(x)) n the Jordan decomposition of ρ(x) ρ(x n ) m = 0 for some m N. There is some basis in V where all the matrices ρ(x s ) are diagonal and all matrices ρ(x n ) are either strictly upper either lower triangular matrices.
Toral subalgebra g is semisimple Def: x s is semisimple x g : x = x s + x n Prop: x s and y s semisimple elements [x s, y s ] = 0 Def: Toral subalgebra h = {x s, x = x s + y s g} ad h is a Lie subalgebra of ad g of commuting matrices, having common eigenvectors Def: C(h) = {x g : [x, h] = ad x (h) = {0}} = g 0 g 0 = C(h) is a Lie subalgebra of g Proposition h = C(h)
Roots construction g semi-simple algebra, h = {x s, x g, x = x s + x n } Toral subalgebra or Cartan subalgebra, h = Ch 1 + Ch 2 + Ch l. ad h is a matrix Lie algebra of commuting matrices all the matrices have common eigenvectors Σ i = eigenvalues of h i, g = g λi, If λ i 0 then g λi linear vector space λ i Σ i x g λi ad hi x = λ i x and λ i ν i g λi g νi = {0} x g λ1 g λ2 g λl, h = c 1 h 1 + c 2 h 2 + + c l h l ad h x = (c 1 λ 1 + c 2 λ 2 + + c l λ l ) x h = Cµ 1 + Cµ 2 + + Cµ l, µ i h, µ i (h j ) = δ ij h λ = λ 1 µ 1 + λ 2 µ 2 + + λ l µ l Definition of the roots c 1 λ 1 + c 2 λ 2 + + c l λ l = λ(h) x g λ = g λ1 g λ2 g λl [h, x] = ad h x = λ(h)x g = g λ, λ µ g λ gµ = {0}
Roots g semisimple algebra, h = {x s, x g, x = x s + x n } Toral subalgebra ad h is a matrix Lie algebra of commuting matrices all the matrices have common eigenvectors Theorem (Root space) Exists root space h g = g 0 g α α x g α, h h ad h x = [h, x] = α(h)x g 0 = g 0 (h) = {y g : [y, h] = {0}} h h g 0 = C(h) is the centralizer of h g 0 is a Lie subalgebra, g α are vector spaces [g λ, g µ ] g λ+µ if λ + µ Prop: λ, µ [g λ, g µ ] = {0} if λ + µ
Semisimple roots g semisimple Lie algebra, h Toral algebra Prop: B(g λ, g µ ) = 0 if λ + µ 0 Prop: h, h h B(h, h ) = n λ λ(h)λ(h ), n λ = dim g λ λ Prop: α, x g α (ad x ) m = 0 (x g α (ad x ) 2 h = {0}, (ad x ) m g 0 = {0}) Prop: h g 0, B(h, g 0 ) = {0} h = 0 Prop: x g 0 x = x s + x n, x s g 0, x n g 0 Prop: h h, B(h, h) = 0 h = 0 Prop: g 0 is nilpotent Lie algebra { x g 0 (ad x ) m g 0 = {0} Prop: g 0 is abelian Dg 0 = {0} Prop: h = g 0 = C(h) = N(h) h is CSA = maximal abelian subalgebra
Prop: α, α(h) = 0 h = 0 << >>= h Prop: α α α g α {0} Prop: Killing form B non degenerate on h h φ 1:1 epi t φ h, φ(h) = B(t φ, h) Prop: x g α, y g α [x, y] = B(x, y)t α, t α h is unique [g α, g α ] = Ct α, α(t α ) = B(t α, t α ) Prop: h α = 2t α B(t α, t α ) S α = Ch α + Cx α + Cy a iso sl(2, C)
Prop: dim g α = 1 Prop: α and pα p = 1 S α = Ch α + Cx α + Cy a sl(2, C) iso g = h (Cx α + Cy a ) = h g + g α + g + = Cx α, g = Cy α α + α + Example g = sl (3, C) h = Ch 1 + Ch 2, g + = Cx 1 + Cx 2 + Cx 3, g = Cy 1 + Cy 2 + Cy 3
Strings of Roots β, α String of Roots β g β β + α g β+α β α g β α β + 2α g β+2α β 2α g β 2α...... β + pα g β+pα β qα g β qα β + (p + 1)α β (q + 1)α {β qα, β (q 1)α,..., β α, β, β + α,..., β + (p 1)α, β + pα} g α β = g β qα g β (q 1)α g β α g β g β+α g β+(p 1)α g β+pα ( ) Prop: ad, g α β is an irreducible representation of S a sl(2, C) iso Prop: β, α β(h α ) = q p Z, β β(h α )α
Cartan and Cartan-Weyl basis Cartan Basis [E α, E α ] = t α, [h α, E α ] = α(t α )E α, [E α, E β ] = k αβ E α+β, if α + β B(E α, E α ) = 1, B(t α, t β ) = α(t β ) = β(t α ) Cartan Weyl Basis α t α root H α = 2 α(t α ) t α coroot [X α, X α ] = H α, [H α, X α ] = 2X α, [H α, X α ] = 2X α [X α, X β ] = N αβ X α+β, if α + β CX α + CH α +CX α iso sl(2)
Def: (α, β) B(t α, t β ) = α(t β ) = β(t α ) = (β, α) Prop: < β, α > 2 (β, α) (α, α) = q p Z Prop: w α (β) β < β, α > α, w α (β) Def: Weyl Transform w α :
Prop: β α < β, α >< 0, Prop: β + α < β, α >> 0 Prop: β(h α ) = < β, α > Z, B(h α, h β ) = γ(h α )γ(h β ) Z Prop: Prop: Prop: B(h α, h α ) = γ ( < α, γ >) 2 > 0 γ β and β = m c i α i, α i c i Q i=1 span Q ( ) = E Q, E Q is a Q-euclidean vector space. Prop: (α, β) B(t α, t β ) Q, (α, α) > 0, (α, α) = 0 α = 0
Prop: There are not strings with five members < β, α >= 0, ±1, ±2, ±3 (α, β) = α β cos θ < β, α >= 2 β cos θ = 0, ±1, ±2, ±3 α < α, β > < β, α >= 4 cos 2 θ < α, β > < β, α > θ β / α 0 0 π/2 1 1 π/3 1 1 1 2π/3 1 1 2 π/4 2 1 2 3π/4 2 1 3 π/6 3 1 3 π/6 3
Simple Roots =roots is a finite set and span R ( ) =<< >>= E = R l Prop: E is not a finite union of hypersurfaces of dimension l 1 E is not the union of hypersurfaces vertical to any root z E : α (α, z) 0 Def: + = {α : (α, z) > 0}, positive roots = {α : (α, z) < 0}, negative roots = +, + = } Def: Σ = {β + : is not the sum of two elements of +, base or Simple Roots Prop: Σ Prop: β + β = σ Σ n σ σ, n σ 0, n σ Z
Coxeter diagrams α i ɛ i = α i (αi, α i ) = unit vector Σ simple roots Admissible unit roots Def: Admissible unit vectors A = {ɛ 1, ɛ 2,... ɛ n } 1 ɛ i linearly independent vectors 2 i j (ɛ i, ɛ j ) 0 3 4 (ɛ i, ɛ j ) 2 = 0, 1, 2, 3, Coxeter diagrams for two points ɛ i ɛ j 4 (ɛ i, ɛ j ) 2 = 0 ɛ i ɛ j 4 (ɛ i, ɛ j ) 2 = 1 ɛ i ɛ j 4 (ɛ i, ɛ j ) 2 = 2 ɛ i ɛ j 4 (ɛ i, ɛ j ) 2 = 3
Prop: A = A {ɛ i } admissible Prop: The number of non zero pairs is less than n Prop: The Coxeter graph has not cycles Prop: The maximum number of edges is three Prop: If {ɛ 1, ɛ 2,..., ɛ m } A and 2 (ɛ k, ɛ k+1 ) = 1, i j > 0 (ɛ i, ɛ j ) = 0 ɛ = m ɛ k A = (A {ɛ 1, ɛ 2,..., ɛ m }) {ɛ} admissible k=1
Dynkin diagrams for two points α i α j 4 (α i, α j ) 2 = 0 A 1 A 1 α i α j 4 (α i, α j ) 2 = 1 A 2 α i α j 4 (α i, α j ) 2 = 2 B 2 C 2 α i α j 4 (α i, α j ) 2 = 3 G 2
Rank 2 root systems Root system A1 A1 Root system A2 Root system B2 Root system G2
Dynkin diagrams
Highest weight Def: h is the maximal abelian subalgebra of g, the Cartan subalgebra. Theorem The weights µ and the roots α are elements of the h h h, z α g α ρ(h)v = µ(h)v ρ(h)ρ(e α )v = (µ(h) + α(h)) ρ(z α )v Def: µ 1 µ 2 µ 1 µ 2 = α + k α α, k α 0
Def: µ 0 is highest weight if for all weights mu µ 0 µ Def: (ρ, V ) is a highest weight cyclic representation with highest weight µ 0 iff 1 v V ρ(h)v = µ 0 (h)v, v is a cyclic vector 2 α + ρ(x α )v = 0 3 if (ρ, W ) is submodule of (ρ, V ) and v W W = V
Theorem Every irrep (ρ, V ) of g is a highest weight cyclic representation with highest weight µ 0 and µ(h α ) 0, α + Theorem The irrep (ρ, V ) with highest weight µ 0 is a direct sum of linear subspaces V µ where µ = µ 0 ( α + kα) and k α are positive integers.
µ weight v V : ρ(h)v = µ(h)v p, q N o : (ρ, W ) is a g submodule W = span ( ρ q (y α)v, ρ q 1 (y α)v,...,, ρ(y α)v, v, ρ(x α)v,..., ρ p 1 (x α)v, ρ p (x ) α)v Def: If µ is a weight and α a root, a chain is the set of permitted values of the weights µ qα, µ (q 1)α,..., µ + (p 1)α, µ + pα The weights of a chain (as vectors) are lying on a line perpendicular to the vertical of the vector α. This vertical is a symmetry axis of this chain. Prop: The weights of a representation is the union of all chains Theorem (Weyl transform) If µ is a weight and α any root then there is another weight given by the transformation S α (µ) = µ 2 (µ, α) α and 2 (µ, α) Z