Abstract
Let \({\mathrm {G}}\) be a connected semi-simple compact Lie group and for \(0<q<1\), let \(({\mathbb {C}}[\mathrm {G]_q},\varDelta _q)\) be the Jimbo–Drinfeld q-deformation of \({\mathrm {G}}\). We show that the \(C^*\)-completions of \(\mathrm {C}[\mathrm {G]_q}\) are isomorphic for all values of q. Moreover, these isomorphisms are equivariant with respect to the right-actions of the maximal torus.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction
The quantized universal enveloping algebra \(\mathrm {U_{q}}({\mathfrak {g}})\) of a semi-simple Lie algebra \({\mathfrak {g}}\) was introduced by Drinfeld and Jimbo in the mid-80’s [3, 5]. In [4], Drinfeld also introduced their dual objects, deformations \({\mathbb {C}}[\mathrm {G]_{q}}\) of the Hopf algebra of regular functions on a semi-simple Lie group \({\mathrm {G}}.\) Moreover, when \({\mathrm {G}}\) is compact, the algebra \({\mathbb {C}}[\mathrm {G]_{q}}\) can be given the structure of a Hopf \(*\)-algebra. In this case one can see that the enveloping \(C^{*}\)-algebra of \({\mathbb {C}}[\mathrm {G]_{q}}\) exists, giving a natural q-analogue \(C(\mathrm {G)_{q}}\) of the algebra of continuous functions on \(\mathrm {G}.\) The analytic approach to quantum groups was initially proposed by Woronowicz [14]. In the 90’s Soibelman gave a complete classification of the irreducible \(*\)-representations of \({\mathbb {C}}[\mathrm {G]_{q}}\). These were shown to be in one-to-one correspondence with the symplectic leaves of \(\mathrm {G}\) coming from the Poisson structure on \(C({\mathrm {G}})\) determined by the quantization when \(q\rightarrow 1\). However, it was not clear how the \(C^{*}\)-algebraic structure of \(C(\mathrm {G)_{q}}\) was depending on the parameter q. In fact, several evidence pointed towards that the structure was actually independent of it. In the special case of \(\mathrm {SU}_{2},\) it was observed (see [14]) that the \(C^{*}\)-algebras \(C(\mathrm {SU_{2}})_{q},\)\(q\in (0,1)\) are all isomorphic. In the mid 90’s, G. Nagy showed in [8] that the same holds for \(C(\mathrm {SU_{3})_{q}}\). Moreover, it was also shown by Nagy (in [9]) that \(C(\mathrm {SU_{n})_{q}}\) is KK-equivalent to \(C(\mathrm {SU_{n})_{s}},\) for all \(n\in {\mathbb {N}}\) and all \(q,s\in (0,1).\) This was extended by Neshveyev–Tuset in [10] to yield a KK-equivalence between \(C(\mathrm {G)_{q}}\) and \(C(\mathrm {G)_{s}}\) for any compact simply connected semi-simple Lie group G. In this paper, we show that some of the ideas that underpin Nagy’s proof of the q-independence of \(C(\mathrm {SU_{3})_{q}}\) can be extended to give the following result: for a fixed symplectic leaf \(U\subseteq \mathrm {G},\) with corresponding \(*\)-representations \(\pi ^{q}\) of \({\mathbb {C}}[\mathrm {G]_{q}},\) we have an isomorphism \(\overline{\mathrm {Im}\pi ^{q}}\cong \overline{\mathrm {Im}\pi ^{s}}\) for all \(q,s\in (0,1).\) Using this, we prove that \(C(\mathrm {G)_{q}}\cong C(\mathrm {G)_{s}},\) thus showing that these non-isomorphic compact quantum groups are all isomorphic as \(C^{*}\)-algebras. This confirms the conjecture made in [8].
The paper is organized as follows. We finish this section by giving some geometric intuitions underlying the proof and describing the idea of the proof using this geometric picture. We then present and prove the lifting theorem used in the proof of the main result. Section 2 goes through the formal definitions of \({\mathbb {C}}[\mathrm {G]_{q}}\) as well as its representation theory. In Sect. 3, we prove some more specific results regarding representations and how these depend on the q parameter. In Sect. 4, we state and prove the main result.
1.1 Outline of the proof
To explain the main ideas of the proof, it is worth to start by considering the case of \(\mathrm {G}=\mathrm {SU_{3}},\) previously covered by Nagy. There is an irreducible \(*\)-representation \(\pi ^{q}:{\mathbb {C}}[\mathrm {SU_{3}]_{q}}\rightarrow {\mathcal {B}}(\ell ^{2}({\mathbb {Z}}_{+})^{\otimes 3})\) that, in Nagy’s words, corresponds to the "big symplectic leaf" in \(\mathrm {SU_{3}}.\) However, there is an inherent problem when trying to determine if \(\overline{\mathrm {Im}\pi ^{q}}\cong \overline{\mathrm {Im}\pi ^{s}}\) for different \(q,s\in (0,1).\) As \(\pi ^{q}\) can be seen to vary (in a certain sense) continuously on q, one intuitive approach could be to let \(q\rightarrow 0,\) and then find some natural set of generators such that an isomorphic set of generators can be found in \(\overline{\mathrm {Im}\pi ^{q}}\) for each \(q\in (0,1).\) This method works, for example, in the case of \(C(\mathrm {SU_{2})_{q}}.\) However, for \({\mathbb {C}}[\mathrm {SU_{3}]_{q}},\) there seems to be no simple way of taking the limit \(q\rightarrow 0.\) As it sits, the image of \(\pi ^{q}\) is simply too "twisted" to allow passing to any limit.
These problems are resolved in the following way: We observe that \(\overline{\mathrm {Im}\pi ^{q}},\) for all \(q\in (0,1),\) contains the compact operators \({{\,\mathrm{{\mathcal {K}}}\,}}\subseteq {\mathcal {B}}(\ell ^{2}({\mathbb {Z}}_{+})^{\otimes 3}),\) and moreover, the intersection \(\mathrm {Im}\pi ^{q}\cap {{\,\mathrm{{\mathcal {K}}}\,}}\) is non-trivial. The compact operators form a minimal ideal in \(\overline{\mathrm {Im}\pi ^{q}},\) in the sense that it is contained in any other ideal. We now consider the composition
where p is the quotient map \(x\mapsto x+{{\,\mathrm{{\mathcal {K}}}\,}},\) and we then proceed by analyzing \(p\circ \pi ^{q}.\) It is clear that \(\pi ^{q}\) can not be a direct summand in \(p\circ \pi ^{q},\) as the elements mapped by \(\pi ^{q}\) into \(\mathrm {Im}\pi ^{q}\cap {{\,\mathrm{{\mathcal {K}}}\,}}\) is now mapped into zero. It turns out that there are two Hilbert spaces \({{\,\mathrm{\mathrm {H}}\,}}_{1},\)\({{\,\mathrm{\mathrm {H}}\,}}_{2},\) such that for every \(q\in (0,1),\) we have \(*\)-representations
and an isomorphism \(\varphi _{q}:\overline{\mathrm {Im}\pi ^{q}}/{{\,\mathrm{{\mathcal {K}}}\,}}\rightarrow \overline{\mathrm {Im}(\varPi _{1}^{q}\oplus \varPi _{2}^{q})},\) such that for every \(a\in {\mathbb {C}}[\mathrm {SU_{3}]_{q}},\) we have \(\varphi _{q}(p\circ \pi ^{q}(a))=(\varPi _{1}^{q}\oplus \varPi _{2}^{q})(a).\) Moreover, in this case, one can show that actually we have \(\overline{\mathrm {Im}(\varPi _{1}^{q}\oplus \varPi _{2}^{q})}=\overline{\mathrm {Im}(\varPi _{1}^{s}\oplus \varPi _{2}^{s})}\) for all \(q,s\in (0,1)\) as subspaces of \({\mathcal {B}}({{\,\mathrm{\mathrm {H}}\,}}_{1})\oplus {\mathcal {B}}({{\,\mathrm{\mathrm {H}}\,}}_{2}).\) Thus, by quoting out the compact operators, we have successfully "untwisted" the \(*\)-representation \(\pi ^{q}.\) Letting \(M=\overline{\mathrm {Im}(\varPi _{1}^{q}\oplus \varPi _{2}^{q})},\) one then shows that the injective homomorphisms \(\varphi _{q}^{-1}:M\rightarrow {\mathcal {Q}}(\ell ^{2}({\mathbb {Z}}_{+})^{\otimes 3})\) varies norm-continuously on q, meaning that, for a fixed \(x\in M,\) the map \(q\in (0,1)\rightarrow \varphi _{q}^{-1}(x)\) is a continuous function of q. We then get an isomorphism
using the lifting result (Lemma 1 below). As \({{\,\mathrm{{\mathcal {K}}}\,}}\subseteq \overline{\mathrm {Im}\pi ^{q}},\) it follows that \(p^{-1}(\varphi ^{-1}_{q}(M))=\overline{\mathrm {Im}\pi ^{q}}\) and hence we have established an isomorphism for different q. One needs further argument to conclude that actually \(C(\mathrm {SU_{3})_{q}}\cong C(\mathrm {SU_{3})_{s}},\) but by proving (1), the main effort is done. The proof below essentially systematizes this line of argument in a way that makes it also work for a general \({\mathrm {G}}\), by quoting out ideals to "untwist" an irreducible \(*\)-representation \(\pi ^{q}\) of \(C(\mathrm {G})_{q}\) further and further, until it is clear that the images of the resulting \(*\)-representations are independent of q. Then one uses inductive arguments to check that also \(\overline{\mathrm {Im}\pi ^{q}}\cong \overline{\mathrm {Im}\pi ^{s}}\) for \(q,s\in (0,1).\)
One can give a quite clear geometric heuristic of this, using the one-to-one correspondence between irreducible \(*\)-representations of \({\mathbb {C}}[\mathrm {G]_{q}}\) and symplectic leaves in \({\mathrm {G}}\) coming from the corresponding Poisson structure on \(C({\mathrm {G}})\) (see [7]). Recall that \({\mathrm {G}}\) can be decomposed into a disjoint union of symplectic leaves and that each leaf is an even-dimensional sub-manifold of \({\mathrm {G}}\). Let U be a 2m-dimensional symplectic leaf of \({\mathrm {G}},\) corresponding to a \(*\)-representations \(\pi ^{q}\) of \({\mathbb {C}}[\mathrm {G]_{q}},\) and let \(C_{0}(U)\) be the ideal of \(C(\overline{U})\) of all continuous functions vanishing on \(\overline{U}\backslash U.\) Thus quoting out this ideal gives a homomorphism \(C(\overline{U})\rightarrow C(\overline{U}\backslash U).\) It turns out that \(\overline{U}\backslash U\) can be written as a disjoint union \(\cup _{j} U_{j},\) of symplectic leaves of dimension strictly less than 2m, and that the leaves in this union of dimension \(<2m-2\) are contained in the closures of the leaves of dimension \(2m-2.\) In general, we can write \(\overline{U}\) as a disjoint union of symplectic leaves
such that each \(U_{j}^{(k)}\) is a symplectic leaf of dimension 2k and
This shows that we can make a sequence of homomorphisms
such that on each step, the homomorphism \(\prod _{j} C(\overline{U}_{j}^{(k)})\rightarrow \prod _{j} C(\overline{U}_{j}^{(k-1)})\) has kernel \(\prod _{j} C_{0}(U_{j}^{(k)}).\) Let us explain how a q-analogue of (3) is used.
Remark 1
For several reasons, the notations used here will differ somewhat from the ones used later in the text.
Let U and \(U^{(k)}_{j}\) be as above. We can think of \(\overline{\mathrm {Im}\pi ^{q}}\) and the ideal \({{\,\mathrm{{\mathcal {K}}}\,}}\subseteq \overline{\mathrm {Im}\pi ^{q}}\) as q-analogs of \(C(\overline{U})\) and \(C_{0}(U),\) denoted by \(C(\overline{U})_{q}\) and \(C_{0}(U)_{q}\) respectively. There is then a sequence of homomorphisms
such that on each step, the homomorphism \(\partial _{k}:\prod _{j} C(\overline{U}_{j}^{(k)})_{q}\rightarrow \prod _{j} C(\overline{U}_{j}^{(k-1)})_{q}\) has kernel equal to \(\prod _{j} C_{0}(U_{j}^{(k)})_{q}.\) Let us denote by \(C(\partial ^{(k)}\overline{U})_{q},\)\(k=0,\dots ,m-1,\) the image of \(C(\overline{U})_{q}\) in \(\prod _{j} C(\overline{U}_{j}^{(k)})_{q}\) via the composition of homomorphisms in (4). The idea is to proceed by induction on the dimensions of the symplectic leaves. In the case of zero-dimensional leaves, the corresponding \(*\)-representations are one-dimensional (maps to \({\mathbb {C}}\)) and hence trivially q-independent. For higher dimensional leaves, we can use the induction hypothesis to connect the lower dimensional leaves for different \(q,s\in (0,1)\)
![](http://media.springernature.com/lw549/springer-static/image/art%3A10.1007%2Fs00220-019-03660-9/MediaObjects/220_2019_3660_Equ5_HTML.png)
Moreover, this can be done in a way such that the diagram (5) is commutative. The aim is then to construct a dotted arrow from \(C(\overline{U})_{q}\) to \(C(\overline{U})_{s}\) that makes the diagram commutative. The main obstacle to do this is to check that \(C(\partial ^{(m-1)}\overline{U})_{q}\) is mapped by \(\varGamma ^{s,q}_{m-1}\) to \(C(\partial ^{(m-1)}\overline{U})_{s}.\) In order to prove this, one shows the following
- (i)
for \(k=0,\dots , m-1\) the intersection of \(C(\partial ^{(k)}\overline{U})_{q}\) with \(\prod C_{0}(U_{j}^{(k)})_{q}\) is mapped by \(\varGamma ^{s,q}_{k}\) to the intersection of \(C(\partial ^{(k)}\overline{U})_{s}\) with \(\prod C_{0}(U_{j}^{(k)})_{s},\)
- (ii)
the \(C^{*}\)-algebras \(C(\partial ^{(0)}\overline{U})_{q}\) are commutative and isomorphic for all \(q\in (0,1),\) via \(\varGamma ^{s,q}_{0}\),
- (iii)
for \(k=1,\dots , m-1,\) there is an approximate unit \(\{u_{q,i}^{(k)}\}_{i=1}^{\infty }\) for \(\prod _{j} C_{0}(U_{j}^{(k)})_{q}\) such that \(\{u_{q,i}^{(k)}\}_{i=1}^{\infty }\subseteq C(\partial ^{(k)}\overline{U})_{q}\) and \(\varGamma _{k}^{s,q}(u_{q,i}^{(k)})=u_{s,i}^{(k)}\) for all \(i\in {\mathbb {N}}.\)
Remark 2
In the actual proof below, we do not really use (iii), since by the way the arguments are constructed there, explicitly stating this point becomes unnecessary.
From the commutivity of the square
![](http://media.springernature.com/lw241/springer-static/image/art%3A10.1007%2Fs00220-019-03660-9/MediaObjects/220_2019_3660_Equ6_HTML.png)
it follows that if \(\varGamma ^{s,q}_{k-1}\) restricts to a \(*\)-isomorphism from \(C(\partial ^{(k-1)}\overline{U})_{q}\) to \( C(\partial ^{(k-1)}\overline{U})_{s},\) then as for any \(x\in C(\partial ^{(k)}\overline{U})_{q},\) we have
it follows that \(\varGamma ^{s,q}_{k}(x)=y+c\) where \(y\in C(\partial ^{(k)}\overline{U})_{s}\) and \(c\in \prod _{j} C_{0}(U_{j}^{(k)})_{q}.\) By (iii), we have an approximate unit \(\{u_{q,i}^{(k)}\}_{i=1}^{\infty }\) such that \(x u_{q,i}^{(k)}\) is in the intersection of \(C(\partial ^{(k)}\overline{U})_{q}\) with \(\prod _{j} C_{0}(U_{j}^{(k)})_{q}.\) It now follows from (i) that for all \(i\in {\mathbb {N}}\), we have
and thus it follows that also \(c u_{s,i}^{(k)}\in C(\partial ^{(k)}\overline{U})_{s}.\) Letting \(i\rightarrow \infty \) now gives \(c\in C(\partial ^{(k)}\overline{U})_{s}\) and thus \(\varGamma _{k}^{s,q}(x)\in C(\partial ^{(k)}\overline{U})_{s}.\) Using (ii), it now follows by induction that \(C(\partial ^{(m-1)}\overline{U})_{q}\) is mapped isomorphically onto \(C(\partial ^{(m-1)}\overline{U})_{s}.\) As \(\ker \partial ^{q}_{m}=C_{0}(U)_{q},\) this is equivalent to
After checking that these isomorphisms are varying norm-continuously as functions of q and s, the dotted arrow in (5) can then be constructed using Lemma \(2\) below.
1.2 Lifting results
Lemma 1
(Lemma 2 in [8]). Let \({{\,\mathrm{\mathrm {H}}\,}}\) be a separable Hilbert space, let \({{\,\mathrm{{\mathcal {K}}}\,}}\) be the space of compact operators on \({{\,\mathrm{\mathrm {H}}\,}},\) let \({\mathcal {Q}}({{\,\mathrm{\mathrm {H}}\,}})={\mathcal {B}}({{\,\mathrm{\mathrm {H}}\,}})/{{\,\mathrm{{\mathcal {K}}}\,}}\) be the Calkin algebra and \(p: {\mathcal {B}}({{\,\mathrm{\mathrm {H}}\,}})\rightarrow {\mathcal {Q}}({{\,\mathrm{\mathrm {H}}\,}})\) the quotient map. Suppose A is a fixed separable \(C^{*}\)-algebra of type \(\mathrm {I}\) and \(\phi _{q}:A\rightarrow Q({{\,\mathrm{\mathrm {H}}\,}}),\)\(q\in [0,1]\) is a point-norm continuous family of injective \(*\)-homomorphisms. Denote
Then there exists a family of injective \(*\)-homomorphisms \(\varPhi _{q}:M_{0}\rightarrow {\mathcal {B}}({{\,\mathrm{\mathrm {H}}\,}}),\)\(q\in [0,1]\) with the following properties
- (a)
\(\varPhi _{q}(M_{0})=M_{q}\) for \(q\in [0,1]\) and \(\varPhi _{0}={{\,\mathrm{Id}\,}}_{M_{0}},\)
- (b)
the family \(\varPhi _{q}:M_{0}\rightarrow {\mathcal {B}}(H),\)\(q\in [0,1]\) is point-norm continuous,
- (c)
for every \(q\in [0,1],\) the diagram
(7)is commutative.
We remind the reader that a \(C^{*}\)-algebra of type \(\mathrm I,\) is one where the image of every irreducible \(*\)-representation includes a non-zero compact operator. Here, we will use a modified version of Lemma 1.
Lemma 2
Let \({{\,\mathrm{\mathrm {H}}\,}}\) be a separable Hilbert space, let \({{\,\mathrm{{\mathcal {K}}}\,}}\) be the space of compact operators on \({{\,\mathrm{\mathrm {H}}\,}},\) let \({\mathcal {Q}}({{\,\mathrm{\mathrm {H}}\,}})={\mathcal {B}}({{\,\mathrm{\mathrm {H}}\,}})/{{\,\mathrm{{\mathcal {K}}}\,}}\) be the Calkin algebra and \(p: {\mathcal {B}}({{\,\mathrm{\mathrm {H}}\,}})\rightarrow {\mathcal {Q}}({{\,\mathrm{\mathrm {H}}\,}})\) be the quotient map. For every \(q\in (0,1),\) suppose \({{\,\mathrm{\mathrm {A}}\,}}_{q}\subseteq {\mathcal {Q}}({{\,\mathrm{\mathrm {H}}\,}})\) is a separable \(C^{*}\)-algebra of type \(\mathrm {I}\) and we have a family of \(*\)-isomorphisms \(\phi _{s,q}:{{\,\mathrm{\mathrm {A}}\,}}_{q}\rightarrow {{\,\mathrm{\mathrm {A}}\,}}_{s},\)\(s,q\in (0,1)\) which are continuous in the point-norm topology (i.e. for every fixed \(q\in (0,1)\) and \(x\in {{\,\mathrm{\mathrm {A}}\,}}_{q},\) the map \(s\in (0,1)\mapsto \phi _{s,q}(x)\in {\mathcal {Q}}({{\,\mathrm{\mathrm {H}}\,}})\) is norm-continuous). Assume moreover that \(\phi _{q,q}={{\,\mathrm{Id}\,}}_{{{\,\mathrm{\mathrm {A}}\,}}_{q}}\) and \(\phi _{t,s}\circ \phi _{s,q}=\phi _{t,q}\) for all \(t,s,q\in (0,1).\) Denote
Then there exists a family of inner \(*\)-isomorphisms \(\varPhi _{s,q}:{\mathcal {B}}({{\,\mathrm{\mathrm {H}}\,}})\rightarrow {\mathcal {B}}({{\,\mathrm{\mathrm {H}}\,}}),\)\(s,q\in (0,1)\) (i.e \(\varPhi _{s,q}(x)=U_{s,q}^{*}xU_{s,q}\) for some unitary \(U_{s,q}\in {\mathcal {B}}(\mathrm {H}))\) with the following properties
- (i)
\(\varPhi _{s,q}({{\,\mathrm{\mathrm {B}}\,}}_{q})={{\,\mathrm{\mathrm {B}}\,}}_{s}\) for \(s,q\in (0,1),\)
- (ii)
\(\varPhi _{q,q}={{\,\mathrm{Id}\,}}\) and \(\varPhi _{t,s}\circ \varPhi _{s,q}=\varPhi _{t,s}\) for all \(t,s,q\in (0,1),\)
- (iii)
for fix q, the family \(\varPhi _{s,q}:{{\,\mathrm{\mathrm {B}}\,}}_{s}\rightarrow {\mathcal {B}}(H),\)\(s\in [0,1]\) is point-norm continuous,
- (iv)
for all \(s,q\in (0,1),\) the diagram
(8)is commutative.
Proof
If \(a<b,\) then clearly the conclusion of Lemma 1 still holds if we change the interval to [a, b]. Let \(a_{k}\in (0,1),\)\(k\in {\mathbb {Z}}\) be a strictly increasing sequence such that \(a_{k}\rightarrow 1\) and \(a_{-k}\rightarrow 0\) as \(k\rightarrow \infty .\) For \(k\ge 0,\) we apply Lemma 1 to the set of injective \(*\)-homomorphisms
and let \(M_{q,k}=p^{-1}(\tilde{\phi }_{q,k}({{\,\mathrm{\mathrm {A}}\,}}_{a_{k}}))=p^{-1}(A_{q}).\) For \(k<0,\) we instead apply Lemma 1 to
Let \(\tilde{\varPhi }_{q,k},\)\(k\in {\mathbb {Z}},\) be the \(*\)-isomorphisms aquired by applying Lemma 1. Note that \(\tilde{\varPhi }_{q,k}\) is an isomorphism from \({{\,\mathrm{\mathrm {B}}\,}}_{a_{k}}\) to \( {{\,\mathrm{\mathrm {B}}\,}}_{q}\) for \(q\in [a_{k},a_{k+1}]\) and \(k\ge 0\) and an isomorphism from \({{\,\mathrm{\mathrm {B}}\,}}_{a_{k+1}}\) to \({{\,\mathrm{\mathrm {B}}\,}}_{q}\) if \(k<0.\) Let us define a \(*\)-isomorphism \(\varPhi _{q}:{{\,\mathrm{\mathrm {B}}\,}}_{a_{0}}\rightarrow {{\,\mathrm{\mathrm {B}}\,}}_{q}\) by the formula
It follows from Lemma 1 and the construction of \(\varPhi _{q}\) that for \(x\in {{\,\mathrm{\mathrm {B}}\,}}_{a_{0}},\) the map \(q\in (0,1)\mapsto \varPhi _{q}(x)\in {\mathcal {B}}(H)\) is norm-continuous. That \(p\circ \varPhi _{q}=\phi _{q,a_{0}}\circ p\) holds follows from \(\phi _{t,s}\circ \phi _{s,q}=\phi _{t,q}\) and iteration of the commutative diagram
![](http://media.springernature.com/lw177/springer-static/image/art%3A10.1007%2Fs00220-019-03660-9/MediaObjects/220_2019_3660_Equ166_HTML.png)
We then let \(\varPhi _{s,q}=\varPhi _{s}\circ \varPhi _{q}^{-1}\) for \(s,q\in (0,1).\) By (7), we have a commutative diagram
![](http://media.springernature.com/lw174/springer-static/image/art%3A10.1007%2Fs00220-019-03660-9/MediaObjects/220_2019_3660_Equ167_HTML.png)
From this, we get the commutivity of (8), as
Hence, (i), (ii), (iii), and (iv) holds for \(\varPhi _{s,q}\) as a \(*\)-isomorphism \({{\,\mathrm{\mathrm {B}}\,}}_{q}\rightarrow {{\,\mathrm{\mathrm {B}}\,}}_{s}.\)
We now extend \(\varPhi _{s,q}\) as an inner automorphism of all of \({\mathcal {B}}({{\,\mathrm{\mathrm {H}}\,}})\). To do this, we first show that the restriction \(\varPhi _{s,q}|_{{{\,\mathrm{{\mathcal {K}}}\,}}}\) is inner. We have \({{\,\mathrm{{\mathcal {K}}}\,}}\subseteq {{\,\mathrm{\mathrm {B}}\,}}_{q},\) and we get from the diagram (8) that \(\varPhi _{s,q}({{\,\mathrm{{\mathcal {K}}}\,}})\subseteq {{\,\mathrm{{\mathcal {K}}}\,}},\) and as \(\varPhi _{s,q}^{-1}=\varPhi _{q,s}\) it follows that actually
So \(\varPhi _{s,q}\) is an irreducible representation of \({{\,\mathrm{{\mathcal {K}}}\,}}.\) It is known that any such is unitarily equivalent to the identity representation (e.g. see Corollary 1.10 in [2]). Hence, there exists a unitary \(U_{s,q}\in {\mathcal {B}}({{\,\mathrm{\mathrm {H}}\,}})\) such that \(\varPhi _{s,q}(x)=U_{s,q}x U_{s,q}^{*}\) for all \(x\in {{\,\mathrm{{\mathcal {K}}}\,}}.\) For arbitrary \(y\in {{\,\mathrm{\mathrm {B}}\,}}_{q},\) we obtain
for all \(x\in {{\,\mathrm{{\mathcal {K}}}\,}}.\) This gives \(\varPhi _{s,q}(y)=U_{s,q}y U_{s,q}^{*}.\)\(\square \)
2 Preliminaries
In this section we recall some facs about the Hopf algebras \(\mathrm {U_{q}}({\mathfrak {g}})\) and \({\mathbb {C}}[\mathrm {G]_{q}}.\) The presentation is mainly taken from [10]. A general reference for the technical claims made here is [7].
2.1 The quantum group \(\mathrm {U_{q}}({\mathfrak {g}})\)
Let \({\mathrm {G}}\) be a simply connected semisimple compact Lie group and let \({\mathfrak {g}}\) denote its complexified Lie algebra. We write \(\mathrm U ({\mathfrak {g}})\) to denote the universal enveloping algebra of \({\mathfrak {g}}\) equipped with a \(*\)-involution induced by the real form derived from \(\mathrm {G}.\) Moreover, we let \({\mathfrak {h}}\subseteq {\mathfrak {g}}\) be the Cartan sub-algebra coming from a maximal torus \({\mathrm {T}}\subseteq \mathrm {G}.\) Let \({\mathfrak {t}}\subseteq {\mathfrak {h}}\) be the real subspace of skew-symmetric elements. Write \(\varPhi \) for the set of roots of \({\mathfrak {g}}\), \(\varPhi _{+}\) for the set of positive roots and \(\varOmega =\{\alpha _{1},\dots ,\alpha _{n}\}\) for the set of simple roots.
We denote the Weyl group of \({\mathfrak {g}}\) by W and identify its set of generators \(s_{i},\)\(i=1,\dots , n,\) (as a Coxeter group) with \(\varOmega \) by the identification \(\alpha _{i}\mapsto s_{\alpha _{i}}=:s_{i}.\) Moreover, we identify \(\varPhi _{+}\) with the set \(\{w s_{i} w^{-1}:s_{i}\in \varOmega ,w\in W\}\subseteq W.\) In both instances, we write the identification as \(\alpha \mapsto h_{\alpha }\in {\mathfrak {t}}.\)
Let \(q\in (0,1).\) Let \((a_{ij})_{ij}\) be the Cartan matrix of \({\mathfrak {g}}\) and \(d_{i}=\frac{(\alpha _{i},\alpha _{i})}{2}\) for \(i=1,\dots ,n\). Let \(q_{i}=q^{d_{i}}\) for \(i=1,\dots , n.\) The quantized universal enveloping algebra \(\mathrm {U_{q}}({\mathfrak {g}})\) is the unital complex algebra generated by elements \(E_{i},F_{i},K_{i},K_{i}^{-1},\)\(i=1,\dots , n\) subject to the relations
where \(\left[ \begin{array}{cc}k\\ j \end{array}\right] _{q_{i}}={\prod _{m=0}^{j-1}}\frac{q_{i}^{-(k-m)}-q_{i}^{k-m}}{q_{i}^{-(m+1)}-q_{i}^{m+1}}\) is a q-analogue of the binomial coefficients.
\(\mathrm {U_{q}}({\mathfrak {g}})\) becomes a Hopf \(*\)-algebra when equipped with a co-associative co-product \({\hat{\varDelta }}_{q},\) a co-unit \({\hat{\epsilon }}_{q},\) an antipode \({\hat{S}}_{q}\) and a \(*\)-involution given on generators as
We denote the antipode of \(\mathrm {U_{q}}({\mathfrak {g}})\) by \({\hat{S}}_{q}.\) For \(q=1,\) we let \(\mathrm {U_{1}}({\mathfrak {g}})=\mathrm {U}({\mathfrak {g}})\) be the ordinary universal enveloping algebra with the usual Hopf \(*\)-algebra structure and denote the co-product, co-unit, antipode simply by \({\hat{\varDelta }},\)\({\hat{\epsilon }},\)\({\hat{S}}.\)
Let P be the set of weights for \({\mathfrak {g}}.\) Let \(P_{+}\subseteq P\) be the set of dominant integral weights, i.e. \(\lambda \in P\) such that \(\langle \lambda ,\alpha _{i} \rangle \ge 0\) for \(i=1,\dots ,n.\) Moreover, let \(P_{++}\subseteq P_{+}\subseteq P\) be the set of those dominant weights \(\lambda \) such that \(\langle \lambda , \alpha _{i} \rangle >0\) for \(i=1,\dots ,n.\)
The theory of \(\mathrm {U_{q}}({\mathfrak {g}})\)-modules is very similar to the case \(q=1\) (see [7]). It is well known that for every \(q\in (0,1),\) the monoidal category \({\mathcal {M}}_{q}({\mathfrak {g}})\) of admissible finite dimensional \(\mathrm {U_{q}}({\mathfrak {g}})\)-modules are parameterized by \(\lambda \in P_{+},\) with the same fusion rules as \({\mathcal {M}}({\mathfrak {g}}),\) the monoidal categories of finite dimensional \(\mathrm {U}({\mathfrak {g}})\)-modules. Moreover, for any \(\lambda \in P_{+},\) the vector spaces \(V_{\lambda }^{q}\) and \(V_{\lambda }\) have the same dimension. There is a similar decomposition into weight sub-spaces \(V_{\lambda }^{q}(\gamma )\subseteq V^{q}_{\lambda },\) for \(\gamma \in P;\) these are the sub-spaces such that
For each \(\gamma \in P,\) we also have a vector space isomorphism
In particular, the sub-space \(V_{\lambda }^{q}(\lambda )\) is one-dimensional and is the highest weight-space of \(V_{\lambda }^{q}\), in the sense that for \(\xi \in V_{\lambda }^{q}(\lambda ),\) we have
There is a non-degenerate inner product \(\langle \cdot ,\cdot \rangle \) on \(V_{\lambda }^{q}\) such that
Clearly, with respect to this inner product, different weight sub-spaces \(V_{\lambda }^{q}(\gamma )\) are orthogonal for different \(\gamma \). For any \(w\in W,\) the Weyl group of \({\mathrm {G}},\) the weight sub-space \(V_{\lambda }^{q}(w\cdot \lambda )\) is one dimensional. Thus we can choose a unit vector \(\xi _{w\cdot \lambda }\in V_{\lambda }^{q}(w\cdot \lambda ).\) Let us do this in such way that \(\xi _{w\cdot \lambda }=\xi _{v\cdot \lambda }\) if \(w\cdot \lambda =v\cdot \lambda \) and thus no ambiguity arises from this notation.
For \(w\in W,\) let \({\mathcal {l}}(w)\in {\mathbb {Z}}_{+}\) denote the length of w. By definition, this is the smallest integer m such that w can be written as a product of m generators
For the identity element \(e\in W,\) we let \({\mathcal {l}}(e)=0.\) If \({\mathcal {l}}(w)=m\) in (12) then the product \(w=s_{i_{1}}\cdots s_{i_{m}}\) is said to be reduced. Recall that the Bruhat order on W is the partial ordering generated by declaring that
Let \(\mathrm {U}_{q}({\mathfrak {b}})\) be the sub-algebra of \(\mathrm {U_{q}}({\mathfrak {g}})\) generated by \(K_{i},K_{i}^{-1},E_{i}\) for \(i=1,\dots , n.\) We can concretely connect the Bruhat order of W with certain \(\mathrm {U_{q}}({\mathfrak {g}})\)-modules in the following way:
Lemma 3
(Proposition 3.3 in [10]). Let \(v,w\in W.\) The following are equivalent:
- (i)
We have \(v\le w\) in the Bruhat order on W.
- (ii)
For any \(\lambda \in P_{++}\) we have \(V_{\lambda }^{q}(v\cdot \lambda )\subset (\mathrm {U_{q}}({\mathfrak {b}}))V_{\lambda }^{q}(w\cdot \lambda )\).
Both the subspaces \(V_{\lambda }^{q}(v\cdot \lambda )\) and \((\mathrm {U_{q}}({\mathfrak {b}}))V_{\lambda }^{q}(w\cdot \lambda )\) are invariant under the actions of \(K_{i},\)\(i=1,\dots , n.\) Notice that these are commuting self-adjoint operators on \(V^{q}_{\lambda }\) that separate the weight-spaces. As the space \(V_{\lambda }^{q}(v\cdot \lambda )\) is one-dimensional, it follows from (11) that if \(v \not \le w\) and hence \(V_{\lambda }^{q}(v\cdot \lambda )\not \subset (\mathrm {U_{q}}({\mathfrak {b}}))V_{\lambda }^{q}(w\cdot \lambda ),\) then we have the following corollary of Lemma 3.
Corollary 4
If \(\lambda \in P_{++}\) and \(v\not \le w,\) then
2.2 The quantum group \({\mathbb {C}}[\mathrm {G]_{q}}\)
We define \({\mathbb {C}}[\mathrm {G]_{q}}\subseteq (\mathrm {U_{q}}({\mathfrak {g}}))^{*}\) as the subspace of the dual generated by linear functionals of the form
We let \(\varDelta _{q},\)\(\epsilon _{q}\) and \(S_{q}\) respectively be the dual of the product, co-product and antipode of \(\mathrm {U_{q}}({\mathfrak {g}}).\) Moreover, we define a \(*\)-involution on \({\mathbb {C}}[\mathrm {G]_{q}}\) by the formula
We let \({\mathbb {C}}[\mathrm {G]}={\mathbb {C}}[\mathrm {G]_{1}}\) as well as \(\varDelta =\varDelta _{1}\), \(\epsilon =\epsilon _{1}\) and \(S=S_{1}\) denote the \(*\)-algebra of regular functions on \(\mathrm {G}\) with the usual co-product, co-unit and antipode. For an irreducible module \(V^{q}_{\lambda }\) with an orthonormal basis \(\xi _{k},\)\(k=1,\dots , m=\dim V_{\lambda }^{q},\) it follows from the definition of \({\mathbb {C}}[\mathrm {G]_{q}}\) that for \(i,k=1,\dots , m,\)
To deduce (17), consider any \(a\in \mathrm {U_{q}}({\mathfrak {g}}),\) then it follows from the Hopf algebra axioms that (noticing that \(\overline{C_{\eta ,\xi }^{\lambda }(a)}=C_{\xi ,\eta }^{\lambda }(a^{*})\) and hence \((C_{\eta ,\xi }^{\lambda })^{*}(a)=C_{\xi ,\eta }^{\lambda }({\hat{S}}_{q}(a))\))
where \({\hat{\varDelta }}_{q}(a)=\sum a_{(1)}\otimes a_{(2)}\) in the Sweedler notation. We define inductively
Notice that by co-associativity \((\varDelta _{q}\otimes \iota )\circ \varDelta _{q}=(\iota \otimes \varDelta _{q})\circ \varDelta _{q}\), it does not matter which tensor factor you apply \(\varDelta _{q}\) to in (18).
Let us denote by \(C(\mathrm {G)_{q}}\) the universal enveloping \(C^{*}\)-algebra of \({\mathbb {C}}[\mathrm {G]_{q}}.\) It is known from [7] that the universal enveloping \(C^{*}\)-algebra exists and that the natural homomorphism \({\mathbb {C}}[\mathrm {G]_{q}}\hookrightarrow C(\mathrm {G)_{q}}\) is injective. Hence we can identify \({\mathbb {C}}[\mathrm {G]_{q}}\) with its inclusion \({\mathbb {C}}[\mathrm {G]_{q}}\subseteq C(\mathrm {G)_{q}}.\) Moreover, the co-product can be extended to a \(*\)-homomorphism \(\varDelta _{q}:C(\mathrm {G)_{q}}\rightarrow C(\mathrm {G)_{q}}\otimes C(\mathrm {G)_{q}}\) (the minimal tensor product), giving a structure of \(C(\mathrm {G)_{q}}\) as a compact quantum group in the sense of Woronowicz [13]. We will use the same symbol for a \(*\)-representation of \({\mathbb {C}}[\mathrm {G]_{q}}\) as well as its extension to \(C(\mathrm {G)_{q}}.\)
Recall the special case of \(\mathrm {SU_{2}}.\) Let \(V^{q}_{\lambda }\) be the unique 2-dimensional \(\mathrm {U_{q}}({{\mathfrak {s}}}{{\mathfrak {u}}}_{2})\)-module, with basis \(\xi _{\lambda }=:\xi _{1},\xi _{-\lambda }=:\xi _{2}\) and let
Then the elements \(t_{ij}\) generate \({\mathbb {C}}[\mathrm {SU}_{2}]_{q}\) as an algebra, and they are subject to the relations
Moreover, the relations (19) determine \({\mathbb {C}}[\mathrm {SU_{2}}]_{q},\) in the sense that this algebra is isomorphic to the universal \(*\)-algebra with generators \({\hat{t}}_{ij}\), \(i,j=1,2,\) satisfying the relations (19).
Given two \(*\)-representations \(\pi _{1},\pi _{2},\) such that \(\pi _{i}:C(\mathrm {G)_{q}}\rightarrow {\mathcal {B}}({{\,\mathrm{\mathrm {H}}\,}}_{i})\) for \(i=1,2,\) we can define the tensor product using the co-multiplication as
where \(\otimes \) denotes the minimal tensor product between \(C^{*}\)-algebras. We will also use \(\otimes \) to denote the algebraic tensor product; it will always be clear from context which one we use (e.g. we will never take the algebraic tensor product between two \(C^{*}\)-algebras).
2.3 Representation theory of \({\mathbb {C}}[\mathrm {G]_{q}}\)
Recall a \(*\)-representation \(\varPi _{q}\) of \(\mathbb C[\mathrm {SU_2]_q}\) defined in the following way: let \(C_q,S,d_q:\ell ^2({\mathbb {Z}}_+)\rightarrow \ell ^2({\mathbb {Z}}_+)\) be the operators defined on the natural orthonormal basis \(\{e_{j}\}_{j\in {\mathbb {Z}}_{+}}\) as follows:
Then the map
extends to a \(*\)-representation of \({\mathbb {C}}[\mathrm {SU_2]_q}.\) Let \(C^{*}(S)\subseteq {\mathcal {B}}(\ell ^{2}({\mathbb {Z}}_{+}))\) be the \(C^{*}\)-algebra generated by S (so that \(C^{*}(S)\) is equal to the Toeplitz algebra). From the expressions (21) for \(C_{q}\) and \(d_q\) it is easy to see that \(C_{q},d_{q}\in C^{*}(S)\) and hence that
We recall the \(*\)-representation theory for \({\mathbb {C}}[\mathrm {G]_{q}},\)\(q\in (0,1),\) due to Soibelman [7]: For each simple root \(\alpha _{i}\in \varOmega \) we get an injective Hopf \(*\)-homomorphism \(\mathrm {U_{q_{i}}}({{\mathfrak {s}}}{{\mathfrak {u}}}_{2})\rightarrow \mathrm {U_{q}}({\mathfrak {g}})\) that dualizes to a surjective Hopf \(*\)-homomorphism
(this is true also for \(q=1,\) we write \(\varsigma _{i}=\varsigma _{i}^{1}\)). For \(i=1,\dots , n,\) we define \(*\)-representations
Let \(w\in W\), with a reduced presentation \(w=s_{j_{1}}\cdots s_{j_{m}}\) (and hence \(m={\mathcal {l}}(w)\)), and define
when \(e\in W\) is the identity element, we let \(\pi _{e}=\epsilon _{q}\) (corresponding to the empty reduced presentation). From [7], we know that \(\pi _{w}^{q}\) does not depend on the reduced decomposition, in the sense that if we have two reduced presentations \(w=s_{j_{1}}\cdots s_{j_{m}}=s_{j'_{1}}\cdots s_{j'_{m}},\) then the two corresponding \(*\)-representations
are unitarily equivalent. For simplicity, let us write
Thus \(\pi _{w}^{q}\) is a \(*\)-representation \({\mathbb {C}}[\mathrm {G]_{q}}\rightarrow {\mathcal {B}}({{\,\mathrm{\mathrm {H}}\,}}_{w}).\) We have a subgroup \({\mathrm {T}}\subseteq G\) of a maximal torus, corresponding to the real sub-algebra \({\mathfrak {t}}\subseteq {\mathfrak {g}}.\) Let \(\omega _{i},\)\(i=1,\dots ,n,\) be the fundamental weights for \({\mathfrak {g}}.\) We have an isomorphism \({\mathrm {T}}\cong {\mathbb {T}}^{n},\) given by
where \(x\in {\mathfrak {t}}.\) For every \(t\in {\mathrm {T}},\) we have mutually non-equivalent one-dimensional \(*\)-representations \(\chi _{t}:{\mathbb {C}}[\mathrm {G]_{q}}\rightarrow {\mathbb {C}},\) such that, for \(s,t\in {\mathrm {T}},\) we have \(\chi _{s}\boxtimes \chi _{t}=\chi _{st}\) and \(\chi _{t}\boxtimes \chi _{t^{-1}}=\chi _{1}=\epsilon _{q}.\) By [10], we can for every \(t\in {\mathrm {T}}\) associate a unitary operator \(U_{t}\in \prod _{\lambda \in P_{+}}{\mathcal {B}}(V^{q}_{\lambda }),\) such that if \(x\in \mathfrak t\) satisfies \(t=e^{x},\) then for all \(\lambda \in P_{+}\) and \(\gamma \in P\)
The following theorem characterizes all irreducible \(*\)-representations of \({\mathbb {C}}[\mathrm {G]_{q}}\) (up to unitary equivalence).
Theorem 5
(Theorem 6.2.7 in [7]).
- (i)
For \(w\in W\) and \(t\in {\mathrm {T}},\) the \(*\)-representations \(\pi _{w}^{q}\boxtimes \chi _{t}\) are irreducible and mutually non-equivalent, and
- (ii)
every irreducible \(*\)-representation \(\pi \) of \({\mathbb {C}}[\mathrm {G]_{q}}\) is unitarily equivalent to some \(\pi _{w}\boxtimes \chi _{t},\)\(w\in W,\)\(t\in {\mathrm {T}}.\)
3 Basis Properties of \(C(\mathrm {G)_{q}}\) Under \(*\)-Representations
3.1 Paths in the Weyl group and subsets of \({\mathrm {T}}\)
For elements \(v,w\in W,\) we write \(v\lhd w\) to mean that
- (i)
\(v<w\) in the Bruhat order,
- (ii)
there is no \(r\in W,\) such that \(v<r<w.\)
By Theorem 2.2.6 in [1], this means that there is a \(\alpha \in \varPhi _{+}\) such that \(v\alpha =w\) and \(l(v)=l(w)-1.\) Keeping with the established terminology, we also say that wcoversv if \(v\lhd w.\) In general, we write \(v\lhd ^{(k)} w\) if we have elements \(r_{1},\dots ,r_{k-1}\in W\) such that
It is a property of W that every chain
must have the same length and hence that the relation \(\lhd ^{(k)}\) is actually well-defined for \(k>1\) (see Theorem 2.2.6 in [1]).
Let \(v,w\in W.\) If \(v\lhd w,\) we also write \(v\overset{\gamma }{\leadsto }w,\) for a \(\gamma \in \varPhi _{+},\) if \(v\gamma =w.\) In general, if \(v\le w,\) then we say that we have a path from v to w
if \(v_{j}\lhd v_{j+1}\) and \(v_{j}\gamma _{j+1}=v_{j+1}\) for \(j=1,\dots ,m.\) Clearly, every path from v to w has the same length \(m=l(w)-l(v).\) We write (27) as the composition of paths
to indicate that we have a specific path between v and w.
For each path \(v\overset{\gamma }{\leadsto }w\) we associate a closed connected subgroup \({\mathrm {T}}_{\gamma }\subseteq {\mathrm {T}}\) by taking the exponential of the real subspace of \({\mathfrak {t}}\) spanned by \(h_{\gamma _{i}}\) for \(i=1,\dots ,m.\) For the path \(v \overset{\gamma _{1}}{\leadsto }r \overset{\gamma _{2}}{\leadsto } w\) and \(\gamma =\gamma _2\circ \gamma _1,\) we have
Let \({\mathrm {T}}_{v}^{w}\) be the union of all the subgroups of T generated by paths from v to w. From (29), it follows that we have the following multiplicative property: If \(v\le r\le w\) then
Clearly, it follows from (27) that for \(v<w,\) we have
where the union ranges over all \(r\in W\) such that \(v<r\lhd w.\) For later use, we also note the following special case of (29): if \(v\overset{\gamma }{\leadsto }r\lhd w\) with \(r \alpha = w\) then
3.2 Ideals and quotients
We will use the following results from [10] (though stated in a less general fashion in order to suit our purposes).
Theorem 6
(Theorem 4.1 (ii) in [10]). Let \(\sigma \in W\) and \(\mathrm Y\subseteq {\mathrm {T}}.\) For any \(r\in W\) and \(t\in T,\) the kernel of the representation \(\pi _{r}^{q}\boxtimes \chi _{t}\) contains the intersection of the kernels of the representations \(\pi _{\sigma }^{q}\boxtimes \chi _{s},\)\(s\in Y\) of \(C(\mathrm {G)_{q}}\) if and only if \(r\le \sigma \) and \(t\in \overline{\mathrm Y}{\mathrm {T}}_{r}^{\sigma }.\)
Lemma 7
(Lemma 4.5 in [10]). Let \(t\in {\mathrm {T}}\) and let \(w\in W\). Assume \(x\in C(\mathrm {G)_{q}}\) is such that \((\pi _{v}^{q}\boxtimes \chi _{s})(x)=0\) for all \(v\in W\) such that \(v<w\) and \(s\in t {\mathrm {T}}_{v}^{w},\) then
Recall the definition of \(C_{\eta ,\xi }^{\lambda }\in {\mathbb {C}}[\mathrm {G]_{q}},\) given by (14). To avoid multiple subscripts, let us write \(w\cdot \lambda \) in place of \(\xi _{w\cdot \lambda }\) in (14). Thus, for example, we write \(C^{\lambda }_{w\cdot \lambda ,\lambda }\) instead of \(C^{\lambda }_{\xi _{w\cdot \lambda },\xi _{\lambda }}.\)
Lemma 8
(Lemma 2.3 in [10]). Let \(w\in W\) and \(\lambda \in P_{+}.\)
- (i)
\(\pi _{w}^{q}(C_{w\cdot \lambda ,\lambda }^{\lambda })\) is a compact contractive diagonalizable operator with zero kernel, and the vector \(e_{0}^{\otimes {\mathcal {l}}(w)}\in {{\,\mathrm{\mathrm {H}}\,}}_{w}\) is its only eigenvector (up to scalar) with an eigenvalue of absolute value 1.
- (ii)
If \(\zeta \in V^{q}_{\lambda }\) is orthogonal to \((\mathrm {U_{q}}({\mathfrak {b}}))V^{q}_{\lambda }(w\cdot \lambda ),\) then
$$\begin{aligned} \pi _{w}^{q}(C_{\zeta ,\lambda }^{\lambda })=0. \end{aligned}$$
When \(q=1,\) we get a Hopf \(*\)-algebra homomorphism \(\tau _{1}=\tau :{\mathbb {C}}[\mathrm {G]}\rightarrow {\mathbb {C}}[\mathrm {T]}\) by restriction to the subgroup \(\mathrm {T\subseteq G}\) (here \({\mathbb {C}}[\mathrm {T]}\) is the Hopf \(*\)-algebra of trigonometric polynomials on \({\mathrm {T}}\)). For general \(q\in (0,1),\) we define a surjective Hopf \(*\)-algebra homomorphism \(\tau _{q}:{\mathbb {C}}[\mathrm {G]_{q}}\rightarrow {\mathbb {C}}[\mathrm {T]},\) that extends to a homomorphism of compact quantum groups \(\tau _{q}: C(\mathrm {G)_{q}}\rightarrow C({\mathrm {T}})\). We define \(\tau _{q}\) in the following way: The compact operators \({{\,\mathrm{{\mathcal {K}}}\,}}\subseteq {\mathcal {B}}(\ell ^{2}({\mathbb {Z}}_{+}))\) is a \(*\)-ideal in \(C^*(S),\) and it is well known that we have the isomorphism \(p:C^*(S)/{{\,\mathrm{{\mathcal {K}}}\,}}\mapsto C({\mathbb {T}})\) such that \(S^{*}+{{\,\mathrm{{\mathcal {K}}}\,}}\mapsto z\) (here \(z\in C({\mathbb {T}})\) is the coordinate function). Moreover, it is easy to see that we actually have a homomorphism of Hopf \(*\)-algebras \(\beta _{q}:{\mathbb {C}}[\mathrm {SU_2]_q}\rightarrow {\mathbb {C}}[{\mathbb {T}}]\subseteq C({\mathbb {T}})\) that factors as
and such that \(\beta _{q}(t_{11}^{q})=z.\) Consider now the \(*\)-homomorphism
with the isomorphism \(C({\mathbb {T}})^{\otimes n}\cong C({\mathrm {T}})\) induced by the isomorphism \({\mathbb {T}}^{n}\cong {\mathrm {T}}\) given by (24). By using (33), we can also factor \(\tau _{q}\) as
If we consider \({\mathbb {C}}[\mathrm {SU_{2}]_{q_{1}}}\otimes \cdots \otimes {\mathbb {C}}[\mathrm {SU_{2}]_{q_{n}}}\) as a tensor product of Hopf \(*\)-algebras, hence also a Hopf \(*\)-algebra, then it is easy to check that the \(*\)-homomorphisms in (35) are actually Hopf \(*\)-algebra morphisms. Thus, \(\tau _{q}\) is a morphisms of Hopf \(*\)-algebras.
Lemma 9
-
(i)
The \(*\)-homomorphism \(\tau _{q}:C(\mathrm {G)_{q}}\rightarrow C({\mathrm {T}})\) is surjective,
-
(ii)
every \(\chi _{t},\)\(t\in {\mathrm {T}},\) factors as
$$\begin{aligned} \chi _{t}:C(\mathrm {G)_{q}}\overset{\tau _{q}}{\longrightarrow }C({\mathrm {T}})\overset{ev_{t}}{\longrightarrow }{\mathbb {C}}, \end{aligned}$$ -
(iii)
for \(\eta \in V_{\lambda }(\gamma _{1}),\)\(\xi \in V_{\lambda }(\gamma _{2}),\) we have \(\tau _{q}(C_{\eta ,\xi }^{\lambda })=0\) unless \(\gamma _{1}=\gamma _{2}\) and \(\langle \eta ,\xi \rangle \ne 0,\)
-
(iv)
let \(\omega _{i},\)\(i=1,\dots , n,\) be the fundamental weights, then the set \(\tau _{q}(C_{\omega _{i},\omega _{i}}^{\omega _{i}}),\)\(i=1,\dots ,n,\) generates \(C({\mathrm {T}})\) as a \(C^{*}\)-algebra.
Proof
Clearly, (i) follows from (iv) or (ii). We have that every one-dimensional \(*\)-representation of \({\mathbb {C}}[\mathrm {G]_{q}}\) is of the form \(\chi _{t},\) for some \(t\in {\mathrm {T}},\) and different weight spaces are orthogonal. Hence we get (iii) from (25) and (26) by point evaluation. Note that the same argument shows that (iii) holds for any\(*\)-homomorphism from \({\mathbb {C}}[\mathrm {G]_{q}}\) to a commutative \(C^{*}\)-algebra.
By Lemma 2.2.1 in [7], the elements of the form \(C^{\lambda }_{\eta ,\lambda },\)\(\lambda \in P_{+},\)\(\eta \in V^{q}_{\lambda }\) generates \({\mathbb {C}}[\mathrm {G]_{q}}\) as a \(*\)-algebra. Thus it follows from (iii) that the elements in \(C({\mathrm {T}})\) of the form \(\tau _{q}(C_{\lambda ,\lambda }^{\lambda }),\)\(\lambda \in P_{+}\) generate the image of \(\tau _{q}.\) As every \(\lambda \in P_{+}\) is a linear combination of the fundamental weights, it follows from (26) that the set \(\{\tau _{q}(C_{\omega _{i},\omega _{i}}^{\omega _{i}}):i=1,\dots ,n\}\) generate the image of \(\tau _{q}.\) Thus \((ii)\Rightarrow (i)\Rightarrow (iv).\) To prove (ii), we establish a one-to-one correspondence between one-dimensional \(*\)-representations and point evaluations of \(\tau _{q}.\) By ([6], Theorem 14, Section 6.1.5), the set \(F^{i}K^{j}E^{k},\)\(j\in {\mathbb {Z}}\)\(i,k\in {\mathbb {Z}}_{+},\) is a basis for \(\mathrm {U_{q}}({{\mathfrak {s}}}{{\mathfrak {u}}}_{2}).\) Using this, and keeping in mind that \(\xi _{\omega _{i}}\) is a heighest weight vector, we obtain
It then follows that \((\beta _{i}\circ \varsigma ^{q}_{i})(C_{\omega _{j},\omega _{j}}^{\omega _{j}})=z\) for \(i=j\) and \((\beta _{i}\circ \varsigma ^{q}_{i})(C_{\omega _{j},\omega _{j}}^{\omega _{j}})=I\) if \(i\ne j.\) If we extend \(\xi _{1}=\xi _{\omega _{i}}\) by \(\xi _{2},\dots ,\xi _{m}\) to an orthonormal basis for \(V_{\omega _{i}}^{q},\) we then get from (15) and our comment after the proof of (iii), that if we let \(z_{i}\) be the i’th coordinate function of \({\mathbb {T}}^{n},\) then
and from this it follows that the range of \(\tau _{q}\) is dense in \(C(\mathrm {T}).\) By (26), if \(t=e^{x},\)\(x\in \mathfrak t,\) then we have \(\chi _{t}(C^{\omega _{j}}_{\omega _{j},\omega _{j}})=e^{\omega _{j}(x)}\) for \(j=1,\dots ,n.\) It thus follows that if we use the identification \({\mathrm {T}}\cong {\mathbb {T}}^{n}\) given by (24), then \(t=(e^{\omega _{1}(x)},\dots , e^{\omega _{n}(x)})\) and hence
\(\square \)
Let \({\mathbb {C}}[\mathrm {G]_{q}^{\mathrm {inv}}}\subseteq {\mathbb {C}}[\mathrm {G]_{q}}\) denote the \(*\)-subalgebra of elements invariant under the left-right-action of the maximal torus \({\mathrm {T}}.\) By definition, this is the subset \(x\in {\mathbb {C}}[\mathrm {G]_{q}},\) such that for every \(t\in {\mathrm {T}},\) we have \(L_{t}(x)=x=R_{t}(x),\) where \(L_{t}\) and \(R_{t}\) are given by
Clearly \({\mathbb {C}}[\mathrm {G]_{q}^{\mathrm {inv}}}\) is a \(*\)-subalgebra of \({\mathbb {C}}[\mathrm {G]_{q}}.\)
Lemma 10
For every \(w\in W,\) there exists \(\varUpsilon _{w}\in {\mathbb {C}}[\mathrm {G]_{q}^{\mathrm {inv}}}\) such that
- (i)
\(\pi _{w}^{q}(\varUpsilon _{w})\in {\mathcal {B}}({{\,\mathrm{\mathrm {H}}\,}}_{w})\) is a compact contractive positive operator with dense range,
- (ii)
\(e_{0}^{\otimes {\mathcal {l}}(w)}\in {{\,\mathrm{\mathrm {H}}\,}}_{w}\) is the only eigenvector of \(\pi _{w}^{q}(\varUpsilon _{w})\) (up to a scalar multiple) with eigenvalue 1,
- (iii)
\(\pi _{v}^{q}(\varUpsilon _{w})\ne 0\) if and only if \(v\ge w .\)
Proof
Take any \(\lambda \in P_{++}\) and consider \(C_{w\cdot \lambda ,\lambda }^{\lambda }.\) By combining Corollary 4 with Lemma 8 it follows that \(\pi _{v}^{q}(C_{w\cdot \lambda ,\lambda }^{\lambda })=0\) for any \(v\not \ge w.\) If \(v\ge w,\) then as \(1\in {\mathrm {T}}_{w}^{v}\) (the identity of \({\mathrm {T}}\)) it follows from Theorem 6 that we have \(\ker \pi _{v}^{q}\subseteq \ker \pi _{w}^{q}.\) As \(\pi _{w}^{q}(C_{w\cdot \lambda ,\lambda }^{\lambda })\ne 0,\) it thus follows that also \(\pi _{v}^{q}(C_{w\cdot \lambda ,\lambda }^{\lambda })\ne 0.\) If we extend \(\xi _{\lambda },\xi _{w\cdot \lambda }\) to an orthonormal basis for \(V^{q}_{\lambda },\) then we get from (15) and Lemma 9 (iii) that
Let us now define \(\varUpsilon _{w}:=(C_{w\cdot \lambda ,\lambda }^{\lambda })^{*}C_{w\cdot \lambda ,\lambda }^{\lambda }.\) As \(L_{t}\) and \(R_{t}\) are \(*\)-automorphisms for all \(t\in {\mathrm {T}},\) it follows from (40) that \(\varUpsilon _{w}\in {\mathbb {C}}[\mathrm {G]_{q}^{\mathrm {inv}}}.\) Positivity follows from the definition of \(\varUpsilon _{w},\) and the other claims in (i) and (iii) follow by Lemma 8 (i). To see (ii), note that
As \(\pi _{w}^{q}(\varUpsilon _{w})\) is a positive contraction, it follows that \(e_{0}^{\otimes {\mathcal {l}}(w)}\) must be an eigenvector with eigenvalue 1. To see that \(e_{0}^{\otimes {\mathcal {l}}(w)}\) is the only eigenvector (up to a scalar multiple) of \(\pi _{w}^{q}(\varUpsilon _{w})\) with eigenvalue 1, notice that (41) gives that \(e_{0}^{\otimes {\mathcal {l}}(w)}\) is also an eigenvector for \(\pi _{w}^{q}(C_{w\cdot \lambda ,\lambda }^{\lambda })^{*}\) and thus the subspace generated by \(e_{0}^{\otimes {\mathcal {l}}(w)}\) is actually reducing \(\pi _{w}^{q}(C_{w\cdot \lambda ,\lambda }^{\lambda }).\) By (i) of Lemma 8, it follows that \(\pi _{w}^{q}(C_{w\cdot \lambda ,\lambda }^{\lambda })\) must have norm strictly less than 1 when restricted to the orthogonal complement of \(e_{0}^{\otimes {\mathcal {l}}(w)}\) (otherwise there would be another eigenvector orthogonal to \(e_{0}^{\otimes {\mathcal {l}}(w)}\) with an eigenvalue of absolute value 1). The same then holds for \(\pi _{w}^{q}(\varUpsilon _{w})=\pi _{w}^{q}(C_{w\cdot \lambda ,\lambda }^{\lambda })^{*}\pi _{w}^{q}(C_{w\cdot \lambda ,\lambda }^{\lambda }).\)\(\square \)
Definition 11
Let us call a \(*\)-homomorphism of \({\mathbb {C}}[\mathrm {G]_{q}}\) a commutative\(*\)-representation if the image sits inside a commutative \(C^{*}\)-algebra.
Let \(\chi :{\mathbb {C}}[\mathrm {G]_{q}}\rightarrow C(\mathrm X)\) be a commutative \(*\)-representation. As every one-dimensional \(*\)-representation of \({\mathbb {C}}[\mathrm {G]_{q}}\) factors throught the commutative \(C^{*}\)-algebra \(C({\mathrm {T}}),\) it follows that the commutative \(*\)-representation \(\chi \) factors as
for a unique \(*\)-homomorphism \(\zeta .\)
Definition 12
Let
be a family of \(*\)-homomorphisms, where X is a fixed compact Hausdorff space. We say that the \(*\)-homomorphisms \(\{\chi ^{q}\}_{q\in (0,1)}\) are q-independent if in the factorization
we have \(\zeta ^{q}=\zeta ^{s}\) for all \(q,s\in (0,1).\)
Definition 13
-
(a)
For \(q\in (0,1),\) let \({{\,\mathrm{\mathrm {B}}\,}}_{w}^{q}\subseteq {\mathcal {B}}({{\,\mathrm{\mathrm {H}}\,}}_{w})\) be the closure of the image \(\pi _{w}:{\mathbb {C}}[\mathrm {G]_{q}}\rightarrow {\mathcal {B}}({{\,\mathrm{\mathrm {H}}\,}}_{w}).\)
-
(b)
If \(\chi :{\mathbb {C}}[\mathrm {G]_{q}}\rightarrow C(\mathrm X)\) is a commutative \(*\)-representation, then let \(B_{w,\chi }^{q}\) be the closure of the image of \(\pi _{w}\boxtimes \chi :{\mathbb {C}}[\mathrm {G]_{q}}\rightarrow B_{w}^{q}\otimes C(\mathrm X).\)
Proposition 14
Let \(w\in W.\) Let \({{\,\mathrm{{\mathcal {K}}}\,}}_{w}\subseteq {\mathcal {B}}({{\,\mathrm{\mathrm {H}}\,}}_{w})\) be the space of compact operators and let
be the quotient map to the Calkin algebra. For every \(v\lhd w,\) there exists a subset \({\mathrm {T}}_{v}^{w}\subseteq {\mathrm {T}}\) and a commutative q-independent \(*\)-representation \(\chi _{v}^{w}:{\mathbb {C}}[\mathrm {G]_{q}}\rightarrow C({\mathrm {T}}_{v}^{w}),\) such that the map
![](http://media.springernature.com/lw377/springer-static/image/art%3A10.1007%2Fs00220-019-03660-9/MediaObjects/220_2019_3660_Equ42_HTML.png)
(where the sum ranges over all \(v\in W\) covered by w) determines an isomorphism
![](http://media.springernature.com/lw290/springer-static/image/art%3A10.1007%2Fs00220-019-03660-9/MediaObjects/220_2019_3660_Equ43_HTML.png)
We will postpone the proof of Proposition 14 until after Lemma 16.
Lemma 15
If \(x\in {\mathbb {C}}[\mathrm {G]_{q}^{\mathrm{inv}}},\) then for any \(w\in W\) and any commutative \(*\)-representation \(\chi ,\) we have
Proof
By (39) and (38), the left and right-actions by \(t\in {\mathrm {T}}\) on \({\mathbb {C}}[\mathrm {G]_{q}}\) are respectively given as the compositions
Let \(x\in {\mathbb {C}}[\mathrm {G]_{q}^{\mathrm{inv}}}.\) Clearly, it follows \(L_{t}(x)=R_{t}(x)=x\) for all \(t\in {\mathrm {T}}\) if and only if
The statement now follows from the fact that any \(*\)-homomorphism
factors as \(\chi =\zeta \circ \tau _{q}\) for a unique \(*\)-representation \(\zeta :C({\mathrm {T}})\rightarrow C(\mathrm X).\)\(\square \)
Lemma 16
Let \(\chi :C(\mathrm {G)_{q}}\rightarrow C(\mathrm X)\) be a \(*\)-homomorphism such that we have \(\chi (C(\mathrm {G)_{q}})=C(\mathrm X).\) Then for any \(w\in W,\)
Proof
If we, for any \(\lambda \in P_{++},\) extend \(\xi _{\lambda },\xi _{w\cdot \lambda }\) to an orthonormal basis of \(V_{\lambda }^{q},\) then we get from (15) and Lemma 9 (iii) that
By Lemma 10 and Lemma 15, if \(p_{0}\) is the orthogonal projection onto \(e_{0}^{\otimes {\mathcal {l}}(w)},\) then \(p_{0}\otimes I\in {{\,\mathrm{\mathrm {B}}\,}}_{w,\tau _{q}}^{q}.\) Thus
and is by Lemma 8 a non-zero constant multiple of \(p_{0}\otimes \tau _{q}\left( C_{\lambda ,\lambda }^{\lambda }\right) .\) Since the functions
are generating \(C({\mathrm {T}})\) as a \(C^{*}\)-algebra, it follows that
By (Proposition 5.5 in [12]), the restriction of an irreducible \(*\)-representation of \(C({\mathrm {G}})_{q}\) is still irreducible when restricted to
It follows that
and together with (45), this gives (44). \(\square \)
Proof of Proposition 14
Recall the definition of \({\mathrm {T}}_{v}^{w}\subseteq {\mathrm {T}}.\) For \(v\lhd w,\) we let \(\chi _{v}^{w}\) be the composition
where the second \(*\)-homomorphism is the restriction of \(f\in C({\mathrm {T}})\) to \({\mathrm {T}}_{v}^{w}\subseteq {\mathrm {T}}.\) By definition, these \(*\)-representations are commutative and q-invariant. To prove the existence of the \(*\)-homomorphism, we use Theorem 6 with \(\mathrm Y=\{1\}\) (the set containing only the identity of \({\mathrm {T}}\)). Thus for every \(v\lhd w\) and \(t\in {\mathrm {T}}_{v}^{w}\) we have that \(\ker \pi _{w}^{q}\subseteq \ker \pi _{v}^{q}\boxtimes \chi _{t}\) and hence we can define a \(*\)-homomorphism
By Lemma 10, we have \(\pi _{w}^{q}(\varUpsilon _{w})\ne 0\) and \(\pi _{v}^{q}(\varUpsilon _{w})=0\) and by Lemma 15
Hence the kernel of \(\varphi _{v}^{w}\) is a non-trivial ideal of \({{\,\mathrm{\mathrm {B}}\,}}_{w}^{q}\). By Lemma 16, with \(\chi =\epsilon _{q},\) we have \({{\,\mathrm{{\mathcal {K}}}\,}}_{w}\subset {{\,\mathrm{\mathrm {B}}\,}}_{w}^{q}.\) Thus any non-trivial ideal of \({{\,\mathrm{\mathrm {B}}\,}}_{w}^{q}\) must contain \({{\,\mathrm{{\mathcal {K}}}\,}}_{w}\) and therefore \({{\,\mathrm{{\mathcal {K}}}\,}}_{w}\subseteq \ker \varphi _{v}^{w}.\) Now consider the \(*\)-homomorphism
![](http://media.springernature.com/lw198/springer-static/image/art%3A10.1007%2Fs00220-019-03660-9/MediaObjects/220_2019_3660_Equ168_HTML.png)
By the definition of the \(\varphi _{v}^{w}\)’s, it follows that
![](http://media.springernature.com/lw224/springer-static/image/art%3A10.1007%2Fs00220-019-03660-9/MediaObjects/220_2019_3660_Equ46_HTML.png)
As we can factor
for a \(*\)-homomorphism
![](http://media.springernature.com/lw293/springer-static/image/art%3A10.1007%2Fs00220-019-03660-9/MediaObjects/220_2019_3660_Equ169_HTML.png)
From (46), it follows that (42) holds. Clearly, by (46) \(\eta _{w}^{q}\) is surjective. Hence we only need to show that the kernel of \(\eta _{w}^{q}\) is trivial. By definition, this is the same as showing
![](http://media.springernature.com/lw127/springer-static/image/art%3A10.1007%2Fs00220-019-03660-9/MediaObjects/220_2019_3660_Equ47_HTML.png)
In order to prove this, we are going to show that, for any \(x\in C(\mathrm {G)_{q}},\) if \((\pi _{v}^{q}\boxtimes \chi _{t})(x)=0\) for all \(v\lhd w\) and \(t\in {\mathrm {T}}_{v}^{w},\) then also \((\pi _{\sigma }^{q}\boxtimes \chi _{s})(x)=0\) for all \(\sigma <w\) and \(s\in {\mathrm {T}}_{\sigma }^{w}.\) To see this, notice that by (30), there is a \(\sigma \le v\lhd w\) such that we have \(s=s_{1}s_{2}\) for \(s_{1}\in {\mathrm {T}}_{v}^{w}\) and \(s_{2}\in {\mathrm {T}}_{\sigma }^{v}.\) As we have \((\pi _{v}^{q}\boxtimes \chi _{s_{1}})(x)=0\) we get from Theorem 6 that also \((\pi _{r}^{q}\boxtimes \chi _{s})(x)=0.\) The equality (47) now follows from Lemma 7. \(\square \)
Proposition 17
Let \({\mathcal {S}}\subseteq W\) be a subset where all the elements have the same length i.e. \({\mathcal {l}}(w)={\mathcal {l}}(v)\) for all \(w,v\in {\mathcal {S}}.\) Moreover, assume that for each \(v\in {\mathcal {S}},\) we have a commutative \(*\)-homomorphism \(\chi _{v}:C(\mathrm {G)_{q}}\rightarrow C(\mathrm X_{v})\) such that \(\chi _{v}(C(\mathrm {G)_{q}})=C(\mathrm X_{v}).\) Then
![](http://media.springernature.com/lw366/springer-static/image/art%3A10.1007%2Fs00220-019-03660-9/MediaObjects/220_2019_3660_Equ48_HTML.png)
Proof
As all the elements of \({\mathcal {S}}\) have the same length, they must be mutually non-comparable in the partial ordering of W. It follows from Lemma 10 and Lemma 15 that for \(v\in {\mathcal {S}},\) we have \((\pi _{v}^{q}\boxtimes \chi _{v})(\varUpsilon _{v})=\pi _{v}^{q}(\varUpsilon _{v})\otimes I\ne 0\) and \((\pi _{w}^{q}\boxtimes \chi _{w})(\varUpsilon _{v})=0\) for any other \(w\in {\mathcal {S}}.\) As \(\pi _{v}^{q}(\varUpsilon _{v})\) is a compact operator with dense range, it follows from Lemma 16 that
This gives (48). \(\square \)
3.3 Continuous deformations
Lemma 18
There are invertible co-algebra maps
such that for every \(w\in W,\) every q-independent commutative \(*\)-representation \(\chi ^{q}:{\mathbb {C}}[\mathrm {G]_{q}}\rightarrow C(\mathrm X)\) and any fixed \(f\in {\mathbb {C}}[G],\) the map
is continuous.
Proof
We will refer to the proof of Theorem 1.2 in [11]. We remark that our notation differs from theirs. Let \(t_{ij}^{q},\)\(i,j=1,2\) be the generators of \({\mathbb {C}}[\mathrm {SU_{2}]_{q}}\) for \(q\in (0,1].\) It follows from the proof that there are invertible co-algebra maps
such that \(\kappa _{q}(t_{ij}^{1})=t_{ij}^{q}\) and for every \(f\in {\mathbb {C}}[\mathrm {SU_{2}]},\) the image \(\kappa _{q}(f)\) is a non-commutative polynomial in \(t_{ij}^{q},\)\(i,j=1,2,\) with coefficients continuous in q. Moreover, there exists an invertible co-algebra map \(\vartheta _{q}:{\mathbb {C}}[\mathrm {G]}\rightarrow {\mathbb {C}}[\mathrm {G]_{q}}\), such that for every \(i=1,\dots ,n\), there exists a continuous family of invertible co-algebra morphisms \(\gamma ^{q}_{i}\) of \({\mathbb {C}}[\mathrm {G}]\) that makes the following diagram commute
![](http://media.springernature.com/lw276/springer-static/image/art%3A10.1007%2Fs00220-019-03660-9/MediaObjects/220_2019_3660_Equ50_HTML.png)
This gives that
varies continuously on \(q\in (0,1].\) The operators \(C_{q}\) and \(d_q,\) given by (21) varies continuously on \(q\in (0,1).\) Hence, by (22), it follows that the functions \(q\in (0,1)\mapsto \varPi _{q}\circ \kappa _{q}(t_{ij})=\varPi _{q}(t_{ij}^{q})\subseteq {\mathcal {B}}(\ell ^{2}({\mathbb {Z}}_{+})),\) for \(i,j=1,2,\) are continuous. Thus, for any fixed \(f\in {\mathbb {C}}[\mathrm {SU_{2}]},\) we have a continuous function
Composing this with (51), we get that for every \(f\in {\mathbb {C}}[\mathrm {G}],\) the function
is continuous. As the maps in the diagram (50) are all (at least) co-algebra maps, so that \(\varDelta _{q}\circ \vartheta _{q}=(\vartheta _{q}\otimes \vartheta _{q})\circ \varDelta ,\) it follows for \(f\in {\mathbb {C}}[\mathrm {G]}\) and \(w\in W\) with reduced presentation \(w=s_{j_{1}}\cdots s_{j_{m}},\) that
and hence the function \(q\in (0,1)\mapsto \pi _{w}^{q}(\vartheta _{q}(f))\) is continuous. Combining this with (34), it follows that \(q\in (0,1)\mapsto \tau _{q}(\vartheta _{q}(f))\in C({\mathrm {T}})\) is also continuous. Thus
is continuous. That (49) holds for all q-independent maps follows by the factorization \(\chi ^{q}=\zeta \circ \tau _{q}.\)\(\square \)
Assume we have two subsets \({\mathrm {T}}_{1},{\mathrm {T}}_{2}\subseteq {\mathrm {T}}\) and \({\mathrm {T}}_{3}={\mathrm {T}}_{1}{\mathrm {T}}_{2}\) (the point-wise multiplication). Let us denote by \(\chi _{i},\) for \(i=1,2,3\) the \(*\)-homomorphism \({\mathbb {C}}[\mathrm {G]_{q}}\rightarrow C({\mathrm {T}}_{i}),\)\(i=1,2,3,\) given by restriction of \(\tau _{q}\) to \({\mathrm {T}}_{i}.\) It follows that we have an identification
in the sense that \(\chi _{3}\) is the unique \(*\)-homomorphism with the property that, using the isomorphism \(C({\mathrm {T}}_{1})\otimes C({\mathrm {T}}_{2})\cong C({\mathrm {T}}_{1}\times T_{2}),\) we have
The multiplication map \(m:{\mathrm {T}}_{1}\times {\mathrm {T}}_{2}\rightarrow {\mathrm {T}}_{3}\) gives an injective \(*\)-homomorphism
and it follows from (53) that \(\chi _{1}\boxtimes \chi _{2}\) factors as
Furthermore, if for two subsets \({\mathrm {T}}_{1},{\mathrm {T}}_{2}\subseteq {\mathrm {T}},\) we let \({\mathrm {T}}_{3}={\mathrm {T}}_{1}\cup {\mathrm {T}}_{2}\) and denote by \(\chi _{i},\)\(i=1,2,3,\) the \(*\)-homomorphisms \({\mathbb {C}}[\mathrm {G]_{q}}\rightarrow C({\mathrm {T}}_{i}),\)\(i=1,2,3,\) then we have an identification
via the injective \(*\)-homomorphism \(C({\mathrm {T}}_{1}\cup T_{2})\rightarrow C({\mathrm {T}}_{1})\oplus C({\mathrm {T}}_{2})\) determined by the two inclusions \({\mathrm {T}}_{i}\subseteq {\mathrm {T}}_{3}\) for \(i=1,2.\) Thus \(\chi _{3}\) satisfies
where \(\chi _{3}(a)|_{{\mathrm {T}}_{i}},\)\(i=1,2\) denotes the restriction of the function \(\chi _{3}(a)\in C({\mathrm {T}}_{3})\) to the subset \({\mathrm {T}}_{i}\subseteq {\mathrm {T}}_{3}.\)
For a path \(v\overset{\gamma }{\leadsto }w,\) let us denote by \(\chi _{\gamma }\) the commutative q-independent \(*\)-representation \({\mathbb {C}}[\mathrm {G]_{q}}\rightarrow C({\mathrm {T}}_{\gamma }).\) If we have paths \(v\overset{\gamma _{1}}{\leadsto }r\overset{\gamma _{2}}{\leadsto }w,\) then it follows from (29) and (52) that if we have the composition of paths \(\gamma =\gamma _{1}\circ \gamma _{2},\) then
4 The Main Result
Theorem 19
-
(i)
For all \(q,s\in (0,1)\) and \(w\in W,\) we have an inner \(*\)-automorphism \(\varGamma _{w}^{s,q}:{\mathcal {B}}({{\,\mathrm{\mathrm {H}}\,}}_{w})\rightarrow {\mathcal {B}}({{\,\mathrm{\mathrm {H}}\,}}_{w})\) that restricts to a \(*\)-isomorphism \({{\,\mathrm{\mathrm {B}}\,}}_{w}^{q}\rightarrow {{\,\mathrm{\mathrm {B}}\,}}_{w}^{s},\) such that \(\varGamma _{w}^{s,q}({{\,\mathrm{{\mathcal {K}}}\,}}_{w})={{\,\mathrm{{\mathcal {K}}}\,}}_{w}\) and we have
$$\begin{aligned} \begin{array}{ccc}\varGamma _{w}^{s,t}\circ \varGamma _{w}^{t,q}=\varGamma _{w}^{s,q}, &{} \quad \text {for all } s,t,q\in (0,1)\\ \varGamma _{w}^{q,q}={{\,\mathrm{Id}\,}}, &{} \quad \text {for all } q\in (0,1).\end{array} \end{aligned}$$Moreover, for all \(q,s\in (0,1)\) and \(w\in W,\) the following diagram commutes
(57)where \(\eta _{w}^{q}\) and \(\chi _{v}^{w}\) are as in Proposition 14. The \(*\)-isomorphisms \(\varGamma _{w}^{s,q}\) are also continuous in the point-norm topology in the sense that, for fixed \(q\in (0,1)\) and \(y\in {{\,\mathrm{\mathrm {B}}\,}}_{w}^{q},\) the function \(s\in (0,1)\mapsto \varGamma ^{s,q}_{w}(y)\in {\mathcal {B}}({{\,\mathrm{\mathrm {H}}\,}}_{w})\) is continuous.
-
(ii)
If \(\chi ^{q}: {\mathbb {C}}[\mathrm {G]_{q}}\rightarrow C(\mathrm X),\)\(q\in (0,1),\) are commutative q-independent \(*\)-homomorphisms, then the \(*\)-isomorphism \(\varGamma _{w}^{s,q}\otimes \iota :{{\,\mathrm{\mathrm {B}}\,}}_{w}^{q}\otimes C(\mathrm X)\rightarrow {{\,\mathrm{\mathrm {B}}\,}}_{w}^{s}\otimes C(\mathrm X)\) restrics to a \(*\)-isomorphism
$$\begin{aligned} \varGamma _{w}^{s,q}\otimes \iota :{{\,\mathrm{\mathrm {B}}\,}}_{w,\chi }^{q}\longrightarrow {{\,\mathrm{\mathrm {B}}\,}}_{w,\chi }^{s}. \end{aligned}$$
Proof
We will prove (i) and (ii) simultaneously using induction on \(k={\mathcal {l}}(w),\) starting at \(k=0.\)
If \({\mathcal {l}}(w)=0,\) then \(w=e.\) As \(\pi _{e}=\epsilon _{q},\) we have \({{\,\mathrm{\mathrm {B}}\,}}_{e}={\mathbb {C}}.\) By the definition of a q-independent commutative \(*\)-homomorphism \(\chi ^{q}=\zeta \circ \tau _{q},\) and hence
So, (i) and (ii) hold in the case of \(k=0\) with \(\varGamma _{e}^{s,q}={{\,\mathrm{Id}\,}}_{{\mathbb {C}}}\).
Assume now that (i) and (ii) hold for all \(v\in W\) of length \({\mathcal {l}}(v)<k.\) By Proposition 14 we have a \(*\)-homomorphism
such that the image is isomorphic to \({{\,\mathrm{\mathrm {B}}\,}}_{w}^{q}/{{\,\mathrm{{\mathcal {K}}}\,}}_{w}=p_{w}({{\,\mathrm{\mathrm {B}}\,}}_{w}^{q})\subseteq {\mathcal {Q}}({{\,\mathrm{\mathrm {H}}\,}}_{w}).\) For \(v\lhd w,\) we have
where \(\sigma \overset{\gamma }{\leadsto } w\) is the path \(\sigma \lhd v\lhd w.\) Taking the product over all \(v\lhd w\) we get from (59) a \(*\)-homomorphism
where the product \(\overset{(2)}{\underset{\sigma \leadsto w}{\prod }}\) is indexed over all \(\sigma \lhd ^{(2)} w\) and all possible paths \(\sigma \overset{\gamma }{\leadsto } w.\) It follows from Lemma 16 that the kernel of \(\partial _{2}^{q}\) is equal to \({\prod _{v\lhd w}}{{\,\mathrm{{\mathcal {K}}}\,}}_{v}\otimes C({\mathrm {T}}_{v}^{w}).\) If we iterate (60), then we get a sequence of \(*\)-homomorphisms
where the product \( {{\prod }_{v\leadsto w}^{(i)}}\) ranges over all elements \(v\in W\) such that \(v\lhd ^{(i)}w\) and over all possible paths \(v\overset{\gamma }{\leadsto }w.\) In the last product, \(e\in W\) is the identity element and we suppress the upper index (k) as it is unnecessary in this case. In general, when we have a fixed element \(v\in W\) such that \(v\le w,\) then \(v\leadsto w\) denotes the set of all possible paths \(v\overset{\gamma }{\leadsto } w.\) As an example, for \(v\in W,\) we write \({\prod _{v\leadsto w}}{{\,\mathrm{\mathrm {B}}\,}}_{v,\chi _{\gamma }}\) to mean that the product ranges over all possible paths \(v\overset{\gamma }{\leadsto } w.\) Similarly, we write \({\prod _{v\lhd ^{(i)} w}}\) to mean that the product is over all \(v\in W\) such that \(v\lhd ^{(i)}w.\) Similar notations will also be used for direct sums, etc. Clearly, by Lemma 16, for every \(i=1,\dots ,k,\) we have
Moreover, the commutative \(C^{*}\)-algebra \({\prod _{e\leadsto w}} C({\mathrm {T}}_{\gamma })\) does not depend on q. For \(i=1,\dots ,k,\) we let
be the composition of \(*\)-homomorphisms in (61). By iteration of (42) and (54), we have for any \(a\in {\mathbb {C}}[\mathrm {G]_{q}}\)
![](http://media.springernature.com/lw334/springer-static/image/art%3A10.1007%2Fs00220-019-03660-9/MediaObjects/220_2019_3660_Equ63_HTML.png)
By induction, for all \(v\in W\) such that \(l(v)<k,\) we have a \(*\)-isomorphism
such that \(\varGamma _{v}^{s,q}({{\,\mathrm{{\mathcal {K}}}\,}}_{v})={{\,\mathrm{{\mathcal {K}}}\,}}_{v}\) and the following diagram is commutative
![](http://media.springernature.com/lw323/springer-static/image/art%3A10.1007%2Fs00220-019-03660-9/MediaObjects/220_2019_3660_Equ170_HTML.png)
It follows that for every \(i=1,\dots ,k-1,\) we have \(*\)-isomorphisms
that maps \( {\prod ^{(i)}_{v\leadsto w}}{{\,\mathrm{{\mathcal {K}}}\,}}_{v}\otimes C({\mathrm {T}}_{\gamma })\) into itself and such that the following diagrams are commutative
![](http://media.springernature.com/lw512/springer-static/image/art%3A10.1007%2Fs00220-019-03660-9/MediaObjects/220_2019_3660_Equ65_HTML.png)
![](http://media.springernature.com/lw518/springer-static/image/art%3A10.1007%2Fs00220-019-03660-9/MediaObjects/220_2019_3660_Equ66_HTML.png)
The idea is now to show that \({{\prod _{v\leadsto w}^{(i)}}}(\varGamma _{v}^{s,q}\otimes \iota )\) restricts to a \(*\)-isomorphism between \(\varPsi _{i}^{q}({{\,\mathrm{\mathrm {B}}\,}}_{w}^{q})\) and \(\varPsi _{i}^{s}({{\,\mathrm{\mathrm {B}}\,}}_{w}^{s})\) for \(i=1,\dots ,k.\) We prove this by ’climbing the ladder’ (65), using induction on i, starting at \(i=k\) (i.e the case (66)), and then we count down to \(i=1\).
The statement is clear at k, since by the q-independence of \(\chi _{\gamma }\) and the fact that \(\tau _{q}(C(\mathrm {G)_{q}})=C({\mathrm {T}})=\tau _{s}(C(\mathrm {G)_{s}}),\) we have
![](http://media.springernature.com/lw414/springer-static/image/art%3A10.1007%2Fs00220-019-03660-9/MediaObjects/220_2019_3660_Equ171_HTML.png)
Assume now that the statement holds for \(i+1.\) Consider \(x\in \varPsi _{i}^{q}({{\,\mathrm{\mathrm {B}}\,}}_{w}^{q}).\) Then
and hence by induction
But by the commutivity of the diagrams (65)–(66), this element is also equal to
from which it follows, by (62), that
and thus
We show that actually \(c\in \varPsi _{i}^{s}({{\,\mathrm{\mathrm {B}}\,}}_{w}^{s}).\) For a fixed \(v\in W\) such that \(v\lhd ^{(i)}w,\) we can embed
via the injective \(*\)-homomorphisms \(C({\mathrm {T}}_{v}^{w})\rightarrow {\prod }_{v\leadsto w}C({\mathrm {T}}_{\gamma })\) coming from the inclusions \({\mathrm {T}}_{\gamma }\subseteq {\mathrm {T}}_{v}^{w}\) and, by the definition of \({\mathrm {T}}_{v}^{w}\), that \({\mathrm {T}}_{v}^{w}={\cup }_{v\leadsto w} {\mathrm {T}}_{\gamma }.\) Thus the embedding (69) is on simple tensors given by
where \(f|_{{\mathrm {T}}_{\gamma }}\) denoted the restriction of \(f\in C({\mathrm {T}}_{v}^{w})\) to the subset \({\mathrm {T}}_{\gamma }\subseteq {\mathrm {T}}_{v}^{w}.\) Moreover, we have the embedding
coming from (69). Using this embedding, we clearly have, for fixed \(v\lhd ^{(i)}w,\) that
![](http://media.springernature.com/lw471/springer-static/image/art%3A10.1007%2Fs00220-019-03660-9/MediaObjects/220_2019_3660_Equ71_HTML.png)
and that, as in (54), we can identify It then follows from Lemma 16, that under the embeddings (69) and (70) we have
![](http://media.springernature.com/lw397/springer-static/image/art%3A10.1007%2Fs00220-019-03660-9/MediaObjects/220_2019_3660_Equ72_HTML.png)
Moreover, note that the left-hand sides (69) and (70) are clearly invariant under the homomorphism \(\underset{v\leadsto w}{\prod }\varGamma ^{s,q}_{v}\otimes \iota .\) We can now use Proposition 17 and (63) to see that if we take the product of (72), ranging over all \(v\lhd ^{(i)}w,\) then
As \(\overset{(i)}{\underset{v\leadsto w}{\prod }}(\varGamma _{v}^{s,q}\otimes \iota )\) clearly fixes the two sub-algebras on either side of \(\varPsi _{i}^{q}({{\,\mathrm{\mathrm {B}}\,}}_{w}^{q}),\) it follows from (68) that
From this, it follows that
But as
we must have equality in (74).
Thus, we have an isomorphism
via the \(*\)-isomorphism
However, to be able to use Lemma \(2\) to conclude that the \(C^{*}\)-algebras \({{\,\mathrm{\mathrm {B}}\,}}_{w}^{q},\)\(q\in (0,1)\) are all isomorphic, we must also show that \({\mathcal {L}}^{s,q}\) are continuous in the point-norm topology, i.e. that for a fixed \(q\in (0,1)\) and an element \(y\in {{\,\mathrm{\mathrm {B}}\,}}_{w}^{q}/{{\,\mathrm{{\mathcal {K}}}\,}}_{w},\) we have a continuous function
By a classical approximation argument, it is enough to prove this for the dense \(*\)-subalgebra \((p_{w}\circ \pi _{w}^{q})({\mathbb {C}}[\mathrm {G]_{q}}).\) By Lemma 18 we have invertible coalgebra morphisms \(\theta ^{q}:{\mathbb {C}}[\mathrm {G}]\rightarrow {\mathbb {C}}[\mathrm {G]_{q}}\) such that for fixed \(f\in {\mathbb {C}}[\mathrm {G}],\) the function \(q\in (0,1)\mapsto \pi _{w}^{q}(\theta ^{q}(f))\in {\mathcal {B}}({{\,\mathrm{\mathrm {H}}\,}}_{w})\) is continuous. Thus the function
is also continuous. Let us write
By induction, the function
is continuous and \(\left( {\prod }_{v\lhd w}(\varGamma _{v}^{q,q}\otimes \iota )\right) (\eta _{w}^{q}(F^{q}))=\eta _{w}^{q}(F^{q})\). Notice that by the definition of \(\eta ^{q}_{w}\) and (46), we have
![](http://media.springernature.com/lw228/springer-static/image/art%3A10.1007%2Fs00220-019-03660-9/MediaObjects/220_2019_3660_Equ172_HTML.png)
and thus by Lemma 18, the function
is continuous. It follows that for all \(\epsilon >0\) we have
for \(|s-q|<\delta _{1},\) if \(\delta _{1}>0\) is made small enough. If we apply the \(*\)-isomorphism \((\eta _{w}^{s})^{-1},\) we get
and thus it follows that there is a \(0<\delta \le \delta _{1},\) such that
when \(|s-q|<\delta .\) We can now apply Lemma \(2\) to get an inner \(*\)-automorphism \(\varGamma _{w}^{s,q}:{\mathcal {B}}({{\,\mathrm{\mathrm {H}}\,}}_{w})\rightarrow {\mathcal {B}}({{\,\mathrm{\mathrm {H}}\,}}_{w})\) that restricts to a \(*\)-isomorphism \({{\,\mathrm{\mathrm {B}}\,}}_{w}^{q}\rightarrow {{\,\mathrm{\mathrm {B}}\,}}_{w}^{s},\) that is continuous in the point-set topology. That the diagram (57) commutes follows from the commutivity of (8) and the way \({\mathcal {L}}^{s,q}\) was defined. Clearly, the compact operators are invariant under \(\varGamma _{w}^{s,q}.\)
The case (ii). We prove it first for \(\tau _{q}:{\mathbb {C}}[\mathrm {G]_{q}}\rightarrow C({\mathrm {T}})\) (see (34)). We combine the inclusion \({{\,\mathrm{\mathrm {B}}\,}}_{w,\tau _{q}}^{q}\hookrightarrow {{\,\mathrm{\mathrm {B}}\,}}_{w}^{q}\otimes C({\mathrm {T}})\) with the sequence (61) by tensoring all the components with \(C({\mathrm {T}})\) in the following way
If we define \(\varPsi _{i}^{q}\) as before, then similar to (63), we have
![](http://media.springernature.com/lw329/springer-static/image/art%3A10.1007%2Fs00220-019-03660-9/MediaObjects/220_2019_3660_Equ79_HTML.png)
We can proceed exactly as before, using the commutative diagrams (65) and (66) (now tensored by \(C({\mathrm {T}})\)), by induction on \(i=1,\dots , k,\) starting at k. Clearly the images in \(\left( {\prod _{e\leadsto w}}C({\mathrm {T}}_{\gamma })\right) \otimes C({\mathrm {T}})\) are the same, as the commutative \(*\)-representation is q-independent. Assuming that
is an \(*\)-isomorphism gives for \(x\in \left( \varPsi ^{q}_{i}\otimes \iota \right) ({{\,\mathrm{\mathrm {B}}\,}}_{w,\tau _{q}}^{q}),\) that
The rest of the argument follows in a similar fashion as for \({{\,\mathrm{\mathrm {B}}\,}}_{w}^{q}:\) we find an embedding
such that,
- (i)
this subalgebra is invariant with respect to the map \(\left( {{\prod _{v\leadsto w}^{(i)}}}(\varGamma _{v}^{s,q}\otimes \iota )\right) \otimes \iota ,\)
- (ii)
we have
$$\begin{aligned} \underset{v\lhd ^{(i)}w}{\prod }{{\,\mathrm{{\mathcal {K}}}\,}}_{v}\otimes C({\mathrm {T}})=\underset{v\lhd ^{(i)}w}{\prod }{\mathcal {B}}({{\,\mathrm{\mathrm {H}}\,}}_{v})\otimes C({\mathrm {T}})\bigcap \left( \overset{(i)}{\underset{v\leadsto w}{\prod }}{{\,\mathrm{{\mathcal {K}}}\,}}_{v}\otimes C({\mathrm {T}}_{\gamma })\right) \otimes C({\mathrm {T}})\qquad \end{aligned}$$(82) - (iii)
and the following inclusions holds
$$\begin{aligned} \underset{v\lhd ^{(i)}w}{\prod }{{\,\mathrm{{\mathcal {K}}}\,}}_{v}\otimes C({\mathrm {T}})\subseteq \left( \varPsi ^{s}_{i}\otimes \iota \right) ({{\,\mathrm{\mathrm {B}}\,}}_{w,\tau _{s}}^{s}) \subseteq \underset{v\lhd ^{(i)}w}{\prod }{\mathcal {B}}({{\,\mathrm{\mathrm {H}}\,}}_{v})\otimes C({\mathrm {T}}). \end{aligned}$$(83)
Clearly, this implies
To do this, we use the natural isomorphism
Notice that for every \(v\overset{\gamma }{\leadsto } w,\) we have an embedding \(C({\mathrm {T}})\subseteq C({\mathrm {T}}_{\gamma })\otimes C({\mathrm {T}})\) determined by \(C({\mathrm {T}}_{\gamma })\otimes C({\mathrm {T}})\cong C({\mathrm {T}}_{\gamma }\times T)\) and the multiplication map \({\mathrm {T}}_{\gamma }\times {\mathrm {T}}\rightarrow {\mathrm {T}}.\) As \(\tau _{q}:{\mathbb {C}}[\mathrm {G]_{q}}\rightarrow {\mathbb {C}}[{\mathrm {T}}]\) is a morphism of Hopf \(*\)-algebras (hence compatible with the multiplication in \({\mathrm {T}}\)), it follows that we have a \(*\)-homomorphism
We can then, for fixed \(v\lhd ^{(i)}w,\) embed diagonally
By taking the product over all \(v\lhd ^{(i)}w,\) we get an embedding (81) such that (83) holds (the first inclusion follows from Proposition (17)). Clearly, we also have (82). Thus, it follows that \((\varGamma ^{s,q}_{w}\otimes \iota )({{\,\mathrm{\mathrm {B}}\,}}_{w,\tau _{q}}^{q})={{\,\mathrm{\mathrm {B}}\,}}_{w,\tau _{q}}^{s},\) since this is the case \(i=1\).
This implies the general case: let \(\chi ^{q}:C(\mathrm {G)_{q}}\rightarrow C(\mathrm X)\) be commutative q-independent \(*\)-homomorphisms and \(\zeta :C({\mathrm {T}})\rightarrow C(\mathrm X)\) the \(*\)-homomorphism such that \(\chi ^{q}=\zeta \circ \tau _{q}.\) Then \(\iota \otimes \zeta \) is a surjective \(*\)-homomorphism \({{\,\mathrm{\mathrm {B}}\,}}^{q}_{w,\tau _{q}}\rightarrow {{\,\mathrm{\mathrm {B}}\,}}^{q}_{v,\chi ^{q}}.\) As \(\varGamma _{w}^{s,q}\otimes \iota \) is a \(*\)-isomorphism \({{\,\mathrm{\mathrm {B}}\,}}_{w,\tau _{q}}^{q}\rightarrow {{\,\mathrm{\mathrm {B}}\,}}_{w,\tau _{s}}^{s},\) we have
\(\square \)
Corollary 20
The universal enveloping \(C^{*}\)-algebras of \({\mathbb {C}}[\mathrm {G]_{q}}\) are isomorphic for all \(q\in (0,1).\) These isomorphisms are equivariant with respect to the right-action of \({\mathrm {T}}.\)
Proof
If \(\omega \in W\) is the unique element of longest length in the Weyl group and \(\tau _{q}:C(\mathrm {G)_{q}}\rightarrow C({\mathrm {T}})\) the commutative q-independent \(*\)-homomorphism coming from the embedding of the maximal torus \({\mathrm {T}}\subseteq {\mathrm {G}},\) then it follows from Theorem 6 that any irreducible \(*\)-representation of \(C(\mathrm {G)_{q}}\) must factor through \(\pi _{\omega }^{q}\boxtimes \tau _{q}.\) Thus \({{\,\mathrm{\mathrm {B}}\,}}_{\omega ,\tau _{q}}^{q}\cong C(\mathrm {G)_{q}}.\) The q-independence follows from Theorem 19(ii). For \(x\in C({\mathrm {G}})_{q}\) and \(t\in {\mathrm {T}}\) we have
and thus equivariance with respect to the right-action follows as the isomorphism \({{\,\mathrm{\mathrm {B}}\,}}_{\omega ,\tau _{q}}^{q}\rightarrow {{\,\mathrm{\mathrm {B}}\,}}_{\omega ,\tau _{s}}^{s}\) is of the form \(\varGamma ^{s,q}_{\omega }\otimes \iota .\)\(\square \)
References
Bjorner, A., Brenti, F.: Combinatorics of Coxeter Groups. Graduate Texts in Mathematics, vol. 231. Springer, New York (2005)
Davidson, K.: \(C^{*}\)-algebras by Example. Fields Institute Monographs, vol. 6. American Mathematical Society, Providence, RI (1996)
Drinfeld, V.G.: Hopf algebras and the quantum Yang–Baxter equation (Russian). Dokl. Akad. Nauk SSSR 283(5), 1060–1064 (1985)
Drinfeld, V.G.: Quantum groups. In: Proceedings of the International Congress of Mathematicians, vol. 1, 2, pp. 798–820. Berkeley, CA (1986)
Jimbo, M.: A \(q\)-analogue of \(U({\mathfrak{g}})\) and the Yang–Baxter equation. Lett. Math. Phys. 10(1), 63–69 (1985)
Klimyk, A., Schmüdgen, K.: Quantum Groups and Their Representations. Texts and Monographs in Physics. Springer, Berlin (1997)
Korogodski, L.I., Soibelman, Y.S.: Algebra of Functions on Quantum Groups: Part 1. Mathematical Surveys and Monographs, vol. 56. American Mathematical Society, Providence, RI (1998)
Nagy, G.: A rigidity property for quantum \({\rm SU}(3)\) groups. In: Brylinski, J.L., Brylinski, R., Nistor, V., Tsygan, B., Xu, P. (eds.) Advances in Geometry. Progress in Mathematics, vol. 172, pp. 297–336. Birkhäuser, Boston, MA (1999)
Nagy, G.: Deformation quantization and K-theory. In: Coburn, L.A., Rieffel, M.A. (eds.) Perspectives on Quantization (South Hadley, MA, 1996). Contemporary Mathematics, vol. 214, pp. 111–134. American Mathematical Society, Providence, RI (1998)
Neshveyev, S., Tuset, L.: Quantized algebras of functions on homogeneous spaces with Poisson stabilizers. Commun. Math. Phys. 312(1), 223–250 (2012)
Neshveyev, S., Tuset, L.: K-homology class of the Dirac operator on a compact quantum group. Doc. Math. 16, 767–780 (2011)
Stokman, J.V., Dijkhuizen, M.S.: Quantized flag manifolds and irreducible \(*\)-representations. Commun. Math. Phys. 203(2), 297–324 (1999)
Woronowicz, S.L.: Compact matrix pseudogroups. Commun. Math. Phys. 111(4), 613–665 (1987)
Woronowicz, S.L.: Twisted \({\rm SU}(2)\) group. An example of a noncommutative differential calculus. Publ. Res. Inst. Math. Sci. 23(1), 117–181 (1987)
Acknowledgements
Open access funding provided by Chalmers University of Technology. The author is grateful to Mahmood Alagmandan and Lyudmila Turowska for helpful discussions and comments. The author was partially supported by GS Magnusons fond, Grant Number MG2018-0083, as well as Knut och Alice Wallenbergs Stiftelse.
Author information
Authors and Affiliations
Corresponding author
Additional information
Communicated by Y. Kawahigashi
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Rights and permissions
Open Access This article is licensed under a Creative Commons Attribution 4.0 International License, which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons licence, and indicate if changes were made. The images or other third party material in this article are included in the article’s Creative Commons licence, unless indicated otherwise in a credit line to the material. If material is not included in the article’s Creative Commons licence and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder. To view a copy of this licence, visit http://creativecommons.org/licenses/by/4.0/.
About this article
Cite this article
Giselsson, O. q-Independence of the Jimbo–Drinfeld Quantization. Commun. Math. Phys. 376, 1737–1765 (2020). https://doi.org/10.1007/s00220-019-03660-9
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s00220-019-03660-9