Unformatted text preview:

55 1.25. The Quantum Group Uq (sl2). Let us consider the Lie algebra sl2. Recall that there is a basis h, e, f ∈ sl2 such that [h, e] = 2e, [h, f] = −2f, [e, f] = h. This motivates the following definition. Definition 1.25.1. Let q ∈ k, q =� ±1. The quantum group U (sl2) is qgenerated by elements E, F and an invertible element K with defining relations KEK−1 = q 2E, KFK−1 = q−2F, [E, F] = K − K−1 . q − q−1 Theorem 1.25.2. There exists a unique Hopf algebra structure on Uq (sl2), given by • Δ(K) = K ⊗ K (thus K is a grouplike element); • Δ(E) = E ⊗ K + 1 ⊗ E; • Δ(F) = F ⊗ 1 + K−1 ⊗ F (thus E, F are skew-primitive ele-ments). Exercise 1.25.3. Prove Theorem 1.25.2. Remark 1.25.4. Heuristically, K = qh, and thus K − K−1 lim = h. q 1→q − q−1 So in the limit q 1, the relations of Uq (sl2) degenerate into the →relations of U(sl2), and thus Uq (sl2) should be viewed as a Hopf algebra deformation of the enveloping algebra U(sl2). In fact, one can make this heuristic idea into a precise statement, see e.g. [K]. If q is a root of unity, one can also define a finite dimensional version of Uq (sl2). Namely, assume that the order of q is an odd number �. Let uq (sl2) be the quotient of Uq (sl2) by the additional relations E� = F� = K� − 1 = 0. Then it is easy to show that uq (sl2) is a Hopf algebra (with the co-product inherited from Uq (sl2)). This Hopf algebra is called the small quantum group attached to sl2. 1.26. The quantum group Uq (g). The example of the previous sub-section can be generalized to the case of any simple Lie algebra. Namely, let g be a simple Lie algebra of rank r, and let A = (aij ) be its Cartan matrix. Recall that there exist unique relatively prime positive integers di, i = 1, . . . r such that diaij = dj aji. Let q ∈ k, q =� ±1. Definition 1.26.1. • The q-analog of n is nq − q−n [n]q = . q − q−1� 56 • The q-analog of the factorial is n[n]q ! = � [l]q =(q − q−1) · · · (qn − q−n) . (q − q−1)n l=1 Definition 1.26.2. The quantum group Uq(g) is generated by elements Ei, Fi and invertible elements Ki, with defining relations KiKj = Kj Ki, KiEj Ki−1 = q aij Ej , KiFj Ki−1 = q−aij Fj , Kdi − K−di [Ei, Fj ] = δiji i , and the q-Serre relations: qdi − q−di 1−aij(1.26.1) � [l]q![1(−−a1)ijl − l]q! Ei 1−aij −lEj Eil = 0, i =� j l=0 i i and (1.26.2) 1−aij[l]q![1(−−a1)ijl − l]q! Fi 1−aij −lFj Fli = 0, i =� j. l=0 i i More generally, the same definition can be made for any symmetriz-able Kac-Moody algebra g. Theorem 1.26.3. (see e.g. [CP]) There exists a unique Hopf algebra structure on Uq (g), given by • Δ(Ki) = Ki ⊗ Ki; • Δ(Ei) = Ei ⊗ Ki + 1 ⊗ Ei; Δ(Fi) = Fi ⊗ 1 + Ki−1 ⊗ Fi. • Remark 1.26.4. Similarly to the case of sl2, in the limit q 1, these →relations degenerate into the relations for U(g), so Uq(g) should be viewed as a Hopf algebra deformation of the enveloping algebra U(g). 1.27. Categorical meaning of skew-primitive elements. We have seen that many interesting Hopf algebras contain nontrivial skew-primitive elements. In fact, the notion of a skew-primitive element has a cate-gorical meaning. Namely, we have the following proposition. Proposition 1.27.1. Let g, h be grouplike elements of a coalgebra C, and Primh,g(C) be the space of skew-primitive elements of type h, g. Then the space Primh,g(H)/k(h − g) is naturally isomorphic to Ext1(g, h), where g, h are regarded as 1-dimensional right C-comodules. Proof. Let V be a 2-dimensional H-comodule, such that we have an exact sequence 0 h V g 0.→ → → →� �57 Then V has a basis v0, v1 such that π(v0) = v0 ⊗ h, π(v1) = v1 ⊗ x + v0 ⊗ g. The condition that this is a comodule yields that x is a skew-primitive element of type (h, g). So any extension defines a skew-primitive el-ement and vice versa. Also, we can change the basis by v0 v0,→ v1 v1 + λv0, which modifies x by adding a trivial skew-primitive →element. This implies the result. � Example 1.27.2. The category C of finite dimensional comodules over uq (sl2) is an example of a finite tensor category in which there are objects V such that V ∗∗ is not isomorphic to V . Namely, in this category, the functor V �→ V ∗∗ is defined by the squared antipode S2 , which is conjugation by K: S2(x) = KxK−1 . Now, we have Ext1(K, 1) = Y = �E, F K�, a 2-dimensional space. The set of iso-morphism classes of nontrivial extensions of K by 1 is therefore the projective line PY . The operator of conjugation by K acts on Y with eigenvalues q2, q−2, hence nontrivially on PY . Thus for a generic ex-tension V , the object V ∗∗ is not isomorphic to V . However, note that some power of the functor ∗∗ on C is isomorphic (in fact, monoidally) to the identity functor (namely, this power is the order of q). We will later show that this property holds in any finite tensor category. Note also that in the category C, V ∗∗ ∼= V if V is simple. This clearly has to be the case in any tensor category where all simple objects are invertible. We will also show (see Proposition 1.41.1 below) that this is the case in any semisimple tensor category. An example of a tensor category in which V ∗∗ is not always isomorphic to V even for simple V is the category of finite dimensional representations of the the Yangian H = Y (g) of a simple complex Lie algebra g, see [CP, 12.1]. Namely, for any finite dimensional representation V of H and any complex number z one can define the shifted representation V (z) (such that V (0) = V ). Then V ∗∗∼V (2h∨), where h∨ is the dual = Coxeter number of g, see [CP, p.384]. If V is a non-trivial irreducible finite dimensional representation then V (z)= V for z = 0. Thus, ∼= V . Moreover, we see that the functor ∗∗ has infinite order even when restricted to simple objects of C. However, the representation category of the Yangian is infinite, and the answer to the following question is unknown to us. V ∗∗ ∼�Question 1.27.3. Does there exist a finite tensor category, in which there is a simple object V such that V ∗∗ is not isomorphic to V ? (The answer is


View Full Document

MIT 18 769 - Lecture Notes

Download Lecture Notes
Our administrator received your request to download this document. We will send you the file to your email shortly.
Loading Unlocking...
Login

Join to view Lecture Notes and access 3M+ class-specific study document.

or
We will never post anything without your permission.
Don't have an account?
Sign Up

Join to view Lecture Notes 2 2 and access 3M+ class-specific study document.

or

By creating an account you agree to our Privacy Policy and Terms Of Use

Already a member?