{"id":"a782db24-4a14-499b-9e53-f0db25f0ed47","arxiv_id":"2507.10816","paper_version":2,"verdict":"CONDITIONAL","confidence":"MODERATE","novelty_score":7.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":0,"one_line_summary":"The paper proves new cases of Roe's conjecture that the transgression of the algebraic coarse character map coincides with the Chern character on a Higson corona.","lead":"A math note proves new cases of a 1993 conjecture by John Roe, which compares two ways of computing complex numbers from K-theory classes of operators on manifolds at infinity. The authors introduce an algebraic assembly map and show the equality holds on R^n for every algebraic K-theory class, not just classes coming from Dirac operators.","discovery_kind":"new_method","skeptic_critique":{"model":"deepseek-v4-flash","headline":"Theorem C, the paper's main unconditional application, rests entirely on the unpublished Bunke–Engel result [BE]; the in-paper sketch does not establish the needed coarse-homology-theory axioms for KH_*(B_M), so the central claim is currently unverified.","rationale":"The reader's weakest_assumption identifies exactly the same load-bearing point: Theorem C depends on the unpublished Bunke–Engel comparison isomorphism. My stress-test does not find an internal contradiction in the main diagram or in the KH-theoretic reduction; the argument from surjectivity of the assembly map and injectivity of eta_top to the commutativity of diagram (3.5) is coherent, and the use of KH-theory to bypass the non-well-definedness of the odd algebraic assembly map is a reasonable device. The remaining issue is epistemic rather than internal: the paper's only unconditional new case is gated by an unavailable reference. The odd-case dependence on a choice of polynomial is acknowledged by the authors, and because the Chern character factors through KH-theory, it does not threaten Theorem 3.4. The Moscovici–Wu comparison is cited to a published source and, while dense, is a standard-type argument; I do not see a more load-bearing gap there. Thus the reader's CONDITIONAL verdict is appropriate: accept if [BE] becomes available and the sketched point/comparison argument is supplied. No verdict change is needed.","tokens_in":13176,"tokens_out":7128,"duration_ms":94931,"concrete_test":"Independently verify the [BE] input for M = R^n: (1) compute KH_*(B_pt) from Cortiñas–Thom and check that the comparison map KH_*(B_pt) -> Ktop_*(C*pt) is an isomorphism; (2) check coarse invariance by showing that the coarse equivalence [0,∞) -> pt induces an isomorphism KH_*(B_[0,∞)) -> KH_*(B_pt), with the odd-degree group vanishing; (3) if (1) and (2) hold, assemble the Mayer–Vietoris argument for R^n to conclude that eta_top is an isomorphism. Failure at step (2) or (3) would invalidate Corollary 3.5; absence of a public [BE] preprint leaves the claim unverifiable.","verdict_should_be":"UNCHANGED","load_bearing_attack":"Corollary 3.5 is the only place where the hypotheses of Theorem B are verified, and it is verified by invoking the unpublished preprint [BE]. The paper's justification that KH_*(B_M) -> Ktop_*(C*M) is an isomorphism for R^n is compressed into the sentence that 'both sides are coarse homology theories' and that checking a point follows from Cortiñas–Thom. This is not a proof the reader can audit: the paper does not show that KH_*(B_M) is a coarse homology theory in the required sense (coarse invariance, excision, and continuity for the Rips filtration are nontrivial for the algebra B_M), and the point computation is only asserted. Since no other example satisfying Theorem B's assumptions is provided, Theorems B and C stand or fall with [BE]. The authors are candid about this dependency, and the internal arguments up to Theorem B are plausible, but the advertised new case—R^n with arbitrary algebraic K-theory classes—is not independently checkable from the present text.","agreement_with_reader":"agree"},"referee_report":{"model":"deepseek-v4-flash","summary":"The paper investigates a conjecture of Roe on the algebraic coarse character map for the algebra B_M of finite propagation, locally trace-class operators on a proper metric space M. The central equality (1.1) compares the pairing of the algebraic Chern character of a class in K^alg_*(B_M) with the transgressed Chern character of a class on a Higson-dominated corona N to the usual index-pairing of the image of the class in K^top_*(C*M) with the corona class. The authors introduce an algebraic assembly map A^alg from 1-summable Fredholm modules to K^alg_*(B_M), prove commutativity of a large diagram on the image of this map (Theorem A / Theorem 3.3), and then use Weibel's homotopy K-theory KH_*(B_M) to extend the result to all algebraic K-theory classes under two hypotheses: surjectivity of the Baum-Connes assembly map and injectivity of the comparison map KH_*(B_M) -> K^top_*(C*M) (Theorem B / Theorem 3.4). As the only verified example, they claim R^n satisfies these hypotheses via an unpublished result of Bunke-Engel, yielding Theorem C.","tokens_in":13341,"tokens_out":8771,"duration_ms":95926,"significance":"If the arguments hold, Theorem B is a substantial conditional advance over Roe's original result and over the earlier paper [LT25]: it covers arbitrary algebraic K-theory classes of B_M for complete manifolds satisfying two natural assumptions, and it gives a new, genuinely non-Dirac-operator example in Theorem C for R^n. The paper is carefully structured and unusually honest about its own limitations, explicitly flagging the dependence on [BE] and the unresolved dependence of A^alg on the auxiliary polynomial in the odd case. The introduction of the algebraic assembly map and the use of KH-theory to bypass the failure of A^alg to be surjective are useful ideas. However, the main advertised new case, Theorem C, is not independently verifiable from the present text because it rests entirely on the unpublished preprint [BE] by one of the authors.","major_comments":[{"comment":"The algebraic assembly map A^alg is not shown to be a well-defined map to K^alg_*(B_M). In the odd case, A^alg(T) = [phi(P)] depends on the auxiliary polynomial phi satisfying conditions (i)-(iii), as Remark 4.1(i) concedes; in general, the construction is made only on the set of 1-summable Fredholm modules and is explicitly not shown to descend to equivalence classes. Since Theorem A and Theorem 3.3 quantify over classes 'in the image' of A^alg, this image is not a well-defined subset of K^alg_*(B_M). The paper later uses only the composite chi o ch o A^alg, where the ambiguity disappears, so the argument may be repairable, but the main statements as written are ambiguous and should be reformulated, for example by quantifying over every admissible 1-summable Fredholm module and every admissible choice of phi.","section":"§4.1 and Remark 4.1(i), Theorem 3.3"},{"comment":"Theorem C rests entirely on the unpublished preprint [BE] of Bunke and Engel, whose first author is also the first author of the present paper. The in-text justification that both sides of KH_*(B_M) -> K^top_*(C*M) are coarse homology theories and that the point check follows from Cortinas-Thom is only asserted, and is not a proof the reader can audit. In particular, the paper does not verify that KH_*(B_M) satisfies the required coarse-homology-theory axioms such as coarse invariance, excision, and Rips continuity for the algebra B_M, nor does it give the point computation. Since Corollary 3.5 is the only place where the hypotheses of Theorem B are verified, the advertised new case (R^n for arbitrary algebraic K-theory classes) is not independently checkable from the present text. I ask the authors either to include a complete proof or to state the R^n result explicitly as conditional on [BE].","section":"Corollary 3.5 and the paragraph after Theorem 3.4"},{"comment":"The proof passes from 1-summable to p-summable Fredholm modules and from the algebra B_M to the larger algebra B^p_M, invoking the assertion that the inclusion B_M -> B^p_M induces an isomorphism on KH-theory. The theorem, however, is stated for B_M, and the transfer of the class A^alg(T) from K^alg_*(B^p_M) back to K^alg_*(B_M) is not carried out explicitly. In particular, compatibility of the KH-isomorphism with the comparison maps eta_top and eta_KH and with the Chern character is not shown. This is a gap in the proof chain and should be filled with a few precise sentences identifying KH_*(B_M) with KH_*(B^p_M) in a way compatible with all arrows in diagrams (3.8) and (3.9).","section":"Proof of Theorem 3.4, footnote 3, and Remark 3.6"}],"minor_comments":[{"comment":"In the statement of Theorem A in the introduction, 'K^alg_*(M)' should be 'K^alg_*(B_M)', consistent with Theorem 3.3 and the rest of the paper.","section":"Introduction, Theorem A"},{"comment":"The phrase 'for * = {0, 1}' should be 'for * in {0, 1}'.","section":"Theorem 3.4 statement"},{"comment":"The displayed formulas for ch([P]) and ch([U]) contain typographical artifacts such as 'bracehtipupleft'; these should be cleaned up.","section":"§2.2"},{"comment":"The wording 'N is a Higson dominated, finite complex' should be harmonized with the hypotheses used elsewhere, namely that N is a metrizable, Higson-dominated corona such that (R^n ⊆ N, N) is a finite CW-pair.","section":"Corollary 3.5"},{"comment":"Remark 4.1(ii) invokes [BE] for Bott periodicity of KH_*(B_M); like Corollary 3.5, this remark is conditional until [BE] is available, and this should be stated explicitly.","section":"Remark 4.1(ii)"}],"recommendation":"major_revision","confidential_remarks":"The central concern is the reliance on the unpublished preprint [BE] for the only worked example. This is not a question of the authors' honesty, which is exemplary, but of independent verifiability. If the editorial policy permits conditional results based on in-preparation work by an author, the paper could be accepted after the reformulations suggested in the major comments; otherwise, Theorem C should be deferred until [BE] is available. The paper is otherwise well within the journal's scope and contains useful ideas that are likely to be of interest to the community."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"The paper is a genuinely useful note: it introduces a new algebraic assembly map, reduces Roe's conjecture to a clean commutativity statement, and proves new cases, including the first unconditional statement for all algebraic K-theory classes on R^n (modulo the status of [BE]). The authors are unusually candid about what they can and cannot prove; the write-up is careful and the diagram chase in Theorem 3.4 is sound. The algebraic assembly map A^alg is a real contribution, and the Moscovici-Wu / Connes-Moscovici comparison is handled with appropriate care.\n\nThe soft spots are concentrated in the last step. Theorem B is conditional on two hypotheses, and the only place they are verified is R^n, which uses the unpublished Bunke-Engel preprint [BE]. The in-paper sketch ('both sides are coarse homology theories') is not an auditable proof: the axioms for KH_*(B_M) as a coarse homology theory are nontrivial, and the point computation via Cortiñas-Thom is only asserted. Since [BE] is by the first author and in preparation, this is not independent verification. For a referee, this is the make-or-break point. The reader's conditional verdict is right: the paper's own framework is plausible, but the advertised R^n application currently stands on an unavailable reference.\n\nMinor issues: the odd-case assembly map A^alg depends on the choice of polynomial φ; the authors show the difference dies after the Chern character, which is enough for their use, but it is still a small gap in the definition. Remark 4.1(ii) acknowledges an omitted comparison argument; again, not critical for the main theorem but worth closing. These are minor.\n\nThe paper deserves peer review. If [BE] appears or the coarse-homology-theory verification is written out, this is a solid contribution to the index theory / coarse geometry literature. Even in the current state, the algebraic assembly map and the reduction machinery are valuable and reproducible. I would accept this for peer review and suggest the authors attach the [BE] argument or provide a detailed appendix. I would cite the algebraic assembly map in my own work if I work in that area. I won't bring it to the reading group I run, because the unpublished dependency makes it hard to present as a finished result.","headline":"A clean, honest note that proves new cases of Roe's conjecture conditional on an unpublished result; the core reductions are solid but the advertised R^n application currently rests on [BE].","tokens_in":13947,"tokens_out":2066,"would_cite":true,"duration_ms":24374,"reading_group":"maybe","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["19K56","19D55","46L80"],"pacs":[],"model":"deepseek-v4-flash","headline":"The paper proves that transgression of the algebraic coarse character map to a Higson-dominated corona equals the ordinary Chern character when the analytic assembly map is surjective and the comparison map from homotopy K-theory is…","keywords":["algebraic K-theory","coarse geometry","Higson corona","Roe algebra","cyclic homology","Chern character","assembly map","KH-theory"],"falsifier":"Compute both sides of (1.1) for $M=\\mathbb{R}^n$ with a specific non-Dirac algebraic class, such as a class built from a non-trivial idempotent in $B_{\\mathbb{R}^n}$, paired with a pullback class from a finite CW Higson corona; if the trace-side pairing differed from the index-side pairing while the comparison map $\\eta_{\\mathrm{top}}$ remained an isomorphism, the central claim would be false. A more direct check is to verify the Bunke-Engel isomorphism $KH_*(B_{\\mathbb{R}^n})\\to K^{\\mathrm{top}}_*(C^*\\mathbb{R}^n)$ on explicit generators, since any failure there would break Theorem C.","tokens_in":12916,"feed_emoji":"🧮","tokens_out":8283,"duration_ms":104447,"temperature":0.7,"pith_summary":"The paper pursues Roe's old conjecture that a certain algebraic K-theoretic pairing, built from traces of finite-propagation, locally trace-class operators, agrees with the ordinary topological index pairing on the Higson corona at infinity. Roe proved this for classes coming from generalized Dirac operators; the paper tries to prove it for all algebraic K-theory classes of the algebra $B_M$, under conditions that reduce the question to known surjectivity and injectivity of assembly-type maps. The central result is a transgression theorem: if the analytic assembly map is surjective and the comparison map from homotopy K-theory to topological K-theory is injective, then the equality holds for every class $\\xi$ in $K^{\\mathrm{alg}}_*(B_M)$, $*\\in\\{0,1\\}$, against every pullback class from a Higson-dominated finite CW corona. As a consequence, using a recent result of Bunke and Engel, the equality holds unconditionally for $M=\\mathbb{R}^n$. A sympathetic reader should care because this turns an analytic trace identity — a 'quantization' statement that an operator trace computes an integer index — into a structural statement about assembly maps.","feed_headline":"All algebraic K-theory classes satisfy Roe's index equality on R^n","feed_subtitle":"Under surjectivity of assembly and injectivity of a comparison map, operator traces compute the right index.","key_machinery":"The load-bearing object is the algebraic assembly map $A^{\\mathrm{alg}}$, which sends a 1-summable even or odd Fredholm module $T$ on $M$ to a class in $K^{\\mathrm{alg}}_*(B_M)$ by truncating $T$ to finite propagation with a partition of unity, passing to the quotient $A_M/B_M$, and taking an algebraic K-theory boundary map or a polynomial functional calculus. It is designed so that it commutes with the usual analytic assembly map after applying the comparison map to topological K-theory. The second mechanism is a large commuting diagram linking K-theory, periodic cyclic homology, coarse homology, and corona homology: the algebraic Chern character $\\mathrm{ch}: K^{\\mathrm{alg}}_*(B_M)\\to HP_*(B_M)$, the coarse character map $\\chi: HP_*(B_M)\\to HX^{\\mathrm{per}}_*(M)$, the transgression map $T_N: HX^{\\mathrm{per}}_*(M)\\to \\tilde H^{\\mathrm{per}}_{*-1}(N)$, and the Chern character on K-homology. Weibel's $KH$-theory is grafted into the diagram so that the comparison maps factor through it; injectivity of $\\eta_{\\mathrm{top}}$ is what lets an arbitrary algebraic class be treated as an algebraic assembly class, and surjectivity of the analytic assembly map supplies the Fredholm module representative.","core_discovery":"The paper's central claim is that the transgression of the algebraic coarse character map to a Higson-dominated corona coincides with the ordinary Chern character on that corona, in the sense that equation (1.1) holds: $\\langle \\chi\\,\\mathrm{ch}(\\xi), T\\,\\mathrm{ch}(x)\\rangle = \\langle \\iota_*\\xi, x\\rangle$. For a complete Riemannian manifold $M$ with a finite CW compactification by a Higson-dominated corona $N$, the paper proves this equality for all $\\xi\\in K^{\\mathrm{alg}}_*(B_M)$, $*\\in\\{0,1\\}$, and all pullback classes $x$, provided the analytic assembly map $K^{\\mathrm{lf}}_*(M)\\to K^{\\mathrm{top}}_*(C^*M)$ is surjective and the comparison map $\\eta_{\\mathrm{top}}: KH_*(B_M)\\to K^{\\mathrm{top}}_*(C^*M)$ is injective. The proof enlarges the relevant diagram with Weibel's homotopy K-theory: both the algebraic Chern character and the comparison map factor through $KH_*(B_M)$, so injectivity of $\\eta_{\\mathrm{top}}$ lets one replace an arbitrary algebraic class by the algebraic assembly class of a summable Fredholm module, where a local index formula supplies commutativity. The authors present the result not as a new construction of characters, but as a validation that two independent pairings — the trace-theoretic coarse pairing and the topological pairing on the corona — always agree under these structural hypotheses.","pith_inferences":["Beyond the paper, the same $KH$-bridge suggests a general recipe: for any uniformly contractible space whose analytic assembly map is an isomorphism and whose comparison map $\\eta_{\\mathrm{top}}$ is injective, the equality should hold for all algebraic classes and all pullback corona classes, with $\\mathbb{R}^n$ serving as the model case.","Beyond the paper, Remark 4.1's observation that the odd algebraic assembly map depends on a chosen polynomial $\\varphi$ hints that a refined statement in $K^{\\mathrm{alg}}_1$ might be sensitive to finer invariants than the Chern character captures; the present theorem is insensitive to this because the Chern character factors through $KH$-theory.","Beyond the paper, an explicit family of manifolds satisfying the two hypotheses would turn Theorem B into a testable machine: for each such family, verifying (1.1) on a dense set of classes reduces to a finite trace calculation, since the structural hypotheses are global and independent of the specific K-class."],"forward_implications":["For any complete Riemannian manifold satisfying the two hypotheses of Theorem B, Roe's question has an affirmative answer for all algebraic K-theory classes in degrees 0 and 1, not just for coarse index classes of Dirac operators.","For $M=\\mathbb{R}^n$, equation (1.1) holds for every class in $K^{\\mathrm{alg}}_*(B_{\\mathbb{R}^n})$ against every pullback class from a Higson-dominated, finite CW corona $N$; no extra geometric condition on the class is needed.","The equality is a quantization result: the left-hand operator-trace pairing, which a priori takes complex values, is shown to coincide with the integer-valued topological index pairing.","The same result holds for the larger algebras $B^p_M$ of finite-propagation, locally $p$-summable operators, because the quotient $B^p_M/B_M$ is nilpotent and $KH$-theory is nil-invariant.","Because the Chern character and the comparison map factor through $KH$-theory, the equality is stable under nilpotent and ideal-type perturbations of the algebra, indicating a homotopy-invariant K-theoretic mechanism behind the trace identity."],"supporting_citations":[{"why":"Supplies the algebra $B_M$, the coarse character map, the original special case of (1.1) for Dirac-type classes, and poses the general question.","marker":"[Roe93]"},{"why":"The in-preparation result that $KH_*(B_{\\mathbb{R}^n})\\to K^{\\mathrm{top}}_*(C^*\\mathbb{R}^n)$ is an isomorphism, which is the decisive input for Theorem C.","marker":"[BE]"},{"why":"Provides the comparison between algebraic and topological K-theory of locally convex algebras used to check the comparison map on a point and to support Bott periodicity in $KH$-theory.","marker":"[CT08]"},{"why":"Supplies the index-theoretic commutativity between the Connes-Chern character and the algebraic assembly map, the core analytical ingredient of Diagram (4.4).","marker":"[MW94]"},{"why":"Provides the coarse character maps and a prior proof of (1.1) for general proper metric spaces but only for specific coarse cohomology classes.","marker":"[LT25]"},{"why":"Gives the identification of the relative dual algebra with $C^*_N M$ and the isomorphism to reduced analytic K-homology of the corona, used for the transgression map $\\tau_N$.","marker":"[HR00]"},{"why":"Supplies the equivalence between geometric, analytic, and topological pictures of K-homology for finite CW pairs, needed to switch pictures in the main diagram.","marker":"[BHS07]"}],"fun_headline_variants":["Roe's coarse character conjecture proved for Higson corona","Algebraic coarse character matches Chern character on corona","Operator traces yield right index on Higson-dominated manifolds","Transgressed algebraic character equals Chern character","Roe's equality holds for all algebraic K-theory classes"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"The load-bearing premise is the unpublished Bunke-Engel result that the comparison map $KH_*(B_{\\mathbb{R}^n})\\to K^{\\mathrm{top}}_*(C^*\\mathbb{R}^n)$ is an isomorphism; Theorem C stands on it, and its proof is only sketched, with one of its authors being the first author of the present paper.","fun_headline_variants_meta":{"raw":{"variants":["Roe's coarse character conjecture proved for Higson corona","Algebraic coarse character matches Chern character on corona","Operator traces yield right index on Higson-dominated manifolds","Transgressed algebraic character equals Chern character","Roe's equality holds for all algebraic K-theory classes"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000753,"raw_usage":{"total_tokens":3321,"prompt_tokens":885,"completion_tokens":2436,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":501,"completion_tokens_details":{"reasoning_tokens":2359}},"tokens_in":501,"tokens_out":2436,"duration_ms":22103,"temperature":1.0,"reasoning_tokens":2359,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-06T17:24:22.029428+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"Compute both sides of (1.1) for $M=\\mathbb{R}^n$ with a specific non-Dirac algebraic class, such as a class built from a non-trivial idempotent in $B_{\\mathbb{R}^n}$, paired with a pullback class from a finite CW Higson corona; if the trace-side pairing differed from the index-side pairing while the comparison map $\\eta_{\\mathrm{top}}$ remained an isomorphism, the central claim would be false. A more direct check is to verify the Bunke-Engel isomorphism $KH_*(B_{\\mathbb{R}^n})\\to K^{\\mathrm{top}}_*(C^*\\mathbb{R}^n)$ on explicit generators, since any failure there would break Theorem C.","supporting_citations":[],"review_version":1}