Pith. sign in

REVIEW 1 major objections 4 minor 1 cited by

Homology of Steinberg algebras

T0 review · 1 major / 4 minor · reviewed 2026-08-11 · 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 Hochschild and cyclic homology of Steinberg algebras are governed by groupoid homology, and that the Dennis trace maps K-theory of Exel-Pardo algebras into twisted groupoid homology.

desk verdict Substantial, mostly sound Burghelea-type computations for Steinberg algebras and Exel-Pardo tuples, but the pseudo-free hypothesis is ambiguous and the theorem statement overclaims the edge-level version. read the letter →

arxiv 2412.15112 v4 pith:GZ2O4TUO submitted 2024-12-19 math.KT math.GRmath.OAmath.RA

Guido Arnone , Guillermo Cortiñas , Devarshi Mukherjee This is my paper · ORCID
classification math.KTmath.GRmath.OAmath.RA MSC 16E4019D5522A22
keywords SteinbergalgebrasamplegroupoidsHochschildhomologycyclicDennistraceExel-PardogroupoidBowen-Franksgroup
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

This paper establishes a tight computational bridge between homological invariants of an ample groupoid's Steinberg algebra and the groupoid's own homology. For ample Hausdorff groupoids, the groupoid homology complex embeds as a direct summand of the Hochschild complex, and for principal groupoids, or Hausdorff groupoids with discrete isotropy outside the unit space, the paper gives explicit decompositions of the cyclic nerve. In the Exel-Pardo setting, the authors compute Hochschild homology weight by weight as the cone of an explicit endomorphism built from the graph and the twisting cocycle. Under a pseudo-freeness condition, they then identify twisted groupoid homology with the cone of a related map and show that the Dennis trace fits into a commutative diagram relating K-theory to twisted groupoid homology. The payoff is concrete: for many self-similar graph actions, K0 of the Exel-Pardo algebra is the Bowen-Franks group, and the Dennis trace becomes an isomorphism after scalar extension.

What carries the argument

The central machinery is the weight decomposition of the Z-graded Exel-Pardo algebra L=L(G,E,φ^c), whose m-th Hochschild component is represented by the cone of I−σ_m for an explicit chain map σ_m built from the reduced incidence matrix, the self-similar cocycle φ, and the twisting cocycle c. A parallel map τ acts on the twisted groupoid homology complex H(G,k/l), and a spectrum-level map Φ^t acts on homotopy K-theory; the paper proves these three cones match. The groupoid-homology side rests on the semicyclic module H(G)=C_c(G^(•)) and an embedding whose splitness for Hausdorff groupoids gives the Dennis-trace map D_*=res∘D_* from K-theory into groupoid homology.

What would settle it

Take the non-pseudo-free example with one vertex, one loop, G=Z/2 acting trivially, and trivial φ and c, with k=l=Z. The tight groupoid has Z/2 isotropy at every infinite path. Computing the twisted groupoid homology H(G,Z/Z) directly and comparing it with the homology of cone(I−τ), where τ is the identity map on the single vertex, gives a difference in degree 1: the cone acquires an H0 summand that genuine groupoid homology does not have, so any proof of Theorem 6.5.13 must break exactly at the step using finitely many minimal strongly fixed paths.

Watch

Extended reading notes

Core claim

For any ample groupoid G, H_*(G) is a direct summand of HH_*(A_k(G)); when G is principal, or Hausdorff with GIso\G(0) discrete, cyclic homology decomposes into groupoid homology and isotropy contributions, recovering Burghelea's theorem in the group case. For a row-finite Exel-Pardo tuple with trivial vertex action and a flat ring extension l⊂k, each m-th weight component of HH(L(G,E,φ^c)/l) is naturally quasi-isomorphic to cone(I−σ_m), where σ_m is an explicit chain map on Hochschild complexes of k[G]. Under pseudo-freeness, the twisted groupoid homology complex H(G,k/l) is quasi-isomorphic to cone(I−τ), and if k[G] is regular supercoherent the Dennis trace yields the commutative diagram (1.8) with exact rows, linking K_*(L) to twisted groupoid homology. Consequently K0(L)=BF(E) and D0 induces an isomorphism K0(L)⊗_Z k ≅ H0(G^ω,k/l).

Load-bearing premise

The load-bearing premise is pseudo-freeness: no nontrivial group element strongly fixes a path, meaning g(γ)=γ and φ(g,γ)=1 only when g=1; if it fails, the paper's twisted groupoid-homology exact sequence and the commuting Dennis-trace diagram are not established.

Editorial extensions

If this is right

  • For every ample Hausdorff groupoid, the Dennis trace factors through groupoid homology, giving a canonical comparison from K-theory of Steinberg algebras to a computable homology theory.
  • The Hochschild and cyclic homology of Exel-Pardo algebras is reduced to Hochschild homology of k[G] with explicit bimodule coefficients, so computations depend only on the group algebra and graph combinatorics.
  • Under pseudo-freeness and regular supercoherence of k[G], the long exact sequences for K-theory and twisted groupoid homology align, so K0(L)=BF(E) for torsionfree Farrell-Jones groups over fields or PIDs.
  • The G={1} case recovers known Leavitt path algebra results, and the G=Z case yields a concrete matrix description of the K-theoretic boundary map, extending computations for Katsura algebras.
  • If Conjecture 2 holds, excisive, homotopy-invariant, matricially stable functors would be discretization invariant, forcing K-theory and related invariants of universal and tight groupoids to agree in many settings.

Reading between the lines

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

  • The cone presentations likely extend beyond pseudo-freeness if one replaces H(G,k/l) by a complex indexed by strongly fixed paths, in the spirit of Burghelea's isotropy decomposition; this would restore the diagram (1.8) for non-Hausdorff Exel-Pardo groupoids.
  • The commutative diagram (1.8) is a template: any excisive, homotopy-invariant, matricially stable functor satisfying the hypotheses of Theorem 6.6.4 should satisfy the same exact triangle, so the paper's machinery applies beyond K-theory.
  • The non-pseudo-free one-loop example suggests that the obstruction to the groupoid-homology exact sequence is concentrated in isotropy over periodic infinite paths, and that a finite-path truncation argument might weaken the pseudo-free hypothesis without losing K0 computations.
  • The isomorphism K0(L)⊗k≅H0(G^ω,k/l) can be read as a torsion-free shadow of the Bass trace conjecture for groupoids; testing it on groupoids with torsion would clarify how isotropy must enter the trace map.
Share X Bluesky LinkedIn Reddit HN

Signed reviews

No signed human review yet.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, and a circularity audit.

Referee Report

1 major / 4 minor

Summary. This paper studies homological invariants of Steinberg algebras of ample groupoids over a commutative ring k, with applications to twisted Exel-Pardo groupoids arising from self-similar group actions on graphs. The main structural results are: groupoid homology embeds into Hochschild homology of the Steinberg algebra and is a direct summand in the Hausdorff case; cyclic, negative cyclic, and periodic cyclic groupoid homology are computed from groupoid homology; and, under a discreteness assumption on isotropy, a Burghelea-type decomposition is obtained in terms of centralizer subgroups. For twisted Exel-Pardo data, assuming row-finiteness and trivial action on vertices, the paper computes each weight component of Hochschild homology as the cone of an explicit map 1 - sigma_m, computes twisted groupoid homology as the cone of 1 - tau under pseudo-freeness, gives homotopy algebraic K-theory exact sequences, and, under strengthenings such as regular supercoherent group rings, identifies K-theory with these cones and obtains a Dennis trace diagram. Consequences include K_0(L) = BF(E) and computations of K_1 in favorable cases.

Significance. If the main theorems hold as stated, this is a substantial and useful contribution. It unifies and extends several existing computations for Leavitt path algebras, Katsura algebras, and group algebras, and it provides explicit, formula-level descriptions of the relevant maps, not merely existence statements. The paper is well structured: Lemma 2.8.5, Proposition 3.8, Theorem 4.2, and Theorem 5.3.4 form a coherent chain, and the later Exel-Pardo computations are anchored by detailed cone descriptions. The reliance on the second author's previous work [12] is heavy but is not circular: those results are quoted with proofs and are logically independent. The paper also explicitly acknowledges the recent work of Miller and Steinberg [28] and the relation to the present results. The main issue, detailed below, concerns an inconsistency in the hypothesis of pseudo-freeness; it is localized and fixable, but it is load-bearing for Theorem 1.5(iii) and Theorem 6.5.13.

major comments (1)
  1. [§1; §6.5] The manuscript uses the term 'pseudo-free' in two inequivalent senses, and the stronger sense is load-bearing. In the introduction, a tuple is declared pseudo-free if, for every edge e and every g ≠ 1, the condition g(e) = e implies φ(g,e) ≠ 1. In Section 6.5, however, pseudo-free is defined path-wise: 1 is the only element g such that g(γ) = γ and φ(g,γ) = 1 for some finite path γ. Lemma 6.5.7(b) is exactly the statement that this path-level condition is equivalent to the restriction property 'res(ξ) ≠ 0 implies g_0 ... g_n = 1', and Theorem 6.5.13 relies on that property, as well as on finiteness of minimal strongly fixed paths from [16, Theorem 12.2]. The edge-level condition does not imply the path-level condition. For example, take one vertex with two loops e and f, let G = (Z/2)^2 with a swapping e and f and b fixing both loops, and set φ(a,e) = φ(a,f) = 1, φ(b,e) = φ(b,f) = a. The cocycle identities (6.2.1)-(6.2.2) hold and the edge-level pseudo-freeness condition holds, but b strongly fixes the path ee: b(ee) = ee and φ(b,ee) = φ(φ(b,e),e) = φ(a,e) = 1. Thus Lemma 6.5.7(b) is false under the edge-level definition, and the restriction/decomposition argument in Theorem 6.5.13 is not justified for all tuples satisfying the hypothesis as stated in Theorem 1.5. The repair is straightforward: replace the introduction's definition with the path-level definition, whose edge-level version then follows as an immediate consequence; alternatively, state explicitly in Theorem 1.5 and throughout that the stronger path-level definition is intended. As written, the proof covers a strictly smaller class of tuples than the theorem asserts.
minor comments (4)
  1. [Introduction] The displayed exact sequence (1.6) appears to contain a stray '0' before HH_{n+1}(L/ℓ) and the arrow decorations are garbled; it should be reset to a clean exact sequence of Hochschild homology groups.
  2. [§6.5] The statement that the elements ξ with g_0 ... g_n = 1 generate H(G,k/ℓ) 'as an abelian group' should presumably be 'as an ℓ-module', since the complexes are ℓ-modules; this would avoid ambiguity about coefficients in k ⊗_ℓ^{n+1}.
  3. [§6.5] The map τ is introduced in the theorem as a matrix of chain homomorphisms with entries τ_{v,w}, while in the introduction (1.4) the same symbol denotes a single chain map; please align the notation or add an explicit remark that they are the same map under the matrix convention.
  4. [§6.3] The notation I(n)_v is used before it is defined; define it at the start of the proposition or immediately after (6.3.4).

Circularity Check

0 steps flagged · score 0.0 of 10

No circularity: the main computations are derived by explicit chain-level proofs and by prior theorems with independent hypotheses, not by fitting or renaming inputs.

full rationale

Walking the derivation chain, Theorem 1.1 is built inside the paper from semicyclic-module decompositions in Sections 4 and 5 using standard external tools ([23], [27], [9]); no step assumes the theorem being proved. Theorem 1.5(i) is proved by explicit zig-zags: Theorem 6.4.12 identifies mHH(L/l) with cone(1 - sigma_m) via the trace quasi-isomorphism (6.4.20), colimit arguments (6.4.23)-(6.4.26), and the paper's own Appendix A (Proposition A.7); the input complex and output complex are not equal by construction. Part (ii) rests on the Cohn extension (6.2.8), on kk-isomorphisms from [12, Proposition 6.2.5 and Theorem 6.3.1], and on the excision triangle (1.10); those citations are to prior theorems with stated hypotheses and proofs, independent of the present claims, so they count as genuine evidence rather than circular import. Part (iii) is obtained from naturality of the Dennis trace and the same independently supported K-theory triangle, and Theorem 1.9 is an application of these exact sequences together with standard Farrell-Jones consequences. There are no fitted parameters, no subset of data used for prediction, and no known result merely renamed as a new computation. One caveat, unrelated to circularity, should be flagged: pseudo-freeness is introduced edge-wise in Section 1 ('g(e) = e with g not 1 implies phi(g,e) not 1') but is used path-wise in Lemma 6.5.7 and Theorem 6.5.13 ('g(gamma) = gamma and phi(g,gamma) = 1 implies g = 1'); the edge-level condition does not obviously imply the path-level condition, so the stated hypothesis of Theorem 1.5(iii) may be weaker than the hypothesis actually used in the proof. This is a correctness or hypothesis-consistency gap, not an equation reducing to its own input, and it does not make the derivation circular.

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

No numbers are fitted and no physical entities are postulated. The paper introduces new definitions such as the twisted groupoid homology complex H(G^omega, k/l), but these are bookkeeping objects in a proof, not independent postulates. The central claim rests on standard homological algebra, on prior Exel-Pardo results [12], and on hypotheses such as pseudo-freeness and the Farrell-Jones conjecture where they appear.

assumptions (5)
  • standard math Standard Hochschild and cyclic homology machinery for algebras with local units, including Morita invariance and compatibility with filtered colimits.
    Invoked throughout, e.g., Lemma 2.8.5, trace quasi-isomorphisms (6.4.19), and the cyclic complex comparisons in Section 2.9.
  • standard math Flatness and bar-resolution machinery for groupoid modules, including that basic etale G-spaces give flat modules.
    Propositions 2.7.1 and 2.7.2 from [27] are used to identify groupoid homology with the homology of C_c on nerves and to justify tensor-product computations.
  • domain assumption Exel-Pardo algebra facts from [12]: C(G,E,phi^c) is isomorphic to A_k(G^u), the Cohn extension is excisive, and certain maps are kk-equivalences.
    Theorem 1.5 depends on [12, Proposition 6.2.3, Theorem 6.3.1] and [12, Corollary 8.17]; these are prior results by one of the present authors.
  • domain assumption Pseudo-free EP triples are Hausdorff, and the groupoid of such a triple has finitely many minimal strongly fixed paths for each element.
    Used in Lemma 6.5.7 and Theorem 6.5.13 to split the restriction map and identify the twisted groupoid homology complex as a direct summand.
  • domain assumption Farrell-Jones conjecture for torsionfree G and regularity or supercoherence of k[G].
    These are hypotheses of Theorem 1.9 and Corollary 6.6.11; the K-theory of k[G] is taken from the conjecture, not proved here.

how reviews work

0 comments
Cite this review

Pith. "Pith review of Homology of Steinberg algebras." pith.science (2026). https://pith.science/paper/GZ2O4TUO

@misc{pith2026241215112,
  author       = {Pith},
  title        = {Pith review of: Homology of Steinberg algebras},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/GZ2O4TUO}},
  note         = {Machine review of arXiv:2412.15112}
}
abstract

We study homological invariants of the Steinberg algebra $\mathcal{A}_k(\mathcal{G})$ of an ample groupoid $\mathcal{G}$ over a commutative ring $k$. For $\mathcal{G}$ principal or Hausdorff with ${\mathcal{G}}^{\rm{Iso}}\setminus{\mathcal{G}}^{(0)}$ discrete, we compute Hochschild and cyclic homology of $\mathcal{A}_k(\mathcal{G})$ in terms of groupoid homology. For any ample Hausdorff groupoid $\mathcal{G}$, we find that $H_*(\mathcal{G})$ is a direct summand of $HH_*(\mathcal{A}_k(\mathcal{G}))$; using this and the Dennis trace we obtain a map $\overline{D}_*:K_*(\mathcal{A}_k(\mathcal{G}))\to H_n(\mathcal{G},k)$. We study this map when $\mathcal{G}$ is the (twisted) Exel-Pardo groupoid associated to a self-similar action of a group $G$ on a graph, and compute $HH_*(\mathcal{A}_k(\mathcal{G}))$ and $H_*(\mathcal{G},k)$ in terms of the homology of $G$, and the $K$-theory of $\mathcal{A}_k(\mathcal{G})$ in terms of that of $k[G]$.

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. Equivariant periodic cyclic homology for ample groupoids

    math.KT 2025-06 conditional novelty 6.0 of 10

    The paper defines equivariant bivariant periodic cyclic homology for ample groupoids and proves homotopy invariance, stability, excision, and a Green-Julg isomorphism.

Reference graph

Works this paper leans on

35 extracted references · 26 canonical work pages · cited by 1 Pith paper

  1. [12]

    Exel-Pardo algebras with a twist

    , Exel-Pardo algebras with a twist , J. Noncommut. Geom., published Online First, DOI 10.4171/JNCG/585, available at arXiv:2309.14325. ↑2, 3, 4, 5, 6, 25, 27, 28, 29, 30, 39, 46, 48, 51, 52 HOMOLOGY OF STEINBERG ALGEBRAS 55

    work page Pith review arXiv

  2. [28]

    Alistair Miller and Benjamin Steinberg, Homology and K-theory for self-similar actions of groups and groupoids , 2024.arXiv:2409.02359 ↑3, 6

    arXiv 2024

  3. [1]

    2008, Springer, 2017

    Gene Abrams, Pere Ara, and Mercedes Siles Molina, Leavitt path algebras , Lecture Notes in Math., vol. 2008, Springer, 2017. ↑ 4, 28, 38, 51

    work page 2008

  4. [2]

    Algebra 333 (2011), 202–231

    Gene Abrams, Adel Louly, Enrique Pardo, and Christopher Smith, Flow invariants in the classification of Leavitt path algebras , J. Algebra 333 (2011), 202–231. MR2785945 ↑38

    work page 2011

  5. [3]

    1, 5–34.Zbl 1187.19003 ↑3

    Pere Ara, Miquel Brustenga, and Guillermo Corti˜ nas, K-theory of Leavitt path algebras , M¨ unster Journal of Mathematics 2 (2009), no. 1, 5–34.Zbl 1187.19003 ↑3

    work page arXiv 2009

  6. [4]

    Pere Ara and Guillermo Corti˜ nas,Tensor products of Leavitt path algebras, Proc. Amer. Math. Soc. 141 (2013), no. 8, 2629–2639, DOI 10.1090/S0002-9939-2013-11 561-3. MR3056553 ↑3, 4, 25, 51, 53

    work page doi:10.1090/s0002-9939-2013-11 2013

  7. [5]

    Pere Ara, M. A. Gonz´ alez-Barroso, K. R. Goodearl, and E. Pardo, Fractional skew monoid rings., J. Algebra 278 (2004), no. 1, 104–126, DOI 10.1016/j.jalgebra.2004.03.0 09 (English). ↑6, 35, 52

    work page doi:10.1016/j.jalgebra.2004.03.0 2004

  8. [6]

    Pure Appl

    Becky Armstrong, Lisa Orloff Clark, Kristin Courtney, Yi ng-Fen Lin, Kathryn McCormick, and Jacqui Ramagge, Twisted Steinberg algebras , J. Pure Appl. Algebra 226 (2022), no. 3, Paper No. 106853, 33, DOI 10.1016/j.jpaa.2021.106853. ↑17

    work page arXiv 2022

Show all 35 references
  1. [7]

    3, 660–696, DOI 10.1016/j.jpaa.2005.07.020.Zbl 1093.19002 ↑

    Arthur Bartels and W olfgang L¨ uck, Isomorphism conjecture for homotopy K-theory and groups acting on trees , Journal of Pure and Applied Algebra 205 (2006), no. 3, 660–696, DOI 10.1016/j.jpaa.2005.07.020.Zbl 1093.19002 ↑

    2006

  2. [8]

    A. K. Bousfield and D. M. Kan, Homotopy limits, completions and localizations , Lecture Notes in Mathematics, vol. 304, Springer, Cham, 1972.Zbl 02 59.55004 ↑10

    1972

  3. [9]

    Dan Burghelea, The cyclic homology of the group rings , Comment. Math. Helv. 60 (1985), no. 3, 354–365, DOI 10.1007/BF02567420. ↑2, 21

    1985 doi

  4. [10]

    3, 501–517, DOI 10.1007/s00233-014-9594-z

    Lisa Orloff Clark, Cynthia Farthing, Aidan Sims, and Mar k Tomforde, A groupoid gen- eralisation of Leavitt path algebras , Semigroup Forum 89 (2014), no. 3, 501–517, DOI 10.1007/s00233-014-9594-z. ↑9

    2014 doi

  5. [11]

    13, Departamento de Matem´ atica, Facultad de Ciencias Exactas y Naturales, Universidad de Buenos Aires

    Guillermo Corti˜ nas, ´Algebra II + 1/2, Cursos y Seminarios de Matem´ atica, Serie B, vol. 13, Departamento de Matem´ atica, Facultad de Ciencias Exactas y Naturales, Universidad de Buenos Aires. ↑38

  6. [13]

    Reine Angew

    Guillermo Corti˜ nas and Andreas Thom, Bivariant algebraic K-theory, J. Reine Angew. Math. 610 (2007), 71–123. MR2359851 ↑45, 48

    2007

  7. [14]

    12, 32, DOI 10.1016/j.jpaa.2022.107124

    Guillermo Corti˜ nas and Santiago Vega, Bivariant Hermitian K-theory and Karoubi’s fun- damental theorem , Journal of Pure and Applied Algebra 226 (2022), no. 12, 32, DOI 10.1016/j.jpaa.2022.107124. Id/No 107124.Zbl 1493.1900 2 ↑44

    2022

  8. [15]

    Ruy Exel, Inverse semigroups and combinatorial C∗ -algebras, Bull. Braz. Math. Soc. (N.S.) 39 (2008), no. 2, 191–313, DOI 10.1007/s00574-008-0080-7. MR 2419901 ↑7, 24, 27

    2008 doi

  9. [16]

    Ruy Exel and Enrique Pardo, Self-similar graphs, a unified treatment of Katsura and Nekr a- shevych C∗ -algebras, Adv. Math. 306 (2017), 1046–1129, DOI 10.1016/j.aim.2016.10.030. ↑2, 3, 26, 27, 32, 40, 41, 51

    2017 doi

  10. [17]

    S. M. Gersten, K-theory of free rings , Communications in Algebra 1 (1974), 39–64, DOI 10.1080/00927877408548608.Zbl 0299.18006 ↑46

    1974

  11. [18]

    Goerss and John F

    Paul G. Goerss and John F. Jardine, Simplicial homotopy theory , Progress in Mathematics, vol. 174, Birkh¨ auser, Cham, 1999.Zbl 0949.55001 ↑10

    1999

  12. [19]

    149, Soci´ et´ e Math´ ematique de France (SMF), Paris, 1987 (French).Zbl 0648.18008 ↑2

    Max Karoubi, Homologie cyclique et K-th´ eorie, Ast´ erisque, vol. 149, Soci´ et´ e Math´ ematique de France (SMF), Paris, 1987 (French).Zbl 0648.18008 ↑2

    1987

  13. [20]

    Christian Kassel, Cyclic homology, comodules, and mixed complexes , Journal of Algebra 107 (1987), 195–216, DOI 10.1016/0021-8693(87)90086-X.Zbl 0 617.16015 ↑16

    1987 doi

  14. [21]

    ↑4, 6, 50, 51

    Xin Li, Notes on permutative categories of bisections in ample grou poids (2023), Preprint. ↑4, 6, 50, 51

    2023

  15. [22]

    Pi, accepted for publication, available at arXiv:2209.08087

    , Ample groupoids, topological full groups, algebraic K-theory spectra and infinite loop spaces, Forum Math. Pi, accepted for publication, available at arXiv:2209.08087. ↑7, 11, 50

    arXiv

  16. [23]

    301, Springer-Verlag, Berlin, 1998

    Jean-Louis Loday, Cyclic homology , 2nd ed., Grundlehren der mathematischen Wis- senschaften [Fundamental Principles of Mathematical Scie nces], vol. 301, Springer-Verlag, Berlin, 1998. Appendix E by Mar ´ ıa O. Ronco; Chapter 13 by the author in collaboration with Teimuraz Pi...

    1998

  17. [24]

    Jean-Louis Loday and Daniel Quillen, Cyclic homology and the Lie algebra homology of matrices, Commentarii Mathematici Helvetici 59 (1984), 565–591, DOI 10.1007/BF02566367, available at https://eudml.org/doc/139991.Zbl 0565.17006 ↑16

    1984

  18. [25]

    W olfgang L¨ uck and Holger Reich, The Baum-Connes and the Farrell-Jones conjectures in K-and L-theory, Handbook of K-theory. Vol. 1, 2, Springer, Berlin, 2005, pp. 703–842. ↑47

    2005

  19. [26]

    Ralf Meyer, Embeddings of derived categories of bornological modules , arXiv preprint math/0410596 (2004). ↑

    2004 arXiv

  20. [27]

    Alistair Miller, Ample groupoid homology and ´ etale correspondences , available at arXiv:2304.13473. ↑11, 23

    arXiv

  21. [29]

    Noncommut

    Eduard Ortega, The homology of the Katsura-Exel-Pardo groupoid , J. Noncommut. Geom. 14 (2020), no. 3, 913–935, DOI 10.4171/jncg/382. MR4170644 ↑4, 44

    2020 doi

  22. [30]

    Alan L. T. Paterson, Groupoids, inverse semigroups, and their operator algebra s, Progress in Mathematics, vol. 170, Birkh¨ auser, Cham, 1999.Zbl 0913 .22001 ↑24, 27

    1999

  23. [31]

    I , Lect

    Daniel Quillen, Higher algebraic K-theory. I , Lect. Notes Math., vol. 341, Springer, 1973, Algebraic K-theory I, pp. 85–147, DOI 10.1007/BFb0067053.Zbl 0292.18 004 ↑46

    1973 doi

  24. [32]

    Rigby, Tensor products of Steinberg algebras , J

    Simon W. Rigby, Tensor products of Steinberg algebras , J. Aust. Math. Soc. 111 (2021), no. 1, 111–126, DOI 10.1017/S1446788719000302. ↑

    2021 doi

  25. [33]

    Benjamin Steinberg, A groupoid approach to discrete inverse semigroup algebras , Adv. Math. 223 (2010), no. 2, 689–727, DOI 10.1016/j.aim.2009.09.001. ↑1, 7, 8, 9, 24

    2010 doi

  26. [34]

    Ton Vorst, Localization of the K-theory of polynomial extensions , Mathe- matische Annalen 244 (1979), 33–53, DOI 10.1007/BF01420335, available at https://eudml.org/doc/163289.Zbl 0415.13005 ↑46

    1979

  27. [35]

    W eibel, Homotopy algebraic K-theory, Algebraic K-theory and algebraic number theory (Honolulu, HI, 1987), Contemp

    Charles A. W eibel, Homotopy algebraic K-theory, Algebraic K-theory and algebraic number theory (Honolulu, HI, 1987), Contemp. Math., vol. 83, Amer. Math. Soc., Providence, RI, 1989, pp. 461–488. MR991991 (90d:18006) ↑45, 46 Email address : garnone@dm.uba.ar Departamento de Ma...

    1987

Pith tools

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