10
$\begingroup$

Let $G$ be a compact topological group. Then $G$ is a CQG with function algebra $C(G)$ and the usual comultiplication on $C(G)$. Is there an easy description of the dual discrete quantum group $\widehat{G}$?

In the case of commutative compact groups, I would hope that there is a connection with the usual dual of a compact group (in the sense of Pontryagin duality), but since the function algebra of the discrete quantum group $\widehat{G}$ is a von Neumann algebra, it won't be something nice like $C(\widehat{G})$.

$\endgroup$
13
  • 2
    $\begingroup$ Unless $G$ is abelian, I am not sure I know precisely what $\widehat G$ "in the sense of Pontryagin duality" is. Could you explain? $\endgroup$ Jun 23, 2021 at 9:05
  • 1
    $\begingroup$ Surely this must be the group algebra of $G$, right? More precisely, the cocommutative algebra of distributions on $G$ with convolution product wrt Haar measure. $\endgroup$ Jun 23, 2021 at 9:45
  • 1
    $\begingroup$ Are you familiar with Tannaka-Krein duality? It seems like that it is right what you ask for. $\endgroup$ Jun 23, 2021 at 10:19
  • 2
    $\begingroup$ @მამუკაჯიბლაძე Although the question doesn't say it, I think the OP is working in the framework of locally compact quantum groups, i.e. the Operator Algebraic approach. So we end up with the group $C^*$-algebra, or group von Neumann algebra, of $G$: i.e. the closure of what you write, acting on $L^2(G)$. $\endgroup$ Jun 23, 2021 at 10:47
  • 1
    $\begingroup$ @მამუკაჯიბლაძე I think of $C(G)$ as the continuous functions on $G$, so a commutative algebra, and so its commutant, acting pointwise on $L^2(G)$, is $L^\infty(G)$. But as $G$ is compact, $C(G)$ also acts on $L^2(G)$ by (right) convolution and then the commutant will be the (left) group von Neumann algebra $L(G)$. $\endgroup$ Jun 23, 2021 at 12:07

2 Answers 2

8
$\begingroup$

I believe that really the question is being asked in the context of Locally compact quantum groups. This is a framework using the machinery of $C^*$ and von Neumann algebras, with (amoung many aims, and many different motivations) the aim of extend Pontryagin duality to all locally compact groups.

A locally compact quantum group is an operator algebra with a coproduct, which behaves something like a Hopf algbera. However, instead of specifying an antipode and counit, instead invariant weights (non-commutative analogues of the Haar measure) are specified, and then (densely defined) analogues of the counit and antipode emerge from the theory. Built into the definition is that any locally compact quantum group has a "dual quantum group", with the dual of the dual being (in this setup) equal to what you started with.

Given a locally compact group $G$, we consider the $C^*$-algebra $C_0(G)$, or the von Neumann algebra $L^\infty(G)$, with the usual coproduct, and the left/right Haar measures giving invariant weights. Then following the theory through will show that the dual group is represented by the group $C^*$-algebra $C^*_r(G)$ (or $C^*(G)$) and the group von Neumann algebra $VN(G)$. I am afraid I am not aware of a completely elementary account of this, but it is a nice exercise to prove it yourself. See also Enock, Schwartz, Kac Algebras which treats Kac algebras (an earlier axiomatisation) with lots of details on these examples.


So with $G$ compact, the "discrete dual quantum group" is represented by $C^*(G) = C^*_r(G)$ or $VN(G)$. Concretely, we use the Haar measure to form $L^2(G)$ and then let $G$ act by (left) convolution, say the unitary translation operators $(\lambda_s)_{s\in G}$. Then $VN(G)$ is the von Neumann algebra generated by these, and one can show (not entirely trivially) that there is a unital normal $*$-homomorphism $\Delta:VN(G)\rightarrow VN(G)\overline\otimes VN(G)$ with $\Delta(\lambda_s) = \lambda_s\otimes\lambda_s$. Using classical Peter-Weyl theory, it follows that $VN(G)$ is a direct sum of matrix algebras, corresponding to irreducible unitary representations of $G$, and $\Delta$ encodes how the tensor product of irreducibles can be written as sums of irreducibles (i.e. the Fusion rules, and the explicit unitary isomorphisms resulting).


Comments suggest that the OP really had in mind the case when $G$ is abelian. In this case, we can form the classical Pontryagin dual $\widehat G$ which is a genuine discrete group. The example to keep in mind if when $G=\mathbb T$ then $\widehat G=\mathbb Z$. With the Haar measure normalised in the usual way, the Fourier transform gives a unitary $$ \mathcal F : L^2(G) \rightarrow \ell^2(\widehat G). $$ Then conjugation by $\mathcal F$ gives that $$ VN(G) \rightarrow \mathcal B(\ell^2(\widehat G)); \quad x \mapsto \mathcal F x \mathcal F^* $$ is an isomorhism onto $\ell^\infty(\widehat G)$. Similar $C^*(G)$ is isomorphic to $c_0(\widehat G)$. Conversely, $VN(\widehat G)$ is isomorphic to $L^\infty(G)$ and $C^*(\widehat G)$ isomorhic to $C(G)$.

$\endgroup$
1
  • $\begingroup$ This was a very excellent and useful answer. Sorry for the late accept! $\endgroup$
    – Andromeda
    Jul 15, 2021 at 23:20
4
$\begingroup$

It's not my area, but I think the answer is very simple: when $G$ is compact abelian the W${}^*$ dual quantum group is just $L(G) \cong l^\infty(\hat{G})$.

$\endgroup$

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service and acknowledge you have read our privacy policy.

Not the answer you're looking for? Browse other questions tagged or ask your own question.