UC Berkeley Summer Undergraduate Research Program 2015 July 8 Lecture

Similar documents
UC Berkeley Summer Undergraduate Research Program 2015 July 9 Lecture

Math 249B. Nilpotence of connected solvable groups

Background on Chevalley Groups Constructed from a Root System

22A-2 SUMMER 2014 LECTURE Agenda

1 Smooth manifolds and Lie groups

16.2. Definition. Let N be the set of all nilpotent elements in g. Define N

Transcendence in Positive Characteristic

REPRESENTATION THEORY OF S n

REPRESENTATION THEORY WEEK 7

Problems in Linear Algebra and Representation Theory

Solutions of exercise sheet 8

Review of linear algebra

Spectral Theorem for Self-adjoint Linear Operators

Math 306 Topics in Algebra, Spring 2013 Homework 7 Solutions

SOME EXAMPLES OF THE GALOIS CORRESPONDENCE

Definition 3 A Hamel basis (often just called a basis) of a vector space X is a linearly independent set of vectors in X that spans X.

REPRESENTATION THEORY. WEEK 4

Representations. 1 Basic definitions

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

REPRESENTATION THEORY WEEK 5. B : V V k

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

MILNOR SEMINAR: DIFFERENTIAL FORMS AND CHERN CLASSES

Curtis Heberle MTH 189 Final Paper 12/14/2010. Algebraic Groups

ELEMENTARY SUBALGEBRAS OF RESTRICTED LIE ALGEBRAS

Subgroups of Linear Algebraic Groups

MATH 223A NOTES 2011 LIE ALGEBRAS 35

A method for construction of Lie group invariants

Math 594. Solutions 5

Math 110, Spring 2015: Midterm Solutions

Exercises on chapter 4

The Cartan Decomposition of a Complex Semisimple Lie Algebra

Geometry of Schubert Varieties RepNet Workshop

Hyperdeterminants of Polynomials

Eigenvalues and Eigenvectors A =

14 From modular forms to automorphic representations

Eigenvalues and Eigenvectors

Schur s Triangularization Theorem. Math 422

CLASSICAL GROUPS DAVID VOGAN

5 Quiver Representations

MATH 8253 ALGEBRAIC GEOMETRY WEEK 12

ALGEBRA 8: Linear algebra: characteristic polynomial

Supplementary Notes March 23, The subgroup Ω for orthogonal groups

Representations and Linear Actions

Topics in linear algebra

A Field Extension as a Vector Space

GEOMETRIC STRUCTURES OF SEMISIMPLE LIE ALGEBRAS

MAT 2037 LINEAR ALGEBRA I web:

Linear Algebra, Summer 2011, pt. 2

0.1 Rational Canonical Forms

ne varieties (continued)

Homework 5 M 373K Mark Lindberg and Travis Schedler

Generic Picard-Vessiot extensions for connected by finite groups Kolchin Seminar in Differential Algebra October 22nd, 2005

LECTURE 16: TENSOR PRODUCTS

MAT 1302B Mathematical Methods II

IMPORTANT DEFINITIONS AND THEOREMS REFERENCE SHEET

COMPLEX MULTIPLICATION: LECTURE 14

22m:033 Notes: 7.1 Diagonalization of Symmetric Matrices

is an isomorphism, and V = U W. Proof. Let u 1,..., u m be a basis of U, and add linearly independent

INTRODUCTION TO LIE ALGEBRAS. LECTURE 1.

2.4 Algebra of polynomials

1.8 Dual Spaces (non-examinable)

MATH SOLUTIONS TO PRACTICE MIDTERM LECTURE 1, SUMMER Given vector spaces V and W, V W is the vector space given by

LECTURE 3 MATH 261A. Office hours are now settled to be after class on Thursdays from 12 : 30 2 in Evans 815, or still by appointment.

ABSTRACT ALGEBRA 1, LECTURES NOTES 5: SUBGROUPS, CONJUGACY, NORMALITY, QUOTIENT GROUPS, AND EXTENSIONS.

Vector Spaces and Linear Transformations

Yale University Department of Mathematics Math 350 Introduction to Abstract Algebra Fall Midterm Exam Review Solutions

1.4 Solvable Lie algebras

3.2 Constructible Numbers

Representation Theory

On the Self-dual Representations of a p-adic Group

1 Hermitian symmetric spaces: examples and basic properties

Notation. For any Lie group G, we set G 0 to be the connected component of the identity.

Homework set 4 - Solutions

Algebraic groups Lecture 1

Toshiaki Shoji (Nagoya University) Character sheaves on a symmetric space and Kostka polynomials July 27, 2012, Osaka 1 / 1

Linear algebra 2. Yoav Zemel. March 1, 2012

LECTURE 4: REPRESENTATION THEORY OF SL 2 (F) AND sl 2 (F)

GEOMETRIC INVARIANT THEORY AND SYMPLECTIC QUOTIENTS

IMPORTANT DEFINITIONS AND THEOREMS REFERENCE SHEET

WOMP 2001: LINEAR ALGEBRA. 1. Vector spaces

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

GRE Subject test preparation Spring 2016 Topic: Abstract Algebra, Linear Algebra, Number Theory.

The Lusztig-Vogan Bijection in the Case of the Trivial Representation

LECTURE 16: REPRESENTATIONS OF QUIVERS

BASIC ALGORITHMS IN LINEAR ALGEBRA. Matrices and Applications of Gaussian Elimination. A 2 x. A T m x. A 1 x A T 1. A m x

REPRESENTATION THEORY NOTES FOR MATH 4108 SPRING 2012

Math 249B. Geometric Bruhat decomposition

Dissimilarity maps on trees and the representation theory of GL n (C)

Math 489AB Exercises for Chapter 2 Fall Section 2.3

MATH Linear Algebra

Introduction to Modern Quantum Field Theory

A connection between number theory and linear algebra

Math 210C. The representation ring

Problem Set # 1 Solution, 18.06

c Igor Zelenko, Fall

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

What is the Langlands program all about?

c 1 v 1 + c 2 v 2 = 0 c 1 λ 1 v 1 + c 2 λ 1 v 2 = 0

Lecture Notes Introduction to Cluster Algebra

A LITTLE TASTE OF SYMPLECTIC GEOMETRY: THE SCHUR-HORN THEOREM CONTENTS

Transcription:

UC Berkeley Summer Undergraduate Research Program 25 July 8 Lecture This lecture is intended to tie up some (potential) loose ends that we have encountered on the road during the past couple of weeks We will focus on root subgroups and some connections with Lie algebras Root Subgroups Fix G = GL n and let T B G be the diagonal matrices sitting inside the upper triangular matrices Let R = {χ i χ j i j} be the set of roots, R + = {χ i χ j i < j} the positive roots (relative to B) For α R, we define the unipotent subgroup U α = {I n + ae ij a C} This is a subgroup of G isomorphic to C - there exists a group isomorphism C U α that is also a morphism of algebraic varieties Let s write Exercise: u α (a) = exp(ae ij ) T normalises U α and u α (a) = I n + ae ij U α t(i n + ae ij )t = I n + α(t)ae ij = tu(a)t = u(α(t)a) Hence, identifying U α with C, we find that conjugation by T induces an action of T on C via the root α: t a = α(t)a Now, suppose that W is a representation of G and w W (µ) is a (nonzero) weight vector of weight µ: this means that tw = µ(t)w, for t T Fix α R, some root of G Important Proposition: u α (a)w = i ai w i, where w = w, w i W (µ + iα), and the sum is finite Proof: Restrict the representation of G on W to U α = C: this amounts to giving a morphism of varieties that is also a group homomorphism F : C = U α G GL(W ) Such a morphism of affine varieties is determined by the induced morphism on coordinate rings F : A GL(W ) A C = C[t] Fix a weight basis B = (w, u 2,, u m ) of W (relative to T ), such that w is a basis vector Then, we get GL(W ) = GL m, and A GL(W ) = C[xij, det ], so that any C-algebra morphism is determined by F (x ij ) = f ij (t) C[t]: we have [u α (a)] B = [f ij (a)] with respect to this basis Hence, we have u α (a)w = f i (a)u i = a k v k, v k W i k Note that the v k s above are not weight vector a priori We will show that, in fact, they are! Let t T Then, t(u α (a)w) = a k tv k k

Also, we have t(u α (a)w) = ( tu α (a)t ) (tw), = u α (α(t)a)µ(t)w, = µ(t) f i (α(t)a)u i, i = µ(t) k α(t) k a k v k Hence, for every a C, t T, µ(t) k α(t) k a k v k = k a k tv k = k a k (µ(t)α(t) k v k tv k ) = W Remark: a nicer proof of the following discussion was provided by Mark during lecture; I ll keep what I had for prosperity Suppose that k ak w k is a polynomial with coefficients in W (ie w k W ) Fix any basis of W, (x,, x m ) Then, we have, for every a C, = k a k w k = m f j (a)u j = f j (a) = = f j = C[t] j= Note that the coefficients of f j = n j i= c ijt i are such that w k = m j= c kju j, so that we must have w k = W, for all k In fact, we have then that Otherwise, let µ(t)α(t) k v k = tv k, for all t T, and each k such that v k Then, for k J we observe that J = {k µ(t)α(t) k v k tv k, for some t T } v k = j c j u j, where c j is the coefficient of t k in f j (t), and tv k = j c j tu j = j c j µ j (t)u j (u j W (µ j )) Moreover, µ(t)α(t) k v k = j c j µ(t)α(t) k u j, so that we must have µ(t )α(t ) k µ j (t ), for some t T, some j such that c j, and any k J Hence, for every a C, W = k J a k j c j (µ(t )α(t ) k µ j (t ))u j = = k J a k c j (µ(t )α(t ) k µ j (t )), for every j, a C 2

In particular, for every a C, = c j a k (µ(t )α(t ) k µ j (t )) = c j =, k J which is absurd The result follows! (Can you think of a nicer proof? I feel like that there is a more elegant way to prove this, without the juggling of quantifiers) Why do we care? We have just shown that the root subgroups move weight vectors in the direction of α Namely, if w W (µ) then u α (a)w i W (µ + iα) Recall that we have defined a partial order on weights: for λ, µ X (T ) we define λ µ λ µ = i n i α i, n i Z In particular, if α R + so that α = j m jα j, with m j Z, then for w W (µ), U α w w + λ>µ W (λ) Similarly, if α R +, and w W (µ), then U α w w + λ<µ W (λ) Draw some A 2 examples: fundamental represenations, Ad, decompose some symmetric products The above results tell us more If we choose a weight basis B = (w,, w m ), w i W (µ i ), for a representation W and order the basis elements so that they (linearly) refine the above partial ordering - this means µ i µ j = i < j - then the matrix of an element u U α, for any α R +, is upper triangular, unipotent: we must always have [ ] a [u α (a)] B =, with powers of a appearing above the diagonal Similarly, the matrix of an element u U α, for any α R +, is lower triangular, unipotent For example, fix the basis (e 2, e 3, e 4, e 23, e 24, e 34 ) of 2 C 4 We have the set of weights of this representation 2 Λ( C 4 ) = {χ i + χ j i < j} Note that µ 2 = χ + χ 2 = ω 2, µ 3 = χ + χ 3 = ω 2 α 2, µ 4 = χ + χ 4 = ω 2 α 2 α 3, µ 23 = χ 2 + χ 3 = ω 2 α α 2, 3

The poset (Λ( 2 C 4 ), ) is We see that, for example, µ 24 = χ 2 + χ 4 = ω 2 α α 2 α 3, µ 34 = χ 3 + χ 4 = ω 2 α 2α 2 α 3 µ 2 µ 3 µ 4 µ 23 µ 24 µ 34 [u α3 (a)] = a a a [u α +α 2 (a)] = The Weyl Group Suppose that w W (µ) is a weight vector of weight µ (with respect to T ) Recall that the Weyl group of G (relative to T ) is defined to be W = N G (T )/T = S n For σ W, let x σ N G (T ) be a representative Then, W acts on X (T ) as follows: for σ W, α X (T ), σ α : t α(x σ tx σ ) 2 if α R and s α W is the reflection in the hyperplane orthogonal to α, then t(x sα w) = x sα (x s α tx sα )w = x sα µ(x s α tx sα )w = (σ µ)(t)x sα w = x sα w W (σ µ) Hence, W permutes the weight spaces; in particular, for any σ W, dim W (µ) = dim W (σ µ) The Lie algebra The Lie algebra of G is defined as g def = T e G, the tangent space at the identity For us, g = M n We can think of tangent vectors as derivatives of curves passing through e G at t = For example, γ α : [, ] U α ; t u α (t), and we have, assuming α = χ i χ j, γ () = E ij 4

Given a rational representation ρ : G GL(W ), we get an induced map of tangent spaces: dρ : T e G T id GL(W ) ; γ () (ρ γ) () For example, if we choose a weight basis B for W = 2 C 4 refining, as above, then we can identify GL(W ) with GL 6, and for any u U α we have seen that the i th column of [u α (a)] B is of the form c a i c 2 a i 2 c i a, c i {, } Hence, if we restrict ρ to U α then we find that (ρ γ α ) () is a matrix with s everywhere away from the main superdiagonal, where there may appear s For example, in the above examples, we see that Observing that dρ(γ α 3 ()) = dρ(γ α +α 2 ()) = γ α 3 () = E 34 M 4, γ α +α 2 () = E 3 M 4, we can think of the above matrices as showing us how the root operators E 34, E 3 act on the induced Lie algebra representation (whatever this means) For example, E 34 does nothing to any weight space W (µ ij ), except for W (µ 4 ) and W (µ 24 ), and E 34 W (µ 4 ) W (µ 3 ), E 34 W (µ 24 ) W (µ 23 ) Observe that we have µ 3 = µ 4 + α 3, µ 23 = µ 24 + α 3 ; this is no accident Fact: If α R, then E α W (µ) W (µ + α) 5