{"id":"b3205506-b604-4f84-b62c-5a39e792558f","arxiv_id":"2411.18538","paper_version":2,"verdict":"CONDITIONAL","confidence":"LOW","novelty_score":7.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":0,"one_line_summary":"If a proper Γ-space with equivariant bounded geometry equivariantly and coarsely embeds into an admissible Hilbert-Hadamard space, then the rational analytic equivariant coarse Novikov conjecture holds.","lead":"The paper proves a new rational injectivity result for an assembly map in the equivariant coarse Novikov conjecture program. It applies to spaces that equivariantly and coarsely embed into admissible Hilbert-Hadamard spaces, with consequences for positive scalar curvature and higher index theory.","discovery_kind":"extension","skeptic_critique":{"model":"deepseek-v4-flash","headline":"The main proof imports the Bott-map injectivity K*(S)→K*(A(M)) from [GWY21, Thm 2.11]; Proposition 5.7 uses it as the final step, and a failure there would collapse both main theorems.","rationale":"The reader's weakest-assumption analysis correctly isolates the imported Bott-map injectivity from [GWY21, Thm 2.11(2)] as the decisive unproved input. My reading of Section 5 confirms that Proposition 5.7 reduces the rational injectivity of the left column to exactly this statement: after the Künneth isomorphism, the final vertical comparison is 1⊗(β_m)*, and injectivity is justified solely by Theorem 2.11. A failure of this injectivity would prevent the proof of Theorem 1.3 and, through Part II, of Theorem 1.1. The rest of the architecture is elaborate but the critical dependence is clear. I did not find a more local step that is more load-bearing, and I do not see a circularity involving Section 9: bootstrap-class membership supports the Künneth formula but does not imply the Bott map is injective. The appropriate verdict remains CONDITIONAL; the concrete test would either resolve the concern or force a downgrade.","tokens_in":68757,"tokens_out":23239,"duration_ms":227522,"concrete_test":"Independently re-derive [GWY21, Thm 2.11(2)] for the continuum product M[0,1] of a nonflat finite-dimensional Hadamard manifold, using only the definitions in §2.2 and the finite-subset algebras A(M,F) of §9. Write out the long exact sequence or inductive-limit argument that identifies the Bott map (β_m)*:K_*(S)→K_*(A(M[0,1])) and check explicitly that it is injective on both K_0 and K_1. If the re-derivation reveals a kernel, or if it silently invokes the deformation trick or diagram (10), then Proposition 5.7 is not established and the main theorem is unsupported.","verdict_should_be":"UNCHANGED","load_bearing_attack":"The central claim is the rational injectivity of the equivariant coarse Miščenko-Kasparov assembly map. Tracing diagram (10), this is proved by rational injectivity of the left column plus an isomorphism for the twisted assembly map plus rational injectivity of π* in the bottom row. The left column is handled in Section 5: after applying the deformation trick and the Künneth formula, Proposition 5.7 finishes with the assertion that the bottom horizontal map 1⊗(β_m)* is injective 'by Theorem 2.11'. Thus Theorem 2.11(2), the injectivity of (β_{x0})*:K_*(S)→K_*(A(M)) for an admissible Hilbert-Hadamard space M, is a genuinely load-bearing input. The paper states Theorem 2.11 without proof and refers to [GWY21, Sections 5 and 7]; it also needs this for M[0,1], whose admissibility is imported from [GWY21, Prop. 3.13/2.7]. Section 9 proves only that A(M) is in the bootstrap class, not the required Bott injectivity, so this is not independently established in the present text. If (β_m)* had a nonzero kernel, the composition (ev1)*∘(β_L)* would not be rationally injective, and the proofs of both Theorem 1.3 and Theorem 1.1 would fail. This is a stated reliance on prior work rather than an internal inconsistency, but it is the least locally verified condition on which the central argument depends.","agreement_with_reader":"agree"},"referee_report":{"model":"deepseek-v4-flash","summary":"The paper proves two main theorems. Theorem 1.3 states that if a countable discrete group Γ is torsion-free and acts properly and isometrically on a bounded-geometry metric space X which admits a Γ-equivariant coarse embedding into an admissible Hilbert-Hadamard space, then the equivariant coarse assembly map is rationally injective. Theorem 1.1 removes the torsion-free assumption and instead proves rational injectivity of a newly introduced equivariant coarse Miščenko-Kasparov assembly map, whose domain is built from Milnor-Rips complexes of a free and proper Γ-space equivariantly coarsely equivalent to X. The proof uses equivariant twisted Roe algebras and localization algebras with coefficients in the C*-algebra A(M) of an admissible Hilbert-Hadamard space, a deformation trick based on the algebra A[0,1](M), a Mayer-Vietoris/cutting-and-pasting argument for the twisted assembly map, and a rational injection for the map induced by the projection from Milnor-Rips complexes to Rips complexes. The paper also constructs a concrete model Ω_X (the space of linear orders on X) of a compact Γ-space with property TAF and proves that A(M) is in the bootstrap class when M is separable.","tokens_in":69121,"tokens_out":7091,"duration_ms":68012,"significance":"If the proof is completed, the results constitute a substantial advance in the Novikov-conjecture literature: they extend the Hilbert-Hadamard methodology of Gong-Wu-Yu [GWY21] from the cocompact, proper-action setting to general equivariant coarse embeddings with non-free actions, and they supply a new, explicitly weaker conjecture that still implies the classical applications to the Novikov conjecture and positive scalar curvature. The paper is technically rich: it introduces new twisted Roe and localization algebras, a deformation trick, Milnor-Rips complexes for free actions, an order-space model with property TAF, and a proof that A(M) belongs to the bootstrap class. These tools are likely to be useful beyond the present theorems. The paper is also commendably transparent about the fact that its main conjecture is weaker than the equivariant coarse strong Novikov conjecture.","major_comments":[{"comment":"The proof of the rational injectivity of (ev0)_* ∘ (βL)_* is reduced to the assertion that the bottom horizontal map 1⊗(β_m)_* is injective 'by Theorem 2.11'. Theorem 2.11(2), the injectivity of (β_{x0})_* : K_*(S) → K_*(A(M)), is imported from [GWY21] and is not proved in the present paper. This injectivity is load-bearing: tracing diagram (10), the rational injectivity of the left column, and hence the proofs of both Theorem 1.3 and Theorem 1.1, would collapse if this Bott map had a nonzero kernel. The paper should state this dependency explicitly in the introduction and verify that the space M[0,1] used in Proposition 5.7 indeed satisfies the hypotheses of Theorem 2.11(2).","section":"§5, Proposition 5.7 and Theorem 2.11"},{"comment":"The four ideal equalities (1)-(4) in Lemma 6.11 are asserted with the comment that the proof is similar to [Yu00, Lemma 6.3] and that details are left to the reader. This lemma is used directly in the Mayer-Vietoris argument in the proof of Theorem 6.4, which establishes the isomorphism of the twisted assembly map (map (11) in diagram (10)). The intersection formulas (2) and (4), in particular, involve the weak topology on M[0,1] × R+ and the coefficient algebra A(M[0,1]), and are not formally consequences of the non-twisted lemma. A complete proof or a very detailed translation of [Yu00, Lemma 6.3] to this twisted setting should be supplied.","section":"§6, Lemma 6.11"},{"comment":"The Künneth formula of Theorem A.10, which is used in the proof of Proposition 5.7, rests on Lemma A.3 (the quotient isomorphism i_Q) and Lemma A.4 (the vanishing of K-theory of the annihilator ideals). Lemma A.3 is proved, but Lemma A.4 is dismissed with 'an Eilenberg swindle argument similar to [WY20, Lemma 6.4.11], which we leave to the reader'. Since this Künneth formula is load-bearing for the main theorems, the authors should either give the full Eilenberg swindle argument or provide a precise statement in [WY20] together with a detailed verification that the hypotheses apply to the twisted localization algebras considered here.","section":"Appendix A, Lemmas A.3 and A.4"},{"comment":"The proof of the rational injectivity of π_* relies on the ordering map (11) and on the claim that the trace τ_{Ω_X} satisfies τ_{Ω_X}([1_{C(Ω_X)⋊_r Γ}]) = 1. While plausible, the continuity argument for the ordering map and the verification that the constructed trace is well-defined and Γ-invariant are only sketched. Since this lemma is the key new ingredient for the non-torsion-free case, a more detailed treatment of these points would increase confidence in the proof.","section":"§11, Lemma 11.1"}],"minor_comments":[{"comment":"The phrase 'a handful profound K-theoretic conjectures' should be 'a handful of profound K-theoretic conjectures'.","section":"Abstract"},{"comment":"In the display for the angle ∠(α, β), the inner product ⟨¯α_t − ¯α_0, ¯β_s − ¯β_0⟩ uses notation from the comparison triangle but the comparison points are not explicitly defined there; please add a sentence clarifying the notation.","section":"§2, Definition 2.3"},{"comment":"The statement 'Since X is countable' should be justified, since X was only assumed to be a proper Γ-space with bounded geometry. The earlier reduction in Section 3 to a Γ-invariant countable dense subset should be invoked, or the construction of Ω_X should be explicitly restricted to such a net.","section":"§8, after Definition 8.2"},{"comment":"In the proof, the phrase 'Since C0(Mn(R)+, CliffC(Rn)) is a Type I C*-algebra' is correct, but it would be helpful to mention that B0(n) is a closed subalgebra of this Type I algebra and hence Type I, rather than leaving this inference implicit.","section":"§9, Theorem 9.8"}],"recommendation":"major_revision","confidential_remarks":"The paper is ambitious and technically dense, and the main ideas appear sound. The principal concerns are completeness issues in load-bearing steps: Lemma 6.11 is stated without proof, Lemma A.4 is delegated to the reader, and the central Bott-injectivity input is imported from [GWY21]. These are fixable within the scope of a revision. I would not recommend rejection, because the paper is transparent about its dependencies and the omitted arguments are likely to be standard for specialists. The authors should be asked to supply the missing proofs or precise references."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"Short version: this is a serious paper with a real new theorem, and the referee should spend their time on one specific load-bearing import: the Bott map injectivity from [GWY21, Thm 2.11(2)] that Proposition 5.7 leans on.\n\nThe genuinely new content is real. The paper proves rational injectivity of the equivariant coarse Miščenko-Kasparov assembly map for spaces admitting equivariant coarse embeddings into admissible Hilbert-Hadamard spaces, covering the non-cocompact case and groups with torsion. The new rational analytic equivariant coarse Novikov conjecture is a sensible weakening. The technical toolkit is substantial: twisted Roe and localization algebras with coefficients in A(M), annihilation ideals that let the deformation trick run without the Lipschitz bottleneck, the concrete TAF model via linear orders, and the bootstrap-class result for A(M) (Corollary 9.9). These are not cosmetic.\n\nThe soft spot is exactly where the reader put a finger. The proof of Proposition 5.7 ends by invoking Theorem 2.11(2) — the injectivity of K_*(S) → K_*(A(M)) — and that result is imported from [GWY21] without proof here. Section 9 shows A(M) is in the bootstrap class, but that is not the same as Bott injectivity. So the central argument is only as solid as that imported input. That is a stated reliance, not a hidden circularity, and the authors are the right people to have proved it. Still, the referee should check it. A few other lemmas are sketched — Lemma 6.11 and parts of Appendix A — but they look fillable and are not where the main risk sits.\n\nThe paper is honest about what is new and what is imported. The new conjecture is transparently weaker than the strong conjecture. The claims are not over-sold.\n\nWho is it for: anyone working on higher index theory, coarse geometry, or the Novikov conjecture family. It deserves a serious referee. Send it out, ask the referee to verify Theorem 2.11(2) and to look at the deformation-trick lemmas.\n\nMy own view: conditional accept, with the condition being a clean verification of the Bott map input.","headline":"Substantial and credible extension of Novikov-type injectivity to Hilbert-Hadamard targets, with the main risk sitting in the imported Bott-map injectivity from [GWY21].","tokens_in":69647,"tokens_out":2600,"would_cite":true,"duration_ms":24301,"reading_group":"maybe","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["19K56","46L80","53C23","58J22"],"pacs":[],"model":"deepseek-v4-flash","headline":"The paper proves that equivariant coarse embeddability into an admissible Hilbert-Hadamard space makes the equivariant coarse Miščenko-Kasparov assembly map rationally injective, with a stronger conclusion when the group is torsion-free.","keywords":["Novikov conjecture","equivariant coarse Novikov conjecture","Hilbert-Hadamard spaces","coarse embeddings","higher index theory","localization algebras","K-theory","Milnor-Rips complexes"],"falsifier":"Compute $K_*(A(M))$ for an admissible Hilbert-Hadamard space that is neither a finite-dimensional manifold nor a Hilbert space (for instance the continuum product $M^{[0,1]}$ of a positive-dimensional Hadamard manifold with an interval) and check whether the Bott map $S \\to A(M)$ is injective on rationalized K-theory, since the main proof imports exactly this fact; alternatively, exhibit a countable group Γ and a proper Γ-space X with equivariant bounded geometry and a Γ-equivariant coarse embedding into such a space for which the rationalized equivariant coarse Miščenko-Kasparov assembly map has nonzero kernel.","tokens_in":68571,"feed_emoji":"📐","tokens_out":17779,"duration_ms":140362,"temperature":0.7,"pith_summary":"This paper proves that one coarse-geometric condition — equivariant coarse embeddability into an admissible Hilbert-Hadamard space, a complete nonpositively curved (CAT(0)) space of possibly infinite dimension — forces a rational injectivity statement in higher index theory. Concretely, for any countable discrete group Γ acting properly by isometries on a bounded-geometry space X, if X admits a Γ-equivariant coarse embedding into such a space, then the rational analytic equivariant coarse Novikov conjecture holds: the rationalized equivariant coarse Miščenko-Kasparov assembly map is injective (Theorem 1.1). When Γ is torsion-free, the same mechanism proves the stronger rational equivariant coarse strong Novikov conjecture (Theorem 1.3), and when the action is cobounded the result reproduces the classical rational Novikov conjecture for such groups. The result matters because it replaces the earlier hypotheses of an isometric proper action or a Hilbert-space embedding with the much weaker requirement of a coarse embedding, and it yields new obstructions in geometry: a complete Riemannian manifold whose uniformly contractible universal cover coarsely embeds this way admits no metric of uniformly positive scalar curvature (Corollary 1.2).","feed_headline":"Rational Novikov conjecture proved for curved-space coarse embeddings","feed_subtitle":"Coarse embeddability into such a space rationally injects the higher-index map, implying new scalar-curvature results.","key_machinery":"The central object is the noncommutative coefficient algebra $A(M)$ attached to an admissible Hilbert-Hadamard space $M$, generated by functional calculi of Clifford generators $C_{x_0}(x,t)=(-\\log_x(x_0), t)$ at all base points $x_0$; its Bott map $\\beta_{x_0}: S\\to A(M)$ from $S=C_0(\\mathbb{R})$ is rationally injective on K-theory, and the proof imports this injectivity as the essential property of the coefficient algebra. Around $A(M)$ the paper builds equivariant twisted Roe algebras and equivariant twisted localization algebras over the Rips complexes $P_d(X)$, so that the assembly map becomes the evaluation map from localization algebras to Roe algebras, placed inside one large commuting diagram. Two devices carry the argument: a deformation trick in which the Γ-action on the continuum product $M^{[0,1]}$ is continuously homotoped to the trivial action, making the K-theory computable by a Künneth formula for twisted localization algebras; and a cutting-and-pasting argument that slices the twisted algebras into pieces indexed by Γ-slices (balanced products $\\Gamma\\times_F U_0$ for finite subgroups $F$) and reassembles the resulting isomorphisms by Mayer–Vietoris, with equivariant bounded geometry guaranteeing the process terminates. For groups with torsion, the Milnor-Rips complexes $\\widetilde{P}_{d,n}(X)$ — a Milnor-join-style model for free and proper Γ-spaces coarsely equivalent to $X$ — replace the Rips complexes, and rational injectivity of the comparison map $\\pi_*$ is shown using a compact Γ-space with property TAF, concretely the space of all linear orders on $X$, together with a KK-product construction and a Künneth theorem for twisted localization algebras. A further result shows $A(M)$ is a direct limit of type I C$^*$-algebras, hence in the bootstrap class.","core_discovery":"On the paper's own terms, the discovery is that the equivariant coarse Miščenko-Kasparov assembly map $\\nu^\\Gamma_X$, built from the Milnor-Rips complexes $\\widetilde{P}_{d,n}(X)$ that classify the free and proper Γ-spaces equivariantly coarsely equivalent to $X$, becomes injective after tensoring with $\\mathbb{Q}$ whenever the proper Γ-space $X$ admits a Γ-equivariant coarse embedding into an admissible Hilbert-Hadamard space. This is the statement the paper introduces as the rational analytic equivariant coarse Novikov conjecture; it generalizes the rational analytic Novikov conjecture and interpolates between the classical Miščenko-Kasparov assembly map (cobounded Γ-action) and the coarse assembly map (trivial group). For torsion-free Γ the Milnor-Rips complexes coincide with the ordinary Rips complexes, and the proof yields the stronger Theorem 1.3: the equivariant coarse assembly map $\\mu^\\Gamma_X$ is rationally injective, i.e., the rational equivariant coarse strong Novikov conjecture holds. Both theorems are driven by a single commuting diagram whose left column is rationally injective — via a deformation trick that continuously trivializes the Γ-action on a larger coefficient algebra — and whose bottom row is an isomorphism — via a cutting-and-pasting argument over Γ-slices whose length is controlled by equivariant bounded geometry.","pith_inferences":["Since no metric space of bounded geometry is known to fail coarse embeddability into some CAT(0) space, this theorem suggests the rational analytic equivariant coarse Novikov conjecture may hold for all bounded-geometry spaces; the paper's machinery gives a concrete route for testing that possibility case by case.","The linear-orders model of a property-TAF space is a general recipe for replacing a proper group action by a free one while preserving coarse geometry, a device likely reusable beyond this paper in equivariant index theory.","The localization-algebra KK-products and Künneth formulas developed here plausibly transfer to other coefficient algebras, such as maximal Roe algebras or $\\ell^p$-geometric settings, where they could turn rational statements into integral ones if the underlying Bott map is integrally injective.","One concrete testable extension of Corollary 1.2 is to prove coarse embeddability into Hilbert-Hadamard spaces for universal covers of aspherical or large-scale-contractible manifolds that resist Hilbert-space embeddings, which would yield new uniformly-positive-scalar-curvature obstructions."],"forward_implications":["In the cobounded case, Theorem 1.1 recovers the rational Novikov conjecture for countable groups acting properly and isometrically on admissible Hilbert-Hadamard spaces, which in turn implies the classical Novikov conjecture and the Gromov-Lawson conjecture for such groups.","For complete Riemannian manifolds whose universal cover is uniformly contractible, coarse embeddability into an admissible Hilbert-Hadamard space rules out metrics of uniformly positive scalar curvature (Corollary 1.2).","When Γ is torsion-free, the conclusion strengthens to rational injectivity of the equivariant coarse assembly map $\\mu^\\Gamma_X$, i.e., the rational equivariant coarse strong Novikov conjecture.","With Γ trivial, every bounded-geometry space coarsely embeddable into an admissible Hilbert-Hadamard space satisfies the rational coarse Novikov conjecture, extending what is known from Hilbert-space embeddings to a much larger class of targets.","The coefficient algebra $A(M)$ is shown to be a direct limit of type I C$^*$-algebras, hence in the bootstrap class, a structural fact used to make the Künneth computations rigorous and of independent interest in K-theory."],"supporting_citations":[{"why":"Introduces admissible Hilbert-Hadamard spaces and the coefficient C*-algebra A(M) with the rationally injective Bott map (Theorem 2.11) that this paper imports as its foundational K-theoretic input.","marker":"[GWY21]"},{"why":"Supplies the localization-algebra method that proved the coarse Baum-Connes conjecture for Hilbert-space embeddings, the template for the twisted Roe and twisted localization algebras used here.","marker":"[Yu00]"},{"why":"Defines the Baum-Connes assembly map and the classifying space for proper actions; its rational injectivity result for the map RK^Γ_*(EΓ) → RK^Γ_*(EΓ) is the statement Corollary 11.2 extends beyond the cocompact case.","marker":"[BCH94]"},{"why":"Contributes the notion of compact Γ-spaces with property TAF and the real-coefficient KK-theory method that the paper reimplements in localization-algebra language for groups with torsion.","marker":"[AAS20]"},{"why":"Introduces the Milnor-Rips complexes gP_{d,n}(X) that provide the classifying model for free and proper Γ-spaces feeding the equivariant coarse Miščenko-Kasparov assembly map.","marker":"[Yu95a]"},{"why":"Provides the equivariant localization algebra framework and the local index isomorphism used to identify the assembly map with an evaluation map on K-theory.","marker":"[KY12]"},{"why":"Constructs the earlier equivariant twisted algebras for coarse embeddings into Hilbert space; the present paper simplifies that construction and repairs a gap in its cutting-and-pasting step (Remark 6.5).","marker":"[FW16]"},{"why":"Establishes equivariant KK-theory and the Dirac-dual-Dirac method whose coarse analogue — Bott map plus deformation trick — structures the main diagram.","marker":"[Kas88]"}],"fun_headline_variants":["Hilbert-Hadamard target rationally injects equivariant coarse assembly map","Coarse embedding into Hilbert-Hadamard proves rational Novikov conjecture","Equivariant Hilbert-Hadamard embeddings imply rational index injectivity","Novikov-type conjecture holds for coarse Hilbert-Hadamard embeddings"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"The whole argument rests on a borrowed technical property — the rational injectivity of the Bott map for the coefficient algebra A(M) — and if that property failed, the main diagram would lose its injectivity and both theorems would collapse.","fun_headline_variants_meta":{"raw":{"variants":["Hilbert-Hadamard target rationally injects equivariant coarse assembly map","Coarse embedding into Hilbert-Hadamard proves rational Novikov conjecture","Equivariant Hilbert-Hadamard embeddings imply rational index injectivity","Novikov-type conjecture holds for coarse Hilbert-Hadamard embeddings"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000814,"raw_usage":{"total_tokens":3670,"prompt_tokens":1151,"completion_tokens":2519,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":767,"completion_tokens_details":{"reasoning_tokens":2443}},"tokens_in":767,"tokens_out":2519,"duration_ms":18682,"temperature":1.0,"reasoning_tokens":2443,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-12T11:05:59.471548+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"Compute $K_*(A(M))$ for an admissible Hilbert-Hadamard space that is neither a finite-dimensional manifold nor a Hilbert space (for instance the continuum product $M^{[0,1]}$ of a positive-dimensional Hadamard manifold with an interval) and check whether the Bott map $S \\to A(M)$ is injective on rationalized K-theory, since the main proof imports exactly this fact; alternatively, exhibit a countable group Γ and a proper Γ-space X with equivariant bounded geometry and a Γ-equivariant coarse embedding into such a space for which the rationalized equivariant coarse Miščenko-Kasparov assembly map has nonzero kernel.","supporting_citations":[],"review_version":1}