Is there a locally compact group $G$ such that the canonical map from $C^{*}(G)$ to $C^{*}_{red} G$ is not isomorphism, hence $G$ is not amenable but these two $C^{*}$ algebras are isomorphic $C^{*}$ algebras via another morphism?
$\begingroup$
$\endgroup$
7
-
1$\begingroup$ It is known that if $C^*(G)$ and $C^*_r(G)$ are isomorphic (through any -isomorphism) then $G$ is amenable (and vice-versa of course). This should be no surprise I think, as C-algebras are quite rigid because of the C*-identity and hence the existence of a unique C*-norm on a C*-algebra. $\endgroup$– Phoenix87Commented Jan 7, 2015 at 16:53
-
1$\begingroup$ @Phoenix87 Can you provide a reference? (Alain Valette has already given a justification.) $\endgroup$– Yemon ChoiCommented Jan 7, 2015 at 18:29
-
2$\begingroup$ @YemonChoi please reread my comment carefully. I've never said they are intuitive, but that it shouldn't be surprising. As for a reference there must be something in Brown-Ozawa (although just for the discrete case), but I can't check as I don't have a copy of it with me right now. There is a mention to this fact at en.wikipedia.org/wiki/…, although there is no reference cited there $\endgroup$– Phoenix87Commented Jan 7, 2015 at 18:51
-
4$\begingroup$ @Phoenix87 I appreciate your point, and I have read your comments, but I think "This should be no surprise I think, as $C^*$-algebras are quite rigid" is not very solid reasoning. I agree that the statement sounds plausible, but many things sound plausible in mathematics without being true. $\endgroup$– Yemon ChoiCommented Jan 7, 2015 at 18:58
-
4$\begingroup$ For the interest of those reading: in general $C_r^*(G)$ does not even "remember" if $G$ is unimodular or not: see, for instance, the remarks on page 190 of J. Rosenberg's paper The $C^*$-algebras of some real and $p$-adic solvable gropups, Pac. J. M. 65 (1976) $\endgroup$– Yemon ChoiCommented Jan 7, 2015 at 20:30
|
Show 2 more comments
1 Answer
$\begingroup$
$\endgroup$
1
If $C^*(G)$ is isomorphic to $C^*_r(G)$, then $C^*_r(G)$ has a 1-dimensional representation, i.e. $G$ has a 1-dimensional representation $\chi$ weakly contained in the regular representation $\lambda_G$. Then $1_G=\chi\otimes\overline{\chi}$ is weakly contained in $\lambda_G\otimes\overline{\lambda_G}\simeq \infty.\lambda_G$, hence $G$ is amenable.
-
$\begingroup$ Prof. Valette thank you very much for your very interesting answer. $\endgroup$ Commented Jan 7, 2015 at 19:49