arxiv: 2604.25595 · v1 · submitted 2026-04-28 · 🧮 math.KT · math.MG· math.OA

Recognition: unknown

A groupoid approach to the equivariant coarse Baum--Connes conjecture

Liang Guo

Pith reviewed 2026-05-07 13:57 UTC · model grok-4.3

classification 🧮 math.KT math.MGmath.OA

keywords equivariant coarse Baum-Connes conjecturegroupoid Baum-Connes conjecturecoarse groupoidlocalization algebraequivariant KK-theorycoarse embeddingNovikov conjectureassembly map

0 comments

The pith

The equivariant coarse Baum-Connes conjecture for a space with group action equals the groupoid Baum-Connes conjecture for its associated equivariant coarse groupoid.

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

For a metric space X with bounded geometry under a proper free isometric action by a discrete group Γ, the paper constructs an associated equivariant coarse groupoid G(X, Γ). It establishes that the groupoid Baum-Connes conjecture for this groupoid, using coefficients from the invariant compact operators on X, is equivalent to the equivariant coarse Baum-Connes conjecture. The proof relies on expressing equivariant KK-theory via localization algebras for étale groupoids. This equivalence yields that a coarse embedding of X into Hilbert space, even without equivariance, makes the assembly map injective, proving the equivariant coarse Novikov conjecture.

Core claim

We prove that the groupoid Baum--Connes conjecture for G(X, Γ) with coefficients in ℓ^∞(X,𝒦)^Γ is equivalent to the equivariant coarse Baum--Connes conjecture for (X, Γ) using a localization algebra description of equivariant KK^𝒢-theory for étale groupoids. As applications of this framework, if the space X admits a coarse embedding into Hilbert space then the assembly map μ_{X,Γ} is an injection, and if the embedding is equivariant then the full equivariant coarse Baum--Connes conjecture holds.

What carries the argument

The equivariant coarse groupoid G(X, Γ) together with the localization algebra description of equivariant KK^𝒢-theory for étale groupoids.

Load-bearing premise

The space X must have bounded geometry and the Γ-action must be proper, free, and isometric, with the localization algebra description correctly capturing the equivariant KK-theory.

What would settle it

A concrete bounded-geometry space X with proper free isometric Γ-action where the groupoid Baum-Connes conjecture with the given coefficients holds but the equivariant coarse assembly map fails to be an isomorphism would disprove the equivalence.

read the original abstract

In this paper, we develop a groupoid approach to the equivariant coarse Baum--Connes conjecture. For a bounded geometry metric space $X$ equipped with a proper, free, and isometric action of a countable discrete group $\Gamma$, we introduce the equivariant coarse groupoid $G(X, \Gamma)$. We prove that the groupoid Baum--Connes conjecture for $G(X, \Gamma)$ with coefficients in $\ell^{\infty}(X,\mathcal{K})^\Gamma$ is equivalent to the equivariant coarse Baum--Connes conjecture for $(X, \Gamma)$ using a localization algebra description of equivariant $KK^\mathcal{G}$-theory for \'{e}tale groupoids. As applications of this framework, we prove that if the space $X$ admits a coarse embedding into Hilbert space (which is not required to be $\Gamma$-equivariant), then the equivariant coarse Novikov conjecture holds for $(X, \Gamma)$, i.e., the assembly map $\mu_{X,\Gamma}$ is an injection. We also obtain a new proof of the equivariant coarse Baum--Connes conjecture if $X$ admits an equivariant coarse embedding into Hilbert space.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit. Tearing a paper down is the easy half of reading it; the pith above is the substance, this is the friction.

Desk Editor's Note private letter to a colleague

Guo builds an equivariant coarse groupoid G(X, Γ) and shows its groupoid Baum-Connes conjecture is equivalent to the equivariant coarse version, then derives Novikov and Baum-Connes consequences under coarse embedding assumptions.

read the letter

This paper introduces the equivariant coarse groupoid G(X, Γ) for a bounded-geometry space X with a proper, free, isometric action by a countable discrete group Γ. It proves that the groupoid Baum-Connes conjecture for this groupoid, with coefficients in ℓ^∞(X, K)^Γ, is equivalent to the equivariant coarse Baum-Connes conjecture for the pair (X, Γ). The equivalence is obtained through a localization-algebra description of equivariant KK^G-theory for étale groupoids. From there the paper shows that a (non-equivariant) coarse embedding of X into Hilbert space implies injectivity of the assembly map, i.e., the equivariant coarse Novikov conjecture. An equivariant embedding yields a new proof of the equivariant coarse Baum-Connes conjecture itself. The groupoid construction and the resulting reformulation are the clearest novelties. They give a concrete way to import techniques from groupoid K-theory into the coarse setting, and the applications are stated cleanly under standard hypotheses. The localization-algebra step is the main technical bridge; it is a known tool in the literature, but its adaptation here needs to be checked for any extra conditions that might arise from the coarse geometry. The assumptions on X and the Γ-action are the usual ones and are stated explicitly, so they do not hide problems. No circularity or unsupported claims appear in the abstract or the stress-test summary. The work is aimed at specialists already comfortable with coarse geometry, operator K-theory, and étale groupoids. Readers interested in alternative proofs or new reformulations of the Baum-Connes-type conjectures will get the most out of it. I would send the paper to peer review; the central claims are specific enough and the approach is distinct enough from existing literature to merit a careful check of the derivations.

Referee Report

0 major / 2 minor

Summary. The manuscript introduces the equivariant coarse groupoid G(X, Γ) associated to a bounded-geometry metric space X equipped with a proper, free, isometric action of a countable discrete group Γ. It proves that the groupoid Baum–Connes conjecture for G(X, Γ) with coefficients in ℓ^∞(X, 𝒦)^Γ is equivalent to the equivariant coarse Baum–Connes conjecture for the pair (X, Γ), via a localization-algebra model of equivariant KK^𝒢-theory for étale groupoids. Applications include the implication that any (not necessarily equivariant) coarse embedding of X into Hilbert space yields injectivity of the assembly map μ_{X,Γ} (equivariant coarse Novikov conjecture), together with a new proof of the equivariant coarse Baum–Connes conjecture when the embedding is Γ-equivariant.

Significance. If the central equivalence is established, the work supplies a concrete bridge between the groupoid formulation of the Baum–Connes conjecture and its equivariant coarse counterpart, potentially allowing transfer of techniques and results between the two settings. The applications to injectivity of the assembly map under coarse-embedding hypotheses are of independent interest in coarse index theory and K-homology. The localization-algebra description of KK^𝒢-theory is a methodological strength when carried out rigorously, as it furnishes an explicit analytic model rather than an abstract categorical equivalence.

minor comments (2)

The abstract and introduction should state more explicitly the precise range of spaces and actions for which the groupoid G(X, Γ) is étale and the localization-algebra isomorphism holds; the current phrasing leaves the dependence on bounded geometry and properness implicit for readers outside the immediate area.
Notation for the coefficient algebra ℓ^∞(X, 𝒦)^Γ and the assembly map μ_{X,Γ} is introduced without a dedicated preliminary subsection; a short paragraph collecting all standing notation and the precise statement of the two conjectures being compared would improve readability.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for the positive assessment of our manuscript, the detailed summary of its contributions, and the recommendation for minor revision. No specific major comments were provided in the report.

Circularity Check

0 steps flagged

No significant circularity in derivation chain

full rationale

The paper constructs the equivariant coarse groupoid G(X, Γ) from standard assumptions (bounded geometry, proper free isometric Γ-action) and proves equivalence to the equivariant coarse Baum-Connes conjecture via the localization algebra model of equivariant KK^𝒢-theory for étale groupoids. This model is an established framework in the literature, not derived from or fitted to the target conjecture within the paper. The applications (Novikov injectivity from non-equivariant coarse embedding, and a new proof under equivariant embedding) follow directly from the equivalence without reducing any claim to a self-definition, fitted parameter renamed as prediction, or load-bearing self-citation chain. All steps are self-contained against external KK-theory benchmarks.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 1 invented entities

The central claims rest on the newly introduced equivariant coarse groupoid and standard background results in étale groupoid KK-theory and coarse geometry.

axioms (2)

standard math Standard properties of étale groupoids and their equivariant KK-theory via localization algebras
Invoked to establish the equivalence between the groupoid and coarse conjectures.
domain assumption X has bounded geometry and the Γ-action is proper, free, and isometric
Required for the definition of the equivariant coarse groupoid G(X, Γ).

invented entities (1)

equivariant coarse groupoid G(X, Γ) no independent evidence
purpose: To serve as a groupoid model whose Baum-Connes conjecture is equivalent to the equivariant coarse Baum-Connes conjecture
Newly defined object in the paper to reformulate the conjecture.

pith-pipeline@v0.9.0 · 5509 in / 1558 out tokens · 61020 ms · 2026-05-07T13:57:03.173076+00:00 · methodology

discussion (0)

Reference graph

Works this paper leans on

6 extracted references · 2 canonical work pages

[1]

[BCH94] P . Baum, A. Connes, and N. Higson. Classifying space for proper actions andK- theory of groupC ∗-algebras. InC ∗-algebras: 1943–1993 (San Antonio, TX, 1993), vol- ume 167 ofContemp. Math., pages 240–291. Amer. Math. Soc., Providence, RI,

1943
[2]

[GWWY24] L. Guo, Q. Wang, J. Wu, and G. Yu. Hilbert-Hadamard spaces and the equivariant coarse Novikov conjecture.arXiv e-prints, page arXiv:2411.18538, November

work page arXiv
[3]

Higson and J

[HR95] N. Higson and J. Roe. On the coarse Baum-Connes conjecture. InNovikov conjectures, index theorems and rigidity, Vol. 2 (Oberwolfach, 1993), volume 227 ofLondon Math. Soc. Lecture Note Ser., pages 227–254. Cambridge Univ. Press, Cambridge,

1993
[4]

Ma and J

[MW20] X. Ma and J. Wu. Almost elementariness and fiberwise amenability for ´etale groupoids.arXiv e-prints, page arXiv:2011.01182, November

work page arXiv 2011
[5]

Oyono-Oyono and G

A GROUPOID APPROACH TO THE EQUIVARIANT COARSE BAUM–CONNES CONJECTURE 35 [OOY19] H. Oyono-Oyono and G. Yu. QuantitativeK-theory and the K ¨unneth formula for operator algebras.J. Funct. Anal., 277(7):2003–2091,

2003
[6]

[Tu00] J.-L. Tu. The Baum-Connes conjecture for groupoids. InC ∗-algebras (M¨ unster, 1999), pages 227–242. Springer, Berlin,

1999