Lecture 2 Some Sources of Lie Algebras

Similar documents
INTRODUCTION TO LIE ALGEBRAS. LECTURE 1.

3.1. Derivations. Let A be a commutative k-algebra. Let M be a left A-module. A derivation of A in M is a linear map D : A M such that

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

Lecture 11 The Radical and Semisimple Lie Algebras

INTRODUCTION TO LIE ALGEBRAS. LECTURE 7.

Joseph Muscat Universal Algebras. 1 March 2013

(K + L)(c x) = K(c x) + L(c x) (def of K + L) = K( x) + K( y) + L( x) + L( y) (K, L are linear) = (K L)( x) + (K L)( y).

MA441: Algebraic Structures I. Lecture 14

Linear Algebra. Min Yan

REPRESENTATION THEORY, LECTURE 0. BASICS

Math 121 Homework 5: Notes on Selected Problems

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

INTRODUCTION TO LIE ALGEBRAS. LECTURE 2.

1.1 Definition. A monoid is a set M together with a map. 1.3 Definition. A monoid is commutative if x y = y x for all x, y M.

Introduction to abstract algebra: definitions, examples, and exercises

5 Group theory. 5.1 Binary operations

BASIC GROUP THEORY : G G G,

ne varieties (continued)

Chapter 4. Matrices and Matrix Rings

Review of linear algebra

ENTRY GROUP THEORY. [ENTRY GROUP THEORY] Authors: started Mark Lezama: October 2003 Literature: Algebra by Michael Artin, Mathworld.

TROPICAL SCHEME THEORY

Honors Algebra 4, MATH 371 Winter 2010 Assignment 4 Due Wednesday, February 17 at 08:35

Section 18 Rings and fields

DERIVATIONS. Introduction to non-associative algebra. Playing havoc with the product rule? BERNARD RUSSO University of California, Irvine

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

SF2729 GROUPS AND RINGS LECTURE NOTES

A Little Beyond: Linear Algebra

and this makes M into an R-module by (1.2). 2

Homework 5 M 373K Mark Lindberg and Travis Schedler

Review of Linear Algebra

January 2016 Qualifying Examination

Note that a unit is unique: 1 = 11 = 1. Examples: Nonnegative integers under addition; all integers under multiplication.

Algebraic structures I

Classification of Root Systems

LECTURE 3: REPRESENTATION THEORY OF SL 2 (C) AND sl 2 (C)

Abstract Algebra II Groups ( )

be any ring homomorphism and let s S be any element of S. Then there is a unique ring homomorphism

MATRIX ALGEBRA AND SYSTEMS OF EQUATIONS. + + x 1 x 2. x n 8 (4) 3 4 2

Matrix Algebra Determinant, Inverse matrix. Matrices. A. Fabretti. Mathematics 2 A.Y. 2015/2016. A. Fabretti Matrices

A Multiplicative Operation on Matrices with Entries in an Arbitrary Abelian Group

Definitions, Theorems and Exercises. Abstract Algebra Math 332. Ethan D. Bloch

Solutions to Assignment 4

ALGEBRA QUALIFYING EXAM PROBLEMS LINEAR ALGEBRA

Equality: Two matrices A and B are equal, i.e., A = B if A and B have the same order and the entries of A and B are the same.

Generators of affine W-algebras

Algebra homework 6 Homomorphisms, isomorphisms

Supplement. Dr. Bob s Modern Algebra Glossary Based on Fraleigh s A First Course on Abstract Algebra, 7th Edition, Sections 0 through IV.

MATH 101B: ALGEBRA II PART A: HOMOLOGICAL ALGEBRA

LIE ALGEBRAS: LECTURE 3 6 April 2010

15. Polynomial rings Definition-Lemma Let R be a ring and let x be an indeterminate.

THE CLASSICAL HOM-YANG-BAXTER EQUATION AND HOM-LIE BIALGEBRAS. Donald Yau

Abstract Algebra I. Randall R. Holmes Auburn University. Copyright c 2012 by Randall R. Holmes Last revision: November 11, 2016

Linear Vector Spaces

ALGEBRAIC GROUPS: PART III

EXERCISES IN MODULAR FORMS I (MATH 726) (2) Prove that a lattice L is integral if and only if its Gram matrix has integer coefficients.

Linear Algebra Notes. Lecture Notes, University of Toronto, Fall 2016

Commutative Banach algebras 79

Matsumura: Commutative Algebra Part 2

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

Linear algebra I Homework #1 due Thursday, Oct Show that the diagonals of a square are orthogonal to one another.

Lie Groups, Lie Algebras and the Exponential Map

Math 215B: Solutions 1

A Primer on Homological Algebra

NORMS ON SPACE OF MATRICES

1 Fields and vector spaces

Representation theory and quantum mechanics tutorial Spin and the hydrogen atom

Appalachian State University. Free Leibniz Algebras

Teddy Einstein Math 4320

Lie Algebra Cohomology

ELEMENTARY SUBALGEBRAS OF RESTRICTED LIE ALGEBRAS

Supplementary Notes March 23, The subgroup Ω for orthogonal groups

Lecture 4.1: Homomorphisms and isomorphisms

Groups. Contents of the lecture. Sergei Silvestrov. Spring term 2011, Lecture 8

MATH RING ISOMORPHISM THEOREMS

Exercises on chapter 1

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

Math 593: Problem Set 10

Chapter 2 Linear Transformations

18.312: Algebraic Combinatorics Lionel Levine. Lecture 22. Smith normal form of an integer matrix (linear algebra over Z).

1. Let r, s, t, v be the homogeneous relations defined on the set M = {2, 3, 4, 5, 6} by

Representations of Matrix Lie Algebras

2) e = e G G such that if a G 0 =0 G G such that if a G e a = a e = a. 0 +a = a+0 = a.

Linear Systems and Matrices

Matrix Theory. A.Holst, V.Ufnarovski

Endomorphisms, Automorphisms, and Change of Basis

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

LINEAR ALGEBRA BOOT CAMP WEEK 4: THE SPECTRAL THEOREM

Lecture Notes Math 371: Algebra (Fall 2006) by Nathanael Leedom Ackerman

ALGEBRA QUALIFYING EXAM PROBLEMS

Definition 9.1. The scheme µ 1 (O)/G is called the Hamiltonian reduction of M with respect to G along O. We will denote by R(M, G, O).

Part IV. Rings and Fields

Lecture Notes Introduction to Cluster Algebra

NOTES ON FINITE FIELDS

* 8 Groups, with Appendix containing Rings and Fields.

Lecture 7.3: Ring homomorphisms

Lecture Notes in Linear Algebra

Monoids. Definition: A binary operation on a set M is a function : M M M. Examples:

Some notes on linear algebra

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

Transcription:

18.745 Introduction to Lie Algebras September 14, 2010 Lecture 2 Some Sources of Lie Algebras Prof. Victor Kac Scribe: Michael Donovan From Associative Algebras We saw in the previous lecture that we can form a Lie algebra A, from an associative algebra A, with binary operation the commutator bracket [a, b] = ab ba. We also saw that this construction works for algebras satisfying any one of a variety of other conditions. As Algebras of Derivations Lie algebras are often constructed as the algebra of derivations of a given algebra. This corresponds to the use of vector fields in geometry. Definition 2.1. For any algebra A over a field F, a derivation of A is an F-vector space endomorphism D of A satisfying D(ab) = D(a)b + ad(b). Let Der(A) gl A be denote the space of derivations of A. For an element a of a Lie algebra g, define a map ad(a) : g g, by b [a, b]. This map is referred to as the adjoint operator. Rewriting the Jacobi identity as [a, [b, c]] = [[a, b], c] + [b, [a, c]], (1) we see that ad(a) is a derivation of g. Derivations of this form are referred to as inner derivations of g. Proposition 2.1. (a) Der(A) is a subalgebra of gl A (with the usual commutator bracket). (b) The inner derivations of a Lie algebra g form an ideal of Der(g). More precisely, [D, ad(a)] = ad(d(a)) for all D Der(g) and a g. (2) Proof of (b): We check (2) by applying both sides to b g: [D, ad(a)]b = D[a, b] [a, Db] = [Da, b] = ad(da)b, where the second equality holds as D is a derivation. Exercise 2.1. Prove (a). 1

Solution: The derivations of A are those maps D gl A which satisfy D(ab) D(a)b ad(b) = 0 for all a and b in A. For fixed a and b, the left hand side of this equation is linear in D, so that the set of endomorphisms satisfying that single equation is a subspace. The set of dervations is the intersection over all a and b in A of these subspaces, which is a subspace. We are only left to check that the bracket of two derivations is a derivation. For any a, b A and D 1, D 2 Der(A) we calculate: [D 1, D 2 ](ab) = D 1 (D 2 (a)b + ad 2 (b)) D 2 (D 1 (a)b + ad 1 (b)) = D 1 D 2 (a)b + D 2 (a)d 1 (b) + D 1 (a)d 2 (b) + ad 1 D 2 (b) {D 2 D 1 (a)b + D 1 (a)d 2 (b) + D 2 (a)d 1 (b) + ad 2 D 1 (b)} = D 1 D 2 (a)b D 2 D 1 (a)b + ad 1 D 2 (b) ad 2 D 1 (b) = [D 1, D 2 ](a)b + a[d 1, D 2 ](b). Thus the derivations are closed under the bracket, and so form a Lie subalgebra of gl A. From Poisson Brackets Exercise 2.2. Let A = F[x 1,..., x n ], or let A be the ring of C functions on x 1,..., x n. Define a Poisson bracket on A by: {f, g} = n i,j=1 f g {x i, x j }, for fixed choices of {x i, x j } A. (3) x i x j Show that this bracket satisfies the axioms of a Lie algebra if and only if {x i, x i } = 0, {x i, x j } = {x j, x i } and any triple x i, x j, x k satisfy the Jacobi identity. Solution: If the Poisson bracket defines a Lie algebra structure for some choice of values {x i, x j }, then in particular, the axioms of a Lie algebra must be satisfied for brackets of terms x i. The interesting question is whether the converse holds. We suppose then that the {x i, x j } are chosen so that {x i, x j } = {x j, x i }, and so that the Jacobi identity is satisfied for triples x i, x j, x k. The bilinearity of the bracket follows from the linearity of differentiation, and the skew-symmetry follows from the assumption of the skew symmetry on the x i. At this point we introduce some shorthands to simplify what follows. If f is any function, we write f i for the derivative of f with respect to x i. When we are discussing an expression e in terms of three functions f, g, h, we will write CS(e) for the cyclic summation of e, the expression formed by summing those obtained from e by permuting the f, g, h cyclically. In particular, the Jacobi identity will be CS({f, {g, h}}) = 0. First we calculate the iterated bracket of monomials x i : {x i, {x j, x k }} = l {x j, x k } l {x i, x l } (an example of the shorthands described). Now the iterated bracket of any three polynomials (or functions) f, g and h is: {h, {f, g}} = [f il g j h k + g jl f i h k ] {x i, x j }{x k, x l } + f i g j h k {x i, x j } l {x k, x l }. i,j,k,l i,j,k,l 2

By the assumption that the Jacobi identity holds on the x i, we have (for any i, j, k): CS(f i g j h k ){x i, x j } l {x k, x l } = 0, l for cyclicly permuting the f, g, h corresponds to cyclicly permuting the i, j, k (in the opposite order). Thus we have: CS ({h, {f, g}}) = CS(f il g j h k + g jl f i h k ){x i, x j }{x k, x l }. i,j,k,l The remaining task can be viewed as finding the {x α, x β }{x γ, x δ } coefficient in this expression, where we substitute all appearences of {x β, x α } for {x α, x β }, and so on. To do so, we tabulate all the appearances of terms which are multiples of {x α, x β }{x γ, x δ }. We may as well assume here that α < β and γ < δ. i j k l multiple of {x α, x β }{x γ, x δ } i j k l multiple of {x α, x β }{x γ, x δ } α β γ δ + f αδ g β h γ + g βδ f α h γ γ δ α β + f γβ g δ h α + g δβ f γ h α β α γ δ f βδ g α h γ g αδ f β h γ δ γ α β f δβ g γ h α g γβ f δ h α α β δ γ f αγ g β h δ g βγ f α h δ γ δ β α f γα g δ h β g δα f γ h β β α δ γ + f βγ g α h δ + g αγ f β h δ δ γ β α + f δα g γ h β + g γα f δ h β α β γ δ + g αδ h β f γ + h βδ g α f γ γ δ α β + g γβ h δ f α + h δβ g γ f α β α γ δ g βδ h α f γ h αδ g β f γ δ γ α β g δβ h γ f α h γβ g δ f α α β δ γ g αγ h β f δ h βγ g α f δ γ δ β α g γα h δ f β h δα g γ f β β α δ γ + g βγ h α f δ + h αγ g β f δ δ γ β α + g δα h γ f β + h γα g δ f β α β γ δ + h αδ f β g γ + f βδ h α g γ γ δ α β + h γβ f δ g α + f δβ h γ g α β α γ δ h βδ f α g γ f αδ h β g γ δ γ α β h δβ f γ g α f γβ h δ g α α β δ γ h αγ f β g δ f βγ h α g δ γ δ β α h γα f δ g β f δα h γ g β β α δ γ + h βγ f α g δ + f αγ h β g δ δ γ β α + h δα f γ g β + f γα h δ g β Of course, if α = γ and β = δ, there is repetition, so that the right hand columns of this table must be ignored. Whether or not this is the case, the reader will be able to arrange the entries of this table into cancelling pairs. Example 2.1. Let A = F[p 1,..., p n, q 1,..., q n ]. Let {p i, p j } = {q i, q j } = 0 and {p i, q j } = {q i, p j } = δ i,j. Both conditions clearly hold, and explicitly: {f, g} = i f g g f p i q i p i q i is a Lie algebra bracket, important in classical mechanics. Via Structure Constants Given a basis e 1,..., e n of a Lie algebra g over F, the bracket is determined by the structure constants c k ij F, defined by: [e i, e j ] = c k ije k. The structure constants must satisfy the obvious skew-symmetry condition (c k ii = 0 and ck ij = ck ji ), and a more complicated (quadratic) condition corresponding to the Jacobi identity. 3 k

Definition 2.2. Let g 1, g 2, be two Lie algebras over F and ϕ : g 1 g 2 a linear map. We say that ϕ is a homomorphism if it preserves the bracket: ϕ([a, b]) = [ϕ(a), ϕ(b)], and an isomorphism if it is bijective. If there exists an isomorphism ϕ, we say that g 1 and g 2 are isomorphic, written g 1 = g2. Exercise 2.3. Let ϕ : g 1 g 2 be homomorphism. Then: (a) ker ϕ is an ideal of g 1. (b) im ϕ is a subalgebra of g 2. (c) im ϕ = g 1 / ker ϕ. Solution: Let ϕ : g 1 g 2 be homomorphism of Lie algebras. Then: (a) The kernel ker ϕ is an subspace of g 1, as in particular ϕ is F-linear. Furthermore, if x ker ϕ and y g 1, we have ϕ([x, y]) = [ϕ(x), ϕ(y)] = [0, ϕ(y)] = 0. Thus [x, y] ker ϕ. This shows that ker ϕ is an ideal of g. (b) The image im ϕ is a subspace, again as ϕ is F-linear. Now for any u, v im ϕ, we may write u = ϕ(x) and v = ϕ(y) for elements x, y g 1. Then [u, v] = [ϕ(x), ϕ(y)] = ϕ([x, y]) im ϕ. Thus the image is a subalgebra. (c) Consider the map ψ : g 1 / ker ϕ im ϕ given by x + ker ϕ ϕ(x). We must first see that ψ is well defined. If x + ker ϕ = x + ker ϕ, then x x ker ϕ, so that: ϕ(x) = ϕ(x) + ϕ(x x) = ϕ(x) + ϕ(x ) ϕ(x) = ϕ(x ). Thus our definition of ψ does not depend on choice of representative, and ψ is well defined. It is trivial to see that ψ is a homomorphism. Now suppose that x + ker ϕ ker ψ. Then ϕ(x) = 0, so that x ker ϕ, and x + ker ϕ = 0 + ker ϕ. Thus ψ is injective, and that ψ is surjective is obvious. Thus ψ is an isomorphism g 1 / ker ϕ im ϕ. As the Lie Algebra of an Algebraic (or Lie) Group Definition 2.3. An algebraic group G over a field F is a collection {P α } α I of polynomials on the space of matrices Mat n (F) such that for any unital commutative associative algebra A over F, the set G(A) := {g Mat n (A) g is invertible, and P α (g) = 0 for all α I} is a group under matrix multiplication. Example 2.2. The general linear group GL n. Let {P α } =, so that GL n (A) is the set of invertible matrices with entries in A. This is a group for any A, so that GL n is an algebraic group. Example 2.3. The special linear group SL n. Let {P α } = {det(x ij ) 1}, so that SL n (A) is the set of invertible matrices with entries in A and determinant 1. This is a group for any A, so that SL n is an algebraic group. Exercise 2.4. Given B Mat n (F), let O n,b (A) = {g GL n (A) : g T Bg = B}. Show that this family of groups is given by an algebraic group. 4

Solution: For any unital commutative associative algebra A over F, the set O n,b (A) = {g GL n (A) : g T Bg = B} is a group under matrix multiplication, as if g, h O n,b (A) we have: (gh) T B(gh) = h T g T Bgh = h T Bh = B, and ( g 1) T Bg 1 = ( g T) 1 ( g T Bg ) g 1 = B. We then only have to show that the condition g T Bg = B can be written as a collection of polynomial equations in the entries g ij of the matrix g, with coefficients in F. This is obvious we have one polynomial equation for each of the n 2 entries of the matrix, and the coefficients depend only on the entries of B. Definition 2.4. Over a given field F, define the algebra of dual numbers D to be D := F[ɛ]/(ɛ 2 ) = {a + bɛ a, b F, ɛ 2 = 0}. We then define the Lie algebra Lie G of an algebraic group G to be Lie G := {X gl n (F) I n + ɛx G(D)}. Example 2.4. (1) Lie GL n = GL n (F), since (I n + ɛx) 1 = I n ɛx. (I n ɛx approximates the inverse to order two, but over dual numbers, order two is ignored). (2) Lie SL n = sl n (F). (3) Lie O n,b = o F n,b. Exercise 2.5. Prove (2) and (3) from example 2.4. Solution: For (2), We need only prove the formula det(i n + ɛx) = 1 + ɛ tr (X). It is trivial when n = 1, and we proceed by induction on n. Consider the matrix I n + ɛx, and the cofactor expansion of the determinant along the final column. If i < n, the (i, n) entry is a multiple of ɛ, and so is every entry of the i th column of the matrix obtained by removing the row and column containing (i, n). Thus the corresponding cofactor has no contribution to the overall determinant. The determinant is therefore 1 + ɛx nn multiplied by the minor corresponding to (n, n). By induction, the determinant is (1 + ɛx nn )(1 + ɛ(tr (X) X nn )). The result follows. For (3), the following calculation gives the result: (1 + ɛx) T B(1 + ɛx) = B + ɛx T B + ɛx T B + ɛ 2 X T BX = B + ɛ(x T B + X T B). Theorem 2.2. Lie G is a Lie subalgebra of gl n (F). Proof. We first show that Lie G is a subspace. Indeed, X Lie G iff P α (I n + ɛx) = 0 for all α. Using the Taylor expansion: P α (I n + ɛx) = P α (I n ) + i,j P α x ij (I n ) ɛ x ij, as ɛ 2 = 0. Now as P α (I n ) = 0 (every group contains the identity), this condition is linear in the x ij, so that Lie G is a subspace. 5

Now suppose that X, Y Lie G. We wish to prove that XY Y X Lie G. We have: I n + ɛx G(F[ɛ]/(ɛ 2 )), and I n + ɛ Y G(F[ɛ ]/((ɛ ) 2 )). Viewing these as elements of G(F[ɛ, ɛ ]/(ɛ 2, (ɛ ) 2 )), we have (I n + ɛx)(i n + ɛ Y )(I n + ɛx) 1 (I n + ɛ Y ) 1 = I n + ɛɛ (XY Y X) G(F[ɛ, ɛ ]/(ɛ 2, (ɛ ) 2 )). Hence I n + ɛɛ (XY Y X) G(F[ɛɛ ]/((ɛɛ ) 2 )) = G(D), so that XY Y X Lie G. 6