Positive Casimir and Central Characters of Split Real Quantum Groups

(1)

Digital Object Identifier (DOI) 10.1007/s00220-016-2639-2

Mathematical Physics

Positive Casimir and Central Characters of Split Real Quantum Groups

Ivan C. H. Ip

Kavli Institute for the Physics and Mathematics of the Universe (WPI), The University of Tokyo, Kashiwa, Chiba 277-8583, Japan. E-mail: ivan.ip@ipmu.jp

Received: 27 March 2015 / Accepted: 13 February 2016

Published online: 23 May 2016 – © Springer-Verlag Berlin Heidelberg 2016

Dedicated to the memory of my grandfather N. Y. Wong (1926–2015)

Abstract: We describe the generalized Casimir operators and their actions on the positive representationsP_λ of the modular double of split real quantum groupsUqq(g_R).

We introduce the notion of virtual highest and lowest weights, and show that the central characters admit positive values for all parametersλ. We show that their image defines a semi-algebraic region bounded by real points of the discriminant variety independent ofq, and we discuss explicit examples in the lower rank cases.

Contents

1. Introduction . . . 858

2. Preliminaries . . . 860

2.1 Notation for roots and weights . . . 860

2.2 Definition ofUq(g)andUqq(g_R) . . . 862

2.3 Positive representations ofUqq(g_R). . . 863

2.4 Universal Rmatrices forUq(g) . . . 865

3. The Case ofUqq(sl(2,R)) . . . 867

4. Generalized Casimir Operators . . . 868

5. Virtual Highest and Lowest Weights. . . 870

6. Central Characters . . . 875

7. Discriminant Variety . . . 877

7.1 Type An . . . 878

8. Examples in Low Ranks . . . 878

8.1 Type A1 . . . 879

8.2 Type A2 . . . 879

8.3 Type A3 . . . 880

8.4 Type B2 . . . 880

8.5 Type B3 . . . 881

8.6 TypeC3 . . . 883

(2)

8.7 TypeD4 . . . 884

8.8 TypeG2 . . . 884

A. Dimensions of Fundamental Representations . . . 885

B. Boundary Regions of Central Characters . . . 887

References. . . 887 1. Introduction

The notion of thepositive principal series representations, or simplypositive representa- tions, was introduced in [9] as a new research program devoted to the representation the- ory of split real quantum groupsUqq(g_R). It uses the concept of modular double for quantum groups [5,6], and has been studied forUqq(sl(2,R))by Teschner et al. [1,26,27].

Explicit construction of the positive representationsP_λofUqq(g_R)associated to a simple Lie algebraghas been obtained for the simply-laced case in [13] and non-simply-laced case in [14], where the generators of the quantum groups are realized by positive essentially self-adjoint operators. Furthermore, since the generators are represented by positive operators, we can take real powers by means of functional calculus, and we obtained the so-calledtranscendental relationsof the (rescaled) generators (cf. (2.29)):

ei =e

1 b2 i

i , fi =f

1 b2 i

i , Ki =K

1 b2 i

i , i =1, . . . ,n (1.1) wheren=rankg, giving the self-duality between different parts of the modular double, while in the non-simply-laced case, new explicit analytic relations between the quantum group and its Langlands dual have been observed [14].

One important open problem is the study of the tensor product decompositions of the positive representationP_λ⊗P_μ. It is believed that the positive representations are closed under taking tensor product, which, together with the existence of the universal Roperator [15], lead to the construction of new classes ofbraided tensor categoryand hence to further applications parallel to those from the representation theory of compact quantum groups. In a recent work [17], we studied the tensor product decomposition restricted to the positive Borel partUqq(b_R),which is defined in theC^∗-algebraic setting by certain multiplier Hopf-* algebra, and we show that the decomposition is closely related to the so-called quantum higher Teichmüller theory [7,8], and provides evidences for the decomposition of the full quantum group in general. However, taking the full quantum group into account is much more difficult. In the case ofUqq(sl(2,R)), this was accomplished in [25,27] by means of the decomposition of the Casimir operator

C=F E+ q K+q⁻¹K⁻¹

(q−q⁻¹)² , (1.2)

which is central inUqq(sl(2,R))and its spectral decomposition inP_λ⊗P_μuniquely determines its decomposition into positive representations. Therefore we are interested in the higher rank situation by looking at the appropriate central elements and study its spectral decomposition.

One important object to study in any representation theory is the notion ofcentral characters, i.e., the action of the center of the algebra on irreducible representations, which necessarily act as scalars. It is well-known that the center ofUq(g)is generated by rankgelements, which we called the generalized Casimir operators. In this paper, we will take thesameset of generators of the center of the compactUq(g)as our generalized

(3)

Casimir operators for the split real quantum groupUqq(g_R). We calculate the eigenvalues of the generalized Casimir operators acting on the positive representationP_λ, which is irreducible. Their actions are well-defined on the core ofP_λ, which extends to the domain of definition of the unbounded operators represented by the generators{ei,fi,Ki}of the split real quantum group.

There are many ways to choose the generating set of the center as the generalized Casimir operators [4,28,32]. In this paper, we will use a modified version from [21] and define

Ck =T r|^q_V_k(R R21), k=1, . . . ,n, (1.3) whereVkis the fundamental representations of thecompactquantum groupUq(g),Ris the universal Rmatrix, andT r^qis the quantum trace taken over the representationVi

ofUq(g). However, in our construction,T r^qis twisted instead by a central elementu that is related to the antipode of themodular doubleUqq(g_R). These operatorsCk are then acted on the positive representationsP_λas certain scalars. Our main result is the following (Theorem6.2)

Main Theorem. The operatorsCkacts onPλas scalars Ck(λ)which are positive,and bounded below bydimVkfor every parametersλ=(λ1, . . . , λn)∈Rⁿ_≥₀.Furthermore, they can be given by the Weyl character formula.

We also note that unlike the case of compact quantum groups, by rescaling the parametersλi, the eigenvaluesCk(λ)areindependentonq. Together with the conjecture that the positive representations should be closed under tensor products [16], this implies Conjecture 1.1.The coproduct(Ck)of the generalized Casimir operatorsCk acting on Pλ⊗Pμ is a positive operator,with spectrum bounded below bydimVk for all k=1, . . . ,n,and they can be simultaneously diagonalized.

Therefore we will call these generalized Casimir operators thepositive Casimirsof the modular double of split real quantum groupsUqq(g_R). In particular, we believe that just like the case inUqq(sl(2,R)), the decomposition of these operators in the tensor product will give explicitly the decomposition ofPλ⊗Pμ.

In the classical case, one calculates the eigenvalues ofCk by acting on the highest weight vector, which kills the non-Cartan part, giving the (quantum) Harish-Chandra homomorphism projecting onto the Cartan part, where the eigenvalues can be calculated by the information from the highest weight. In the case of positive representation, the situation is fundamentally different because the representationPλis infinite dimensional, and we do not have a highest or lowest weight vector. In this paper, we introduced the notion ofvirtual highest/lowest weightto deal with this problem, which follows from a new combinatorial description of the positive roots (Proposition5.4)

si₁si₂· · ·si_t(αk)=αk− t

j=1

ai_jksi₁si₂· · ·si_j₋₁(αi_j), (1.4) wheresi are the root reflections,αkare the positive simple roots, andai jare the Cartan matrix elements.

We observed two aspects that might relate the results of the split real case to that of the compact case. Using the virtual highest and lowest weights, we found that each component of these weights look like certain analytic continuation to the complex line

(4)

Q

2 +iR⁺_>₀. On the other hand, we also note that the calculations of the action of the generalized Casimir operators depend solely on the information provided by the finite dimensional fundamental representations of the compact quantum groups. This interplay between (finite dimensional) representationsVkof the compact group, and its action on the (infinite dimension) positive representationsPλof the split real quantum group is interesting on its own. We believe that these concepts can be carried further to provide more analogous results from the compact quantum groups to their split real version, including the tensor product decomposition and categorification, by means of certain analytic continuations. These will be explored further in separate publications.

Finally, to study the spectral decomposition of the tensor product of Casimir operators, one is interested in the regionRdefined by the eigenvalues of these operators. This is the region defined by the image of

:Rⁿ_≥0 −→Rⁿ_≥0 (1.5)

(λ1, . . . , λn)→(C1(λ), . . . ,Cn(λ)),

and it turns out that the image is a semi-algebraic set bounded by the so-calleddiscrimi- nant variety(ordivisor) [10,30,31], which is studied extensively from a totally different point of view in the theory ofprimitive forms. This provides a homeomorphism between the positive Weyl chamber with the imageR, and the origin is mapped to a cusp-like singularity, given at(d1, . . . ,dn)wheredkis the dimension of the fundamental represen- tationsVk. Furthermore, these images are againindependenton the choice of the quantum parameterq. We will provide the descriptions of these regions in the rank 2 and 3 cases, together with some explicit expressions of the generalized Casimir operators themselves.

The paper is organized as follows. In Sect.2, we fixed the notation for roots systems and the Drinfeld–Jimbo quantum groups, and recall the definition of positive representations of split real quantum groups as well as the construction of the universal R matrix. In Sect.3, we recall the situation inUqq(sl(2,R))due to [1,27]. In Sect.4we discuss the construction of the generalized Casimir operators. In Sect.5, we introduce the notion of virtual highest and lowest weight in order to calculate the central characters of the Casimirs in Sect.6. Finally, in Sect.7, we describe the regions defined by the central characters of the generalized Casimir operators, and discuss in Sect.8some explicit examples in the low rank cases. In the appendix we recall the dimensions of the fundamental representationsVkand also provide the graphs ofRin lower rank cases.

2. Preliminaries

Throughout the paper, we will fix once and for allq =e^π^ib²withi=√

−1, 0<b²<1 andb²∈R\Q. We also denote byQ=b+b⁻¹. Also letI = {1,2, . . . ,n}denotes the set of nodes of the Dynkin diagram of the simple Lie algebragwheren=r ank(g).

2.1. Notation for roots and weights.

Definition 2.1.Let(−,−)be theW-invariant inner product of the root lattice whereW is the Weyl group of the Cartan datum. Letαi ∈⁺,i∈ I be the positive simple roots, and we define

ai j := 2(αi, αj)

(αi, αi) , (2.1)

where A=(ai j)is the Cartan matrix.

(5)

Definition 2.2.We denote by Hi ∈ hthe coroot corresponding to the positive simple rootαi. The fundamental weightswi ∈h^∗_Rare dual to the simple coroots and are given by

wi :=

(A⁻¹)j iαj, (2.2)

such that(wi, α^∨_j)=δi j, where the corootHj :=α^∨_j := _(α²^α^j

j,αj) in the root lattice.

Similarly, we denote the corresponding fundamental coweightsWi ∈h_Rin the real span ofhdual to the simple roots by

Wi :=

(A⁻¹)i jHj. (2.3)

Definition 2.3.We let

ρ:= 1 2

α∈⁺

α=

i

wi =

i

diWi (2.4)

be the half sum of positive roots, or equivalently, the sum of fundamental weights, or the rescaled sum of fundamental coweights, wheredi =^(αⁱ₂^,αⁱ⁾.

Definition 2.4.For(λ1, . . . , λn)∈Rⁿandbj ∈R, let

−

→λb :=

n j=1

λjbjWj ∈h_R (2.5)

be a vector in the real span ofh.

Proposition 2.5.The Weyl group action on the positive simple roots are given by

si·αj =αj −ai jαi, (2.6)

where si ∈W is the simple reflection corresponding to the rootαi. Then

si·Wj =Wj−δi jα^∨_j =Wj −δi j

n k=1

aj kWk, (2.7)

and the Weyl group action of−→λbis given by

si·−→λb= n

j=1

λjbjWj −λibiα^∨i (2.8)

= n

j=1

(λjbj−ai jλibi)Wj. (2.9)

(6)

2.2. Definition ofUq(g)andUqq(g_R). In order to fix the convention we use throughout the paper, we recall the definition of the Drinfeld–Jimbo quantum groupUq(g_R)where gis a simple Lie algebra of general type [3,18].

Definition 2.6.Letαi,i ∈ I be the positive simple roots, and we define

qi :=q¹²^(αⁱ^,αⁱ⁾:=e^π^ib²ⁱ, (2.10) We will letα1be the short root in typeBnand the long root in typeCn,F4andG2.

We choose 1

2(αi, αi):=

⎧⎪

⎪⎨

⎪⎪

⎩

1 iis long root or in the simply-laced case,

1

2 iis short root in typeB,C,F,

1

3 iis short root in typeG2,

(2.11)

and(αi, αj)= −1 wheni,jare adjacent in the Dynkin diagram.

Therefore in the case whengis of type Bn,Cn and F4, if we definebl = b, and bs =^√^b₂we have the following normalization:

qi = e^π^ib²^l =q iis long root,

e^π^ib^s² =q¹² iis short root. (2.12) In the case whengis of typeG2, we definebl = b, andbs = ^√^b₃, and we have the following normalization:

qi = e^π^ib²^l =q iis long root,

e^π^ib^s² =q¹³ iis short root. (2.13) Definition 2.7.LetA=(ai j)denotes the Cartan matrix. ThenUq(g)withq =e^π^ib²^l is the algebra generated by Ei,Fi andK_i^±¹,i∈ I subject to the following relations:

KiEj =q_i^a^{i j}EjKi, (2.14) KiFj =q_i⁻^a^{i j}FjKi, (2.15) [Ei,Fj] =δi j

Ki −K_i⁻¹

qi −q_i⁻¹ , (2.16)

together with the Serre relations fori = j:

1−ai j

k=0

(−1)^k [1−ai j]q_i!

[1−ai j −k]q_i![k]q_i!E_i^kEjE_i¹⁻^a^{i j}⁻^k =0, (2.17)

1−a_{i j}

k=0

(−1)^k [1−ai j]qi!

[1−ai j−k]q_i![k]q_i!F_i^kFjF_i¹⁻^a^{i j}⁻^k =0, (2.18) where

[k]q:= q^k−q⁻^k

q−q⁻¹ . (2.19)

(7)

Definition 2.8.By abuse of notation, we will denote formally

Ki =:q_i^Hⁱ (2.20)

where Hi ∈ his the simple coroot in the Cartan subalgebra. Furthermore, we allow fractional powers ofKiby adjoining the elementsK

1 c

i intoUq(g), wherec=detA∈N is the determinant of the Cartan matrix, and again denoting the resulting algebra by Uq(g).

We choose the Hopf algebra structure ofUq(g)to be given by

(Ei)=1⊗Ei+Ei⊗Ki, (2.21)

(Fi)=K_i⁻¹⊗Fi+Fi⊗1, (2.22)

(Ki)=Ki⊗Ki, (2.23)

(Ei)= (Fi)=0, (Ki)=1, (2.24)

S(Ei)= −qiEi, S(Fi)= −q_i⁻¹Fi, S(Ki)=K_i⁻¹. (2.25) We defineUq(g_R)to be the real form ofUq(g)induced by the star structure

E_i^∗=Ei, F_i^∗=Fi, K_i^∗=Ki. (2.26) Finally, according to the results of [13,14], we define the modular doubleUqq(g_R)to be Uqq(g_R):=Uq(g_R)⊗Uq(g_R), gis simply-laced, (2.27) Uqq(g_R):=Uq(g_R)⊗Uq(^Lg_R), otherwise, (2.28) whereq =e^π^ib⁻²^s , and^Lg_Ris the Langlands dual ofg_Robtained by interchanging the long roots and short roots ofg_R.

2.3. Positive representations ofUqq(g_R). In [9,13,14], a special class of representations forUqq(g_R), called the positive representations, is defined. The generators of the quantum groups are realized by positive essentially self-adjoint operators, and also satisfy the so- called transcendental relations, relating the quantum group with its modular double counterpart. More precisely, we have

Theorem 2.9.Let the rescaled generators be ei :=

i qi−q_i⁻¹

₋1

Ei, f_i :=

i qi −q_i⁻¹

₋1

Fi. (2.29)

Note that

i qi−q_i⁻¹

₋1

=2 sin(πb²i) >0.

Then there exists a family of representationsP_λofUqq(g_R)parametrized by theR+-span of the cone of positive weightsλ∈ P_R⁺ ⊂h^∗_R,or equivalently byλ:=(λ1, . . . , λn)∈Rⁿ₊ where n=r ank(g),such that

(8)

• The generatorsei,f_i,Kiare represented by positive essentially self-adjoint operators acting on L²(R^l^(w⁰⁾),where l(w0)is the length of the longest elementw0∈ W of the Weyl group.

• Define the transcendental generators:

ei :=e

1 b2 i

i , f_i :=f

1 b2 i

i , Ki :=K

1 b2 i

i . (2.30)

Then

– if gis simply-laced,the generatorsei,f_i,Ki are obtained by replacing b with b⁻¹in the representations of the generatorsei,f_i,Ki.

– Ifgis of type B,C,F,G,then the generatorsEi,Fi,Kiwith

ei :=

i qi −qi−1

₋1

Ei, f_i :=

i qi−qi−1

₋1

Fi (2.31)

generateUq(^Lg_R)defined in the previous section. Hereqi =e^π^{i b}⁻ⁱ².

• The generatorsei,f_i,Ki andei,f_i,Ki commute weakly up to a sign.

The positive representations are constructed for each reduced expressionw0∈Wof the longest element of the Weyl group, and representations corresponding to different reduced expressions are unitary equivalent.

Definition 2.10.Fix a reduced expression of w0 = si₁· · ·si_N. Let the coordinates of L²(R^N)be denoted by{u^k_i}so thatiis the corresponding root index, andkdenotes the sequence this root is appearing inw0from the right. Also denote by{vj}^N_j₌₁the same set of coordinates counting from the left, andv(i,k)the index such thatu^k_i =vv(i,k). Example 2.11.The coordinates ofL²(R⁶)for A3corresponding tow0 =s3s2s1s3s2s3

is given by

(u³₃,u²₂,u¹₁,u²₃,u¹₂,u¹₃)=(v1, v2, v3, v4, v5, v6).

Definition 2.12.We denote by pu= ₂¹_π_i_∂^∂_uand

e(u):=e^π^bu, [u] :=q¹²e(u)+q⁻¹²e(−u), (2.32) so that

[u]e(−2p):=(q¹²e^π^bu+q⁻¹²e^−π^bu)e⁻²^π^bp=e^π^b⁽^u⁻^2p⁾+e^π^b⁽⁻^u⁻^2p⁾ (2.33) is positive whenever[p,u] = ₂¹_π_i.

Definition 2.13.By abuse of notation, we denote by

[us+ul]e(−2ps −2pl):=e^π^b^s⁽⁻û^s⁻^2p^s⁾⁺^π^b^l⁽⁻û^l⁻^2p^l⁾+e^π^b^s⁽û^s⁻^2p^s⁾⁺^π^b^l⁽û^l⁻^2p^l⁾, (2.34) whereus(resp.ul) is a linear combination of the variables corresponding to short roots (resp. long roots). The parametersλi are also considered in both cases. Similarly ps

(resp. pl) are linear combinations of the pshifting of the short roots (resp. long roots) variables. This applies to all simpleg, with the convention given in Definition2.6.

(9)

Theorem 2.14.[13,14]Using the notation of Definition2.13,for a fixed reduced expres- sion ofw0=si1· · ·siN,the positive representationP_λis given by

f_i = m k=1

⎡

⎣−

v(i,k)−1

j=1

aij,ivj −u^k_i −2λi

⎤

⎦e(2p^k_i), (2.35)

Ki =e

⎛

⎝−

l(w0) k=1

aik,ivk−2λi

⎞

⎠. (2.36)

where m is the number of root index i appearing inw0. By takingw0=wsiso that the simple reflection for root i appears on the right,the action ofei is given by

ei = [u¹_i]e(−2p_i¹). (2.37) Let us recall the explicit expression for the positive representations in the case of Uqq(sl(2,R)). For details of the construction and the other cases please refer to [13,14].

Proposition 2.15.[1,27] The positive representation Pλ of Uqq(sl(2,R)) acting on L²(R)by positive unbounded essentially self-adjoint operators is given by

e= [u−λ]e(−2p):=e^π^b⁽⁻û+^λ−^2p⁾+e^π^b⁽û^−λ−^2p⁾, f= [−u−λ]e(2p):=e^π^b⁽û+^λ⁺²^p⁾+e^π^b⁽⁻û^−λ⁺²^p⁾, K =e(−2u):=e⁻²^π^bu.

Note that it is unitary equivalent to the canonical form(2.35)–(2.37)by u→u+λ.

2.4. Universal R matrices forUq(g). Here we summarize the construction of universalR matrices for the braiding ofUq(g). Letq:=e^h^/². It is known [3,18] that for the quantum groupUh(g)as aC[[h]]-algebra completed in theh-adic topology, one can associate certain canonical, invertible elementRin an appropriate completion of(Uh(g))^⊗²such that the braiding relation

(X)R:=(σ◦)(X)R=R(X), σ(x⊗y)=y⊗x (2.38) is satisfied.

For the quantum groupUh(g)associated to the simple Lie algebra g, an explicit multiplicative formula has been computed independently in [20,22], where the central ingredient involves the quantum Weyl group which induces Lusztig’s isomorphismTi. Explicitly, let

[U,V]q :=qU V −q⁻¹V U (2.39) be theq-commutator.

(10)

Definition 2.16.[20,23] The Lusztig’s isomorphism is given by

Ti(Kj)=KjK_i⁻^a^{i j}, Ti(Ei)= −qiFiK_i⁻¹, Ti(Fi)= −q_i⁻¹KiEi, (2.40) Ti(Ej)=(−1)^a^{i j} 1

[−ai j]q_i!

⎡

⎣

Ei, . . .[Ei,Ej]

q

ai j 2 i

q

ai j+2 2 i

. . .

⎤

⎦

q

−ai j−2 2 i

, (2.41)

Ti(Fj)= 1 [−ai j]qi!

⎡

⎣

Fi, . . .[Fi,Fj]

q

ai j 2 i

q

ai j+2 2 i

. . .

⎤

⎦

q

−ai j−2 2 i

. (2.42)

Note that we have slightly modified the notations and scaling used in [20].

Proposition 2.17.[23,24]The operators Ti satisfy the Weyl group relations:

TiTjTi· · ·

−a_{i j}+2

=T jTiTj. . .

−a_{i j}+2

., (2.43)

where−a_{i j} =max{−ai j,−aj i}.Furthermore,forαi, αjsimple roots,and an element w=si₁· · ·si_k ∈W such thatw(αi)=αj,we have

Ti1· · ·Tik(Xi)=Xj (2.44) for X =E,F,K.

Definition 2.18.Define the (upper) quantum exponential function as E x pq(x)=

∞ k=0

z^k

kq!, (2.45)

wherekq :=¹₁⁻₋^q_q^k, so that

kq²! = [k]q!q^k⁽^k²⁻¹⁾. (2.46) Theorem 2.19.[20,22] Let w0 = si₁· · ·si_N be a reduced expression of the longest element of the Weyl group. Then the universal R matrix is given by

R=Q¹²R(iN|si1· · ·si_N−1)· · ·R(i2|si1)R(i1)Q¹², (2.47) where

Q:=

n i=1

q_i^Hⁱ^⊗^Wⁱ, Wi :=

n j=1

(A⁻¹)i jHj, (2.48) R(i):=E x p_q−2

i ((qi−q_i⁻¹)Ei⊗Fi), (2.49) R(il|si1· · ·si_l−1):=(T_i⁻¹

1 ⊗T_i⁻¹

1 )· · ·(T_i⁻¹

l−1⊗T_i⁻¹

l−1)R(il). (2.50) In [15], the universalRoperator is studied in the setting of split real quantum groups Uqq(g_R), where it is expressed as an element in certain multiplier Hopf algebra, and the Lusztig’s isomorphismsTi are extended to the rescaled positive generatorsei. The rescaled image is useful later to describe the generalized Casimir operators in Sects.8.2 and8.4, but we will not need the explicit construction of the universalRoperator in this paper.

(11)

3. The Case ofU_q_q(sl(2,R))

The classical Casimir operatorC∈ Z(U(sl2))in the case ofsl2is well-known, and it is given by

C =F E+

H+ 1 2

2

. (3.1)

In the case of quantumUq(sl2), it is also known that the Casimir operator is given by C =F E+

H+ 1

2 2

q

=F E+ q K +q⁻¹K⁻¹

(q−q⁻¹)² +constant, (3.2) where we formally denote byK :=q^H. Rewriting using the rescaling (2.29), we denote the rescaled CasimirCas

C=fe−q K −q⁻¹K⁻¹, (3.3)

which can also be rewritten as

C=ef−q⁻¹K −q K⁻¹. (3.4)

In the case of split real quantum group, the action ofCon the positive representationP_λ from Proposition2.15can be computed easily:

Proposition 3.1.[27]Cacts onP_λas multiplication by the scalar

C(λ)=e²^π^b^λ+e⁻²^π^b^λ. (3.5) Proof. Usinge²^π^{b A}e²^π^{b B} =q²^πⁱ^[^A^,^B^]e²^π^b⁽^A+B⁾We have

C=fe−q K−q⁻¹K⁻¹

=(e^π^b⁽û+^λ⁺²^p⁾+e^π^b⁽⁻û^−λ⁺²^p⁾)(e^π^b⁽û^−λ−^2p⁾+e^π^b⁽⁻û+^λ−^2p⁾)−qe⁻²^π^bu−q⁻¹e²^π^bu

=q⁻¹e²^π^bu+e²^π^b^λ+e⁻²^π^b^λ+qe⁻²^π^bu−qe⁻²^π^bu−q⁻¹e²^π^bu

=e²^π^b^λ+e⁻²^π^b^λ.

We see immediately that the eigenvalue is positive and bounded below by 2 for all values ofλ ∈ R. In particular, sinceP_λ P_−λ, the eigenvalues ofC(λ)andC(−λ) coincides. In this paper, we will see that these results generalize to all higher ranks.

In the case ofUqq(sl(2,R)), the Casimir operator characterizes the positive representations. In particular by studying its spectrum, it provides a decomposition of the tensor products ofP_λ.

Proposition 3.2.[25]The Casimir operatorCacting onPλ⊗Pμis unitary equivalent to the self-adjoint operator

e²^π^bu+e⁻²^π^bu+e²^π^bp. (3.6)

(12)

Sketch of proof. The coproduct of the Casimir operator is given by

(C)=C⊗K +K⁻¹⊗C+K⁻¹e⊗fK+f⊗e+(q+q⁻¹)K⁻¹⊗K. We note that K,eforms the quantum plane, hence unitary equivalent to a canonical representation given by positive operators. In particular eis invertible, and one can rewrite the generatorfas

f=(C+q K +q⁻¹K⁻¹)e⁻¹,

which simplifies the expression of(C). Finally a special function called thequantum dilogarithm is used extensively, which provides unitary equivalence between positive self-adjoint operators of the formu+v anduwheneveruv =q²vu (see e.g. [12] for details). This reduces the 14 terms above into the expression of (3.6).

It turns out this operator played the special role of length operator in quantum Teich- müller theory, and was studied extensively.

Lemma 3.3.[12,19]The positive self adjoint operator

e²^π^bu+e⁻²^π^bu+e²^π^bp (3.7) acting on L²(R)has a spectral decomposition given by

⊕ R+

!

e²^π^b^ν+e⁻²^π^b^ν

"

dμ(ν), (3.8)

where the measureμ(ν)is given by the quantum dilogarithm.

As a corollary, we have the following theorem, which is the starting point of the research program [9] of representation theory of split real quantum groups as a tool to construct new classes of braided tensor categories.

Theorem 3.4.[27]The class of positive representationsP_λofUqq(sl(2,R))is closed under taking tensor product. We have the following decomposition of tensor products as direct integral

Pλ⊗Pμ= ^⊕

R+

Pνdμ(ν). (3.9)

4. Generalized Casimir Operators

The center ofUq(g)(in the sense of Definition2.8) is known to be generated by rank gcentral elements. There are several ways to construct these generators [4,28,32]. In this paper, we will use a modified version from [21] and construct the generators by taking certain quantum trace over the fundamental representationsVkofUq(g). It will be instructive to reproduce the construction here, since we need to switch the order of multiplication later, and slightly modify the quantum trace in order to incorporate the modular double in the positive setting.

(13)

Definition 4.1.Letu be an invertible element of Uq(g)such that Ad(u) = S² is the square of the antipode. LetVbe a finite dimensional representation ofUq(g). We denote the quantum trace ofx∈Uq(g)by

T r|^q_V(x):=T r|V(xu⁻¹). (4.1) Theorem 4.2.The element

(1⊗T r|^q_V)(R R21) (4.2)

belongs to the center ofUq(g),where R is the universal R matrix satisfying the braiding relation(2.38).

Proof. Let

B= {b∈Uq(g)⊗Uq(g):b(a)=(a)b,∀a ∈Uq(g)}, I= {λ∈Uq(g)^∗:λ(ab)=λ(bS⁻²(a)),∀a,b∈Uq(g)}.

ThenR R21∈B, and

Lemma 4.3.Let(a)=#

a₍1)⊗a₍2). Then (1⊗S(a₍1)))·(a₍2))=a⊗1=

(a₍2))·(1⊗S⁻¹(a₍1))). (4.3) Proof. Using

(1⊗)(a)=(⊗1)(a)=a₍1)⊗a₍2)⊗a₍3), S(a₍1))a₍2) = (a)1,

and

a₍2)⊗ (a₍1))1=a⊗1, LHS equals:

a₍3)⊗S(a₍1))a₍2)=a₍2)⊗ (a₍1))1=a⊗1 Similarly for RHS.

Hence we have

a·(i d⊗λ)(b)=(i d⊗λ)((a⊗1)·b)

=(i d⊗λ)(

(1⊗S(a₍1)))·(a₍2))·b) uses def. ofI =(i d⊗λ)(

(a₍2))·b·(1⊗S⁻¹(a₍1)))) uses def. ofB =(i d⊗λ)(b·

(a₍2))·(1⊗S⁻¹(a₍1))))

=(i d⊗λ)(b(a⊗1))

=(i d⊗λ)(b)·a.