Search arXivSearch

arXiv · 2102.10617

The coarse Baum-Connes conjecture for certain relative expanders

Abstract

Let $\left( 1\to N_m\to G_m\to Q_m\to 1 \right)_{m\in \mathbb{N}}$ be a sequence of extensions of finite groups such that their coarse disjoint unions have bounded geometry. In this paper, we show that if the coarse disjoint unions of $\left( N_m \right)_{m\in \mathbb{N}} $ and $\left( Q_m \right)_{m\in \mathbb{N}} $ are coarsely embeddable into Hilbert space, then the coarse Baum-Connes conjecture holds for the coarse disjoint union of $\left( G_m \right)_{m\in \mathbb{N}}$. As an application, the coarse Baum-Connes conjecture holds for the relative expanders constructed by G. Arzhantseva and R. Tessera, and the special box spaces of free groups discovered by T. Delabie and A. Khukhro, which do not coarsely embed into Hilbert space, yet do not contain a weakly embedded expander. This enlarges the class of metric spaces known to satisfy the coarse Baum-Connes conjecture. In particular, it solves an open problem raised by G. Arzhantseva and R. Tessera on the coarse Baum-Connes conjecture for relative expanders.

Explore related subjects

Keep this discovery

Explore connections, maps & timelines

BibTeXRIS

Jintao Deng, Qin Wang, Guoliang Yu. 2023-04-08. The coarse Baum-Connes conjecture for certain relative expanders. https://arxiv.org/abs/2102.10617

Cite the original work for its findings. Save a collection to share your selection of sources.

KEEP EXPLORING

Related papers

General linear and Steinberg groups over the Leavitt algebra $L_{\mathbb F_2}(1,2)$

Let $R=L_{\F_2}(1,2)$. We prove that $\GL_r(R)$ is integrally acyclic for every $r\geq1$ and that the canonical map $\St_r(R)\to\GL_r(R)$ is an isomorphism for every $r\geq3$. The unit group $R^\times$ is finitely presented, and we describe an explicit finite presentation. The homology calculation uses leaf coordinates, simultaneous extensions of ordered frames, and finite-field actions on stabilizers. The Steinberg argument lifts relations from a simply connected frame complex and refines coordinates. We also state separate criteria for the two arguments over rings of characteristic two.

math.KT

Around Segal conjecture in p-adic geometry

This article records multiple results coming from interplay between de-completed topological periodic cyclic homology, Segal conjecture, and F-smoothness. We establish completeness of motivic filtration on de-completed topological periodic cyclic homology of commutative rings with weakly finitely generated absolute cotangent complex. When the ring in question is in addition F-smooth, we show that Segal conjecture holds for its topological Hochschild homology. We also identify our de-completed topological periodic cyclic homology with Manam's Frobenius untwisted topological periodic cyclic homology for quasiregular semiperfectoid rings. We find a crystalline degeneration of Segal conjecture which corresponds to such a statement for F-smoothness. On the other hand, inspired by constructions for topological Hochschild homology, the theory of cyclotomic synthetic spectra allows us to produce a relative conjugate filtration on Hodge--Tate cohomology and its variants, and in the same time, a relative conjugate filtration on topological Hochschild homology and its variants. As a consequence, we deduce transitivity of weak and strong F-smoothness.

math.KT

Solvability of isotropic $ \mathrm{K}_1 $-functor over semilocal rings

We show that the $ \mathrm{K}_1 $-functor modeled on simple reductive groups over semilocal rings is solvable if the isotropic rank is at least $ 2 $ and that the Tits index is neither $ {}^{2} \mathsf{E}_{6, 2}^{16'} $ nor $ \mathsf{E}_{8, 2}^{78} $. For these two Tits indices the result is already known, but assuming that the base ring contains a field. Our result implies that the elementary subgroup (or its derived subgroup) is the maximal perfect subgroup of the reductive group.

math.KT