REVIEW 3 major objections 6 minor 1 cited by
Coarse Baum-Connes and warped cones: failure of surjectivity in odd degree
T0 review · 3 major / 6 minor · reviewed 2026-08-16 · deepseek-v4-flash
Pith's one-line read Unified warped cones violate the coarse Baum–Connes conjecture in odd K-theory, not even degree.
desk verdict Real progress on Roe's warped-cone conjecture: odd-degree non-surjectivity of the coarse assembly map, with the naive K0 obstruction correctly identified as vanishing; the K1 punchline rests on one trace argument asserted rather than proved. read the letter →
The pith
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
The reading
What carries the argument
The central object is the coarse Mayer–Vietoris long exact sequence for the unified warped cone, obtained by splitting the cone into alternating exponential intervals. Theorem D produces the sequence $\cdots \to HX_{*+1}(O_\Gamma M) \xrightarrow{\partial} HX_*(O^{2\mathbb{N}}_\Gamma M) \xrightarrow{\mathrm{id}+S_*} HX_*(O^{2\mathbb{N}}_\Gamma M) \xrightarrow{j_{\mathrm{alt}}} HX_*(O_\Gamma M) \to \cdots$, where $S$ is the shift map on level sets and $j_{\mathrm{alt}}$ is the alternating-sign inclusion. The machinery works for any coarse homology theory, including coarse K-homology and Roe-algebra K-theory, and the assembly map commutes with the boundary maps. The alternating Drutu–Nowak class lies in the kernel of $\mathrm{id}+S_*$ but not in the image of the assembly map; its boundary lift under $\partial$ is the desired K1 class.
What would settle it
If one could represent $[G^{2\mathbb{N}}_{\mathrm{alt}}]$ as the image under $\mu_c$ of some class in $KX_0(O^{2\mathbb{N}}_\Gamma M)$, or exhibit a finite-propagation approximation of the alternating Drutu–Nowak class of arbitrarily small propagation, then by the commutative diagram of Corollary E the boundary lift would lie in the image of $\mu_c$ and Theorem C would collapse; equivalently, finding an alternating class for which $\tau_d$ and $\tau_u$ differ on the image of $\mu_c$ would invalidate the proof.
Extended reading notes
Core claim
The paper establishes that Roe's conjecture holds, but with a different mechanism than expected. Specifically, Theorem C states: if Γ is a group with property A and Γ acts freely and strongly ergodically on a compact manifold by diffeomorphisms, then the coarse Baum–Connes map $\mu_c: KX_1(O_\Gamma M) \to K_1(C^*_{\mathrm{Roe}}(O_\Gamma M))$ is not surjective. The proof constructs an alternating Drutu–Nowak class $[G^{2\mathbb{N}}_{\mathrm{alt}}] = [(m,-m,m,-m,\ldots)]$ in $K_0(C^*_{\mathrm{Roe}}(O^{2\mathbb{N}}_\Gamma M))$, shows it is not in the image of the assembly map by a trace argument, then uses coarse Mayer–Vietoris to lift it to a boundary class in $K_1(C^*_{\mathrm{Roe}}(O_\Gamma M))$ that still avoids the image of $\mu_c$. Along the way, Theorem B shows that the ordinary Drutu–Nowak projection vanishes in K-theory, so ghost projections are not the source of the counterexample.
Load-bearing premise
The proof of Theorem C relies on the claim that the trace argument from Theorem 1.3 extends to the alternating Drutu–Nowak class $[G^{2\mathbb{N}}_{\mathrm{alt}}]$, namely that the traces $\tau_d$ and $\tau_u$ coincide on the image of $\mu_c$ even for this alternating class; the paper states this without a full derivation.
Editorial extensions
If this is right
- If Theorem C is correct, unified warped cones are genuine counterexamples to the coarse Baum–Connes conjecture, and they achieve this in a fundamentally different way from the known expander-based counterexamples.
- Conjecture A of Roe and Drutu–Nowak holds in a modified form: strong ergodicity suffices in place of spectral gap, while property A and freeness are required, and the failure occurs in odd rather than even degree.
- Theorem B shows that the Drutu–Nowak ghost projection vanishes in K-theory, so the even-degree obstruction one might expect from ghost projections is absent; the real obstruction is an odd-degree class.
- The action of a non-abelian free subgroup of $\mathrm{SU}(2,\mathbb{Q})$ on $\mathrm{SU}(2,\mathbb{C})$ by left multiplication satisfies all hypotheses of Theorem C, providing a concrete family of counterexamples.
- Because Theorem D applies to arbitrary coarse homology theories, the same Mayer–Vietoris mechanism can produce odd-degree obstructions for other coarse homology theories beyond K-theory.
Reading between the lines
- The odd-degree class constructed in the paper is likely represented by a 'ghost unitary' that implements the unitary equivalence between the averaging projection and a trivial projection, a connection the authors leave explicitly open and that could be made precise.
- One testable extension: replacing the two-coloring of the level sets (even/odd) with a $p$-coloring could manufacture obstructions in $K_{2p-1}$ of the Roe algebra, yielding odd-degree classes at higher levels.
- The Mayer–Vietoris boundary construction resembles a coarse analog of a suspension map; if so, the failure of surjectivity in K1 may be a shadow of a failure of a coarse Bott periodicity for warped cones.
- Since the trace $\tau_d$ and $\tau_u$ coincide on the image of $\mu_c$, the constructed K1 class may be rationally nontrivial and hence detectable by an index-type invariant, suggesting a potentially computable rational obstruction.
Signed reviews
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The paper constructs unified warped cones O_Γ M and studies the coarse Baum–Connes assembly map μ_c. It first proves (Theorem B) that generalized Drutu–Nowak projections in the Roe algebra of the warped cone vanish in K_0, using irreducibility of the dynamical propagation algebra and the flasqueness of R_{\ge 1}. It then develops a Mayer–Vietoris long exact sequence for coarse homology theories applied to the exponentially spaced subcone O_Γ^{2N} (Theorem D), and uses it to obtain a commutative diagram relating the assembly map on KX_1(O_Γ M) to the kernel of id + S_* on K_0(C^*\mathrm{Roe}(O_Γ^{2N})). The main result (Theorem C) claims that μ_c : KX_1(O_Γ M) \to K_1(C^*\mathrm{Roe}(O_Γ M)) is not surjective when Γ has property A and acts freely and strongly ergodically by diffeomorphisms. The proof introduces an alternating Drutu–Nowak class [G_{\mathrm{alt}}^{2N}], asserts that it lies outside the image of μ_c, and lifts it to a K_1-obstruction via the Mayer–Vietoris boundary map.
Significance. If Theorem C is correct, the paper resolves Roe's conjecture by producing counterexamples to the coarse Baum–Connes conjecture from warped cones, and it does so in odd K-theory degree, which appears to be a new and natural phenomenon. The Mayer–Vietoris framework of Theorem D is a potentially reusable tool for coarse K-theory, and the vanishing result Theorem B clarifies why the naive ghost-projection obstruction disappears. The paper is honest about its reliance on prior work and contains no fitted parameters or adjustable constants. However, the central K_1 obstruction depends on an unproved extension of the trace argument from [35,22] to the alternating class, and this gap is load-bearing for the main theorem.
major comments (3)
- [§4.2, Proof of Theorem C] The proof of Theorem C rests on the sentence "The same methods used to prove Theorem 1.3, also prove that [G_{\mathrm{alt}}^{2N}] does not belong to the image of μ_c." This is the only step that places [G_{\mathrm{alt}}^{2N}] outside the image of the assembly map, and it is not a routine consequence of Theorem 1.3 as stated in the paper. Theorem 1.3 concerns the single Drutu–Nowak class [G^{2N}], not the alternating combination [(m,0,m,0,\ldots)] - [(0,m,0,m,\ldots)]. The manuscript does not construct the trace τ_u in the alternating setting, does not prove that τ_u is well-defined on all of K_0(C^*\mathrm{Roe}(O_Γ^{2N})), does not verify that τ_u vanishes on arbitrary ghost projections rather than only on the two displayed summands, and does not show that τ_d and τ_u agree on the image of μ_c for O_Γ^{2N}. Without these three facts, the class [G_{\mathrm{alt}}^{2N}] - [p_{\mathrm{alt}}] could lie in the image of μ_c, and the boundary-lift argument producing the K_1 obstruction would collapse. This is a load-bearing gap, not a presentational issue; a full proof or a precise reference for this extension is required.
- [§4.2, first paragraph of the proof of Theorem C] The proof asserts that "both (m,0,m,0,\ldots) and (0,m,0,m,\ldots) belong to C^*\mathrm{Roe}(O_Γ^{2N})" and then defines [G_{\mathrm{alt}}^{2N}] as their difference. This requires that the rank-one averaging projection m, after tensoring along the exponentially spaced slices, is a locally compact finite-propagation operator in the Roe algebra of O_Γ^{2N}. The paper cites the strong ergodicity criterion for m \in C^*_{\mathrm{fp}}(Γ \curvearrowright M), but it does not spell out the passage from finite dynamical propagation on M to finite propagation on the exponentially spaced subcone, nor does it justify the local compactness in this particular module. This is likely fixable by the same arguments as in [22, Proposition 5.1], but the present text leaves an unverified intermediate step in the construction of the very class that drives the theorem.
- [§3.2, diagram (3.5) and the definition of j_{\mathrm{alt}}] The map j_{\mathrm{alt}} is introduced as a quotient map in the Mayer–Vietoris diagram, but its explicit action on K-theory classes is only described later in Section 4.1 with the formula [(c_{2j}p)_{2j\in 2N}] \mapsto [((-1)^{j+1}c_{2j}p)_{2j\in 2N}]. The passage from the abstract diagram (3.5) to this formula is not fully justified; in particular, the well-definedness of the alternating sign map with respect to the quotient by (ι_*,-ι_*)(HX_*(pt)) is asserted rather than proved. Since Lemma 4.4 and Corollary 4.6 depend on this formula, a more explicit verification of the action of j_{\mathrm{alt}} would strengthen the paper.
minor comments (6)
- [Theorem C and §4.2] The statement of Theorem C says "action by diffeomorphisms," while the proof uses "Lipschitz homeomorphisms"; please make the hypotheses uniform.
- [Theorem D display] The displayed exact sequence in Theorem D has the labels ∂, id+S_*, and j_{\mathrm{alt}} placed ambiguously below the arrows; please typeset it with explicit arrows and labels so the reader can see which map goes where.
- [§4.2, kernel notation] In the kernel expressions in the proof of Theorem C, "K(C^*\mathrm{Roe}(O_Γ^{2N}))" should be "K_0(C^*\mathrm{Roe}(O_Γ^{2N}))" in at least two places; the missing subscript makes the K-theory degree unclear.
- [Notation 2N] The notation 2N is introduced as {2n | n \in N}, but the alternating signs in Lemma 4.4 and Corollary 4.6 require the reader to know whether the indexing starts at n=0 or n=1; please fix the convention once and for all.
- [Proof of Lemma 4.5] The map f_1 is described only verbally as "compressing each interval to their bottom extremity"; an explicit formula on all of Y would improve readability and remove any ambiguity about the top of the first interval.
- [General presentation] The text contains several typographical artifacts, including "integerdivide" appearing in place of a symbol and a duplicated "of of"; a careful proofreading pass is needed.
Circularity Check
No circularity: the proof combines a new Mayer-Vietoris computation with independent external theorems; the unproved trace-extension for the alternating class is a gap, not a circular reduction.
full rationale
The paper does not contain a circular derivation in the sense of the rubric. The central new computation (Theorem D and Corollary E) is an application of coarse Mayer-Vietoris with the standard axioms (flasqueness, excisive pairs, coarse homotopy invariance), and the compatibility of the assembly map with Mayer-Vietoris boundaries is cited to external sources [37,38] and is standard. Theorem B and Corollary 4.6 are proved directly from irreducibility of C*_fp(Γ↷M), the description C*_Roe = C*_fp ∩ C*_lc, and flasqueness of R≥1; no fitted parameter or input is renamed as a prediction. The only load-bearing step that is not fully proved in the paper is in Section 4.2: 'The same methods used to prove Theorem 1.3, also prove that [G^{2N}_alt] does not belong to the image of µc'. This is an omitted proof or gap, because the construction of τ_u for the alternating class is not given, but it is not circular: the paper does not assume the conclusion, and the cited results [35, Theorem 3.5], [22, Theorem G], and [22, Theorem E] concern the non-alternating class and the existence of Drutu-Nowak projections, not the target K1 obstruction. The self-citation [22] (Vigolo is a coauthor) is load-bearing for the existence of the relevant ghost projections under strong ergodicity, but it is an external published theorem and is not the target result; hence it does not make the derivation circular. Overall score 0.
Assumptions & free parameters
assumptions (5)
- domain assumption Coarse K-homology and K-theory of Roe algebras satisfy the three coarse homology theory axioms: flasqueness, excisive Mayer-Vietoris, and coarse homotopy invariance.
- domain assumption The coarse assembly map commutes with Mayer-Vietoris boundary maps.
- domain assumption For a strongly ergodic action, the averaging projection m lies in C*_fp(Γ↷M) ∩ K(L^2M).
- domain assumption The trace argument of [35, Theorem 3.5] and [41], including the existence of τ_d and τ_u and their agreement on the image of µ_c, extends to the alternating Drutu-Nowak class.
- domain assumption C*_fp(Γ↷M) is irreducible when Γ↷M is ergodic.
Cite this review
Pith. "Pith review of Coarse Baum-Connes and warped cones: failure of surjectivity in odd degree." pith.science (2026). https://pith.science/paper/CLPEUN27
@misc{pith2026250421811,
author = {Pith},
title = {Pith review of: Coarse Baum-Connes and warped cones: failure of surjectivity in odd degree},
year = {2026},
howpublished = {\url{https://pith.science/paper/CLPEUN27}},
note = {Machine review of arXiv:2504.21811}
}
read the original abstract
We prove a conjecture of Roe by constructing unified warped cones that violate the coarse Baum-Connes conjecture. Interestingly, the reason for this is probably not what Roe expected, as the obstruction arises in odd rather than even degree.
Figures
Forward citations
Cited by 1 Pith paper
-
Coarse cone quotients
For uniformly free, ergodic actions with spectral gap, the motivic coarse assembly map for the cone quotient O∞(X)//G fails to be an equivalence.
Reference graph
Works this paper leans on
-
[35]
Damian Sawicki, Warped cones violating the coarse Baum-Connes conjecture, preprint (2017)
work page 2017
-
[1]
Maria Paula Gomez Aparicio, Pierre Julg, and Alain Valet te, The Baum–Connes conjecture: An extended survey , Advances in Noncommutative Geometry: On the Occasion of Al ain Connes’ 70th Birthday (2019), 127–244
work page 2019
- [2]
-
[3]
Paul Baum, Alain Connes, and Nigel Higson, Classifying space for proper actions and K-theory of group C*-algebras , C*-algebras: 1943–1993 (San Antonio, TX, 1993), 1994, pp. 240–291
work page 1943
- [4]
-
[5]
Bruno M. Braga and A. Vignati, A Gelfand-type duality for coarse metric spaces with proper ty A, International Mathematics Research Notices. IMRN 11 (2023), 9799–9843
work page 2023
-
[6]
Ulrich Bunke and Alexander Engel, Homotopy theory with bornological coarse spaces, Lecture Notes in Mathematics, vol. 2269, Springer Nature, 2020
work page 2020
-
[7]
Ulrich Bunke, Alexander Engel, Daniel Kasprowski, and C hristoph Winges, Transfers in coarse homology, Münster J. Math. 13 (2020), no. 2, 353–424 (English)
work page 2020
Show all 45 references
-
[8]
1, 287–302
Tim de Laat and Federico Vigolo, Superexpanders from group actions on compact manifolds , Geometriae Dedicata 200 (2019), no. 1, 287–302
2019
-
[9]
Winkel, Dynamical propagation and Roe algebras of warped spaces, Journal of Operator Theory (to appear)
Tim de Laat, Federico Vigolo, and J. Winkel, Dynamical propagation and Roe algebras of warped spaces, Journal of Operator Theory (to appear)
-
[10]
Reine Angew
Cornelia Drutu and Piotr Nowak, Kazhdan projections, random walks and ergodic theorems , J. Reine Angew. Math. 754 (2019), 49–86
2019
-
[11]
10, 3758–3782
Martin Finn-Sell, Fibred coarse embeddings, a-T-menability and the coarse ana logue of the Novikov conjecture, Journal of Functional Analysis 267 (2014), no. 10, 3758–3782
2014
-
[12]
David Fisher, Thang Nguyen, and W outer van Limbeek, Rigidity of warped cones and coarse geometry of expanders , Advances in Mathematics 346 (2019), 665–718
2019
-
[13]
Higson, J
N. Higson, J. Roe, and G. Yu, A coarse Mayer-Vietoris principle , Mathematical Proceedings of the Cambridge Philosophical Society 114 (1993), no. 1, 85–97
1993
-
[14]
2, 330–354
Nigel Higson, Vincent Lafforgue, and Georges Skandalis , Counterexamples to the Baum– Connes conjecture, Geometric and Functional Analysis 12 (2002), no. 2, 330–354
2002
-
[15]
3, 209–240
Nigel Higson, Erik Kjær Pedersen, and John Roe, C*-algebras and controlled topology , K- theory 11 (1997), no. 3, 209–240
1997
-
[16]
1, 347–365
Nigel Higson and John Roe, A homotopy invariance theorem in coarse cohomology and K- theory, Transactions of the American Mathematical Society 345 (1994), no. 1, 347–365
1994
-
[17]
2 (Oberwolfach, 1993), 1995, pp
, On the coarse Baum–Connes conjecture , Novikov conjectures, index theorems and rigidity, Vol. 2 (Oberwolfach, 1993), 1995, pp. 227–254. 20 CHRISTOS KITSIOS, THOMAS SCHICK, AND FEDERICO VIGOLO
1993
-
[18]
108073, 35
Ana Khukhro, Kang Li, Federico Vigolo, and Jiawen Zhang , On the structure of asymptotic expanders, Advances in Mathematics 393 (2021), Paper No. 108073, 35
2021
-
[19]
Arielle Leitner and Federico Vigolo, An invitation to coarse groups , Lecture Notes in Math- ematics, Springer, 2023
2023
-
[20]
IMRN 17 (2023), 15102–15154
Kang Li, Jan Špakula, and Jiawen Zhang, Measured Asymptotic Expanders and Rigidity for Roe Algebras, International Mathematics Research Notices. IMRN 17 (2023), 15102–15154
2023
-
[21]
2, 361–399
Kang Li, Federico Vigolo, and Jiawen Zhang, Asymptotic expansion in measure and strong ergodicity, Journal of Topology and Analysis 15 (2023), no. 2, 361–399. [22] , A Markovian and Roe-algebraic approach to asymptotic expan sion in measure , Ba- nach Journal of Mathematical A...
2023
-
[23]
Diego Martínez and Federico Vigolo, Roe-like algebras of coarse spaces via coarse geometric modules, arXiv preprint arXiv:2312.08907 (2023), available at 2312.08907
2023 arXiv
-
[24]
, A rigidity framework for Roe-like algebras , arxiv preprint arxiv:2403.13624 (2024), available at 2403.13624
2024 arXiv
-
[25]
, C∗ -rigidity of bounded geometry metric spaces , Publications mathématiques de l’IHÉS (2025)
2025
-
[26]
1, 271–297
Paul D Mitchener, Coarse homology theories , Algebraic & Geometric Topology 1 (2001), no. 1, 271–297
2001
-
[27]
Mitchener, Behnam Norouzizadeh, and Thomas Sch ick, Coarse homotopy groups , Math
Paul D. Mitchener, Behnam Norouzizadeh, and Thomas Sch ick, Coarse homotopy groups , Math. Nachr. 293 (2020), no. 8, 1515–1533 (English)
2020
-
[28]
Nowak and Damian Sawicki, Warped cones and spectral gaps , Proceedings of the American Mathematical Society 145 (2017), no
Piotr W. Nowak and Damian Sawicki, Warped cones and spectral gaps , Proceedings of the American Mathematical Society 145 (2017), no. 2, 817–823
2017
-
[29]
Yu Qiao and John Roe, On the localization algebra of Guoliang Yu , Forum math, 2010, pp. 657–665
2010
-
[30]
497, American Mathematical Soc., 1993
John Roe, Coarse cohomology and index theory on complete Riemannian ma nifolds, Vol. 497, American Mathematical Soc., 1993
1993
-
[31]
, From foliations to coarse geometry and back , Analysis and Geometry in Foliated Manifolds, 1995, pp. 195–206
1995
-
[32]
90, American Mathematical Society, 1996
, Index theory, coarse geometry, and topology of manifolds , CBMS Regional Confer- ence Series in Mathematics, vol. 90, American Mathematical Society, 1996
1996
-
[33]
, Warped cones and property A , Geometry and Topology 9 (2005), 163–178
2005
-
[34]
3, 1674–1684
John Roe and Rufus Willett, Ghostbusting and property A , Journal of Functional Analysis 266 (2014), no. 3, 1674–1684
2014
-
[36]
Thesis, 2018
, On the geometry of metric spaces defined by group actions: Fro m circle rotations to super-expanders, Ph.D. Thesis, 2018
2018
-
[37]
Noncommut
Thomas Schick and Mostafa Esfahani Zadeh, Large scale index of multi-partitioned manifolds , J. Noncommut. Geom. 12 (2018), no. 2, 439–456 (English)
2018
-
[38]
Paul Siegel, The Mayer-Vietoris Sequence for the Analytic Structure Grou p, 2012
2012
-
[39]
Thesis, 2018
Federico Vigolo, Geometry of actions, expanders and warped cones , Ph.D. Thesis, 2018
2018
-
[40]
1-2, 355–396
, Discrete fundamental groups of warped cones and expanders , Mathematische An- nalen 373 (2019), no. 1-2, 355–396
2019
-
[41]
3, 1380–1416
Rufus Willett and Guoliang Yu, Higher index theory for certain expanders and Gromov monster groups, I , Advances in Mathematics 229 (2012), no. 3, 1380–1416
2012
-
[42]
189, Cambridge University Press, 2020
, Higher Index Theory , 189, vol. 189, Cambridge University Press, 2020
2020
-
[43]
Symmetry, Integrability and Geometry: Methods and Applications 18 (2022), 057
Christopher W ulff et al., Equivariant coarse (co-) homology theories , SIGMA. Symmetry, Integrability and Geometry: Methods and Applications 18 (2022), 057
2022
-
[44]
3, 199–221
Guoliang Yu, Coarse Baum–Connes conjecture , K-theory 9 (1995), no. 3, 199–221
1995
-
[45]
4, 307–318
, Localization algebras and the coarse Baum–Connes conjectur e, K-theory 11 (1997), no. 4, 307–318
1997
-
[46]
1, 201–240
, The coarse Baum–Connes conjecture for spaces which admit a uni form embedding into Hilbert space , Inventiones Mathematicae 139 (2000), no. 1, 201–240. COARSE BAUM–CONNES AND W ARPED CONES 21 Mathematisches Institut, Georg-August-Universität Gött ingen, Bunsenstr. 3-5, 37073...
2000
Reviewed August 16, 2026 · model on record in the stance chip above.
Discussion (0). Continue with ORCID to comment.