{"id":"5fd30777-547b-4070-9a9b-283cf6ee4757","arxiv_id":"2412.10746","paper_version":1,"verdict":"CONDITIONAL","confidence":"MODERATE","novelty_score":6.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":0,"one_line_summary":"The coarse assembly map for strong coarse homology theories with weak transfers is a phantom equivalence for bornological coarse spaces of weakly finite homotopical asymptotic dimension.","lead":"This note proves a new coarse-geometry theorem: for bornological coarse spaces with weakly finite homotopical asymptotic dimension, the coarse assembly map of any strong coarse homology theory with weak transfers is a phantom equivalence. It gives a short proof that avoids the hardest technical step of the author's earlier work, at the cost of a weaker conclusion and an extra hypothesis.","discovery_kind":"extension","skeptic_critique":{"model":"deepseek-v4-flash","headline":"Uncited lemma that filtered colimits of phantom objects are phantom is the load-bearing reduction step in Theorem 2.10 and needs proof or citation.","rationale":"The reader identified the same load-bearing assumption, and I agree that it is the weakest point of the argument. The theorem's conclusion for arbitrary cocomplete stable ∞-categories depends on the unproved categorical lemma at exactly the juncture where the weakly finite assumption is converted into the finite case. I checked the surrounding proof: the finite homotopical asymptotic dimension argument itself is coherent, the use of split monomorphisms is sound because any functor preserves split monomorphisms, and the vanishing of EOP on SpX⟨disc⟩ is supported by Proposition 3.1 and Lemma 3.2. The weak transfers step also appears to work as stated for the intended examples. The only step that seems to require external support is the filtered-colimit closure of phantom objects. I would accept the paper conditionally on supplying a proof or a precise citation for that lemma, since the stated theorem is more general than the compactly generated or compactly assembled cases where the issue vanishes. This does not amount to a rejection: the main examples and the overall strategy are plausible and well integrated with prior published work.","tokens_in":8207,"tokens_out":30759,"duration_ms":295698,"concrete_test":"Independently re-derive the lemma from Definition 2.7.1. Given a filtered diagram (D_i) of phantom objects and a compact morphism f:C→colim_i D_i, use the fibre sequence D_i→colim_i D_i→cofib(D_i→colim_i D_i) to factor f through some D_j, and then prove that the factor map C→D_j is itself a compact morphism, so that phantomness of D_j forces f=0. If this last implication cannot be established, attempt to construct a counterexample in a non-compactly-generated cocomplete stable ∞-category such as Pro(Sp). A successful proof or a citation (for example, to Clausen's unpublished notes) would resolve the concern; a counterexample would falsify Theorem 2.10 in its stated generality.","verdict_should_be":"CONDITIONAL","load_bearing_attack":"In the proof of Theorem 2.10 (Section 3), the reduction from weakly finite to finite homotopical asymptotic dimension rests entirely on the sentence 'Since a filtered colimit of phantom objects is phantom'. This is the only bridge between the u-continuity colimit EOP(X) ≃ colim_{U∈C_X} EOP(X_U) and the statement that each EOP(X_U) is phantom for the cofinal family of entourages. No proof or citation is given. The statement is not a formal triviality of Definitions 2.7 and 2.8: phantom objects are defined by vanishing on compact morphisms C→D rather than on maps from compact objects, so the usual factorization argument for compact objects in a filtered colimit does not directly apply. If the lemma is false in a general cocomplete stable ∞-category, the theorem as stated, which allows arbitrary C, would fail at this step. The intended examples (Sp, Mod(KU), M_loc, E) are compactly generated or compactly assembled, where phantom objects are zero and the lemma is trivial, so the main applications would likely survive, but the stated generality would not.","agreement_with_reader":"agree"},"referee_report":{"model":"deepseek-v4-flash","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).","tokens_in":8420,"tokens_out":17840,"duration_ms":156418,"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":[{"comment":"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).","section":"Section 3, proof of Theorem 2.10"}],"minor_comments":[{"comment":"The abstract contains a spacing typo: \"coa rse assembly map\" should be \"coarse assembly map\".","section":"Abstract"},{"comment":"\"wether\" should be \"whether\".","section":"Remark 3.4"},{"comment":"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.","section":"Section 3, proof of Theorem 2.10"},{"comment":"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.","section":"Definition 3.3"}],"recommendation":"major_revision","confidential_remarks":"The paper is a short note that leans heavily on prior work of the author and collaborators ([BE20b], [BEKW19], [BEKW20b]). The main technical gap is isolated to one sentence in the proof of Theorem 2.10 and appears to be fixable either by supplying a proof of the filtered-colimit lemma for phantom objects or by restricting the statement to compactly generated/compactly assembled target categories, which cover all the examples listed. If the author addresses this, the paper would be a solid and useful contribution; the current version, however, overstates the generality of the theorem."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"Colleague,\n\nThe paper is a short note proving that for a strong coarse homology theory with weak transfers, the coarse assembly map for a bornological coarse space of weakly finite homotopical asymptotic dimension is a phantom equivalence. The main novelty is the notion of weakly finite homotopical asymptotic dimension and a clean transfer-based argument that avoids the flasqueness technology of [BE20b]. The paper is honest about where it sits relative to [BE20a, Thm 10.4]: weaker conclusion, weaker hypothesis, and it says so in Remark 2.11.\n\nThe proof itself is mostly a pleasure to read: the reduction to the finite homotopical dimension case uses u-continuity and a colimit over entourages; then a compact morphism is killed by the vanishing on the localizing subcategory from Proposition 3.1 and Lemma 3.2, and the split monomorphism condition does the rest.\n\nThe soft spot is exactly the one the stress test flags. The sentence 'Since a filtered colimit of phantom objects is phantom' in the proof of Theorem 2.10 is doing real work, and it is neither proved nor cited. For compactly generated or compactly assembled targets phantom objects are zero, so the statement is trivial there, and all the paper's examples are of that kind. But Theorem 2.10 is stated for an arbitrary cocomplete stable ∞-category C, and in that generality the assertion is not a triviality of Definitions 2.7 and 2.8. The usual compact-object argument does not apply because phantom is defined via compact morphisms, not maps from compact objects. So as written the theorem overshoots its proof. The fix is straightforward: either prove the lemma under a mild hypothesis or restrict the statement to compactly assembled targets and note that the applications are unaffected.\n\nA minor thing: Definition 2.7 is credited to Clausen without a reference; that is easy to fix. The reliance on the author's own prior work is not a problem here; the cited results are established and the dependence is explicit.\n\nThis paper deserves a serious referee. It is a genuine technical advance in the abstract coarse assembly program, short, readable, and the gap is small and local. I would encourage sending it to review, with the expectation that the missing lemma be supplied.","headline":"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.","tokens_in":8926,"tokens_out":2000,"would_cite":true,"duration_ms":18187,"reading_group":"maybe","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["55N20","18N60","51F30"],"pacs":[],"model":"deepseek-v4-flash","headline":"A weak dimension bound still forces the coarse assembly map to be a phantom equivalence.","keywords":["coarse assembly map","phantom equivalence","homotopical asymptotic dimension","bornological coarse spaces","coarse homology theory","weak transfers","coarse Baum-Connes conjecture","stable infinity-category"],"falsifier":"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.","tokens_in":8003,"feed_emoji":"🧩","tokens_out":10338,"duration_ms":87270,"temperature":0.7,"pith_summary":"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.","feed_headline":"Weak dimension bound still forces coarse assembly equivalence","feed_subtitle":"For K-theoretic homology with weak transfers, the assembly map is an equivalence on weakly finite-dimensional spaces.","key_machinery":"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.","core_discovery":"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.","pith_inferences":["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."],"forward_implications":["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."],"supporting_citations":[{"why":"Constructs the coarse assembly map and the framework of coarse homology theories on bornological coarse spaces; supplies the fibre sequence used to define the universal assembly map.","marker":"[BE20a]"},{"why":"Provides the formalism of bornological coarse spaces, the universal coarse homology theory, and Proposition 5.57 used in the proof of Proposition 3.1.","marker":"[BE20b]"},{"why":"Defines strong coarse homology theories and the universal strong theory $Y^{\\mathrm{str}}$ appearing in the assembly fibre sequence.","marker":"[BEKW20b]"},{"why":"Introduces weak transfers and proves the finite-decomposition-complexity analogue that motivates the hypothesis of Theorem 2.10.","marker":"[BEKW19]"},{"why":"Constructs coarse algebraic K-homology with transfers, one of the main examples to which Theorem 2.10 applies.","marker":"[BCKW]"},{"why":"Constructs topological coarse K-homology with transfers, the example that recovers the classical coarse Baum-Connes statement.","marker":"[BE23]"},{"why":"Provides the classical finite-asymptotic-dimension coarse Baum-Connes theorem that Theorem 2.10 recovers in the topological K-theory case.","marker":"[Yu98]"}],"fun_headline_variants":["Weak dimension bound forces phantom equivalence for assembly map","Coarse assembly map is phantom equivalence under weak dimension","Phantom equivalence from weakly finite asymptotic dimension","Dimension bound plus weak transfers yield assembly map equivalence"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"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.","fun_headline_variants_meta":{"raw":{"variants":["Weak dimension bound forces phantom equivalence for assembly map","Coarse assembly map is phantom equivalence under weak dimension","Phantom equivalence from weakly finite asymptotic dimension","Dimension bound plus weak transfers yield assembly map equivalence"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000288,"raw_usage":{"total_tokens":1590,"prompt_tokens":749,"completion_tokens":841,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":365,"completion_tokens_details":{"reasoning_tokens":782}},"tokens_in":365,"tokens_out":841,"duration_ms":7189,"temperature":1.0,"reasoning_tokens":782,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-11T15:38:36.540978+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"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.","supporting_citations":[],"review_version":1}