We give a survey of the meaning, status and applications of the Baum-Connes Conjecture about the topological K-theory of the reduced group C^*-algebra and the Farrell-Jones Conjecture about the algebraic K- and L-theory of the group ring of a (discrete) group G.
These extended notes are based on a series of six lectures presented at the summer school ``Cohomology of groups and algebraic $K$-theory'' which took place in Hangzhou, China from July 1 until July 12 in 2007. They give an introduction to the Farrell-Jones and the Baum-Connes Conjecture.
We investigate when Isomorphism Conjectures, such as the ones due to Baum-Connes, Bost and Farrell-Jones, are stable under colimits of groups over directed sets (with not necessarily injective structure maps). We show in particular that both the K-theoretic Farrell-Jones Conjecture and the Bost Conjecture with coefficients hold for those groups for which Higson, Lafforgue and Skandalis have disproved the Baum-Connes Conjecture with coefficients.
We prove the K- and the $L$-theoretic Farrell-Jones conjecture with coefficients in additive categories and with finite wreath products for arbitrary lattices in virtually connected Lie groups.
For a countable discrete group $G$, we construct a new and concrete model for the equivariant topological $K$-homology theory of $G$, which is defined for all $G$-actions, not just for proper $G$-actions. The construction of our model combines some of the ideas from the localization algebra approach to the coarse Baum-Connes conjecture and the controlled algebra approach to the Farrell-Jones conjecture. It brings new ideas into the study of the Baum-Connes conjecture. First, as the model is defined for all $G$-actions, we are able to define relative assembly maps. We prove, by using an inducti…
We develop an Eilenberg-Moore spectral sequence to compute Bredon cohomology of spaces with an action of a group given as a pullback. Using several other spectral sequences, and positive results on the Baum-Connes Conjecture, we are able to compute Equivariant K-theory and K-Homology of the reduced group C*-algebra of a 6-dimensional crystallographic group $Γ$ introduced by Vafa and Witten. We also use positive results on the Farrell-Jones Conjecture to give a vanishing result for the negative algebraic K-theory of the integral group ring of $Γ$.
We redefine the Baum-Connes assembly map using simplicial approximation in the equivariant Kasparov category. This new interpretation is ideal for studying functorial properties and gives analogues of the assembly maps for all equivariant homology theories, not just for the K-theory of the crossed product. We extend many of the known techniques for proving the Baum-Connes conjecture to this more general setting.
We show that the image of Connes-Karoubi-Chern character, restricted to the image of the Baum-Connes assembly map in the Bott-periodized topological K-theory of the complex group algebra, lies in the elliptic summand of the (periodic) cyclic homology of the group algebra. This implies that for any (weighted) ell-1 completion of the group algebra, rational surjectivity of the Baum-Connes assembly map implies the generalized Bass conjecture for that algebra.
In this note, we exhibit a method to prove the Baum-Connes conjecture (with coefficients) for extensions with finite quotients of certain groups which already satisfy the Baum-Connes conjecture. Interesting examples to which this method applies are torsion-free finite extensions of the pure braid groups, e.g. the full braid groups, or certain fundamental groups of complements of links in S^3.
Let $G$ denote a countable inverse semigroup. We construct a kind of a Baum--Connes map $K(\tilde A \rtimes G) \rightarrow K(A \rtimes G)$ by a categorial approach via localization of triangulated categories, developed by R. Meyer and R. Nest for groups $G$. We allow the coefficient algebras $A$ to be in a special class of algebras called fibered $G$-algebras. This note continues and fixes our preprint "Attempts to define a Baum--Connes map via localization of categories for inverse semigroups".
We document some versions, in real K-theory, of well-known properties of the coarse assembly map in complex K-theory. These results are well-known, but difficult to find in the literature.
The main purpose of this paper is to modify the orbit method for the Baum-Connes conjecture as developed by Chabert, Echterhoff and Nest in their proof of the Connes-Kasparov conjecture for almost connected groups \cite{MR2010742} in order to deal with linear algebraic groups over local function fields (i.e., non-archimedean local fields of positive characteristic). As a consequence, we verify the Baum-Connes conjecture for certain Levi-decomposable linear algebraic groups over local function fields. One of these is the Jacobi group, which is the semidirect product of the symplectic group and …
The equivariant coarse Baum-Connes conjecture interpolates between the Baum-Connes conjecture for a discrete group and the coarse Baum-Connes conjecture for a proper metric space. In this paper, we study this conjecture under certain assumptions. More precisely, assume that a countable discrete group $Γ$ acts properly and isometrically on a discrete metric space $X$ with bounded geometry, not necessarily cocompact. We show that if the quotient space $X/Γ$ admits a coarse embedding into Hilbert space and $Γ$ is amenable, and that the $Γ$-orbits in $X$ are uniformly equivariantly coarsely equiva…
Using a combination of Atiyah-Segal ideas on one side and of Connes and Baum-Connes ideas on the other, we prove that the Twisted geometric K-homology groups of a Lie groupoid have an external multiplicative structure extending hence the external product structures for proper cases considered by Adem-Ruan in [1] or by Tu,Xu and Laurent-Gengoux in [24]. These Twisted geometric K-homology groups are the left hand sides of the twisted geometric Baum-Connes assembly maps recently constructed in [9] and hence one can transfer the multiplicative structure via the Baum-Connes map to the Twisted K-the…
Every hyperbolic group acts continuously on its Gromov boundary. One can form the corresponding cross-product C*-algebra A. We show that there always exists a canonical Poincare duality map from the K-theory of A to the K-homology of A. We show that this map is an isomorphism when the group in question is the free group on two generators. There is a direct connection between our constructions and the Baum-Connes Conjecture, and we use the latter to deduce our result.
We construct a Dirac morphism and prove that if this Dirac morphism is invertible, then the isomorphism conjecture for non-connective algebraic K-theory holds true.
We prove the Baum--Connes conjecture with arbitrary coefficients for some classes of groups: (1) Linear algebraic groups over a non-archimedean local field. (2) Linear algebraic groups over the adeles of a global field k, provided that at every archimedean place of k the associated Lie group is amenable. (3) All closed subgroups of the above groups. This includes linear algebraic groups over global fields - with the same condition as in (2). Update: proof of main results incomplete, maybe not repairable.
We consider singular foliations whose holonomy groupoid may be nicely decomposed using Lie groupoids (of unequal dimension). We show that the Baum-Connes conjecture can be formulated in this setting. This conjecture is shown to hold under assumptions of amenability. We examine several examples that can be described in this way and make explicit computations of their K-theory.
The Farrell-Jones and the Baum-Connes Conjecture say that one can compute the algebraic K- and L-theory of the group ring and the topological K-theory of the reduced group C^*-algebra of a group G in terms of these functors for the virtually cyclic subgroups or the finite subgroups of G. By induction theory we want to reduce these families of subgroups to a smaller family, for instance to the family of subgroups which are either finite hyperelementary or extensions of finite hyperelementary groups with infinite cyclic kernel or to the family of finite cyclic subgroups. Roughly speaking, we ext…
We prove that the coarse assembly maps for proper metric spaces which are non-positively curved in the sense of Busemann are isomorphisms, where we do not assume that the spaces are with bounded coarse geometry. Also it is shown that we can calculate the coarse K-homology and the K-theory of the Roe algebra by using the visual boundaries.
Meyer and Nest showed that the Baum--Connes map is equivalent to a map on $K$-theory of two different crossed products. This approach is strongly categorial in method since its bases is to regard Kasparov's theory $KK^G$ as a triangulated category. We have tried to translate this approach to the realm of inverse semigroup equivariant $C^*$-algebras but can prove the existence of a Baum--Connes map only under some unverified additional assumptions which we however strongly motivate. Some of our results may be of independent interest, for example Bott periodicity, the definition of induction fun…
We prove the Farrell-Jones Conjecture for (non-connective) $A$-theory with coefficients and finite wreath products for hyperbolic groups, CAT(0)-groups, cocompact lattices in almost connected Lie groups and fundamental groups of manifolds of dimension less or equal to three. Moreover, we prove inheritance properties such as passing to subgroups, colimits of direct systems of groups, finite direct products and finite free products. These results hold also for Whitehead spectra and spectra of stable pseudo-isotopies in the topological, piecewise linear and smooth category.
This is a survey on Kasparov's bivariant $KK$-theory in connection with the Baum-Connes conjecture on the $K$-theory of crossed products $A\rtimes_rG$ by actions of a locally compact group $G$ on a C*-algebra $A$. In particular we shall discuss Kasparov's Dirac dual-Dirac method as well as the permanence properties of the conjecture and the "Going-Down principle" for the left hand side of the conjecture, which often allows to reduce $K$-theory computations for $A\rtimes_rG$ to computations for crossed products by compact subgroups of $G$. We give several applications for this principle includi…
We prove the A-theoretic Farrell-Jones Conjecture for virtually solvable groups. As a corollary, we obtain that the conjecture holds for S-arithmetic groups and lattices in almost connected Lie groups.
In this work, the continuously controlled techniques developed by Carlsson and Pedersen are used to prove that the Baum-Connes map is a split injection for groups satisfying certain geometric conditions.
We define and compare two bivariant generalizations of the topological $K$-group $K^\top(G)$ for a topological group $G$. We consider the Baum-Connes conjecture in this context and study its relation to the usual Baum-Connes conjecture.
In this article we give a characterisation of the Baum-Connes assembly map with coefficients. The technical tools needed are the K-theory of C*-categories, and equivariant KK-theory in the world of groupoids.
We establish the Hasse principle (local-global principle) in the context of the Baum-Connes conjecture with coefficients. We illustrate this principle with the discrete group $GL(2,F)$ where $F$ is any global field.
We present a geometric approach to the Baum-Connes conjecture with coefficients for Gromov monster groups via a theorem of Khoskham and Skandalis. Secondly, we use recent results concerning the a-T-menability at infinity of large girth expanders to exhibit a family of coefficients for a Gromov monster group for which the Baum-Connes conjecture is an isomorphism.
We study a group which is hyperbolic relative to a finite family of infinite subgroups. We show that the group satisfies the coarse Baum-Connes conjecture if each subgroup belonging to the family satisfies the coarse Baum-Connes conjecture and admits a finite universal space for proper actions. Especially, the group satisfies the analytic Novikov conjecture.
Given a (not necessarily discrete) proper metric space $M$ with bounded geometry, we define a groupoid $G(M)$. We show that the coarse Baum--Connes conjecture with coefficients, which states that the assembly map with coefficients for G(M) is an isomorphism, is hereditary by taking closed subspaces.
We show that the Baum-Connes morphism twisted by a non-unitary representation, defined in [GA08], is an isomorphism for a large class of groups satisfying the Baum-Connes conjecture. Such class contains all the real semi-simple Lie groups, all hyperbolic groups and many infinite discret groups having Kazhdan's property (T). We define a tensorisation by a non-unitary finite dimensional representation on the left handside of the Baum-Connes morphism and we show that its analogue in K-theory must be defined on the K-theory of the twisted group algebras introduced in [GA07b].
We review the formulation and proof of the Baum-Connes conjecture for the dual of the quantum group $ SU_q(2) $ of Woronowicz. As an illustration of this result we determine the $ K $-groups of quantum automorphism groups of simple matrix algebras.
The Baum-Connes map for finitely generated free abelian groups is a K-theoretic analogue of the Fourier-Mukai transform from algebraic geometry. We describe this K-theoretic transform in the language of topological correspondences, and compute its action on K-theory (of tori) described geometrically in terms of Baum-Douglas cocycles, showing that the Fourier-Mukai transform maps the class of a subtorus to the class of a suitably defined dual torus. We deduce the Fourier-Mukai inversion formula. We use these results to give a purely geometric description of the Baum-Connes assembly map for free…
We introduce a new method for studying the Baum-Connes conjecture, which we call the direct splitting method. The method can simplify and clarify proofs of some of the known cases of the conjecture. In a separate paper, with J. Brodzki, E. Guentner and N. Higson, a similar idea will be used to give a finite-dimensional proof of the Baum-Connes conjecture for groups which act properly and co-compactly on a finite-dimensional CAT(0)-cubical space.
We establish a coarse version of the Cartan-Hadamard theorem, which states that proper coarsely convex spaces are coarsely homotopy equivalent to the open cones of their ideal boundaries. As an application, we show that such spaces satisfy the coarse Baum-Connes conjecture. Combined with the result of Osajda-Przytycki, it implies that systolic groups and locally finite systolic complexes satisfy the coarse Baum-Connes conjecture.
In this paper, we verify the $L^p$ coarse Baum-Connes conjecture for spaces with finite asymptotic dimension for $p\in[1,\infty)$. We also show that the $K$-theory of $L^p$ Roe algebras are independent of $p\in(1,\infty)$ for spaces with finite asymptotic dimension.
Let G be a locally compact group and rho a non-unitary finite dimensional representation of G. We consider tensor products of rho by some unitary representations of G in order to define two Banach algebras analogous to the group C*-algebras, C*(G) and C*_r(G). We calculate the K-theory of such algebras for a large class of groups satisfying the Baum-Connes conjecture.
The Baum-Connes conjecture predicts that a certain assembly map is an isomorphism. We identify the homotopy theoretical construction of the assembly map by Davis and Lück with the category theoretical construction by Meyer and Nest. This extends the result of Hambleton and Pedersen to arbitrary coefficients. Our approach uses abstract properties rather than explicit constructions and is formally similar to Meyer's and Nest's identification of their assembly map with the original construction of the assembly map by Baum, Connes and Higson.
We construct a Baum--Connes assembly map localised at the unit element of a discrete group $Γ$. This morphism, called $μ_τ$, is defined in $KK$-theory with coefficients in $\mathbb{R}$ by means of the action of the projection $[τ]\in KK_{\mathbb{R}}^Γ(\mathbb{C},\mathbb{C})$ canonically associated to the group trace of $Γ$. We show that the corresponding $τ$-Baum--Connes conjecture is weaker then the classical one but still implies the strong Novikov conjecture. The right hand side of $μ_τ$ is functorial with respect to the group $Γ$.
In this note we set a configuration space description of the equivariant connective K-homology groups with coefficients in a unital C*-algebra for proper actions. Over this model we define a connective assembly map and prove that in this setting is possible to recover the analytic assembly map.
We study a Going-Down (or restriction) principle for ample groupoids and its applications. The Going-Down principle for locally compact groups was developed by Chabert, Echterhoff and Oyono-Oyono and allows to study certain functors, that arise in the context of the topological K-theory of a locally compact group, in terms of their restrictions to compact subgroups. We extend this principle to the class of ample Hausdorff groupoids using Le Gall's groupoid equivariant version of Kasparov's bivariant KK-theory. Moreover, we provide an application to the Baum-Connes conjecture for ample groupoid…
We prove the $K$-theoretic Farrell-Jones conjecture for groups as in the title with coefficient rings and $C^*$-algebras which are stable with respect to compact operators. We use this and Higson-Kasparov's result that the Baum-Connes conjecture with coefficients holds for such groups, to show that if $G$ is as in the title then the algebraic and the $C^*$-crossed products of $G$ with a stable $C^*$-algebra have the same $K$-theory.
Alternative titles of this paper would have been `Index theory without index' or `The Baum-Connes conjecture without Baum.' In 1989, Rieffel introduced an analytic version of deformation quantization based on the use of continuous fields of C*-algebras. We review how a wide variety of examples of such quantizations can be understood on the basis of a single lemma involving amenable groupoids. These include Weyl-Moyal quantization on manifolds, C*-algebras of Lie groups and Lie groupoids, and the E-theoretic version of the Baum-Connes conjecture for smooth groupoids as described by Connes in hi…
In this paper we construct a bivariant Chern character for the equivariant KK-theory of a totally disconnected group with values in bivariant equivariant cohomology in the sense of Baum and Schneider. We prove in particular that the complexified left hand side of the Baum-Connes conjecture for a totally disconnected group is isomorphic to cosheaf homology. Moreover, it is shown that our transformation extends the Chern character defined by Baum and Schneider for profinite groups.
We show that the real Baum-Connes conjecture for abelian groups, possibly twisted by a cocycle, explains the isomorphisms of (twisted) KR-groups that underlie all T-dualities of torus orientifold string theories.
We introduce the notion of proper Kasparov cycles for Kasparov's G-equivariant KK-theory for a general locally compact, second countable topological group G. We show that for any proper Kasparov cycle, its induced map on K-theory factors through the left-hand side of the Baum-Connes conjecture. This allows us to upgrade the direct splitting method, a recent new approach to the Baum-Connes conjecture which, in contrast to the standard gamma element method (the Dirac dual-Dirac method), avoids the need of constructing proper algebras and the Dirac and the dual-Dirac elements. We introduce the no…
We consider the equivariant K-theory of a real semisimple Lie group which acts on the (complex) flag variety of its complexification group. We construct an assemble map in the framework of KK-theory and then we prove that it is an isomorphism. The prove relies on a careful study of the orbits of the real group action on the flag variety and then piecing together different orbits. This result is a special case of the Baum-Connes conjecture with coefficients.
In this paper we consider the Baum-Connes correspondence for the affine and extended affine Weyl groups of a compact connected semisimple Lie group. We show that the Baum-Connes correspondence in this context arises from Langlands duality for the Lie group.
In this article we prove that the $KH$-asembly map, as defined by Bartels and L{ü}ck, can be described in terms of the algebraic $KK$-theory of Cortinas and Thom. The $KK$-theory description of the $KH$-assembly map is similar to that of the Baum-Connes assembly map. In very elementary cases, methods used to prove the Baum-Connes conjecture also apply to the $KH$-isomorphism conjecture.