We prove that if the classical Baum-Connes conjecture in complex K-theory is true (for a given discrete group G), then the conjecture is also true in the real case (for the same group G). The essential ingredients of the proof are the descent theorem in topological K-theory (math.KT/0509396) and a Paschke duality for C*-algebras proved by John Roe (Q.J. Math. 55 (2004) 325-331). According to S. Stolz, this result is linked with the existence of a Riemannian metric of positive scalar curvature on a compact connected spin manifold with G as fundamental group.
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.
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.
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 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.
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.
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 $Γ$.
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 an analogue of the Baum-Connes conjecture for free orthogonal quantum groups. More precisely, we show that these quantum groups have a $ γ$-element and that $ γ= 1 $. It follows that free orthogonal quantum groups are $ K $-amenable. We compute explicitly their $ K $-theory and deduce in the unimodular case that the corresponding reduced $ C^* $-algebras do not contain nontrivial idempotents. Our approach is based on the reformulation of the Baum-Connes conjecture by Meyer and Nest using the language of triangulated categories. An important ingredient is the theory of monoidal equival…
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 introduce a new variant of the coarse Baum-Connes conjecture designed to tackle coarsely disconnected metric spaces called the boundary coarse Baum-Connes conjecture. We prove this conjecture for many coarsely disconnected spaces that are known to be counterexamples to the coarse Baum-Connes conjecture. In particular, we give a geometric proof of this conjecture for spaces of graphs that have large girth and bounded vertex degree. We then connect the boundary conjecture to the coarse Baum-Connes conjecture using homological methods, which allows us to exhibit all the current uniformly discr…
This paper gives a proof of the Baum-Connes conjecture with coefficients for hyperbolic groups. More precisely the injectivity of the Baum-Connes map was established by Kasparov and Skandalis and we prove the surjectivity.
We reformulate the Baum-Connes conjecture with coefficients by introducing a new crossed product functor for C*-algebras. All confirming examples for the original Baum-Connes conjecture remain confirming examples for the reformulated conjecture, and at present there are no known counterexamples to the reformulated conjecture. Moreover, some of the known expander-based counterexamples to the original Baum-Connes conjecture become confirming examples for our reformulated conjecture.
We give a new proof of the Baum--Connes conjecture with coefficients for any second countable, locally compact topological group that acts properly and cocompactly on a finite-dimensional CAT(0)-cubical space with bounded geometry. The proof uses the Julg-Valette complex of a CAT(0)-cubical space introduced by the first three authors, and the direct splitting method in Kasparov theory developed by the last author.
We formulate a version of Baum-Connes' conjecture for a discrete quantum group, building on our earlier work (\cite{GK}). Given such a quantum group $\cla$, we construct a directed family $\{\cle_F \}$ of $C^*$-algebras ($F$ varying over some suitable index set), borrowing the ideas of \cite{cuntz}, such that there is a natural action of $\cla$ on each $\cle_F$ satisfying the assumptions of \cite{GK}, which makes it possible to define the "analytical assembly map", say $μ^{r,F}_i$, $i=0,1,$ as in \cite{GK}, from the $\cla$-equivariant $K$-homolgy groups of $\cle_F$ to the $K$-theory groups of …
We introduce higher-dimensional analogs of Kazhdan projections in matrix algebras over group $C^*$-algebras and Roe algebras. These projections are constructed in the framework of cohomology with coefficients in unitary representations and in certain cases give rise to non-trivial $K$-theory classes. We apply the higher Kazhdan projections to establish a relation between $\ell_2$-Betti numbers of a group and surjectivity of different Baum-Connes type assembly maps.
$L^p$ coarse Baum-Connes conjecture via $C_{0}$ coarse geometry
East China Normal University（华东师范大学）；Sichuan University（四川大学）；Shaanxi Normal University（陕西师范大学）；Shanghai University of International Business and Economics（上海对外经贸大学）
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].
The report below describes the applications of Banach KK-theory to a conjecture of P. Baum and A. Connes about the K-theory of group $C^*$-algebras, and a new proof of the classification by Harish-Chandra, the construction by Parthasarathy and the exhaustion by Atiyah and Schmid of the discrete series representations of connected semi-simple Lie groups.
We associate a non-commutative $C^*$-algebra with any locally finite simplicial complex. We determine the $K$-theory of these algebras and show that they can be used to obtain a conceptual explanation for the Baum-Connes conjecture.
The equivariant coarse Baum-Connes conjecture was firstly introduced by Roe [29] as a unified way to approach both the Baum-Connes conjecture and its coarse counterpart. In this paper, we prove that if an a-T-menable group $Γ$ acts properly and isometrically on a bounded geometry metric space $X$ with controlled distortion such that the quotient space $X/Γ$ is coarsely embeddable, then the equivariant coarse Baum-Connes conjecture holds for this action. This answers a question posed in [8] affirmatively.
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 notion of fibred coarse embedding into Hilbert space for metric spaces, which is a generalization of Gromov's notion of coarse embedding into Hilbert space. It turns out that a large class of expander graphs admit such an embedding. We show that the maximal coarse Baum-Connes conjecture holds for metric spaces with bounded geometry which admit a fibred coarse embedding into Hilbert space.
Using the unbounded picture of analytical K-homology, we associate a well-defined K-homology class to an unbounded symmetric operator satisfying certain mild technical conditions. We also establish an ``addition formula'' for the Dirac operator on the circle and for the Dolbeault operator on closed surfaces. Two proofs are provided, one using topology and the other one, surprisingly involved, sticking to analysis, on the basis of the previous result. As a second application, we construct, in a purely analytical language, various homomorphisms linking the homology of a group in low degree, the …
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.
In this paper, we connect the rigidity problem and the coarse Baum-Connes conjecture for Roe algebras. In particular, we show that if $X$ and $Y$ are two uniformly locally finite metric spaces such that their Roe algebras are $*$-isomorphic, then $X$ and $Y$ are coarsely equivalent provided either $X$ or $Y$ satisfies the coarse Baum-Connes conjecture with coefficients. It is well-known that coarse embeddability into a Hilbert space implies the coarse Baum-Connes conjecture with coefficients. On the other hand, we provide a new example of a finitely generated group satisfying the coarse Baum-C…
We introduce property $(T_{Schur},G,K)$ and prove it for some non-cocompact lattice in $Sp_4$ in a local field of finite characteristic. We show that property $(T_{Schur},G,K)$ for a non-cocompact lattice $Γ$ in a higher rank almost simple algebraic group in a local field is an obstacle to proving the Baum Connes conjecture without coefficient for $Γ$ with known methods, and this is stronger than the well-known fact that $Γ$ does not have the property of rapid decay (property (RD)). It is the first example (as announced in [Laf10a]) for which all known methods for proving the Baum Connes conje…
We study general properties of exotic crossed-product functors and characterise those which extend to functors on equivariant C*-algebra categories based on correspondences. We show that every such functor allows the construction of a descent in KK-theory and we use this to show that all crossed products by correspondence functors of K-amenable groups are KK-equivalent. We also show that for second countable groups the minimal exact Morita compatible crossed-product functor used in the new formulation of the Baum-Connes conjecture by Baum, Guentner and Willett extends to correspondences when r…
The goal of this article is to provide a bridge between the gamma element method for the Baum--Connes conjecture (the Dirac dual-Dirac method) and the controlled algebraic approach of Roe and Yu (localization algebras). For any second countable, locally compact group G, we study the reduced crossed product algebras of the representable localization algebras for proper G-spaces. We show that the naturally defined forget-control map is equivalent to the Baum--Connes assembly map for any locally compact group G and for any coefficient G-C*-algebra B. We describe the gamma element method for the B…
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 develop a generalization of quantitative $K$-theory, which we call controlled $K$-theory. It is powerful enough to study the $K$-theory of crossed product of $C^*$-algebras by action of étale groupoids and discrete quantum groups. In this article, we will use it to study groupoids crossed products. We define controlled assembly maps, which factorize the Baum-Connes assembly maps, and define the controlled Baum-Connes conjecture. We relate the controlled conjecture for groupoids to the classical conjecture, and to the coarse Baum-Connes conjecture. This allows to give applications to Coarse …
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.
We give a decomposition of the equivariant Kasparov category for discrete quantum group with torsions. As an outcome, we show that the crossed product by a discrete quantum group in a certain class preserves the UCT. We then show that quasidiagonality of a reduced C*-algebra of a countable discrete quantum group $Γ$ implies that $Γ$ is amenable, and deduce from the work of Tikuisis, White and Winter, and the results in the first part of the paper, the converse (i.e. the quantum Rosenberg Conjecture) for a large class of countable discrete unimodular quantum groups. We also note that the unimod…
The well known "associativity property" of the crossed product by a semi-direct product of discrete groups is generalized into the context of discrete \emph{quantum} groups. This decomposition allows to define an appropriate triangulated functor relating the Baum-Connes property for the quantum semi-direct product to the Baum-Connes property for the discrete quantum groups involved in the construction. The corresponding stability result for the Baum-Connes property generalizes a result of J. Chabert for a quantum semi-direct product under torsion-freeness assumption. The $K$-amenability connex…
We examine a spectral sequence that is naturally associated with the Baum-Connes Conjecture with coefficients for $\mathbb Z^n$ and also constitutes an instance of Kasparov's construction in his work on equivariant $KK$-theory. For $k\leq n$, we give a partial description of the $k$-th page differential of this spectral sequence, which takes into account the natural $\mathbb Z^k$-subactions. In the special case that the action is trivial in $K$-theory, the associated second page differential is given by a formula involving the second page differentials of the canonical $\mathbb Z^2$-subactions…
The connection between the coarse geometry of metric spaces and analytic properties of topological groupoids is well known. One of the main results of Skandalis, Tu and Yu is that a space admits a coarse embedding into Hilbert space if and only if a certain associated topological groupoid is a-T-menable. This groupoid characterisation then reduces the proof that the coarse Baum-Connes conjecture holds for a coarsely embeddable space to known results for a-T-menable groupoids. The property of admitting a fibred coarse embedding into Hilbert space was introduced by Chen, Wang and Yu to provide a…
