THE HARISH-CHANDRA ISOMORPHISM FOR sl(2, C)
|
|
- Maria Neal
- 5 years ago
- Views:
Transcription
1 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 the universal enveloping algebra U(g) of g and the algebra of Weyl group invariant symmetric tensors of h, denoted S(h) W. We define these objects and give a sketch of the proof, using sl(2, C) as a motivating example. The proofs and examples mirror those found in Cohomological Induction and Unitary Representations by Knapp and Vogan. 2. Basic Objects Given any Lie algebra g, we define the tensor algebra T (g) of g as T (g) := x i1 x ik, (x j g). k=0 We can then define the universal enveloping algebra U(g) by U(g) := T (g)/i, where I is the ideal in T (g) generated by elements of the form x y y x [x, y] for x, y g. This has the universal property of being the smallest associative algebra containing g. We denote the center of U(g) by z. Given a Cartan subalgebra h of g, we may consider the universal enveloping algebra U(h) of h. Since h is abelian, we have U(g) = S(h), the symmetric tensors over h. Given the Weyl group of the root system Φ determined by g, h, we write S(h) W for the Weyl group invariants of S(h). For each root α Φ, let e α be a nonzero root vector. Pick a positive root system Φ + in Φ. We define P := U(g)e α and N := e α U(g). α Φ + α Φ + Given a choice of positive roots β 1,..., β k, and given a basis h 1,..., h l of h, the Poincaré-Birkoff-Witt Theorem gives us a basis of U(g) of monomials of the form e q1 β 1... e q k βk h m h m l l e p1 β 1... e p k β k. In the case of g = sl(2, C), we have g = CH CX CY, where ( ) ( ) ( ) H =, X =, and Y = In this case, we have h = CH, and Φ = {±α}, where α h is given by α(h) = 2. Choosing X as our e α and Y as our e α, we have monomials of the form Y l H m X n 1
2 2 SEAN MCAFEE as a basis for U(g). We also have P = U(g)X and N = Y U(g). Theorem 2.1. Let g = sl(2, C). Then, with P, N as above, we have Proof. a) U(g) = U(h) (P + N ) b) For z z, the P + N part of z lies in P. a) By Poincaré-Birkhoff-Witt, we have that monomials of the form Y l H m X n form a basis for U(g). This gives us U(g) = U(h) + P + N. Let p P. Then p is a linear combination of terms of the form (Y l H m X n )X = Y l H m X n+1, where l, m, n Z 0. Thus, each monomial term of p has a tensor power of X greater than 0. Similarly, each monomial term of n N has a tensor power of Y greater than 0. This shows that any element of P + N is a linear combination of terms Y l H m X n with either l > 0 or n > 0. Since each element of U(h) is a linear combination of tensor powers of H, we have that l = n = 0 for each such term. This proves a). b) (Remark: we will abuse notation below and use l, m, n repeatedly to describe tensor powers in different monomials contained in U(g)). Again, we have that the monomials Y l H m X n are a basis of U(g); they are also weight vectors of ad(h) with weight 2l + 0m + 2n = 2l + 2n. Let z z. Then [H, z] = Hz zh = 0, hence for each monomial term Y l H m X n of z we have 2l + 2n = 0. By the proof of part a), each linear term of the P + N part of z has l > 0 or n > 0. Thus, since 2l + 2n = 0 we must have both l, n > 0. Hence the P + N part of z lies in P, as needed. 3. Construction of the Harish-Chandra map Although the discussion below applies to any reductive Lie algebra g, we will only consider g = sl(2, C) in the construction of the Harish-Chandra homomorphism γ and in the proof of the isomorphism z = S(h) W induced by γ. We will use the basis H, X, Y of g as outlined in section 2. Note that the Weyl group W for g = sl(2, C) consists of two elements, one trivial and one sending α α. This gives an action of W on H sending H H. Let z z. By the previous section, we have z U(h) P. Let γ : z U(h) be the projection onto the U(h) component of z. Define ρ := 1 2α, where α is as in section 2. Now define a linear map τ : h U(h) by τ(h) = h ρ(h). By the natural embedding of h into U(h), we can extend τ to a map U(h) U(h). Finally, we define This is the Harish-Chandra map. γ = τ γ.
3 3 Example 3.1. It can be shown that the Casimir element Ω = 1 2 H2 + XY + Y X is contained in z by checking that it commutes with H, X, and Y. As in section 2, X corresponds to the positive root α. Using the fact that H = [X, Y ] = XY Y X, we may rewrite Ω = ( 1 2 H2 + H) + (2Y X) U(h) P. We apply the Harish-Chandra map, using the fact that ρ(h) = 1 2α(H) = 1: γ(ω) = τ(γ (Ω)) = τ( 1 2 H2 + H) = 1 2 (H 1)2 + (H 1) = 1 2 H Notice that, since W maps H H, the projection 1 2 H2 + H is not W -invariant, but after composing with τ, we arrive at the W -invariant 1 2 H Proof of the isomorphism z = S(h) W for g = sl(2, C). We will show the following: a) Im(γ) S(h) W. b) γ does not depend on the choice of Φ +. c) γ is multiplicative. d) γ is 1 1. e) γ is onto. We will make frequent use of the following observation: given λ h, we may extend λ to U(h). Thus by definition of the Harish-Chandra map we have (for any z z) the equality λ(γ(z)) = (λ ρ)(γ (z)). Proof that Im(γ) S(h) W : The idea of the proof is as follows: given some λ h, we create a certain U(g) module V (λ) such that z z acts on V (λ) by the scalar (λ ρ)(γ (z)) = λ(γ(z)). We then show that, by the same construction (and for λ dominant integral), V (s α λ) is isomorphic to a submodule of V (λ). This will imply that λ(γ(z)) = (s α λ)(γ(z)) for all dominant integral λ and all z z. Hence, since W is generated by the simple reflections s α, and since h is generated by dominant integral weights, Im(γ) S(h) W. Let λ h. We define a one-dimensional representation C λ ρ of b = CH + CX by (for w C) We can then define the U(g)-module H w = ((λ ρ)(h))(w) and X w = 0. V (λ) = U(g) U(b) C λ ρ. Let z z. Then we have z = h + p, where h U(h) and p P. Let u 1 be an arbitrary element of V (λ). Then we have z(u 1) = zu(1 1) = uz(1 1) = u(h(1 1) + p(1 1)) = u((1 h 1) + (1 p 1)) = u((1 (λ ρ)(h)) + (1 0)) = (λ ρ)(h)u(1 1) = (λ ρ)(h)(u 1) Thus we have shown that z acts on V (λ) by the scalar (λ ρ)(γ (z)) = λ(γ(z)). Let us require that λ h be dominant integral (thus 2(λ,α) (α,α) Z 0 ).We now create a submodule M of V (λ) and show that it is isomorphic to V (s α λ). Define
4 4 SEAN MCAFEE M to be the submodule of V (λ) generated (over U(g)) by the element v = Y m (1 1). Define a map φ : C sαλ ρ M by φ(1) = v. We claim this map is U(b) equivariant. We do this by showing that an element b = h + n b acts on 1 C sαλ ρ and v M by the same scalar (s α λ ρ)(h) and extending the action to U(b). First, observe that H v = H Y m (1 1) = H Y m 1+Y m H 1 = mα(h)+(λ ρ)(h) = (s α λ ρ)(h), thus H acts equivariantly with respect to φ. We now check that X acts by 0 on v, completing the claim that φ is U(b) equivariant. We have X v = XY m (1 1) = [X, Y m ](1 1) + Y m X(1 1) = [X, Y m ](1 1). By repeated application of the property [X, Y ] = XY Y X and the observation that [Y, [Y, [Y, X]]] = 0, we have [X, Y m ] = XY m Y m X = XY (Y m 1 ) Y m X = ([X, Y ] + Y X)Y m 1 Y m X = = Y m X + my m 1 (H (m 1)I) Y m X = my m 1 (H (m 1)I). Thus we have X v = [X, Y m ](1 1) = my m 1 (H (m 1)I)(1 1) = my m 1 H(1 1) m(m 1)Y m 1 (1 1) = my m 1 (H(1 1) (m 1)(1 1)) = my m 1 ((λ(h) ρ(h))(1 1) (m 1)(1 1)) = my m 1 ((m 1)(1 1) (m 1)(1 1)) = 0, hence, by the above discussion, φ is a U(b) equivariant map, as needed. We can view V (s α λ) = U(g) U(b) C sαλ ρ as the induced representation of U(g) over the U(b) module C sαλ ρ. Thus by Frobenius Reciprocity we have Hom b (C sαλ ρ, M) = Hom g (V (s α λ), M). This gives us a U(g) map (call it φ) of V (s α λ) into M which takes 1 1 to v. This means that V (s α λ) = U(g)(1 1) maps to U(g)v = M, hence φ is onto. To see that φ is one to one, we first observe there is a U(n ) isomorphism V (s α λ) = (U(n C U(b)) U(b) C sαλ ρ = U(n ) C (U(b) U(b) C sαλ ρ) = U(n ) C C sαλ ρ. So, letting u 1 be an arbitrary element of V (s α λ), where u 0 U(n ), we have that uv = uy m (1 1) 0 since uy m is a nonzero element of U(n ). Thus the kernel of φ is trivial, hence the map is one to one. Thus, we have shown that V (s α λ) is isomorphic to a submodule of V (λ). We have already seen that z acts on V (λ) and V (s α λ) by the scalars
5 5 λ(γ(z)) and (s α λ)(γ(z)), respectively. Therefore, since V (s α λ) is a submodule of V (λ), we have that λ(γ(z)) = (s α λ)(γ(z)) for all z z and dominant integral λ. Thus, since h is generated by the dominant integral weights, and since any element of U(h) (in particular γ(z)) is determined by the effect of all λ h on it, we must have that s α (γ(z)) = γ(z) for all z z, hence Im(γ) S(h) W, as needed. Proof that γ does not depend on the choice of Φ + : The root system of sl(2, C) contains α : H 2 and α : H 2. Thus, we have two choices of positive root system: + = {α} and + # = { α}. Using weight space vectors X and Y as before, we define P = U(g)X and P # = U(g)Y. Fix z z. Then, by Theorem 2.1 b), we can write z as an element in U(h) P or U(h) P #. We can thus define the Harish-Chandra maps γ and γ # according to our choice of positive root. We may also define ρ and ρ # accordingly. The Weyl group of sl(2, C) has two elements: ( the identity ) and w : α α. We can realize w 0 1 explicitly as Ad(g) h, where g = SL(2, C): 1 0 w α(h) = α(w 1 (H)) = α(ad(g 1 )H) ( ) ( ) ( ) = α( ) = α( H) = α(h). We wish to show that γ # (z) = γ(z) for each z z. First, we prove the following lemma: Lemma 4.1. With w as above, we have wγ (z) = γ # (z) for every z z. Proof. Let z z. We may write z = h + p U(h) P. Thus, z γ (z) = p P. Writing p = ux for some u U(g), we have Ad(g)(z γ (z)) = Ad(g)(uX) = Ad(g)(u) Ad(g)(X) = Ad(g)(u)gXg 1 = Ad(g)(u)( Y ) = u Y P #. Now, for any z z and any X g we have ad(x)(z) = 0, thus Ad(x)(z) = z for any x G. In particular, Ad(g)(z) = z. Thus we have Ad(g)(z γ (z)) = z Ad(g)γ (z) P #. Since Ad(g) h = w, this shows that wγ (z) = γ # (z), as required. Now, observe that wρ = ρ # ; then for any λ h we have λ(γ # (z)) = (λ ρ # )(γ #(z)) = (λ wρ)(wγ (z)) = w 1 (λ wρ)(γ (z)) = (w 1 λ w 1 wρ)(γ (z)) = (w 1 λ ρ)(γ (z)) = w 1 λ(γ(z)) = λ(w 1 γ(z)) = λ(γ(z)),
6 6 SEAN MCAFEE the last equality following from the fact that γ(z) U(h) W. Since our choice of λ was arbitrary, we have shown that γ # (z) = γ(z) for every z z, as needed. Proof that γ is multiplicative: We claim that, for z 1, z 2 z, Indeed, consider γ (z 1 z 2 ) = γ (z 1 )γ (z 2 ). z 1 z 2 γ (z 1 )γ (z 2 ) = z 1 z 2 z 1 γ (z 2 ) + z 1 γ (z 2 ) γ (z 1 )γ (z 2 ) Thus we have = z 1 (z 2 γ (z 2 )) + γ (z 2 )(z 1 γ (z 1 )) P + P = P. z 1 z 2 = γ (z 1 )γ (z 2 ) + (z 1 z 2 γ (z 1 )γ (z 2 )) U(h) P, so by uniqueness of the direct sum, we have γ (z 1 )γ (z 2 ) = γ (z 1 z 2 ), as claimed. Furthermore, we have that the translation τ is an algebra isomorphism, hence the composition γ = τ γ is multiplicative, which completes the proof. Proof that γ is one to one: We consider G = SU(2), which has g as its Lie algebra. For any f C (G) and X g, we have X act as a left-invariant differential operator on f by X f(g) := d dt (f(g exp(tx)) t=0. We can extend this to a U(g) action on f C. The idea of the proof is to show that any z z is identically zero as a differential operator. Then we show that U(g) is injective into the space of differential operators on C (G), hence z = 0 as an element of U(g). Suppose that γ(z) = 0. Then we have γ (z) = 0, hence for any highest weight λ of a finite dimensional representation of U(g) we have λ(γ (z)) = 0; z acts by this scalar in the representation (this can be seen by looking at the action of λ on individual basis elements Y l H m X n of U(g)). This implies that π(z) = 0 for every finite dimensional representation of G, since any such representation is the direct sum of irreducibles. Since G is compact and connected, any finite dimensional representation π ofg can be regarded as unitary. Given such a π, let (π(g)v 1, v 2 ) be a matrix coefficient, and let X g. Then X acts as a differential operator by X(π(g)v 1, v 2 ) = d dt (π(g exp(tx)v 1, v 2 ) t=0 = d dt (π(g)π(exp(tx))v 1, v 2 ) t=0 = d dt (π(exp(tx))v 1, π(g) v 2 ) t=0 = (π(x)v 1, π(g) v 2 ) = (π(g)π(x)v 1, v 2 ). As mentioned above, we can extend this action to an arbitrary element u U(g), hence u(π(g)v 1, v 2 ) = (π(g)π(u)v 1, v 2 ). In particular, for z as above we have z(π(g)v 1, v 2 ) = (π(g)π(z)v 1, v 2 ) = 0, thus z acts as zero on any matrix coefficient of π. We then see that z acts as zero on any matrix coefficient of any finite dimensional representation of G. This extends to sums of tensor products of matrix coefficients, which by Peter-Weyl are dense in
7 7 C (G). Thus we have that z is identically zero as a differential operator. Finally, we check that U(g) is injective into the space of left-invariant differential operators on C (G), which will show that z = 0 as an element of U(g), completing the proof. Suppose that, for X, Y g, we have d dt (f(g exp(tx)) t=0 = d dt (f(g exp(ty )) t=0 for every f C (G) and g G. In particular, this holds for g = 1 and for all polynomials f. Hence f(x) = f(y ) for every polynomial, therefore X = Y. Proof that γ is onto: First, recall that the Weyl group W corresponding to (g = s(2, C), h = CH) consists of two elements: the identity and w : H H. This means that the W invariant elements of U(h) are precisely the polynomials in H 2. Observe that γ(ω ) = γ(ω) + γ(1 2 ) = 1 2 H = 1 2 H2. Thus, by the multiplicativity and additivity of γ, we have that Im(γ) = S(h) W, as needed. 5. The center of U(g) for g = sl(2, C) We can now completely describe the center z of U(g) in the case of g = sl(2, C). By the proof that γ is onto, we see that the image under γ of the Casimir element Ω generates S(h) W. By the injectivity of γ, then, we have that Ω generates z, i.e. z is the polynomial algebra of Ω.
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 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 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 informationCategory 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 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 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 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 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 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 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 informationREPRESENTATIONS 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 informationLie Algebra Homology and Cohomology
Lie Algebra Homology and Cohomology Shen-Ning Tung November 26, 2013 Abstract In this project we give an application of derived functor. Starting with a Lie algebra g over the field k, we pass to the universal
More informationIntroduction to Representations Theory of Lie Groups
Introduction to Representations Theory of Lie roups Raul omez October 14, 2009 Introduction The purpose of this notes is twofold. The first goal is to give a quick answer to the question What is representation
More informationRepresentations Are Everywhere
Representations Are Everywhere Nanghua Xi Member of Chinese Academy of Sciences 1 What is Representation theory Representation is reappearance of some properties or structures of one object on another.
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 informationInduced 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 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 informationHarish-Chandra s homomorphism, Verma modules
(October 26, 2017) Harish-Chandra s homomorphism, Verma modules Paul Garrett garrett@math.umn.edu http://www.math.umn.edu/ garrett/ Representations of semi-simple Lie algebras for the impatient. The Harish-Chandra
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 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 informationA PIERI RULE FOR HERMITIAN SYMMETRIC PAIRS. Thomas J. Enright, Markus Hunziker and Nolan R. Wallach
A PIERI RULE FOR HERMITIAN SYMMETRIC PAIRS Thomas J. Enright, Markus Hunziker and Nolan R. Wallach Abstract. Let (G, K) be a Hermitian symmetric pair and let g and k denote the corresponding complexified
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 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 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 informationTHE 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 information7. Baker-Campbell-Hausdorff formula
7. Baker-Campbell-Hausdorff formula 7.1. Formulation. Let G GL(n,R) be a matrix Lie group and let g = Lie(G). The exponential map is an analytic diffeomorphim of a neighborhood of 0 in g with a neighborhood
More informationA 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 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 informationVariations on a Casselman-Osborne theme
Variations on a Casselman-Osborne theme Dragan Miličić Introduction This paper is inspired by two classical results in homological algebra o modules over an enveloping algebra lemmas o Casselman-Osborne
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 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 informationBRST and Dirac Cohomology
BRST and Dirac Cohomology Peter Woit Columbia University Dartmouth Math Dept., October 23, 2008 Peter Woit (Columbia University) BRST and Dirac Cohomology October 2008 1 / 23 Outline 1 Introduction 2 Representation
More information8. COMPACT LIE GROUPS AND REPRESENTATIONS
8. COMPACT LIE GROUPS AND REPRESENTATIONS. Abelian Lie groups.. Theorem. Assume G is a Lie group and g its Lie algebra. Then G 0 is abelian iff g is abelian... Proof.. Let 0 U g and e V G small (symmetric)
More informationLecture 5: Admissible Representations in the Atlas Framework
Lecture 5: Admissible Representations in the Atlas Framework B. Binegar Department of Mathematics Oklahoma State University Stillwater, OK 74078, USA Nankai Summer School in Representation Theory and Harmonic
More informationDirac Cohomology, Orbit Method and Unipotent Representations
Dirac Cohomology, Orbit Method and Unipotent Representations Dedicated to Bert Kostant with great admiration Jing-Song Huang, HKUST Kostant Conference MIT, May 28 June 1, 2018 coadjoint orbits of reductive
More informationKazhdan s orthogonality conjecture for real reductive groups
Kazhdan s orthogonality conjecture for real reductive groups Binyong Sun (Joint with Jing-Song Huang) Academy of Mathematics and Systems Science Chinese Academy of Sciences IMS, NUS March 28, 2016 Contents
More informationBranching rules of unitary representations: Examples and applications to automorphic forms.
Branching rules of unitary representations: Examples and applications to automorphic forms. Basic Notions: Jerusalem, March 2010 Birgit Speh Cornell University 1 Let G be a group and V a vector space.
More informationRepresentation Theory
Part II Year 2018 2017 2016 2015 2014 2013 2012 2011 2010 2009 2008 2007 2006 2005 2018 Paper 1, Section II 19I 93 (a) Define the derived subgroup, G, of a finite group G. Show that if χ is a linear character
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 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 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 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 informationNon separated points in the dual spaces of semi simple Lie groups
1 Non separated points in the dual spaces of semi simple Lie groups Let G be a connected semi simple Lie group with finite center, g its Lie algebra, g c = g R C, G the universal enveloping algebra of
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 informationON DEGENERATION OF THE SPECTRAL SEQUENCE FOR THE COMPOSITION OF ZUCKERMAN FUNCTORS
ON DEGENERATION OF THE SPECTRAL SEQUENCE FOR THE COMPOSITION OF ZUCKERMAN FUNCTORS Dragan Miličić and Pavle Pandžić Department of Mathematics, University of Utah Department of Mathematics, Massachusetts
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 informationAHAHA: Preliminary results on p-adic groups and their representations.
AHAHA: Preliminary results on p-adic groups and their representations. Nate Harman September 16, 2014 1 Introduction and motivation Let k be a locally compact non-discrete field with non-archimedean valuation
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 informationPeter Hochs. Strings JC, 11 June, C -algebras and K-theory. Peter Hochs. Introduction. C -algebras. Group. C -algebras.
and of and Strings JC, 11 June, 2013 and of 1 2 3 4 5 of and of and Idea of 1 Study locally compact Hausdorff topological spaces through their algebras of continuous functions. The product on this algebra
More informationBRANCHING LAWS FOR SOME UNITARY REPRESENTATIONS OF SL(4,R)
BRANCHING LAWS FOR SOME UNITARY REPRESENTATIONS OF SL(4,R) BENT ØRSTED AND BIRGIT SPEH Abstract. In this paper we consider the restriction of a unitary irreducible representation of type A q (λ) of GL(4,
More informationSPHERICAL 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 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 informationClassical 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 informationC*-Algebras and Group Representations
C*-Algebras and Department of Mathematics Pennsylvania State University EMS Joint Mathematical Weekend University of Copenhagen, February 29, 2008 Outline Summary Mackey pointed out an analogy between
More information4. 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 informationNotes on BRST. Peter Woit Department of Mathematics, Columbia University December 29, 2008.
Notes on BRST Peter Woit Department of Mathematics, Columbia University woit@math.columbia.edu December 29, 2008 Contents 1 Introduction 2 2 Quantum Mechanics and Representation Theory 2 2.1 Some Examples............................
More informationMATH 101B: ALGEBRA II PART A: HOMOLOGICAL ALGEBRA
MATH 101B: ALGEBRA II PART A: HOMOLOGICAL ALGEBRA These are notes for our first unit on the algebraic side of homological algebra. While this is the last topic (Chap XX) in the book, it makes sense to
More informationTopics in Representation Theory: Fourier Analysis and the Peter Weyl Theorem
Topics in Representation Theory: Fourier Analysis and the Peter Weyl Theorem 1 Fourier Analysis, a review We ll begin with a short review of simple facts about Fourier analysis, before going on to interpret
More informationPBW for an inclusion of Lie algebras
PBW for an inclusion of Lie algebras Damien Calaque, Andrei Căldăraru, Junwu Tu Abstract Let h g be an inclusion of Lie algebras with quotient h-module n. There is a natural degree filtration on the h-module
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 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 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 informationALGEBRA QUALIFYING EXAM, FALL 2017: SOLUTIONS
ALGEBRA QUALIFYING EXAM, FALL 2017: SOLUTIONS Your Name: Conventions: all rings and algebras are assumed to be unital. Part I. True or false? If true provide a brief explanation, if false provide a counterexample
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 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 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 informationTHEORY OF GROUP REPRESENTATIONS AND APPLICATIONS
THEORY OF GROUP REPRESENTATIONS AND APPLICATIONS ASIM 0. BARUT Institute for Theoretical Physics, University of Colorado, Boulder, Colo., U.S.A. RYSZARD RATJZKA Institute for Nuclear Research, Warszawa,
More informationCasimir elements for classical Lie algebras. and affine Kac Moody algebras
Casimir elements for classical Lie algebras and affine Kac Moody algebras Alexander Molev University of Sydney Plan of lectures Plan of lectures Casimir elements for the classical Lie algebras from the
More informationLOCAL VS GLOBAL DEFINITION OF THE FUSION TENSOR PRODUCT
LOCAL VS GLOBAL DEFINITION OF THE FUSION TENSOR PRODUCT DENNIS GAITSGORY 1. Statement of the problem Throughout the talk, by a chiral module we shall understand a chiral D-module, unless explicitly stated
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 informationNOTES ON LINEAR ALGEBRA OVER INTEGRAL DOMAINS. Contents. 1. Introduction 1 2. Rank and basis 1 3. The set of linear maps 4. 1.
NOTES ON LINEAR ALGEBRA OVER INTEGRAL DOMAINS Contents 1. Introduction 1 2. Rank and basis 1 3. The set of linear maps 4 1. Introduction These notes establish some basic results about linear algebra over
More informationPacific Journal of Mathematics
Pacific Journal of Mathematics PICARD VESSIOT EXTENSIONS WITH SPECIFIED GALOIS GROUP TED CHINBURG, LOURDES JUAN AND ANDY R. MAGID Volume 243 No. 2 December 2009 PACIFIC JOURNAL OF MATHEMATICS Vol. 243,
More information10. Smooth Varieties. 82 Andreas Gathmann
82 Andreas Gathmann 10. Smooth Varieties Let a be a point on a variety X. In the last chapter we have introduced the tangent cone C a X as a way to study X locally around a (see Construction 9.20). It
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 informationGenerators of affine W-algebras
1 Generators of affine W-algebras Alexander Molev University of Sydney 2 The W-algebras first appeared as certain symmetry algebras in conformal field theory. 2 The W-algebras first appeared as certain
More informationBEILINSON-BERNSTEIN LOCALIZATION
BEILINSON-BERNSTEIN LOCALIZATION JACOB KELLER Abstract. The purpose of this paper is to give an overview of the Beilinson- Bernstein localization theorem. It is a major result which introduced new geometric
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 informationPrimitivity and unital full free product of residually finite dimensional C*-algebras
Primitivity and unital full free product of residually finite dimensional C*-algebras Francisco Torres-Ayala, joint work with Ken Dykema 2013 JMM, San Diego Definition (Push out) Let A 1, A 2 and D be
More informationLecture 4 Super Lie groups
Lecture 4 Super Lie groups In this lecture we want to take a closer look to supermanifolds with a group structure: Lie supergroups or super Lie groups. As in the ordinary setting, a super Lie group is
More informationDe 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 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 informationWeyl Group Representations and Unitarity of Spherical Representations.
Weyl Group Representations and Unitarity of Spherical Representations. Alessandra Pantano, University of California, Irvine Windsor, October 23, 2008 β ν 1 = ν 2 S α S β ν S β ν S α ν S α S β S α S β ν
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 informationLECTURE 8: THE MOMENT MAP
LECTURE 8: THE MOMENT MAP Contents 1. Properties of the moment map 1 2. Existence and Uniqueness of the moment map 4 3. Examples/Exercises of moment maps 7 4. Moment map in gauge theory 9 1. Properties
More informationGraded Calabi-Yau Algebras actions and PBW deformations
Actions on Graded Calabi-Yau Algebras actions and PBW deformations Q. -S. Wu Joint with L. -Y. Liu and C. Zhu School of Mathematical Sciences, Fudan University International Conference at SJTU, Shanghai
More informationThese notes are incomplete they will be updated regularly.
These notes are incomplete they will be updated regularly. LIE GROUPS, LIE ALGEBRAS, AND REPRESENTATIONS SPRING SEMESTER 2008 RICHARD A. WENTWORTH Contents 1. Lie groups and Lie algebras 2 1.1. Definition
More information5 Structure of 2-transitive groups
Structure of 2-transitive groups 25 5 Structure of 2-transitive groups Theorem 5.1 (Burnside) Let G be a 2-transitive permutation group on a set Ω. Then G possesses a unique minimal normal subgroup N and
More information3 Universal enveloping algebras
3 UNIVERSAL ENVELOPING ALGEBRAS 26 3 Universal enveloping algebras 3.1 Definition and first properties In this section, k will be an arbitrary field, not necessarily of characteristic zero. The idea is
More informationQUANTUM MECHANIC S. Symmetries
Walter Greiner Berndt Müller QUANTUM MECHANIC S Symmetries 1. Symmetries in Quantum Mechanics 1 1.1 Symmetries in Classical Physics 1 1.2 Spatial Translations in Quantum Mechanics 1 9 1.3 The Unitary
More information10. Noether Normalization and Hilbert s Nullstellensatz
10. Noether Normalization and Hilbert s Nullstellensatz 91 10. Noether Normalization and Hilbert s Nullstellensatz In the last chapter we have gained much understanding for integral and finite ring extensions.
More informationPopa s rigidity theorems and II 1 factors without non-trivial finite index subfactors
Popa s rigidity theorems and II 1 factors without non-trivial finite index subfactors Stefaan Vaes March 19, 2007 1/17 Talk in two parts 1 Sorin Popa s cocycle superrigidity theorems. Sketch of proof.
More informationCollected trivialities on algebra derivations
Collected trivialities on algebra derivations Darij Grinberg December 4, 2017 Contents 1. Derivations in general 1 1.1. Definitions and conventions....................... 1 1.2. Basic properties..............................
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 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 informationA Numerical Criterion for Lower bounds on K-energy maps of Algebraic manifolds
A Numerical Criterion for Lower bounds on K-energy maps of Algebraic manifolds Sean Timothy Paul University of Wisconsin, Madison stpaul@math.wisc.edu Outline Formulation of the problem: To bound the Mabuchi
More information3.1. Derivations. Let A be a commutative k-algebra. Let M be a left A-module. A derivation of A in M is a linear map D : A M such that
ALGEBRAIC GROUPS 33 3. Lie algebras Now we introduce the Lie algebra of an algebraic group. First, we need to do some more algebraic geometry to understand the tangent space to an algebraic variety at
More informationz Y X } X X } X = {z X + z
THE CENTER OF THE CATEGORY OF (g, ) MODULES GORAN MUIĆ AND GORDAN SAVIN 1. Introduction Let A be an Abelian category. We write Obj(A) for the collection of all objects of A. If X, Y are the objects of
More informationTHE CLASSICAL HOM-YANG-BAXTER EQUATION AND HOM-LIE BIALGEBRAS. Donald Yau
International Electronic Journal of Algebra Volume 17 (2015) 11-45 THE CLASSICAL HOM-YANG-BAXTER EQUATION AND HOM-LIE BIALGEBRAS Donald Yau Received: 25 January 2014 Communicated by A. Çiğdem Özcan Abstract.
More informationDecay to zero of matrix coefficients at Adjoint infinity by Scot Adams
Decay to zero of matrix coefficients at Adjoint infinity by Scot Adams I. Introduction The main theorems below are Theorem 9 and Theorem 11. As far as I know, Theorem 9 represents a slight improvement
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 information