pith. sign in

arxiv: 2507.19879 · v2 · 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-19 03:33 UTC · model grok-4.3

classification 🧮 math.KT math.OAmath.RA
keywords higher-rank graphsKumjian-Pask algebrasgraded K-theorygroupoid homologyGrothendieck groupsgraph movesMorita equivalence
0
0 comments X

The pith

For row-finite k-graphs without sources, the graded zeroth homology of the infinite path groupoid is isomorphic as a Z[Z^k]-module to the graded Grothendieck group of the 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 establishes an explicit Z[Z^k]-module isomorphism that identifies the graded integral homology of the infinite path groupoid with the graded Grothendieck group of the associated Kumjian-Pask algebra. This identification respects the natural positive cones on both sides. The result supplies a topological route to computing the algebraic invariant and shows that two standard graph operations preserve the graded K-theory while producing graded Morita equivalent algebras. A sufficient condition is also given under which order-preserving maps between the K-groups lift to graded ring homomorphisms via adapted bridging bimodules.

Core claim

For a row-finite k-graph Λ without sources, the graded zeroth homology H_0^{gr}(G_Λ) of the infinite path groupoid is isomorphic to the graded Grothendieck group K_0^{gr}(KP_k(Λ)) as Z[Z^k]-modules, and the isomorphism maps the positive cone of talented monoids in one group onto the positive cone in the other.

What carries the argument

The Z[Z^k]-module isomorphism between graded groupoid homology and graded Grothendieck group, which equates the topological and algebraic graded invariants while preserving their order structures.

If this is right

  • In-splitting and sink deletion preserve the graded K-theory of the associated Kumjian-Pask algebras.
  • Algebras obtained by these moves are graded Morita equivalent.
  • A pointed order-preserving Z[Z^k]-module homomorphism between the graded Grothendieck groups of two finite-object k-graphs lifts to a unital graded ring homomorphism when the bridging-bimodule condition holds.

Where Pith is reading between the lines

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

  • The isomorphism supplies a practical computational tool for graded K-theory by reducing it to groupoid homology calculations.
  • Graded K-theory may serve as a complete invariant for classification of Kumjian-Pask algebras within the class of graphs closed under the given moves.
  • The lifting criterion extends classification techniques previously used for ordinary Leavitt path algebras to the higher-rank graded setting.

Load-bearing premise

The k-graph must be row-finite and source-free so that the infinite path groupoid and the Kumjian-Pask algebra are defined and the homology and K-theory constructions apply directly.

What would settle it

Exhibit a concrete row-finite k-graph without sources for which the two graded groups are not isomorphic as Z[Z^k]-modules or for which the isomorphism fails to map positive cones onto each other.

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 adapt, 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 paper develops the foundations of graded K-theory for Kumjian-Pask algebras associated to higher-rank graphs. For a row-finite k-graph Λ without sources, it establishes a ℤ[ℤ^k]-module isomorphism H_0^{gr}(𝒢_Λ) ≅ K_0^{gr}(KP_k(Λ)) that preserves positive cones (talented monoids). It further shows that the k-graph moves of in-splitting and sink deletion preserve graded K-theory and yield graded Morita equivalent algebras, and provides a sufficient criterion for lifting pointed order-preserving ℤ[ℤ^k]-module homomorphisms between K_0^{gr} groups to unital graded ring homomorphisms via an adaptation of the bridging bimodule technique.

Significance. If the central isomorphism holds, the work supplies a concrete algebraic invariant for Kumjian-Pask algebras that is directly computable from the underlying groupoid homology and is stable under standard graph operations. The explicit adaptation of bridging bimodules to the k-graph setting and the resulting lifting criterion are concrete strengths that could support future classification results. The paper thereby connects groupoid homology techniques with graded algebraic K-theory in a manner that may prove useful for distinguishing non-isomorphic algebras.

minor comments (3)
  1. The notation for the graded Grothendieck group K_0^{gr} and the talented monoid is introduced without an explicit reference to the precise definition of the positive cone in the graded setting; adding a short paragraph or citation to the relevant earlier work would improve readability.
  2. In the statement of the lifting criterion (abstract and presumably §4), the finite-object-set hypothesis on Λ and Ω is used but its necessity is not contrasted with the row-finite no-sources hypothesis used elsewhere; a brief remark on whether the criterion extends would clarify the scope.
  3. The paper cites Eckhardt et al. (2022) and Abrams-Ruiz-Tomforde (2024) for the graph moves and bridging bimodules; confirming that all required definitions from those sources are recalled or referenced in a self-contained way would aid readers.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for their positive assessment of our manuscript and for recommending minor revision. We are pleased that the referee recognizes the significance of the graded isomorphism, the preservation under graph moves, and the lifting criterion using bridging bimodules. We will prepare a revised version incorporating any minor suggestions.

Circularity Check

0 steps flagged

No significant circularity; derivation self-contained

full rationale

The paper establishes a Z[Z^k]-module isomorphism H_0^{gr}(G_Λ) ≅ K_0^{gr}(KP_k(Λ)) that preserves positive cones for row-finite source-free k-graphs, using the standard definitions of the infinite-path groupoid and Kumjian-Pask algebra. The invariance results under in-splitting/sink deletion and the lifting criterion via adapted bridging bimodules are derived from these independent constructions and an external technique (Abrams-Ruiz-Tomforde 2024). No load-bearing step reduces by definition, by fitting a parameter then relabeling it a prediction, or by a self-citation chain that carries the central claim; the derivation remains externally grounded and non-circular.

Axiom & Free-Parameter Ledger

0 free parameters · 1 axioms · 0 invented entities

The central claims rest on the standard definitions of row-finite k-graphs without sources, the construction of the infinite path groupoid, and the definition of Kumjian-Pask algebras, all drawn from prior literature. No free parameters, invented entities, or ad-hoc axioms are mentioned in the abstract.

axioms (1)
  • domain assumption Row-finite k-graphs without sources admit well-defined infinite path groupoids and Kumjian-Pask algebras whose graded K-theory and homology are defined in the usual way.
    Invoked in the first sentence of the abstract to state the isomorphism.

pith-pipeline@v0.9.0 · 5931 in / 1542 out tokens · 41046 ms · 2026-05-19T03:33:04.548863+00:00 · methodology

discussion (0)

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

Lean theorems connected to this paper

Citations machine-checked in the Pith Canon. Every link opens the source theorem in the public Lean library.

What do these tags mean?
matches
The paper's claim is directly supported by a theorem in the formal canon.
supports
The theorem supports part of the paper's argument, but the paper may add assumptions or extra steps.
extends
The paper goes beyond the formal theorem; the theorem is a base layer rather than the whole result.
uses
The paper appears to rely on the theorem as machinery.
contradicts
The paper's claim conflicts with a theorem or certificate in the canon.
unclear
Pith found a possible connection, but the passage is too broad, indirect, or ambiguous to say the theorem truly supports the claim.

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