Positive Representations with Zero Casimirs

In this paper, we construct a new family of generalization of the positive representations of split-real quantum groups based on the degeneration of the Casimir operators acting as zero on some Hilbert spaces. It is motivated by a new observation arising from modifying the representation in the simplest case of $\mathcal{U}_q(\mathfrak{sl}(2,\mathbb{R}))$ compatible with Faddeev's modular double, while having a surprising tensor product decomposition. For higher rank, the representations are obtained by the polarization of Chevalley generators of $\mathcal{U}_q(\mathfrak{g})$ in a new realization as universally Laurent polynomials of a certain skew-symmetrizable quantum cluster algebra. We also calculate explicitly the Casimir actions of the maximal $A_{n-1}$ degenerate representations of $\mathcal{U}_q(\mathfrak{g}_\mathbb{R})$ for general Lie types based on the complexification of the central parameters.


Introduction Motivation
Positive representations were introduced in [8] to study the representation theory of split real quantum groups U q (g R ) associated to semisimple Lie algebra g, as well as its modular double U q q (g R ) introduced by [4,5] in the regime where |q| = 1. These representations are natural generalizations of a special family of representations of U q (sl(2, R)) classified in [24] and studied in detail by Teschner et al. [1,21,22] from the physics point of view of quantum Liouville theory, in which they are characterized by the actions of the Chevalley generators e, f , K as positive self-adjoint operators on the Hilbert space L 2 (R). In general, this family of representations of U q (g R ), which we will refer to as the standard positive representations, has been constructed explicitly for all Lie types [8,11,12], and has since been given a cluster realization [15,25] as well as a geometric meaning in terms of the quantization of potential functions [9], associated to moduli spaces of certain framed G-local systems [6].
In this paper, we discover a new family of representations of U q (g R ) which does not lie in the original family of the standard positive representations, but yet the Chevalley generators of the quantum group still act by positive operators. This is based on a simple observation in the sl 2 case, where the generators can be reexpressed in terms of the Casimir element C = fe − qK − qK −1 . (1.1) Let q = e πib 2 where i := √ −1 and 0 < b < 1 such that |q| = 1. In the family of the standard positive representation P λ , C acts as multiplication on L 2 (R) by a positive real scalar π λ (C) = e 2πbλ + e −2πbλ ≥ 2 (1.2) for a real parameter λ ∈ R ≥0 . We observe that however, if we require that C acts by zero instead, the resulting representation is still positive, since we can rewrite formally which is a positive expression. We call this the degenerate positive representation, denoted by P 0 . From another point of view, formally this can be obtained by setting the real parameter λ to certain special complex values λ 0 = ± i 4b , so that we may consider P 0 :=: P λ0 as some kind of analytic continuation of the standard positive representations P λ . It turns out that P 0 also behaves surprisingly well under taking tensor product since it decomposes into a direct integral of the standard family P λ again. In some sense this is reminiscent of the complementary series of the unitary representations of the split real group SL(2, R).
Finally, the action of the Casimir by zero is very special, in the sense that we have an embedding of (a quotient of) U q (sl 2 ) into a skew-symmetrizable quantum cluster algebra O q (X ). In particular, the image of the Chevalley generators are universally Laurent polynomials, such that P 0 is realized as a certain polarization of such embedding. This also induces a dual construction which is compatible with the modular double structure.

Degenerate positive representations
Generalizing the motivation in sl 2 , we construct a new family of representations of U q (sl(n, R)) by formally setting the generalized Casimir elements C k = 0 in the standard positive representations P λ in an appropriate cluster chart. The construction is based on the cluster realization of U q (sl(n, R)) and its symmetric folding by cluster mutations due to [26]. This leads to the consideration of a new, skewsymmetrizable cluster variety X 0 , and we obtain the following main result (Theorem 4.5).
Let D q (g) denote the Drinfeld's double of the Borel subalgebra of U q (g).

Main
Theorem. There is an embedding of D q (sl n )/ C k = 0 into a skew-symmetrizable quantum cluster algebra O q (X 0 ), such that the image of the Chevalley generators are universally Laurent polynomials.
Passing to a polarization, we have an irreducible representation P 0 of U q (sl(n, R)) acting on a Hilbert space as positive operators, such that all the generalized Casimir operators C k act by zero.
By reversing the multipliers of the symmetric folding, one also induces from P 0 a representation P 0 compatible with the modular double counterpart (Corollary 4.13). Hence in fact we have constructed two different new embeddings of U q (sl(n, R)) with specialized Casimir actions.
Next, we proceed to discuss the representations for U q (g R ) for general Lie type, where rank(g) = n. If it is not of type A n , the symmetric folding construction may not work. However, we can consider a parabolic subgroup W J ⊂ W of the Weyl group associated to a subset of the Dynkin index J ⊂ I. In [16], we have constructed the parabolic positive representations P J λ of U q (g R ) based on W J . Using the same argument presented in [16], we proved that one can do the symmetric folding construction on different type A parabolic parts, and obtain a new family of representations (Theorem 5.1) which is again referred to as the degenerate positive representations.
Main Theorem. Given a parabolic subgroup W J ⊂ W of type A, there exists a new family of irreducible representations P 0,J λ of U q (g R ) parametrized by λ ∈ R n−|J| , such that the Chevalley generators are positive operators realized by a polarization of universally Laurent polynomials in a skew-symmetrizable quantum cluster algebra.
Again the construction also yields another representation P 0,J λ compatible with the modular double counterpart (Theorem 5.7).

Computation of generalized Casimirs
We observed that the symmetric folding construction yielding P 0 can also be obtained formally by setting the parameters λ to certain special complex values (which we call the general solution of a symmetric equation). Since the generalized Casimirs C k of the original representation P λ act by scalars in terms of λ only, one obtain the corresponding Casimir actions for P 0,J λ by substituting the specialized parameter λ ∈ C n with appropriate complex shifts. In the parabolic case, when |J| = n − 1, the resulting representations P 0,J λ , which we refer to as maximal degenerate representations, are parametrized by a single number λ ∈ R.
Using the Weyl-type character formula developed in [14], together with the explicit presentation of the weight spaces of the fundamental representations of g, as well as some technical calculations involving the central characters of the folded quantum torus algebra, we compute explicitly all the actions of the generalized Casimirs of P 0,J λ in the case W J is of type A n−1 . This is summarized in Theorem 5.5-5.6.

Regular positive representations
The original standard positive representations P λ [8,11,12], the parabolic positive representations P J λ [16], the degenerate representations P 0,J λ as well as their modular double counterpart P 0,J λ considered in this paper, all share the same important cluster theoretic properties. Namely, we have a homomorphism of the Drinfeld's double quantum group D q (g) into a quantum torus algebra, such that the image of the Chevalley generators are universally Laurent polynomials. In other words, we have a homomorphism to the quantum algebra of regular functions of a cluster variety X , or equivalently, the quantum upper cluster algebra of X . Furthermore, the representations are recovered from a polarization of any cluster chart of O q (X ) as positive operators. This motivates the definition of regular positive representations (Definition 6.1), and the new goal is to classify all the irreducible regular positive representations up to unitary equivalence. We propose in Conjecture 6.4 that these are classified by the 4 types of positive representations above, as well as their appropriate mixtures.

Outline
The paper is organized as follows. In Section 2, we set the notations and recall the basic construction of the positive representations of U q (g R ) via the polarization of its cluster embedding into a certain quantum torus algebra. We also recall some results on the calculation of the generalized Casimir operators. In Section 3, we focus on the case of U q (sl(2, R)) and discuss the main observations and results that motivate the general construction in higher rank. In Section 4, we give the symmetric folding construction in type A n , where the mutation sequence and the change of central parameter are outlined in Appendix B. In Section 5, we state the main results for general Lie type by parabolic folding, and explain the computation of the Casimir action for the maximal degenerate representations. Finally, in Section 6, we discuss the classification of the regular positive representations, and illustrate with an example in type A 2 .

Root systems
Let g be a finite-dimensional semisimple Lie algebra over C. Let I be the root index of the Dynkin diagram of g such that |I| = n = rank(g). (2.1) Let Φ be the set of roots of g. Let Π + := {α i } i∈I be the set of simple roots and ∆ + the set of positive roots. Let W = s i i∈I be the Weyl group generated by the simple reflections s i := s αi . We write to be the length of the longest element of W .
Definition 2.1. Let (−, −) be a W -invariant inner product of the root lattice. We define We normalize (−, −) as follows: we choose the symmetrization factors (also called the multipliers) such that for any i ∈ I, 1 i is long root or in the simply-laced case, 1 2 i is short root of type B, C, F , 1 3 i is short root of type G, (2.4) and (α i , α j ) = −1 when i, j ∈ I are adjacent in the Dynkin diagram, such that Definition 2.2. We denote the simple coroots by the fundamental weights dual to H i by and the fundamental coweights dual to α i by We also let be the half sum of positive roots.
Definition 2.3. The Weyl group W acts on the fundamental coweights by Definition 2.4. Let w 0 ∈ W be the longest element of the Weyl group. The Dynkin involution is defined by Equivalently, we have 2.2 Quantum groups U q (g) and D q (g) For any finite dimensional complex semisimple Lie algebra g, Drinfeld [3] and Jimbo [18] associated to it a remarkable Hopf algebra U q (g) known as the quantum group, which is a certain deformation of the universal enveloping algebra. We follow the notations used in [15] for U q (g) as well as the Drinfeld's double D q (g) of its Borel part.
In the following, we assume g is of simple Dynkin type, with straightforward modification for the semisimple case.
Definition 2.5. Let d i be the multipliers (2.4). We define which we will also write as if g is of type B, C, F , q 1 3 if g is of type G, (2.16) for the q parameters corresponding to long and short roots respectively. Definition 2.6. We define D q (g) to be the C(q s )-algebra generated by the elements i } i∈I subject to the following relations (we will omit the obvious relations involving K −1 i and K i −1 below for simplicity): together with the Serre relations for i = j: The algebra D q (g) is a Hopf algebra with coproduct We will not need the counit and antipode in this paper.
Definition 2.7. The quantum group U q (g) is defined as the quotient and it inherits a well-defined Hopf algebra structure from D q (g).
Notation 2.9. In the split real case with q ∈ C, we require |q| = 1 and write q := e πib 2 (2.26) where i = √ −1 and 0 < b < 1. We assume b 2 / ∈ Q. We also write such that q i = e πib 2 i as in Definition 2.5. We will also write q s = e πib 2 s . Definition 2.10. We define the rescaled generators by (2.28) We also denote by D q (g) the C(q s )-algebra generated by (2.29) and the corresponding quotient by U q (g). The generators satisfy all the defining relations above except (2.20) which is modified to Definition 2.11. We define U q (g R ) to be the real form of U q (g) induced by the star structure with q * = q = q −1 , making it a Hopf-* algebra.

Quantum torus algebra
In this subsection we recall some definitions and properties concerning the quantum torus algebra and their cluster realizations.
Definition 2.12. A cluster seed is a datum where Q is a finite set, Q 0 ⊂ Q is a subset called the frozen subset, B = (ε ij ) i,j∈Q a skew-symmetrizable 1 2 Z-valued matrix called the exchange matrix, and D = diag(d j ) j∈Q is a diagonal Q >0 -matrix called the multiplier, such that is a skew-symmetric Q-matrix. The rank of Q is defined to be the rank of the matrix B.
In the following, we will consider only the case where there exists a decoration to the root index of a simple Dynkin diagram, such that D = diag(d η(j) ) j∈Q where (d i ) i∈I are the multipliers given in (2.4). Let Λ Q be a Z-lattice with basis { − → e i } i∈Q , and let d = min(d η(j) ) j∈Q . Also let We define a skew symmetric dZ-valued form (−, −) on Λ Q by (2.36) Definition 2.13. Let q be a formal parameter. We define the quantum torus algebra 1 X Q q associated to a cluster seed Q to be the associative algebra over C[q ±d ] generated by {X ±1 i } i∈Q subject to the relations The generators X i ∈ X Q q are called the quantum cluster variables, and they are called frozen if i ∈ Q 0 .
Alternatively, X Q q is generated by {X λ } λ∈Λ Q with X 0 := 1 subject to the relations Finally, we define T Q q to be the fraction field of the quantum torus algebra X Q q , which is well defined since X Q q is an Ore domain.
Notation 2.14. Under this realization, we shall write and define the monomials (allowing the indices to repeat) or more generally for n 1 , ..., n k ∈ R, A collection of monomials is said to be independent if the underlying vectors of the indices are linearly independent over R.
Definition 2.15. We associate to each cluster seed Q = (Q, Q 0 , B, D) with decoration η a quiver, denoted again by Q, with vertices labeled by Q and adjacency matrix C = (c ij ) i,j∈Q , where An arrow i −→ j represents the algebraic relation Note that c ij is skew-symmetric, so the quiver is well-defined. Obviously one can recover the cluster seed and the exchange matrix B from the quiver and the multipliers by Notation 2.16. We will use squares to denote frozen nodes i ∈ Q 0 and circles otherwise. We will also use dashed arrows if |c ij | = 1 2 , which only occur between frozen nodes. For display convenience, we will represent the algebraic relations (2.43) by thick or thin arrows (see for example Figure 3) to indicate the power of q when we rewrite q * in terms of q in the commutation relation (2.43). However, thickness is not part of the data of the quiver. Notation 2.17. Let η : N −→ I be a decoration. For any symbol x k , k ∈ N, we denote the rescaled symbol byx Definition 2.18. A polarization π of the quantum torus algebra X Q q on a Hilbert space H = L 2 (R M ) is an assignment together with real parameters λ k ∈ R, such that they satisfy algebraically Each generator X i acts as a positive essentially self-adjoint operator on H, and altogether these give a representation of X Q q on H. Remark 2.19. The domains of these unbounded operators are discussed in detail in e.g. [7,10,22]. In this paper, we will only deal with the algebraic relations among the cluster variables, and assume that their polarizations are well-defined acting on an appropriate dense subspace P ⊂ H which contains the subspace W of entire rapidly decreasing functions of the form W = {e −u T Au+b·u P (u)|b ∈ C n , A ∈ M n×n (C) : positive definite, P : polynomial} which forms the core of essential self-adjointness of π(X i ). for L a linear combination of position, momentum operators and scalars as above, andL rescales the corresponding variables with index k by b η(k) .
The center of X Q q is generated by |Q| − rank(Q) independent central monomials.
A polarization is irreducible if every central monomial acts as multiplication by scalars, i.e. their Weyl part is trivial. In this case we refer to the action π(C) as the central character. Any polarization of X Q q on H with the same central character is unitarily equivalent to π λ by an Sp(2M ) action on the lattice Λ Q (known as the Weil representation [9]).
Next we recall the notion of quantum cluster mutations.
The cluster mutation in direction k induces an isomorphism µ q k : T Q q −→ T Q q called the quantum cluster mutation, defined by where we denote by X i the quantum cluster variables of T Q q .
Definition 2.25. We denote by O q (X ) the quantum algebra of regular functions of the cluster variety X . More precisely, the elements of O q (X ) consists of all elements f ∈ X Q q which remain Laurent polynomials over C[q ±d ] under any quantum cluster mutations. Equivalently, O q (X ) is the quantum upper cluster algebra of X .
We will also refer to elements of O q (X ) as universally Laurent polynomials 2 .
A useful criterion is the following Lemma.
Lemma 2.26. [9] A cluster monomial X i1,...,is ∈ X Q q is a standard monomial if it is a sink with respect to mutable vertices, in the sense that An element f ∈ X Q q belongs to O q (X ), i.e. a universally Laurent polynomial, if it can be cluster mutated to a standard monomial in some cluster seed.
Finally, we also recall that the monomial part of the quantum cluster mutation induces a change in polarization as follows.
gives a polarization of X Q q .

Positive representations and cluster realization of U q (g)
The family of the standard positive representations P λ of U q (g R ) is constructed in [8,11,12] where the Chevalley generators of the quantum group are represented by positive essentially self-adjoint operators on the Hilbert space L 2 (R N ) where N = l(w 0 ). The representations are parametrized by λ ∈ R n ≥0 . In [15], they are realized by an embedding of D q (g) into a certain quantum torus algebra X D q and taking the group-like polarization.
Theorem 2.28. [15] Given a reduced word i 0 of the longest element of the Weyl group, one can construct the basic quiver D(i 0 ) of rank 2N + 2n and its associated quantum torus algebra X D(i0) q such that • There exists an embedding of the Drinfeld's double 3 where K i and K i are cluster monomials, such that K i K i , i ∈ I are n independent central monomials of X D(i0) q .
• In particular we have an embedding • There exists a polarization π λ of X D(i0) q where π λ (K i K i ) = 1 and the other n independent central monomials act by e(4λ i ) ∈ R >0 , such that the composition with the embedding (2.56) coincides with the standard positive representations P λ .
• The representation P λ is irreducible, in the sense that the only operators strongly commuting with the action of the Chevalley generators are multiplication by scalars.
• The basic quivers associated to different reduced words D(i 0 ) are mutation equivalent, and so the resulting expressions of the positive representations P λ are unitarily equivalent.
Here we say that an operator X strongly commutes with a positive operator Y if X commutes with the spectral projection of Y , or in other words, X commutes with the bounded unitary operators Y it for all t ∈ R.
We omit the detailed construction of the basic quiver, see [9,16] for more details and examples.
Definition 2.29. The central elements K i K i ∈ X D(i0) q are called the Cartan monomials. A polarization π is group-like if π(K i K i ) = 1 for all i ∈ I.
By the explicit expressions of P λ given in [8,11], it is parametrized by λ = (λ i ) i∈I with the identity decoration (2.34), where the central parameters of the polarization of P λ can be chosen as in Figure 10, in such a way that one side of the frozen variables carry e(−2λ i ), while the variables along one half of the middle column carry e(4λ i ). The polarizations of all other remaining variables have trivial central parameters.
Notation 2.30. The embedding of D q (g) can sometimes be represented by telescopic sums in some cluster chart, described as paths on the quiver D(i 0 ) (see Figure 10 for an example). Following the convention used in [15], we will use blue paths to denote the image of f i and K i in X D(i0) q as follows. For a path v 1 −→ v 2 −→ · · · −→ v S on the quiver, the embedding is given by (2.57) We will use other colors to denote the embedding of e i and K i in a similar way.

Casimir operators
For the following definitions, we require an extension U q (g) := U q (g)[K ± 1 h i ] of the quantum group, where h is the Coxeter number of g, in order to allow fractional powers of the Cartan generators K i . Theorem 2.31. [14] The center of U q (g) is generated by the n generalized Casimir elements • the quantum trace Tr| q V of x ∈ U q (g) is given by and W i are the fundamental coweights (2.8).
• R ∈ U q (g) ⊗U q (g) is the universal R-matrix.
Remark 2.32. In fact C V := (1 ⊗ Tr| q V )(RR 21 ) also lie in the center of U q (g) for any finite dimensional representation V of U q (g). Hence one may refer to C k defined above as the generalized Casimirs with respect to the fundamental representations.
Example 2.33. For U q (sl 2 ), the Casimir element is given by For U q (sl 3 ), the two generalized Casimir elements are given by are the images of the Lusztig's isomorphism extended to positive generators [13].
Remark 2.34. One can modify the Cartan part of the universal R-matrix, or more explicitly, replace K −1 i by K i in the formula above to obtain the central elements for D q (g).
Since the generalized Casimirs involve only fractional powers of the Cartan generators, their actions by the positive representations are still well defined. As the standard positive representations P λ are irreducible, the generalized Casimirs act as multiplication by scalars. The choice of the element u in (2.61) which is compatible with the modular double, ensures that the Casimir operators are positive self-adjoint, acting with spectrum π λ (C k ) ≥ dim V k . Their actions by the standard positive representations are computed as follows.
Theorem 2.35. [14] Let µ V denote the weight of the weight space V ⊂ V k . The generalized Casimir operators C k acts on P λ by the scalar where the sum is taken over all the weight spaces of V k , and Another way of computing the action is by the following Weyl character formula.
Corollary 2.36. [14] We have where w k is the k-th fundamental weight, which is also the highest weight of V k . The Weyl group acts on − → λ h by (2.10).
In type A n , the fundamental representations V k , k = 1, ..., n, are given by the exterior product Λ k V of the standard representation V = V 1 . Using Theorem 2.35, we have an explicit formula for the action of C k in terms of the elementary symmetric polynomials in n + 1 variables: (2.69) Then the actions of C k on P λ are given by (2.72) In particular the action of C 1 is given by More generally, the Casimir actions can be expressed by a generating polynomial Lemma 2.38. The solution to the system of equation is given by the the set of (n + 1)-th roots of −1, in other words Proof. By the generating polynomial, the system of equations is equivalent to identifying hence {x i } is any permutation of the (n + 1)-th root of −1.
The solution corresponding to the following choice of (n + 1)-th roots of −1, is given by which is refered as the standard solution of (2.76).
There is also a "modular double counterpart" which will be useful later.
Recall the q-binomial coefficients defined by is any general solution of (2.76), we obtain Proof. By this substitution, the following sets for k = 0, ..., n become Hence the generating polynomial of the Casimirs becomes In this section, we explain the motivation of the construction of the degenerate positive representations from the simplest case of U q (sl(2, R)) and discuss some of its properties.

Cluster realization of U q (sl(2, R))
Recall that we have the cluster realization of the Drinfeld's double D q (sl 2 ) into the quantum torus algebra X std q represented by the quiver in Figure 1 with all multipliers d i = 1, such that we have an embedding of the Drinfeld's double D q (sl 2 ) = e, f , K, K given by 4 The choice of indices follows the convention used in the higher rank, cf. Section 4. using Notation 2.14. The Casimir element of D q (sl 2 ) is given by which lies in the center of X std q . Let us perform a quantum cluster mutation at vertex 2, such that we obtain the quiver (with minor rearrangements) in Figure 2 corresponding to the quantum torus algebra denoted by X sym In this cluster chart, the embedding of the Drinfeld's double becomes and the Casimir element is given by where we note that both X 2 and X 4 commute with X 1,3 in this cluster chart. Now the main observation is that the variables X 2 and X 4 are symmetric in this quiver, which allows us to perform a certain kind of "folding". Another observation is that only the upper Borel generators e and K depend on these two variables. In fact, we can rewrite e as Since C lies in the center of X sym q , the commutation relations among the Chevalley generators remain invariant if we set In other words, we have a homomorphic image of D q (sl 2 ) given by Since X 2 and X 4 are symmetric in these expressions, we further identify them by means of folding.
Definition 3.1. We define the symmetric folding X 0 q to be the skew-symmetrizable quantum torus algebra by combining the variables X 2 and X 4 of X sym q . We write O q (X 0 ) to denote the quantum algebra of regular functions of the corresponding cluster variety. More precisely, X 0 q is generated by with the new multipliers defined to be (d 1 , d 2 , d 3 ) := (1, 2, 1).
It follows that the q-commutation relations of the cluster variables of X 0 q are given by and they can be presented by the quiver as in Figure 3 according to Notation 2.16.

Theorem 3.2.
There is an embedding from D q (sl 2 )/ C = 0 to the symmetric folding X 0 q . Furthermore, the Chevalley generators {e, f , K, K } are realized as universally Laurent polynomials in O q (X 0 ). This is the main construction that allows us to generalize the zero Casimir representation to higher rank in the next section. Proof. The homomorphism of D q (sl 2 ) to this quantum torus algebra is given explicitly by One checks explicitly that The image of f , K, K are standard monomials in this seed by Lemma 2.26: the only mutable variable X 0 2 commutes with K, K , while eX 0 2 = q 4 X 0 2 e. For the generator e, we mutate at vertex 2 (taking into account the fact that the multiplier d 2 = 2) and obtain the new cluster chart. The generator transforms as 1 2 3 Figure 4: The quiver for µ q 2 (X 0 q ).
e → X 0 3 in the new cluster chart in which it is again a standard monomial, as it q 4 -commutes with the mutable variable X 0 2 . Hence the conclusion follows.

Positive representation with zero Casimir
The standard positive representations P λ of U q (sl(2, R)) and its modular double, parametrized by λ ≥ 0, were first studied in [4,21,22] in the context of quantum Liouville theory. They can be obtained by choosing a polarization of the quantum torus algebra X std q such that ι(KK ) = 1 (i.e. identifying K = K −1 ) and the central monomial X 2,4 acts by the central parameter e(4λ) = e 4πbλ .
Specifically, we choose the polarization d du , such that by (3.1), the Chevalley generators of U q (sl 2 ) act on the Hilbert space L 2 (R, du) as positive self-adjoint operator as Since the representation P λ is irreducible, the Casimir operator (with K = K −1 ) acts as multiplication by scalar, given by (3.12) Now we observe that the pair (K, f ) forms a quantum torus. Hence, one can unitarily transform P λ in such a way that (K, f ) acts by the canonical representation This can be done by polarizing the quiver obtained from cluster mutation at vertex 2 according to Proposition 2.27. Recall that any two polarizations are unitarily equivalent if the central characters are the same. Here the central monomials are given by π λ (X 4 X −1 2 ) = e(4λ) as well as ι(KK ) = X 1 2 ,2,3 2 ,4 = 1. Hence there exists a change of variables such that the polarization is equivalent to that of Figure 7.
The equivalence π λ (X std q ) π λ (X sym q ) can be realized explicitly by the following unitary transformation, which is given by a multiplication by the quantum dilogarithm function g b (z) (see [10] for details) followed by a change of variables: (3.14) The new polarization together with the change of variables is given by With this new polarization applied to (3.4), we obtain a representation unitary equivalent to P λ given by We note that this representation matches with the formal relation If we now set C = 0, the last two monomials of π λ (e) vanish. This gives us a new representation of U q (sl(2, R)) acting by positive operators that does not belong to the standard family. Theorem 3.3. We have an irreducible representation P 0 of U q (sl(2, R)) by positive operators on L 2 (R), given by such that the Casimir operator C acts as zero on L 2 (R).

Analytic continuation and modular double
From another point of view, what we have done is replacing the action of the Casimir operator by zero: which amounts to "solving for λ" and we obtain Informally we have analytically continued the weight parameter λ to take complex values. Moreover, if the representation of Faddeev's modular double is also taken into account, the value of λ can be uniquely determined up to a sign. Hence, we shall only consider the general solution of (2.76) in the sense of Definition 2.39. We recall the following useful Lemma.
Lemma 3.5. [22] Let X, Y be positive self-adjoint operators on L 2 (R) such that XY = q 2 Y X. Then X + Y is also positive self-adjoint and Here again the composition of the unbounded operators is taken in the integrable sense [10,22] and the powers of positive operators are defined by functional calculus.
Theorem 3.6. The transcendental relations are satisfied for λ = ± i 4b . In other words, the positive operators on L 2 (R) define a positive representation of the modular double counterpart U q (sl(2, R)).
Proof. Since π 0 (e) and π 0 (K) are monomials, the transcendental relations are trivial: For π 0 (e), since the two monomial terms are q 4 commuting, we compute using Lemma 3.5 and the binomial formula to get Comparing with the explicit expression of P λ , we see that this is indeed a representation of U q (sl(2, R)) with the new Casimir corresponding to setting the weight parameter to λ = ± i 4b .

Tensor product decomposition
The main result of this section is the decomposition of the tensor product of P 0 with itself. It turns out that the tensor product lies in a certain "closure" of the standard positive representations in the form of a direct integral, with respect to a special Plancherel measure that is different from the usual one [10,22] by a factor of √ 2.
Theorem 3.7. We have the following decomposition where P λ is the standard positive representation parametrized by λ ≥ 0 and the rescaled Plancherel measure is given by Proof. The tensor product representation can be realized by the amalgamation of two copies of the quiver corresponding to X 0 q along one side of the frozen vertex (here denoted by vertex 2) as shown in Figure 8, such that the actions of the generators by coproduct correspond to concatenation of their telescopic paths.
The polarization of the quiver for U q (sl(2, R)) is obtained by multiplying the corresponding polarizations (u 1 , p 1 ), (u 2 , p 2 ) of the two copies of the quiver acting on L 2 (R 2 ). Note that we do not have any central parameters.
Following [23], it suffices to decompose the Casimir operator in the tensor product representation By mutating at vertex 2 (which becomes unfrozen after amalgamation), we obtain the quiver in Figure 9 together with the embedding Keeping track of the change in polarization according to Proposition 2.27, we obtain the following positive representation of U q (sl(2, R)) on L 2 (R 2 ) given by Upon a rescaling of the variables , we see that the Casimir operator is equivalent to Kashaev's geodesic length operator [19] L := e 2πbp + e 2πbx + e −2πbx , (3.26) but with the quantum parameter b → √ 2b instead. The spectral decomposition of L is well-known [20] with simple spectrum is the action of the Casimir on the standard positive representation and the Plancherel measure is given by As a consequence we have the decomposition π P 0 ⊗P 0 (C) into simple spectrum with the corresponding rescaled measure.

Remark on other Casimir values
It is natural to ask whether we still obtain a sensible representation by setting the Casimir operator to its other eigenvalues. For example, if we set C = 1, we obtain from (3.4)-(3.6) formally in the image of the quantum torus algebra X sym q . In particular, a polarization of X sym q provides us with a representation by symmetric operators: However, we can check that the image of f in X sym q is no a longer universally Laurent polynomial, so that f / ∈ O q (X ). In particular, one cannot mutate f in such a way that it gets transformed into a cluster monomial, unlike the usual cases.
On the other hand, if we set then from the calculation in the proof of Theorem 3.6 with q replaced by q, the modular duality ensures that the resulting representation is indeed regular, in the sense that the Chevalley generators are universally Laurent polynomials lying in O q (X 0 ), provided that we invert the multipliers of X 0 q such that d 2 = 1 2 . In Section 6, we will discuss the general classification of such "regular" positive representations.
Remark 3.8. If we further set b = 1, then both C and C act by zero, while the transformation g b (z) is independent of λ and well-defined as g 1 (z) ∼ Li 2 (z). This curious connection is worth investigating in future works.
We end this section by a simple observation. Let P c λ denote the representation of U q (sl(2, R)) obtained from (3.16) where C acts by a positive scalar c ≥ 0. Proposition 3.9. Let c, c ≥ 0. Then ∆(C) is a symmetric operator with positive spectrum ≥ 2 acting on P c λ ⊗ P c λ . Proof. It follows from (3.25) that ∆(C) is of the form where ∆(C 0 ) is the Casimir for P 0 ⊗ P 0 which we know has positive spectrum ≥ 2 by Theorem 3.7. Since the action of K ⊗ C + C ⊗ K −1 is evidently positive symmetric, we have our conclusion.

Positive representations at zero Casimirs in type
A n Let us denote by i An the standard reduced word of the longest element of the Weyl group of sl n+1 , given by i An = 1 21 321 4321 · · · n n − 1 · · · 321. (4.1)

Symmetric quiver X sym q
In type A n , recall that we have an embedding of the Drinfeld's double D q (sl n+1 ) into the quantum torus algebra X std q given by the quiver in Figure 10 corresponding to i An associated to a triangulation of a once punctured disk, where the paths on the quiver gives the embedding of the Chevalley generators as telescoping sums, as explained in Notation 2.30. We have also indicated the assignment of the central parameters for the polarization of U q (sl(n + 1, R)), in such a way that • The polarization is group-like, i.e. π λ (K i K i ) = 1 for i ∈ I, and • the remaining n central monomials Q i are given by the product of the cluster variables along the monodromy cycles around the puncture.
For example, in Figure 10 showing n = 4, the central monomials are given by the cluster monomials (here Q 4 corresponds to a degenerate 2-cycle) such that Furthermore, following the mutation sequence provided in either [6,15,26], we can flip the triangulation as in Figure 11 by n + 2 3 cluster mutations, obtaining the quiver for X sf q corresponding to the self-folded triangulation in Figure 12. Remark 4.1. The quiver in Figure 12 is a rearrangement of [26, Figure 15] where the top self-folded part is a mirror image, and the top vertex is connected since [26] is dealing with the universal cover and modulo the deck transformation.
Finally, a mutation sequence, provided in [26] in order to study the monodromy that gives the central characters, transforms the quiver into the self-folded symmetric form associated to the quantum torus algebra X sym q . Our new result here is the computation of the central parameters associated to the polarization of X sym q . Theorem 4.2. The self-folded symmetric quiver of X sym q (using the same index), together with the central parameters of the vertices, is given by Figure 13.
Proof. A complete description and an example of the mutation are illustrated in Appendix B. We mutate with respect to the opposite quiver on the top half so that the resulting quiver differs from those of [26] by a mirror reflection. The computation of the central parameters of the vertices follows by induction, keeping track of the monomial changes at each wave of mutations.
The color of the paths again help illustrate the embedding of D q (sl n+1 ). The quiver of X sym q can be considered as an amalgamation of the "standard part" and the "symmetric part", separated by the dotted lines in Figure 13.  Figure 13).
In particular, the monomials Q k := X c k X −1 c k−1 for k = 1, ..., n form a generating set of the non-Cartan central monomials of X sym q with polarization π λ (Q k ) = e(4λ k ).  The important point to note is that all the Chevalley generators e i and f i , except e n , do not depend on the symmetric variables. On the other hand, the action of e n is expressed in terms of the elementary symmetric polynomials E k in the cluster variables associated to the symmetric part.
More precisely, rewriting the results of [26], we have .., X cn ) are the elementary symmetric polynomials, and A k ∈ X sym q are Laurent polynomials in the quantum cluster variables along the colored path of the quiver, which do not involve X c0 , ..., X cn . By factorizing X k c0 out of B k , we see that where lies in the center of X sym q . Furthermore, the polarization of C k gives which is proportional to the action of the Casimir operators given by (2.72).
The following lemma is needed in Section 5. Proof. One can follow the mutation sequence directly, as described in Appendix B, to show the required transformation. Alternatively, one can argue as follows. Consider the standard quiver Q n+1 for type A n+1 which is one rank higher as in Figure 14. We can regard Ξ together with the top and bottom-most vertices (colored in red) as the central monomial Q 1 with central parameter 4λ 1 . Now we perform the symmetric folding for the A n subalgebra with root index 2, ..., n + 1 (the part shaded in green). Note that the top and bottom-most vertices do not play a role under the mutation since they are outside of the A n subalgebra quiver. The resulting quiver is shown in Figure 15.
Since Ξ lies in the center of X Qn+1 q , under the quantum mutation, only the monomial transformation as in Proposition 2.27 is effective, and hence the resulting image µ q (Ξ) in the mutated quiver stays a monomial. Then, we check directly that the product Ξ = X j1,...,j n(n+2) of all the cluster variable as described (colored in red), lies in the center of the resulting quantum torus algebra X

Positive representations at zero Casimir
Following the motivation from the previous section, we can now state the following Main Theorem.
Theorem 4.5. There is an embedding from D q (sl n+1 )/ C k = 0 to a skew-symmetrizable quantum cluster algebra O q (X 0 ), such that the image of the Chevalley generators are universally Laurent polynomials.
Passing to a polarization, we have an irreducible representation P 0 of U q (sl(n + 1, R)) acting on L 2 (R N ) as positive operators, where N = n(n+1) 2 , such that all the Casimir operators C k act by zero.
Proof. We identify all the n+1 symmetric vertices by taking their product as a new cluster variable X := n i=0 X ci . We also let d = n + 1 be the multiplier of this new vertex. We obtain the quantum torus algebra X 0 q with the quiver given by Figure  16.
Note that in this quantum cluster seed, we have new relations (e.g. using the labeling from Figure 16) This identification comes from setting all the elementary symmetric polynomials B k , k = 1, ..., n in the embedding (4.5) of e n to zero, while B n+1 becomes X , so that the image of e n reduces to a single "jump" in the telescopic sum in the combined variable X from the last monomial term of A 0 to the first monomial term of A n+1 B n+1 . We also have the corresponding images for K n . Since the symmetric part is proportional to the Casimir element, which lies in the center, the resulting expressions for e n and K n obtained by setting the symmetric part to the scalar zero provide a homomorphic image of D q (sl n+1 ) in X 0 q . By the usual properties of the folding of quantum cluster algebras, a mutation at X is equivalent to first mutating simultaneously (unordered) the original unfolded expression at X c0 , ..., X cn , which remains a symmetric expression involving X ci , and then setting the symmetric part E i (X c0 , ..., X cn ) → 0, i = 1, ..., n (4.11) On the other hand, mutating at other variables different from X works as in the original unfolded expression. Since the Chevalley generators are known to be universally Laurent polynomials in the unfolded quantum cluster algebra O q (X ), the folding procedure still produces universally Laurent polynomials in O q (X 0 ). In terms of positive representation, the resulting polarization of X is given by the n-th power of the Weyl expression of X c0 but with the central parameter associated to X vanishing. Since we essentially identified all the central monomials Q k from the folding, the resulting positive representation does not depend on any parameter, which matches with the rank of the quiver of X 0 q .
Irreducibility in the case of U q (sl(2, R)) is clear from the action of the pair (K, f ). To prove the irreducibility of the representation in general, we require the following Lemma.
Lemma 4.6. By the embedding D q (sl n+1 ) → X q , the generator e n can be expressed as a rational expression in e 1 , ..., e n−1 , f 1 , ..., f n , K 1 , ..., K n as well as the Casimirs C 1 , ..., C n , considered as elements in the field of fraction T q .
Recall that in the representation P 0 constructed from folding, only the action of the generator e n is modified and the polarization of all remaining 3n − 1 Chevalley generators remain the same as P λ . By Lemma 4.6, any operator that strongly commutes with the 3n − 1 Chevalley generators also commutes with e n , and is hence the multiplication by a scalar by the irreducibility of the standard positive representation P λ .
Proof of Lemma 4.6. In U q (sl 2 ), recall that we have the expression By the embedding to X q , this element makes sense as a rational element in T q , which factorizes and simplifies to a polynomial representing the image of e ∈ X q .
In general for type A n , the fundamental representations are given by the exterior power of the standard representation V k := Λ k V 1 . It is known that the action of the quantum group generators E 2 α = 0 for any positive root α in these representation. Hence the formula for the universal R-matrix restricted to V k is simply given by [14] R| where K is the Cartan part and the product is over a normal ordering of the positive roots determined by the standard longest word i An . As a consequence, by expanding the trace and commuting the generators e n with K i as well as any (e i , e j ) for |i − j| > 1, we conclude that the explicit expressions of the Casimir elements are spanned by 1, e n , e n−1 e n , ..., e 1 · · · e n with coefficients in U q (g) without e n multiplying from the right. (For example, see (2.63)-(2.64) after expanding the e ij terms.) Treating x k := e k · · · e n as indeterminates, we obtain a system of n linear equations with coefficient in U q (g). Hence, e n can be solved as a rational expression in terms of the remaining 3n − 1 generators as well as the C k .
Formally, setting λ to a general solution of (2.76) also gives the representation P 0 by (4.8). However, since λ is complex, the default polarization of some cluster variables of X 0 q may not be positive if it has nontrivial central parameter. We fix this as follows.
Corollary 4.7. P 0 is obtained from P λ by • choosing a polarization of X sym q where the central parameters of each symmetric variable X ci are shifted by a constant c, such that X := X c0,...,cn as well as all other variables have trivial central parameters, and • setting λ to a general solution λ 0 ∈ C n of (2.76).
We may formally write P 0 = P λ0 .
Proof. By direct computation, the constant c is given by One checks that the polarizations of all central monomials remain invariant. The symmetric folding that takes X = X c0,...,cn removes all the central parameters in X 0 q and the polarization of X 0 q is still positive by construction.
Remark 4.8. We remark that even the Chevalley generators are universally Laurent polynomials in O q (X 0 ), in type A n for n ≥ 3, the special generator e n is no longer a standard monomial in general.
Finally, we have to show that the construction is independent of the choice of the "special" generator e n used, since the standard positive representations in type A n is symmetric with respect to the Dynkin involution e i ←→ f i * as well as e i ←→ e i * induced from the change of words i 0 ←→ i * 0 by Coxeter moves, both of which are related by cluster mutations and changes of polarizations. This is addressed in the following Proposition. Proposition 4.9. Assume P λ P λ are two unitarily equivalent standard positive representations of U q (g) related by quantum cluster mutations. Then the degenerate representations obtained as in Corollary 4.7 by setting λ to a general solution of (2.76) are still unitarily equivalent, Proof. For a given polarization of X q , it is known [7] that a quantum cluster mutation is realized by unitary transformations on H L 2 (R N ) of the form where g b is the quantum dilogarithm function, L as in Notation 2.20, and M ∈ Sp(2N ) gives a change of variables with respect to {u i , p j } realizing the monomial transformation described in Proposition 2.27, or in other words, just an invertible change of polarization (cf. Lemma 2.23).
We recall some analytic properties of the quantum dilogarithm function g b (e 2πbx ) which can be found in [10,22]. It can be analytically continued to a meromorphic function G(x), such that it admits poles at x = i b+b −1 2 + nb + mb −1 and zeros at x = −i b+b −1 2 + nb + mb −1 for n, m ∈ Z ≥0 . Furthermore, for a constant α ∈ R, G(x + iα) has at most exponential growth on the real line x ∈ R bounded by e 2πbαx , and is hence a densely defined operator on L 2 (R). The adjoint can be similarly defined for α ∈ R, with the reciprocal analytic properties, by By a choice of polarization, the general operator g b (e πL ) can be reduced to an action by a single variable in which the previous analytic properties apply. Furthermore, it depends analytically on λ i . By setting λ 1 = · · · = λ n = i 2(n+1)b to be the general solution of (2.76), x ∈ R will not pass through the poles and zeros of g b since λ i does not involve half multiples of b. Hence, we conclude that g b (e πL ) is invertible on a dense domain and the adjoint is also well-defined.
Therefore, given a composition of the transformations with respect to the mutation sequence (together with a change of variables) realizing P λ P λ , by analytically continuing λ towards the general solution of (2.76), we obtain a nonzero densely defined invertible intertwiner: Φ : P 0 P 0 . Now by Theorem 4.5, both representations P 0 and P 0 are positive and irreducible defined on a dense subspace of L 2 (R N ). Hence, for any X ∈ U q (g) and t ∈ R such that π 0 (X) it is bounded and unitary, we have by positivity hence Φ * Φ commutes strongly with any π 0 (X). Since Φ * Φ is nonzero, upon rescaling if necessary it must be the identity operator by irreducibility, so Φ is a unitary equivalence.
Example 4.10. In the case U q (sl(2, R)), consider the quiver in Figure 1. We compare the two representations with quivers obtained by a mutation at 2 followed by folding, and by a mutation at 4 followed by folding. The two folded quivers are related by a cluster mutation with double weight (see Figure 3-4). By choosing the standard polarization, the conclusion of Proposition 4.9 gives us an identity between the folded unitary transformation and the unfolded one by specifying λ = i 4b , namely 2 )g b (e 2πbu e − πi 2 ) (4.14) for some constant c ∈ C with unit norm. By setting u = 0 and using the functional equation for g b (cf. [10]), one calculates the constant to be just c = 1. This identity, valid for 0 < b < 1, should be considered as the analytic continuation of the more well-known ones obtained for quantum dilogarithm at the root of unity [17].
Remark 4.11. By Remark 4.8 however, we see that in general the unitary equivalence in (4.13) may not be expressible as quantum cluster mutations in X 0 q anymore, since the unitary transformation g b (π(X ) 1 n+1 ) corresponding to the unfolded variable is not available. It will be interesting to find all such equivalences that can actually be realized as cluster mutations, which hold e.g. in type A 1 and A 2 .

Modular double counterpart
Theorem 4.12. The representation P 0 of U q (sl(n+1, R)) induces a representation P 0 of its modular double counterpart U q (sl(n + 1, R)) with the central parameter λ given by the general solution of (2.76).
Proof. Let b := √ n + 1b and define formally with weight d = 1 n+1 and d i = 1 for i = . Let X 0 q be the corresponding quantum torus algebra they generate. (Alternatively one can define X 0 q through a proper rescaling of the lattice and seed basis.) Note that the polarization of X n+1 is the same as that of By the modular invariance of the quantum dilogarithm function, we have Since X i X = q −2 X X i , by the binomial theorem, the same mutation gives Therefore, by comparing the coefficients in the unfolded cluster algebra, we see that the modular double counterpart is obtained by setting the Casimir actions of U q (sl(n + 1, R)) to which is the same as specifying the central parameters λ ∈ C n to one of the general solutions of (2.76).
Replacing q with q in the discussion above, we have Corollary 4.13. There is a homomorphism from U q (sl n+1 ) to a skew-symmetrizable quantum cluster algebra O q ( X 0 ) such that for any irreducible polarization π the generalized Casimir elements act as 4.15) and the Chevalley generators are realized as universally Laurent polynomials.
The transcendental relations however become more subtle. In the original positive representations, the proof relies heavily on the fact that the Chevalley generators can be transformed to cluster monomials, such that the transcendental relations are satisfied for any choice of polarization: (e 2πbL(u,p,λ) ) 1 b 2 = e 2πb −1 L(u,p,λ) . (4.16) Hence, the transcendental relations hold for e 1 , ..., e n−1 as well as f 1 , ..., f n and K 1 , ..., K n . However, by Remark 4.8, the generator e n is in general no longer a standard monomial. A new algebraic or analytic way is thus required to prove this relation.
Conjecture 4.14. The transcendental relations are satisfied for all Chevalley generators of U q (sl(n + 1, R)) with λ ∈ C n taken to be any general solution in (2.76).
For completeness, we demonstrate an algebraic proof in type A 2 below.
Proposition 4.15. The transcendental relations are satisfied for U q (sl(2, R)) and U q (sl(3, R)) with λ taken to be any general solution in (2.76).
Proof. The case for U q (sl(2, R)) is proved in Section 3.6. For U q (sl(3, R)), the symmetric quiver is shown in Figure 17. The thick green arrows indicate that X 2 X = q −6 X X 2 and X 4 X = q 6 X X 4 .
Hence, by Lemma 3.5, we have  Note that the two terms in the first and the last brackets q −2 -commute, while those in the middle bracket q −6 -commute. Also recall from definition that X 1 b 2 = X 3 . Hence, again by Lemma 3.5, we compute   which compares with the unfolded expression by setting the central parameter λ to be the general solution of (2.76).
Alternatively, one can first mutate e 2 at the vertices 7, 3, 2, 4 to reduce it to a standard monomial X 8 in the resulting cluster, apply 1 b 2 -th power, and reverse the mutation to obtain the same expression above.

Degenerate representations for general Lie types
For general Lie types, it seems impossible to nullify all the central characters simultaneously as in type A n . This is particularly true for the non-simply-laced cases as the central characters corresponding to the long and short root should be treated separately. Therefore, the next best scenario is to isolate some parabolic part of U q (g) that is isomorphic to a direct product of type A k Lie subalgebras and perform the folding construction for each of those subalgebras.
Let J ⊂ I be a nontrivial subset of the Dynkin index such that the parabolic subgroup W J ⊂ W of the Weyl group is isomorphic to a direct product of type A k Weyl group. Let w J be the longest element of W J and write w 0 = w J w , with its corresponding longest expression decomposed as i 0 = i J i . We have an embedding of U q (g) into the quantum torus algebra constructed from i 0 = i J i .
In [16], we proved using the generalized Heisenberg double, that we still have a homomorphism of U q (g) as long as the parabolic part of the quiver corresponding to i J still produces an image of U q (g). In other words, we can perform the construction in the previous section to the i J part of the quiver. The rank of W J dictates the reduction of the dimension of the center. Hence, under a choice of polarization, we obtain a new family of representations called the degenerate positive representations denoted by P 0,J λ , parametrized by n − |J| scalars. Note that as Hilbert spaces, they have the same functional dimension Since we are only modifying the expression of some parabolic A n part of the representations, the same argument as in Theorem 4.5 shows that the resulting representation is still irreducible by restricting to the variables corresponding to the parabolic part. Hence, we state the Main Theorem of the paper.
Theorem 5.1. We have a homomorphism of U q (g) into a certain skew-symmetrizable quantum cluster algebra O q (X 0 ), obtained by identifying the symmetric part of the type A parabolic subgroup W J , such that the image of the Chevalley generators are universally Laurent polynomials in O q (X 0 ). Upon choosing a polarization for any cluster chart of O q (X 0 ) produces a family of irreducible positive representations of U q (g R ) parametrized by n − |J| central parameters λ i ∈ R.

Maximal degenerate representations
In this section, we focus on the calculation of the action of the Casimir operators C k for general Lie types, by folding a parabolic A n−1 part of maximal rank according to the previous section. Since this reduces the rank of the quiver by n − 1, the resulting polarization of the skew-symmetrizable quantum torus algebra X 0 q will be parametrized by a single scalar λ ∈ R ≥0 which can be taken to be positive. We call this family of positive representations the maximal degenerate representations.
The calculation of the actions of the Casimir operators relies on the explicit expression of the generating monomials of the center of the quantum torus algebra X sym q , how the central parameters are changed under the folding, and the fact that two polarizations are unitarily equivalent if and only if their actions on the central monomials coincide. We will focus on the representations of the quantum group U q (g R ), so that in particular our polarizations are always group-like, i.e. π λ (K i K i ) = 1 for i ∈ I.
In the following, we illustrate the calculation using type B 5 as an example. The general strategy for the calculation of C k in other Lie types follows with appropriate modifications, and are explained in the proof of Theorem 5.5.
As in [16], the quiver corresponding to the quantum torus algebra X std q can be rearranged as in Figure 18 such that the shaded part consists of the parabolic A n−1 subquiver. The colors indicate the embedding of the Chevalley generators, which can be obtained from the parabolic representations described explicitly in [16], but otherwise are not really relevant to the discussion below.  It is important to note that, by the results from the parabolic positive representations [16], the indexing of the parabolic part A n−1 requires a twisting by its Dynkin involution, i.e. the change in indices given by i → i * = n − i. Therefore, the assignments of the central parameters are reversed compared with Figure 10.
Proposition 5.2. The center of X std q is generated by the following monomials: • ι(K i K i ), i ∈ I, which is the product of the cluster variables along each distinct blue path for the f i generators, and each distinct colored paths for the e i generators.
• Q k , k = 1, ..., n − 1, with central parameter 4λ k , which coincides with the center of the parabolic A n−1 part as in (4.2).
• Q n , given by the product of the cluster variables associated to the red nodes, i.e. all the mutable vertices that are not within the interior of the parabolic part. It has central parameter 4λ n .
Note that the index n ∈ I is short, so 4λ n = 4b s λ n as in Notation 2.9 and 2.17. Now we perform the folding construction for the parabolic A n−1 part and obtain the quiver as in Figure 19 with the corresponding assignments of the central parameters (again noting the twisting of index). We label the symmetric nodes by X c0 , ..., X cn−1 from top to bottom as before. Under this folding, the central monomials Q k for k = n are given by the ratio as before, while by Lemma 4.4, Q n is the product of the cluster variables (colored in red) associated to all the mutable variables not from the symmetric part, together with the single variable X c0 .

5.1.2
Step 2: Central parameters of X 0 q We fold the parabolic A n−1 part along the symmetric nodes as before, with the new cluster variable given by and obtain a skew-symmetrizable quantum torus algebra X 0 q with the same rank but n − 1 less variables. In particular, the non-Cartan central monomials are parametrized by a single real number λ ∈ R. The quiver is shown in Figure 20.
By definition, the multipliers of the bottom-most vertex and vertices along the bottom row are d = 1 2 , the folded vertex d = n, and the remaining vertices d = 1. In particular, the central parameter λ is a short weight.
We wish to compute the action of the Casimir operators associated to this polarization. In order to do this, we try to find an equivalent description of the central parameters by comparing them with a specification of complex values to the central parameters of the unfolded quiver as in Section 4.2. Recall that under the polarization of the unfolded quiver above, the effect of folding is equivalent to setting λ 1 , ..., λ n−1 to the general solution of (2.76), and is independent of the choice of the solutions. We choose the standard solution λ 1 = · · · = λ n−1 = i 2nb . At the same time, the resulting polarization of X is obtained by taking the product of all those of the symmetric vertices, with their central parameters adding up. The sum of these central parameters (using the rescaled variables) is given by By setting the parameters to complex numbers, the resulting polarization is certainly not positive. However, note that a linear change of variables in the parameters does not change the action of the center. Thus, it suffices to find a specialization of the parameters, complex or not, in such a way that the central parameters of the central monomials coincide with the positive ones chosen as in Figure 20.
We know that the central monomial Q n of the original unfolded algebra X sym q is a monomial which, among other variables, contains a single cluster variable X c0 .
Since the Weyl part of the polarization of all the X ci 's are the same, by (5.3) the polarization of X n c0 and X coincide. From this, we easily see that the monomial given by formally lies in the center of X 0 q , if we allow fractional powers of the cluster variables. It still makes sense to talk about its polarization, and Q will be the unique central monomial carrying a nontrivial central parameter.
By the folding, we compute the central parameter of Q to be On the other hand, the central parameter of Q is given by 4λ := 4b s λ from the polarization in Figure 20. By setting 4λ = 4 n n k=1 kλ k (5.5) and substituting the general solution, we conclude that Theorem 5.3. The polarization of the central monomials of X 0 q is given by setting the parameters of X sym q to be where the complex shift is given by Moreover, Q acts as the multiplication by a positive scalar.

Step 3: Action of Casimir operators
Using the equivalence of the central characters of the folded quantum cluster algebra with the specification of complex values to the central parameters of the original quiver, we can now compute the action of the Casimir operators by substituting (5.6)-(5.8) to the explicit expressions of C k in (2.66). We shall compute this directly by using the generating function of the positive Casimirs derived in [14], together with the explicit form of the finite dimensional fundamental representations of type B n Lie algebra, which consist of the spin representation V n = S, the standard representation V 1 = V and its exterior products V k := Λ k V for k = 1, ..., n − 1.
Theorem 5.4. Under any irreducible polarization of X 0 q with central parameters as in Figure 20, the Casimir operators of the maximal degenerate representations P 0,J λ of type B n act as multiplication by the following scalars: In particular, we have P 0,J λ P 0,J −λ , so we can restrict to positive parameter λ ∈ R ≥0 .
Proof. By the explicit weight decomposition of the spin module [2] and (2.66), we have Upon setting λ 1 = · · · = λ n−1 = i 2nb and λ n = λ − n−1 4nbs i, we obtain as required. We can also observe directly from the computation above that choosing λ i to be other general solutions of (2.76) amounts to permuting the factors in (5.10), which does not affect the final result.
This completes the analysis of the maximal degenerate representations of type B n .

Results for general Lie types
Using the algorithm in the previous subsections, we compute the actions of C k of the maximal degenerate representations of other Lie types (except type F 4 and G 2 which are treated separately) with respect to the parabolic part A n−1 with root index 1, ..., n − 1 labeled as in Appendix A. We compute the complex shift θ g by analyzing the central monomials Q n under the symmetric folding as in subsection 5.1.2, and substitute the corresponding complexified central parameters to (2.66) in order to obtain the action of C k as in subsection 5.1.3.
For completeness, we also include type A n−1 ⊂ A n which was discussed previously in Lemma 4.4 and is easy to deal with using the explicit expressions of the actions of C k as elementary symmetric polynomials (2.72).
Theorem 5.5. The complex shifts, together with the actions of the generalized Casimirs C k of the maximal degenerate representations in type A n to E n are given as follows.

Type
Complex Shifts Action of Casimirs π λ (C 1 ) = · · · = π λ (C n−1 ) = 0 π λ (C n ) = e πnbλ + e −πnbλ D n , n = 2k + 1 Proof. We comment on some special aspects of the computation of different types. Type C n . It is known that the quantum torus algebras corresponding to positive representations of types B n and C n are related by Langlands duality, where the long and short weights are interchanged. More precisely, the quantum torus algebra X Cn q is obtained from X Bn q simply by setting the multipliers d i := 1 2di , i.e. interchanging 1 ←→ 1 2 . The central monomials of X Cn q is then given by the same expression as X Bn q , but with all variables rescaled by X i → X 2di i , i.e. all the original "long" variables are squared. Therefore, when we compute the central monomial Q n in the folding, the corresponding complex shifts in λ 1 , ..., λ n−1 which correspond to "short" variables in type C n are doubled. Hence, the complex shifts are related by bθ Cn = 2b s θ Bn . (5.13) The fundamental representations of C n are, however, quite different from those of B n . They are given by the standard representation V 1 = V and the quotients of its exterior products V k := Λ k V /Λ k−2 V for k = 2, ..., n. The corresponding generating function is given by and k ≡ k (mod 2) ∈ {0, 1}. Upon setting λ n = λ − n−1 2nb i (which is a long weight) and λ 1 = · · · = λ n−1 = i 2nbs , we get p(t) = 1 + (e 2πnbλ + e −2πnbλ )t n + t 2n .
Comparing the coefficients with (5.14), we can solve for the actions of C k .
Type D n . First, we choose a reduced word of w 0 of the form i 0 = i An−1 i . This can be computed to be given by i 0 = (1 2 1 3 2 1 · · · n−1 · · · 1)(n n−2 n−3 · · · 1)(n−1 n−2 n−3 · · · 2)(n n−2 · · · 3) · · · (n−n) where n ≡ n (mod 2) ∈ {0, 1} depending on the parity of n. After constructing the corresponding quantum torus algebra, we compute that the central monomial Q n contains cluster variables from the outer two layers of the parabolic A n−1 part of the quiver. Upon mutation to the symmetric quiver, Q n is transformed into a monomial which only consists of two symmetric vertices: Following the previous subsection, after folding, we see that the unique non-Cartan central monomial becomes The indexing of the central parameters of the parabolic A n−1 part may differ depending on the parity of n, but does not matter once we set λ 1 = · · · = λ n−1 .
For the spin modules, we have an explicit description of its weight spaces [2] as follows. The 2 n dimensional module S has weight vectors where ε = (ε 1 , ..., ε n ) ranges over all possible choices of signs ε i = ±1, and the weights µ i ∈ H * are given by and ω = (ω i ) are the fundamental weights. Now we can split the sum so that it gives a decomposition where S ± corresponds to the weight spaces with even (+) or odd (−) number of −1's in the choices of ε i . Then V n−1 S − , V n S + n is even, V n−1 S + , V n S − n is odd.
The formula (2.66) together with (5.17) now allow the computation of the actions of C n−1 and C n , which are explicitly given by summing over all possible choices of signs of ε = (ε i ) with even or odd parity, where Λ = (λ i ) are the parameters. Upon setting λ 1 = · · · = λ n−1 = i 2nb and λ n = λ − n−2 2nb i, a direct calculation using root of unity shows that • The summation over ε which consists of both +1 and −1 vanishes.
Hence, taking into account the description of S ± based on the parity of the number of −1's in ε, we complete the analysis of C n−1 and C n .
Type E n . For type E n , we use the following reduced word i 0 = i An−1 i corresponding to parabolic A n−1 with root index 1, ..., n − 1: The central monomial Q n can be computed explicitly and is shown to depend on the outer 3 layers of the parabolic A n−1 part. Upon mutation to the symmetric quiver, Q n is transformed into the form Q n = X ··· X c0 X c1 X c2 . (5.23) Again, after folding, the central monomial Q is given by Upon substituting λ 1 = · · · = λ n−1 = i 2nb , we obtain the resulting complex shifts θ En . For n = 6, 7, 8, they are given by 3 8b , 3 7b and 15 32b respectively. To compute explicitly the action of the Casimir operators using (2.68), we use the WeylCharacterRing::fundamental weights function in Sage to output the set of weights for each fundamental representation of g. Then, we manipulate the set of weights to get the exponents L i in the expression for each Casimir of the form π λ (C k ) = e 4πbLi , substitute the complex shifts, compute symbolically the real and imaginary parts of π λ (C k ) separately and simplify the results to obtain the action listed in Theorem 5.5.
In type F 4 , there is no parabolic subalgebra of type A 3 . Instead, we consider the degenerate representations obtained by folding the parabolic subalgebra of type A 1 × A 2 with respect to two different root lengths, namely the root index (1,2,4) and (1,3,4) respectively. The corresponding reduced words can be chosen as respectively. They are chosen to be Langlands dual of each other with 1 ←→ 4 and 2 ←→ 3.
In type G 2 , there are also two ways to obtain the maximal degenerate representation by folding the parabolic subalgebra of type A 1 with respect to root 1 and 2.
The results are summarized as follows, where details are omitted as they can be obtained by direct computations from the definition.
Theorem 5.6. The complex shifts, together with the actions of the generalized Casimirs C k of the maximal degenerate representations in type F 4 and G 2 are given as follows.

Modular double counterpart
As explained at the end of the discussion of type A n in Section 4.3, one can also obtain the modular double counterpart of the symmetric folding by substituting instead, i.e. replacing b by b −1 in the folding of the A n−1 parabolic part. The resulting quiver X 0 q is the same as that of X 0 q but with the weights of d being 1 n instead. More generally, we have a modular double counterpart to Theorem 5.1.
Theorem 5.7. For any parabolic subgroup W J ⊂ W of type A k1 × · · · × A km , we have another new family of homomorphisms of D q (g) into a skew-symmetrizable quantum cluster algebra O q ( X 0 ), where the multiplier of the symmetric node d is inverse to that of X 0 q . Consequently, we obtain another family of representations of U q (g R ) by positive operators. We call this the modular double counterpart of the degenerate positive representations, denoted by P 0,J λ .
In the case of maximal degenerate representations, one can compute using techniques from the previous subsection the actions of C k for the modular double counterpart, which are again parametrized by a single scalar λ. In general, they are Laurent polynomials in e πλ , with coefficients in terms of c k := n k q 1 n such that, by the discussion of Theorem 4.12, setting c k = 0 reduces the expression back to that of P 0,J λ in Theorem 5.5. For example, in type B n , some of the actions of the Casimir elements in the modular double counterpart of the maximal degenerate representations are given by . . . The actions for other Lie types can be computed similarly, but their expressions are omitted because they are in general quite complicated and not very illuminating.

Classification of regular positive representations
To extend the class of positive representations to incorporate the new family related to their images in quantum cluster algebra, we make the following definition.
Definition 6.1. A representation P of U q (g R ) is called a regular positive representation if the Chevalley generators of U q (g R ) can be realized as a polarization of elements from the quantum algebra O q (X ) of regular functions of some quantum cluster variety.
In other words, • There exists a quantum torus algebra X Q q and a homomorphism U q (g) −→ X Q q . • The Chevalley generators are realized as universally Laurent polynomials in every quantum cluster chart mutation equivalent to X Q q • The representation P is obtained from the above homomorphism by choosing a polarization of X Q q . If P is irreducible, it is necessary that the Casimir elements act as multiplications by real scalars.
For the standard positive representation P λ , recall that we can always choose positive weight parameters λ ∈ R rank(g) ≥0 since P λ P w·λ for any Weyl action w ∈ W . Now from the results of Theorem 5.5 on the maximal degenerate representations, we note that the Casimir actions are the same for both P 0,J λ and P 0,J * −λ where J * is obtained by replacing each index with their Dynkin involutions. This suggests that we can always restrict ourselves to a positive weight parameter λ ∈ R ≥0 .
In fact this is true for other ranks of J as well.
Proposition 6.2. Let rank(g) = n. For any J ⊂ I and weight parameters λ ∈ R n−|J| , there exists J + ⊂ I with |J| = |J + | and λ + ∈ R n−|J| ≥0 such that P 0,J λ P 0,J + λ + . In particular we can always restrict to the case of positive weight parameters.
Proof. We consider the Weyl group action on the weight parameter vector Λ = (λ 1 , λ 2 ..., λ n ). Assume λ j = 0 for j ∈ J. Then Λ lies in the corank |J| wall of a Weyl chamber in the weight space. Hence there exists w ∈ W such that Λ + := w · Λ lies in the corank |J| wall of the positive Weyl chamber. In particular, there are |J| zero entries in Λ + . Let J + := {j : Λ + j = 0} ⊂ I. If we now consider the Weyl action on a generic weight parameter vector Λ, this means the J + entries are parametrized by λ j for j ∈ J. We can further act by a Weyl element (generated by s j ∈ W with j ∈ J + ) in such a way that (Λ + ) j∈J + is a permutation of (λ j ) j∈J , while the other entries are parametrized by the remaining n − |J| positive entries of Λ + which we denote by λ + , possibly with a shift in λ j for j ∈ J. Upon setting λ j (j ∈ J) to be the complex values required for the symmetric folding, the positivity of the central monomials Q i (i / ∈ J + ) ensures that the resulting parameters have the appropriate complex shifts coinciding with that of the degenerate representation P 0,J + λ + . By Proposition 4.9, the resulting representations are unitarily equivalent. In particular, the action of the Casimir operators are the same for both P 0,J λ P 0,J + λ + . As a consequence, we currently have the following list of known irreducible regular positive representations: (1) The standard positive representations P λ , parametrized by n positive scalars.
(2) The parabolic positive representations P J λ , with respect to the parabolic subgroup W J ⊂ W and parametrized by n − |J| positive scalars 5 .
(3) The degenerate representations P 0,J λ with respect to the parabolic subgroup W J ⊂ W of type A k1 × · · · × A km and parametrized by n − (k 1 + · · · + k m ) positive scalars.
(5) A mixture of type (2)-(4) for disconnected subsets of Dynkin indices. We state the main conjecture as follows.
Conjecture 6.4. The class of all irreducible regular positive representations of U q (g R ) is classified by the five families listed in (1)-(5) above.
Since the tensor product of the positive representations is just given by amalgamation of two copies of the basic quiver, such that the action of the Chevalley generators are the concatenation of the telescopic paths, we also expect that in general, Conjecture 6.5. The tensor product of regular positive representations is again regular, and they can be decomposed into a direct integral of regular positive representations.
In view of Theorem 3.7, it is interesting to classify those tensor products in which the decomposition involves only the standard positive representations. In other words, we wish to understand the closure of the braided tensor category of the standard positive representations, which will be important in the theory of integrable system and quantum geometry [6,9].

Example in type A 2
Let us illustrate the joint spectrum (π λ (C 1 ), π λ (C 2 )) of the Casimirs of the representations of U q (sl 3 ) listed in Conjecture 6.4. We assume that q is not a root of unity and the central parameters λ are positive. Note that in type A 2 , despite the discussion in Remark 4.11, the equivalence P 0,J λ P 0,J * −λ can actually be realized as cluster mutations and a change of polarizations.
The actions of the Casimirs in different families are calculated in [14], [16], Theorem 5.5 and Section 5.2 respectively. They are summarized in the table below. A plot (for all possible positive weight parameters λ and a generic q which is taken to be b ∼ 0.5) of the joint spectrum (π λ (C 1 ), π λ (C 2 )) of the list of regular positive representations of U q (sl(3, R)) is given in Figure 21.
Recall that [14] the boundary of the spectrum of the standard positive Casimirs is given by the discriminant variety (xy + 9) 2 = 4(x 3 + y 3 + 27), (6.1) which is independent of q. We observe that as expected, the spectral curves do not cross each other, reflecting the fact that these families of representations are not equivalent to one another. As a generalization of Remark 3.8, the situation becomes interesting when q is a root of unity. For b = 1, we observe that the actions of Casimirs for P 0,J λ and P 0,J λ are the same, since q 1 2 + q − 1 2 = 0. On the other hand, for b = 1 √ 2 , we note that the joint spectrum of the degenerate P 0,J λ and parabolic P J λ coincide as well, since q + q −1 = 0. These curious coincidences may be related to the representation theory of (compact) quantum groups at root of unity, and are worth studying in the future. Figure 21: A plot (x, y) = (π λ (C 1 ), π λ (C 2 )) of the different families of the joint spectrum of the Casimir elements with different colors.

A Labeling of Dynkin diagrams
In this paper, the labeling of the simple roots are chosen such that (except for type F 4 ) the indices 1, 2, ..., n − 1 form a parabolic A n−1 subalgebra of g. We denote the short roots by black nodes. • Type G 2 : 1 2

B Mutation sequence for symmetric folding
In this section, we describe the mutation sequence for symmetric folding outlined in [26], and include the assignments of the corresponding changes in the central parameters, together with the monomial components of the product Ξ of frozen variables.
We start with the self-folded quiver as in Figure 10 (we provided one rank higher for clarity) and colored in red the resulting monomial components of Ξ. We focus on the upper part of the quiver associated to the self-folded triangle (with dotted arrows added accordingly) shown in Figure 23, and rearrange the vertices such that it is a mirror image of [26, Figure 30]. The preliminary step involves mutations at the outer n − 1 vertices indexed y 1 , ..., y n−1 in green in Figure 23. Note that the monomial transformation contributes the variable X y1 to Ξ. The result is shown in Figure 24, where we rearrange the top 3 symmetric nodes after the mutations. Let us call the row below the symmetric part (i.e. the row containing the green vertices in Figure 24) the first row of the folded part. The remaining mutation sequence is then given in n − 2 waves of mutations. The k-th wave of mutations is along the zigzag paths from the second-to-last vertex in the n − 1 − k-th row (labeled by y 1 , ..., y N k in each figure, where N j = 1 2 k(k + 3).). After each wave of mutations, the last vertex of the zigzag path is moved to the top of the symmetric part, and the left-most vertex of each remaining row to the right-most end of the row above. Finally, each row is shifted accordingly.    Note that only the last wave of mutations affects the monomial components of Ξ, where each successive mutation contributes a single monomial. The result includes all vertices from the non-symmetric part, together with the top vertex, which is the last vertex of the zigzag path in the last wave of mutations.