Representations of semisimple Lie algebras
|
|
- Cameron Chase
- 5 years ago
- Views:
Transcription
1 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 every finite dimensional representation is an highest weight representation. We fix in all the chapter a semisimple Lie algebras g and a Cartan subalgebra h. We denote by R the associated root system and we fix a base S of R. We denote by R + (resp. R the set of positive (resp. negative) roots and we fix for any positive root α R + elements X α g α and Y α g α such that [X α,y α ] = H α. We define the subalgebras n = α R + g α, n = α R g α and b = h n Weights Definition Let V be a representation of g (not necessarily finite dimensional) and let λ h be a linear form on h. An element v V is said of weight λ if for all h h, we have h v = λ(h)v. The set of all elements of weight λ is a vector space V λ called a weight space of V. If V λ is non trivial then λ is calles aweight of the representation. The dimension dimv λ is called the multiplicity of the weight λ in V. Proposition Let V be a representation of g. (ı) We have g α V λ = V λ+α for λ h and α R. (ıı) The sum V = λ V λ is direct and is a subrepresentation of V. Proof. (ı) Let x g α, h h and v V λ, we have the equalities h (x v) = [h,x] v + x (h v) = α(h)x v + λ(h)x v and the result follows. (ıı) The fact that the sum is direct comes from the classical fact that eigenspaces are in direct sum. Furthermore, from (ı), we get that V is a subrepresentation. 117
2 118 CHAPTER 14. REPRESENTATIONS OF SEMISIMPLE LIE ALGEBRAS 14.2 Primitive elements Definition Let V be a representation of g and λ h. A vector v V is called a promitive element of weight λ if h v = λ(h)v for all h h and x v = 0 for all x n. Remark The last condition defining a primitive element is equivalent to the following two conditions: X α v = 0 for all α R +, X α v = 0 for all α S. The primitive elements are also the eigenvalues of the Borel subalgebra b. Proposition Let V be a representation of g and let v V be a primitive element of weight λ. Let E be the submodule generated by v in V. (ı) If β 1,,β n are the positive roots, then E is spanned by the elements Y k 1 β 1 Y kn β n v with k i Z 0 (ıı) The weight of E have finite multiplicity and are of the form λ α S l α α with l α Z 0. (ııı) The weight λ has multiplicity 1 in E. (ıv) The representation E is irreducible. Proof. (ı) The subrepresentation E generated by v is the subspace of all elements of the form U v for U U(g). Recall from Fact that any element U U(g) can be written in the form U = Y XH (we exchange the role of positive and negative roots here) with X U(n), Y U(n ) and H U(h). By the definition of primitive elements, we have that H v and X v are multiples of v (for X v, this multiple is 0 except for X = 1). We therefore get U v = Y v. But any element of U(n ) can be written in the form Y k 1 β 1 Y kn β n, the result follows (for this last result, use the relations Y βi Y βj = Y βj Y βi + [Y βi,y βj ] for i > j). (ıı) This is direct consequence of (ı) and the previous proposition. (ııı) This comes from the fact that λ α S l αα = λ if and only if l α = 0 for all α S. (ıv) Assume that E = E 1 E 2 where E i is a subrepresentation of E. In particular, we may consider the weight spaces (E i ) λ. Fact We have E λ = (E 1 ) λ (E 2 ) λ. Proof. We easily have that the sum is direct and the inclusion of the right hand side in the left hand side. Let v E λ, we have v = v 1 + v 2 with v i E i. For h h, we get λ(h)(v 1 + v 2 ) = λ(h)v = h v = h v 1 + h v 2 but h v i E i thus h v i = λ(h)v i and the result follows. In our situation, because E λ is one dimensional, we get that one of the two (E i ) λ vanishes and the other is E λ. Let us say (E 1 ) λ = E λ, because E is generated by v E λ we get E = E 1 and E 2 = 0.
3 14.3. HIGHEST WEIGHT REPRESENTATIONS Highest weight representations Definition An simple representation of g with a primitive vector of weight λ is called an highest weight representation of weight λ. Theorem Let V be an highest weight representation of weight λ. (ı) There is a unique primitive vector modulo scalar multiplication, its weight is λ. (ıı) The weights of V have finite multiplicity and are of the form λ α S l α α with l α Z 0. (ııı) The weight λ has multiplicity 1. (ıv) Two highest weight representations V 1 and V 2 of highest weights λ 1 and λ 2 are isomorphic if and only if λ 1 = λ 2. Proof. (ı) The submodule E generated by a primitive vector v in V is non trivial (because it contains v) and therefore it is equal to V because V is simple. This implies that the weight of v is λ by the previous proposition. The result now follows from point (ııı) of the previous proposition. (ıı) Follows from point (ıı) of the previous proposition. (ııı) Follows from point (ııı) of the previous proposition. (ıv) Let V i for i {1,2} be two highest weight representations of highest weight λ i and let v i be primitive vectors. If V 1 V 2, we have λ 1 = λ 2 by (ı). Conversely, assume that λ 1 = λ 2 and define V = V 1 V 2, the vector v = v 1 + v 2 is a primitive vector for V of weight λ = λ 1 = λ 2. Let E be the subrepresentation generated by v in V. The projection V V i induces a morphism of representations E V i mapping v to v i. Because v i spans V i as representation, this implies that this map E V i is surjective. Its kernel is E V 3 i and is a submodule of V 3 i. It does not contain v 1 because dim E λ = 1 thus it is a proper submodule of V 3 i. But V 3 i being simple we get E V 3 i = 0 and the projection E V i is an isomorphism. Therefore V 1 E V 2. Remark There are simple modules with no primitive elements, these are infinite dimensional. Theorem For each linear form λ h, there is an highest weight representation of highest weight λ. Proof. We first construct a representation of g with a primitive element of weight λ. Let L(λ) be a one dimensional vector space and define a representation of b on L(λ) as follows: if v L(λ) is any vector we define X α v = 0 and H α v = λ(h α )v. This is indeed a representation because these elements satisfy the relations between the generators X α and H α for α S in b. Therefore L(λ) is a U(b)-module, but because of the inclusion b g we have a morphism U(b) U(g). We can therfore consider V (λ) = U(g) U(b) L(λ). This module is generated by the element w = 1 v. We have X α w = 1 X α w = 0 and H α w = 1 H α v = λ(h α )w. Therefore w is an primitive vector of highest weight λ as soon as it is non trivial. The non triviality comes from Poincaré-Birkhoff-Witt Theorem : the algebra U(g) is a free U(b)-module. We also see, using Fact (and exchanging the role of the X α s and of the
4 120 CHAPTER 14. REPRESENTATIONS OF SEMISIMPLE LIE ALGEBRAS Y α s), that V (λ) is generated as vector space by the elements of the form Y HX w therefore of the form Y k 1 α 1 Yα km m w. Its weight with respect to h is λ i k iα i and we have V (λ) = µ h V (λ) µ. We now want to construct a simple module out of V (λ). Let V be any proper submodule of V (λ) and consider the weight space V λ. We have V λ V (λ) λ. But the last one is one dimensional thus either V λ = V (λ) λ or V λ = 0. In the first case, because w generates V (λ) we get V = V (λ) a contradiction, thus for any proper submodule V we have V λ = 0. Because V is stable under h, we also have by restriction of the decomposition of V (λ) a decomposition V = µ h V µ and we get the inclusion V µ λ V (λ) µ = W. Thus, the sum N of all proper submodules is contained in W and is again proper. It is the maximal proper submodule and the quotient V (λ)/n is a highest weight module of highest weight λ Finite dimensional representations Proposition Let V be a finite dimensional representation of g. The following properties hold. (ı) We have the equality V = λ V λ. (ıı) If λ is a weight of V, then λ(h α ) Z for all α R. (ııı) If V is not trivial, then v contains a primitive element. (ıv) If V is generated by a primitive element, then V is simple. Proof. (ı) All elements of h act as diagonalisable endomorphisms and are therefore simultaneously diagonalisable because h is abelian. (ıı) If g acts, then the subalgebra s α which is isomorphic to sl 2 also acts. The weights of H α are therefore integers and these weights are the scalars λ(h α ). (ııı) This follows from Lie s theorem: because b is solvable it has a non zero eigenvector which is therefore primitive. (ıv) By Weyl s Theorem, the representation V is completely reducible. But we know that V, being the representation generated by a primitive element, is irreductible, therefore it is simple. Corollary Every finite dimensional representation has a highest weight. Theorem Let λ h and let V (λ) be a simple representation of g with highest weight λ. Then V (λ) is finite dimensional if and only if λ(h α ) Z 0 for all α R +. Proof. If V (λ) is finite dimensional, then λ(h α ) is the weight of a primitive elements in the finite dimensional sl 2 s α -representation V. Therefore we have λ(h α ) Z 0. Conversely, let v be a primitive element of weight λ and let m α = λ(h α ) for α a simple root. We have m α 0 and put v α = Yα mα+1 (v). We have for β α a simple root the equality X β (v α ) = Y mα+1 α (X β (v)) = 0
5 14.4. FINITE DIMENSIONAL REPRESENTATIONS 121 and also X α (v α ) = 0 by our formula in Proposition on sl 2 -representations (here v is a primitive vector of weight m α for V (λ) seen have a sl 2 = s α -representation). Therefore v α is a primitive element of weight λ (m α + 1)α this is not possible because there are only primitive vectors of weight λ in V (λ). Thus we have v α = 0. Denote by F α the subrepresentation of V (λ) as a s α -representation generated by v. It is finite dimensional and spanned by the elements Y k α (v) for k [0,m α ]. Let T α be the set of all finite dimensional sub-s α -representations of V (λ). Fact Let E T α, we have g E T α. Proof. Because g and E are finite dimensional, the same is true for g E. We have to prove that g E is a representation of s α but this is clear since s α g E g E. Let E α = E T α E. Fact The space E α is a representation of g. Proof. Indeed, let x E T α, we have g x g E T α thus x E α. As any element in E α is a linear combination of elements in E T α for some E, the result follows. We therefore have a subrepresentation E α of V (λ) which is non trivial because it contains v. Therefore, as V (λ) is simple, we have E α = V (λ) and V (λ) is a sum of finite dimensional s α -representations. Let P λ be the set of weights of V (λ). It is enough to prove that P λ is finite since all weight spaces are finite dimensional. Recall also that P λ is contained in the set of linear forms of the form λ α S k α α with k α Z 0. We therefore only need to bound P λ to get the result. For this we use the action of the Weyl group. Fact The set P λ is invariant under the action of the Weyl group. Proof. Let µ be a weight and let v be a vector of weight µ. We only need to prove that P λ is stable under the action of simple reflections. Let α be a simple root, we know that v is contained in some finite dimensional subspace F α which is stable under s α. We therefore have m = µ(h α ) Z and we can look at x = Yα m (v ) for m 0 and x = Xα m (v ) for m 0. By our study on sl 2 -representations, we know that x is non trivial and its weight is µ mα = s α (µ). The result follows. We apply this result to the element w of the Weyl group sending the base S to its opposite S. We have that for any weight µ, the linear form w(µ) is a weight of V (λ) thus can be written in the form w(µ) = λ α S k α α with k α Z 0 and applying w 1 we get µ = w 1 (λ) α S k αw 1 (α) but because w(s) = S and because µ P λ, we have µ = w 1 (λ) + α S k w(α) α and µ = λ α S l α α with k α Z 0 and with l α Z 0. Writing λ w 1 (λ) = α r αα we get l α + k w(α) = r α therefore for any weight µ P λ, we have the bound l α r α thus P λ is bounded and therefore finite.
6 122 CHAPTER 14. REPRESENTATIONS OF SEMISIMPLE LIE ALGEBRAS Proposition Let V be a finite dimensional representation of g and let P(V ) be the set of weights of V. Then W acts on P(V ) and if λ and µ are in the same orbit then dimv λ = dim V µ. Proof. The first part of the proposition was proved in the proof of the previous theorem. One easily check that for any simple root (ad even any root) α, the element X α acts nilpotently on V. Indeed, if x has weight λ, then Xα k x has weight λ + kα. Because the set of weights is finite we must have Xα k x = 0 for k large enough. The same is true for the action of Y α. We may therefore define the action of σ α = exp(x α )exp( Y α )exp(x α ) on V. This action is bijective. But because σ α acts on h as s α we see that σ α (V λ ) = V sα(λ), these spaces therefore have the same dimension. The result follows because the Weyl group is generated by the simple reflections Application to the Weyl group Definition The fundamental weights ( α) α S form by definition the dual base in h to the base (H α ) α S of h. Remark Let V (λ) be the highest weight module of highest weight λ. Then V (λ) is finite dimensional if and only if λ is a linear combination of fundamental weights with non negative integer coefficients. We denote by P the set of fundamental weights. Proposition The Weyl group acts simply transitively on the set of bases of the root system. Proof. We already know that the Weyl group acts transitively so we only need to prove that if w W is such that w(s) = S, then w = 1. We first remark that if w(s) = S, then the elements w acting on h satisfies w(s ) = S i.e. the element w permutes the dual simple roots. But the fundamental weights forming the dual base to S we get the equality w(p) = P. On the other hand, for P, let V ( ) be the simple highest weight module with highest weight w. This module is finite dimensional therefore w( ) is a weight of V ( ) and thus w( ) is a linear combination of simple roots with non negative integer coefficients. Now we have w( )) = P( P P = 0. This is possible only for w( ) = 0 for any P. Therefore w acts trivially on P and because P is a base w = Characters Definition (ı) Let P be the subgroup of h of linear forms with integer values on the base (H α ) α S. The group P is a free abelian group generated by the fundamental weights ( α) α S. The group P is called the weight lattice. (ıı) We denote by Q the Z-submodule of h generated by the simple roots. The group Q is called the root lattice. We have the inclusion Q P. (ııı) We denote by A the algebra Z[P] which is the group algebra of the group P with coefficients in Z. It has a Z-basis given by (e(λ)) λ P and multiplication defined by e(λ)e(µ) = e(λ + µ).
7 14.6. CHARACTERS 123 Remark that there is a natural action of the Weyl group W on the algebra A defined by w(e(λ)) = e(w(λ)). Definition Let V be a finite dimensional representation of g. We define the character of V to be the element Ch(V ) = λ Pdim V λ e(λ) of the algebra A. Proposition (ı) Let V be a finite dimensional representation of g, then the character Ch(V ) is invariant under the action of the Weyl group i.e. Ch(V ) A W. (ıı) We have the formulas Ch(V V ) = Ch(V ) + Ch(V ), Ch(V V ) = Ch(V )Ch(V ). (ııı) Two finite dimensional representations are isomorphic if and only if their character coincide. Proof. (ı) This is a consequence of Proposition (ıı) We have the simple formulas (V V ) λ = V λ V λ and (V V ) λ = V µ V ν. µ+ν=λ These formulas easily imply the statement. (ııı) If V and V are isomorphic then we have Ch(V ) = Ch(V ). Conversely we proceed by induction on dimv. If dimv = 0, then Ch(V ) = Ch)V ) = 0 thus V = 0. Otherwise, let λ be a weight in V which is maximal i.e. λ + α is not a weight of V for any simple root α. Then λ is also a maximal weight for V. Let E and E be the submodules in V and V generated by a primitive elements of weight λ. The modules are simple highest weight modules with the same weight therefore E E. Furthermore, because V and V are finite dimensional, we have by Weyl s Theorem the existence of subrepresentations W and W of V and V such that V = E W and V = E W. But we have Ch(V ) = Ch(V ) and Ch(E) = Ch(E ) therefore Ch(W) = Ch(W ). By induction we get W W and V V. We also have the following result we shall not prove. Theorem* Let T α be the character of the simple module of higest weight α, then the elements (T α ) α S are algebraically independent in A and generate the algebra A W. Corollary* The map Ch between isomophism classes of representations with sum and product to A W is an isomorphism. Proof. The injectivity comes from the above proposition while the surjectivity comes from the above theorem. Example In the case of sl n+1, let (e i ) i [1,n=1] be a base of R n+1 such that the roots are described by the elements α i,j = e i e j for i j. The fundamental weights are given by i = 1 i n n + 1 ( (n + 1 i)e k ie k ). k=1 k=i+1
8 124 CHAPTER 14. REPRESENTATIONS OF SEMISIMPLE LIE ALGEBRAS The corresponding representations are the vector spaces Λ i C n+1. The character T i as a function on the basis vectors is writen as T i = σ i (e 1,,e n+1 ) where σ i is the i-th symmetric function and (e i ) i [1,n+1] is the dual base to (e i ) i [1,n+1]. The ring A W is therefore the ring of symmetric polynomials in n + 1 variables Weyl s character formula In this section we state without proof the formula of H. Weyl computing the character of any finite dimensional simple representation. Definition Sign representation. We define the group morphism ε : W {±1} by the equality ε(w) = det(w) where w is seen as an element in GL(h ). Remark We have ε(w) = 1 if w can be written as a product of an even number of simple reflection and 1 otherwise. If we define the length of w to be l(w) = min{n / w = s α1 s αn with α i S}, then ε(w) = ( 1) l(w). Definition Recall the definition of ρ by ρ = 1 2 α R + α. Recall also that we have α,ρ = 1 for α S. This means ρ(h α ) = 1 for α S therefore ρ P. (ı) We define the element D Z[ 1 2P] by D = (e(α/2) e( α/2)). α R + Proposition* We have the equality in Z[ 1 2 P]: D = w W ε(w)e(w(ρ)). Theorem* (Weyl s character formula) Let V be a finite dimensional simple representation of g of highest weight λ, then we have the equality D Ch(V ) = w W ε(w)e(w(λ + ρ)). In other words we have the formula Ch(V ) = ε(w)e(w(λ + ρ)) w W w W. ε(w)e(w(ρ)) Corollary* With the notation as in the above theorem, we have the equality dim V = α,λ + ρ α = (α,λ + ρ),ρ (α,ρ) α R + α R +
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 informationLECTURE 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 informationTHE 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 informationIVAN LOSEV. Lemma 1.1. (λ) O. Proof. (λ) is generated by a single vector, v λ. We have the weight decomposition (λ) =
LECTURE 7: CATEGORY O AND REPRESENTATIONS OF ALGEBRAIC GROUPS IVAN LOSEV Introduction We continue our study of the representation theory of a finite dimensional semisimple Lie algebra g by introducing
More informationThe 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 informationLIE 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 information2.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 informationOn 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 informationHighest-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 informationL(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 informationTHE 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 informationIRREDUCIBLE 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 informationBLOCKS 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 informationRepresentations 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 informationLECTURE 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 informationA 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 informationClassification 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 informationLECTURE 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 informationNotes 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 informationINTRODUCTION 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 informationA 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 informationREPRESENTATION THEORY, LECTURE 0. BASICS
REPRESENTATION THEORY, LECTURE 0. BASICS IVAN LOSEV Introduction The aim of this lecture is to recall some standard basic things about the representation theory of finite dimensional algebras and finite
More informationLecture 10 - Representation Theory II: Heuristics
Lecture 10 - Representation Theory II: Heuristics February 15, 2013 1 Weights 1.1 Weight space decomposition We switch notation from last time. We let Λ indicate a highest weight, and λ to be an arbitrary
More informationCartan 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 informationMath 210C. The representation ring
Math 210C. The representation ring 1. Introduction Let G be a nontrivial connected compact Lie group that is semisimple and simply connected (e.g., SU(n) for n 2, Sp(n) for n 1, or Spin(n) for n 3). Let
More informationLECTURES ON SYMPLECTIC REFLECTION ALGEBRAS
LECTURES ON SYMPLECTIC REFLECTION ALGEBRAS IVAN LOSEV 18. Category O for rational Cherednik algebra We begin to study the representation theory of Rational Chrednik algebras. Perhaps, the class of representations
More informationGEOMETRIC STRUCTURES OF SEMISIMPLE LIE ALGEBRAS
GEOMETRIC STRUCTURES OF SEMISIMPLE LIE ALGEBRAS ANA BALIBANU DISCUSSED WITH PROFESSOR VICTOR GINZBURG 1. Introduction The aim of this paper is to explore the geometry of a Lie algebra g through the action
More informationOn some combinatorial aspects of Representation Theory
On some combinatorial aspects of Representation Theory Doctoral Defense Waldeck Schützer schutzer@math.rutgers.edu Rutgers University March 24, 2004 Representation Theory and Combinatorics p.1/46 Overview
More information16.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 informationLie 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 informationLECTURE 10: KAZHDAN-LUSZTIG BASIS AND CATEGORIES O
LECTURE 10: KAZHDAN-LUSZTIG BASIS AND CATEGORIES O IVAN LOSEV Introduction In this and the next lecture we will describe an entirely different application of Hecke algebras, now to the category O. In the
More informationMAT 445/ INTRODUCTION TO REPRESENTATION THEORY
MAT 445/1196 - INTRODUCTION TO REPRESENTATION THEORY CHAPTER 1 Representation Theory of Groups - Algebraic Foundations 1.1 Basic definitions, Schur s Lemma 1.2 Tensor products 1.3 Unitary representations
More informationCHAPTER 6. Representations of compact groups
CHAPTER 6 Representations of compact groups Throughout this chapter, denotes a compact group. 6.1. Examples of compact groups A standard theorem in elementary analysis says that a subset of C m (m a positive
More informationNoetherian property of infinite EI categories
Noetherian property of infinite EI categories Wee Liang Gan and Liping Li Abstract. It is known that finitely generated FI-modules over a field of characteristic 0 are Noetherian. We generalize this result
More informationON THE MAXIMAL PRIMITIVE IDEAL CORRESPONDING TO THE MODEL NILPOTENT ORBIT
ON THE MAXIMAL PRIMITIVE IDEAL CORRESPONDING TO THE MODEL NILPOTENT ORBIT HUNG YEAN LOKE AND GORDAN SAVIN Abstract. Let g = k s be a Cartan decomposition of a simple complex Lie algebra corresponding to
More informationTopics 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 informationWeyl 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 informationMath 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 informationBackground 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 informationSince G is a compact Lie group, we can apply Schur orthogonality to see that G χ π (g) 2 dg =
Problem 1 Show that if π is an irreducible representation of a compact lie group G then π is also irreducible. Give an example of a G and π such that π = π, and another for which π π. Is this true for
More informationAbout polynomiality of the Poisson semicentre for parabolic subalgebras
About polynomiality of the Poisson semicentre for parabolic subalgebras University of Saint-Etienne, ICJ, LYON - France The Canicular Days - Haifa - July 2017 - Celebrating A. Joseph s 75th birthday Aim.
More informationRepresentations. 1 Basic definitions
Representations 1 Basic definitions If V is a k-vector space, we denote by Aut V the group of k-linear isomorphisms F : V V and by End V the k-vector space of k-linear maps F : V V. Thus, if V = k n, then
More informationQualifying Exam Syllabus and Transcript
Qualifying Exam Syllabus and Transcript Qiaochu Yuan December 6, 2013 Committee: Martin Olsson (chair), David Nadler, Mariusz Wodzicki, Ori Ganor (outside member) Major Topic: Lie Algebras (Algebra) Basic
More informationRings and groups. Ya. Sysak
Rings and groups. Ya. Sysak 1 Noetherian rings Let R be a ring. A (right) R -module M is called noetherian if it satisfies the maximum condition for its submodules. In other words, if M 1... M i M i+1...
More informationA GEOMETRIC JACQUET FUNCTOR
A GEOMETRIC JACQUET FUNCTOR M. EMERTON, D. NADLER, AND K. VILONEN 1. Introduction In the paper [BB1], Beilinson and Bernstein used the method of localisation to give a new proof and generalisation of Casselman
More informationREPRESENTATION THEORY. WEEKS 10 11
REPRESENTATION THEORY. WEEKS 10 11 1. Representations of quivers I follow here Crawley-Boevey lectures trying to give more details concerning extensions and exact sequences. A quiver is an oriented graph.
More informationMath 249B. Geometric Bruhat decomposition
Math 249B. Geometric Bruhat decomposition 1. Introduction Let (G, T ) be a split connected reductive group over a field k, and Φ = Φ(G, T ). Fix a positive system of roots Φ Φ, and let B be the unique
More informationMath 429/581 (Advanced) Group Theory. Summary of Definitions, Examples, and Theorems by Stefan Gille
Math 429/581 (Advanced) Group Theory Summary of Definitions, Examples, and Theorems by Stefan Gille 1 2 0. Group Operations 0.1. Definition. Let G be a group and X a set. A (left) operation of G on X is
More informationPrimitive Ideals and Unitarity
Primitive Ideals and Unitarity Dan Barbasch June 2006 1 The Unitary Dual NOTATION. G is the rational points over F = R or a p-adic field, of a linear connected reductive group. A representation (π, H)
More informationFILTERED RINGS AND MODULES. GRADINGS AND COMPLETIONS.
FILTERED RINGS AND MODULES. GRADINGS AND COMPLETIONS. Let A be a ring, for simplicity assumed commutative. A filtering, or filtration, of an A module M means a descending sequence of submodules M = M 0
More informationTHE 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 informationOn the Harish-Chandra Embedding
On the Harish-Chandra Embedding The purpose of this note is to link the Cartan and the root decompositions. In addition, it explains how we can view a Hermitian symmetric domain as G C /P where P is a
More informationLECTURE 4: SOERGEL S THEOREM AND SOERGEL BIMODULES
LECTURE 4: 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 informationIntertwining integrals on completely solvable Lie groups
s on s on completely solvable Lie June 16, 2011 In this talk I shall explain a topic which interests me in my collaboration with Ali Baklouti and Jean Ludwig. s on In this talk I shall explain a topic
More informationTHE SEMISIMPLE SUBALGEBRAS OF EXCEPTIONAL LIE ALGEBRAS
Trudy Moskov. Matem. Obw. Trans. Moscow Math. Soc. Tom 67 (2006) 2006, Pages 225 259 S 0077-1554(06)00156-7 Article electronically published on December 27, 2006 THE SEMISIMPLE SUBALGEBRAS OF EXCEPTIONAL
More informationNotes 10: Consequences of Eli Cartan s theorem.
Notes 10: Consequences of Eli Cartan s theorem. Version 0.00 with misprints, The are a few obvious, but important consequences of the theorem of Eli Cartan on the maximal tori. The first one is the observation
More informationMath 594. Solutions 5
Math 594. Solutions 5 Book problems 6.1: 7. Prove that subgroups and quotient groups of nilpotent groups are nilpotent (your proof should work for infinite groups). Give an example of a group G which possesses
More informationPART I: GEOMETRY OF SEMISIMPLE LIE ALGEBRAS
PART I: GEOMETRY OF SEMISIMPLE LIE ALGEBRAS Contents 1. Regular elements in semisimple Lie algebras 1 2. The flag variety and the Bruhat decomposition 3 3. The Grothendieck-Springer resolution 6 4. The
More informationMath 121 Homework 4: Notes on Selected Problems
Math 121 Homework 4: Notes on Selected Problems 11.2.9. If W is a subspace of the vector space V stable under the linear transformation (i.e., (W ) W ), show that induces linear transformations W on W
More informationLemma 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 informationMath 249B. Nilpotence of connected solvable groups
Math 249B. Nilpotence of connected solvable groups 1. Motivation and examples In abstract group theory, the descending central series {C i (G)} of a group G is defined recursively by C 0 (G) = G and C
More informationINTRODUCTION TO LIE ALGEBRAS. LECTURE 10.
INTRODUCTION TO LIE ALGEBRAS. LECTURE 10. 10. Jordan decomposition: theme with variations 10.1. Recall that f End(V ) is semisimple if f is diagonalizable (over the algebraic closure of the base field).
More informationAd-nilpotent ideals of Borel subalgebras: combinatorics and representation theory
Ad-nilpotent ideals of Borel subalgebras: combinatorics and representation theory Paolo Papi Sapienza Università di Roma Preliminary version Winter School: Geometry, Algebra and Combinatorics of Moduli
More informationThe Morozov-Jacobson Theorem on 3-dimensional Simple Lie Subalgebras
The Morozov-Jacobson Theorem on 3-dimensional Simple Lie Subalgebras Klaus Pommerening July 1979 english version April 2012 The Morozov-Jacobson theorem says that every nilpotent element of a semisimple
More informationEquivariant Algebraic K-Theory
Equivariant Algebraic K-Theory Ryan Mickler E-mail: mickler.r@husky.neu.edu Abstract: Notes from lectures given during the MIT/NEU Graduate Seminar on Nakajima Quiver Varieties, Spring 2015 Contents 1
More informationOn certain family of B-modules
On certain family of B-modules Piotr Pragacz (IM PAN, Warszawa) joint with Witold Kraśkiewicz with results of Masaki Watanabe Issai Schur s dissertation (Berlin, 1901): classification of irreducible polynomial
More informationLECTURE 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 informationThe 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 informationExercises on chapter 4
Exercises on chapter 4 Always R-algebra means associative, unital R-algebra. (There are other sorts of R-algebra but we won t meet them in this course.) 1. Let A and B be algebras over a field F. (i) Explain
More informationLie algebra cohomology
Lie algebra cohomology November 16, 2018 1 History Citing [1]: In mathematics, Lie algebra cohomology is a cohomology theory for Lie algebras. It was first introduced in 1929 by Élie Cartan to study the
More informationALGEBRA QUALIFYING EXAM PROBLEMS LINEAR ALGEBRA
ALGEBRA QUALIFYING EXAM PROBLEMS LINEAR ALGEBRA Kent State University Department of Mathematical Sciences Compiled and Maintained by Donald L. White Version: August 29, 2017 CONTENTS LINEAR ALGEBRA AND
More informationEssays on representations of p-adic groups. Smooth representations. π(d)v = ϕ(x)π(x) dx. π(d 1 )π(d 2 )v = ϕ 1 (x)π(x) dx ϕ 2 (y)π(y)v dy
10:29 a.m. September 23, 2006 Essays on representations of p-adic groups Smooth representations Bill Casselman University of British Columbia cass@math.ubc.ca In this chapter I ll define admissible representations
More informationLIE ALGEBRAS,II. MIT-Fall 2005
LIE ALGEBRAS,II MIT-Fall 2005 Proposition. Assume that k is algebraically closed, of characteristic 0. Let L be a solvable Lie algebra, dim(l)
More informationColoured Kac-Moody algebras, Part I
Coloured Kac-Moody algebras, Part I Alexandre Bouayad Abstract We introduce a parametrization of formal deformations of Verma modules of sl 2. A point in the moduli space is called a colouring. We prove
More informationALGEBRA QUALIFYING EXAM PROBLEMS
ALGEBRA QUALIFYING EXAM PROBLEMS Kent State University Department of Mathematical Sciences Compiled and Maintained by Donald L. White Version: August 29, 2017 CONTENTS LINEAR ALGEBRA AND MODULES General
More informationReal representations
Real representations 1 Definition of a real representation Definition 1.1. Let V R be a finite dimensional real vector space. A real representation of a group G is a homomorphism ρ VR : G Aut V R, where
More informationHonors Algebra 4, MATH 371 Winter 2010 Assignment 4 Due Wednesday, February 17 at 08:35
Honors Algebra 4, MATH 371 Winter 2010 Assignment 4 Due Wednesday, February 17 at 08:35 1. Let R be a commutative ring with 1 0. (a) Prove that the nilradical of R is equal to the intersection of the prime
More informationOn 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 informationEigenvalue 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 informationBirational geometry and deformations of nilpotent orbits
arxiv:math/0611129v1 [math.ag] 6 Nov 2006 Birational geometry and deformations of nilpotent orbits Yoshinori Namikawa In order to explain what we want to do in this paper, let us begin with an explicit
More informationOn the Universal Enveloping Algebra: Including the Poincaré-Birkhoff-Witt Theorem
On the Universal Enveloping Algebra: Including the Poincaré-Birkhoff-Witt Theorem Tessa B. McMullen Ethan A. Smith December 2013 1 Contents 1 Universal Enveloping Algebra 4 1.1 Construction of the Universal
More informationSEMISIMPLE 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 informationLECTURE 20: KAC-MOODY ALGEBRA ACTIONS ON CATEGORIES, II
LECTURE 20: KAC-MOODY ALGEBRA ACTIONS ON CATEGORIES, II IVAN LOSEV 1. Introduction 1.1. Recap. In the previous lecture we have considered the category C F := n 0 FS n -mod. We have equipped it with two
More informationHOMOGENEOUS VECTOR BUNDLES
HOMOGENEOUS VECTOR BUNDLES DENNIS M. SNOW Contents 1. Root Space Decompositions 2 2. Weights 5 3. Weyl Group 8 4. Irreducible Representations 11 5. Basic Concepts of Vector Bundles 13 6. Line Bundles 17
More informationarxiv: 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 informationSPECTRAL 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 informationAn 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 informationLie Algebra Cohomology
Lie Algebra Cohomology Carsten Liese 1 Chain Complexes Definition 1.1. A chain complex (C, d) of R-modules is a family {C n } n Z of R-modules, together with R-modul maps d n : C n C n 1 such that d d
More informationREPRESENTATION THEORY WEEK 9
REPRESENTATION THEORY WEEK 9 1. Jordan-Hölder theorem and indecomposable modules Let M be a module satisfying ascending and descending chain conditions (ACC and DCC). In other words every increasing sequence
More informationUNIVERSITY 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 informationKac Moody superalgebras and integrability
Kac Moody superalgebras and integrability Vera Serganova Dept. of Mathematics, University of California at Berkeley, Berkeley, CA 94720 serganov@math.berkeley.edu Summary. The first part of this paper
More informationLECTURE 11: SOERGEL BIMODULES
LECTURE 11: SOERGEL BIMODULES IVAN LOSEV Introduction In this lecture we continue to study the category O 0 and explain some ideas towards the proof of the Kazhdan-Lusztig conjecture. We start by introducing
More informationList of topics for the preliminary exam in algebra
List of topics for the preliminary exam in algebra 1 Basic concepts 1. Binary relations. Reflexive, symmetric/antisymmetryc, and transitive relations. Order and equivalence relations. Equivalence classes.
More informationMic 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 informationGroup Gradings on Finite Dimensional Lie Algebras
Algebra Colloquium 20 : 4 (2013) 573 578 Algebra Colloquium c 2013 AMSS CAS & SUZHOU UNIV Group Gradings on Finite Dimensional Lie Algebras Dušan Pagon Faculty of Natural Sciences and Mathematics, University
More informationRepresentation Theory
Representation Theory Representations Let G be a group and V a vector space over a field k. A representation of G on V is a group homomorphism ρ : G Aut(V ). The degree (or dimension) of ρ is just dim
More informationMath 121 Homework 5: Notes on Selected Problems
Math 121 Homework 5: Notes on Selected Problems 12.1.2. Let M be a module over the integral domain R. (a) Assume that M has rank n and that x 1,..., x n is any maximal set of linearly independent elements
More informationA 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 informationRoot Systems Lie Algebras. Their Representations.
V Root Systems Lie Algebras and Their Representations. Kyoji Saito IPMU, the university of Tokyo August 4 and 5, 2009 Plan Lecture 1: Lecture 2: Lecture 3: Root Systems Lie algebras over a root system
More information1.4 Solvable Lie algebras
1.4. SOLVABLE LIE ALGEBRAS 17 1.4 Solvable Lie algebras 1.4.1 Derived series and solvable Lie algebras The derived series of a Lie algebra L is given by: L (0) = L, L (1) = [L, L],, L (2) = [L (1), L (1)
More information