Lecture 10 - Representation Theory II: Heuristics

Size: px
Start display at page:

Download "Lecture 10 - Representation Theory II: Heuristics"

Transcription

1 Lecture 10 - Representation Theory II: Heuristics February 15, Weights 1.1 Weight space decomposition We switch notation from last time. We let Λ indicate a highest weight, and λ to be an arbitrary weights themselves. If g is simple of rank n with CSA h, then h is an abelian vector space of linear operators on any g-module V, and so decomposes into weight spaces relative to h. If λ : h C is a linear functional, the m-weight space is V λ = { v V } h.v = λ(h)v (1) provided this space is non-trivial. Now let Φ be the Lie algebra s root system in h, and let be a choice of base. Roots α Φ have associated sl 2 -subalgebras span{h α, x α, y α }, for which V is a finite dimensional module. If V is finite dimensional, then each weight m of V takes integral values on the h α. Recall that dualizing h α (via the Killing form) yields the element so that 2α (α, α) h (2) λ(h α ) = 2 (λ, α) (α, α) = λ, α Z. (3) Because = {α 1,..., α n } is a basis for h, a weight λ is uniquely specified as a row vector: λ = (λ 1,..., λ n ) Z n. (4) 1

2 1.2 Highest weights and generation of modules Given, let B( ) and N( ) be the associated Borel subalgebra and its derived subalgebra: B( ) = h α>0 g α N( ) = α>0 g α = [B( ), B( )]. (5) A highest weight is a weight Λ with a non-zero weight space V Λ such that x α.v Λ = 0 for all α > 0. That is, N( ).V Λ = {0}. (6) If V is an irreducible g-module, then V Λ is 1-dimensional, and V Λ generates V under the action of various applications of the y α. That is, letting v 0 V Λ, we have V Λ = span C { y k 1 α 1... y kn α n.v 0 k1,..., k n Z + }. (7) where V Λ is the notation for the irreducible g-module of highest weight Λ. Now if v µ is any weight-vector and α i is any root, we have that sl 2 = span{h αi, x αi, y αi } operates on v µ to create an sl 2 -submodule, called the α i -weight string through µ. Given any root α j we have h αj.y αi.v µ = [ h αj, y αi ].vµ + y αi.h αj.v µ = α i (h αj )y αi.v µ + y αi.(µ(h αj )v µ ) = (µ α i )(h αj )y αi.v µ = µ α i, α j y αi.v µ. (8) so that y αi.µ (if non-zero!) is also a weight vector, of weight µ α i. We want to determine the vector expression of µ + α i. To this end, recall the Cartan matrix C = (C ij ) of g, with components Then if then x αi.v µ is a weight vector of weight C ij = α i, α j. (9) µ = (µ 1,..., µ n ) (10) µ + α i = (µ 1 + C i1,..., µ j + C ij,..., µ n + C in ) (11) That is, y αi.v µ is the weight vector whose weight is µ minus the i th -row of the Cartan matrix. 2

3 1.3 Weight strings Given gl 2 span C {h α, x α, y α } and the sub-representation of V it generates by action on the weight-space V µ, the full weight string is µ + qα,..., µ,..., µ rα (12) which can be expressed geometrically as points in h. We know that the reflection in α reverses the string, and since the reflection of any vector v about the hyperplane determined by α is v v, α α, we have (µ rα) µ rα, α α = µ + qα rα ( µ, α 2r) α = qα µ, α = r q (13) Therefore is µ is the highest root in the α-string (that is, x α kills v µ ), then 1 + µ, α gives the length of the string. This provides an algorithm for determining the weight-space decomposition of representations. 1.4 Remark on using simple roots Given highest weight Λ the module V Λ is clearly generated by Ug. Given any basis of g we know the structure of Ug, and of course the most natural basis comes from a choice of base. If = {α 1,..., α n } is a base, then monomials of the form span Ug. y αi1... y αin h αj1... h αjm x αk1... x αkp (14) There are two advantages to using such a presentation. The first is that the y αi and the x αj commute, unless α i = α = α j, in which case a copy of h α is thrown off. But then h α commutes with both the x αi and y αj after throwing off α, α i x αi or α, α i y αi. Thus the only real relations that emerge from re-arranging the monomial comes from switching the x s with each other and switching the y s with each other. The other advantage is that we easily see that an irreducible module V Λ of highest weight is generated entirely by the y s acting on a vector v 0 V Λ V Λ. This produces the following proposition. Proposition 1.1 If g is a simple Lie algebra (finite dimensional, over C) and if V Λ is a finite-dimensional irreducible module of highest weight Λ, then the weight space V Λ V Λ of highest weight is spanned by a single vector v 0, and V Λ = span C { y αi1... y αin. v 0 αij }. (15) 3

4 Pf. With Ug.V Λ = V Λ along with the facts that x α.v Λ = 0 and h α.v Λ = Λ, α V Λ, this follows from Poincare-Birkhoff-Witt theorem which says that U g is spanned by monomials of the form (14). 2 sl(3, C) Representations We finally explore some examples. We have two simple roots, h 1 and h 2. The sl(3) Cartan matrix is ( 2 1 ) 1 2 (16) The irreducible representations of sl 3 are determined by highest weights, which have the form µ = (a 1, a 1 ) where a 1, a 2 are non-negative integers. As before µ(h i ) = µ, h i = a i. (17) 2.1 The (0, 0) representation This is the trivial 1-dimensional representation. 2.2 The (1, 0) representation Let v be the highest weight vector with weight µ = (1, 0). Then the h 1 -string has length 2 and the α 2 -string is trivial (length 1). Then applying y 1 we have that x 1.v has weight µ α 1 = (1 C 11, 0 C 12 ) = ( 1, 1) (18) Now consider the x 2 -action on this vector: since [x 2, y 1 ] = 0 (from the fact that the x i are simple roots) we have x 2.y 1.v = y 1.x 2.v = 0 (19) so that the α 2 -string through ( 1, 1) has length 2. Applying y α2, we get µ α 1 α 2 = ( 1 C 21, 1 C 22 ) = (0, 1) (20) 4

5 Finally there is no additional α 1 -string through (0, 1), so the weight-space decomposition is W eight Dimension Height Expression (1, 0) 1 1 v 0 ( 1, 1) 1 0 y 1.v 0 (21) (0, 1) 1 1 y 2.y 1.v The (0, 1) representation The first weight-string is the length-2 α 2 -string produced by y 2, giving us the single additional weight (1, 1). From this we get a length-2 α 1 -string, which gives the single weight ( 1, 0). Then we are done. W eight Dimension Height Expression (0, 1) 1 1 v 0 (1, 1) 1 0 y 2.v 0 (22) ( 1, 0) 1 1 y 1 y 2.v The (1, 1) representation From (1, 1) we both an α 1 - and an α 2 -string, each of length 1, and obtain weights ( 1, 2) and (2, 1). We get two more strings ( 1, 2) (0, 0) (1, 2) α 2 string (2, 1) (0, 0) ( 2, 1) α 1 string. (23) Note that [y 1, y 2 ] = y 1 + y 2, so that y 1.y 2.v y 2.y 1.v, which shows that the (0, 0)-weight space must have dimension 2. Now (1, 2) and ( 2, 1) each produce a string of length 1, given by (1, 2) ( 1, 1) α 1 string ( 2, 1) ( 1, 1) α 2 string (24) 5

6 However the ( 1, 1) weight space has dimension 1. We have W eight Dimension Height Expression (1, 1) 1 2 v 0 ( 1, 2), (2, 1) 1, 1 1 y 1.v 0, y 2.v 0 (0, 0) 2 0 y 2 y 1.v 0, y 1 y 2.v 0 (25) ( 2, 1), (1, 2) 1, 1 1 y 2 y 1 y 2.v 0, y 1 y 2 y 1.v 0 ( 1, 1) 1 2 y 2 y 1 y 1 y 2.v 0 Thus the (1, 1)-representation is eight-dimensional. It is just the adjoint representation. 2.5 The (2, 0) representation It as an exercise to check the following table, which will be used below. W eight Height Dimension (2, 0) 2 1 (0, 1) 1 1 (1, 1), ( 2, 2) 0 1 (26) This is a six-dimensional representation. ( 1, 0) 1 1 (0, 2) Fundamental Representations Given a Lie algebra g with base = {α 1,..., α n }, a fundamental representation is any irreducible representation of highest weight (0,..., 0, 1, 0,..., 0) (27) Because weights sum under taking tensor products, we have that (V (10...0) ) k1 (V (01...0) ) k2... (V (00...1) ) kn, (28) 6

7 while not irreducible, has highest weight (k 1, k 2,..., k n ). (29) The fundamental representations thus generate all representations. In the case of First note that the V (1,0) and V (0,1) representations generate all representations: (V (1,0)) k (V (0,1)) l = V (k,l)... (30) is a representation with highest weight (k, l), so splits off a factor of V (k,l). But also we have (V (1,0) ) 2 = V (2,0) V (0,1) (31) so that V (1,0) generates V (0,1). To see (31), note that the weights occurring in V (1,0) V (1,0) are all 9 of the 2-fold sums (one must count multiplicities) of the weights from Table (21). In this way we obtain two copies of the weight (0, 1), although the weight space V (0,1) in V (2,0) has dimension 1. The fundamental representations are V (1,0) and V (0,1), although V (1,0) alone generates all representations. Note that V (1,0) and V (0,1) are exchanged by the generator of the outer automorphism group of A 2. The algebras sl n+1 have the n fundamental representations V (1,0,...,0),..., V (0,0,...,1). (32) Of these, the first and last are isomorphic, the second and second to last are isomorphic, and so on. However, the single representation generates them all. (1, 0,..., 0) (33) Under some terminology (moreso in the physics literature), (1, 0,..., 0) alone is called the fundamental representation, and the representations in (32) are called the basic representations. The A n are special. Other algebras require two or more representations to generate all others. 7

Highest-weight Theory: Verma Modules

Highest-weight Theory: Verma Modules Highest-weight Theory: Verma Modules Math G4344, Spring 2012 We will now turn to the problem of classifying and constructing all finitedimensional representations of a complex semi-simple Lie algebra (or,

More information

THE THEOREM OF THE HIGHEST WEIGHT

THE THEOREM OF THE HIGHEST WEIGHT THE THEOREM OF THE HIGHEST WEIGHT ANKE D. POHL Abstract. Incomplete notes of the talk in the IRTG Student Seminar 07.06.06. This is a draft version and thought for internal use only. The Theorem of the

More information

Representations of semisimple Lie algebras

Representations of semisimple Lie algebras Chapter 14 Representations of semisimple Lie algebras In this chapter we study a special type of representations of semisimple Lie algberas: the so called highest weight representations. In particular

More information

Mic ael Flohr Representation theory of semi-simple Lie algebras: Example su(3) 6. and 20. June 2003

Mic ael Flohr Representation theory of semi-simple Lie algebras: Example su(3) 6. and 20. June 2003 Handout V for the course GROUP THEORY IN PHYSICS Mic ael Flohr Representation theory of semi-simple Lie algebras: Example su(3) 6. and 20. June 2003 GENERALIZING THE HIGHEST WEIGHT PROCEDURE FROM su(2)

More information

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

LECTURE 3: REPRESENTATION THEORY OF SL 2 (C) AND sl 2 (C) LECTURE 3: REPRESENTATION THEORY OF SL 2 (C) AND sl 2 (C) IVAN LOSEV Introduction We proceed to studying the representation theory of algebraic groups and Lie algebras. Algebraic groups are the groups

More information

2.4 Root space decomposition

2.4 Root space decomposition 34 CHAPTER 2. SEMISIMPLE LIE ALGEBRAS 2.4 Root space decomposition Let L denote a semisimple Lie algebra in this section. We will study the detailed structure of L through its adjoint representation. 2.4.1

More information

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

LECTURE 4: REPRESENTATION THEORY OF SL 2 (F) AND sl 2 (F) LECTURE 4: REPRESENTATION THEORY OF SL 2 (F) AND sl 2 (F) IVAN LOSEV In this lecture we will discuss the representation theory of the algebraic group SL 2 (F) and of the Lie algebra sl 2 (F), where F is

More information

Lecture Notes Introduction to Cluster Algebra

Lecture Notes Introduction to Cluster Algebra Lecture Notes Introduction to Cluster Algebra Ivan C.H. Ip Update: May 16, 2017 5 Review of Root Systems In this section, let us have a brief introduction to root system and finite Lie type classification

More information

Classification of semisimple Lie algebras

Classification of semisimple Lie algebras Chapter 6 Classification of semisimple Lie algebras When we studied sl 2 (C), we discovered that it is spanned by elements e, f and h fulfilling the relations: [e, h] = 2e, [ f, h] = 2 f and [e, f ] =

More information

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

e j = Ad(f i ) 1 2a ij/a ii A characterization of generalized Kac-Moody algebras. J. Algebra 174, 1073-1079 (1995). Richard E. Borcherds, D.P.M.M.S., 16 Mill Lane, Cambridge CB2 1SB, England. Generalized Kac-Moody algebras can be

More information

The Cartan Decomposition of a Complex Semisimple Lie Algebra

The Cartan Decomposition of a Complex Semisimple Lie Algebra The Cartan Decomposition of a Complex Semisimple Lie Algebra Shawn Baland University of Colorado, Boulder November 29, 2007 Definition Let k be a field. A k-algebra is a k-vector space A equipped with

More information

Quantizations of cluster algebras

Quantizations of cluster algebras Quantizations of cluster algebras Philipp Lampe Bielefeld University International Conference Mathematics Days in Sofia July 10, 2014, Sofia, Bulgaria Ph. Lampe (Bielefeld) Quantum cluster algebras July

More information

Lecture 19 - Clifford and Spin Representations

Lecture 19 - Clifford and Spin Representations Lecture 19 - lifford and Spin Representations April 5, 2013 References: Lawson and Michelsohn, Spin Geometry. J. Baez, The Octonions. 1 The Lie Algebras so(n) and spin(n) We know the Lie algebra so(n)

More information

INTRODUCTION TO LIE ALGEBRAS. LECTURE 7.

INTRODUCTION TO LIE ALGEBRAS. LECTURE 7. INTRODUCTION TO LIE ALGEBRAS. LECTURE 7. 7. Killing form. Nilpotent Lie algebras 7.1. Killing form. 7.1.1. Let L be a Lie algebra over a field k and let ρ : L gl(v ) be a finite dimensional L-module. Define

More information

On the singular elements of a semisimple Lie algebra and the generalized Amitsur-Levitski Theorem

On the singular elements of a semisimple Lie algebra and the generalized Amitsur-Levitski Theorem On the singular elements of a semisimple Lie algebra and the generalized Amitsur-Levitski Theorem Bertram Kostant, MIT Conference on Representations of Reductive Groups Salt Lake City, Utah July 10, 2013

More information

LECTURE 3: TENSORING WITH FINITE DIMENSIONAL MODULES IN CATEGORY O

LECTURE 3: TENSORING WITH FINITE DIMENSIONAL MODULES IN CATEGORY O LECTURE 3: TENSORING WITH FINITE DIMENSIONAL MODULES IN CATEGORY O CHRISTOPHER RYBA Abstract. These are notes for a seminar talk given at the MIT-Northeastern Category O and Soergel Bimodule seminar (Autumn

More information

IRREDUCIBLE REPRESENTATIONS OF SEMISIMPLE LIE ALGEBRAS. Contents

IRREDUCIBLE REPRESENTATIONS OF SEMISIMPLE LIE ALGEBRAS. Contents IRREDUCIBLE REPRESENTATIONS OF SEMISIMPLE LIE ALGEBRAS NEEL PATEL Abstract. The goal of this paper is to study the irreducible representations of semisimple Lie algebras. We will begin by considering two

More information

REPRESENTATIONS OF S n AND GL(n, C)

REPRESENTATIONS OF S n AND GL(n, C) REPRESENTATIONS OF S n AND GL(n, C) SEAN MCAFEE 1 outline For a given finite group G, we have that the number of irreducible representations of G is equal to the number of conjugacy classes of G Although

More information

MATH 223A NOTES 2011 LIE ALGEBRAS 35

MATH 223A NOTES 2011 LIE ALGEBRAS 35 MATH 3A NOTES 011 LIE ALGEBRAS 35 9. Abstract root systems We now attempt to reconstruct the Lie algebra based only on the information given by the set of roots Φ which is embedded in Euclidean space E.

More information

Lie Algebras. Shlomo Sternberg

Lie Algebras. Shlomo Sternberg Lie Algebras Shlomo Sternberg March 8, 2004 2 Chapter 5 Conjugacy of Cartan subalgebras It is a standard theorem in linear algebra that any unitary matrix can be diagonalized (by conjugation by unitary

More information

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

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 ALGEBRAIC GROUPS 61 5. Root systems and semisimple Lie algebras 5.1. Characteristic 0 theory. Assume in this subsection that chark = 0. Let me recall a couple of definitions made earlier: G is called reductive

More information

THE HARISH-CHANDRA ISOMORPHISM FOR sl(2, C)

THE HARISH-CHANDRA ISOMORPHISM FOR sl(2, C) THE HARISH-CHANDRA ISOMORPHISM FOR sl(2, C) SEAN MCAFEE 1. summary Given a reductive Lie algebra g and choice of Cartan subalgebra h, the Harish- Chandra map gives an isomorphism between the center z of

More information

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

Kac-Moody Algebras. Ana Ros Camacho June 28, 2010 Kac-Moody Algebras Ana Ros Camacho June 28, 2010 Abstract Talk for the seminar on Cohomology of Lie algebras, under the supervision of J-Prof. Christoph Wockel Contents 1 Motivation 1 2 Prerequisites 1

More information

Lecture 11 The Radical and Semisimple Lie Algebras

Lecture 11 The Radical and Semisimple Lie Algebras 18.745 Introduction to Lie Algebras October 14, 2010 Lecture 11 The Radical and Semisimple Lie Algebras Prof. Victor Kac Scribe: Scott Kovach and Qinxuan Pan Exercise 11.1. Let g be a Lie algebra. Then

More information

REPRESENTATION THEORY OF S n

REPRESENTATION THEORY OF S n REPRESENTATION THEORY OF S n EVAN JENKINS Abstract. These are notes from three lectures given in MATH 26700, Introduction to Representation Theory of Finite Groups, at the University of Chicago in November

More information

Background on Chevalley Groups Constructed from a Root System

Background on Chevalley Groups Constructed from a Root System Background on Chevalley Groups Constructed from a Root System Paul Tokorcheck Department of Mathematics University of California, Santa Cruz 10 October 2011 Abstract In 1955, Claude Chevalley described

More information

LIE ALGEBRAS: LECTURE 7 11 May 2010

LIE ALGEBRAS: LECTURE 7 11 May 2010 LIE ALGEBRAS: LECTURE 7 11 May 2010 CRYSTAL HOYT 1. sl n (F) is simple Let F be an algebraically closed field with characteristic zero. Let V be a finite dimensional vector space. Recall, that f End(V

More information

Lie Algebras of Finite and Affine Type

Lie Algebras of Finite and Affine Type Lie Algebras of Finite and Affine Type R. W. CARTER Mathematics Institute University of Warwick CAMBRIDGE UNIVERSITY PRESS Preface page xiii Basic concepts 1 1.1 Elementary properties of Lie algebras 1

More information

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

Cartan s Criteria. Math 649, Dan Barbasch. February 26 Cartan s Criteria Math 649, 2013 Dan Barbasch February 26 Cartan s Criteria REFERENCES: Humphreys, I.2 and I.3. Definition The Cartan-Killing form of a Lie algebra is the bilinear form B(x, y) := Tr(ad

More information

Linear Algebra. Min Yan

Linear Algebra. Min Yan Linear Algebra Min Yan January 2, 2018 2 Contents 1 Vector Space 7 1.1 Definition................................. 7 1.1.1 Axioms of Vector Space..................... 7 1.1.2 Consequence of Axiom......................

More information

GROUP THEORY PRIMER. New terms: tensor, rank k tensor, Young tableau, Young diagram, hook, hook length, factors over hooks rule

GROUP THEORY PRIMER. New terms: tensor, rank k tensor, Young tableau, Young diagram, hook, hook length, factors over hooks rule GROUP THEORY PRIMER New terms: tensor, rank k tensor, Young tableau, Young diagram, hook, hook length, factors over hooks rule 1. Tensor methods for su(n) To study some aspects of representations of a

More information

A Structure Theorem for Plesken Lie Algebras over Finite Fields

A Structure Theorem for Plesken Lie Algebras over Finite Fields A Structure Theorem for Plesken Lie Algebras over Finite Fields A Senior Project submitted to The Division of Science, Mathematics, and Computing of Bard College by Mona Merling Annandale-on-Hudson, New

More information

Induced Representations and Frobenius Reciprocity. 1 Generalities about Induced Representations

Induced Representations and Frobenius Reciprocity. 1 Generalities about Induced Representations Induced Representations Frobenius Reciprocity Math G4344, Spring 2012 1 Generalities about Induced Representations For any group G subgroup H, we get a restriction functor Res G H : Rep(G) Rep(H) that

More information

A relative version of Kostant s theorem

A relative version of Kostant s theorem A relative version of Kostant s theorem 1 University of Vienna Faculty of Mathematics Srni, January 2015 1 supported by project P27072 N25 of the Austrian Science Fund (FWF) This talk reports on joint

More information

THE CENTRALIZER OF K IN U(g) C(p) FOR THE GROUP SO e (4,1) Ana Prlić University of Zagreb, Croatia

THE CENTRALIZER OF K IN U(g) C(p) FOR THE GROUP SO e (4,1) Ana Prlić University of Zagreb, Croatia GLASNIK MATEMATIČKI Vol. 5(7)(017), 75 88 THE CENTRALIZER OF K IN U(g) C(p) FOR THE GROUP SO e (4,1) Ana Prlić University of Zagreb, Croatia Abstract. Let G be the Lie group SO e(4,1), with maximal compact

More information

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

Topics in Representation Theory: SU(n), Weyl Chambers and the Diagram of a Group Topics in Representation Theory: SU(n), Weyl hambers and the Diagram of a Group 1 Another Example: G = SU(n) Last time we began analyzing how the maximal torus T of G acts on the adjoint representation,

More information

arxiv: v1 [math.rt] 14 Nov 2007

arxiv: v1 [math.rt] 14 Nov 2007 arxiv:0711.2128v1 [math.rt] 14 Nov 2007 SUPPORT VARIETIES OF NON-RESTRICTED MODULES OVER LIE ALGEBRAS OF REDUCTIVE GROUPS: CORRIGENDA AND ADDENDA ALEXANDER PREMET J. C. Jantzen informed me that the proof

More information

Category O and its basic properties

Category O and its basic properties Category O and its basic properties Daniil Kalinov 1 Definitions Let g denote a semisimple Lie algebra over C with fixed Cartan and Borel subalgebras h b g. Define n = α>0 g α, n = α

More information

A method for construction of Lie group invariants

A method for construction of Lie group invariants arxiv:1206.4395v1 [math.rt] 20 Jun 2012 A method for construction of Lie group invariants Yu. Palii Laboratory of Information Technologies, Joint Institute for Nuclear Research, Dubna, Russia and Institute

More information

CONTINUITY. 1. Continuity 1.1. Preserving limits and colimits. Suppose that F : J C and R: C D are functors. Consider the limit diagrams.

CONTINUITY. 1. Continuity 1.1. Preserving limits and colimits. Suppose that F : J C and R: C D are functors. Consider the limit diagrams. CONTINUITY Abstract. Continuity, tensor products, complete lattices, the Tarski Fixed Point Theorem, existence of adjoints, Freyd s Adjoint Functor Theorem 1. Continuity 1.1. Preserving limits and colimits.

More information

THE LIE ALGEBRA sl(2) AND ITS REPRESENTATIONS

THE LIE ALGEBRA sl(2) AND ITS REPRESENTATIONS An Şt Univ Ovidius Constanţa Vol 11(1), 003, 55 6 THE LIE ALGEBRA sl() AND ITS REPRESENTATIONS Camelia Ciobanu To Professor Silviu Sburlan, at his 60 s anniversary Abstract In this paper we present same

More information

SCHUR-WEYL DUALITY QUANG DAO

SCHUR-WEYL DUALITY QUANG DAO SCHUR-WEYL DUALITY QUANG DAO Abstract. We will switch gears this week and talk about the relationship between irreducible representations of the symmetric group S k and irreducible finite-dimensional representations

More information

7. The classical and exceptional Lie algebras * version 1.4 *

7. The classical and exceptional Lie algebras * version 1.4 * 7 The classical and exceptional Lie algebras * version 4 * Matthew Foster November 4, 06 Contents 7 su(n): A n 7 Example: su(4) = A 3 4 7 sp(n): C n 5 73 so(n): D n 9 74 so(n + ): B n 3 75 Classical Lie

More information

ELEMENTARY SUBALGEBRAS OF RESTRICTED LIE ALGEBRAS

ELEMENTARY SUBALGEBRAS OF RESTRICTED LIE ALGEBRAS ELEMENTARY SUBALGEBRAS OF RESTRICTED LIE ALGEBRAS J. WARNER SUMMARY OF A PAPER BY J. CARLSON, E. FRIEDLANDER, AND J. PEVTSOVA, AND FURTHER OBSERVATIONS 1. The Nullcone and Restricted Nullcone We will need

More information

4. Killing form, root space inner product, and commutation relations * version 1.5 *

4. Killing form, root space inner product, and commutation relations * version 1.5 * 4. Killing form, root space inner product, and commutation relations * version 1.5 * Matthew Foster September 12, 2016 Contents 4.1 Weights in the Cartan-Weyl basis; rank-r bases for H and H 1 4.2 The

More information

10. Cartan Weyl basis

10. Cartan Weyl basis 10. Cartan Weyl basis 1 10. Cartan Weyl basis From this point on, the discussion will be restricted to semi-simple Lie algebras, which are the ones of principal interest in physics. In dealing with the

More information

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

Representations of algebraic groups and their Lie algebras Jens Carsten Jantzen Lecture III Representations of algebraic groups and their Lie algebras Jens Carsten Jantzen Lecture III Lie algebras. Let K be again an algebraically closed field. For the moment let G be an arbitrary algebraic group

More information

IRREDUCIBLE REPRESENTATIONS FOR THE AFFINE-VIRASORO LIE ALGEBRA OF TYPE B

IRREDUCIBLE REPRESENTATIONS FOR THE AFFINE-VIRASORO LIE ALGEBRA OF TYPE B Chin. Ann. Math. 5B:3004,359 368. IRREDUCIBLE REPRESENTATIONS FOR THE AFFINE-VIRASORO LIE ALGEBRA OF TYPE B l JIANG Cuipo YOU Hong Abstract An explicit construction of irreducible representations for the

More information

Classical Lie algebras and Yangians

Classical Lie algebras and Yangians Classical Lie algebras and Yangians Alexander Molev University of Sydney Advanced Summer School Integrable Systems and Quantum Symmetries Prague 2007 Lecture 1. Casimir elements for classical Lie algebras

More information

arxiv:hep-th/ v1 23 Mar 1998

arxiv:hep-th/ v1 23 Mar 1998 March 1998 Two-point Functions in Affine Current Algebra and Conjugate Weights arxiv:hep-th/9803182v1 23 Mar 1998 Jørgen Rasmussen 1 Laboratoire de Mathématiques et Physique Théorique, Université de Tours,

More information

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

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 46 MATH 223A NOTES 2011 LIE ALGEBRAS 11. Classification of semisimple Lie algebras I will explain how the Cartan matrix and Dynkin diagrams describe root systems. Then I will go through the classification

More information

Weyl s Character Formula for Representations of Semisimple Lie Algebras

Weyl s Character Formula for Representations of Semisimple Lie Algebras 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

More information

ON QUANTUM GROUPS AND CRYSTAL BASES. A Directed Research by ETHAN A. SMITH

ON QUANTUM GROUPS AND CRYSTAL BASES. A Directed Research by ETHAN A. SMITH ON QUANTUM GROUPS AND CRYSTAL BASES A Directed Research by ETHAN A. SMITH Submitted to the Department of Mathematical Sciences of Appalachian State University in Partial Fulfillment of the Requirements

More information

SPHERICAL UNITARY REPRESENTATIONS FOR REDUCTIVE GROUPS

SPHERICAL UNITARY REPRESENTATIONS FOR REDUCTIVE GROUPS SPHERICAL UNITARY REPRESENTATIONS FOR REDUCTIVE GROUPS DAN CIUBOTARU 1. Classical motivation: spherical functions 1.1. Spherical harmonics. Let S n 1 R n be the (n 1)-dimensional sphere, C (S n 1 ) the

More information

Group Theory - QMII 2017

Group Theory - QMII 2017 Group Theory - QMII 017 Reminder Last time we said that a group element of a matrix lie group can be written as an exponent: U = e iαaxa, a = 1,..., N. We called X a the generators, we have N of them,

More information

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

The Lusztig-Vogan Bijection in the Case of the Trivial Representation The Lusztig-Vogan Bijection in the Case of the Trivial Representation Alan Peng under the direction of Guangyi Yue Department of Mathematics Massachusetts Institute of Technology Research Science Institute

More information

Root systems. S. Viswanath

Root systems. S. Viswanath Root systems S. Viswanath 1. (05/07/011) 1.1. Root systems. Let V be a finite dimensional R-vector space. A reflection is a linear map s α,h on V satisfying s α,h (x) = x for all x H and s α,h (α) = α,

More information

Tutorial 5 Clifford Algebra and so(n)

Tutorial 5 Clifford Algebra and so(n) Tutorial 5 Clifford Algebra and so(n) 1 Definition of Clifford Algebra A set of N Hermitian matrices γ 1, γ,..., γ N obeying the anti-commutator γ i, γ j } = δ ij I (1) is the basis for an algebra called

More information

Radon Transforms and the Finite General Linear Groups

Radon Transforms and the Finite General Linear Groups Claremont Colleges Scholarship @ Claremont All HMC Faculty Publications and Research HMC Faculty Scholarship 1-1-2004 Radon Transforms and the Finite General Linear Groups Michael E. Orrison Harvey Mudd

More information

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

Lemma 1.3. The element [X, X] is nonzero. Math 210C. The remarkable SU(2) Let G be a non-commutative connected compact Lie group, and assume that its rank (i.e., dimension of maximal tori) is 1; equivalently, G is a compact connected Lie group

More information

Classification of discretely decomposable A q (λ) with respect to reductive symmetric pairs UNIVERSITY OF TOKYO

Classification of discretely decomposable A q (λ) with respect to reductive symmetric pairs UNIVERSITY OF TOKYO UTMS 2011 8 April 22, 2011 Classification of discretely decomposable A q (λ) with respect to reductive symmetric pairs by Toshiyuki Kobayashi and Yoshiki Oshima T UNIVERSITY OF TOKYO GRADUATE SCHOOL OF

More information

The Chevalley Basis for a Split Semi-simple Lie Algebra

The Chevalley Basis for a Split Semi-simple Lie Algebra Utah State University DigitalCommons@USU Tutorials on... in hour or less Differential Geometry Software Project -5-5 The Chevalley Basis for a Split Semi-simple Lie Algebra Ian M. Anderson Follow this

More information

Simple Lie algebras. Classification and representations. Roots and weights

Simple Lie algebras. Classification and representations. Roots and weights Chapter 3 Simple Lie algebras. Classification and representations. Roots and weights 3.1 Cartan subalgebra. Roots. Canonical form of the algebra We consider a semi-simple (i.e. with no abelian ideal) Lie

More information

A PROOF OF BOREL-WEIL-BOTT THEOREM

A PROOF OF BOREL-WEIL-BOTT THEOREM A PROOF OF BOREL-WEIL-BOTT THEOREM MAN SHUN JOHN MA 1. Introduction In this short note, we prove the Borel-Weil-Bott theorem. Let g be a complex semisimple Lie algebra. One basic question in representation

More information

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

Eigenvalue problem for Hermitian matrices and its generalization to arbitrary reductive groups Eigenvalue problem for Hermitian matrices and its generalization to arbitrary reductive groups Shrawan Kumar Talk given at AMS Sectional meeting held at Davidson College, March 2007 1 Hermitian eigenvalue

More information

INTRO TO TENSOR PRODUCTS MATH 250B

INTRO TO TENSOR PRODUCTS MATH 250B INTRO TO TENSOR PRODUCTS MATH 250B ADAM TOPAZ 1. Definition of the Tensor Product Throughout this note, A will denote a commutative ring. Let M, N be two A-modules. For a third A-module Z, consider the

More information

Lie Theory in Particle Physics

Lie Theory in Particle Physics Lie Theory in Particle Physics Tim Roethlisberger May 5, 8 Abstract In this report we look at the representation theory of the Lie algebra of SU(). We construct the general finite dimensional irreducible

More information

Irreducible Representations of Sp(C 2l, Ω) on C 2l

Irreducible Representations of Sp(C 2l, Ω) on C 2l Irreducible Representations of Sp(C 2l, Ω) on C 2l Department of Mathematics University of Texas at Arlington Arlington, TX USA March, 2016 We fix G GL C (N) to be a reductive linear algebraic group. By

More information

Problems in Linear Algebra and Representation Theory

Problems in Linear Algebra and Representation Theory Problems in Linear Algebra and Representation Theory (Most of these were provided by Victor Ginzburg) The problems appearing below have varying level of difficulty. They are not listed in any specific

More information

Symmetries, Fields and Particles. Examples 1.

Symmetries, Fields and Particles. Examples 1. Symmetries, Fields and Particles. Examples 1. 1. O(n) consists of n n real matrices M satisfying M T M = I. Check that O(n) is a group. U(n) consists of n n complex matrices U satisfying U U = I. Check

More information

Chapter IV Semi-simple group schemes and Lie algebras

Chapter IV Semi-simple group schemes and Lie algebras Chapter IV Semi-simple group schemes and Lie algebras June 9, 2013 Contents 1 The classical groups and their realization as split semi-simple group schemes over Spec(Z) 1 1.1 The group scheme Sl n /Spec(Z)...................

More information

INTRODUCTION TO LIE ALGEBRAS. LECTURE 2.

INTRODUCTION TO LIE ALGEBRAS. LECTURE 2. INTRODUCTION TO LIE ALGEBRAS. LECTURE 2. 2. More examples. Ideals. Direct products. 2.1. More examples. 2.1.1. Let k = R, L = R 3. Define [x, y] = x y the cross-product. Recall that the latter is defined

More information

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

16.2. Definition. Let N be the set of all nilpotent elements in g. Define N 74 16. Lecture 16: Springer Representations 16.1. The flag manifold. Let G = SL n (C). It acts transitively on the set F of complete flags 0 F 1 F n 1 C n and the stabilizer of the standard flag is the

More information

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

Notes on nilpotent orbits Computational Theory of Real Reductive Groups Workshop. Eric Sommers Notes on nilpotent orbits Computational Theory of Real Reductive Groups Workshop Eric Sommers 17 July 2009 2 Contents 1 Background 5 1.1 Linear algebra......................................... 5 1.1.1

More information

ON THE CHIEF FACTORS OF PARABOLIC MAXIMAL SUBGROUPS IN FINITE SIMPLE GROUPS OF NORMAL LIE TYPE

ON THE CHIEF FACTORS OF PARABOLIC MAXIMAL SUBGROUPS IN FINITE SIMPLE GROUPS OF NORMAL LIE TYPE Siberian Mathematical Journal, Vol. 55, No. 4, pp. 622 638, 2014 Original Russian Text Copyright c 2014 Korableva V.V. ON THE CHIEF FACTORS OF PARABOLIC MAXIMAL SUBGROUPS IN FINITE SIMPLE GROUPS OF NORMAL

More information

Part III Symmetries, Fields and Particles

Part III Symmetries, Fields and Particles Part III Symmetries, Fields and Particles Theorems Based on lectures by N. Dorey Notes taken by Dexter Chua Michaelmas 2016 These notes are not endorsed by the lecturers, and I have modified them (often

More information

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

LECTURE 25-26: CARTAN S THEOREM OF MAXIMAL TORI. 1. Maximal Tori LECTURE 25-26: CARTAN S THEOREM OF MAXIMAL TORI 1. Maximal Tori By a torus we mean a compact connected abelian Lie group, so a torus is a Lie group that is isomorphic to T n = R n /Z n. Definition 1.1.

More information

SEMISIMPLE LIE GROUPS

SEMISIMPLE LIE GROUPS SEMISIMPLE LIE GROUPS BRIAN COLLIER 1. Outiline The goal is to talk about semisimple Lie groups, mainly noncompact real semisimple Lie groups. This is a very broad subject so we will do our best to be

More information

Particles I, Tutorial notes Sessions I-III: Roots & Weights

Particles I, Tutorial notes Sessions I-III: Roots & Weights Particles I, Tutorial notes Sessions I-III: Roots & Weights Kfir Blum June, 008 Comments/corrections regarding these notes will be appreciated. My Email address is: kf ir.blum@weizmann.ac.il Contents 1

More information

MULTILINEAR ALGEBRA: THE TENSOR PRODUCT

MULTILINEAR ALGEBRA: THE TENSOR PRODUCT MULTILINEAR ALGEBRA: THE TENSOR PRODUCT This writeup is drawn closely from chapter 27 of Paul Garrett s text Abstract Algebra, available from Chapman and Hall/CRC publishers and also available online at

More information

NOTES ON SPLITTING FIELDS

NOTES ON SPLITTING FIELDS NOTES ON SPLITTING FIELDS CİHAN BAHRAN I will try to define the notion of a splitting field of an algebra over a field using my words, to understand it better. The sources I use are Peter Webb s and T.Y

More information

2-STEP NILPOTENT LIE GROUPS ARISING FROM SEMISIMPLE MODULES

2-STEP NILPOTENT LIE GROUPS ARISING FROM SEMISIMPLE MODULES 2-STEP NILPOTENT LIE GROUPS ARISING FROM SEMISIMPLE MODULES PATRICK EBERLEIN UNIVERSITY OF NORTH CAROLINA AT CHAPEL HILL Abstract Let G 0 denote a compact semisimple Lie algebra and U a finite dimensional

More information

1. Linear algebra is fussy but super useful. 2. Instead of studying an algebra A all at once, study its representations/modules!

1. Linear algebra is fussy but super useful. 2. Instead of studying an algebra A all at once, study its representations/modules! BIG LESSONS SO FAR 1. Linear algebra is fuss but super useful. 2. Instead of studing an algebra A all at once, stud its representations/modules! (If ou re luck, A is semisimple, and is thus the direct

More information

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

On the Irreducibility of the Commuting Variety of the Symmetric Pair so p+2, so p so 2 Journal of Lie Theory Volume 16 (2006) 57 65 c 2006 Heldermann Verlag On the Irreducibility of the Commuting Variety of the Symmetric Pair so p+2, so p so 2 Hervé Sabourin and Rupert W.T. Yu Communicated

More information

De Rham Cohomology. Smooth singular cochains. (Hatcher, 2.1)

De Rham Cohomology. Smooth singular cochains. (Hatcher, 2.1) II. De Rham Cohomology There is an obvious similarity between the condition d o q 1 d q = 0 for the differentials in a singular chain complex and the condition d[q] o d[q 1] = 0 which is satisfied by the

More information

Signatures of GL n Multiplicity Spaces

Signatures of GL n Multiplicity Spaces Signatures of GL n Multiplicity Spaces UROP+ Final Paper, Summer 2016 Mrudul Thatte Mentor: Siddharth Venkatesh Project suggested by Pavel Etingof September 1, 2016 Abstract A stable sequence of GL n representations

More information

UNIVERSITY OF CALIFORNIA RIVERSIDE. Global Weyl Modules for Twisted and Untwisted Loop Algebras

UNIVERSITY OF CALIFORNIA RIVERSIDE. Global Weyl Modules for Twisted and Untwisted Loop Algebras UNIVERSITY OF CALIFORNIA RIVERSIDE Global Weyl Modules for Twisted and Untwisted Loop Algebras A Dissertation submitted in partial satisfaction of the requirements for the degree of Doctor of Philosophy

More information

Math 250: Higher Algebra Representations of finite groups

Math 250: Higher Algebra Representations of finite groups Math 250: Higher Algebra Representations of finite groups 1 Basic definitions Representations. A representation of a group G over a field k is a k-vector space V together with an action of G on V by linear

More information

SPECTRAL CHARACTERS OF FINITE DIMENSIONAL REPRESENTATIONS OF AFFINE ALGEBRAS

SPECTRAL CHARACTERS OF FINITE DIMENSIONAL REPRESENTATIONS OF AFFINE ALGEBRAS SPECTRAL CHARACTERS OF FINITE DIMENSIONAL REPRESENTATIONS OF AFFINE ALGEBRAS VYJAYANTHI CHARI AND ADRIANO A. MOURA Introduction In this paper we study the category C of finite dimensional representations

More information

LECTURE 4.5: SOERGEL S THEOREM AND SOERGEL BIMODULES

LECTURE 4.5: SOERGEL S THEOREM AND SOERGEL BIMODULES LECTURE 4.5: SOERGEL S THEOREM AND SOERGEL BIMODULES DMYTRO MATVIEIEVSKYI Abstract. These are notes for a talk given at the MIT-Northeastern Graduate Student Seminar on category O and Soergel bimodules,

More information

Topics in Representation Theory: Roots and Weights

Topics in Representation Theory: Roots and Weights Topics in Representation Theory: Roots and Weights 1 The Representation Ring Last time we defined the maximal torus T and Weyl group W (G, T ) for a compact, connected Lie group G and explained that our

More information

Constructing Homomorphisms between Verma Modules

Constructing Homomorphisms between Verma Modules Journal of Lie Theory Volume 15 (2005) 415 428 c 2005 Heldermann Verlag Constructing Homomorphisms between Verma Modules Willem A. de Graaf Communicated by H. Schlosser Abstract. We describe a practical

More information

Combinatorial bases for representations. of the Lie superalgebra gl m n

Combinatorial bases for representations. of the Lie superalgebra gl m n Combinatorial bases for representations of the Lie superalgebra gl m n Alexander Molev University of Sydney Gelfand Tsetlin bases for gln Gelfand Tsetlin bases for gl n Finite-dimensional irreducible representations

More information

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

BLOCKS IN THE CATEGORY OF FINITE-DIMENSIONAL REPRESENTATIONS OF gl(m n) BLOCKS IN THE CATEGORY OF FINITE-DIMENSIONAL REPRESENTATIONS OF gl(m n) VERA SERGANOVA Abstract. We decompose the category of finite-dimensional gl (m n)- modules into the direct sum of blocks, show that

More information

1 Fields and vector spaces

1 Fields and vector spaces 1 Fields and vector spaces In this section we revise some algebraic preliminaries and establish notation. 1.1 Division rings and fields A division ring, or skew field, is a structure F with two binary

More information

An introduction to Lie algebras and the theorem of Ado. Hofer Joachim

An introduction to Lie algebras and the theorem of Ado. Hofer Joachim Hofer Joachim 28.01.2012 Contents Introduction 2 1 Lie algebras 3 1.1 Subalgebras, ideals, quotients..................................... 4 1.2 Nilpotent, solvable, simple and semisimple Lie algebras.......................

More information

Lectures on Infinite Dimensional Lie Algebras. Alexander Kleshchev

Lectures on Infinite Dimensional Lie Algebras. Alexander Kleshchev Lectures on Infinite Dimensional Lie Algebras Alexander Kleshchev Contents Part one: Kac-Moody Algebras page 1 1 Main Definitions 3 1.1 Some Examples 3 1.1.1 Special Linear Lie Algebras 3 1.1.2 Symplectic

More information

Errata to Introduction to Lie Algebras

Errata to Introduction to Lie Algebras Errata to Introduction to Lie Algebras We would like to thank Thorsten Holm for many of the corrections below. The reprinted 1st edition (published June 2007) incorporates all corrections except those

More information

A Leibniz Algebra Structure on the Second Tensor Power

A Leibniz Algebra Structure on the Second Tensor Power Journal of Lie Theory Volume 12 (2002) 583 596 c 2002 Heldermann Verlag A Leibniz Algebra Structure on the Second Tensor Power R. Kurdiani and T. Pirashvili Communicated by K.-H. Neeb Abstract. For any

More information

Longest element of a finite Coxeter group

Longest element of a finite Coxeter group Longest element of a finite Coxeter group September 10, 2015 Here we draw together some well-known properties of the (unique) longest element w in a finite Coxeter group W, with reference to theorems and

More information