The Haar measure on a compact quantum group
HTML articles powered by AMS MathViewer
- by A. Van Daele PDF
- Proc. Amer. Math. Soc. 123 (1995), 3125-3128 Request permission
Abstract:
Let A be a ${{\text {C}}^ \ast }$-algebra with an identity. Consider the completed tensor product $A\bar \otimes A$ of A with itself with respect to the minimal or the maximal ${{\text {C}}^ \ast }$-tensor product norm. Assume that $\Delta :A \to A\bar \otimes A$ is a non-zero $^ \ast$-homomorphism such that $(\Delta \otimes \iota )\Delta = (\iota \otimes \Delta )\Delta$ where $\iota$ is the identity map. Then $\Delta$ is called a comultiplication on A. The pair $(A,\Delta )$ can be thought of as a ’compact quantum semi-group’. A left invariant Haar measure on the pair $(A,\Delta )$ is a state $\varphi$ on A such that $(\iota \otimes \varphi )\Delta (a) = \varphi (a)1$ for all $a \in A$. We show in this paper that a left invariant Haar measure exists if the set $\Delta (A) (A \otimes 1)$ is dense in $A\bar \otimes A$. It is not hard to see that, if also $\Delta (A) (1 \otimes A)$ is dense, this Haar measure is unique and also right invariant in the sense that $(\varphi \otimes \iota )\Delta (a) = \varphi (a)1$. The existence of a Haar measure when these two sets are dense was first proved by Woronowicz under the extra assumption that A has a faithful state (in particular when A is separable).References
- Edward G. Effros and Zhong-Jin Ruan, Discrete quantum groups. I. The Haar measure, Internat. J. Math. 5 (1994), no. 5, 681–723. MR 1297413, DOI 10.1142/S0129167X94000358 K. H. Hofmann, Elements of compact semi-groups, Merrill, Columbus, OH, 1966.
- A. Van Daele, The Haar measure on finite quantum groups, Proc. Amer. Math. Soc. 125 (1997), no. 12, 3489–3500. MR 1415374, DOI 10.1090/S0002-9939-97-04037-9 —, Quasi-discrete locally compact quantum groups, preprint, K. U. Leuven, 1993. —, Discrete quantum groups, preprint, K. U. Leuven, 1993.
- S. L. Woronowicz, Compact matrix pseudogroups, Comm. Math. Phys. 111 (1987), no. 4, 613–665. MR 901157, DOI 10.1007/BF01219077 —, Compact quantum groups, preprint, University of Warsaw, 1992.
Additional Information
- © Copyright 1995 American Mathematical Society
- Journal: Proc. Amer. Math. Soc. 123 (1995), 3125-3128
- MSC: Primary 46L30; Secondary 46L60, 81R50
- DOI: https://doi.org/10.1090/S0002-9939-1995-1277138-0
- MathSciNet review: 1277138