Completely positive definite functions and Bochner's theorem for locally compact quantum groups
arXiv:1210.5231 · doi:10.1016/j.jfa.2013.01.017
Abstract
We prove two versions of Bochner's theorem for locally compact quantum groups. First, every completely positive definite "function" on a locally compact quantum group $\G$ arises as a transform of a positive functional on the universal C*-algebra $C_0^u(\dual\G)$ of the dual quantum group. Second, when $\G$ is coamenable, complete positive definiteness may be replaced with the weaker notion of positive definiteness, which models the classical notion. A counterexample is given to show that the latter result is not true in general. To prove these results, we show two auxiliary results of independent interest: products are linearly dense in $\lone_\sharp(\G)$, and when $\G$ is coamenable, the Banach *-algebra $\lone_\sharp(\G)$ has a contractive bounded approximate identity.
20 pages
Cited by in corpus (6)
- The Haagerup property for locally compact quantum groups
- Around Property (T) for quantum groups
- Admissibility Conjecture and Kazhdan's Property (T) for quantum groups
- Induction for locally compact quantum groups revisited
- On positive definiteness over locally compact quantum groups
- One-parameter isometry groups and inclusions between operator algebras