arxiv: v1 [math.qa] 4 Jan 2014

Transcript

1 arxiv: v1 [math.qa] 4 Jan 2014 On the Center of Two-parameter Quantum Groups U r,s (so 2n+1 ) Naihong Hu and Yuxing Shi ABSTRACT. The paper mainly considers the center of two-parameter quantum groups U r,s(so 2n+1 ) via an analogue of the Harish-Chandra homomorphism. In the case when n is odd, the Harish-Chandra homomorphism is not inective in general. When n is even, the Harish-Chandra homomorphism is inective and the center of two-parameter quantum groups U r,s(so 2n+1 ) is described, up to isomorphism. 1. Introduction From down-up algebras approach ([BW1]), Benart-Witherspoon ([BW2]) recovered Taeuchi s definition of two-parameter quantum groups of type A. Since then, a systematic study of the two-parameter quantum groups has been going on, see, for instance, ([BW2], [BW3]) for type A; ([BGH1], [BGH2]) for types B, C, D; [HS], [BH] for types G 2, E 6, E 7, E 8. For a unified definition, see ([HP1], [HP2]). In this paper we determine the center of the two-parameter quantum groups of type B n when n is even. Much wor has been done on the center of quantum groups for finite-dimensional simple Lie algebras ([B], [D], [JL], [R], [RTF], [T]), and also for (generalized) Kac- Moody (super)algebras ([E], [Hong], [KT]), and for two-parameter quantum group of type A [BKL]. The approach taen in many of these papers (and adopted here as well) is to define a bilinear form on the quantum group which is invariant under the adoint action. This quantum version of the Killing form is often referred to in the one-parameter setting as the Rosso form (see [R]). The next step involves constructing an analogue ξ of the Harish-Chandra map. It is straightforward to show that the map ξ is an inective algebra homomorphism. The main difficulty lies in determining the image of ξ and in finding enough central elements to prove that the map ξ is surective. In the two-parameter case for type A n [BKL], a new phenomenon arises: the n odd and even cases behave differently Mathematics Subect Classification. Primary 17B37, 81R50; Secondary 17B35. Key words and phrases. two-parameter quantum group, Harish-Chandra homomorphism, Rosso form. N.H., Corresponding author, supported in part by the NNSF (Grant: ), the National & Shanghai Leading Academic Discipline Proects (Proect Number: B407). 1

2 2 HU AND SHI Additional central elements arise when n is even. As for type B n, we will show that ξ is an inective map only when n is even. The paper is organized as follows. In section 2, the definition of two-parameter quantum group U r,s (so 2n+1 ) and some related properties are given. In section 3, we introduce a Harish-Chandra homomorphism ξ, and prove that ξ is inective when n is even. In section 4, we determine the center of two-parameter quantum groups U r,s (so 2n+1 ) in the sense of isomorphisms when n is even. 2. U r,s (so 2n+1 ) and related properties 2.1. Definition of U r,s (so 2n+1 ). The definition of two-parameters quantum groups of type B was given in [BGH1]. HereK = Q(r, s) is a subfield ofcwith r, s C, r 2 +s 2 1, r s. Φ is the root system of so 2n+1 with Π a base of simple roots, which is a finite subset of a Euclidean space E = R n with an inner product (, ). Let ε 1,, ε n denote a normal orthogonal basis of E, then Π = {α i = ε i ε i+1, 1 i n 1, α n = ε n }, Φ = {±ε i ± ε, 1 i < n; ±ε, 1 n}. Denote r i = r (αi,αi), s i = s (αi,αi). DEFINITION 2.1. Let U = U r,s (so 2n+1 ) be the associative algebra overk generated by e i, f i, ω i ±1, ω i ±1 (i = 1,, n), subect to relations (B1) (B7): (B1) ω ±1 i, ω ±1 all commute with one another and ω i ω 1 i i, n. (B2) For 1 i n, 1 < n, there are the following identities: ω e i ω 1 ω n e n ω 1 n = r (ε,αi) s (ε+1,αi) e i, ω f i ω 1 ω n e ω 1 n = 1 = ω ω 1 = r (ε,αi) s (ε+1,αi) f i, = rn 2(εn,α) e, ω n f ωn 1 = rn 2(εn,α) f, = r(εn,αn) n sn (εn,αn) e n, ω n f n ωn 1 = r (εn,αn) n s (εn,αn) n f n. for 1 (B3) For 1 i n, 1 < n, there are the following identities: ω e iω 1 = s (ε,αi) r (ε+1,αi) e i, ω f iω 1 = s (ε,αi) r (ε+1,αi) f i, ω n e nω 1 n ω ne ω 1 n = s 2(εn,α) n e, ω nf ω n 1 = s 2(εn,α) n f, = s (εn,αn) n rn (εn,αn) e n, ω n f nω n 1 (B4) For 1 i, n, there are the following identities: [e i, f ] = δ i ω i ω i r i s i. (B5) For i > 1, there are (r, s)-serre relations: [e i, e ] = [f i, f ] = 0. (B6) For 1 i < n, 1 < n 1, there are (r, s)-serre relations: e 2 i e i+1 (r i + s i )e i e i+1 e i + (r i s i )e i+1 e 2 i = 0, = sn (εn,αn) r n (εn,αn) f n. e 2 +1e (r s 1 +1 )e +1e e +1 + (r 1 +1 s 1 +1 )e e 2 +1 = 0, e 3 n e n 1 (rn 2 = (rn 1 s 1 n )(rn 2 + r 1 n s 1 n + s 2 n )e2 n e n 1e n + rn 1 s 1 n + s 2 n )e n e n 1 e 2 n + (rn 3 s 3 n )e n 1 e 3 n.

3 ON THE CENTER OF TWO-PARAMETER QUANTUM GROUPS U r,s(so 2n+1) 3 (B7) For 1 i < n, 1 < n 1, there are (r, s)-serre relations: f i+1 f 2 i (r i + s i )f i f i+1 f i + (r i s i )f 2 i f i+1 = 0, f f 2 +1 (r s 1 +1 )f +1f f +1 + (r 1 +1 s 1 +1 )f 2 +1f = 0, f n 1 fn 3 (r 2 n = (rn 1 s 1 n )(rn 2 + r 1 n s 1 n + s 2 n )f nf n 1 fn 2 + rn 1 s 1 n + s 2 n )fnf 2 n 1 f n + (rn 3 s 3 n )f 3 nf n 1. The Hopf algebra structure on U r,s (so 2n+1 ) with the comultiplication, the counit and the antipode as follows (ω ±1 i ) = ω ±1 i ω ±1 i, (ω ±1 i ) = ω ±1 i ω ±1 i, (e i ) = e i 1 + ω i e i, (f i ) = 1 f i + f i ω i, ε(ω ±1 i ) = ε(ω ±1 i ) = 1, ε(e i ) = ε(f i ) = 0, S(ω ±1 i ) = ω 1 i, S(ω ±1 i ) = ω 1 i, S(e i ) = ω 1 i e i, S(f i ) = f i ω 1 i. Let Λ = n i=1 Z i be the weight lattice of so 2n+1, where i are the fundamental weights. Let Λ + = {λ Λ (α i, λ) 0, 1 i n} denote the set of dominant weights forso 2n+1. Q = n i=1 Zα i denote the root lattice and set Q + = n i=1 Z 0α i. U has a triangular decomposition U = U U 0 U +, where U 0 is the subalgebra generated by ω ± i, ω ± i, and U + (resp. U ) is the subalgebra generated by e i (resp. f i ). Let B (resp. B ) denote the Hopf subalgebra of U generated by e, ω ± (resp. f, ω ± ) with 1 n. PROPOSITION 2.1. [BGH1] There exists a unique sew-dual pairing, : B B K of the Hopf subalgebras B and B such that f i, e = δ i 1 s i r i, 1 i, n, ω i, ω = r 2(ε,αi) s 2(ε+1,αi), 1 i n, 1 < n, ω i, ω n = r 2(εn,αi), 1 i < n, ω ±1 i, ω 1 = ω ±1 i, ω 1 = ω i, ω 1, 1 i, n, ω n, ω n = rs 1. and all other pairs of generators are 0. Moreover, we have S(a), S(b) = a, b for a B, b B. COROLLARY 2.2. [BGH1] For ς = n i=1 ς iα i Q, the defining relations (B3) of U r,s (so 2n+1 ) can be written as ω ς e i ω 1 ς = ω i, ω ς e i, ω ς f i ω 1 ς = ω i, ω ς 1 f i, ω ςe i ω 1 ς = ω ς, ω i 1 e i, ω ςf i ω 1 ς = ω ς, ω i f i. Corresponding to any λ Q is an algebra homomorphism λ : U 0 K given by λ(ω ) = ω λ, ω, λ(ω ) = ω, ω λ 1. Associated with any algebra homomorphism

4 4 HU AND SHI ψ : U 0 K is the Verma module M(ψ) with highest weight ψ and its unique irreducible quotient L(ψ). When the highest weight is given by the homomorphism λ for λ Λ, we simply write M(λ) and L(λ) instead of M( λ) and L( λ). They all belong to category O, for more details, please refer to [BGH2]. LEMMA 2.3. [BGH2] Let υ λ be a highest weight vector of M(λ) for λ Λ +. Then the irreducible module L(λ) is given by / ( n L(λ) = L (λ) = M(λ) Uf (λ,α i )+1 i υ λ ). Let W be the Weyl group of the root system Φ, and σ i W the reflection associated to α i for each 1 i n. Thus, σ i (λ) = λ (λ, α i )α i, λ Λ. By [BGH2], L(λ) is a finite-dimensional U-module on which U 0 acts semi-simply. L(λ) = L(λ) µ, µ λ where µ : U 0 K is an algebra homomorphism, and L(λ) µ = {x L(λ) ω i.x = µ(ω i )x, ω i.x = µ(ω i )x, 1 i n}. LEMMA 2.4. [BGH2] (a) The elements e i, f i (1 i n) act locally nilpotently on U r,s (so 2n+1 )-module L (λ). (b) Assume that rs 1 is not a root of unity, V = Z V + λ α Ob(O) is a U r,s (sl 2 )-module for some λ Λ. If e, f act locally nilpotently on V, then dim K V <, and the weights of V are preserved under the simple reflection taing α to α. THEOREM 2.5. If λ Λ +, then dim L(λ) µ = dim L(λ) σ(µ), µ Λ, σ W. Proof. L(λ) = L (λ), U i a subalgebra generated by e i, f i, ω i, ω i, µ is a weight of L (λ), L i (µ) = U il (λ) µ = L i (µ) λ α i, where λ λ. By [BGH2] Lemma 2.15, Z + simple reflection σ i preserves weights of L i (µ), σ i(µ) is weight of both L i (µ) and L (λ). Since dim L (λ) µ dim L (λ) σi(µ) dim L (λ) µ, dim L (λ) µ = dim L (λ) σi(µ). So dim L (λ) µ = dim L (λ) σ(µ). DEFINITION 2.2. [BGH1] Bilinear form, U : U U K defined by F a ω µ ω υe β, F θ ω σ ω δe γ U = ω σ, ω υ ω µ, ω δ F θ, E β S 2 (F a ), E γ. This form is also called the Rosso form of the two-parameter quantum group U r,s (g). THEOREM 2.6. [BGH1] The Rosso form on U r,s (g) U r,s (g), U is ad l -invariant, i=1 that is, ad l (a)b, c U = b, ad l (S(a))c U for a, b, c U r,s (g). By Theorem 2.14 ([BGH1]), a, b U = 0, a U σ r,s (n ), b U δ r,s (n), σ, δ Q+, σ δ. THEOREM nondegenerate. 2.7 ([BGH1]). For β Q +, the sew pairing, on B β B β is

5 ON THE CENTER OF TWO-PARAMETER QUANTUM GROUPS U r,s(so 2n+1) 5 LEMMA 2.8. If µ, µ 1, ν, ν 1 Q +, then U ν (n )U 0 U µ (n + ), U ν1 (n )U 0 U µ1 (n + ) U = 0 µ = ν 1, ν = µ 1. Define a group homomorphism χ η,φ : Q Q K as follows χ η,φ (η 1, φ 1 ) = ω η, ω φ 1 ω η 1, ω φ, where (η, φ) Q Q, (η 1, φ 1 ) Q Q,K = K\{0}. LEMMA 2.9. Suppose r s l = 1 if and only if = l = 0. If χ η,φ = χ η,φ, then (η, φ) = (η, φ ). Proof: Let ζ = n ζ i α i. By definition, i=1 { r 2(ε i,ζ) s 2(εi+1,ζ), i < n, ω ζ, ω i = r 2(εn,ζ) (rs) ζi, i = n. { r 2(ε i+1,ζ) ω i, ω ζ 1 s 2(εi,ζ), i < n, = s 2(εn,ζ) (rs) ζi, i = n. It is easy to see that the conclusion is obvious for case i < n. For case i = n, χ η,φ (0, α i ) = ω η, ω i = r 2(εi,η) s 2(εi+1,η) = χ η,φ (0, α i) = r 2(εi,η ) s 2(εi+1,η ). By comparing the exponent of r, s, we get that (ε i, η η ) = 0, (ε i+1, η η ) = 0. So, η = η, and χ η,φ (α i, 0) = ω i, ω φ = r 2(εi+1,φ) s 2(εi,φ) = χ η,φ (α i, 0) = r 2(εi+1,φ ) s 2(εi,φ ). By comparing the exponent of r, s, we have (ε i, φ φ ) = 0, (ε i+1, φ φ ) = 0, i.e., φ = φ. on U. LEMMA If r s l = 1 = l = 0. Then Rosso form, U is nondegenerate Proof: We only have to prove that u U ν (n )U 0 U µ (n + ), u, v U = 0 for all v U µ (n )U 0 U ν (n + ), then u = 0. Let µ Q +, {u µ 1, uµ 2, uµ d µ } is a basis of U µ (n + ), dim U µ (n + ) = d µ. By Theorem 2.7, we can tae a dual basis of U µ (n ) as {v µ 1, vµ 2, vµ d µ }, that is, v µ i, uµ = δ i. Set {vi νω η ω φu µ 1 i dν, 1 d µ } is a basis of U ν (n )U 0 U µ (n + ). By definition of the Rosso form, Let u = v ν i ω η ω φu µ, vµ ω η 1 ω φ1 u ν l U = ω η, ω φ 1 ω η 1, ω φ v µ, uµ S2 (v ν i ), uν l i,,η,φ = δ δ il (rs 1 ) 2(ρ,ν) ω η, ω φ1 ω η 1, ω φ. θ i,,η,φ v ν i ω ηω φ u µ, v = vµ ω η 1 ω φ1 u ν l, 1 d µ, 1 l d ν, η 1, φ 1 Q, ρ is a half sum of positive roots. Because of u, v U = 0, we have (2.1) θ l,,η,φ (rs 1 ) 2(ρ,ν) ω η, ω φ 1 ω η 1, ω φ = 0. η,φ

6 6 HU AND SHI This identity also can reformulate as η,φ θ l,,η,φ (rs 1 ) 2(ρ,ν) χ η,φ = 0. By Dedeind Theorem (please ref to [BAI]), θ l,,η,φ = 0. So u = Harish-Chandra homomorphism We suppose r s l = 1 if and only if = l = 0 from now on. Denote by Z(U) the center of U r,s (so 2n+1 ). It is easy to see that Z(U) U 0. We also define an algebra automorphism γ ρ : U 0 U 0 as γ ρ (ω η ω φ) = ρ (ω η ω φ)ω η ω φ. DEFINITION 3.1. Harish-Chandra homomorphism ξ : Z(U) U 0 is the restricted map γ ρ π Z(U), γ ρ π : U 0 U 0 U 0, where π : U 0 U 0 is the canonical proection. THEOREM 3.1. When n is even, ξ : Z(U) U 0 is inective for U r,s (so 2n+1 ). Proof: Note that U 0 = U 0 K, where K = U ν (n )U 0 U +ν (n + ), K is the two-sided ideal in U 0 which is the ernel of π. As both π and γ ρ are algebra homomorphism, ξ is an algebra homomorphism. Assume that z Z(U) and ξ(z) = 0. Writing z = z ν with z ν U ν (n )U 0 U +ν (n + ), we have z 0 = 0. Fix any z ν 0 minimal ν Q + with the property that ν Q + \0. Also choose bases {y } and {x l } for U ν (n ) and U +ν (n + ), respectively. We may write z ν = y t,l x l, t,l U 0. Then,l ν>0 0 = e i z ze i = (e i z γ z γ e i ) + γ ν,l (e i y y e i )t,l x l +,l y (e i t,l x l t,l x l e i ). Note that e i y y e i U (ν αi) (η )U 0, and only (e i y y e i )t,l x l U (ν αi) (n )U 0 U +ν (n + ).,l Therefore, we have (e i y y e i )t,l x l = 0.,l By the triangular decomposition of U and the fact that {x l } is a basis of U +ν (n + ), we get e i y t,l = y e i t,l for each l and i. Now we fix l and consider the irreducible module L(λ) for λ Λ +. Let v λ be the highest weight vector of L(λ), and set m = y t,l v λ. Then for each i, e i m = e i y t,l v λ = y e i t,l v λ = 0.

7 ON THE CENTER OF TWO-PARAMETER QUANTUM GROUPS U r,s(so 2n+1) 7 Hence m generates a proper submodule of L(λ), which is contradict with the irreducibility of L(λ), so m = y λ(t,l )v λ = 0. ν = 1 α α n α n Q +, chose suitable λ = λ λ λ n n such that (λ, α i ) = λ i i. We might assume λ i > 0. By [BGH2] Theorem 2.12, y λ(t,l ) U ν (n ) y λ(t,l )v λ is inective, so y λ(t,l ) = 0. As {y } is a basis of U ν (n ), λ(t,l ) = 0. Let t,l = η,φ a η,φω ηω φ. We can claim: when n is even, λ(t,l ) = 0, λ, then t,l = 0. This claim also amounts to (3.1) λ(ω ηω φ ) = λ(ω ζω ψ ) η = ζ, φ = ψ. which is also equivalent to (3.2) λ(ω η ω φ) = 1 η = 0, φ = 0. This can be proved by induction. 4. The image of Z(U) under the Harish-Chandra homomorphism ξ Define an algebra homomorphism 0,λ : U 0 K for λ Λ by 0,λ (ω η ω φ) = (rs 1 ) (η+φ,λ). And define an algebra homomorphism λ,µ : U 0 K for λ, µ Λ by λ,µ (ω η ω φ) = λ,0 (ω η ω φ) 0,µ (ω η ω φ) = λ(ω η ω φ) 0,µ (ω η ω φ). LEMMA 4.1. Let u = ω ηω φ, η, φ Q for arbitrary two-parameter quantum group of type B n. If λ,µ (u) = 1 for all λ, µ Λ, then u = 1. Proof: Denote η = η 1 α 1 + η 2 α η n α n, φ = φ 1 α 1 + φ 2 α φ n α n, 0, i (ω ηω φ ) = (rs 1 ) (η+φ, i) = 1 = η i + φ i = 0, i, i,0 (ω ηω η ) = (s 2 r 2 ) (αi,ωi)ηi = 1 = η i = 0, i. This completes the proof. COROLLARY 4.2. If u U 0, λ,µ (u) = 0 for all (λ, µ) Λ Λ, then u = 0. Proof: (λ, µ) λ,µ (ω η ω φ), (η, φ) Q Q is the character over group Λ Λ. It follows from Lemma 4.1 that different (η, φ) give rise to different characters. Suppose now that u = θ η,φ ω η ω φ, where θ η,φ K. By assumption, θ η,φ λ,µ (ω η ω φ) = 0 for all (λ, µ) Λ Λ. By the linear independence of different characters, θ η,φ = 0, u = 0. Let U 0 = Kω η ω η, define the action of Weyl group on U 0 by σ(ω η ω η) = η Q ω σ(η) ω σ(η), for all σ W, η Q. THEOREM 4.3. We have σ(λ),µ (u) = λ,µ (σ 1 (u)) for arbitrary two-parameter quantum group of type B n, where u U 0, σ W and λ, µ Λ.

8 8 HU AND SHI Proof: We only need to prove this theorem for u = ω η ω η. First, we claim that σ(λ),0 (u) = λ,0 (σ 1 (u)) for all λ Λ, σ W. This can be checed for each σ i and u = ω η ω η. We prove 0,µ (u) = 0,µ (σ 1 (u)) in the following. 0,µ (ω η1 1 ω η2 2 ω η1 1 ω η2 2 ) = (0,(µ µ2)α1+(µ1+µ2)α2) (ω η1 1 ω η2 2 ω η1 1 ω η2 2 ) =(rs 1 ) ((µ µ2)α1+(µ1+µ2)α2,0) =1, 0,µ (σ 1 (ω η1 1 ω η2 2 ω η1 1 ω η2 2 )) = 1. σ(λ),µ (u) = σ(λ),0 (ω η1 1 ω η2 2 ω η1 1 ω η2 2 ) 0,µ (ω η1 1 ω η2 2 ω η1 1 ω η2 2 ) = λ,0 (σ 1 (ω η ω η)) 0,µ (σ 1 (ω η ω η)) = λ,µ (σ 1 (ω η1 1 ω η2 2 ω η1 1 ω η2 2 )) = λ,µ (σ 1 (ω η ω η)), for all u U 0, σ(λ),µ (u) = λ,µ (σ 1 (u)). Let us define (U 0 )W = {u U 0 σ(u) = u, σ W }, κ η,φ (λ, µ) = λ,µ (ω η ω φ) and κ i ζ,ψ (λ, µ) = σi(λ),µ (ω ζ ω ψ), (λ, µ) Λ Λ. LEMMA 4.4. As for two-parameters quantum groups of type B 2n, if u U 0, σ(λ),µ (u) = λ,µ (u), for λ, µ Λ and σ W. Then u (U 0 )W. Proof: If u = Σ η,φ θ η,φ ω η ω φ U 0, such that σ(λ),µ (u) = λ,µ (u), for all λ, µ Λ and σ W. Identity θ η,φ λ,µ (ω ηω φ ) = θ ζ,ψ σi(λ),µ (ω ζ ω ψ) can be rewritten as (4.1) (η,φ) (ζ,ψ) θ η,φ κ η,φ = θ ζ,ψ κ i ζ,ψ. (η,φ) (ζ,ψ) By Lemma 4.1, both sides of identity (4.1) are linear combinations of different characters on Λ Λ. If θ η,φ 0, then κ η,φ = κ i ζ,ψ, for some (ζ, ψ) Λ Λ. (4.2) (4.3) (4.4) therefore, Let η = η α, φ = φ α, ζ = ζ α, ψ = ψ α for 1 n, then κ η,φ (0, ) = 0, (ω η ω φ) = (rs 1 ) (η+φ, ) = κ i ζ,ψ(0, ) = 0, (ω ζ ω ψ) = (rs 1 ) (ζ+ψ, ), (4.5) η + φ = ζ + ψ.

9 ON THE CENTER OF TWO-PARAMETER QUANTUM GROUPS U r,s(so 2n+1) 9 By expanding κ η,φ ( i, 0) = κ i ζ,ψ ( i, 0), we get (s 2 r 2 ) ηi ζi = (s 2 r 2 ) (αi 1, αi)ζi 1+(αi, αi)ζi+(αi+1, αi)ζi+1 αi (ω ζ+ψ ). Comparing the index of both sides, it is not difficult to reach the conclusion ζ i + ψ i = 0 ( 1 i n), when n is an even number. So u U 0. By Theorem 4.3, λ,µ (u) = σ(λ),µ (u) = λ,µ (σ 1 (u)), for all λ, µ Λ and σ W. So u = σ 1 (u), u (U 0)W. THEOREM 4.5. For type B n, λ+ρ,µ (ξ(z)) = σ(λ+ρ),µ (ξ(z)). Especially, when n is even, ξ(z(u)) (U 0 )W. Proof: If z Z(U), choose suitable λ, µ Λ such that (λ, α i ) 0 for some fixed i. Denote by v λ,µ M( λ,µ ) the highest weight vector. zv λ,µ = π(z)v λ,µ = λ,µ (π(z))v λ,µ = λ+ρ,µ (ξ(z))v λ,µ. So z acts on M( λ,µ ) with scalar λ+ρ,µ (ξ(z)). By Lemma 2.6 in [BGH2], (4.6) e i f (λ,α i )+1 i v λ,µ = [(λ, α i ) + 1] i f (λ,α i ) r (λ,α i ) i ω i s (λ,α i ) i ω i i v λ,µ. r i s i ( ) r (λ,α i ) i ω i s (λ,α i ) i ω i v λ,µ ( ) = r (λ,α i ) i λ,µ (ω i ) s (λ,α i ) i λ,µ (ω i ) v λ,µ ( ) = r (λ,α i ) i λ,0 (ω i ) s (λ,α i ) i λ,0 ( i) 0,µ (ω i )v λ,µ = 0. So e f (λ,α i )+1 i v λ,µ = 0. zf (λ,α i )+1 i v λ,µ = π(z)f (λ,α i )+1 i z acts on M( λ,µ ) by scalar σi(λ+ρ),µ (ξ(z)). So v λ,µ = σi(λ+ρ) ρ,µ (π(z))f (λ,α i )+1 i v λ,µ = σi(λ+ρ),µ (ξ(z))f (λ,α i )+1 i v λ,µ. (4.7) λ+ρ,µ (ξ(z)) = σi(λ+ρ),µ (ξ(z)). Now let us prove that (4.7) is true for arbitrary λ Λ. If (λ, α i ) = 1, then λ + ρ = σ i (λ + ρ), (4.7) is true. If (λ, α i ) < 1, let λ = σ i (λ + ρ) ρ, then (λ, α i ) 0, λ such that (4.7) exists. Putting λ = σ i (λ + ρ) ρ on (4.7), we can get the required formula. Since the Weyl group is generated by σ i s, so (4.8) λ+ρ,µ (ξ(z)) = σ(λ+ρ),µ (ξ(z)), for all λ, µ Λ, σ W. By Lemma 4.4, the proof is complete.

10 10 HU AND SHI 5. ξ is an algebra isomorphism for U r,s (so 4n+1 ) LEMMA 5.1. z Z(U) if and only if ad l (x)z = (ι ε(x))z for all x U. ε : U K is the counit of U, ι : K U is the unit map of U. Proof: z Z(U) for all x U, ad l (x)z = x (1) zs(x (2) ) = z x (1) S(x (2) ) = (ι ε)(x)z. (x) (x) On contrary, if ad l (x)z = (ι ε)(x)z, for all x U, then For the same reason, ω i z(ω i ) 1 = z, and ω i zω 1 i = ad l (ω i )z = (ι ε)(ω i )z = z. 0 = (ι ε)(e i )z = ad l (e i )z = e i z + ω i z( ω 1 i )e i = e i z ze i 0 = (ι ε)(f i )z = ad l (f i )z = z( f i (ω i) 1 ) + f i z(ω i) 1 = (f i z zf i )(ω i) 1. So z Z(u). LEMMA 5.2. Suppose Ψ : U µ (n ) U ν (n + ) K is a bilinear function, (η, φ) Q Q. There exits a u U ν (n )U 0 U µ (n + ) such that (5.1) u, yω η 1 ω φ1 x U = ω η 1, ω φ ω η, ω φ 1 Ψ(y, x), for all x U ν (n + ), y U µ (n ). Proof: Let µ Q +, {u µ 1, uµ 2,, uµ d µ } be a basis of U µ (n + ), {v µ 1, vµ 2,, vµ d µ } be a basis of U µ (n ) such that v µ i, uµ = δ i. Let u = i, Ψ(v µ, uν i )v ν i ω ηω φ u µ (rs 1 ) 2(ρ,ν). It is easy to chec that u satisfies identity (5.1). Define a U-module structure on U as f U, (x.f)(v) = f(ad(s(x))v). Let β : U U, (5.2) β(u)(v) = u, v U u, v U. By the non-degeneracy of, U, β is inective. DEFINITION 5.1. M is a finite dimensional U-module. Define C f,m U, C f,m (v) = f(v.m), v U, for m M and f M. THEOREM 5.3. M is a finite dimensional U-module and M = λ wt(m) M λ = { m M (ω i λ(ω i ))m = 0, (ω i λ(ω i ))m = 0}. for f M, m M, there exists a unique u U such that C f,m (v) = u, v U for all v U. M λ,

11 ON THE CENTER OF TWO-PARAMETER QUANTUM GROUPS U r,s(so 2n+1) 11 Proof: From the non-degeneracy of, U, it is easy to see that the existence of u is unique. Suppose m M λ, v = yω η 1 ω φ1 x, x U ν (n + ), y U µ (n ), (η 1, φ 1 ) Q Q, C f,m (v) = C f,m (yω η 1 ω φ1 x) = f(yω η 1 ω φ1 x.m) (y, x) f(y.x.m) is a bilinear function, = λ+ν (ω η 1 ω φ1 )f(y.x.m). λ+ν (ω η 1 ) = ω η 1, ω λ+ν 1, λ+ν (ω φ1 ) = ω λ+ν, ω φ 1. So, C f,m (v) = ω η 1, ω λ ν ω λ+ν, ω φ 1 f(y.x.m). By Lemma 5.2, there exists u νµ such that C f,m (v) = u νµ, v U for all v U µ (n )U 0 U ν (n + ). Now for arbitrary v U, v = µ,ν v µν, where v µν U µ (n )U 0 U ν (n + ). Because M is finite dimensional, there exists a finite set Ω such that ( C f,m (v) = C f,m v µν ), v U. Let u = (µ,ν) Ω u νµ, then C f,m (v) = C f,m ( = (µ,ν) Ω = u, v U. (µ,ν) Ω (µ,ν) Ω ) v µν = (µ,ν) Ω u νµ, v µν U = (µ,ν) Ω C f,m (v µν ) u νµ, v U This completes the proof. Suppose M is a module in the category O, and define a linear transformation Θ : M M, (5.3) for all m M λ, λ Λ. Θ(m) = (rs 1 ) 2(ρ,λ) m, LEMMA 5.4. Θu = S 2 (u)θ, for all u U. Proof: We only need to chec it for the generators e i, f i, ω i and ω i. For any m M λ, we have S 2 (e i )Θ(m) = S 2 (e i )(rs 1 ) 2(ρ,λ).m = ω 1 i e i ω i (rs 1 ) 2(ρ,λ).m 1 = ω i, ω i (rs 1 ) 2(ρ,λ).m = (rs 1 ) 2(ρ,λ+αi) e i.m = Θ(e i.m), 1 i < n.

12 12 HU AND SHI S 2 (f i )Θ.m = S 2 (f i )(rs 1 ) 2(ρ,λ).m = ω if i ω 1 i (rs 1 ) 2(ρ,λ).m = ω i, ω i (rs 1 ) 2(ρ,λ) f i.m = (rs 1 ) 2(ρ,λ αi) f i.m, = Θ(f i.m), 1 i < n. S 2 (e n )Θ(m) = ω 1 n e nω n (rs 1 ) 2(ρ,λ).m = 1 ω n, ω n (rs 1 ) 2(ρ,λ) e n.m = (rs 1 ) 2(ρ,λ+αn) e n.m = Θ(e n.m). S 2 (f n )Θ(m) = ω n f nω 1 n (rs 1 ) 2(ρ,λ).m = ω n, ω n (rs 1 ) 2(ρ,λ) f n.m = (rs 1 ) 2(ρ,λ αn) e n.m = Θ(f n.m). Θ(ω i.m) = λ(ω i )(rs 1 ) 2(ρ,λ) m, S 2 (ω i )Θ.m = λ(ω i )(rs 1 ) 2(ρ,λ) m, Θ(ω i.m) = λ(ω i)(rs 1 ) 2(ρ,λ) m, S 2 (ω i)θ.m = λ(ω i)(rs 1 ) 2(ρ,λ) m, Θ(e i.m) = S 2 (e i )Θ(m), Θ(ω i.m) = S 2 (ω i )Θ(m), Θ(f i.m) = S 2 (f i )Θ(m), Θω i.m = S 2 (ω i)θ(m). So Θu = S 2 (u)θ. For λ Λ, define f λ U, f λ (u) = tr L(λ) (uθ), u U. LEMMA 5.5. If λ Λ + Q, then f λ Im(β). Proof: Let = dim L(λ), {m i } is a basis of L(λ), {f i } is the dual basis of L(λ). vθ(m i ) = f (vθ(m ))m = C f,θ(m )(v)m =1 =1 f λ (v) = tr L(λ) (vθ) = C fi,θ(m i)(v). By Theorem 5.2, there is a u i U such that C fi,θ(m i)(v) = u i, v U for all 1 i. Let u = u i, i=1 β(u)(v) = u, v U = So f λ Im(β). i=1 i=1 u i, v U = C fi,θ(m i)(v) = f λ (v). i=1 THEOREM 5.6. For λ Λ + Q, z λ := β 1 (f λ ) Z(U).

13 ON THE CENTER OF TWO-PARAMETER QUANTUM GROUPS U r,s(so 2n+1) 13 Proof: For all x U, (S 1 (x)f λ )(u) = f λ (ad(x)u) ( ) = tr L(λ) x (1) us(x (2) )Θ (x) ( = tr L(λ) u S(x (2) )Θ(x (1) ) (x) ( = tr L(λ) u ) S(x (2) )S 2 (x (1) )Θ (x) ( = tr L(λ) (us (x) ) ) S(x (1) )x (2) )Θ = (ι ε)(x)tr L(λ) (uθ) = (ι ε)(x)f λ (u). Replacing x with S(x) in the above identity and noticing that ε S = ε, we can get xf λ = (ι ε)(x)f λ. Indeed, we have xf λ = xβ(β 1 (f λ )) = β(ad(s(x))β 1 (f λ )), (ι ε)(x)f λ = (ι ε)(x)β(β 1 (f λ )) = β((ι ε)(x)β 1 (f λ )). Because β is inective, ad(s(x))β 1 (f λ ) = (ι ε)(x)β 1 (f λ ). Since ε S 1 = ε, replacing x with S 1 (x) in the above formula, we get ad(x)β 1 (f λ ) = (ι ε)(x)β 1 (f λ ), for all x U. By Lemma 5.1, β 1 (f λ ) Z(U). THEOREM 5.7. As for two-parameter quantum groups of type B 2n, if r s l = 1 = l = 0, then ξ : Z(U) (U 0)W is an algebra isomorphism. Proof: z λ = β 1 (f λ ), for λ Λ + Q z λ = z λ,ν, z λ,0 = θ η,φ ω ηω φ. ν 0 (η,φ) Q Q Here z λ,ν U ν (n )U 0 U ν (n + ) and θ η,φ K. (η i, φ i ) Q Q, z λ, ω η i ω φi U = z λ,0, ω η i ω φi = θ η,φ ω η i, ω φ ω η, ω φi. η,φ On the other hand, z λ, ω η i ω φi U = β(z λ )(ω η i ω φi ) = f λ (ω η 1 ω φi ) = tr L(λ) (ω η i ω φi Θ) = µ λ dim(l(λ) µ )(rs 1 ) 2(ρ,µ) µ(ω η i ω φi ) = µ λ dim(l(λ) µ )(rs 1 ) 2(ρ,µ) ω η i, ω µ ω µ, ω φ i. It can be rewritten as (η,φ) θ η,φ χ η,φ = µ λ dim(l(λ) µ )(rs 1 ) 2(ρ,µ) χ µ, µ.

14 14 HU AND SHI So dim(l(λ) µ )(rs 1 ) 2(ρ,µ), η + φ = 0, θ η,φ = 0, otherwise. (5.4) z λ,0 = µ λ(rs 1 ) 2(ρ,µ) dim(l(λ) µ )ω µ ω µ, ξ(z λ ) = γ ρ (z λ,0 ) = µ λ(rs 1 ) 2(ρ,µ) dim(l(λ) µ ) ρ (ω µω µ )ω µω µ = µ λ dim(l(λ) µ )ω µω µ. (5.5) We only need to prove (U 0 )W ξ(z(u)). Let λ Λ + Q, define av(λ) = 1 W σ W σ(ω λ ω λ) = 1 W ω σ(λ) ω σ(λ). For arbitrary η Q, there exists σ W such that σ(η) Λ + Q, so { av(λ) λ Λ + Q } is a basis of (U 0 )W. Right now we only need to prove av(λ) Im(ξ). By induction on the height of λ, when λ = 0, av(λ) = 1 = ξ(1), since dim L(λ) µ = dim L(λ) σ(µ), for all σ W, dim L(λ) λ = 1. σ W ξ(z λ ) = W av(λ) + W dim(l(λ) µ) )av(µ), where µ < λ, µ Λ + Q. By induction, av(λ) Im(ξ). So (U 0 )W ξ(z(u)). References [BH] X.T. Bai and N. Hu, Two-parameter quantum groups of exceptional type E-series and convex PBW type basis, Algebra Colloq. 15:4 (2008), [B] P. Baumann, On the center of quantized enveloping algebras, J. Algebra, 203 (1) (1998), [BAI] N. Jacobson, Basic Algebra I, Publisher: W. H. Freeman & Co. (Sd); 2nd-edition (February 1985). [BW1] G. Benart, S. Witherspoon, A Hopf structure for down-up algebras, Math Z., 238(3): (2001). [BW2] G. Benart, S. Witherspoon, Two-parameter quantum groups and Drinfel d doubles, Algebra Represent. Theory, 7: (2004). [BW3] G. Benart, S. Witherspoon, Representations of two-parameter quantum groups and Schur-Weyl duality, In: Hopf Algebras, Lecture Notes in Pure and Appl Math, vol. 237, New Yor: Deer, 2004, [BW4] G. Benart, S. Witherspoon, Restricted two-parameter quantum groups, In: Fields Institute Communications. In: Representations of Finite Dimensional Algebras and Related Topics in Lie Theory and Geometry, vol. 40. Providence: Amer. Math. Soc., 2004, [BKL] G. Benart, S.J. Kang and K.H. Lee, On the center of two-parameter quantum groups, Proc. Roy. Soc. Edi. Sect. A., 136 (3)(2006), [BGH1] N. Bergeron, Y. Gao and N. Hu, Drinfel d doubles and Lusztig s symmetries of two-parameter quantum groups, J. Algebra 301 (2006), [BGH2] N. Bergeron, Y. Gao and N. Hu, Representations of two-parameter quantum orthogonal groups and symplectic groups, AMS/IP, Studies in Advanced Mathematics, vol. 39, 1 21, [D] V.G. Drinfeld, On almost cocommutative Hopf algebras, Leningrad Math. J., 1 (2) (1991),

15 ON THE CENTER OF TWO-PARAMETER QUANTUM GROUPS U r,s(so 2n+1) 15 [DJ] J. Duan, On the center of two-parameter quantum group U r,s(so 5 ), Master s Thesis of ECNU, [E] P.I. Etingof, Central elements for quantum affine algebras and affine Macdonald s operators, Math. Res. Lett., 2 (1995), [Hong] J. Hong, Center and universal R-matrix for quantized Borcherds superalgebras, J. Math. Phys., 40 (1999), [HP1] N. Hu and Y. Pei, Notes on two-parameter quantum groups, (I), Sci. in China, Ser. A. 51 (6) (2008), [HP2] N. Hu and Y. Pei, Notes on two-parameter quantum groups, (II), (arxiv: v2), Comm. Algebra 40 (9)(2012), [HRZ] N. Hu, M. Rosso and H. Zhang, Two-parameter affine quantum group, Drinfel d realization and quantum affine Lyndon basis, Comm. Math. Phys. 278 (2) (2008), [HS] N. Hu and Q. Shi, The two-parameter quantum groups of exceptional type and Lusztig symmetries, Pacific J. Math., 230 (2), [HW] N. Hu and X. Wang, Convex PBW-type Lyndon basis and restricted two-parameter quantum groups of type B, J. Geom. Phys. 60 (3) (2010), [JL] A. Joseph, G. Letzter, Separation of variables for quantized enveloping algebras, Amer. J. Math., 116 (1) (1994), [KT] S.J. Kang, T. Tanisai, Universal R-matrices and the center of quantum generalized Kac-Moody algebras, Hiroshima Math. J. 27 (2) (1997), [RTF] N.Y. Reshetihin, L.A. Tahtadzhyan, L.D. Faddeev, Quantization of Lie groups and Lie algebras, Algebra i analiz, 1 (1) (1989), [R] M. Rosso Analogues de la forme de Killing et du théoréme d Harish-Chandra pour les groupes quantiques, Ann. Sci. l Ecole Norm. Sup. (4), 23 (3) (1990), [T] T. Tanisai, Killing forms, Harish-Chandra isomorphisms, and universal R-matrices for quantum algebras, Infinite Analysis, Part A, B (Kyoto, 1991), , Adv. Ser. Math. Phys., 16, World Sci. Publ., River Edge, NJ, DEPARTMENT OF MATHEMATICS, SHANGHAI KEY LABORATORY OF PURE MATHEMATICS AND MATH- EMATICAL PRACTICE, EAST CHINA NORMAL UNIVERSITY, MIN HANG CAMPUS, DONG CHUAN ROAD 500, SHANGHAI , PR CHINA address: nhhu@math.ecnu.edu.cn DEPARTMENT OF MATHEMATICS, SHANGHAI KEY LABORATORY OF PURE MATHEMATICS AND MATH- EMATICAL PRACTICE, EAST CHINA NORMAL UNIVERSITY, MIN HANG CAMPUS, DONG CHUAN ROAD 500, SHANGHAI , PR CHINA address: @student.ecnu.cn