Weyl s Character Formula for Representations of Semisimple Lie Algebras

Similar documents
Classification of semisimple Lie algebras

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

MATH 223A NOTES 2011 LIE ALGEBRAS 35

Lecture Notes Introduction to Cluster Algebra

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

Background on Chevalley Groups Constructed from a Root System

REPRESENTATION THEORY OF S n

INTRODUCTION TO LIE ALGEBRAS. LECTURE 2.

Representations of semisimple Lie algebras

LIE ALGEBRAS: LECTURE 7 11 May 2010

THE THEOREM OF THE HIGHEST WEIGHT

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

On some combinatorial aspects of Representation Theory

Topics in Representation Theory: Roots and Weights

IRREDUCIBLE REPRESENTATIONS OF SEMISIMPLE LIE ALGEBRAS. Contents

SCHUR-WEYL DUALITY FOR U(n)

Notes on Lie Algebras

REPRESENTATION THEORY, LECTURE 0. BASICS

Topics in Representation Theory: Fourier Analysis and the Peter Weyl Theorem

A method for construction of Lie group invariants

INTRODUCTION TO REPRESENTATION THEORY AND CHARACTERS

GEOMETRIC STRUCTURES OF SEMISIMPLE LIE ALGEBRAS

The Spinor Representation

1.4 Solvable Lie algebras

LECTURE 3: TENSORING WITH FINITE DIMENSIONAL MODULES IN CATEGORY O

ALGEBRAIC GROUPS J. WARNER

0 A. ... A j GL nj (F q ), 1 j r

A PROOF OF BOREL-WEIL-BOTT THEOREM

THE SEMISIMPLE SUBALGEBRAS OF EXCEPTIONAL LIE ALGEBRAS

The Cartan Decomposition of a Complex Semisimple Lie Algebra

(Kac Moody) Chevalley groups and Lie algebras with built in structure constants Lecture 1. Lisa Carbone Rutgers University

ALGEBRA QUALIFYING EXAM PROBLEMS LINEAR ALGEBRA

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

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

The Gelfand-Tsetlin Realisation of Simple Modules and Monomial Bases

CHAPTER 6. Representations of compact groups

33 Idempotents and Characters

Representation Theory. Ricky Roy Math 434 University of Puget Sound

Highest-weight Theory: Verma Modules

MAT 445/ INTRODUCTION TO REPRESENTATION THEORY

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

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

( files chap2 to chap

NOTES ON POLYNOMIAL REPRESENTATIONS OF GENERAL LINEAR GROUPS

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

REPRESENTATION THEORY NOTES FOR MATH 4108 SPRING 2012

INTRODUCTION TO LIE ALGEBRAS. LECTURE 10.

Lie Algebras. Shlomo Sternberg

Category O and its basic properties

SEMISIMPLE LIE GROUPS

Symmetries, Fields and Particles. Examples 1.

Lecture 11 The Radical and Semisimple Lie Algebras

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

Chapter 2 Linear Transformations

Eigenvalue problem for Hermitian matrices and its generalization to arbitrary reductive groups

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

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

Since G is a compact Lie group, we can apply Schur orthogonality to see that G χ π (g) 2 dg =

Math 210C. The representation ring

On the Universal Enveloping Algebra: Including the Poincaré-Birkhoff-Witt Theorem

arxiv: v1 [math.gr] 8 Nov 2008

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

LIE ALGEBRAS: LECTURE 3 6 April 2010

About polynomiality of the Poisson semicentre for parabolic subalgebras

ALMOST COMPLEX PROJECTIVE STRUCTURES AND THEIR MORPHISMS

AN UPPER BOUND FOR SIGNATURES OF IRREDUCIBLE, SELF-DUAL gl(n, C)-REPRESENTATIONS

Math 121 Homework 4: Notes on Selected Problems

Automorphisms and bases

Induced Representations and Frobenius Reciprocity. 1 Generalities about Induced Representations

Lie Algebras of Finite and Affine Type

Lecture 10 - Representation Theory II: Heuristics

FILTRATIONS IN SEMISIMPLE LIE ALGEBRAS, I

Math 429/581 (Advanced) Group Theory. Summary of Definitions, Examples, and Theorems by Stefan Gille

Citation Osaka Journal of Mathematics. 43(2)

Permutation groups/1. 1 Automorphism groups, permutation groups, abstract

A NOTE ON TENSOR CATEGORIES OF LIE TYPE E 9

ELEMENTARY SUBALGEBRAS OF RESTRICTED LIE ALGEBRAS

Representations and Derivations of Modules

MAT 5330 Algebraic Geometry: Quiver Varieties

SIMPLE LIE ALGEBRAS AND THEIR CLASSIFICATION

arxiv: v1 [math.rt] 14 Nov 2007

Unitarity of non-spherical principal series

MAT265 Mathematical Quantum Mechanics Brief Review of the Representations of SU(2)

On the Irreducibility of the Commuting Variety of the Symmetric Pair so p+2, so p so 2

arxiv: v1 [math.rt] 11 Sep 2009

On certain family of B-modules

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

SPHERICAL UNITARY REPRESENTATIONS FOR REDUCTIVE GROUPS

NOTES FOR 128: COMBINATORIAL REPRESENTATION THEORY OF COMPLEX LIE ALGEBRAS AND RELATED TOPICS

SCHUR FUNCTORS OR THE WEYL CONSTRUCTION MATH 126 FINAL PAPER

Problems in Linear Algebra and Representation Theory

Radon Transforms and the Finite General Linear Groups

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

A Structure Theorem for Plesken Lie Algebras over Finite Fields

REPRESENTATIONS AND CHARACTERS OF FINITE GROUPS

Parabolic subgroups Montreal-Toronto 2018

Elementary linear algebra

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

Introduction to Representations Theory of Lie Groups

Longest element of a finite Coxeter group

Transcription:

Weyl s Character Formula for Representations of Semisimple Lie Algebras Ben Reason University of Toronto December 22, 2005 1 Introduction Weyl s character formula is a useful tool in understanding the structure of irreducible representations of semisimple Lie algebras. Even more important than the character formula itself is a corollary, the Weyl dimension formula, which gives a fairly simple expression for the total dimension of the representation in terms of the root system of the Lie algebra. Although the results discussed are valid over any algrebraically closed field of characteristic 0, for simplicity all Lie algebras are taken to be complex. 2 Background 2.1 Abstract root systems Let E be a finite-dimensional real vector space with an inner product. For α E, the reflection through α is the linear map E E given by σ α (β) = β 2 (β, α) (α, α) α. = β β, α α. A root system is a subset Φ E, not containing 0, with the following properties: (i) Φ is finite and spans E (ii) α E kα E k { 1, 1} (iii) For α Φ, σ α (Φ) = Φ (iv) For α, β Φ, β, α Z 1

A subset Φ is said to be a base if it is a basis for the space E, and every member of Φ is an integer linear combination of elements of that are either all non-negative or all non-positive. Thus, for a fixed base we can decompose Φ into sets (of equal size, by property (ii)) of positive and negative roots, denoted Φ + and Φ respectively. The weights of root system Φ are the elememts of E satisfying property (iv), ie λ E is a weight of Φ if λ, α E for all α Φ. The set of weights is denoted by Λ. A weight λ is said to be dominant with respect to a fixed base if λ, α 0 for all α Φ. The set of dominant weights is denoted Λ + (note: this set is only defined wrt some fixed base.) The subset W of GL(E) generated by the set {σ α : α Φ} is called the W eyl group. (We have only defined the action of σ α on elements of Φ, but property (i) allows us to extend linearly to all of E). In fact, the Weyl group is generated by the reflections through the elements of any fixed base. After choosing a base, we can define the length of σ W, l (σ), to the smallest integer n st σ can be written as a product of n reflections through elements in the base. We also define the sign of σ by sn (σ) = ( 1) l(σ). We will need the following facts about the Weyl group: 1. σα, σβ = α, β for all α, β Φ and σ W 2. σ sends l (σ) elements of Φ + to Φ and permutes the rest 3. W < 4. l (σ) = l (σ 1 ) for all σ W 2.2 Semisimple Lie algebras Any semisimple Lie algebra L has a (not necessarily unique) decomposition of the form L = H α Φ L α where H is a Cartan subalgebra, and each L α is spanned by an element x α with the property that [hx α ] = α (h) x α for all h H, for some α H. Let ad : L gl (L) be the adjoint representation. The Killing form of L is a symmetric bilinear form given by κ (x, y) = T race (ad (x) ad (y)). For α Φ, there exists a unique element t α H such that α (h) = κ (t α, h) for all h H. Under the inner product (α, β) = κ (t α, t β ), the set Φ H occuring in the decomposition of L becomes a root system. 2

3 Weyl s Character Formula For this section, let L, Φ and be fixed. The irreducible finite-dimensional representations of L are in one-to-one correspondence with the dominant weights of the root system Φ. Let (π, V ) be such a representation. Then, V is the direct sum of weight spaces {V λ, λ Λ}, and V is generated by some maximal vector, ie some v V such that v V λ and π (x α ) v = 0 for all α Φ +. We identify the representation by the weight of its maximal vector, and write V = V (λ). We define the algebra Z[Λ] to be the Z-linear combinations of elements of the form {e (λ), λ Λ}, with multiplication given by e (µ) e (λ) = e (λ + µ). For λ Λ, define the character of V (λ) to be the element of Z[Λ] given by Ch λ = µ Λ m λ (µ) e (µ) where m λ (µ) denotes the dimension of V µ in the representation V (λ). Let χ be the set of finitely supported complex-valued linear functionals on H, ie χ = {f H {λ Λ f (λ) 0} < }. We can turn χ into an algebra by defining a multiplication operation by convolution, ie (fg) (µ) = f g (µ) = For λ Λ, define ε λ χ by ε λ (µ) = ν+θ=µ { 1 if µ = λ; 0 otherwise. f (ν) g (θ). It is easy to check that, under convolution, the function ε 0 is the multiplicative identity. The map Z[Λ] χ which sends each e (µ) to ε µ extends to an injective algebra homomorphism, so we can identify any element of Z[Λ] with its image in χ. Under this identification, we can finally state Weyl s character formula: where ( sn (σ) ε σλ ) Ch λ = sn (σ) ε σ(λ+δ), 3

δ = 1 2 α. In theory, one can find Ch λ, and hence the dimension of each weight space, by turning Weyl s character formula into a system of linear equations with unknowns {m λ (µ) µ Λ}. In more complicated examples this calculation becomes tedious, and better algorithms exist for this purpose. However, Weyl s character formula can be used to derive a relatively simple expression for the total dimension of V (λ), as seen in example 2 below. 4 Examples 4.1 L = sl(2, F ) Let L = sl(2, F ), the 2 2 complex matrices with trace zero. If we define h = ( 1 0 0 1 ), x = ( 0 1 0 0 ), y = ( 0 0 1 0 we see that H = span{h} is a CSA of L, [hx] = 2x and[hy] = 2y. Since H is one-dimensional and {x, y, h} spans L, there is only one positive root, given by α (h) = 2. So δ = 1, and the Weyl group is simply the set {1, σ}, where σ (m) = m, for any integer m. Moreover, Λ = Z, and Λ + = Z +. For the irreducible representation of highest weight λ 0, We will use Weyl s character formula to determine the dimension of each weight space. In this context, the LHS of the character formula reduces to ( ) ( ) sn (σ) ε σδ ch λ = (ε 1 ε 1 ) m λ (n) ε n. The RHS reduces to n Z sn (e) ε e(m+1) + sn (σ) ε σ(m+1) = ε m+1 ε m 1. Evaluating at an integer k we obtain LHS (k) = ( ) (ε 1 ε 1 ) (p) m λ (n) ε n (q). p+q=k n Z ), so The only non-zero terms come when p = 1, q = k +1 or p = 1, q = k 1, 4

LHS (k) = n Z m λ (n) (ε n (k 1) ε n (k + 1)) = m λ (k 1) m λ (k 1). By equating to the RHS, we see that 1 if k = λ + 1; LHS (k) = 1 if k = λ 1; 0 otherwise. So, if k λ 1 or λ + 1, then m λ (k 1) = m λ (k + 1). Therefore,... = m λ (λ 3) = m λ (λ 1) = m λ (λ + 1) = m λ (λ + 3) =..., and m λ (λ + 2) = m λ (λ + 4) = m λ (λ + 6)...,... = m λ ( λ 6) = m λ ( λ 4) = m λ ( λ 2), so by finite-dimensionality of the representation, all of these are zero. We also have that m λ ( λ) = m λ ( λ + 2) =... = m λ (λ 2) = m λ (λ). Letting k = λ + 1, we see that m λ (λ) m λ (λ + 2) = 1, and since we already calculated that m λ (λ + 2) = 0, we get that m λ (λ) = 1. This shows that So, 1 = m λ ( λ) = m λ ( λ + 2) =... = m λ (λ 2) = m λ (λ). m λ (n) = { 1 if n { λ, λ + 2,..., λ 2, λ}; 0 otherwise. In other words, the character of V (λ) is given by Ch λ = n Z m λ (n) e (n) = e ( λ) + e ( λ + 2) + + e (λ 2) + e (λ). 5

4.2 A dimension formula for V (λ) Let V (λ) be an irreducible representation of a semisimple Lie algebra L. We will use Weyl s character formula to derive a simple formula for the total dimension of V (λ). For convenience, define the function ω : Λ χ by ω (µ) = ε σµ. So, Weyl s character formula can be written as ω (δ) ch λ = ω (λ + δ). Since V (λ) decomposes into weight spaces, we have that dimv (λ) = µ Λ m λ (µ). The entity ω (δ) is known as W eyl sfunction, and it can be shown that ω (δ) = ε δ (ε α 1). So, by the identification e (µ) ε µ, we have that dimv (λ) is the sum of the values of ch λ, since the sum of the values of any ε µ is 1. Let χ 0 be the subalgebra of χ generated by the functions {ε µ, µ Λ}. Then the map v taking a function f to the sum of its values is a welldefined algebra homomorphism χ 0 C. Note that by the definition of the convolution on χ 0, it is clear that v (f g) = v (f) v (g). What we are looking for is an expression for v (ch λ ). For α Φ, the map ε µ (µ, α) ε µ extends to an endomorphism η α of χ 0. Each η α is in fact a derivation of the algebra χ 0, ie η α (f g) = η α (f) g + f η α (g) f, g χ 0. The proof of this comes from the fact that the functions {ε µ, µ Λ} generate the algebra χ 0, combined with the following observation: η α (ε ν ε µ ) = η α (ε ν+µ ) = (ν + µ, α) ε ν+µ = ((ν, α) ε ν ) ε µ + ((µ, α) ε µ ) ε ν = η α (ε ν ) ε µ + ε ν η α (ε µ ). We note that the endomorphisms η β commute with each other, and define η = η α End (χ 0 ). 6

η β Observe that since each η β is a derivation, (ε α 1) = ((β, β) ε β 1) (ε α 1)+(ε β 1) η β (ε α 1). β β Similarly, if where Φ η = α Φ η α End (χ 0 ) is a proper subset of Φ +, then each term in the expression η (ε α 1) has some factor of the form (ε α 1). Keeping these observations in mind, we apply the endomorphism η to both sides of Weyl s character formula to obtain η (ω (λ + δ)) = η (ω (δ) ch λ ) = ch λ η (ω (δ)) + K, where each term in K has a factor of the form (ε α 1). Since v (ε α 1) = v (ε α ) v (ε 0 ) = 1 1 = 0, we have that v η (ω (λ + δ)) = v η (ω (δ) ch λ ) = v (ch λ η (ω (δ)) + K) = v η (ω (δ)) v (ch λ )+0. This shows that v (ch λ ) = v η (ω (λ + δ)), v η (ω (δ)) so it remains only to find expressions for the numerator and denominator. Since η α (ε δ ) = (δ, α) ε δ, we get that η (ε δ ) = (δ, α) ε δ v η (ε δ ) = (δ, α). For σ W, we use the fact that the Weyl group preserves the inner product to derive the similar expression v η (ε σδ ) = (σδ, α) = 7 ( δ, σ 1 α )

Now, σ 1 sends l (σ 1 ) = l (σ) positive roots to negative roots and permutes the rest, so we can say ( δ, σ 1 α ) = sn (σ) (δ, α). Using this, we can evaluate the denominator: v η (ω (δ)) = sn (σ) v η (ε σδ ) = sn (σ) 2 (δ, α) = (δ, α) = W (δ, α) Applying the exact same argument to the numerator, we obtain Finally, we have v η (ω (λ + δ)) = W (λ + δ, α). dimv (λ) = W (λ + δ, α) W α Φ (δ, α) = + This can also be written as dimv (λ) = λ + δ, α δ, α, (λ + δ, α) α Φ (δ, α). + which we obtain by multiplying the orginal numerator and denominator by 2 (α, α). 4.3 Dimension of representations of O (3, C) For a semisimple Lie algebra L with Cartan subalgebra H and corresponding root system Φ, there exists a finite set λ 1,..., λ n of dominant weights such that every weight is an integer linear combination of the λ i s. The dominant weights are precisely those of the form λ = i=1...n k i λ i where k i Z +. The weights {λ 1,..., λ n } are referred to as the fundamental dominant weights. Let 0 (3, C) be the Lie algebra of 3 3 complex matrices x satisfying xs = sx t, where s = 1 0 0 0 0 1 0 1 0 8.

Then, taking H to be the subalgebra of diagonal matrices, the corresponding root system has the form = {α, β}, Φ + = {α, β, α + β, 2α + β} where (α, α) = (α, β) = 1 (β, β) = 1. 2 So, δ = 2α + 3 β and an easy calculation shows that the fundamental 2 dominant weights λ 1, λ 2 are given by λ 1 = α + 1β, and λ 2 2 = α + β. An arbitrary dominant weight is of the form λ = m 1 λ 1 + m 2 λ 2 = (m 1 + m 2 ) α + ( ) m1 2 + m 2 β where m 1, m 2 are positive integers. So, Weyl s dimension formula says dimv (λ) = γ Φ + (λ + δ, γ) γ Φ + (δ, γ) = (λ + δ, α) (λ + δ, β) (λ + δ, α + β) (λ + δ, 2α + β) (δ, α) (δ, β) (δ, α + β) (δ, 2α + β) = ( ) m1 +1 (m2 + 1) ( ) m 1 +3 + m 2 2 2 (m1 + m 2 + 2) ( ) ( ) 1 2 (1) 3 2 (2) = 1 6 (m 1 + 1) (m 2 + 1) (m 1 + 2m 2 + 3) (m 1 + m 2 + 2). 5 Works Consulted 1. R. Carter and M. Geck, Representations of Reductive Groups, Cambridge, UK: Cambridge Univeristy Press, 1998 2. W. Fulton and J. Harris, Representation Theory: A First Course, New York: Springer-Verlag, 1991 3. J. Humphreys, Introduction to Lie Algebras and Representation Theory, New York: Springer-Verlag, 1972 9