Table of Contents
Fetching ...

Admissible Higson-Roe sequences for transformation groupoids

Moulay-Tahar Benameur, Victor Moulard

TL;DR

This work constructs a universal analytic six-term Higson–Roe sequence for transformation groupoids ${\mathcal G}=X\rtimes\Gamma$, valid for any admissible crossed-product completion and for metrizable finite-dimensional compact $\Gamma$-spaces $X$. It develops dual Roe algebras via a generalized Connes–Skandalis Hilbert module, proves independence of the $K$-theory of these algebras from the chosen representation, and establishes Paschke–Higson dualities that identify boundary maps with Baum–Connes assembly maps. By assembling these constructions across all proper cocompact $\Gamma$-spaces $Z\subset {\underline E}\Gamma$ and passing to inductive limits, the paper defines universal structure groups ${\mathcal S}_i(\Gamma,X)$ and yields a universal six-term sequence that specializes to the classical maximal and reduced Higson–Roe sequences and to the rectified BC framework when the crossed product is the BGW minimal exact Morita compatible version. The results provide a flexible framework to study rigidity phenomena for rho-invariants, connecting $K$-theory of dual Roe algebras, assembly maps, and structure groups in a way that adapts to the chosen crossed-product completion. These constructions pave the way for new rigidity results for group actions with rectified BC assembly maps and for potential extensions to broader transformation groupoids.

Abstract

Given a finitely generated discrete group Γ, we construct for any admissible crossed product completion and for any metrizable finite dimensional compact Γ-space X, a universal Higson-Roe six-term exact sequence for the transformation groupoid X\rtimes Γ. In particular, we generalize the maximal Higson- Roe sequence to such groupoids. In the case where the groupoid X\rtimes Γ satisfies the rectified Baum-Connes conjecture, this yields some rigidity consequences.

Admissible Higson-Roe sequences for transformation groupoids

TL;DR

This work constructs a universal analytic six-term Higson–Roe sequence for transformation groupoids , valid for any admissible crossed-product completion and for metrizable finite-dimensional compact -spaces . It develops dual Roe algebras via a generalized Connes–Skandalis Hilbert module, proves independence of the -theory of these algebras from the chosen representation, and establishes Paschke–Higson dualities that identify boundary maps with Baum–Connes assembly maps. By assembling these constructions across all proper cocompact -spaces and passing to inductive limits, the paper defines universal structure groups and yields a universal six-term sequence that specializes to the classical maximal and reduced Higson–Roe sequences and to the rectified BC framework when the crossed product is the BGW minimal exact Morita compatible version. The results provide a flexible framework to study rigidity phenomena for rho-invariants, connecting -theory of dual Roe algebras, assembly maps, and structure groups in a way that adapts to the chosen crossed-product completion. These constructions pave the way for new rigidity results for group actions with rectified BC assembly maps and for potential extensions to broader transformation groupoids.

Abstract

Given a finitely generated discrete group Γ, we construct for any admissible crossed product completion and for any metrizable finite dimensional compact Γ-space X, a universal Higson-Roe six-term exact sequence for the transformation groupoid X\rtimes Γ. In particular, we generalize the maximal Higson- Roe sequence to such groupoids. In the case where the groupoid X\rtimes Γ satisfies the rectified Baum-Connes conjecture, this yields some rigidity consequences.

Paper Structure

This paper contains 13 sections, 26 theorems, 145 equations.

Key Result

Theorem 1

For any metric proper cocompact $\Gamma$-space $Z$, there exists a periodic six-term exact sequence: \xymatrix{ KK^0_{\Gamma} (Z, X) \ar@{->}[r]^{\mu^{\mathcal{G}}_{0, Z}\hspace{0,3cm}}\ar@{<-}[d] & K_0(C(X)\rtimes\Gamma)\ar@{->}[r]& K_0(D^*_\Gamma ({\mathcal{E}}_Z^{\widehat{H}}))\ar@{->}[d]\\ K_1(D

Theorems & Definitions (73)

  • Theorem 1
  • Theorem 2
  • Example 1.1
  • Definition 1.2
  • Lemma 1.3
  • Proposition 1.4
  • proof
  • Remark 1.5
  • Definition 1.6
  • Definition 1.7
  • ...and 63 more