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 K-homology of its classifying space and the analytic K-theory of its C^*-algebra, in close connection with the Baum-Connes assembly map. For groups classified by a 2-complex, this allows to reformulate the Baum-Connes Conjecture.
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…
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 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 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 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.
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 $Γ$.
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 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…
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 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 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 study in this paper the maximal version of the coarse Baum-Connes assembly map for families of expanding graphs arising from residually finite groups. Unlike for the usual Roe algebra, we show that this assembly map is closely related to the (maximal) Baum-Connes assembly map for the group and is an isomorphism for a class of expanders. We also introduce a quantitative Baum-Connes assembly map and discuss its connections to K-theory of (maximal) Roe algebras.
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 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 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 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 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 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.
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 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.
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 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.
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 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…
$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（上海对外经贸大学）
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…
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 …
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 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…
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…
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.
