Dehn fillings, equivariant homology, and the Baum-Connes conjecture

Shintaro Nishikawa; Nansen Petrosyan

Home/Archive/arXiv

arXiv · 2509.15070

Dehn fillings, equivariant homology, and the Baum-Connes conjecture

Shintaro Nishikawa·Nansen Petrosyan

View original source ↗Read source document ↗Export metadata ↓

Abstract

We establish a connection between Cohen-Lyndon triples and equivariant homology theory, with a focus on the Baum-Connes conjecture. In the first part of this work, we establish an excision sequence for the classifying spaces for proper actions in equivariant homology theories. This provides a direct link between Cohen-Lyndon triples and the left-hand side of the Baum-Connes conjecture. Independently of these, we prove that the Baum-Connes conjecture with coefficients (BCC) with finite wreath products holds for all discrete hyperbolic groups, building on the monumental work of Lafforgue. Combining this with permanence properties and the work of Dahmani-Guirardel-Osin on relatively hyperbolic groups, we identify a broad class of groups, including all lattices in simple Lie groups of real rank one that satisfy the BCC with finite wreath products. This significantly broadens the scope of our first result, as Cohen-Lyndon triples arise naturally in the context of relatively hyperbolic groups, thereby connecting both sides of the Baum-Connes conjecture.

Explore related subjects

math.KT math.GR math.OA

Keep this discovery

Explore connections, maps & timelines

BibTeX RIS

Shintaro Nishikawa, Nansen Petrosyan. 2025-10-08. Dehn fillings, equivariant homology, and the Baum-Connes conjecture. https://arxiv.org/abs/2509.15070

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

KEEP EXPLORING

Related papers

arXiv2026

A multiplicative universal property for real algebraic $K$-theory

We prove that the real $K$-theory functor is lax symmetric monoidal. Moreover, it is initial among those real functors $\mathsf{Wald}_\infty^\mathrm{gd}\to\mathsf{Sp}^{C_2}$ that are additive and lax symmetric monoidal.

math.KT↗

arXiv2026

p-curvature in non-commutative Hodge theory and the Kontsevich-Soibelman operad

Let $\mathcal{C}$ be a differential $\mathbb{Z}/2$-graded category over $\mathbb{C}$. Its periodic cyclic homology $HH^{per}_*(\mathcal{C})$, when viewed as a vector bundle over the formal punctured disk, is equipped with a canonical connection $\nabla^{\mathcal{C}}_{\partial_t}$ called the Getzler-Gauss-Manin connection in the $t$-direction (or the categorical $t$-connection). Our main result is that when $\mathcal{C}$ is smooth and proper, this connection has a regular singularity at $t=0$ and quasi-unipotent monodromy, affirming a conjecture of Katzarkov-Kontsevich-Pantev \cite{KKP}. Our proof follows a reduction mod $p$ argument using a spreading out technique of Toën \cite{To} and a regularity criterion of Katz \cite{Ka1}. The main novelty is the proof of a multiplicative property of the $p$-curvature of $\nabla^{\mathcal{C}}_{\partial_t}$ through an interpretation in terms of the two-colored Kontsevich-Soibelman operad. We then explore two applications of the main result. First, we give an explicit description (under additional assumptions) of the non-commutative Hodge filtration on the periodic cyclic homology of a smooth proper d$(\mathbb{Z}/2)$g category, following a construction of Shklyarov \cite{Shk}. The second application, which is special to our particular method or proof, is an upper bound on the sizes of Jordan blocks of the monodromy of $\nabla^{\mathcal{C}}_{\partial_t}$, which simultaneously generalizes Scherk's local monodromy theorem for isolated hypersurface singularities \cite{Sche} and (partially) a recent result of Pomerleano-Seidel on the quantum connection of a closed monotone symplectic manifold \cite{PS2}. As a specialization, we show that the sizes of these Jordan blocks are bounded above by the diagonal dimension of $\mathcal{C}$ plus one.

math.KT↗

arXiv2026

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↗