Pith. sign in

REVIEW 1 major objections 4 minor 2 cited by

Finite asymptotic dimension and the coarse assembly map

T0 review · 1 major / 4 minor · reviewed 2026-08-11 · deepseek-v4-flash

Challenge this review Re-run · record.json Download PDF Read on arXiv ↗ Review JSON

Pith's one-line read A weak dimension bound still forces the coarse assembly map to be a phantom equivalence.

desk verdict A concise, honest proof note with a genuinely new dimensional notion; the proof has one unproved category-theoretic step that needs fixing before it is fully general. read the letter →

arxiv 2412.10746 v1 pith:7TC2VSQJ submitted 2024-12-14 math.AT math.KTmath.MG

Ulrich Bunke This is my paper · ORCID
classification math.ATmath.KTmath.MG MSC 55N2018N6051F30
keywords coarseassemblymapphantomequivalencehomotopicalasymptoticdimensionbornologicalspaceshomologytheoryweaktransfersBaum-Connesconjecturestableinfinity-category
verification ladder T0 review T1 audit T2 compute T3 formal

The pith

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

The reading

This paper proves that the coarse assembly map is a phantom equivalence whenever the space has weakly finite homotopical asymptotic dimension and the homology theory has weak transfers. A phantom equivalence is a map whose fibre is invisible to all compact objects; in the stable infinity-categories that model topological and algebraic K-theory, phantom objects are zero, so the map is an actual equivalence. The result recovers the classical coarse Baum-Connes theorem for proper metric spaces of finite asymptotic dimension and extends it to a weaker dimension condition and to homology theories with only weak transfers, without invoking the analytic details of K-theory constructions.

What carries the argument

The universal coarse assembly map is extracted from the fibre sequence $\iota^{\mathrm{str}} \to Y^{\mathrm{str}}OP \to Y^{\mathrm{str}}O_\infty P \xrightarrow{\partial^{\mathrm{coarse}}} \Sigma \iota^{\mathrm{str}}$ of functors on the universal strong coarse homology category, where $P$ is the Rips-complex functor and $O_\infty$ is the cone-at-infinity functor; postcomposing with $E$ and evaluating at $X$ gives $\mu^{\mathrm{coarse}}_{E,X}$. The two load-bearing ingredients are weak transfers, which provide the map $\mathrm{tr}_X : E(X) \to E(\mathbb{N}_{\min,\min} \otimes X)$ whose projections onto each copy of $X$ are the identity, and the split-monomorphism condition in the definition of finite homotopical asymptotic dimension, which makes each $E(\varphi_n)$ a retract inclusion. The vanishing of $EOP$ on the colimit term $EOP(W_h,V)$ follows from the fact that finite-dimensional Rips complexes satisfy $Y_o(W_h,V) \in \mathrm{SpX}^{\langle\mathrm{disc}\rangle}$ combined with the vanishing of $EOP$ on discrete spaces.

What would settle it

A concrete way to settle the central claim is to check the unproved category-theoretic step: if one can exhibit a stable $\infty$-category with a filtered diagram of phantom objects whose colimit is not phantom, the proof's reduction fails, whereas proving that a filtered colimit of phantoms is phantom would confirm the argument. A direct test of the theorem itself would be to compute $EOP(X)$ for a space $X$ with weakly finite homotopical asymptotic dimension and a homology theory with weak transfers, and look for a nonzero compact morphism from the fibre of the assembly map.

Watch

Extended reading notes

Core claim

The central claim is Theorem 2.10: if $X$ is a bornological coarse space with weakly finite homotopical asymptotic dimension and $E$ is a strong coarse homology theory with weak transfers, then the assembly map $\mu^{\mathrm{coarse}}_{E,X}$ is a phantom equivalence. The proof shows that $EOP(X)$ is a phantom object by feeding any compact morphism through the map $\varphi \circ \mathrm{tr}_X$ into the Rips-complex cone and using the split-monomorphism condition on the maps $\varphi_n : X \to W_n$ to force the morphism to vanish. The weakly finite case is reduced to the finite case by the u-continuity axiom together with the assertion that a filtered colimit of phantom objects is phantom. Since phantom objects are zero in compactly generated or compactly assembled stable $\infty$-categories, the map is an equivalence in the target categories that occur for topological and algebraic K-theory.

Load-bearing premise

The load-bearing premise is the assertion, used without proof or citation in the proof of Theorem 2.10, that a filtered colimit of phantom objects in the target stable $\infty$-category is again phantom; if this fails, the reduction from weakly finite to finite homotopical asymptotic dimension collapses.

Editorial extensions

If this is right

  • For every strong coarse homology theory with weak transfers, the coarse assembly map is an actual equivalence on spaces of finite homotopical asymptotic dimension in any compactly generated or compactly assembled target category.
  • The classical coarse Baum-Connes theorem for proper metric spaces of finite asymptotic dimension is recovered by taking $E$ to be topological coarse K-homology.
  • The result applies to coarse algebraic K-homology with coefficients in a left-exact $\infty$-category, and to universal versions valued in localizing motives or E-theory, whose target categories are compactly assembled.
  • The hypothesis is weaker than classical finite asymptotic dimension: only a homotopical split-monomorphism condition on the approximations to simplicial complexes is required, and only for a cofinal family of coarse entourages.
  • Under the same hypotheses, the universal versions $UKX_C$ and $EX_C$ of coarse K-theory also satisfy the phantom equivalence, since they have transfers and their target categories are compactly assembled.

Reading between the lines

Editorial extensions of the paper, not claims the author makes directly.

  • The proof's reduction from weakly finite to finite homotopical asymptotic dimension depends on asserting that a filtered colimit of phantom objects is phantom; proving this category-theoretic fact in full generality would make the theorem independent of the compactly generated or compactly assembled assumption on the target.
  • Because the argument avoids the analytic construction of K-theory, it suggests that any future coarse homology theory with weak transfers will satisfy the same phantom equivalence on weakly finite homotopical spaces, regardless of how the theory is constructed.
  • Clarifying the relation between weakly finite homotopical asymptotic dimension and finite decomposition complexity would let the same proof cover the finite-decomposition-complexity assembly theorem; the paper leaves this relation open.
Share X Bluesky LinkedIn Reddit HN

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, and a circularity audit.

Referee Report

1 major / 4 minor

Summary. The paper proves that for a bornological coarse space X of weakly finite homotopical asymptotic dimension and a strong coarse homology theory E with weak transfers, the coarse assembly map μ_{E,X} is a phantom equivalence (Theorem 2.10). The proof in Section 3 uses u-continuity to reduce to the case of finite homotopical asymptotic dimension, transfers to map into a Rips/cone construction, and Proposition 3.1 together with Lemma 3.2 to show that the resulting target vanishes. The conclusion is a phantom equivalence; in compactly generated or compactly assembled target categories this becomes an actual equivalence (Example 2.9).

Significance. If the gap discussed below is fixed, this is a concise and conceptual contribution: it avoids the technical flasqueness argument [BE20b, Thm. 5.55], weakens the dimensional assumption from weakly finite asymptotic dimension to weakly finite homotopical asymptotic dimension, and covers the main K-theoretic examples (Sp, Mod(KU), M_loc, E). The argument is direct and the statement is precise about the phantom nature of the conclusion. The main limitation is the unproved categorical assertion about filtered colimits of phantom objects, which is essential to the proof as written.

major comments (1)
  1. [Section 3, proof of Theorem 2.10] The reduction from weakly finite to finite homotopical asymptotic dimension relies entirely on the sentence "Since a filtered colimit of phantom objects is phantom." This assertion is not proved or cited, and it is not a formal consequence of Definitions 2.7 and 2.8 in an arbitrary cocomplete stable ∞-category: phantom objects are defined via compact morphisms C→D rather than via maps from compact objects, so the standard finite-stage factorization argument for compact objects does not directly apply. Without this statement, or a replacement hypothesis, the theorem as stated for arbitrary C is not established. Please either prove the lemma under suitable hypotheses, give a reference, or restrict Theorem 2.10 to categories in which the lemma holds (e.g. compactly generated or compactly assembled C, where phantom objects are zero by Example 2.9).
minor comments (4)
  1. [Abstract] The abstract contains a spacing typo: "coa rse assembly map" should be "coarse assembly map".
  2. [Remark 3.4] "wether" should be "whether".
  3. [Section 3, proof of Theorem 2.10] The phrase "The target of the map ... vanishes" is ambiguous; it would be clearer to say that the target object EOP(W_h,V) vanishes, since it lies in SpX⟨disc⟩ by Proposition 3.1 and is annihilated by EOP by Lemma 3.2.
  4. [Definition 3.3] In condition 3, the notation ⊔_{n∈N} φ_n for the map N_{min,min}⊗X → W_h is slightly unconventional; consider writing the map explicitly as (n,x) ↦ φ_n(x) to avoid confusion.

Circularity Check

0 steps flagged · score 0.0 of 10

No circularity: the phantom-equivalence theorem is derived from its hypotheses and prior published results; the flagged colimit lemma is an unproven bridge, not a circular reduction.

full rationale

The derivation of Theorem 2.10 is not circular. The theorem's conclusion (phantom equivalence of the coarse assembly map) is not an input to the proof; it is derived from the hypotheses (weakly finite homotopical asymptotic dimension, weak transfers) through u-continuity, the compact-morphism/phantom calculus of Definitions 2.7-2.8, Proposition 3.1 (cited from [BE20b, Thm. 5.57]), and Lemma 3.2, which is proved inside the paper. The author's citations of [BE20b], [BEKW19], and [BE20a] are load-bearing, but those results are parameter-free published theorems whose assumptions do not include the target claim; under the review rules they count as independent support, not circularity. No parameters are fitted and no known empirical result is renamed; the paper even states explicitly (Remark 2.11) that Theorem 2.10 is weaker than the existing [BE20a, Thm. 10.4], which is the opposite of a claim inflated by self-citation. The one flagged weakness, the uncited assertion 'Since a filtered colimit of phantom objects is phantom' in the proof of Theorem 2.10, is an omitted proof or potential correctness gap, since the reduction from weakly finite to finite homotopical asymptotic dimension rests entirely on that sentence; however, it is not a circular reduction of the theorem to its own inputs, and in the intended target categories (Sp, Mod(KU), M_loc, E), which are compactly generated or compactly assembled, phantom objects are zero and the step is harmless. Overall, the central claim has independent content and the proof chain does not reduce to its own assumptions.

Assumptions & free parameters 0 free parameters · 5 assumptions · 0 invented entities

No new entities are introduced. The new dimension notion is a property, not a postulated object. No free parameters are fitted. The principal assumptions are imported theorems from the author's earlier framework and one unproved category-theoretic fact about filtered colimits of phantom objects.

assumptions (5)
  • domain assumption Filtered colimits of phantom objects are phantom in the target stable infinity-category.
    Used in the proof of Theorem 2.10 to reduce from weakly finite to finite homotopical asymptotic dimension. The note gives no proof or citation for this category-theoretic fact, so the validity of the reduction depends on it.
  • standard math The universal coarse and strong homology theories, cone and cone-at-infinity functors, Rips complex construction, and fibre sequence (2.4) exist as stated.
    Imported from [BE20b] and [BE20a]. These constructions define the coarse assembly map and are not reproved in this note.
  • standard math If dim(W) is finite, then Y_o(W_h, V) belongs to SpX<disc> (Proposition 3.1, from [BE20b, Thm 5.57]).
    This is the key vanishing input used together with Lemma 3.2 to show EOP(W_h,V) vanishes. It is cited from the author's prior book rather than proved here.
  • standard math Weak transfers exist for the relevant K-theoretic coarse homology theories, as shown in [BE23], [BCKW], and [BEKW19].
    The theorem assumes E has weak transfers. The note explains that topological and algebraic coarse K-homology, and their universal versions, satisfy this condition by prior published results.
  • domain assumption The isomorphisms Pdiag(N)xU(Nmin,min tensor X) isomorphic to Ndisc tensor P_U(X) and O(Ndisc tensor Y) isomorphic to Nmin,min tensor O(Y) induce weak transfers for EOP.
    After Definition 3.8, the note asserts these 'obvious isomorphisms' and the resulting transfer structure on EOP without spelling out the proof. This is needed to apply transfers to the assembled theory.

how reviews work

0 comments
Cite this review

Pith. "Pith review of Finite asymptotic dimension and the coarse assembly map." pith.science (2026). https://pith.science/paper/7TC2VSQJ

@misc{pith2026241210746,
  author       = {Pith},
  title        = {Pith review of: Finite asymptotic dimension and the coarse assembly map},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/7TC2VSQJ}},
  note         = {Machine review of arXiv:2412.10746}
}
read the original abstract

In this note we give a simple argument for the fact that the coarse assembly map for a strong coarse homology theory with weak transfers and a bornological coarse space of weakly finite homotopical asymptotic dimension is a phantom equivalence.

Discussion (0). Continue with ORCID to comment.

Forward citations

Cited by 2 Pith papers

Reviewed papers in the Pith corpus that reference this work. Sorted by Pith novelty score. Full citation record

  1. Branched coarse coverings and transfer maps

    math.AT 2025-02 conditional novelty 8.0 of 10

    A new transfer formalism for coarse K-homology theories yields an operator-free proof of Atiyah's L2-index theorem and a fresh treatment of Higson's counterexample to the coarse Baum-Connes conjecture.

  2. Coarse cone quotients

    math.AT 2025-07 conditional novelty 6.0 of 10

    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

18 extracted references · 7 canonical work pages · cited by 2 Pith papers

  1. [1]

    A. C. Bartels. Squeezing and higher algebraic K -theory. K-Theory , 28(1):19--37, January 2003

    work page 2003

  2. [2]

    Bunke, D.-C

    U. Bunke, D.-C. Cisinski, D. Kasprowski, and C. Winges. Controlled objects in left-exact -categories and the N ovikov conjecture. arXiv:1911.02338 http://arxiv.org/abs/1911.02338

    arXiv 1911

  3. [3]

    Bunke and B

    U. Bunke and B. Duenzinger. e -theory is compactly assembled. https://arxiv.org/pdf/2402.18228.pdf https://arxiv.org/pdf/2402.18228.pdf, 02 2024

    arXiv 2024

  4. [4]

    Bunke and A

    U. Bunke and A. Engel. Coarse assembly maps . J.\ Noncommut.\ Geom. , 14(4):1245--1303, 2020

    2020

  5. [5]

    Bunke and A

    U. Bunke and A. Engel. Homotopy theory with bornological coarse spaces , volume 2269 of Lecture Notes in Math. Springer, 2020. arXiv:1607.03657 https://arxiv.org/abs/1607.03657

    arXiv 2020

  6. [6]

    Bunke and A

    U. Bunke and A. Engel. Topological equivariant coarse K -homology. Annals of K-Theory , 8(2):141--220, June 2023

    2023

  7. [7]

    Bunke, A

    U. Bunke, A. Engel, D. Kasprowski, and C. Winges. Coarse homology theories and finite decomposition complexity. Algebraic & Geometric Topology , 19(6):3033--3074, October 2019

    work page 2019

  8. [8]

    Bunke, A

    U. Bunke, A. Engel, D. Kasprowski, and C. Winges. Transfers in coarse homology. M \"u nster J. Math. , 13(2):353--424, 2020

    2020

Show all 18 references
  1. [9]

    Bunke, A

    U. Bunke, A. Engel, D. Kasprowski, and Ch. Winges. Equivariant coarse homotopy theory and coarse algebraic K -homology . In K -Theory in Algebra, Analysis and Topology , volume 749 of Contemp.\ Math. , pages 13--104, 2020

    2020

  2. [10]

    A. J. Blumberg, D. Gepner, and G. Tabuada. A universal characterization of higher algebraic K -theory. Geom. Topol. , 17(2):733--838, 2013

    2013

  3. [11]

    Bunke and M

    U. Bunke and M. Ludewig. Coronas and C allias type operators in coarse geometry. https://arxiv.org/pdf/2411.01646.pdf https://arxiv.org/pdf/2411.01646.pdf, 11 2024

    2024 arXiv

  4. [12]

    Carlsson and B

    G. Carlsson and B. Goldfarb. The integral K -theoretic N ovikov conjecture for groups with finite asymptotic dimension. Inventiones mathematicae , 157(2):405--418, August 2004

    2004

  5. [13]

    Guentner, R

    E. Guentner, R. Tessera, and G. Yu. A notion of geometric complexity and its application to topological rigidity. Invent. Math. , 189(2):315--357, 2012

    2012

  6. [14]

    Higson and J

    N. Higson and J. Roe. On the coarse Baum--Connes conjecture . In S. C. Ferry, A. Ranicki, and J. Rosenberg, editors, Novikov conjectures, index theorems and rigidity, Vol. 2 , London Mathematical Society Lecture Notes 227. Cambridge University Press, 1995

    1995

  7. [15]

    J. Roe. Lectures on Coarse Geometry , volume 31 of University Lecture Series . American Mathematical Society, 2003

    2003

  8. [16]

    N. J. Wright. The coarse B aum- C onnes conjecture via C_0 coarse geometry. J. Funct. Anal. , 220(2):265--303, 2005

    2005

  9. [17]

    G. Yu. The N ovikov conjecture for groups with finite asymptotic dimension. The Annals of Mathematics , 147(2):325, March 1998

    1998

  10. [18]

    G. Yu. The coarse Baum - Connes conjecture for spaces which admit a uniform embedding into Hilbert space. Invent. Math. , 139(1):201--240, 2000

    2000

Pith tools

Reviewed August 11, 2026 · model on record in the stance chip above.