Arxiv:1707.09140V1 [Math.QA]

Home , Quantum group

arXiv:1707.09140v1 [math.QA] 28 Jul 2017 lsto;etxoeao ersnain;nt dimens representations;finite operator alisation;Vertex ueagba U superalgebras ueagba a h ako rnedraiain 6 ]e 7] [6, U realisations of Drinfeld of lack the was superalgebras eogn otetresre ie n(.) h rnedre Drinfeld The (2.1). in a given quantum series three the to belonging U atwihhsln enkon[26]. known been long has which fact npriua htfiiedmninlrpeettoso th of representations U dimensional group finite that particular in vlainrpeettoso h nwse unu a quantum untwisted the re irreducible of dimensional representations finite evaluation the roots; real isotropic ihs egtrpeettoswr eludrto 3]f [31] understood well a were representations weight highest in[0 se[2 o eiwo al eut) Represent results). early a of quantum review of a for classes [32] (see [30] gian i ueagba 1 6 2 5 7 8 5,adthe and 35], 28, 27, 25, 22, dimens 16, rep finite the [1, with on superalgebras associated 90s Lie the supergroups sta in quantum and work of 29] extensive was 24, theory There [13, topology 33]. dimensional [2, applicatio low chanics important have as which such 21], areas 20, of [2, 90s early the in ffi q e od n phrases. and words Key 2010 n ftepolm idrn rgesi h td fquantu of study the in progress hindering problems the of One unu uegop n unu a quantum and supergroups Quantum ( esprlersascae ihtea the with associated superalgebras ne gl q ( ( m gl ahmtc ujc Classification. Subject Mathematics osp ain n lsiytefiiedmninlirdcberep irreducible dimensional U finite w the highest classify integrable and irreducible tations 1 level the for structions A na an unu orsodne ewe a between correspondences quantum eoe nerirpapers. earlier in veloped | ( n q m q bstract ( ) ( gl (1 ETXOEAO ERSNAIN OF REPRESENTATIONS OPERATOR VERTEX ffi g (1) | ffi n .Ti ae seta s fteDifl elsto o U for realisation Drinfeld the of use essential makes This ). ( | 2 esprlerswl eue na seta a nti pape this in way essential an in used be will superalgebras ne ) eetoogl rae nrcn er 1,2] ementio We 23]. [17, years recent in treated thoroughly were ) eKcMoysuperalgebra Kac-Moody ne m (1) n UNU FIESUPERALGEBRAS AFFINE QUANTUM ) | n e U Let . (1) 2] hsi etfid[9 eetyfrteqatma quantum the for recently [19] rectified is This [21]. ) q )allf oeauto ersnain fU of representations evaluation to lift all )) , ( g sl soitdwt h a the with associated ) (1 | ffi 2 q ( n g a esprlerswr losuid h integrable the studied: also were superalgebras ne ) ffi eteqatma quantum the be ) IGX N .B ZHANG B. R. AND XU YING (2) esprlersqatma superalgebras;quantum ne and .I 1. osp (2 ntroduction | 2 n 1 ) g ffi (2) 17B37,17B69. hc eog otetreseries three the to belongs which ffi eKcMoysprlers de- superalgebras, Kac-Moody ne edvlpvre prtrcon- operator vertex develop We . ffi esprler soitdwith associated superalgebra ne ffi esprlerswr introduced were superalgebras ne ffi eKcMoysuperalgebras Kac-Moody ne eLesprlerswithout superalgebras Lie ne oa reuil representations. irreducible ional ffi esprlersDifl re- superalgebras;Drinfeld ne ih represen- eight eettosof resentations gl ffi rsnain and presentations unu super- quantum e cp o h case the for xcept ( m esuperalgebra ne lstoso the of alisations rtequantum the or si number a in ns toso some of ations q | q n ( ( g ue Yan- super ) gl oa simple ional ,and ), itclme- tistical resentation ( m a m | n ) (1) ffi ffi ,a ), ne ne r. n g 2 YINGXUANDR.B.ZHANG

Let g be an affine Kac-Moody superalgebra given in (2.1). We will construct vertex operator representations and classify the finite dimensional irreducible representations of Uq(g). The main results are given in Theorem 3.1 (and its variations in Sections 3.3 and 3.4) and Theorem 4.2. Finite dimensional representations of quantum affine superalgebras play a crucial role in constructing soluble models of Yang-Baxter type [2]; vertex operator representations have a direct connection with conformal field theory. Results of this paper are potentially applicable to mathematical physics. The vertex operator representations of Uq(g) constructed here are realised on quantum Fock spaces; they are level 1 irreducible integrable highest weight representations relative to the standard triangular decomposition. Recall that there exists a well defined notion of integrable highest weight representations [31] for Uq(g) with g belonging to (2.1), even though this is not true for most of the other quantum affine superalgebras. We point out that our construction here is heavily influenced by work of Jing[8, 9] onthe vertex operator representations of ordinary quantum affine algebras. The finite dimensional irreducible representations of Uq(g) are shown to be level 0 highest weight representations relative to another triangular decomposition. We obtain the necessary and sufficient conditions on the highest weights for irreducible highest weight representations to be finite dimensional. The conditions are described in terms of Drinfelds highest weight polynomials. The proof of the classification theorem (Theorem 4.2) makes essential use of results of Chari and Pressley in [3, 4, 5] on ordinary quantum affine algebras. Another important ingredient in the proof is quantum correspondences between affine Lie superalgebras developed in [18, 31]. Some of the quantum correspondences appear as S-dualities in string theory in work of Mikhaylov and Witten [15].

2. Drinfeld realisation of quantum affine superalgebras Consider the following affine Kac-Moody superalgebras osp(1 2n)(1), sl(1 2n)(2), osp(2 2n)(2), n 1. (2.1) | | | ≥ Here the notation is as in [11], with osp(1 2n)(1) denoting the untwisted affine Lie superalgebra of osp(1 2n), and osp(2| 2n)(2) and sl(1 2n)(2) the twisted (by order two automorphisms)| affine Lie superalgebras| of| osp(2 2n) and sl(1 2n) respectively. The Dynkin diagrams of the affine Lie superalgebras| are as| follows.

osp(1 2n)(1) ✐ > ✐ ... ✐ > ② | α0 α1 αn

α0 ✐ ❅ sl(1 2n)(2) ✐ ... ✐ > ②

| ✐ αn α1 VERTEXOPERATORREPRESENTATIONS 3

osp(2 2n)(2) ②< ✐ ... ✐ > ② | α0 αn More details on their root systems can be found in [11] (also see [18, 31]). Note in particular that these affine Lie superalgebras do not have isotropic odd roots. Let g be an affine Lie superalgebra in (2.1). We denote by A = (ai j) its Cartan matrix, which is realised in terms of the set of simple roots Π = 2(αi,α j) αi i = 0, 1, 2,..., n with ai j = . A simple root αi is odd if the (αi,αi) corresponding{ | node in} the Dynkin diagram is black, and is even otherwise. Let q1/2 be an indeterminate, and let C(q1/2) be the field of rational func- k k 1/2 = z z− = N = tions in q . Denote [k]z z −z 1 , [N]z! i=1[i]z with [0]z! 1, and − − (α ,α ) N [N]z! i i Q = . Set qi = q 2 for all αi Π. k [N k]z![k]z! " #z − ∈ Definition 2.1 ([31]). Assume that g is one of the affine Lie superalgebras osp(1 2n)(1), sl(1 2n)(2) and osp(2 2n)(2). The quantum affine superalgebra | | | 1/2 Uq(g) is an associative superalgebra over C(q ) with identity generated by 1/2 the homogeneous elements e , f , k± (0 i n), where e , f are odd for i i i ≤ ≤ j j odd simple roots α j, and the other generators are even, with the following defining relations: 1/2 1/2 = 1/2 1/2 = 1/2 1/2 = 1/2 1/2 ki± ki∓ ki∓ ki± 1, ki k j k j ki , 1/2 1/2 aij/2 1/2 1/2 aij/2 = = − ki± e jki∓ qi e j, ki± f jki∓ qi f j, 1 ki k− e f ( 1)[ei][ f j] f e = δ − i , i, j, (2.2) i j − − j i i j q q 1 ∀ i − i− 1 aij 1 aij = − = , Adei − (e j) Ad fi ( f j) 0, if i j, = 1/2 2 where ki± ki± , Adei (x) and Ad fi (x) are respectively defined by = [ei][x] 1 Adei (x) ei x ( 1) ki xki− ei, − − (2.3) [ fi][x] 1 Ad (x) = f x ( 1) k− xk f . fi i − − i i i For any x, y U (g) and a C(q1/2), we shall write ∈ q ∈ [x, y] = xy ( 1)[x][y]ayx, [x, y] = [x, y] . a − − 1 = a = a Then Adei (e j) [ei, e j] ij and Ad fi ( f j) [ fi, f j] ij . qi qi 2.1. Drinfeld realisations. In a recent paper [19], we constructed the Drin- feld realisations of the quantum affine superalgebras Uq(g). To describe the Drinfeld realisations, we let = (i, r) 1 i n, r Z . Define the set g (1)I { | (2)≤ ≤ ∈ } I by g := if g = osp(1 2n) or sl(1 2n) ; and g := (i, 2r + 1) 1 I I | (2) | I I\{ | ≤ i < n, r Z if g = osp(2 2n) . Let ∗ = (i, s) g s , 0 . Also, for any ∈ } | Ig { ∈I | } expression f (xr1 ,..., xrk ) in xr1 ,..., xrk , we use symr1,...,rk f (xr1 ,..., xrk ) to denote σ f (xσ(r1),..., xσ(rk)), where the sum is over the permutation group of the set r , r ,..., r . P { 1 2 k} 4 YINGXUANDR.B.ZHANG

Proposition 2.2 (Drinfeld realisation [19]). For g = osp(1 2n)(1), sl(1 2n)(2) or osp(2 2n)(2), the quantum affine superalgebra U (g) is generated| by| | q 1/2 1/2 ξ± , κ , γ± , γ± , for (i, r) g, (i, s) ∗, 1 i n, (2.4) i,r i,s i ∈I ∈Ig ≤ ≤ + where ξn,r,ξn−,r are odd and the other generators are even, with the following defining relations 1/2 1/2 1/2 (1) γ± are central, and γ γ− = 1, 1/2 1/2 = 1/2 1/2 = 1/2 1/2 = 1/2 1/2 γi± γi∓ γi∓ γi± 1, γi γ j γ j γi , r r ui, j,r(γ γ− ) [κi,r, κ j,s] = δr+s, − , (2.5) 0 r(q q 1)(q q 1) i − i− j − −j r /2 1/2 1/2 aij/2 ui, j,rγ∓| | ± ∓ = ± = γi ξ±j,rγi qi ξ±j,r, [κi,r,ξ±j,s] 1 ξ±j,s+r, (2.6) r(qi qi− ) r s + s r − −2 −2 + γ κî,r+s γ κî−,r+s [ξ ,ξ− ] = δ − , (2.7) i,r j,s i, j q q 1 i − i− where the ui, j,r are given in (2.10); and κî±, r are defined by ±

+ r 1 r κˆ u− = γ exp (q q− ) κ u− , i,r i  i − i i,r  Xr Z  Xr>0  ∈   (2.8)   r = 1 1 r κˆi−, ru γi− exp (qi− qi) κi, ru , −  − −  Xr Z  Xr>0  ∈   2   1 = 1/2   in which γi± γi± ; (2) Serre relations (A) (i, j) , (n, n), and if g , osp(1 2n)(1), | a + a = [ξi±,r θ,ξ±j,s]q ij [ξ±j,s θ,ξi±,r]q ji 0, (2.9) ± i ± j where θ = 2 if g = osp(2 2n)(2) and 1 if g = sl(1 2n)(2); (B) n , i , j, ℓ = 1 a , | | − i j ℓ k ℓ symr ,...,r ( 1) ξ± ...ξ± ξ± ξ± + ...ξ± = 0; 1 ℓ − "k# i,r1 i,rk j,s i,rk 1 i,rℓ Xk=0 qi (C) n = i , j, ℓ = 1 a , and if g , sl(1 2n)(2), j < n 1, − i j | − ℓ ℓ symr ,...,r ξ± ...ξ± ξ± ξ± + ...ξ± = 0, 1 ℓ "k# i,r1 i,rk j,s i,rk 1 i,rℓ Xk=0 q˜i 1/2 where q˜i = ( 1) qi; (D) for g = osp(1−2n)(1), | sym ξ ,ξ 2 ,ξ 4 = r1,r2,r3 [[ n±,r1 1 n±,r2 ]qn n±,r3 ]qn 0; ± 4 sym ξ± ,ξ± 2 q ξ± ,ξ± 6 = r,s [ n,r 2 n,s]qn n[ n,r 1 n,s 1]qn− 0; ± − ± ± VERTEXOPERATORREPRESENTATIONS 5

2 2 4 symr,s qn[[ξn±,r 1,ξn±,s]qn ,ξn± 1,k]qn ± − 2 2 + + 2 = (qn qn− )[[ξn± 1,k,ξn±,r 1]qn ,ξn±,s] 0; − ± (E) for g = osp(2 2n)(2), | 2 = symr,s[[ξn± 1,k,ξn±,r 1]qn ,ξn±,s] 0. − ± In the above, the scalars u (r Z,i, j = 1, 2,..., n) are defined by i, j,r ∈ 4r 4r 2r + 2r = = (1) = qn qn− qn qn− , if i j n, osp(1 2n) : ui, j,r raij− ra−ij | q q− , otherwise ;  i − i ( 1)r(q2r q 2r), if i = j = n, (2) =  n n− osp(2 2n) : ui, j,r − − raij/2 raij/2 (2.10) | (1 + ( 1)r)(q q− ), otherwise ;  − i − i  r q2r q 2r , if i = j = n, (2) = ( 1) ( n n− ) sl(1 2n) : ui, j,r −raij ra−ij | q q− , otherwise .  i − i Remark 2.3. The defining relations given above are super analogues of those in the Drinfeld realisations of quantum affine algebras given in [6]. The relations in [6] have slightly different form, but are equivalent to the original relations given by Drinfeld [7]. They are more convenient to use for proving the equivalence of the Drinfeld-Jimbo presentation and Drinfeld realisation. For the purpose of studying vertex operator representations, it is more convenient to present the Drinfeld realisation in terms of currents. For this, we will need the calculus of formal distributions familiar in the theory of vertex operators algebras. Particularly useful is the formal distribution = r δ(z) r Z z , which has the following property: for any formal distribu- ∈ w = w tion f (zP, w) in the two variables z and w, we have f (z, w)δ( z ) f (z, z)δ( z ). A detailed treatment of formal distributions can be found in, e.g., [12]. Given any pair of simple roots αi and α j of g, we let n gi j(z) = gi j,nz , (2.11) Xn 0 ≥ be the Taylor series expansion at z = 0 of fi j(z)/hi j(z), where

2(αi,α j) (αi,α j) = = (1) (q z 1)(q− z 1), i j n, osp(1 2n) : fi j(z) = − − | q(αi,α j)z 1, otherwise;  −  2(αi,α j) (αi,α j) (z q )(z q− ), i = j = n, hi j(z) = − − z q(αi,α j), otherwise;  −  (αi,α j) = = (2) ( q) z 1, i j n, osp(2 2n) : fi j(z) = − − |  q(αi,α j)/2z 1 ( q)(αi,α j)/2z 1 , otherwise;  − − −  z ( q)(αi,α j), i = j = n, hi j(z) = − −  z q(αi,α j)/2 z ( q)(αi,α j)/2 , otherwise;  − − −   6 YINGXUANDR.B.ZHANG

(αi,α j) = = (2) ( q) z 1, i j n, sl(1 2n) : fi j(z) = − − | q(αi,α j)z 1, otherwise;  − z ( q)(αi,α j), i = j = n, hi j(z) = − − z q(αi,α j), otherwise.  −  1/2 1/2 Now we introduce the following formal distributionsin Uq(g)[[z , z− ]] (1) 1 (2) (2) for g = osp(1 2n) and U (g)[[z, z− ]] for g = sl(1 2n) , osp(2 2n) , | q | | + r+1/2 = (1) = + r Z ξi,rz− , g osp(1 2n) , i n; ξ (z) = ∈ | i  + r Pr Z ξi,rz− , otherwise,  ∈ P r 1/2 = (1) =  r Z ξi−,rz− − , g osp(1 2n) , i n; ξ−(z) = ∈ | i  r Pr Z ξi−,rz− , otherwise,  ∈ = P + r = r ψi(z)  κˆi,rz− , ϕi(z) κˆi−,rz− . rXZ 0 rXZ 0 ∈ ≥ ∈ ≤ (1) (2) (2) Lemma 2.4. Let g = osp(1 2n) , sl(1 2n) or osp(2 2n) . Then Uq(g) has the following presentation.| The generators| are |

1/2 ξ± , κˆ± , γ± , for (i, r) g; i,r i,r ∈I the relations in terms of formal distributions are given by:

1/2 1/2 1/2 (1) γ± are central with γ γ− = 1, + = + = = = κî,0κî−,0 κî−,0κî,0 1, [ϕi(z), ψ j(w)] [ψ j(w),ϕi(z)] 0, (2.12) 1 1 1 1 1 ϕi(z)ψ j(w)ϕi(z)− ψ j(w)− = gi j(zw− γ− )/gi j(zw− γ), (2.13) 1 = 1 1/2 1 ϕi(z)ξ±j (w)ϕi(z)− gi j(zw− γ∓ )± ξ±j (w), (2.14) 1 = 1 1/2 1 ψi(z)ξ±j (w)ψi(z)− gi j(z− wγ∓ )∓ ξ±j (w), (2.15) 1 + ρz,wδi, j 1/2 zγ− 1/2 zγ [ξ (z),ξ−(w)] = ψ (zγ− )δ ϕ (zγ )δ , (2.16) i j q q 1 i w ! − i w ! i − i− where g are defined by (2.11), and ρ = (z/w)1/2 if g = osp(1 2n)(1) and i j z,w | i = n, and ρz,w = 1 otherwise. (2) Serre relations (A) (i, j) , (n, n), and if g , osp(1 2n)(1), | θ θ a + a = [z± ξi±(z),ξ±j (w)] ij [w± ξ±j (w),ξi±(z)] ji 0, (2.17) qi q j where θ = 2 if g = osp(2 2n)(2), and 1 if g = sl(1 2n)(2); (B) n , i , j, ℓ = 1 a , | | − i j ℓ k ℓ sym ( 1) ξ±(z ) ...ξ±(z )ξ±(w)ξ±(z + ) ...ξ±(z ) = 0; z1,...,zℓ − "k# i 1 i k j i k 1 i ℓ Xk=0 qi VERTEXOPERATORREPRESENTATIONS 7

(C) n = i , j, ℓ = 1 a , and if g , sl(1 2n)(2), j < n 1, − i j | − ℓ ℓ sym ξ±(z ) ...ξ±(z )ξ±(w)ξ±(z + ) ...ξ±(z ) = 0, z1,...,zℓ "k# i 1 i k j i k 1 i ℓ Xk=0 q˜i

1/2 where q˜i = ( 1) qi; (D) for g = osp(1−2n)(1), |

symz ,z ,z [z±ξ±(z1),ξ±(z2)] 2 ,ξ±(z3) = 0; 1 2 3 1 n n qn n q4 h i n 2 4 1 symz,w [z± ξ±(z),ξ±(w)] 2 q [z±ξ±(z), w± ξ±(w)] 6 = 0; n n qn − n n n qn− 2 symz ,z q [z±ξ±(z1),ξ±(z2)] 2 ,ξ± (w) 1 2 n 1 n n qn n 1 q4 h − i n 2 2 + + 2 = (qn qn− ) [ξn± 1(w), z1±ξn±(z1)]qn ,ξn±(z2) 0; h − i (E) for g = osp(2 2n)(2), |

2 = symz1,z2 [ξn± 1(w), z1±ξn±(z1)]qn ,ξn±(z2) 0. h − i Proof. This can be proven by straightforward computation, thus we will not give the details. Instead, we consider only (2.16) as an example. The relations (2.7) and (2.8) lead to

r s + s r γ −2 κˆ γ −2 κˆ + i,r+s i−,r+s r s [ξ (z),ξ−(w)] = ρ δ − z− w− i j z,w i, j q q 1 Xr,s i − i− 1 ρz,wδi, j + 1/2 r zγ− 1/2 r zγ = κˆ (zγ− )− δ κˆ− (zγ )− δ 1  i,r i,r  qi qi− w ! − w − Xr Xr   1  ρz,wδi, j  1 ∞ 1/2 r zγ−  = kiexp (qi q− ) κi,r(zγ− )− δ q q 1   − i  w ! i i−   Xr=1  −        1 1 ∞ 1/2 r zγ ki− exp (qi− qi) κi, r(zγ ) δ .  −   − − = w  Xr 1        Using the deﬁnitions of ψi(z) and ϕi(z) on the right hand side, we immediately obtain (2.16). In the opposite direction, we easily obtain (2.7) and r s (2.8) by comparing the coeﬃcients of z− w− in (2.16).

2.2. Some general facts. We discuss some simple facts, which will be used in later sections.

2.2.1. Triangular decompositions. We describe two triangular decompositions for the quantum aﬃne superalgebra Uq(g), which will be used later. 8 YINGXUANDR.B.ZHANG

The standard triangular decomposition is = ( ) (0) (+) Uq(g) Uq− Uq Uq , with (+) + + U generated by ξ ,ξ ,ξ− , κˆ± , for r > 0, 1 i n, q i,0 i,r i,r i,r ≤ ≤ (0) 1 1/2 (2.18) U generated by γ± , γ± , for 1 i n, q i ≤ ≤ ( ) + U − generated by ξ− ,ξ− ,ξ , κˆ± , for r < 0, 1 i n, q i,0 i,r i,r i,r ≤ ≤ ( ) (0) (+) where Uq− ,Uq and Uq are all super subalgebras of Uq(g). In terms of the (+) ( ) (0) Chevalley generators in Definition 2.1, Uq , Uq− and Uq are respectively 1 generated by the elements e j, f j and k±j with 0 j n. The other triangular decomposition is ≤ ≤ = 0 + Uq(g) Uq−UqUq , with U+ generated by ξ+ , for 1 i n, r Z, q i,r ≤ ≤ ∈ 0 1/2 (2.19) U generated byκ ˆ± , γ± , for 1 i n, r Z, q i,r ≤ ≤ ∈ U− generated by ξ− , for 1 i n, r Z, q i,r ≤ ≤ ∈ 0 + where Uq−, Uq and Uq are also super subalgebras. The existence of this triangular decomposition is easy to see from the Drinfeld realisation, but very obscure from the point of view of Definition 2.1. = (0) (+) = 0 + Let Bq : Uq Uq or Bq : UqUq depending on the triangular decomposition. A vector v0 inaUq(g)-module is a highest weight vector if C(q)v0 is a 1-dimensional Bq-module. A Uq(g)-module generated by a highest weight vector is a highest weight module with respect to the given triangular decomposition. We will study highest weight representations with respect to both triangular decompositions in later sections. 2.2.2. Comments on spinoral type modules. One can easily see that there exist the following superalgebra automorphisms of Uq(g). ι : k ε k , e ε e , f f , 0 i n, (2.20) ε i 7→ i i i 7→ i i i 7→ i ≤ ≤ for any given εi 1 . If V is Uq(g)-module, we can twist it by ιε to obtain another module∈ with {± the} same underlying vector superspace but the twisted Uq(g)-action Uq(g) V V defined by x v ιε(x)v for all x Uq(g) and v V. If k (i =⊗0, 1−→,... n) act semi-simply⊗ on7→ V, the eigenvalues∈ of k ∈ i i are multiplied by εi in the twisted module. Recall the notion of type-1 modules in the theory of ordinary quantum groups and quantum affine algebras. For quantum supergroups and quantum affine superalgebras, a type-1 module over Uq(g) is one such that the ki (i = m Z 0, 1,... n) act semi-simply with eigenvalues of the form qi for m . Any weight module over an ordinary quantum group or quantum affine∈ algebra can be twisted into a type-1 module by analogues of the automorphisms (2.20). However, that is no longer true in the present context. As we will see from Theorem 4.2, some finite dimensional simple Uq(g)-modules have m+1/2 kn-eigenvalues of the form √ 1q with m Z. It is not possible to twist such modules into type-±1 by− the automorphisms∈ (2.20). VERTEXOPERATORREPRESENTATIONS 9

For easy reference, we introduce the following deﬁnition.

1 Definition 2.5. Call a Uq(g)-module type-s, meaning spinoral type, if all ki± act semi-simply with eigenvalues of the following form. If g = osp(1 2n)(1) (2) j | or sl(1 2n) , the eigenvalues of ki for 0 i < n belong to q j Z , and | j+1/2 ≤ (2) { | ∈ } eigenvalues of kn to √ 1q j Z . If g = osp(2 2n) , the eigenvalues { − | ∈ } j+1/2 | of either k0, kn, or both belong to √ 1q j Z , and the eigenvalues of the other k to q j j Z . { − | ∈ } i { | ∈ } Type-s modules exist even for the quantum supergroup Uq(osp(1 2)) associated with osp(1 2). | | Example 2.6 (Type-s representations of Uq(osp(1 2))). The quantum super- |1 1 group Uq(osp(1 2)) is generated by E, F and K± with relations KK− = 1 | K− K = 1 and 1 1 1 1 K K− KEK− = qE, KFK− = q− F, EF + FE = − . q q 1 − − It has long been known that there exists an ℓ-dimensional irreducible representation of Uq(osp(1 2)) for each positive integer ℓ. If ℓ is odd, the irreducible representation can| be twisted into a type-1 representation; and if ℓ is even, to a type-s representation. The smallest type-s example is the 2-dimensional irreducible representation, which is given by √ 1 √ 1/2 0 q1/2 −q 1/2 0 0 1q 0 E − − , F , K − 1/2 . 7→ 0 0  7→ 1 0! 7→ 0 √ 1q− !   −   Remark 2.7 . The 2-dimensional irreducible representation of Uq(osp(1 2)) does not have a classical limit, i.e., q 1 limit, nor do all the even dimen-| sional irreducible representations. This→ agrees with the fact that the finite dimensional irreducible representations of osp(1 2) are all odd dimensional. | The quantum affine superalgebra Uq(g) for all g in (2.1) contains the quantum supergroup Uq(osp(1 2)) as a super subalgebra. The type-s representations of U (g) restrict to| type-s representations of U (osp(1 2)). q q | 3. Vertex operator representations We construct vertex operator representations of the quantum affine superalgebras Uq(g) for all g in (2.1). These representations are level 1 irreducible integrable highest weight representations relative to the standard triangular decomposition (2.18) of Uq(g). By level 1 representations, we mean those with γ acting by multiplication by q or √ 1q. Our construction involves generalising± to− the quantum affine superalgebra context some aspects of [14]. The vertex operators obtained here have considerable similarities with those [8, 9] for ordinary twisted quantum affine algebras. 10 YINGXUANDR.B.ZHANG

3.1. The Fock space. Let ℓ(αi) := (αi, αi) for any simple root αi. For convenience, we choose the normalisation for the bilinear form so that (2) 1/ℓ(αn) ℓ(αn) = 2 if g = osp(2 2n) , and ℓ(αn) = 1 otherwise. Let ℘ = ( 1) q, 1/2 |1 1/2 − and take ℘ = ( 1) 2ℓ(αn) q . − Hereafter we will always consider Uq(g) in the Drinfeld realisation given in Proposition 2.2 and Lemma 2.4. Denote by Uq(η) the subalgebra of Uq(g) 1/2 generated by the elements γ , γi and κi,r (r Z 0 , 1 i n), and by 1/2 ∈ \{ } ≤ ≤ Uq(η) that generated γ and κi,r (r Z 0 ,1 ei n). Let S (η−) be the symmetric algebra generated by κ ∈for \{r } Z ≤and≤ 1 i n. Let H (s) i,r ∈ <0 ≤ ≤ i (s Z 0 ,1 i n) be the linear operators acting on S (η−) such that ∈ \{ } ≤ ≤ Hi( s) = derivation deﬁned by − s s ui, j, s(℘ ℘− ) Hi( s)(κ j,r) = δr,s − − , (3.1) − s(q q 1)(q q 1) i − i− j − −j H (s) = multiplication by κ , r, s Z , i i,s ∀ ∈ <0 where ui, j, s is deﬁned by (2.10). Then − r r ui, j,r(℘ ℘− ) = + Z [Hi(r), H j(s)] δr s,0 1 − 1 , r, s 0 . (3.2) r(q q− )(q q− ) ∀ ∈ \{ } i − i j − j

The algebra Uq(η) has the canonical irreducible representation on S (η−) given by γ ℘, κ H (s), s Z 0 . 7→ i,s 7→ i ∀ ∈ \{ } Let g˙ g be the regular simple Lie sub-superalgebra with the Dynkin diagram obtained⊂ from the Dynkin diagram of g by removing the node corresponding to α0. Then g˙ = osp(1 2n) in all three cases of g. Let be the root lattice of g˙ with the bilinear form| inherited from that of g. We regardQ as a multiplicative group consisting of elements of the form eα with α Q. Let C[ ] be the group algebra of . Given any variable z and any root∈ Qα, we defineQ a linear operator on C[ Q] by Q zα.eβ = z(α,β)eβ. (3.3) We also define the linear operator σ on C[ ] for all i = 1, 2,..., n by i Q σ .eβ = ( 1)(αi,β)eβ. i − Φ = n Φ = Write i k=i σk for 1 i n and i 1 for i > n. It is easy to check + Φ α j = δi, j δi+1, j ≤α j ≤ Φ2 = that i.e± Q( 1) e± for 1 i, j n and i 1. We also need− some basic knowledge≤ of≤ the q-deformed Clifford algebra , which is generated by k(r), k(s) (r, s Z + 1 ) with relations Cq ∈ 2 r s k(r)k(s) + k(s)k(r) = δr, s(q + q ), r, s. (3.4) − ∀ We use Λ( −) to denote the exterior algebra generated by k(r) for r < 0, Cq and denote by Λ( −) (resp. Λ( −) ) the subspace of even (resp. odd) Cq 0 Cq 1 VERTEXOPERATORREPRESENTATIONS 11 degree, where k(r) (r < 0) are regarded as having degree 1. Define the linear operators K(s) on Λ( −) such that for any ψ, φ Λ( −), Cq ∈ Cq r r K(s) ψ = k(s)ψ, K( s) k(r) = δ (q + q− ), K( s) 1 = 0, · − · r,s − · K( s) (ψφ) = K( s) (ψ)φ + ( 1)deg(ψ)ψK( s) (φ), r, s < 0. − · − · − − · ∀ 1 Then acts on Λ( −) by k(r) K(r) for all r Z + . Let Cq Cq 7→ ∈ 2 C[ ], g = osp(1 2n)(1), osp(2 2n)(2); W = Q | | (3.5)  λ1 (2) C[ 0] Λ( −)0 C[ 0]e Λ( −)1, g = sl(1 2n) ,  Q ⊗ C℘ ⊕ Q ⊗ C℘ |  where is the lattice spanned by the set of roots with squared length 2 and Q0 λ = α + α + + α . Now we construct the vector space V = S (η−) W. 1 1 2 ··· n ⊗ 3.2. Construction of the vacuum representations. We start by defining

s K(z) = K(s)z− , s XZ+1/2 ∈ αi αi+ℓ(αi)/2 (1) (2) + e Φ z , if g = osp(1 2n) , osp(2 2n) ; T (z) = i | | i αi αi+ℓ(αi)/2 (2) e Φiz K(z), if g = sl(1 2n) ,  |  αi αi+ℓ(αi)/2 (1) (2) e− Φi+1z− , if g = osp(1 2n) , osp(2 2n) ; T −(z) = | | i αi αi+ℓ(αi)/2 (2) e− Φi+1z− ( K(z)), if g = sl(1 2n) ,  − |  and introducing the following formal distributions:

k/2 ∞ ℘∓ k E±(z) = exp H ( k)z , i ± k i −  Xk=1 qi  { }   k/2  ∞ ℘∓ k F±(z) = exp H (k)z− , i ∓ k i   Xk=1 { }qi    1 k k  = ℘ ℘− = ℘ ℘− where k qi [k]℘ − 1 − 1 . Using them, we deﬁne linear operators qi q qi q { } · − i− − i− X±(k) (1 j n, k Z) on the vector space V by j ≤ ≤ ∈ = = Xi±(z) Ei±(z)Fi±(z)Ti±(z), i 1, 2,..., n, (3.6) where = k Xi±(z) Xi±(k)z− , for all i , n, Xk Z ∈ k (1) X±(z) = X±(k)z− , if g , osp(1 2n) , n n | Xk Z ∈ k+1/2 (1) X±(z) = X±(k)z− , if g = osp(1 2n) . n n | Xk Z ∈ We have the following result. 12 YINGXUANDR.B.ZHANG

Theorem 3.1. The quantum aﬃne superalgebra Uq(g) acts irreducibly on the vector space V, with the action deﬁned by

1/2 1/2 1/2 αi 1/2 γ ℘ , γi (̟iσi℘ ) , κi,s Hi(s), + 7→ + 7→ 7→ ξ X (k), ξ− ̺ X−(k), (3.7) i,k 7→ i i,k 7→ i i i = 1, 2,..., n, s Z 0 , k Z, ∀ ∈ \{ } ∈ where 1/2 (1) ℘− , if g = osp(1 2n) , i = n; ̟ = | i 1, otherwise;   1 = (2) ,  2− ℓ(αi)/2 qi , if g osp(2 2n) , i n; ̺i = − { } |  ℓ(αi)/2 q , otherwise. −{ } i  Proof. The irreducibility of V asaUq(g)-module follows from the fact that the Uq(η)-module S (η−)andUq(η)-module W are both irreducible. This was proved in [10]. Thus the proof of the theorem essentially boils down to ver- e ifying that the operators Hi(k) and Xi±(k) satisfy the commutation relations of κi,k and ξi±,k. We show this by using calculus of formal distributions. Consider the vertex operators (3.6) in the case of g = osp(1 2n)(1). We claim that they satisfy the following relation (cf. (2.16)): | 1 δi j ρz,w ̺− z + i αi + 1 [X (z), X−(w)] = σ ̟ ℘ V (z)δ ℘− i j 1 i i i w qi qi− (3.8) − ez αi σi̟i℘− Vi−(z)δ ℘ , − w where e

+ ∞ 1 1/2 k V (z) = exp (q q− )H (k)(z℘− )− , i  i − i i  Xk=1   (3.9) e   ∞ 1 1/2 k V−(z) = exp (q− q )H ( k)(z℘ ) . i  i − i i −  Xk=1  e   If (αi, α j) = 0 (necessarily i , j), the claim is clear.  If (α , α ) , 0, there are three possibilities: (α , α ) = 1 with i , j, and i j i j − (αi, α j) = 1 or 2 with i = j. Deﬁne normal ordering as usual by placing Hi( k) with k > 0 on the left α β − of H j(k), exp on the left of z , and K( s) with s > 0 on the left of K(s), where for the K(r)’s an order change procures− a sign. Let + = αi α j Φ Φ αi α j : Ti (z)T −j (w): e − i j+1z w− , then we have the following relations: if (αi, α j) , 1,

+ δi 1, j+δi, j + (αi,α j) ℓ(αi)/2 ℓ(α j)/2 : T (z)T −(w): = ( 1) − T (z)T −(w)z z− w− i j − i j δi 1, j+δi, j + (αi,α j) ℓ(αi)/2 ℓ(α j)/2 = ( 1) − T −(w)T (z)w z− w− ; − j i VERTEXOPERATORREPRESENTATIONS 13 if (αi, α j) = 1, + + = (αi,α j) ℓ(αi)/2 ℓ(α j)/2 : Ti (z)T −j (w): Ti (z)T −j (w)z z− w− − + = (αi,α j) ℓ(αi)/2 ℓ(α j)/2 T −j (w)Ti (z)w z− w− . Also + = + + + : Xi (z)X−j (w): Ei (z)E±j (w)Fi (z)F−j (w): Ti (z)T −j (w): . (3.10) + Thus X−j (w)Xi (z) can be expressed as

∞ u + i, j,k k k (αi, α j) ℓ(αi)/2 ℓ(α j)/2 : X (z)X−(w) : exp z− w z − z w , i j  k(℘k ℘ k)  Xk=1 − −    where we have used the Baker-Campbell-Hausdor  ﬀ formula. = n n n Let δ1(x) n 0(℘− ℘ )x . Then direct computation shows that + ≤ − Xi (z)X−j (w) can beP expressed as

+ δi 1, j ℓ(αi)/2 ℓ(α j)/2 : X (z)X−(w) : ( 1) − (z + w) z w , if (α , α ) = 1, i j − i j − + 1 : X (z)X−(w): δ (z/w), if (α , α ) = 2, i j ℘ ℘ 1 1 i j − − + 1 1/2 : X (z)X−(w): δ (z/w) (z + w)(zw)− , if (α , α ) = 1, i j ℘ ℘ 1 1 i j − − = xn 1/2 where we have used the formula ln(1 x) n∞=1 n . Note that z± and 1/2 + − − w± may appear in Xi (z)X−j (w). A similar computationP shows that if (α , α ) = 1, • i j − + + δi 1, j ℓ(αi)/2 ℓ(α j)/2 X−(w)X (z) =: X (z)X−(w) : ( 1) − (z + w) z w , j i i j − if (α , α ) = 2, • i j + + 1 X−(w)X (z) =: X (z)X−(w): δ (w/z), j i i j ℘ ℘ 1 1 − − if (α , α ) = 1, • i j + + 1 1/2 X−(w)X (z) =: X (z)X−(w): δ (w/z) (z + w)(zw)− . j i i j ℘ 1 ℘ 1 − − Using these we obtain

+ + [αi][α j] + [X (z), X−(w)] = X (z)X−(w) ( 1) X−(w)X (z) i j i j − − j i + 1/2 + (z w)(zw)− 1 = : Xi (z)X−j (w): ℘ ℘ 1 δ(℘− z/w) δ(℘z/w) , (αi, α j) 1, − − − =  + 1 δ ℘ 1 / δ ℘ / , α , α = , : Xi (z)X−j (w): ℘ ℘ 1 ( − z w) ( z w) ( i j) 2  − − − 0, (αi, α j) = 1,  −  = where [αi] 0 if αi is an even root, and 1 otherwise. This in particular shows that (3.8) holds for all i , j. = w = w In the cases with i j, by using f (z, w)δ( z ) f (z, z)δ( z ), we obtain + z + z 1 = αi 1 : Xi (z)X−j (w): δ ℘− σi℘ Vi (z)δ ℘− , w − w e 14 YINGXUANDR.B.ZHANG

+ z z = αi : Xi (z)X−j (w): δ ℘ σi℘− Vi−(z)δ ℘ , w − w + e where Vi (z) and Vi−(z) are deﬁned by (3.9). Note that

e e 1/2 1 z 1/2 1 1 z (z + w)(zw)− δ ℘± = (z/w) (1 + ℘± )δ ℘± . w w These formulae immediately lead to (3.8). To consider the Serre relations, we take as an example the relation (2.17) when (α , α ) = 1. In this case, (2.17) is equivalent to i j − 1 + + 1 + + (z q− w)ξ (z)ξ (w) = (q− z w)ξ (w)ξ (z). − i j − j i Thus, we need to show

1 + + 1 + + (z q− w)X (z)X (w) = (q− z w)X (w)X (z). (3.11) − i j − j i + + + = αi α j Φ Φ αi α j Let : Ti (z)T j (w): e i jz w± , and + + = + + + + + + : Xi (z)X j (w): Ei (z)E j (w)Fi (z)F j (w): Ti (z)T j (w): . + + By (3.10), Xi (z)X j (w) is equal to

∞ ℘ k w k + + − 1 ℓ(αi) ℓ(α j) : X (z)X (w) : exp [H (k), H ( k)] z− z w , i j − k k i j − z   Xk=1 { }qi { }q j     1  + + 1 w − 1 ℓ(αi) ℓ(α j) which can be simpliﬁed to : Xi (z)X j (w): 1 q− z z− z w . Thus − + + + + 1 = δi 1, j 1 − ℓ(αi) ℓ(α j) Xi (z)X j (w) : Xi (z)X j (w) : ( 1) − z q− w z w . − − Similarly we can show that

+ + + + 1 δi, j 1 1 − ℓ(αi) ℓ(α j) X (w)X (z) =: X (z)X (w) : ( 1) − w q− z z w . j i i j − − Note that i = j 1 or j+1 in this case. Then two relations above immediately imply (3.11). − Similar computation proves the theorem for the other g. Remark 3.2. The representations in Theorem 3.1 are not of type-1. Note in particular that γ acts by ℘. However, we can twist them into type-1 or type-s representations (see Deﬁnition 2.5) by the automorphisms (2.20). 3.3. Construction of the other level 1 irreducible representations. We now consider the vertex operator construction for the other level 1 irreducible integrable highest weight representations with respect to the stan- (1) dard triangular decomposition (2.18). Observe that for Uq(osp(1 2n) ), the vacuum representation is the only such representation. Thus we| will con- (2) (2) sider Uq(g) for g = sl(1 2n) and osp(2 2n) only. We will only state the main results; their proofs| are quite similar| to those in Section 3.2. We maintain the notation of Section 3.2. VERTEXOPERATORREPRESENTATIONS 15

(2) 3.3.1. The case of Uq(sl(1 2n) ). There is only one irreducible integrable highest weight representation| at level 1 beside the vacuum representation. It can be constructed as follows. Recall the definition of W in (3.5). Let λn be the fundamental weight of g˙ corresponding to αn, and consider the subset λn + of the weight lattice of g˙. The linear operators zα defined by (3.3) actQ on the group algebra λn of the weight lattice of g˙ in the obvious way. Denote Wn = e C[ ] and (2) Q Vn = S (η−) Wn. Then Vn is the level 1 simple Uq(sl(1 2n) )-module with the action give⊗ by (3.7) in terms of vertex operators.| The highest weight vector is 1 eλn . ⊗ (2) 3.3.2. The case of Uq(osp(2 2n) ). There are another two simple integrable highest weight modules at level| 1, respectively associated with the fundamental weights λ1 and λn of g˙. Here λ1 and λn correspond to α1 and αn respectively. To construct the representations, we need the following q- deformed Clifford algebra Cq, which is generated by t(r), t(s) (r, s Z) with relations ∈ r s t(r)t(s) + t(s)t(r) = δr, s(q + q ), r, s. (3.12) − ∀ These are q-deformed Ramond fermionic operators. Similar to Section 3.1, we define linear operators T(s) acting on Λ(C −) such that for any ψ, φ q ∈ Λ(Cq−), r r T(s) ψ = t(s)ψ, T( s) k(r) = δ (q + q− ), T( s) 1 = 0, · − · r,s − · T( s) (ψφ) = T( s) (ψ)φ + ( 1)deg(ψ)ψT( s) (φ), r, s < 0, − · − · − − · ∀ and T(0) acts as the identity. = s We replace K(z) in Section 3.2 by K(z) s Z T(s)z− and use it in (3.6) ∈ to obtain the corresponding vertex operators.P Now define (1) (1) (n) (n) V = S (η−) W and V = S (η−) W with ⊗ ⊗ (1) λ1 W = e C[ ] Λ( −) C[ ] Λ( −) , Q0 ⊗ C℘ 0 ⊕ Q0 ⊗ C℘ 1 (n) λn W = e C[ ] Λ(C−). Q ⊗ ℘ (1) (n) (2) Then V and V are the simple Uq(osp(2 2n) )-modules at level 1 with the actions formally given by (3.7) but in terms| of the new vertex operators. The highest weight vectors are 1 eλ1 1 and1 eλn 1 respectively. ⊗ ⊗ ⊗ ⊗ 3.4. Another construction of vacuum representations. For the quantum (1) (2) affine superalgebras Uq(osp(1 2n) ) and Uq(sl(1 2n) ), it is possible to modify the vertex operators of| the vacuum representations| to make γ act by q, and this is what we will do in this section. The modified vertex oper- (2) ator representation of Uq(sl(1 2n) ) given here is of type-1. For both affine superalgebras,| we choose in this section the normalisation for the bilinear form on the weight space so that (αn, αn) = 1. Recall the definitions of Uq(η) and S (η−) in section 3.1. Let us nowdefine q new linear operators acting on S (η−), denoted by H (s) with s Z 0 , i ∈ \{ } 16 YINGXUANDR.B.ZHANG

1 i n, as follows. ≤ ≤ q = Hi ( s) derivation defined by − s s q ui, j, s(q q− ) H ( s)(κ j,r) = δr,s − − , (3.13) i − s(q q 1)(q q 1) i − i− j − −j Hq(s) = multiplication by κ , r, s Z , i i,s ∀ ∈ <0 where ui, j, s is defined by (2.10). This differs from (3.1) in that ℘ is replaced by q. Now− we have

r r q q ui, j,r(q q− ) [H (r), H (s)] = δ + − , r, s Z 0 , (3.14) i j r s,0 r(q q 1)(q q 1) ∀ ∈ \{ } i − i− j − −j and we obtain the following irreducible Uq(η)-representation on S (η−)

γ q, κ H (s), s Z 0 . 7→ i,s 7→ i ∀ ∈ \{ } Deﬁne the 2-cocycle C : 1 , satisfying Q×Q→{± } C(α + β,γ) = C(α, γ)C(β,γ), C(α, β + γ) = C(α, β)C(α, γ), α,β,γ, ∀ such that C(0,β) = C(α, 0) = 1, and for any simple roots αi and α j,

+ ( 1)(αi,α j) (αi,αi)(α j,α j), i j, C(α , α ) = − ≤ i j 1, i > j.   Obviously, has a unique central extension , Q Q b 1 Z 1 → 2 → Q→Q→ b deﬁned in the following way. We regard as a multiplicative group consisting of elements eα with α . Then ( Q1)aeα( 1)beβ = ( 1)a+bC(α, β)eα+β, ± ∈ Q −b − − where a, b 0, 1 and α, β . Let C[ ] be the group algebra of , and let J be the∈ two-sided { } ideal∈ generated Q byQeα + ( eα) for all α. DenoteQ the b − b quotient C[ ]/J by C[ ]. Now eα C[ ] are natural linear operators acting on C[Q ]. The linearQ operators± zα∈are theQ same as in section 3.1. bQ b Let V = S (η−) W, where W is deﬁned in (3.5). For all i = 1,...,⊗ n, let

+ αi αi ℓ(αi)/2 g = osp (1) = e± z± , (1 2n) ; Ti±(z) + | e αi z αi ℓ(αi)/2( K(z)), g = sl(1 2n)(2).  ± ± e  ± |  VERTEXOPERATORREPRESENTATIONS 17

Deﬁne k/2 ∞ q∓ q k E±(z) = exp H ( k)z , i ± [k] i −  Xk=1 qi   e  k/2   ∞ q∓ q k  F±(z) = exp H (k)z− , for i , n; i ∓ [k] i  Xk=1 qi   e  k/2   ∞ q∓ q k E±(z) = exp H ( k)z , n ± [2k] n −   Xk=1 qn  e    k/2  = ∞ q∓ q k Fn±(z) exp Hn (k)z− , ∓ [2k]q   Xk=1 n  e   and ﬁnally set  

X±(z) = E±(z)F±(z)T ±(z), i. (3.15) i i i i ∀ Similar arguments ase those ine the proofe ofe Theorem 3.1 can prove the following result.

Theorem 3.3. Let g be osp(1 2n)(1) or sl(1 2n)(2). Then the quantum aﬃne | | superalgebra Uq(g) acts irreducibly on the vector space V with the action deﬁned by

γ1/2 q1/2, γ1/2 (̟ qαi )1/2, κ Hq(s), 7→ i 7→ i i,s 7→ i + + ξ X (k), ξ− ϑ X−(k), (3.16) i,k 7→ i i,k 7→ i i i = 1,..., n, s Z 0 , k Z, ∀ e ∈ \{ e} ∈ (1) where ̟i = √ q if g = osp(1 2n) and i = n, and ̟i = 1 otherwise; q +q 1 − | = i i− 1 = = ϑi 1 ̟− if i n, and ϑi 1 otherwise. qi q i − i− Remark 3.4. The vertex operator representation in Theorem 3.3 can be changed to that in Theorem 3.1 by the following automorphism of Uq(g):

+ + k γ γ, ξ ξ , ξ− ( 1) ξ− , 7→ − i,k 7→ i,k i,k 7→ − i,k 1/2 1/2 k /2 k/2 γ± γ± , κ ( 1)| | κ , κˆ± ( 1)± κˆ± . i 7→ i i,k 7→ − i,k i,k 7→ − i,k

4. Finite dimensional irreducible representations In this section, we classify the finite dimensional irreducible representations of the quantum affine superalgebra Uq(g) for the affine Lie superalgebras g in (2.1). We always assume that Uq(g)-modules are Z2-graded (cf. Remark 4.4). We choose the normalisation for the bilinear form on the weight space of g so that (αn, αn) = 1. 18 YINGXUANDR.B.ZHANG

4.1. Classification of finite dimensional simple modules. We fix the triangular decomposition (2.19) for Uq(g), and consider highest weight Uq(g)- modules with respect to this triangular decomposition. Let v0 be a highest weight vector in a highest weight Uq(g)-module, then for all i and r, + 1/2 1/2 ξ v = 0, κˆ± v = Υ± v , γ v = Υ v , (4.1) i,r · 0 i,r · 0 i,r 0 · 0 0 Υ Υ1/2 Υ1/2 Υ+ Υ = for some scalars i±,r and , where is invertible and i,0 i−,0 1. We define the following formal power series in a variable x

Υ+ = ∞ Υ+ r Υ = ∞ Υ r i (x): i,r x , i−(x): i−, r x− , i. − ∀ Xr=0 Xr=0 AU (g)-module is said to be at level 0 if γ acts by id. q ± By considering the commutation relations ofκ ˆi±,r, it is easy to show [3, 4] that ﬁnite dimensional modules must be at level 0. The proof of [3, Proposition 3.2] can be adapted verbatim to prove the following result.

Proposition 4.1. Every ﬁnite dimensional simple Uq(g)-module is a level 0 highest weight module with respect to the triangular decomposition (2.19). The following theorem is the main result of this section. Its proof will be given in Section 4.2. Theorem 4.2. Let g = osp(1 2n)(1), sl(1 2n)(2) and osp(2 2n)(2). A simple | | | Uq(g)-module V is ﬁnite dimensional if and only if it can be twisted by some automorphism ιε into a level 0 simple highest weight module satisfying the following conditions: there exist polynomials Pi C[x] (i = 1, 2,..., n) with constant term 1 such that ∈

n i 2ci di Pi ( 1) − ti− x Υ+ = ci degPi − = Υ (4.2) i (x) t · i−(x), i P ( 1)n i xdi i − − where the equalities should be interpreted as follows: the left side is equal to the middle expression expanded at 0, and the right side to that expanded (α ,α ) 1/2 i i at . In the above, ti = √ 1q ,and ci and di are deﬁned by ∞ − 1, i , n, g = osp(1 2n)(1) : d = 1, c = | i i 2, i = n;  g = sl(1 2n)(2) : d = c = 1;  | i i  1, i = n, g = osp(2 2n)(2) : d = c = | i i 2, i , n.  As an immediate corollary of Theorem 4.2, we have the following result. Corollary 4.3. Every ﬁnite dimensional simple Uq(g)-module can be obtained from a level 0 type-1 or type-s module by twisting Uq(g) with some automorphism given in (2.20).

Remark 4.4. Any non Z2-graded simple highest weight Uq(g)-module can be regarded as graded by simply assign a parity to its highest weight vector. VERTEXOPERATORREPRESENTATIONS 19

4.2. Proof of Theorem 4.2. The theorem can be proven directly by using the method of [4, 5]. However, there is an easier approach based on quantum correspondences between affine Lie superalgebras developed in [25, 31, 18]. The quantum correspondences allow one to translate results on finite dimensional simple modules of ordinary quantum affine algebras in [4, 5] to the quantum affine superalgebras under consideration. We will follow the latter approach here.

4.2.1. Facts on ordinary quantum aﬃne algebras. Corresponding to each g in (2.1), we have an ordinary (i.e., non-super) aﬃne Lie algebra g′ given in Table 1, which has the same Cartan matrix as g.

Table 1. Quantum correspondence

g osp(1 2n)(1) sl(1 2n)(2) osp(2 2n)(2) (2)| | (1) (2)| g′ A2n Bn Dn+1

We denote by α′ ,...,α′ the set of simple roots realising the Cartan matrix { 1 n} of g′, and normalize the bilinear form on the weight space of g′ so that = (αn′ , αn′ ) 1 1/2 Z Let ξ′±j,r,κ î′±,r , and γ′± (1 i, j n, r ) be the generators of the ≤ ≥ 1/2 ∈ quantum affine algebra Ut(g′) over C(t ) (see [4, 5] for details). Highest weight Ut(g′)-modules are defined in a similar way as for Uq(g) earlier. A highest weight Ut(g′) is generated by a highest weight vector v0′ , which satisfies

+ 1/2 1/2 ξ′ v′ = 0, κˆ′± v′ = Υ′±v′ , γ′ v′ = Υ′ v′ , (4.3) i,r · 0 i,r · 0 i,r 0 · 0 0 1/2 + where Υ′± C, with Υ′ C∗ and Υ′ Υ′− = 1. The module is at level 0 i,r ∈ ∈ i,0 i,0 if Υ′ = 1. ± Recall that weight modules over Ut(g′) can always be twisted to type-1 modules by automorphisms analogous to (2.20). The following result is proved in [4, 5]. = (2) (1) (2) Proposition 4.5 ([4, 5]). Let g′ A2n , Bn , Dn+1. Every ﬁnite dimensional simple Ut(g′)-module is a highest weight module at level 0. A level 0 simple highest weight Ut(g′)-module of type-1 is ﬁnite dimensional if and only if there exist polynomials Q C[x] (1 i n) with constant term 1 such that i ∈ ≤ ≤ 2ci di ∞ Qi t− x ∞ + r ci degQi i r Υ = · = Υ , i′,r x ti d i−, r x− (4.4) Q (x i ) − Xr=0 i Xr=0

(α′,α′)/2 which holds in the same sense as (4.2). Here ti = t i i , and the constants ci and di are those deﬁned in Theorem 4.2 for the aﬃne superalgebra g corresponding to g′ in Table 1. 20 YINGXUANDR.B.ZHANG

4.2.2. Quantum correspondences. Let G be the direct product of the groups Z generated by σ (1 i n) such that σ 2 = 1. We deﬁne a G-action on 2 i ≤ ≤ i Uq(g) by

(αi,α j) 1/2 1/2 σ ξ± = ( 1) ξ± , σ κˆ± = κˆ± , σ γ = γ , i · j,r − j,r i · j,r j,r i · for all i, j 1 and r Z, and form the smash product U (g) := U (g)♯KG, ≥ ∈ q q which is a Hopf superalgebra. Similarly, let G′ be the direct product of 2 group Z generated by σ′(1 i n) with σ′ = 1, which acts on U (g′) by 2 i ≤ ≤ i t (α′,α′ ) 1/2 1/2 σ′ ξ′± = ( 1) i j ξ′±, σ′ κˆ′± = κˆ′±, σ′ γ′ = γ′ . i · j,r − j,r i · j,r j,r i · We also form the smash product Ut(g′):= Ut(g′)♯KG′ Hopf algebra. Now set t = q (thus t1/2 = √ 1q1/2). The following result is a special case of [18, Theorem− 1.1]. −

Proposition 4.6. [18, 19, 31] For each pair (g, g′) in Table 1, there is an isomorphism ϕ : Uq(g) U q(g′) of associative algebras given by −→ − 1/2 1/2 (n i)rǫ γ γ′ , σ σ′, κˆ± ( 1) − σ′κˆ′±, 7→ i 7→ i i,r 7→ − i i,r m+n m+n + (n i)rǫ + (n i)rǫ (4.5) ξ ( 1) − σ′ ξ′ , ξ− ( 1) − σ′ ξ′−, i,r 7→ −  k i,r i,r 7→ −  k i,r kY=i+1  kY=i+1      where ǫ = 1/2 if g = osp(2 2n)(2), and 1 otherwise.   | The map ϕ becomes a Hopf superalgebra isomorphism up to picture changes and Drinfeld twists; see [18, Theorem 1.2] for details. Note that the proposition is [19, Theorem Theorem 3.5] stated forκ î±,r instead of κi,s and with the o(i) there worked out explicitly. Remark 4.7. The same type of Hopf superalgebra isomorphisms, referred to as quantum correspondences in [18], exist for a much wider range of affine Lie superalgebras [18, Theorem 1.2]. Some of them appear as S-dualities in string theory as discovered in [15]. 4.2.3. Proof of Theorem 4.2. With the preparations above, we can now prove Theorem 4.2. By using Proposition 4.6, we can identify the categories of Uq(g)-modules and U q(g′)-modules. Then Theorem 4.2 is equivalent to Proposition 4.5 under this− identification. Let us describe this in more detail. If a U q(g′)-module is generated by a U q(g′) highest weight vector that − − is an eigenvector of the σi′, it restricts to a simple U q(g′)-module. All high- − est weight U q(g′)-modules can be obtained this way, but note that different − U q(g′)-modules of this type may restrict to the same U q(g′)-module. Also − − any highest weight U q(g′)-module V′ with a highest weight vector v0′ can − C 1/2 belifted to a U q(g′)-module by endowing (q )v0′ with a G′-module struc- − ture (there are many possibilities). The same discussion applies to Uq(g)- and Uq(g)-modules. Assume that V′ is a simple U q(g′)-module generated by a U q(g′) highest C 1−/2 − weight vector v0′ such that (q )v0′ is the 1-dimensional trivial G′-module. Then V′ is finite dimensional if and only if it is at level 0 and the scalars VERTEXOPERATORREPRESENTATIONS 21 Υ i′±,r (cf. (4.3)) satisfy the given condition of Proposition 4.5 for some monic 1/2 1/2 polynomials Q with t = √ 1q . By Proposition 4.6, V′ naturally ad- i − mits the Uq(g)-action

U (g) V′ V′, x V′ ϕ(x)v′, x U (g), v′ V′. q ⊗ −→ ⊗ 7→ ∀ ∈ q ∈ It restricts to a simple highest weight Uq(g)-module at level 0 such that + (n i)rǫ + κˆ± v′ = Υ± v′ , with Υ = ( 1) − Υ′ . i,r · 0 i,r 0 i,r − i,r Υ+ Clearly, the i,r satisfy the condition given in Theorem 4.2. As a Uq(g)-module, V′ is naturally Z2-graded. Recall from [18] that there exists an element u G which is the grading operator in the sense that 1 [x] ∈ uxu− = ( 1) x for all homogeneous x U (g). The even and odd sub- − ∈ q spaces of V′ are then the 1-eigenspaces of u. The above arguments± go through in the opposite direction, i.e., from Uq(g)-modules to U q(g′)-modules. This proves Theorem 4.2. − Acknowledgements This research was supported by National Natural Science Foundation of China Grants No. 11301130 and No. 11431010, and Australian Research Council Discovery-Project Grants DP140103239 and DP170104318.

References [1] Benkart, G.; Kang, S.-J.; Kashiwara, M., Crystal bases for the quantum superalgebra Uq(gl(m, n)). J. Amer. Math. Soc. 13 (2000), no. 2, 295–331. [2] Bracken, A. J.; Gould, M. D.; Zhang, R. B., Quantum supergroups and solutions of the Yang-Baxter Equation. Modern Physics Letters A5 (1990), 831–840. [3] Chari, Vyjayanthi; Pressley, Andrew, Quantum affine algebras. Comm. Math. Phys. 142 (1991), no. 2, 261¢¢¢Å283. [4] Chari, Vyjayanthi; Pressley, Andrew, Quantum affine algebras and their representations. Representations of groups (Banff, AB, 1994), 59–78, CMS Conf. Proc., 16, Amer. Math. Soc., Providence, RI, 1995. [5] Chari, Vyjayanthi; Pressley, Andrew, Twisted quantum affine algebras. Comm. Math. Phys. 196 (1998), no. 2, 461–476. [6] Damiani, Ilaria, Drinfeld realisation of affine quantum algebras: the relations. Publ. Res. Inst. Math. Sci. 48 (2012), no. 3, 661–733. [7] Drinfeld, V. G., A new realisation of Yangians and of quantum affine algebras. (Russian) Dokl. Akad. Nauk SSSR 296 (1987), no. 1, 13–17; translation in Soviet Math. Dokl. 36 (1988), no. 2, 212–216 [8] Jing, Naihuan, Twisted vertex representations of quantum affine algebras. Invent. Math.102 (1990), no. 3, 663–690. [9] Jing, Naihuan; Misra, Kailash C., Vertex operators for twisted quantum affine algebras. Trans. Amer. Math. Soc. 351 (1999), no. 4, 1663–1690. [10] Jing, Naihuan, Higher level representations of the quantum affine algebra Uq(slˆ (2)). Journal of Algebra 182 (1996),448-468. [11] Kac, Victor G., Infinite-dimensional algebras, Dedekinds -function, classical Mo- bius function and the very strange formula. Adv. Math. 30 (1978) 85–136. [12] Kac, Victor G., Vertex algebras for beginners. Second edition. University Lecture Series, 10. American Mathematical Society, Providence, RI, 1998. 22 YINGXUANDR.B.ZHANG

[13] Links, J. R.; Gould, M. D.; Zhang, R. B. Quantum supergroups, link polynomials and representation of the braid generator. Rev. Math. Phys. 5 (1993), no. 2, 345– 361. [14] Lepowsky, James; Primc, Mirko, Standard modules for type one affine Lie algebras. Number theory (New York, 1982), 194251, Lecture Notes in Math., 1052, Springer, Berlin, 1984. [15] Mikhaylov, V; Witten, E.; Branes and Supergroups. Commun. Math. Physics, 340 (2015) no. 2, 699–832. [16] T. D. Palev, N. I. Stoilova, J. Van der Jeugt, Finite-dimensional representations of the quantum superalgebra Uq(gl(n m)) and related q-identities. Commun. Math. Phys. 166 (1994), no. 2, 367–378. | [17] Wu, Yuezhu; Zhang, R. B., Integrable representations of the quantum affine special linear superalgebra. Adv. Theor. Math. Phys. 20 (2016), no. 3, 553–593. [18] Xu, Ying; Zhang, R. B., Quantum correspondences of affine Lie superalgebras. Math. Research Lett., in press; arXiv:1607.01142. [19] Xu, Ying; Zhang, R. B., Drinfeld realisations of quantum affine superalgebras. arXiv:1611.06449 [20] Yamane, H., Quantized enveloping algebras associated with simple Lie superalgebras and their universal R- matrices. Publ. Res. Inst. Math. Sci. 30 (1994) 15-87. [21] Yamane, H., On definding relations of the affine Lie superalgebras and their quantized universal enveloping superalgebras. Publ. Res. Inst. Math. Sci. 35 (1999) 321-390. [22] Zhang, Hechun, The quantum general linear supergroup, canonical bases and Kazhdan-Lusztig polynomials. Sci. China Ser. A 52 (2009), no. 3, 401–416. [23] Zhang, Huafeng, Representations of quantum affine superalgebras. Math. Z. 278 (2014), 663–703. [24] Zhang, R. B., Braid group representations arising from quantum supergroups with arbitrary q and link polynomials. J. Math. Phys. 33 (1992), no. 11, 3918–3930. [25] Zhang, R. B., Finite-dimensional representations of Uq(osp(1/2n)) and its connection with quantum so(2n + 1). Lett. Math. Phys. 25 (1992), no. 4, 317–325. [26] Zhang, R. B., Universal L operator and invariants of the quantum supergroup Uq(gl(m/n)). J. Math. Phys. 33 (1992), no. 6, 1970–1979. [27] Zhang, R. B., Finite-dimensional irreducible representations of the quantum supergroup Uq(gl(m/n)). J. Math. Phys. 34 (1993), no. 3, 1236–1254. [28] Zhang, R. B., Finite-dimensional representations of Uq(C(n + 1)) at arbitrary q. J. Phys. A 26 (1993), no. 23, 7041–7059. [29] Zhang, R. B., Quantum supergroups and topological invariants of three-manifolds. Rev. Math. Phys. 7 (1995), no. 5, 809–831. [30] Zhang, R. B., The gl(M N) super Yangian and its finite-dimensional representations. Lett. Math. Phys. 37| (1996), no. 4, 419–434. [31] Zhang, R. B., Symmetrizable quantum affine superalgebras and their representations. J. Math Phys. 38 (1997), 535–543. [32] Zhang, R. B., Structure and representations of the quantum general linear supergroup. Commun. Math. Phys. 195 (1998) 525 – 547. [33] Zhang, R. B.; Bracken, A. J.; Gould, M. D., Solution of the graded Yang-Baxter equation associated with the vector representation of Uq(osp(M/2n)). Phys. Lett. B 257 (1991), no. 1-2, 133-139. [34] Zhang,R. B.; Gould, M. D.; Bracken, A. J., Solutionsof the graded classical Yang- Baxter equation and integrable models. J. Phys. A 24 (1991), 1185–1197. [35] Y.M. Zou, Integrable representations of Uq(osp(1, 2n)). J. Pure Appl. Algebra 130 (1998), no. 1, 99–112. VERTEXOPERATORREPRESENTATIONS 23

(Xu) School of Mathematics,Hefei University of Technology,Hefei, China

(Xu, Zhang) School of Mathematics and Statistics,University of Sydney, NSW 2006, Australia E-mail address: [email protected], [email protected]