A concise introduction to the techniques used to prove the Baum-Connes conjecture. The Baum-Connes conjecture predicts that the K-homology of the reduced C^*-algebra of a group can be computed as the equivariant K-homology of the classifying space for proper actions. The approach is expository, but it contains proofs of many basic results on topological K-homology and the K-theory of C^*-algebras. It features a detailed introduction to Bredon homology for infinite groups, with applications to K-homology. It also contains a detailed discussion of naturality questions concerning the assembly map, a topic not well documented in the literature. The book is aimed at advanced graduate students and researchers in the area, leading to current research problems.

Algebraic K-theory encodes important invariants for several mathematical disciplines, spanning from geometric topology and functional analysis to number theory and algebraic geometry. As is commonly encountered, this powerful mathematical object is very hard to calculate. Apart from Quillen's calculations of finite fields and Suslin's calculation of algebraically closed fields, few complete calculations were available before the discovery of homological invariants offered by motivic cohomology and topological cyclic homology. This book covers the connection between algebraic K-theory and Bökstedt, Hsiang and Madsen's topological cyclic homology and proves that the difference between the theories are ‘locally constant’. The usefulness of this theorem stems from being more accessible for calculations than K-theory, and hence a single calculation of K-theory can be used with homological calculations to obtain a host of ‘nearby’ calculations in K-theory. For instance, Quillen's calculation of the K-theory of finite fields gives rise to Hesselholt and Madsen's calculations for local fields, and Voevodsky's calculations for the integers give insight into the diffeomorphisms of manifolds. In addition to the proof of the full integral version of the local correspondence between K-theory and topological cyclic homology, the book provides an introduction to the necessary background in algebraic K-theory and highly structured homotopy theory; collecting all necessary tools into one common framework. It relies on simplicial techniques, and contains an appendix summarizing the methods widely used in the field. The book is intended for graduate students and scientists interested in algebraic K-theory, and presupposes a basic knowledge of algebraic topology.

This book is intended as an overview of a research area that combines geometries for groups (such as Tits buildings and generalizations), topological aspects of simplicial complexes from $p$-subgroups of a group (in the spirit of Brown, Quillen, and Webb), and combinatorics of partially ordered sets. The material is intended to serve as an advanced graduate-level text and partly as a general reference on the research area. The treatment offers optional tracks for the reader interested in buildings, geometries for sporadic simple groups, and $G$-equivariant equivalences and homology for subgroup complexes.

Reprint of the original, first published in 1839.