IVAN LOSEV. KEK 1 = q 2 E, KF K 1 = q 2 F, EF F E = K K 1 q q 1.

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

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

REPRESENTATION THEORY, LECTURE 0. BASICS

Highest-weight Theory: Verma Modules

Category O and its basic properties

Classification of semisimple Lie algebras

INTRODUCTION TO LIE ALGEBRAS. LECTURE 2.

Quantum Groups and Link Invariants

Universal K-matrices via quantum symmetric pairs

LECTURES ON SYMPLECTIC REFLECTION ALGEBRAS

L(C G (x) 0 ) c g (x). Proof. Recall C G (x) = {g G xgx 1 = g} and c g (x) = {X g Ad xx = X}. In general, it is obvious that

Totally Bipartite Tridiagonal Pairs. Kazumasa Nomura and Paul Terwilliger

From Schur-Weyl duality to quantum symmetric pairs

LECTURE 20: KAC-MOODY ALGEBRA ACTIONS ON CATEGORIES, II

Representations of semisimple Lie algebras

IVAN LOSEV. Lemma 1.1. (λ) O. Proof. (λ) is generated by a single vector, v λ. We have the weight decomposition (λ) =

LECTURE 10: KAZHDAN-LUSZTIG BASIS AND CATEGORIES O

SCHUR-WEYL DUALITY FOR QUANTUM GROUPS

LIE ALGEBRAS: LECTURE 7 11 May 2010

THE QUANTUM DOUBLE AS A HOPF ALGEBRA

Totally Bipartite Tridiagonal Pairs. Kazumasa Nomura and Paul Terwilliger

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

Math 594. Solutions 5

LECTURE 11: SOERGEL BIMODULES

Representation theory

IRREDUCIBLE REPRESENTATIONS OF SEMISIMPLE LIE ALGEBRAS. Contents

Lie Algebras of Finite and Affine Type

RE-NORMALIZED LINK INVARIANTS FROM THE UNROLLED QUANTUM GROUP. 1. Introduction

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

arxiv:math/ v1 [math.qa] 5 Nov 2002

The universal Askey-Wilson algebra

Graded modules over classical simple Lie algebras

Lecture Notes Introduction to Cluster Algebra

q-inverting pairs of linear transformations and the q-tetrahedron algebra

Generators of affine W-algebras

BRST and Dirac Cohomology

Thus we get. ρj. Nρj i = δ D(i),j.

THE THEOREM OF THE HIGHEST WEIGHT

STRONGLY MULTIPLICITY FREE MODULES FOR LIE ALGEBRAS AND QUANTUM GROUPS

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

Casimir elements for classical Lie algebras. and affine Kac Moody algebras

A REMARK ON SIMPLICITY OF VERTEX ALGEBRAS AND LIE CONFORMAL ALGEBRAS

Radical Rings, Quantum Groups, and Theory of the Unknot

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

The Cartan Decomposition of a Complex Semisimple Lie Algebra

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

COLOR LIE RINGS AND PBW DEFORMATIONS OF SKEW GROUP ALGEBRAS

NONCOMMUTATIVE POLYNOMIAL EQUATIONS. Edward S. Letzter. Introduction

How to sharpen a tridiagonal pair

A classification of sharp tridiagonal pairs. Tatsuro Ito, Kazumasa Nomura, Paul Terwilliger

Leonard triples of q-racah type

THE CLASSICAL HOM-YANG-BAXTER EQUATION AND HOM-LIE BIALGEBRAS. Donald Yau

SOLVABLE FUSION CATEGORIES AND A CATEGORICAL BURNSIDE S THEOREM

Let us recall in a nutshell the definition of some important algebraic structure, increasingly more refined than that of group.

REPRESENTATION THEORY WEEK 9

Honors Algebra 4, MATH 371 Winter 2010 Assignment 4 Due Wednesday, February 17 at 08:35

THE SEMISIMPLE SUBALGEBRAS OF EXCEPTIONAL LIE ALGEBRAS

Math 535a Homework 5

INTRODUCTION TO LIE ALGEBRAS. LECTURE 7.

Representation theory through the lens of categorical actions: part III

INTRODUCTION TO LIE ALGEBRAS. LECTURE 10.

Weeks 6 and 7. November 24, 2013

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

Introduction to the Yang-Baxter Equation with Open Problems

Tridiagonal pairs of q-racah type and the quantum enveloping algebra U q (sl 2 )

ALGEBRA QUALIFYING EXAM, FALL 2017: SOLUTIONS

Chapter 2 The Group U(1) and its Representations

Math 250: Higher Algebra Representations of finite groups

A Little Beyond: Linear Algebra

Math 121 Homework 4: Notes on Selected Problems

LECTURE 3: TENSORING WITH FINITE DIMENSIONAL MODULES IN CATEGORY O

Structure of rings. Chapter Algebras

Tridiagonal pairs in algebraic graph theory

2.4 Root space decomposition

A PROOF OF BOREL-WEIL-BOTT THEOREM

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

MAT 445/ INTRODUCTION TO REPRESENTATION THEORY

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

NOTES ON SPLITTING FIELDS

Subquotients of Minimal Principal Series

NOTES ON RESTRICTED INVERSE LIMITS OF CATEGORIES

LIE ALGEBRA PREDERIVATIONS AND STRONGLY NILPOTENT LIE ALGEBRAS

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

In these chapter 2A notes write vectors in boldface to reduce the ambiguity of the notation.

A Quantum Group in the Yang-Baxter Algebra

FINITE GROUPS OF LIE TYPE AND THEIR

Exercises on chapter 4

Bidiagonal pairs, Tridiagonal pairs, Lie algebras, and Quantum Groups

Character tables for some small groups

Math 451, 01, Exam #2 Answer Key

Classification of root systems

On exceptional completions of symmetric varieties

Qualifying Exam Syllabus and Transcript

Coloured Kac-Moody algebras, Part I

Introduction to Quantum Group Theory

Algebras. Chapter Definition

REPRESENTATION THEORY OF S n

Hopf Algebras. Zajj Daugherty. March 6, 2012

Quivers. Virginia, Lonardo, Tiago and Eloy UNICAMP. 28 July 2006

Representation Theory

Transcription:

LECTURE 13: REPRESENTATIONS OF U q (g) AND R-MATRICES IVAN LOSEV Introduction In this lecture we study the representation theory of U q (g) when q is not a root of 1. In Section 1, we classify the finite dimensional irreducible representations of U := U q (sl 2 ), sketch the proof of complete reducibility and explain what happens for a general g. As we have seen in the previous lecture, the obvious isomorphism σ : v 1 v 2 v 2 v 1 : V 1 V 2 V 2 V 1 is not U-linear. However, one can find an element R in a suitable completion of U U such that R σ : V 1 V 2 V 2 V 1 is a U-module isomorphism. This will be done in Section 2. This construction is of importance for knot invariants, as will be explained in the next lecture. 1. Representation theory of U q (g), I Recall that, as an algebra, U is given by generators E, F, K ±1 and relations KEK 1 = q 2 E, KF K 1 = q 2 F, EF F E = K K 1 q q 1. 1.1. Classification of the irreducibles. Let us start by producing some examples of the irreducible representations of U. Example 1.1. Let us classify the one-dimensional representations. We have KEK 1 = q 2 E, KF K 1 = q 2 F. Since q ±1, it follows that E, F act by 0. So K K 1 = (q q 1 )(EF F E) acts by 0. We deduce that K acts by ±1. Both choice give representations. Of course, the representation, where K acts by 1, E, F act by 0, is the trivial representation, one that is given by the counit η. ( ) ( ) ( ) 0 1 0 0 q 0 Example 1.2. The assignment E, F, K 0 0 1 0 0 q 1 gives rise to a two-dimensional representation of U. This is a so called tautological representation. Lemma 1.3. Suppose q is not a root of 1. Let V be a finite dimensional U-module. Then the elements E, F act on V nilpotently. Proof. For α C, let V α denote the generalized eigenspace for K with eigenvalue α. It is easy to show that EV α V q 2 α. Since q is not a root of 1, we see that all numbers q 2n α are different. It follows that E acts nilpotently. For the same reasons, F acts nilpotently. Now the classification of Irr fin (U) works in the same way as for U(sl 2 ). Namely, we have the subalgebra U q (b) U spanned by K, E, it has a basis K l E m for l Z, m Z 0. The algebra U is a free right module over U q (b) with basis F k, k Z 0. Then, for α C, we can form the Verma module q (α) := U Uq(b) C α, where K acts on C α by α and E acts by 1

2 IVAN LOSEV 0. The U-module q (α) has basis v k := F k v α, k Z 0. The action of F, K, E in this basis is given by F v k = v k+1, Kv k = q 2k αv k, Ev k = [k] q αq 1 k α 1 q k 1 q q 1 v k 1. The third equation follows from (1.1) [E, F n ] = [n] q F n 1 Kq1 n K 1 q n 1 q q 1. Theorem 1.4. Suppose q is not a root of 1. Then the finite dimensional irreducible U- modules are in one-to-one correspondence with the set {±q n } n Z 0. The module L(±q n ), the irreducible quotient of q (±q n ), has basis u 0,..., u n, where the action of the generators is given by Ku i = ±q n 2i u i, F u i = [n i] q u i+1, Eu i = ±[i] q u i 1. Proof. As in the proof for U, we need to understand when q (α) has a proper quotient. This is only possible when Ev k = 0. The number [k] q = qk q k is never zero thanks to our q q 1 assumption that q is not a root of 1. So Ev k = 0 if and only if αq 1 k α 1 q k 1 q q 1 = 0 α 2 = q 2(k 1) α = ±q k 1. In this case, we have a k-dimensional quotient of q (α). Thanks to the standard universal property of q (α), every simple module is a quotient of one of q (α) (and it is easy to see that α is recovered uniquely from the simple module). We set u k := v k /[n k] q!. Example 1.5. The modules from Example 1.1 are L(±1). The module from Example 1.2 is L(q). Note that L( q n ) = L( 1) L(q n ). Thanks to this, one usually only studies the modules L(q n ). 1.2. Complete reducibility. We can introduce the quantum Casimir element C = F E + Kq + K 1 q 1 (q q 1 ) 2 U. One can show (this is a part of the homework) that this element is central in U. Theorem 1.6. Let q be not a root of 1. Then any finite dimensional U-module is completely reducible. Proof. For v α q (α), we get Cv α = αq+α 1 q 1 v (q q 1 ) 2 α. In particular, we see that all scalars of the action of C on L(±q n ) are distinct. As in the case of U(sl 2 ), we only need to prove that L(±q n ) has no self-extensions. This is done similarly to that case. 1.3. General U q (g). We assume that q is not a root of 1. Let g be a semisimple Lie algebra with generators e i, h i, f i, i = 1,..., n. Let us explain the classification of finite dimensional irreducible U q (g)-modules. Theorem 1.7. Any finite dimensional representation of U q (g) is completely reducible. Let us explain how to classify the finite dimensional irreducible representations. First, let us consider the one-dimensional representations. On such a representation, all elements E i, F i act by 0, and the elements K i act by ±1. So for κ {±1} n, we have the one-dimensional module L(κ), where K i acts by κ i.

LECTURE 13: REPRESENTATIONS OF U q (g) AND R-MATRICES 3 Modulo these 2 n modules, the finite dimensional representation theory of U q (g) looks just like the representation theory of g. Recall that P + denotes the set of dominant weights. Theorem 1.8. There is a bijection {±1} n P + Irr fin (U q (g)) that sends (κ, λ) to a unique finite dimensional irreducible module L(κq λ ) that has a highest vector v λ such that E i v λ = 0, K i v λ = κ i q λ(α i ) v λ. We do not provide a proof. We note that this description implies L(κq λ ) = L(κ) L(q λ ). To finish let us point out that one can define the notion of a character of L(q λ ) in a natural way. The character is given by the Weyl character formula. 2. Universal R-matrix 2.1. Three coproducts. Recall the coproduct : U U 2 given on the generators by (K) = K K, (E) = E 1 + K E, (F ) = F K 1 + 1 F. The opposite coproduct op := σ, where σ denotes the permutation of the tensor factors is then given by op (K) = K K, op (E) = E K + 1 E, op (F ) = F 1 + K 1 F. We want to find an element R U 2 (in fact, we will have to use a completion) such that R op (u) = (u)r. If V 1, V 2 are U-modules, then the map R V1,V 2 σ : V 1 V 2 V 2 V 1, v 1 v 2 R V1,V 2 (v 2 v 1 ) is an isomorphism of U-modules. In order to produce R, we will need the third coproduct,, given by (K) = K K, (E) = E 1 + K 1 E, (F ) = F K + 1 F. This coproduct is obtained from by a twist with an anti-involution τ of U q given by τ(k) = K 1, τ(e) = E, τ(f ) = F. Then (u) = τ τ( (τ(u))). This equality implies that also gives a coassociative coproduct on U (or we can check this directly). We will produce R as a product ΘΨ with Θ 1 (u)θ = (u) and Ψ 1 (u)ψ = op (u). 2.2. Construction of Θ. Let us construct Θ. This will be an infinite sum of the form a nf n E n, where we will find the coefficients a n from Θ (E) = (E)Θ. Θ (E) = (E)Θ ( a n F n E n )(E 1 + K 1 E) = (E 1 + K E)( a n F n E n ) a n (F n E E n + F n K 1 E n+1 ) = a n [E, F n ] E n = a n (EF n E n + KF n E n+1 ) a n (F n K 1 KF n ) E n+1 a n+1 [E, F n+1 ] = a n (F n K 1 KF n ). By (1.1), we get [E, F n+1 ] = [n + 1] q F n Kq n K 1 q n q q 1. On the other hand F n K 1 KF n = F n (K 1 q 2n K). Therefore a n+1 [n + 1] q F n Kq n K 1 q n q q 1 = a n F n (K 1 q 2n K) a n+1 = (q 1 q)q n [n + 1] q a n.

4 IVAN LOSEV We conclude that (2.1) Θ = (q 1 q) n q n(n 1)/2 F n E n. [n] q! One can show that Θ (K) = (K)Θ (this is almost immediate) and that Θ (F ) = (F )Θ (this is a computation very similar to what was done above). Example 2.1. Let us compute Θ V V, where V = L(q). We have Θ V V = 1+(q 1 q)f E. Let us write this operator as a matrix. Let v 1, v 2 (resp., v 1, v 2) be the natural basis in the first and in the second factor. Then in the basis v 1 v 1, v 1 v 2, v 2 v 1, v 2 v 2 we get the 1 0 0 0 following matrix of Θ: 0 1 0 0 0 q 1 q 1 0. 0 0 0 1 2.3. Construction of Ψ. An element Ψ satisfying Ψ op (u) = (u)ψ will depend only on K. But it is not expressed in terms of algebraic functions in q, K (we have to use log s). So we will just define Ψ V2 V 1 : V 2 V 1 V 2 V 1, where K acts on V 2, V 1 with powers of q (we can also define Ψ as an element of the idempotent completion of U U, where we add infinite sums λ,µ a λµπ λ π µ, where λ, µ {±q n } and π λ acts on a U-module V as the projection to V λ ). Let Ψ V2 V 1 (v n u m ) = ψ(n, m)v n u m, where v n V 2, u m V 1 are K-eigenvectors with eigenvalues q n, q m, and ψ is a function we need to determine. We have Ψ op (E)(v n u m ) = Ψ(E K + 1 E)(v n u m ) = Ψ(q m Ev n u m + v n Eu m ) = = q m ψ(n + 2, m)ev n u m + ψ(n, m + 2)v n Eu m. (E)Ψ(v n u m ) = ψ(n, m)(k 1 E + E 1)(v n u m ) = = ψ(n, m)(ev n u m + q n v n Eu m ). Ψ op (E) = (E)Ψ ψ(n + 2, m) = q m ψ(n, m) and ψ(n, m + 2) = q n ψ(n, m). Conversely, for any ψ satisfying the conditions above, we have Ψ op (u) = (u)ψ. Indeed, for u = K this holds for any ψ and for u = F the conditions on ψ are equivalent to what we had above. Note that to recover ψ we just need to specify the values ψ(α, β) when α, β { 1, 0}. Example 2.2. Let us consider the case when V 1 = V 2 = V = L(q). We set ψ( 1, 1) = q. Then ψ(1, 1) = ψ( 1, 1) = 1, ψ(1, 1) = q 1. In the same basis as in Example 2.1, we get Ψ V V = diag(q 1 ). So R V V = Θ V V Ψ V V = q 1 0 0 0 0 1 0 0 0 q 1 q 1 0 0 0 0 q 1, R V V σ = q 1 0 0 0 0 0 1 0 0 1 q 1 q 0 0 0 0 q 1 Of course, it is easy to check directly that R σ : V V V V is U-linear. This is the case that we will mostly need. But for higher dimensional V 1, V 2 constructing an isomorphism by hand is very hard. 2.4. Yang-Baxter equation. We have constructed an isomorphism R V2 V 1 σ : V 1 V 2 V 2 V 1. Now pick three U-modules, V 1, V 2, V 3. We can produce two isomorphisms V 1 V 2 V 3 V 3 V 2 V 1 by using the isomorphisms of the form R?? σ (note that applying this.

LECTURE 13: REPRESENTATIONS OF U q (g) AND R-MATRICES 5 to V 1 and V 3 and inserting id V2 τ?,? for R?? σ. in the middle does not give a U-linear map). Let us write id V2 τ V1,V 3 V 2 V 1 V 3 V 2 V 3 V 1 τ V1,V 2 id V3 τ V2,V 3 id V1 V 1 V 2 V 3 V 3 V 2 V 1 id V1 τ V2,V 3 id V3 τ V1,V 2 τ V 1 V 3 V v1,v 3 id V2 2 V 3 V 1 V 2 We want this diagram to commute (the hexagon axiom). Note that the top isomorphism is (R 23 R 13 R 12 ) V3 V 2 V 1 σ 13, while the bottom isomorphism is (R 12 R 13 R 23 ) V3 V 2 V 1 σ 13. Here the notation is as follows. We write R 12 for R 1 U 3 (where we put to indicate that we take a completion) and R 23 for 1 R. The notation R 13 means i R1 i 1 R 2 i, where R = i R1 i R 2 i. We write σ 13 for the permutation u v w w v u. So the hexagon diagram is commutative provided (2.2) R 12 R 13 R 23 = R 23 R 13 R 12. This is the quantum Yang-Baxter equation (shortly, QYBE) that first appeared in Statistical Physics and was an initial motivation for introducing quantum groups. Theorem 2.3. QYBE holds for R U U. We omit the proof. 2.5. Braid group representation. There is an alternative way to view QYBE when we are dealing with the n-fold tensor product of a single U-module V. Define the U-module automorphism τ i,i+1 of V n as id i 1 V τ V,V id n 1 i (we permute the ith and i+1th copies). The hexagon axiom gives τ i,i+1 τ i+1,i+2 τ i,i+1 = τ i+1,i+2 τ i,i+1 τ i+1,i+2 for all i {1,..., n 1}. Clearly, τ i,i+1 τ j,j+1 = τ j,j+1 τ i,i+1 if i j > 1. Definition 2.4. The braid group B n is the group with generators T 1,..., T n 1 and relations T i T j = T j T i when i j > 1 and T i T i+1 T i = T i+1 T i T i+1. So we have a representation of B n in V n given by T i τ i,i+1. When V = L(q), one can verify this directly without referring to Theorem 2.3. Now note that τ = τ 1,2 End(V V ) satisfies τ 2 = 1 + (q 1 q)τ. In other words, the action of CB n on V n factors through the Hecke algebra H q 1(n). Remark 2.5. Let g be a finite dimensional semisimple Lie algebra so that we can form the quantum group U q (g). We still have the universal R-matrix R U q (g) U q (g) satisfying QYBE and such that R V2 V 1 σ : V 1 V 2 V 2 V 1 is an isomorphism of U q (g)-modules. It was constructed by Drinfeld.