When are certain group C*-algebras exact? - MathOverflow most recent 30 from http://mathoverflow.net 2013-05-19T22:55:42Z http://mathoverflow.net/feeds/question/60343 http://www.creativecommons.org/licenses/by-nc/2.5/rdf http://mathoverflow.net/questions/60343/when-are-certain-group-c-algebras-exact When are certain group C*-algebras exact? Yemon Choi 2011-04-02T03:32:42Z 2012-10-24T14:19:33Z <p>This is somewhere between a "reference request" and "ask an expert", but I hope it is not too trivial or off-topic.</p> <p>Anyway. There has been a lot of attention given to showing that for certain discrete groups $G$, the reduced group <code>C*</code>-algebra $C_r^*(G)$ is an exact <code>C*</code>-algebra in the sense of Kirchberg/Wassermann. For something I am working on, I want to consider certain classes of nondiscrete groups. (I am actually thinking of the case where the group von Neumann algebra is finite, but it's not clear to me how much that helps.)</p> <p>This leads me to my question: does anyone know of results for when either of the following group <code>C*</code>-algebras are exact?</p> <p>1) $C_r^*(G)$ where G is not discrete . If $G$ is amenable or connected then this algebra will be nuclear, hence in particular exact.</p> <p>2) $C_d^*(G)$, which is defined to be the norm-closed subalgebra of ${\mathcal B}(L^2(G))$ generated by all left translation operators $\lambda_t$, with $\lambda_t(\xi)(s) = \int_G \xi(t^{-1}s)\,ds$.</p> <p>The second case would be of most interest to me right now (the problem is that for the groups I am interested in, $C^*(G_d)$ is too big to be exact, as $G_d$ will contain a nonabelian free subgroup).</p> <p>I suspect that I am simply not looking in the right places or at the right parts of the standard literature, so a pointer to the right places would be enough.</p> <hr> <p><strong>Update October 2012:</strong> In a partial vindication for the old-school way of doing things, involving not this new-fangled InterWeb2.0 stuff but "giving a conference talk and raising a question": I have been informed by Narutaka Ozawa that for many examples of compact non-abelian connected Lie groups $G$, the algebra denoted above by $C^*_d(G)$ fails to be exact. In cases such as $SO(n)$ for $n$ large enough this follows from the existence of dense subgroups that have Property (T) as discrete groups; in the case $G=SU(2)$ one needs some spectral gap results that have been recently been obtained in hard work of Bourgain--Gamburd.</p> <p>(I am going from memory of our conversation here, so if anything in the above is faulty, then it is almost surely a mistake on my part and not on Ozawa's.)</p> http://mathoverflow.net/questions/60343/when-are-certain-group-c-algebras-exact/63037#63037 Answer by Alain Valette for When are certain group C*-algebras exact? Alain Valette 2011-04-26T14:20:26Z 2011-04-26T14:20:26Z <p>This might not be directly relevant, but it is known that $C^*_d(G)$ is nuclear if and only if $G_d$ is amenable: see Theorem 3 in Erik Bedos, ON THE C*-ALGEBRA GENERATED BY THE LEFT REGULAR REPRESENTATION OF A LOCALLY COMPACT GROUP, Proceedings of the American Mathematical Society, Vol. 120, No. 2 (Feb., 1994), pp. 603-608. The references in that paper might be interesting too.</p>