Controlled Analytic Properties and the Quantitative Baum-Connes Conjecture
Martin Finn-Sell
备注：
There is an argument missing for norm control in the K-theory component - it has been known a while but I have only now gotten to it. The representation theory component remains sound. An update will be worked on, but given the delay in this it might take a while. Please feel free to email me and we can discuss if necessary
We show that the classical Baum-Connes assembly map is quantitatively an isomorphism for a class of lacunary hyperbolic groups, and we explain how to see that this class contains many examples of groups that contain graph sequences of large girth inside their Cayley graphs and therefore do not have property (A). This includes the known counterexamples to the Baum-Connes conjecture with coefficients, as well as many other monster groups that have property (T).
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 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 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.
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 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 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.
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…
We present an alternative approach to the result of Guentner, Higson, and Weinberger concerning the Baum-Connes conjecture for finitely generated subgroups of SL(2,C). Using finite-dimensional methods, we show that the Baum-Connes assembly map for such groups is an isomorphism.
We study the possibility of applying a finite-dimensionality argument in order to address parts of the Baum-Connes conjecture for finitely generated linear groups. This gives an alternative approach to the results of Guentner, Higson, and Weinberger concerning the Baum-Connes conjecture for linear groups. For any finitely generated linear group over a field of characteristic zero we construct a proper action on a finite-asymptotic-dimensional CAT(0)-space, provided that for such a group its unipotent subgroups have `bounded composition rank'. The CAT(0)-space in our construction is a finite pr…
We prove that many Artin groups of large type satisfy the rapid decay property, including all those of extra-large type. For many of these, including all 3-generator groups of extra-large type, a result of Lafforgue applies to show that the groups satisfy the Baum-Connes conjecture without coefficients. Our proof of rapid decay combines elementary analysis with combinatorial techniques, and relies on properties of geodesic words in Artin groups of large type that were observed in an earlier publication by two of the authors of this current article.
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…
An exotic crossed product is a way of associating a C*-algebra to each C*-dynamical system that generalizes the well-known universal and reduced crossed products. Exotic crossed products provide natural generalizations of, and tools to study, exotic group C*-algebras as recently considered by Brown-Guentner and others. They also form an essential part of a recent program to reformulate the Baum-Connes conjecture with coefficients so as to mollify the counterexamples caused by failures of exactness. In this paper, we survey some constructions of exotic group algebras and exotic crossed products…
In this paper, the first of a series of two, we continue the study of higher index theory for expanders. We prove that if a sequence of graphs is an expander and the girth of the graphs tends to infinity, then the coarse Baum-Connes assembly map is injective, but not surjective, for the associated metric space $X$. Expanders with this girth property are a necessary ingredient in the construction of the so-called `Gromov monster' groups that (coarsely) contain expanders in their Cayley graphs. We use this connection to show that the Baum-Connes assembly map with certain coefficients is injectiv…
Given a locally compact group $G$, we study the smallest exact crossed-product functor $(A,G,α)\mapsto A\rtimes_{\mathcal E} G$ on the category of $G$-$C^*$-dynamical systems. As an outcome, we show that the smallest exact crossed-product functor is automatically Morita compatible, and hence coincides with the functor $\rtimes_{\mathcal{E}}$ as introduced by Baum, Guentner, and Willett in their reformulation of the Baum-Connes conjecture (see [2]). We show that the corresponding group algebra $C_{\mathcal{E}}^*(G)$ always coincides with the reduced group algebra, thus showing that the new form…
In this paper, the second of a series of two, we continue the study of higher index theory for expanders. We prove that if a sequence of graphs has girth tending to infinity, then the maximal coarse Baum-Connes assembly map is an isomorphism for the associated metric space $X$. As discussed in the first paper in this series, this has applications to the Baum-Connes conjecture for `Gromov monster' groups. We also introduce a new property, `geometric property (T)'. For the metric space associated to a sequence of graphs, this property is an obstruction to the maximal coarse assembly map being an…
We prove the Haagerup property (= Gromov's a-T-menability) for finitely generated groups defined by infinite presentations satisfying the graphical C'(lambda)-small cancellation condition with respect to graphs endowed with a compatible wall structure. We deduce that these groups are coarsely embeddable into a Hilbert space and that the strong Baum-Connes conjecture and, hence, the Baum-Connes conjecture with arbitrary coefficients hold for them. As the main step we show that C'(lambda)-complexes satisfy the linear separation property. Our result provides many new examples and a general techni…
Consider the wreath product $Γ= F\wr \mathrm{F_n} = \bigoplus_{\mathrm{F_n}}F\rtimes\mathrm{F_n}$, with $F$ a finite group and $\mathrm{F_n}$ the free group on $n$ generators. We study the Baum-Connes conjecture for this group. Our aim is to explicitly describe the Baum-Connes assembly map for $F\wr \mathrm{F_n}$. To this end, we compute the topological and the analytical K-groups and exhibit their generators. Moreover, we present a concrete 2-dimensional model for $\underline{E} Γ$. As a result of our K-theoretic computations, we obtain that $\mathrm K_0(\mathrm C^*_{\mathrm r}(Γ))$ is the fr…
The Atiyah conjecture for a discrete group G states that the $L^2$-Betti numbers of a finite CW-complex with fundamental group G are integers if G is torsion-free and are rational with denominators determined by the finite subgroups of G in general. Here we establish conditions under which the Atiyah conjecture for a group G implies the Atiyah conjecture for every finite extension of G. The most important requirement is that the cohomology $H^*(G,\mathbb{Z}/p)$ is isomorphic to the cohomology of the p-adic completion of G for every prime p. An additional assumption is necessary, e.g. that the …
