pith. sign in

arxiv: 2507.19879 · v3 · pith:33TEYHPLnew · submitted 2025-07-26 · 🧮 math.KT · math.OA· math.RA

Higher-rank graphs and the graded K-theory of Kumjian-Pask algebras

Roozbeh Hazrat , Promit Mukherjee , David Pask , Sujit Kumar Sardar This is my paper

Pith reviewed 2026-05-21 23:16 UTC · model grok-4.3

classification 🧮 math.KT math.OAmath.RA
keywords higher-rank graphsKumjian-Pask algebrasgraded K-theorygroupoid homologytalented monoidsMorita equivalencein-splittingsink deletion
0
0 comments X

The pith

For row-finite source-free k-graphs, the graded zeroth homology of the infinite-path groupoid is isomorphic as a Z[Z^k]-module to the graded Grothendieck group of the associated Kumjian-Pask algebra, preserving positive cones.

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

The paper proves that for any row-finite k-graph without sources, the graded integral homology in degree zero of its infinite-path groupoid is isomorphic to the graded Grothendieck group of its Kumjian-Pask algebra. The isomorphism is one of modules over the Laurent polynomial ring Z[Z^k] and carries the positive cone of talented monoids on each side to the other. The authors further show that the graph operations of in-splitting and sink deletion leave this graded invariant unchanged and produce graded Morita equivalent algebras. They also supply a sufficient condition, expressed in terms of the graded K0 groups, under which a pointed order-preserving module map between two such algebras lifts to a unital graded ring homomorphism.

Core claim

For a row-finite k-graph Λ without sources there exists a Z[Z^k]-module isomorphism H_0^gr(G_Λ) ≅ K_0^gr(KP_k(Λ)) that respects the positive cones. The same isomorphism holds after in-splitting or sink deletion, yielding graded Morita equivalence of the associated algebras. A pointed order-preserving Z[Z^k]-module homomorphism between the graded Grothendieck groups of two finite-object algebras lifts to a unital graded ring homomorphism under a fullness condition obtained via bridging bimodules.

What carries the argument

The Z[Z^k]-module isomorphism between graded zeroth homology of the infinite-path groupoid and graded Grothendieck group of the Kumjian-Pask algebra, together with the positive-cone-preserving property.

If this is right

  • In-splitting and sink deletion preserve the graded K-theory and produce graded Morita equivalent Kumjian-Pask algebras.
  • Graded K-theory supplies a candidate invariant for classifying families of Kumjian-Pask algebras arising from higher-rank graphs.
  • Pointed order-preserving Z[Z^k]-module maps between graded K0 groups lift to unital graded ring homomorphisms when the target group is full.

Where Pith is reading between the lines

These are editorial extensions of the paper, not claims the author makes directly.

  • Computations of groupoid homology could therefore be used to decide isomorphism questions for the corresponding algebras.
  • The same isomorphism may serve as a bridge between topological invariants of the groupoid and algebraic invariants of the Leavitt-type algebra.
  • The lifting criterion suggests a route toward a graded version of the Kirchberg-Phillips classification program for these algebras.

Load-bearing premise

The k-graphs are row-finite and have no sources, so that the infinite-path groupoid and the Kumjian-Pask algebra admit the standard constructions of graded homology and graded Grothendieck group.

What would settle it

A concrete row-finite source-free k-graph for which the graded homology group H_0^gr(G_Λ) and the graded Grothendieck group K_0^gr(KP_k(Λ)) fail to be isomorphic as Z[Z^k]-modules or whose positive cones do not correspond under any such isomorphism.

read the original abstract

This paper lays out the foundations of graded $K$-theory for Leavitt algebras associated with higher-rank graphs, also known as Kumjian-Pask algebras, establishing it as a potential tool for their classification. For a row-finite $k$-graph $\Lambda$ without sources, we show that there exists a $\mathbb{Z}[\mathbb{Z}^k]$-module isomorphism between the graded zeroth (integral) homology $H_0^{gr}(\mathcal{G}_\Lambda)$ of the infinite path groupoid $\mathcal{G}_\Lambda$ and the graded Grothendieck group $K_0^{gr}(KP_\mathsf{k}(\Lambda))$ of the Kumjian-Pask algebra $KP_\mathsf{k}(\Lambda)$, which respects the positive cones (i.e., the talented monoids). We demonstrate that the $k$-graph moves of in-splitting and sink deletion defined by Eckhardt et al. (Canad. J. Math. 2022) preserve the graded $K$-theory of associated Kumjian-Pask algebras and produce algebras which are graded Morita equivalent, thus providing evidence that graded $K$-theory may be an effective invariant for classifying certain Kumjian-Pask algebras. We also determine a natural sufficient condition regarding the fullness of the graded Grothendieck group functor. More precisely, for two row-finite $k$-graphs $\Lambda$ and $\Omega$ without sources and with finite object sets, we obtain a sufficient criterion for lifting a pointed order-preserving $\mathbb{Z}[\mathbb{Z}^k]$-module homomorphism between $K_0^{gr}(KP_\mathsf{k}(\Lambda))$ and $K_0^{gr}(KP_\mathsf{k}(\Omega))$ to a unital graded ring homomorphism between $KP_\mathsf{k}(\Lambda)$ and $KP_\mathsf{k}(\Omega)$. For this we adopt, in the setting of $k$-graphs, the bridging bimodule technique recently introduced by Abrams, Ruiz and Tomforde (Algebr. Represent. Theory 2024).

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit. Tearing a paper down is the easy half of reading it; the pith above is the substance, this is the friction.

Referee Report

0 major / 3 minor

Summary. The manuscript establishes foundations for graded K-theory of Kumjian-Pask algebras associated to higher-rank graphs. For row-finite source-free k-graphs Λ, it proves a ℤ[ℤ^k]-module isomorphism H_0^gr(G_Λ) ≅ K_0^gr(KP_k(Λ)) that respects the positive cones (talented monoids). It shows that the moves of in-splitting and sink deletion preserve graded K-theory and induce graded Morita equivalences. For graphs with finite object sets, it gives a sufficient criterion, via bridging bimodules, for lifting a pointed order-preserving ℤ[ℤ^k]-module homomorphism between the graded Grothendieck groups to a unital graded ring homomorphism.

Significance. If the central isomorphism and its consequences hold, the work supplies a concrete graded invariant for Kumjian-Pask algebras that is directly comparable to groupoid homology and respects the natural positive cones. The invariance under the moves of Eckhardt et al. and the lifting criterion (adapting the Abrams-Ruiz-Tomforde bridging-bimodule technique) give practical tools for classification and for producing graded Morita equivalences. These features strengthen the case for graded K-theory as a useful invariant in the higher-rank setting.

minor comments (3)
  1. §1 (Introduction): the statement that the isomorphism 'respects the positive cones' would be clearer if it explicitly referenced the definition of the talented monoid structure on both sides (e.g., the cone generated by the classes of finite paths or the corresponding homology classes).
  2. Notation: the algebra is written both as KP_k(Λ) and KP_mathsf{k}(Λ); adopt a single consistent macro throughout the text and in displayed equations.
  3. The lifting criterion in the final section assumes finite object sets; a brief remark on whether the argument extends to the infinite-object case (or why it does not) would help readers assess the scope.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for their careful reading and positive assessment of our manuscript. We appreciate the summary of our main results on the graded K-theory isomorphism, the preservation under graph moves, and the lifting criterion via bridging bimodules, as well as the recognition of their potential utility for classification.

Circularity Check

0 steps flagged

No significant circularity detected

full rationale

The central result is a Z[Z^k]-module isomorphism H_0^gr(G_Λ) ≅ K_0^gr(KP_k(Λ)) respecting positive cones, derived directly from the standard definitions of the infinite-path groupoid G_Λ and the Kumjian-Pask algebra KP_k(Λ) for row-finite source-free k-graphs. No step reduces by construction to a fitted input, self-definition, or load-bearing self-citation; the additional claims on move invariance and the lifting criterion rely on external citations (Eckhardt et al. 2022 and Abrams-Ruiz-Tomforde 2024) whose authors do not overlap with the present paper. The derivation chain is therefore self-contained against the given hypotheses and does not match any enumerated circularity pattern.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 0 invented entities

The work relies on standard background in graded K-theory, groupoid homology, and the existing theory of Kumjian-Pask algebras; no new free parameters, ad-hoc axioms, or invented entities are introduced.

axioms (2)
  • standard math Standard definitions and properties of row-finite k-graphs without sources, their infinite-path groupoids, and the associated graded Kumjian-Pask algebras.
    Invoked in the statements of all main results.
  • standard math Existence and basic functoriality of graded Grothendieck groups and graded homology for these objects.
    Used to formulate the isomorphism and the positive-cone preservation.

pith-pipeline@v0.9.0 · 5931 in / 1506 out tokens · 59001 ms · 2026-05-21T23:16:34.250108+00:00 · methodology

Review history (2 revisions) →

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.

Reference graph

Works this paper leans on

47 extracted references · 47 canonical work pages

  1. [1]

    Abrams, P

    G. Abrams, P. Ara, M. Siles Molina: Leavitt Path Algebras, Lecture Notes in Mathematics, vol. 2191, Springer Verlag,

    work page

  2. [2]

    Abrams, E

    G. Abrams, E. Ruiz, M. Tomforde: Recasting the Hazrat conjecture: Relating shift equivalence to graded Morita equivalence, Algebr. Represent. Theory 27 (2024), 1477–1511. 2, 4, 34, 36, 42

    work page 2024

  3. [3]

    P. Ara, J. Bosa, E. Pardo, A. Sims: The groupoids of adaptable separated graphs and their semigroups , Int. Math. Res. Not. IMRN (2021), 15444–15496. 3, 28

    work page 2021

  4. [4]

    P. Ara, C. B¨ onicke, J. Bosa, K. Li: The type semigroup, comparison, and almost finiteness for ample groupoids , Ergod. Th. & Dynam. Sys. 43(2) (2023), 361–400. 3, 26

    work page 2023

  5. [5]

    P. Ara, R. Hazrat, H. Li, A. Sims: Graded Steinberg algebras and their representations , Algebra Number Theory 12(1) (2018), 131–172. 3, 8, 9

    work page 2018

  6. [6]

    P. Ara, E. Pardo: Towards a K-theoretic characterization of graded isomorphisms between Leavitt path algebras , J. K- theory 14 (2014), 203–245. 2

    work page 2014

  7. [7]

    P. Ara, M. A. Moreno, E. Pardo: Nonstable K-theory for graph algebras , Algebr. Represent. Theory 10 (2007), 157–178. 2, 8

    work page 2007

  8. [8]

    Aranda Pino, J

    G. Aranda Pino, J. Clark, A. an Huef, I. Raeburn: Kumjian-Pask algebras of higher-rank graphs, Trans. Amer. Math. Soc. 365 (2013), 3613–3641. 2, 7, 12, 43

    work page 2013

  9. [9]

    Arnone: Lifting morphisms between graded Grothendieck groups of Leavitt path algebras, J

    G. Arnone: Lifting morphisms between graded Grothendieck groups of Leavitt path algebras, J. Algebra 631 (2023), 804–829. 2, 4

    work page 2023

  10. [10]

    Arnone: Graded homotopy classification of Leavitt path algebras , Rev

    G. Arnone: Graded homotopy classification of Leavitt path algebras , Rev. Mat. Iberoam. 41 (2025), 913–952. 2

    work page 2025

  11. [11]

    Arnone, G

    G. Arnone, G. Corti˜ nas:Graded K-theory and Leavitt path algebras , J. Algebraic Combin. 58 (2023), 399–434. 2

    work page 2023

  12. [12]

    W. Bock, R. Hazrat, A. Sebandal: The graded classification conjectures hold for various finite representations of Leavitt path algebras, J. Algebra 672 (2025), 303–333. 2

    work page 2025

  13. [13]

    K. A. Brix, A. Dor-On, R. Hazrat, E. Ruiz: Unital aligned shift equivalence and the graded classification conjecture for Leavitt path algebras, Math. Z. 310, 47 (2025), pp. 17. 2, 4, 46

    work page 2025

  14. [14]

    Brooker, P

    S. Brooker, P. Ganesan, E. Gillaspy, Y-F. Lin, D. Pask and J. Plavnik: Relating insplittings of 2-graphs and of textile systems, preprint. arXiv:2506.21708. 3, 33

    work page arXiv

  15. [15]

    L. O. Clark, R. Hazrat, S. Rigby: Strongly graded groupoids and strongly graded Steinberg algebras, J. Algebra 530 (2019), 34–68. 3, 20

    work page 2019

  16. [16]

    L. O. Clark, Y. E. P. Pangalela: Kumjian-Pask algebras of finitely-aligned higher-rank graphs , J. Algebra 482 (2017), 364–397. 3, 8

    work page 2017

  17. [17]

    Bilich, A

    B. Bilich, A. Dor-On, E. Ruiz: Equivariant homotopy classification of graph C ∗-algebras, preprint. arXiv:2408.09740. 2

    work page arXiv

  18. [18]

    L. G. Cordeiro, D. Gonc¸ alves, R. Hazrat: The talented monoid of a directed graph with applications to graph algebras , Rev. Mat. Iberoam. 38 (2022), 223–256. 2, 12, 16, 26 HIGHER-RANK GRAPHS AND THE GRADED K-THEORY OF KUMJIAN-PASK ALGEBRAS 49

    work page 2022

  19. [19]

    Corti˜ nas, R

    G. Corti˜ nas, R. Hazrat: Classification conjectures for Leavitt path algebras , Bull. London Math. Soc., 56 (2024), 3011–

    work page 2024

  20. [20]

    Crainic, I

    M. Crainic, I. Moerdijk: A homology theory for ´ etale groupoids, J. reine. Angew. Math. 521 (2000), 25–46. 3, 18

    work page 2000

  21. [21]

    Eckhardt, K

    C. Eckhardt, K. Fieldhouse, D. Gent, E. Gillaspy, I. Gonzales, D. Pask: Moves on k-graphs preserving Morita equivalence, Canad. J. Math. 74 (2022), 655–685. 3, 9, 10, 11, 15, 16, 17

    work page 2022

  22. [22]

    Eilers, E

    S. Eilers, E. Ruiz, A. Sims: Amplified graph C ∗-algebras II: reconstruction, Proc. Amer. Math. Soc. 9 (2022), 297–310. 2

    work page 2022

  23. [23]

    Eilers, E

    S. Eilers, E. Ruiz: Refined moves for structure-preserving isomorphism of graphC ∗-algebras, preprint. arXiv:1908.03714v2. 2

    work page arXiv 1908

  24. [24]

    D. G. Evans: On the K-theory of higher-rank graph C ∗-algebras, New York J. Math. 14 (2008), 1–31. 28, 30

    work page 2008

  25. [25]

    N. J. Fowler, A. Sims: Product systems over right-angled Artin semigroups , Trans. Amer. Math. Soc. 354 (2002), 1487–

    work page 2002

  26. [26]

    Hazlewood, I

    R. Hazlewood, I. Raeburn, A. Sims, S. B. G. Webster: Remarks on some fundamental results about higher-rank graphs and their C ∗-algebras, Proc. Edinb. Math. Soc. 56 (2013), 575–597. 4, 5, 37

    work page 2013

  27. [27]

    Hazrat: The graded Grothendieck group and classification of Leavitt path algebras , Math

    R. Hazrat: The graded Grothendieck group and classification of Leavitt path algebras , Math. Ann. 355 (2013), 273–325. 46

    work page 2013

  28. [28]

    Hazrat: The dynamics of Leavitt path algebras , J

    R. Hazrat: The dynamics of Leavitt path algebras , J. Algebra 384 (2013), 242–266. 2, 15, 16

    work page 2013

  29. [29]

    Hazrat: Graded rings and graded Grothendieck groups, London Math

    R. Hazrat: Graded rings and graded Grothendieck groups, London Math. Society Lecture Note Series, Cambridge University Press, 2016. 8

    work page 2016

  30. [30]

    Hazrat, H

    R. Hazrat, H. Li: Homology of ´ etale groupoids: a graded approach, J. Algebra 611 (2022), 589–629. 3, 19, 20, 24, 26

    work page 2022

  31. [31]

    Hazrat, H

    R. Hazrat, H. Li, R. Preusser: Bergman algebras: The graded universal algebra constructions , preprint. arXiv:2403.01703. 48

    work page arXiv

  32. [32]

    Hazrat, P

    R. Hazrat, P. Mukherjee, D. Pask, S. K. Sardar: The talented monoid of higher-rank graphs with applications to Kumjian- Pask algebras, preprint. arXiv:2411.07582. 2, 3, 7, 8, 9, 17, 21, 25, 26, 28, 30

    work page arXiv

  33. [33]

    A. S. A. Johnson, K. M. Madden: The decomposition theorem for two-dimensional shifts of finite type, Proc. Amer. Math. Soc. 127 (1999), 1533–1543. 3, 33

    work page 1999

  34. [34]

    Kumjian, D

    A. Kumjian, D. Pask: Higher rank graph C ∗-algebras, New York J. Math. 6 (2000), 1–20. 2, 3, 6, 7, 8, 23, 26, 28, 38

    work page 2000

  35. [35]

    Kumjian, D

    A. Kumjian, D. Pask, I. Raeburn: Cuntz-Krieger algebras of directed graphs, Pacific. J. Math. 184 (1998), 161–174. 2

    work page 1998

  36. [36]

    Kumjian, D

    A. Kumjian, D. Pask, A. Sims: Generalized morphisms of k-graphs: k-morphs, Trans. Amer. Math. Soc. 363 (2011), 2599–2626. 38

    work page 2011

  37. [37]

    D. Lind, B. Marcus: An Introduction to Symbolic Dynamics and Coding, Cambridge University Press, Cambridge, 1995. 2, 33

    work page 1995

  38. [38]

    Matui: Homology and topological full groups of ´ etale groupoids on totally disconnected spaces , Proc

    H. Matui: Homology and topological full groups of ´ etale groupoids on totally disconnected spaces , Proc. London Math. Soc. 104 (3) (2012), 27–56. 3, 18, 20

    work page 2012

  39. [39]

    Matui: ´Etale groupoids arising from products of shifts of finite type , Adv

    H. Matui: ´Etale groupoids arising from products of shifts of finite type , Adv. Math. 303 (2016), 502–548. 3, 18, 26

    work page 2016

  40. [40]

    Nasu: Textile systems for endomorphisms and automorphisms of the shift , Mem

    M. Nasu: Textile systems for endomorphisms and automorphisms of the shift , Mem. Amer. Math. Soc. 114 (1995), viii+215. 3, 33

    work page 1995

  41. [41]

    D. Pask, I. Raeburn, M. R ϕrdam, A. Sims: Rank-two graphs whose C ∗-algebras are direct limits of circle algebras , J. Funct. Anal. 239 (2006), 137–178. 2

    work page 2006

  42. [42]

    D. Pask, A. Sierakowski, A. Sims: Unbounded quasitraces, stable finiteness and pure infiniteness , Houst. J. Math. 45 (3) (2019), 763–814. 28

    work page 2019

  43. [43]

    Quillen: Higher algebraic K-theory

    D. Quillen: Higher algebraic K-theory. I . Algebraic K-theory, I: Higher K-theories (Proc. Conf., Battelle Memorial Inst., Seattle, WA, 1972), pp. 85–147. Lecture Notes in Math., Vol. 341, Springer, Berlin 1973. 8

    work page 1972

  44. [44]

    Renault: A groupoid approach to C ∗-algebras, Lecture Notes in Mathematics 793, Springer, Berlin, 1980

    J. Renault: A groupoid approach to C ∗-algebras, Lecture Notes in Mathematics 793, Springer, Berlin, 1980. 3, 19

    work page 1980

  45. [45]

    Robertson, T

    G. Robertson, T. Steger: Affine buildings, tiling systems and higher rank Cuntz-Krieger algebras , J. reine. Angew. Math. 513 (1999), 115–144. 2

    work page 1999

  46. [46]

    Vaˇ s:The functor Kgr 0 is full and only weakly faithful , Algebr

    L. Vaˇ s:The functor Kgr 0 is full and only weakly faithful , Algebr. Represent. Theory, 26 (2023), 2877–2890. 2, 4

    work page 2023

  47. [47]

    Vaˇ s:The Graded Classification Conjecture holds for graphs with disjoint cycles , preprint

    L. Vaˇ s:The Graded Classification Conjecture holds for graphs with disjoint cycles , preprint. arXiv:2505.16706. 2 (R. Hazrat) Centre for Research in Mathematics and Data Science, Western Sydney University, NSW 2150, Australia Email address : r.hazrat@westernsydeny.edu.au (P. Mukherjee) Department of Mathematics, Jadavpur University, Kolkata-700032, Indi...

    work page arXiv