Pith. sign in

REVIEW 3 major objections 5 minor 5 references

Transgressing the algebraic coarse character map

T0 review · 3 major / 5 minor · reviewed 2026-08-06 · deepseek-v4-flash

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

Pith's one-line read 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…

desk verdict 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]. read the letter →

arxiv 2507.10816 v2 pith:Y756EYRT submitted 2025-07-14 math.KT math.MG

Alexander Engel , Matthias Ludewig This is my paper · ORCID
classification math.KTmath.MG MSC 19K5619D5546L80
keywords algebraicK-theorycoarsegeometryHigsoncoronaRoealgebracyclichomologyCherncharacterassemblymapKH-theory
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

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.

What carries the argument

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.

What would settle it

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.

Watch

Extended reading notes

Core claim

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.

Load-bearing premise

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.

Editorial extensions

If this is right

  • 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.

Reading between the lines

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

  • 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.
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

3 major / 5 minor

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.

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 (3)
  1. [§4.1 and Remark 4.1(i), Theorem 3.3] 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.
  2. [Corollary 3.5 and the paragraph after Theorem 3.4] 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].
  3. [Proof of Theorem 3.4, footnote 3, and Remark 3.6] 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).
minor comments (5)
  1. [Introduction, Theorem A] 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.
  2. [Theorem 3.4 statement] The phrase 'for * = {0, 1}' should be 'for * in {0, 1}'.
  3. [§2.2] The displayed formulas for ch([P]) and ch([U]) contain typographical artifacts such as 'bracehtipupleft'; these should be cleaned up.
  4. [Corollary 3.5] 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.
  5. [Remark 4.1(ii)] 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.

Circularity Check

2 steps flagged · score 8.0 of 10

Theorem C, the paper's only unconditional application, rests entirely on the unpublished, first-author joint preprint [BE]; the in-paper sketch does not supply the proof, so the central advertised result is forced by a self-citation chain.

  1. self citation load bearing [Section 3.2, paragraph after proof of Theorem 3.4, leading to Corollary 3.5]
    "A case where both assumptions of the above theorem are satisfied is the following. It is well-known that the coarse assembly map is an isomorphism for M = Rn, and a recent result of Bunke–Engel [BE] implies that the comparison map KH∗(BM )→Ktop ∗ (C∗M ) is also an isomorphism for M = Rn. Briefly put, the reason for this latter claim is that both sides are coarse homology theories, so that the comparison map begin an isomorphism follows from the fact that it is an isomorphism on a point by results of Cortiñas–Thom [CT08]."

    Corollary 3.5 is the only place where the hypotheses of Theorem B are verified, and it is verified exclusively by invoking the unpublished, in-preparation Bunke–Engel result [BE], whose first author is the first author of the present paper. The paper's justification is a one-sentence sketch; it does not prove that KH_*(B_M) is a coarse homology theory in the required sense, nor does it carry out the point computation. Thus the advertised unconditional R^n statement (Theorem C) has no independently checkable proof in this text: its central premise is imported from a self-citation rather than derived or externally verified.

  2. other [Remark 4.1(ii)]
    "Using results of Cortiñas–Thom [CT08] one can prove that KH∗(BM ) satisfies Bott periodicity [BE]; especially we get KH−1(BM )∼= KH1(BM ) via multiplication with the Bott element. We believe that ∂[P ] and Aalg(T ) coincide after passing to KH-theory and applying this isomorphism but decided to not carry out this argument here since we solely work with Aalg(T ) in our diagrams."

    This is an explicit admission of an omitted proof: the Bott-periodicity statement and the comparison of the two boundary classes are attributed to [BE] and to a belief, not carried out. Although the paper says it does not rely on this argument, the passage underscores that [BE] is being used as a black box for essential KH-theory facts, reinforcing the load-bearing self-citation identified in Theorem C.

full rationale

Up to Theorem B, the paper's conditional derivation is not circular: the reduction of (1.1) to commutativity of Diagram (3.5) is legitimate, the commutativity is proved on the image of the algebraic assembly map using Moscovici–Wu, Connes–Moscovici, and Higson–Roe facts, and the passage through Weibel's KH-theory is a genuine factorization rather than an assumption of the conclusion. The difficulty is the advertised unconditional application. Theorem C verifies the hypotheses of Theorem B for R^n solely through the unpublished, in-preparation preprint [BE] by Bunke and Engel, where Engel is the first author of the present paper. The in-paper sketch (both sides are coarse homology theories and the map is an isomorphism on a point) is not a proof a reader can audit: the paper does not verify the coarse-homology-theory axioms for KH_*(B_M) or compute the point case. Remark 4.1(ii) similarly cites [BE] for Bott periodicity and explicitly declines to carry out a needed comparison. Because no other example satisfying Theorem B's assumptions is established, the paper's central new case stands or falls with a self-citation. This is a load-bearing self-citation chain rather than an equivalence by construction, so the score is high but not maximal.

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

Pure mathematics paper; no numbers are fitted to data and no ad hoc constants are introduced. The proof rests on standard results, explicit hypotheses, and the unpublished [BE] result, all listed above.

assumptions (7)
  • domain assumption M is a complete Riemannian manifold (or proper metric space) and (M_N,N) is a finite CW-pair with N a Higson-dominated corona.
    Standing assumptions of Theorems A, B, C; needed for the topological vs analytic K-homology comparison [BHS07] and for the transgression/duality in Section 3.1.
  • standard math For a metrizable Higson-dominated corona N, the K-theory of the relative dual algebra is isomorphic to reduced analytic K-homology of N (Higson-Roe, [HR00, Thm 6.5.1]).
    Used in Lemma 2.2 to define tau_N and to compare index pairings.
  • standard math The quotient B^pM/B_M is nilpotent, so KH_*(B_M) is isomorphic to KH_*(B^pM) by nil-invariance of KH-theory.
    Invoked in Remark 3.6 to extend the main theorem from 1-summable to p-summable Fredholm modules; stated without proof here.
  • standard math Moscovici-Wu's comparison [MW94] identifies the composition chi o ch o A^alg with the Connes-Chern character composed with c on finitely summable Fredholm modules.
    Section 4.2: the paper extracts this from [MW94] but does not reprove it; it is the bridge between algebraic and analytic Chern characters.
  • standard math Every locally finite K-homology class of a smooth manifold is representable by a summable generalized Dirac operator (footnote 2).
    Used in the proof of Theorem 3.4 to replace arbitrary K-homology classes by summable Fredholm modules.
  • domain assumption Bunke-Engel [BE]: the comparison map KH_*(B_{R^n}) -> K^top_*(C*R^n) is an isomorphism.
    Load-bearing for Corollary 3.5 / Theorem C. The preprint is 'In preparation' and not publicly available; one author overlaps with the present paper.
  • domain assumption In Theorem B, the Baum-Connes assembly map A: K^lf_*(M) -> K^top_*(C*M) is surjective and the comparison map eta_top: KH_*(B_M) -> K^top_*(C*M) is injective.
    These are explicit hypotheses of Theorem 3.4; the paper only verifies them for R^n, via [BE].

how reviews work

0 comments
Cite this review

Pith. "Pith review of Transgressing the algebraic coarse character map." pith.science (2026). https://pith.science/paper/Y756EYRT

@misc{pith2026250710816,
  author       = {Pith},
  title        = {Pith review of: Transgressing the algebraic coarse character map},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/Y756EYRT}},
  note         = {Machine review of arXiv:2507.10816}
}
read the original abstract

We pursue an old conjecture of John Roe about the algebraic K-theory of the algebra of finite propagation, locally trace-class operators, namely that transgressing the algebraic coarse character map on this algebra to a Higson dominated corona coincides with the usual Chern character on the corona.

Discussion (0). Continue with ORCID to comment.

Reference graph

Works this paper leans on

5 extracted references · 3 canonical work pages

  1. [38]

    Coarse KH-homology

    Proc. Symp. Pure Math. Amer. Math. Soc. 1982, pp. 117–173. [BE] U. Bunke and A. Engel. “Coarse KH-homology”. In preparation. [BHS07] P. Baum, N. Higson, and T. Schick. “On the Equivalence of Geometric and Analytic K-Homology”. In:Pure and Applied Mathematics Quarterly3.1 (2007), pp. 1–24. [BL24] U. Bunke and M. Ludewig.Coronas and Callias type operators i...

    work page 2007

  2. [167]

    On the localization algebra of Guoliang Yu

    Contemporary Mathematics. Amer. Math. Soc. 1994, pp. 305–351. [QR10] Y. Qiao and J. Roe. “On the localization algebra of Guoliang Yu”. In:Forum Mathe- maticum 22.4 (2010), pp. 657–665.doi: 10.1515/FORUM.2010.036. [Roe93] J. Roe. Coarse Cohomology and Index Theory on Complete Riemannian Manifolds. Vol

    work page doi:10.1515/forum.2010.036 2010

  3. [1994]

    Localization algebras and the coarse Baum–Connes conjecture

    [Yu97] G. Yu. “Localization algebras and the coarse Baum–Connes conjecture”. In:K-Theory 11 (1997), pp. 307–318.doi: 10.1023/a:1007766031161. 16

    work page doi:10.1023/a:1007766031161 1997

  4. [2024]

    CyclicCohomology,theNovikovConjectureandHyperbolic Groups

    arXiv: 2411.01646 [math.KT]. url: https://arxiv.org/abs/2411.01646. [CM90] A.ConnesandH.Moscovici.“CyclicCohomology,theNovikovConjectureandHyperbolic Groups”. In:Topology29.3 (1990), pp. 345–388. [Con85] A. Connes. “Non-commutative differential geometry”. In:Publications mathématiques de l’I.H.É.S. 62.2 (1985), pp. 41–144. [CT08] G. Cortiñas and A. Thom. ...

    arXiv 1990

  5. [2025]

    Index Theory without Symbols

    arXiv:2506.10957 [math.KT]. url: https://arxiv.org/abs/2506. 10957. [MW94] H. Moscovici and F. Wu. “Index Theory without Symbols”. In:C ∗-Algebras: 1943–1993, A Fifty Year Celebration. Ed. by R. Doran. Vol

    arXiv 1943

Pith tools

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