Introduction To Lie algebras. Paniz Imani

Similar documents
THE DIMENSION OF A VECTOR SPACE

GROUP ALGEBRAS. ANDREI YAFAEV

Chapter 13: Basic ring theory

Structure of the Root Spaces for Simple Lie Algebras

Matrix Representations of Linear Transformations and Changes of Coordinates

MATH 304 Linear Algebra Lecture 9: Subspaces of vector spaces (continued). Span. Spanning set.

I. GROUPS: BASIC DEFINITIONS AND EXAMPLES

Group Theory. 1 Cartan Subalgebra and the Roots. November 23, Cartan Subalgebra. 1.2 Root system

Linear Algebra. A vector space (over R) is an ordered quadruple. such that V is a set; 0 V ; and the following eight axioms hold:

How To Prove The Dirichlet Unit Theorem

α = u v. In other words, Orthogonal Projection

Similarity and Diagonalization. Similar Matrices

Mathematics Course 111: Algebra I Part IV: Vector Spaces

FUNCTIONAL ANALYSIS LECTURE NOTES: QUOTIENT SPACES

NOTES ON LINEAR TRANSFORMATIONS

Orthogonal Diagonalization of Symmetric Matrices

MATH 304 Linear Algebra Lecture 18: Rank and nullity of a matrix.

NOTES ON CATEGORIES AND FUNCTORS

Classification of Cartan matrices

Finite dimensional C -algebras

MATH10212 Linear Algebra. Systems of Linear Equations. Definition. An n-dimensional vector is a row or a column of n numbers (or letters): a 1.

Math 4310 Handout - Quotient Vector Spaces

Continuous Groups, Lie Groups, and Lie Algebras

MATRIX ALGEBRA AND SYSTEMS OF EQUATIONS. + + x 2. x n. a 11 a 12 a 1n b 1 a 21 a 22 a 2n b 2 a 31 a 32 a 3n b 3. a m1 a m2 a mn b m

MATRIX ALGEBRA AND SYSTEMS OF EQUATIONS

BILINEAR FORMS KEITH CONRAD

MATH 304 Linear Algebra Lecture 20: Inner product spaces. Orthogonal sets.

Vector and Matrix Norms

Notes on Localisation of g-modules

These axioms must hold for all vectors ū, v, and w in V and all scalars c and d.

4. CLASSES OF RINGS 4.1. Classes of Rings class operator A-closed Example 1: product Example 2:

Math 312 Homework 1 Solutions

RINGS WITH A POLYNOMIAL IDENTITY

Name: Section Registered In:

Quotient Rings and Field Extensions

Recall that two vectors in are perpendicular or orthogonal provided that their dot

Section Inner Products and Norms

Linear Algebra I. Ronald van Luijk, 2012

Linear Algebra Notes

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

Lecture 18 - Clifford Algebras and Spin groups

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

1 VECTOR SPACES AND SUBSPACES

Methods for Finding Bases

Linear Maps. Isaiah Lankham, Bruno Nachtergaele, Anne Schilling (February 5, 2007)

4.5 Linear Dependence and Linear Independence

Polynomial Invariants

26 Ideals and Quotient Rings

it is easy to see that α = a

Arkansas Tech University MATH 4033: Elementary Modern Algebra Dr. Marcel B. Finan

15. Symmetric polynomials

4.1 Modules, Homomorphisms, and Exact Sequences

5. Linear algebra I: dimension

fg = f g Ideals. An ideal of R is a nonempty k-subspace I R closed under multiplication by elements of R:

Introduction to Modern Algebra

Introduction to Algebraic Geometry. Bézout s Theorem and Inflection Points

G = G 0 > G 1 > > G k = {e}

1 Homework 1. [p 0 q i+j p i 1 q j+1 ] + [p i q j ] + [p i+1 q j p i+j q 0 ]

Systems of Linear Equations

Finite dimensional topological vector spaces

BABY VERMA MODULES FOR RATIONAL CHEREDNIK ALGEBRAS

University of Lille I PC first year list of exercises n 7. Review

Solving Systems of Linear Equations

The Matrix Elements of a 3 3 Orthogonal Matrix Revisited

Matrix generators for exceptional groups of Lie type

FACTORING IN QUADRATIC FIELDS. 1. Introduction. This is called a quadratic field and it has degree 2 over Q. Similarly, set

Vector Spaces 4.4 Spanning and Independence

r(x + y) =rx + ry; (r + s)x = rx + sx; r(sx) =(rs)x; 1x = x

Associativity condition for some alternative algebras of degree three

SMALL SKEW FIELDS CÉDRIC MILLIET

LEARNING OBJECTIVES FOR THIS CHAPTER

T ( a i x i ) = a i T (x i ).

7. Some irreducible polynomials

Factoring of Prime Ideals in Extensions

6. Fields I. 1. Adjoining things

arxiv:quant-ph/ v3 8 Sep 2006

( ) which must be a vector

FIBER PRODUCTS AND ZARISKI SHEAVES

CBE 6333, R. Levicky 1. Tensor Notation.

Linear Algebra Notes for Marsden and Tromba Vector Calculus

CONSEQUENCES OF THE SYLOW THEOREMS

Vector Spaces. Chapter R 2 through R n

(a) Write each of p and q as a polynomial in x with coefficients in Z[y, z]. deg(p) = 7 deg(q) = 9

Chapter 4, Arithmetic in F [x] Polynomial arithmetic and the division algorithm.

Lecture Notes 2: Matrices as Systems of Linear Equations

Algebra 3: algorithms in algebra

FOUNDATIONS OF ALGEBRAIC GEOMETRY CLASS 22

Tensor product of vector spaces

11 Multivariate Polynomials

Nilpotent Lie and Leibniz Algebras

Numerical Analysis Lecture Notes

OPERS. The geometric Langlands correspondence conjectures a correspondence

Ideal Class Group and Units

COMMUTATIVE RINGS. Definition: A domain is a commutative ring R that satisfies the cancellation law for multiplication:

SOME PROPERTIES OF FIBER PRODUCT PRESERVING BUNDLE FUNCTORS

Solutions to TOPICS IN ALGEBRA I.N. HERSTEIN. Part II: Group Theory

Transcription:

Introduction To Lie algebras Paniz Imani 1

Contents 1 Lie algebras 3 1.1 Definition and examples....................................... 3 1.2 Some Basic Notions......................................... 4 2 Free Lie Algebras 4 3 Representations 4 4 The Universal Enveloping Algebra 5 4.1 Constructing U(g).......................................... 5 5 Simple Lie algebras, Semisimple Lie algebras, Killing form, Cartan criterion for semisimplicity 6 2

1 Lie algebras 1.1 Definition and examples Definition 1.1. A Lie algebra is a vector space g over a field F with an operation [, ] : g g g which we call a Lie bracket, such that the following axioms are satisfied: It is bilinear. It is skew symmetric: [x, x] = 0 which implies [x, y] = [y, x] for all x, y g. It satisfies the Jacobi Identitiy: [x, [y, z]] + [y, [z, x]] + [z, [x, y]] = 0. Definition 1.2. A Lie algebra Homomorphism is a linear map H Hom(g, h)between to Lie algebras g and h such that it is compatible with the Lie bracket: H : g h and H([x, y]) = [H(x), H(y)] Example 1.1. Any vector space can be made into a Lie algebra with the trivial bracket: for all v, w V. [v, w] = 0 Example 1.2. Let g be a Lie algebra over a field F. We take any nonzero element x g and construct the space spanned by x, we denote it by F x. This is an abelian one dimentional Lie algebra: Let a, b F x. We compute the Lie bracket. [αx, βx] = αβ[x, x] = 0. where α, β F. Note: This shows in particular that all one dimentional Lie algebras have a trivial bracket. Example 1.3. Any associative algebra A can be made into a Lie algebra by taking commutator as the Lie bracket: [x, y] = xy yx for all x, y A. Example 1.4. Let V be any vector space. The space of End(V ) forms an associative algebra under function composition. It is also a Lie algebra with the commutator as the Lie bracket. Whenever we think of it as a Lie algebra we denote it by gl(v ). This is the General Linear Lie algebra. Example 1.5. Let V be a finite dimentional vector space over a field F. Then we identify the Lie algebra gl(v ) with set of n n matrices gl n (F), where n is the dimension of V. The set of all matrices with the trace zero sl n F is a subalgebra of gl n (F). Example 1.6. The set of anti symmetric matrices with the trace zero denoted by so n forms a Lie algebra under the commutator as the Lie bracket. Example 1.7. Heisenberg algebra: We look at the vector space H generated over F by the matrices: 0 1 0 0 0 1 0 0 0 0 0 0, 0 0 0, 0 0 1 0 0 0 0 0 0 0 0 0 This is a linear subspace of gl 3 (F ) and becomes a Lie algebra under the commutator bracket. The fact that H is closed under the commutator bracket follows from the well-known commutator identity on the standard basis of n n matrices: [E ij, E kl ] = δ jk E il δ li E kj where δ ij is the Kronecker delta. 3

1.2 Some Basic Notions Definition 1.3. Let g be a Lie algebra over F. Then a linear subspace U g is a Lie subalgebra if U is closed under the Lie bracket of g: [x, y] U for all x, y U. Definition 1.4. Let I be a linear subspace of a Lie algebra g. Then I is an ideal of g if whenever x I and y g. [x, y] I Definition 1.5. A Lie algebra g is called abelian if the Lie bracket vanishes for all elements in g: for all x, y g. [x, y] = 0 Definition 1.6. Let U be a non empty subset of g, we call U the Lie subalgebra (ideal) generated by U, where: U = {I g : I is Lie subalgebra (ideal) containing U} 2 Free Lie Algebras Let X be a set. We define W X = x X F,where F is an arbitrary field. Then we denote the tensor algebra of W X by T W X which is as well a Lie algebra. The Free Lie algebra on X is the Lie subalgebra in T W X generated by X. Where X can be canonically embedded into W X via the map: f : X W X. x e x 3 Representations A representation of a Lie algebra g is a Lie algebra homomorphism from g to the Lie algebra End(V ): ρ : g gl(v ). Definition 3.1. For a Lie algebra g and any x g we define a map ad x : g g, y [x, y] which is the adjoint action. Every Lie algebra has a representation on itself, the adjoint representation defined via the map: ad : g gl(g) x ad x. Definition 3.2. For two representations of a Lie algebra g, φ : g gl(v ) and φ : g gl(v ) a morphism from φ to φ is a linear map ψ : V V such that it is compatible with the action of g on V and V : φ (x)ψ = ψφ(x) For all x g. This constitutes the category g Mod. 4

4 The Universal Enveloping Algebra For any associative algebra we construct a Lie algebra by taking the commutator as the Lie bracket. Now let us think in the reverse direction. We want to see if we can construct an associative algebra from a given Lie algebra and its consequences. With this construction, instead of non-associative scructures;lie algebras, we can work with nicer and better developed structures: Unital associative algebras that captures the important properties of our Lie algebra. 4.1 Constructing U(g) Let us construct the tensor algebra of the Lie algebra g: T g = T k g = g... g }{{} k=0 k=0 k times We look at the two sided ideal I generated by : g h h g [g, h] For g, h T g. Its elements look like: k i=0 c i (x (i) 1... x(i) n i ) (g i h i h i g i [g i, h i ]) (y (i) 1... y (i) n i ) for g i, h i T g. Now the universal enveloping algebra is constructed by taking the quotient of our tensor algebra: U(g) = T (g)/i. Definition 4.1. For two ring homomorphisms S : U(g) End(W ) and S : U(g) End(W ) a morphism from S to S is a map t : W W such that it is compatible with the action of U(g) on W and W : This constitutes the category U(g) Mod. S (x)t = ts(x). Theorem 4.1. To each representation φ : g gl(v ) we can associate some S φ : U(g) End(V ) and to each ring homomorphism S : U(g) End(V ) we can associate some φ S : g gl(v ), such that a morphism ψ from φ to φ is also a morphism from S φ to S φ and a morphism t from S to S is also a morphism from φ s to φ S,and φ S φ = φ and S φs = S. Remark. This is equivalent as to say g-mod is equivalent to U(g)-Mod. Proof. Suppose we are given a representation φ, we want to construct S φ such that it will satisfy the properties of a ring homomorphism, that is: (1) S φ (1) = 1 (2) S φ (r + r ) = S(r) + S(r) (3) S φ (rr ) = S(r)S(r ) We define S φ as follows: S φ (1) = 1 So that (1) holds. We consider an element of x 1... x n U(g), we define S on x 1... x n : S φ (x 1... x n ) = φ(x 1 ) φ(x 2 )... φ(x n ). Now we define S on the rest of U(g) by linear extension: S φ (x 1...x n + y 1...y m ) = S φ (x 1...x n ) + S φ (y 1...y n ) 5

It is clear that (2) is also satisfied. We show that (3) is satisfied as well: S φ (x 1...x n y 1...y m ) = φ(x 1 )...φ(x n ) φ(y 1 )... φ(y m ) = S φ (x 1...x n ) S φ (y 1...y n ) Now suppose we have S and we want to define φ S : φ S (x) = S(x) we want to show that its a Lie algebra representation: φ S ([x, y]) = S(x y y x) = S(x y) S(y x) = S(x) S(y) S(y) S(x) = φ S (x) φ S (y) φ S (y) φ S (x) Now we will show if ψ is a morphism from φ to φ then it is also a morphism from S φ to S φ. By definition S φ = φ, Thus: S φ (x)ψ = ψ S(x). Taking another element x y U(g) Mod, we will have: S φ (x y)ψ = ψ S(x y) S (x) S (y) ψ = S (x) ψ S(y) = ψ s(x) S(y) = ψ S(x y) From the equation above it is obvious that this holds for any arbitrary element x 1... x n U(g). That is we have: S φ (x 1... x n )ψ = ψ S φ (x 1... x n ) The other way around to show that t is also a morphism from φ to φ is obvious by using the one to one correspondence between φ and s. The only thing left is to show that φ Sφ (x) = φ(x) and S φs (X) = S(x). For the first case we mean that if we start from φ go to φ S and then to φ Sφ we get the same φ. Let s look at the definition of φ Sφ. It is a Lie algebra representation that we get from the ring homomorphism S φ. by defining φ Sφ (x) := S φ (x), and we defined S φ (x) = φ(x). Therefore: φ Sφ (X) = φ(x). To show S φs (x) = S(x), we use the same trick. By definition: We insert the definition of φ S (x): S φs (x 1... x n ) = φ S (x 1 )... φ(x n ) φ S (x 1 )... φ S (x n ) = S(x 1 )... S(x n ) but since S is a ring homomorphism, we have that it is multiplicative: Therefore S φs (x) = S(x). S(x 1 ).. S(x n ) = S(x 1... x n ). 5 Simple Lie algebras, Semisimple Lie algebras, Killing form, Cartan criterion for semisimplicity Definition 5.1. A non abelian Lie algebra g is called simple if it has no non trivial ideals. Definition 5.2. We define a Lie algebra g to be semisimple if it is the finite direct sum of simple Lie algebras g i : g = g 1 g 2... g n. 6

Definition 5.3. Let g be a finite dimentional Lie algebra over a field F. The Killing form κ is the bilinear form κ : g g F defined by κ(x, y) = T r(ad x ad y ) x, y, z g. It has the following properties: It is bilinear. It is symmetric. It is ad invariant:. κ([y, x], z) + κ(x, [y, z]) = 0 Definition 5.4. The Killing form is said to be non degenerate if: y = 0 κ(x, y) = 0 implies x = 0. Theorem 5.1. Cartan criterion: A Lie algebra g over a field F of characteristic zero is semisimple if and only if the Killing form is non degenerate. 7