×

K-theory for certain group \(C^*\)-algebras. (English) Zbl 0542.46031

The use of K-theoretic techniques in \(C^*\)-algebras has led to the solution of several outstanding problems, among them the conjecture of R. V. Kadison that \(C^*_ r(F_ n)\), the reduced \(C^*\)-algebra of the free group on n generators (\(n\geq 2)\), has no nontrivial projections. This was resolved affirmatively by M. V. Pimsner and D. Voiculescu [J. Oper. Theory 8, 131-156 (1982)] as a corollary to a remarkable theorem which describes the K-groups for any reduce crossed product of a \(C^*\)-algebra by an action of a free group.
This paper originated in the author’s attempt to understand the work of Pimsner and Voiculescu, and in particular to see whether their methods could be used to give a simpler proof than \(K_ 0(C^*_ r(F_ n))=Z.\) By slightly adapting their approach, we are able to give a description of \(K_*(C^*_ r(\Gamma)\) for any group \(\Gamma\) which is a free product of countable amenable groups. Since this work was done there have been further significant developments in this area. J. Cuntz [J. Reine Angew. Math. 344, 180-195 (1983; Zbl 0511.46066)] has used the machinery of Kasparov’s KK-theory to give a neat computation of the K-groups for the reduced \(C^*\)-algebras of a class of groups apparently more general than that considered in this paper. In two further papers [Lecture Notes in Math. 1031, 31-45 (1983); “K-theory and \(C^*\)-algebras”, to appear in Proc. of K-theory Conf. Bielefeld 1982] he has shown how KK-theory can be developed using what in this paper are called difference maps as the basic elements of the theory. In fact, the difference maps constructed in this paper furnish some instructive examples of elements of certain KK-groups and may be usefully contemplated by anyone wishing to learn KK-theory.

MSC:

46L05 General theory of \(C^*\)-algebras
46M20 Methods of algebraic topology in functional analysis (cohomology, sheaf and bundle theory, etc.)
22D25 \(C^*\)-algebras and \(W^*\)-algebras in relation to group representations
46L55 Noncommutative dynamical systems

Citations:

Zbl 0511.46066
Full Text: DOI

References:

[1] Arveson, W. B., Notes on extensions ofC *-algebras.Duke Math. J., 44 (1977), 329–355. · Zbl 0368.46052 · doi:10.1215/S0012-7094-77-04414-3
[2] Cuntz, J., TheK-groups for free products ofC *-algebras.Proc. Sympos. Pure Math., vol. 38 Part I, Amer. Math. Soc., Providence (1982), 81–84.
[3] Dixmier, J.,Les C *-algèbres et leurs representations. Gauthier-Vilalrs, Paris, 1964. · Zbl 0152.32902
[4] Greenleaf, F. P.,Invariant means on topological groups. Van Nostrand-Reinhold, New York, 1969. · Zbl 0174.19001
[5] Kazhdan, D. A., Connection of the dual space of a group with the structure of its closed subgroups,Functional Anal. Appl., 1 (1967), 63–65. · Zbl 0168.27602 · doi:10.1007/BF01075866
[6] Pimsner, M. V. &Voiculescu, D.,K-groups of reduced crossed products by free groups.J. Operator Theory, 8 (1982), 131–156. · Zbl 0533.46045
[7] Rosenberg, J. M., GroupC *-algebras and topological invariants, inProc. Conf. on Operator Algebras and Group Representations (Neptun, Romania, 1980), Pitman, London, To appear.
[8] –, Homological invariants of extensions ofC *-algebras.Proc. Sympos. Pure Math., vol. 38 Part I, Amer. Math. Soc., Providence (1982), 35–75.
[9] –, The role ofK-theory in non-commutative algebraic topology.Contemp. Math. 10, Amer. Math. Soc., Providence (1982), 155–182. · Zbl 0486.46052
[10] Takesaki, M.,Theory of operator algebras I. Springer, Berlin, 1979. · Zbl 0436.46043
[11] Voiculescu, D., A non-commutative Weyl-von Neumann theorem.Rev. Roumaine Math. Pures Appl., 21 (1976), 97–113. · Zbl 0335.46039
This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. In some cases that data have been complemented/enhanced by data from zbMATH Open. This attempts to reflect the references listed in the original paper as accurately as possible without claiming completeness or a perfect matching.