Conjugacy classes and reduced group $C^*$-algebra of an amenable group - MathOverflow most recent 30 from http://mathoverflow.net 2013-05-22T09:58:54Z http://mathoverflow.net/feeds/question/34909 http://www.creativecommons.org/licenses/by-nc/2.5/rdf http://mathoverflow.net/questions/34909/conjugacy-classes-and-reduced-group-c-algebra-of-an-amenable-group Conjugacy classes and reduced group $C^*$-algebra of an amenable group Andreas Thom 2010-08-08T09:30:08Z 2013-02-18T22:16:01Z <p>The reduced $C^*$-algebra of a non-abelian free group $G$ has a unique trace. Hence, there is no chance to separate conjugacy classes of group elements using traces on $C^\star_{red} G$. On the other side, for the group ${\mathbb Z}$, separation is clearly possible.</p> <blockquote> <p><strong>Question:</strong> Let $G$ be an amenable group. Does the reduced group $C^\star$-algebra of $G$ support sufficiently many traces to distinguish between conjugacy classes of group elements?</p> </blockquote> <p><strong>EDIT:</strong> The question seems already interesting for $S_{\infty} = \cup_n S_n$. Let's get explicit and pick $g \in S_n$ (for some $n$) and consider the canonical trace $\tau_{g,n}$ which sends every conjugate of $g$ to $1$ and all other elements to zero. (This can be done for any $n' \geq n$ since $S_n \subset S_{n'}$.) The function $\tau_{g,n} \colon {\mathbb C}S_n \to {\mathbb C}$ is a conjugation invariant function and hence, it must be a linear combination of the normalized traces of irreducible representations of $S_n$. </p> <blockquote> <p><strong>Question:</strong> What is the sum of the absolute values of the coefficients that come up in this linear combination of traces? </p> </blockquote> <p>This is (as one can check) the norm of $\tau_{g,n}$, call it $c(g,n)$. So, we see that the compatible family of maps $\tau_{g,n}$ extends from ${\mathbb C}S_{\infty}$ to $C^* S_{\infty}$ if and only if $c(g,n)$ remains bounded.</p> http://mathoverflow.net/questions/34909/conjugacy-classes-and-reduced-group-c-algebra-of-an-amenable-group/40206#40206 Answer by Mathias Fuchs for Conjugacy classes and reduced group $C^*$-algebra of an amenable group Mathias Fuchs 2010-09-27T20:33:34Z 2010-09-28T09:46:57Z <p>Hello! When the group is amenable, the reduced $C^\ast$-algebra coincides with the full one, so there is the augmentation homomorphism associated to the trivial representation. One can restrict it to the closure of the linear subspace spanned by the elements of an arbitrary conjugacy class, and set it zero on the other conjugacy classes. This only decreases the norm, so the result is a continuous trace which detects the given conjugacy class. Best, Mathias</p> http://mathoverflow.net/questions/34909/conjugacy-classes-and-reduced-group-c-algebra-of-an-amenable-group/64157#64157 Answer by Alain Valette for Conjugacy classes and reduced group $C^*$-algebra of an amenable group Alain Valette 2011-05-06T20:48:27Z 2011-05-06T20:48:27Z <p>A group $G$ is conjugacy separable if every two elements which are not conjugate in $G$, remain non conjugate in some finite quotient of $G$. Since characters of a finite group separate conjugacy classes, we see that if $G$ is amenable and conjugacy separable, then $C^*(G)$ has enough traces to separate conjugacy classes in $G$.</p> <p>It is known that polycyclic-by-finite groups are conjugacy separable.</p> http://mathoverflow.net/questions/34909/conjugacy-classes-and-reduced-group-c-algebra-of-an-amenable-group/122181#122181 Answer by Andreas Thom for Conjugacy classes and reduced group $C^*$-algebra of an amenable group Andreas Thom 2013-02-18T15:24:03Z 2013-02-18T22:16:01Z <p>There is an easy example, namely $SL_3(F)$ where $F$ is the algebraic closure of some finite field. This group does not admit non-trivial characters (a result of Kirillov) and is locally finite, hence amenable. This gives a negative answer to the first question.</p> <p>Sorry, I deleted my previous answer since it contained a mistake.</p>