Pith. sign in

REVIEW 4 major objections 5 minor 1 cited by

Branched coarse coverings and transfer maps

T0 review · 4 major / 5 minor · reviewed 2026-08-09 · deepseek-v4-flash

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

Pith's one-line read Branched coarse coverings carry transfers for coarse K-homology, yielding a coarse L2-index theorem that recovers Atiyah's and reproves a key counterexample step.

desk verdict A serious, detailed monograph that builds transfers for branched coarse coverings and proves L2-index theorems; the main structural work is solid, but the topological L2-index theorem leans on a trace-comparison step in Section 13 that is only sketched. read the letter →

arxiv 2502.01497 v3 pith:33KLWWOB submitted 2025-02-03 math.AT math.KTmath.OA

Ulrich Bunke This is my paper · ORCID
classification math.ATmath.KTmath.OA MSC 55N2019K5646L8019D55
keywords branchedcoarsecoveringstransfermapshomologytheoriesAtiyahL2-indextheoremBaum-ConnesconjecturetopologicalK-homologyHigsoncounterexampletrace-preservingalgebraicapproximation
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 introduces branched coarse coverings—maps between bornological coarse spaces that admit a coarse connection giving unique lifting of coarse paths away from a growing large family—and shows that three versions of coarse K-homology (algebraic, uncompleted topological, and the completed topological theory) all carry transfer maps along them. With these transfers in place it proves an L2-index theorem in coarse homotopy theory: after cone transfer along a uniform G-covering, the trace of the index class equals the trace of the index class on the base. The topological version, Theorem 11.3, recovers Atiyah's classical L2-index equality as an instance (Example 11.5), without any use of differential operators. The same transfer machinery supplies a new argument for the decisive nonvanishing step in Higson's counterexample to the coarse Baum-Connes conjecture.

What carries the argument

The central object is the branched coarse $G$-covering $(f:X\to Y,\mathcal Z)$ as in Definition 2.1/2.12: a controlled, bornological map with locally finite fibres, together with a coarse connection $P\subseteq X\times X$ that gives a unique parallel transport of $U$-paths between fibres away from a member of a big family $\mathcal Z$ on $Y$, where the family member must be enlarged as the coarse scale grows. The argument is carried by transfer functors built on categories of controlled objects: on the relative category $V^G_A(Y,\mathcal Z)$ the transfer $\mathrm{tr}_f$ pulls an object back to $X$ by re-indexing over the preimage of $Y$ and moving morphisms by parallel transport, and in the $C^*$-case the same matrix construction is shown to define bounded operators once the source or target has finite dimension at coarse scales. The cone transfer $\mathrm{tr}_{O_\infty(f)}$ along a uniform covering is derived from the relative transfer, and the index theorems are equalities of trace evaluations $\tau^{H,G}_X\circ \partial_{\mathrm{cone}}\circ \mathrm{tr}_{O_\infty(f)} = \tau^H_Y\circ \partial_{\mathrm{cone}}$, assembled from the transfer formalism together with the trace-preserving algebraic approximation $((K\mathrm{Cat}^{\mathbb{Z}}H\mathbb{Z})_{L_1}, c^{L_1})$ of topological K-theory.

What would settle it

Compute the two sides of the trace diagram (13.64) for the concrete case $A=\mathbb C$ (or a finite-dimensional matrix algebra with the standard trace): the left side is $\pi_0$ of the algebraic homotopy K-theory of $L_1$, the right side is $\pi_0K^{C^*}(\mathbb C)\cong\mathbb Z$. If the comparison fails to send the class of the unit to $1$, or if the trace-through-algebraic-K-theory differs from the classical trace on any explicit element, then Theorem 13.32—and with it Theorem 11.3—collapses.

Watch

Extended reading notes

Core claim

The central claim is that for the coarse K-homology functors $KX^G_A$, $HX^{G,\mathrm{ctr}}_C$, and $KX^G_C$, a branched coarse $G$-covering $(f:X\to Y,\mathcal Z)$ induces a natural transfer $t^*E \to s^*EG$ on relative groups, with the $EG$-component given by pulling back controlled objects along the fibres of $f$ and re-summing them, and that for a branched coarse $G$-covering (free transitive fibre action) the transfer is an equivalence. Applying the cone construction converts a uniform $G$-covering into a branched coarse $G$-covering, and the resulting cone transfer is what makes the L2-index identity (1.3) meaningful. Theorem 11.3 states this identity for topological coarse K-homology under finite asymptotic dimension hypotheses and a trace-preserving algebraic approximation of topological K-theory; Example 11.5 shows it contains the classical Atiyah L2-index theorem. Section 12 then uses the transfer and the index identity to show that the class $p$ attached to a Kazhdan projection is not in the image of the coarse assembly map, giving a new argument for Higson's counterexample.

Load-bearing premise

The load-bearing assumption is that the algebraic K-theory built from trace-class operators really agrees with topological K-theory in a way that preserves traces—an agreement imported from an external comparison result, so if that agreement fails the topological L2-index proof has no leg to stand on.

Editorial extensions

If this is right

  • The classical Atiyah L2-index theorem becomes a corollary of the coarse L2-index theorem (Example 11.5), so index equalities for coverings of closed manifolds can be proved by coarse-homotopy comparisons without elliptic operator analysis.
  • Transfers are spectrum-level natural transformations compatible with Mayer-Vietoris boundaries, so excision-style arguments can be applied to lifted index classes; this strengthens the toolkit for injectivity results for assembly maps.
  • The transfer for $KX^G_C$ is not an equivalence in general: Theorem 8.8 gives equivalence under finite asymptotic dimension on the target, while Section 12 shows the transfer can annihilate nontrivial classes such as Higson's $p$ when the target has infinite asymptotic dimension, pinning down the role of the dimension hypothesis.
  • The trace-preserving algebraic approximation (Corollary 13.33) is an independent bridge between algebraic and topological K-theory of C*-categories, reusable for other index-theoretic or trace-comparison statements beyond the ones proved here.
  • The branched coarse covering formalism subsumes transfers for bounded coarse coverings and generalizes the asymptotically faithful covering transfers of [WY12], giving a uniform treatment under finite asymptotic dimension conditions.

Reading between the lines

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

  • The construction suggests a recipe for other index theorems: express the desired equality as a trace comparison after cone transfer, then verify it on controlled objects; the same two ingredients—a transfer for the coefficient theory and a trace-preserving algebraic approximation—should cover twisted, equivariant, or family versions.
  • Since the transfer norm is controlled by the asymptotic dimension of the source or target (bounded by $\sqrt{n}$ in Lemmas 7.5 and 7.8, later improved to 1 by 2-categorical structure), quantitative index estimates could be extracted from refinements of these estimates.
  • The fact that a class like $p$ can be annihilated by a transfer while remaining nonzero in the target provides a general criterion for constructing classes beyond the assembly map's image: find a class whose transfer becomes a ghost; this may yield further counterexamples to surjectivity of coarse assembly maps.
  • One can test the formalism on known cases where the L2-index is computable, for example surface group coverings of a closed surface, to confirm that the coarse transfer reproduces the classical von Neumann dimensions without invoking the analytic proof.
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

4 major / 5 minor

Summary. The paper develops a formalism of transfers for branched coarse coverings in coarse homotopy theory. It introduces branched coarse G-coverings (Section 2), relates them to uniform coverings, cones, and Rips complexes (Sections 3–4), and axiomatizes transfer structures for coarse homology theories (Section 5). The main transfer constructions are carried out at the level of controlled-object categories for coarse algebraic K-homology (Section 6), uncompleted topological coarse K-homology (Section 7), and completed topological coarse K-homology (Section 8). The paper then constructs traces on Roe-type categories (Section 9), proves an algebraic L2-index theorem (Theorem 10.11), and states a topological L2-index theorem (Theorem 11.3) conditional on the existence of a trace-preserving algebraic approximation of topological K-theory, which is supplied in Section 13 as Corollary 13.33. Section 12 applies these results to give a new presentation of Higson's counterexample to the coarse Baum-Connes conjecture.

Significance. If fully established, the paper would be a substantial contribution: it gives a systematic transfer formalism for a natural class of branched coarse coverings, with quantitative norm bounds in Lemmas 7.5 and 7.8; it provides versions of Atiyah's L2-index theorem in coarse homotopy theory without differential operators; and it recasts Higson's counterexample within that formalism. The transfer constructions in Sections 6–8 are detailed and appear to be the core strength of the paper. However, the topological L2-index theorem depends on a trace-compatibility result whose proof is largely delegated to a diagram chase and to an external theorem, so the central claim is not yet supported in full detail. The paper also relies heavily on the author's earlier framework, but that is natural for this subject and not by itself a defect.

major comments (4)
  1. [Section 13.10, Theorem 13.32 and Corollary 13.33] The trace-compatibility theorem is not proved in sufficient detail. After reduction to C*-algebras, the proof ends with the assertion that triangle (13.64) commutes "by a diagram chase" through π0K^Ban(L1⊗π A), with τ′ obtained by continuity. The manuscript does not display the diagram, does not state the hypotheses under which the algebraic trace on L1⊗_C A extends to a continuous trace on the projective tensor product, and does not verify compatibility with the identification supplied by [CT08, Thm 6.5.3]. This step is load-bearing: Corollary 13.33 is the only instance of Assumption 11.3.4, and the equality in (11.5) of Theorem 11.3 uses exactly the trace compatibility of that approximation. Without a completed proof, the topological L2-index theorem is conditional.
  2. [Proposition 13.24 / Corollary 13.25] The application of [CT08, Thm 6.5.3] is too terse. The proof identifies the marked map K RingHZ(L1) → K RingHT(K) as an equivalence "e.g. by [CT08, Thm 6.5.3]", but [CT08] is a comparison between algebraic and topological K-theory of locally convex algebras, and the paper does not specify the locally convex algebra, the relevant topology, or why K RingHZ(L1) is exactly the algebraic side of that theorem. Since this step produces the equivalence c_{L1}^{incl(C)} and hence Corollary 13.25, the only supplied trace-preserving approximation depends on this unstated match of conventions.
  3. [Theorem 10.11 proof, diagram (10.7)] In the proof of the algebraic L2-index theorem, the commutativity of the left middle square is asserted with "best seen by an inspection of the formulas on the level of categories of controlled objects." This square is the compatibility of the transfer with the cone boundary that ultimately identifies the constant families; it is a nontrivial step. Please provide an explicit verification or reduce it to a stated lemma.
  4. [Example 11.5 and Eq. (1.4)] The claim that Theorem 11.3 recovers the classical Atiyah L2-index theorem depends on the equality trO∞(f)(σ(/D_Y)) = σ(/D_X), which is not proved in this paper; the text says only that "one can check" it using [BEb]. Because this equality is the bridge between the abstract cone transfer and the symbol classes of genuine Dirac operators, the advertised independent proof of the classical theorem is not self-contained. Please either provide the verification or state the recovery as conditional on [BEb].
minor comments (5)
  1. [Corollaries 3.8 and 3.12] "branced" should be "branched" in both places.
  2. [Section 13.8] "We apoligize" should be "We apologize".
  3. [Lemma 7.5 proof] The expression "B_i'ν(\hat W_i)" is missing a subscript or prime; it should be written as B_i ν(\hat W_i) or B_{i'} ν(\hat W_i), depending on the intended index.
  4. [Eq. (6.14)] The subscript "σ'_{g(y',y); s'(y'), g(y,y')s'(y')}" is overloaded; separate the group element from the pair of points to make the formula readable.
  5. [Section 13, overall notation] The accumulation of forgetful functors T, TC, Z, S, and the various twists makes compositions such as (13.46) hard to check; a summary table of notation would improve readability.

Circularity Check

0 steps flagged · score 0.0 of 10

No circular derivation found: the topological L2-index theorem is conditional on an approximation whose existence is proved from an independent external comparison result, not from the theorem itself.

full rationale

The paper's central claim, Theorem 11.3, is an explicit conditional statement: it assumes, in Assumption 11.3.4, the existence of a trace-preserving algebraic C_u-approximation (H,c) of topological K-theory. The paper then supplies such an approximation in Corollary 13.33. The proof of that corollary does not invoke Theorem 11.3 or the Atiyah index statement; instead, the key equivalence in Proposition 13.24 and the π0-isomorphism used in Corollary 13.33 are justified by the external result [CT08, Thm. 6.5.3], which is not a self-citation. The trace-compatibility triangle in Theorem 13.32 is stated to follow by a diagram chase; this is an abbreviated argument and therefore a possible correctness risk, but it is not a circular reduction, since the desired trace equality is not assumed or encoded into the definition of the comparison map. The transfer constructions in Sections 6-8 are built inside the author's own framework from [BEKW20a], [BE23], [BEa], but they are new constructions, not conclusions obtained by citing the claims they are used to prove. Example 11.5, which recovers the classical Atiyah L2-index theorem, defers the verification of tr_{O∞(f)}(σ(D_Y)) = σ(D_X) to the author's earlier work [BEb]; this is reliance on prior work and an omitted detail, not a self-definitional equivalence. No fitted parameter is relabeled as a prediction, no uniqueness theorem is imported to force a choice, and no known empirical pattern is merely renamed. The derivation chain is therefore not circular: the main theorem reduces to independent comparison input, and the remaining abbreviated steps are matters of proof completeness rather than circularity.

Assumptions & free parameters 0 free parameters · 4 assumptions · 3 invented entities

The central claims rest on the established framework of bornological coarse spaces and coarse homology theories, on the already-public topological coarse K-homology of [BE23], and on C*-category technology from [BEa] and [AV20]. No numbers are fitted to data and no external physics-like entities are introduced. The new mathematical objects are definitions whose features are proved in the text, with some proofs sketched.

assumptions (4)
  • domain assumption The category GBC of G-bornological coarse spaces and the axioms of equivariant coarse homology theories (excision, u-continuity, flasque vanishing) from [BEKW20a] are assumed.
    All main theorems are formulated in this framework; the axioms are imported from the cited monograph and not re-derived.
  • domain assumption The topological equivariant coarse K-homology functor KX^G_C and its properties from [BE23] are used as a black box.
    Section 8 constructs transfers for this functor but takes its existence and homological properties from the published paper [BE23].
  • standard math The theory of AV-sums and norm properties in C*-categories from [BEa] and [AV20] is used, especially Lemmas 4.15 in [BEa].
    The C*-category transfer constructions and the boundedness estimates in Lemmas 7.5 and 7.8 rely on these results.
  • standard math The equivalence from [CT08, Thm 6.5.3] between topological K-theory and algebraic K-theory with trace-class operators is used as an external benchmark.
    This is the key external input in the proof of the trace comparison theorem for the L1-twisted algebraic homotopy K-theory.
invented entities (3)
  • branched coarse G-covering (f: X -> Y, Z) with coarse connection P independent evidence
    purpose: Defines the geometric setting for transfers between coarse homology theories.
    A new definition with several existence examples (topological coverings, asymptotically faithful coverings, cones of uniform coverings), so it is not an ad hoc construct.
  • uncompleted topological coarse K-homology HX^{G,ctr}_C independent evidence
    purpose: Intermediate coarse homology theory that admits transfers under finite dimension at coarse scales.
    Explicitly constructed in Section 7 and used in Corollary 10.14; its existence is demonstrated, though some properties are only sketched.
  • trace-preserving algebraic Cu-approximation (H, c) of topological K-theory independent evidence
    purpose: Technical bridge needed for the topological L2-index theorem.
    Proved in Section 13 as Corollary 13.33, with the trace-compatibility established in Theorem 13.32; it is a defined object with consequences used in Theorem 11.3.

how reviews work

0 comments
Cite this review

Pith. "Pith review of Branched coarse coverings and transfer maps." pith.science (2026). https://pith.science/paper/33KLWWOB

@misc{pith2026250201497,
  author       = {Pith},
  title        = {Pith review of: Branched coarse coverings and transfer maps},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/33KLWWOB}},
  note         = {Machine review of arXiv:2502.01497}
}
abstract

We introduce the concepts of branched coarse coverings and transfers between coarse homology theories along them. We show that various versions of coarse $K$-homology theories admit the additional structure of transfers. We show versions of Atiyah's $L^{2}$-index theorem in coarse homotopy theory and apply them to give a new argument for the corresponding step in Higson's counterexample to the coarse Baum-Connes conjecture.

Discussion (0). Continue with ORCID to comment.

Forward citations

Cited by 1 Pith paper

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

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

49 extracted references · 34 canonical work pages · cited by 1 Pith paper

  1. [1]

    M. F. Atiyah. Elliptic operators, discrete groups and von Neumann algebras. In Colloque ``Analyse et Topologie'' en l'honneur de Henri Cartan. , pages 43--72. Paris: Soci \'e t \'e Math \'e matique de France (SMF), 1976

    work page 1976

  2. [2]

    Antoun and Ch

    J. Antoun and Ch. Voigt. On bicolimits of C^* -categories . Theory Appl. Cat. , 35(46):1683--1725, 2020

    work page 2020

  3. [3]

    Bunke and D.-Ch

    U. Bunke and D.-Ch. Cisinski. A universal coarse \(K\) -theory. New York J. Math. , 26:1--27, 2020

    work page 2020

  4. [4]

    Bunke, D.-Ch

    U. Bunke, D.-Ch. Cisinski, D. Kasprowski, and Ch. Winges. Controlled objects in left-exact -categories and the Novikov conjecture . arXiv:1911.02338 https://arxiv.org/abs/1911.02338

    arXiv 1911

  5. [5]

    Baum and R

    P. Baum and R. G. Douglas. Index theory, bordism, and K -homology. In Operator Algebras and K -Theory , pages 1--31. American Mathematical Society, 1982

    work page 1982

  6. [6]

    Bunke and A

    U. Bunke and A. Engel. Additive C^ * -categories and K -theory . arXiv:2010.14830 https://arxiv.org/abs/2010.14830

    arXiv 2010

  7. [7]

    The coarse index class with support

    U. Bunke and A. Engel. The coarse index class with support . arXiv:1706.06959 https://arxiv.org/abs/1706.06959

    work page Pith review arXiv

  8. [8]

    Bunke and A

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

    2020

Show all 49 references
  1. [9]

    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

    2020 arXiv

  2. [10]

    Bunke and A

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

    2023

  3. [11]

    Bunke, A

    U. Bunke, A. Engel, D. Kasprowski, and C. 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

  4. [12]

    Bunke, A

    U. Bunke, A. Engel, D. Kasprowski, and C. Winges. Injectivity results for coarse homology theories . Proc.\ London Math.\ Soc. , 121(3):1619--1684, 2020

    2020

  5. [13]

    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

  6. [14]

    Bunke, A

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

    2020

  7. [15]

    Bunke, A

    U. Bunke, A. Engel, D. Kasprowski, and Ch. Winges. Homotopy theory with marked additive categories. Theory Appl. Categ. , 35:371--416, 2020

    2020

  8. [16]

    Bunke, A

    U. Bunke, A. Engel, and M. Land. A stable -category for equivariant K\!K -theory. arxiv:2102.13372 https://arxiv.org/pdf/2102.13372.pdf

  9. [17]

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

    2013

  10. [18]

    Borel and G

    A. Borel and G. Harder. Existence of discrete cocompact subgroups of reductive groups over local fields. J. Reine Angew. Math. , 298:53--64, 1978

    1978

  11. [19]

    P. Baum, N. Higson, and T. Schick. On the equivalence of geometric and analytic K -homology. Pure and Applied Mathematics Quarterly , 3(1):1--24, 2007

    2007

  12. [20]

    P. Baum, N. Higson, and T. Schick. A geometric description of equivariant K -homology for proper actions. In Quanta of maths. Conference on non commutative geometry in honor of Alain Connes, Paris, France, March 29--April 6, 2007 , pages 1--22. Providence, RI: American Mathema...

    2007

  13. [21]

    Buyalo and N

    S. Buyalo and N. Lebedeva. Dimensions of locally and asymptotically self-similar spaces. St. Petersburg Mathematical Journal , 19(01):45--66, December 2007

    2007

  14. [22]

    Bunke and M

    U. Bunke and M. Ludewig. Coronas and Callias type operators in coarse geometry. https://arxiv.org/abs/2411.01646 https://arxiv.org/abs/2411.01646, 2024

    2024 arXiv

  15. [23]

    U. Bunke. Homotopy theory with *-categories . Theory Appl.\ Categ. , 34(27):781--853, 2019

    2019

  16. [24]

    U. Bunke. Finite asymptotic dimension and the coarse assembly map. https://arxiv.org/pdf/2412.10746.pdf https://arxiv.org/pdf/2412.10746.pdf, 12 2024

    2024 arXiv

  17. [25]

    U. Bunke. \(KK\) - and \(E\) -theory via homotopy theory. Orbita Math. , 1(2):103--210, 2024

    2024

  18. [26]

    L. Caputi. Cyclic homology for bornological coarse spaces. Journal of Homotopy and Related Structures , 15(3--4):463--493, July 2020

    2020

  19. [27]

    Chatterji and G

    I. Chatterji and G. Mislin. Atiyah's \(L^2\) -index theorem. Enseign. Math. (2) , 49(1-2):85--93, 2003

    2003

  20. [28]

    Corti \ n as and A

    W. Corti \ n as and A. Thom. Comparison between algebraic and topological K -theory of locally convex algebras. Advances in Mathematics , 218(1):266--307, May 2008

    2008

  21. [29]

    Dell'Ambrogio

    I. Dell'Ambrogio. The unitary symmetric monoidal model category of small \(C^ \) -categories. Homology Homotopy Appl. , 14(2):101--127, 2012

    2012

  22. [30]

    T. G. Goodwillie. Cyclic homology, derivations, and the free loopspace. Topology , 24(2):187--215, 1985

    1985

  23. [31]

    T. G. Goodwillie. Relative algebraic K -theory and cyclic homology. The Annals of Mathematics , 124(2):347, September 1986

    1986

  24. [32]

    N. Higson. An approach to \( Z /k\) -index theory. Int. J. Math. , 1(2):189--210, 1990

    1990

  25. [33]

    N. Higson. Categories of fractions and excision in KK -theory. J. Pure Appl. Algebra , 65(2):119--138, 1990

    1990

  26. [34]

    N. Higson. Counterexamples to the coarse B aum- C onnes conjecture. unpublished, 1999

    1999

  27. [35]

    M. Joachim. K -homology of C^ -categories and symmetric spectra representing K -homology . Math. Ann. , 327:641--670, 2003

    2003

  28. [36]

    G. G. Kasparov. Equivariant K\!K -theory and the Novikov conjecture . Invent.\ Math. , 91(1):147--201, 1988

    1988

  29. [37]

    Kasprowski and Ch

    D. Kasprowski and Ch. Winges. Shortening binary complexes and commutativity of \(K\) -theory with infinite products. Trans. Am. Math. Soc., Ser. B , 7:1--23, 2020

    2020

  30. [38]

    Land, Th

    M. Land, Th. Nikolaus, and K. Szumilo. Localization of cofibration categories and groupoid C ^ * --algebras. Algebraic & Geometric Topology , 17(5):3007--3020, September 2017

    2017

  31. [39]

    J.-L. Loday. Cyclic homology. , volume 301 of Grundlehren Math. Wiss. Berlin: Springer, 2nd ed. edition, 1998

    1998

  32. [40]

    L \"u ck and H

    W. L \"u ck and H. Reich. Detecting K -theory by cyclic homology. Proceedings of the London Mathematical Society , 93(3):593--634, October 2006

    2006

  33. [41]

    L \"u ck and W

    W. L \"u ck and W. Steimle. Non-connective K and N il-spectra of additive categories. Contemp. Math , 617:205--236, 2014

    2014

  34. [42]

    J. Lurie. Higher Algebra . www.math.harvard.edu/ lurie http://www.math.harvard.edu/ lurie/

  35. [43]

    McCarthy

    R. McCarthy. The cyclic homology of an exact category. Journal of Pure and Applied Algebra , 93(3):251--296, May 1994

    1994

  36. [44]

    Rosenberg

    J. Rosenberg. The algebraic k-theory of operator algebras. K-Theory , 12(1):75--99, July 1997

    1997

  37. [45]

    T. Schick. \(L^2\) -index theorems, KK -theory, and connections. New York J. Math. , 11:387--443, 2005

    2005

  38. [46]

    Schlichting

    M. Schlichting. Negative K -theory of derived categories. Math. Z. , 253(1):97--134, 2006

    2006

  39. [47]

    Excision in algebraic k-theory and karoubi's conjecture

    A A Suslin and M Wodzicki. Excision in algebraic k-theory and karoubi's conjecture. Proceedings of the National Academy of Sciences , 87(24):9582--9584, December 1990

    1990

  40. [48]

    Ch. A. Weibel. Homotopy algebraic K -theory. Algebraic \(K\) -theory and algebraic number theory, Proc . Semin ., Honolulu / Hawaii 1987, Contemp . Math . 83, 461-488 (1989)., 1989

    1989

  41. [49]

    Willett and G

    R. Willett and G. Yu. Higher index theory for certain expanders and gromov monster groups, i. Advances in Mathematics , 229(3):1380--1416, February 2012

    2012

Pith tools

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