This shows you the differences between two versions of the page.
Both sides previous revision Previous revision Next revision | Previous revision | ||
compact_quantum_group [2019/09/26 06:29] d.gromada [The Hopf algebra of representative functions] |
compact_quantum_group [2021/11/23 11:56] (current) |
||
---|---|---|---|
Line 65: | Line 65: | ||
==== The Hopf algebra of representative functions ==== | ==== The Hopf algebra of representative functions ==== | ||
- | We denote by $\Pol(G)$ the span of matrix coefficients of all representations of $G$. It holds that $\Pol(G)$ is a Hopf $*$-algebra with respect to multiplication and comultiplication taken from $C(G)$, counit defined as $\epsilon(u_{ij}):=\delta_{ij}$, antipode defined as $S(u_{ij}):=(u^{-1})_{ij}$. | + | We denote by $\Pol(G)$ the span of matrix coefficients of all representations of $G$. Since every representation is a direct sum of irreducible ones, we can write |
+ | $$\Pol(G)=\spanlin\{u_{ij}^{\alpha}\mid \alpha\in\Irr G\}.$$ | ||
+ | It holds that $\Pol(G)$ is a Hopf $*$-algebra with respect to multiplication and comultiplication taken from $C(G)$, counit defined as $\epsilon(u_{ij}):=\delta_{ij}$, antipode defined as $S(u_{ij}):=(u^{-1})_{ij}$. | ||
Moreover, $\Pol(G)$ is dense in $C(G)$, so it essentially contains all the information about the structure of the quantum group $G$. Note however that there might exist several different C*-norms on $\Pol(G)$ and hence also several C*-completions of $\Pol(G)$. As C*-algebras, those completions might be very different. Nevertheless, the quantum groups they describe are considered to be the same. | Moreover, $\Pol(G)$ is dense in $C(G)$, so it essentially contains all the information about the structure of the quantum group $G$. Note however that there might exist several different C*-norms on $\Pol(G)$ and hence also several C*-completions of $\Pol(G)$. As C*-algebras, those completions might be very different. Nevertheless, the quantum groups they describe are considered to be the same. | ||
Line 71: | Line 73: | ||
Let $\pi$ be the [[wp>Gelfand–Naimark–Segal_construction|GNS representation]] of $C(G)$ corresponding to the Haar state $h$. We denote by $L^2(G)$ the corresponding Hilbert space. It holds that the Haar state $h$ is //faithful// on $\Pol(G)$ (i.e. $h(aa^*)=0\Leftrightarrow a=0$). Hence, $\pi$ provides a faithful representation of $\Pol(G)$ on $L^2(G)$. | Let $\pi$ be the [[wp>Gelfand–Naimark–Segal_construction|GNS representation]] of $C(G)$ corresponding to the Haar state $h$. We denote by $L^2(G)$ the corresponding Hilbert space. It holds that the Haar state $h$ is //faithful// on $\Pol(G)$ (i.e. $h(aa^*)=0\Leftrightarrow a=0$). Hence, $\pi$ provides a faithful representation of $\Pol(G)$ on $L^2(G)$. | ||
- | Conversely, for any Hopf $*$-algebra with a positive integral $A_0$, we can consider its universal C*-completion (see bellow) $A:=C^*(A_0)$, which defines a compact quantum group. This provides an alternative //algebraic// definition of compact quantum groups. | + | Conversely, for any Hopf $*$-algebra with a positive integral $A_0$, we can consider its universal C*-completion (see below) $A:=C^*(A_0)$, which defines a compact quantum group. This provides an alternative //algebraic// definition of compact quantum groups. |
==== The universal C*-algebra ==== | ==== The universal C*-algebra ==== | ||
Line 100: | Line 102: | ||
==== The dual algebras ==== | ==== The dual algebras ==== | ||
- | We denote by $c_{00}(\hat G)$ the vector space dual of $\Pol(G)$. This is again a Hopf $*$-algebra with respect to the following operations | ||
- | $$\omega\nu:=\omega*\nu:=(\omega\otimes\nu)\circ\Delta,\qquad \omega^*:=\bar\omega\circ S,$$ | ||
- | $$(\hat\Delta(\omega))(a\otimes b)=\omega(ab),\qquad \hat\epsilon(\omega)=\omega(1),\qquad \hat S\omega=\omega\circ S,$$ | ||
- | where $\omega,\nu\in c_{00}(\hat G)$, $a,b\in\Pol(G)$. | ||
- | Since $\{u_{ij}^\alpha\}$ with $\alpha\in\Irr G$ form a vector space, we have that any $\omega\in c_{00}(\hat G)$ is determined by the numbers $\omega(u_{ij}^\alpha)$. Moreover, it can be easily seen that we have | + | Let $G$ be a compact quantum group and denote by $\Gamma:=\hat G$ its discrete dual. We denote by $\C^{\Gamma}$ the vector space dual of $\Pol G$. This is a $*$-algebra with respect to the following operations |
- | $$c_{00}(\hat G)=\bigoplus_{\alpha\in\Irr G}M_{n_\alpha}(\C).$$ | + | $$\omega\nu:=\omega*\nu:=(\omega\otimes\nu)\circ\Delta,\qquad \omega^*(a):=\overline{\omega(S(a)^*)},$$ |
+ | where $\omega,\nu\in \C^{\Gamma}$, $a,b\in\Pol G$. This algebra plays the role of the algebra of all functions (sequences) $\Gamma\to\C$. | ||
- | Replacing the algebraic direct sum by the $c_0$ direct sum or $l^\infty$ direct sum, we can define also the algebras $c_0(\hat G)$ or $l^\infty(\hat G)$. | + | Given $u\in M_n(\Pol G)$ a (unitary) representation of $G$, that is, a corepresentation of $\Pol G$, we can define a ($*$-)representation $\pi_u\colon \C^\Gamma\to M_n(\C)$ as $[\pi_{u}(\omega)]_{ij}=\omega(u_{ij})$. |
+ | |||
+ | Since $\{u_{ij}^\alpha\}$ with $\alpha\in\Irr G$ form a vector space basis, we have that any $\omega\in\C^\Gamma$ is determined by the numbers $\omega(u_{ij}^\alpha)=[\pi_{u^\alpha}(\omega)]_{ij}$. Hence, we have | ||
+ | $$\C^{\Gamma}\simeq\prod_{\alpha\in\Irr G}M_{n_\alpha}(\C),$$ | ||
+ | where the isomorphism is provided by $\prod_{\alpha\in\Irr G}\pi_{u^\alpha}$. | ||
+ | |||
+ | Replacing the direct product by algebraic direct sum, we obtain an algebra denoted by $c_{00}(\Gamma)$ corresponding to finitely supported sequences on $\Gamma$. Taking the $c_0$ direct sum or $l^\infty$ direct sum, we can define also the algebras $c_0(\Gamma)$ or $l^\infty(\Gamma)$. Using the $l^1$ direct sum, we arrive with the Banach space $l^1(\Gamma)$, which is the predual of $l^\infty(\Gamma)$. | ||
+ | |||
+ | The algebra $c_{00}(\Gamma)$ is actually a Hopf $*$-algebra with respect to the following operations | ||
+ | $$(\hat\Delta(\omega))(a\otimes b)=\omega(ab),\qquad \hat\epsilon(\omega)=\omega(1),\qquad \hat S\omega=\omega\circ S.$$ | ||
+ | where $\omega,\nu\in c_{00}(\Gamma)$, $a,b\in\Pol G$. Note that these operations can actually be defined also on $\C^\Gamma$, but the comultiplication would map $\C^\Gamma\to\C^{\Gamma\times\Gamma}:=(\Pol G\odot\Pol G)^*\supset \C^\Gamma\odot\C^\Gamma$ with the inclusion being strict whenever $\Pol G$ is infinite dimensional. | ||
+ | |||
+ | Note also that the multiplication in $\Pol G$ is transformed into comultiplication on $c_{00}(\Gamma)$ and the comultiplication on $\Pol G$ is transformed into multiplication on $c_{00}(\Gamma)$. In particular, $c_{00}(\Gamma)$ is commutative, resp. cocommutative if and only if $\Pol G$ is cocommutative, resp. commutative. | ||
+ | |||
+ | |||
+ | ==== Representations of discrete groups ==== | ||
+ | |||
+ | A **representation** of the discrete dual $\hat G$ on a Hilbert space $H$ is an element $U\in l^\infty(\hat G)\otimes B(H)$ satisfying | ||
+ | $$(\hat\Delta\otimes\id)U=U_{13}U_{23},$$ | ||
+ | where $U_{23}=1_{l^\infty(\hat G)}\otimes U\in l^\infty(\hat G)\otimes l^\infty(\hat G)\otimes\B(H)$ and $U_{13}\in l^\infty(\hat G)\otimes l^\infty(\hat G)\otimes\B(H)$ is defined similarly adding the identity to the ``middle leg''. The equation hence essentially coincides with the equation defining representations of compact quantum groups. The only change is that here we formulate the definition also for infinite-dimensional representations. | ||
+ | |||
+ | Similarly as above, any (unitary) representation of $\hat G$ induces a ($*$-)representation of the algebra $\Pol G$. Indeed, take any $U\in l^\infty(\hat G)\otimes\B(H)$. We can decompose this element as a sum $U=\sum_{\alpha\in\Irr G}U^\alpha$, where $U^\alpha\in M_{n_\alpha}(\C)\otimes\B(H)$. Then, we can define $\pi_U\colon\Pol G\to\B(H)$ as $\pi_U(u_{ij}^\alpha):=U_{ij}^\alpha$. | ||
+ | |||
+ | ===== Finite quantum groups ===== | ||
+ | |||
+ | A compact quantum group is called **finite** if the associated C*-algebra $C(G)$ is finite-dimensional. In this case, all other associated algebras coincide, so | ||
+ | $$L^\infty(G)=C_{\rm u}(G)=C(G)=C_{\rm r}(G)=\Pol G.$$ | ||
+ | |||
+ | The same hence holds for the dual algebras, which are also finite-dimensional | ||
+ | $$\C^{\hat G}=l^\infty(\hat G)=c_0(\hat G)=c_{00}(\hat G).$$ | ||
+ | In particular, those algebras are unital C*-algebras and hence define a finite compact quantum group $\hat G=(c_0(\hat G),\hat\Delta)$. A finite quantum version of the Pontryagin duality then says that $\hat{\hat G}=G$. | ||
+ | |||
+ | In particular, any compact quantum group that is finite is also discrete (i.e. a dual of a compact one). In the formalism of locally compact quantum groups, one can formulate also the converse statement. If a locally compact quantum group is compact and discrete, then it is finite. Indeed, //discreteness// means that the associated reduced C*-algebra is of the form $c_0(G)=\bigoplus_\alpha M_{n_\alpha}(\C)$. The //compactness// then means that this C*-algebra is unital, which implies that the direct sum has to be finite. | ||
===== Further reading ===== | ===== Further reading ===== |