pith. sign in

arxiv: 2503.23343 · v3 · submitted 2025-03-30 · 🧮 math.RA · math.OA· math.QA

Relation morphisms of directed graphs

Gilles G. de Castro , Francesco D'Andrea , Piotr M. Hajac This is my paper

Pith reviewed 2026-05-22 23:02 UTC · model grok-4.3

classification 🧮 math.RA math.OAmath.QA
keywords directed graphsrelation morphismsgraph algebrasLeavitt path algebrasgraph C*-algebrascategory of graphsfunctorsadmissible relations
0
0 comments X

The pith

A relation category of directed graphs supports a single contravariant functor that unifies previous covariant and contravariant functors to algebras.

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

The paper tackles the practical need to use both covariant and contravariant functors from graphs to algebras at once by building one shared category that hosts a unifying construction. It begins by defining the relation category RG of directed graphs, then isolates admissible graph relations that form a subcategory of RG. On this subcategory the authors define a contravariant functor to the category of algebras over a field that extends both earlier functors. The same framework produces functors for path algebras, Cohn path algebras and Toeplitz graph C*-algebras from suitable subcategories, and the relation morphisms are shown to appear in standard examples such as Cuntz algebras, quantum spheres and quantum balls. A reader would care because the construction replaces two separate mappings with one coherent functor whenever both directions are required.

Core claim

By introducing the relation category RG of directed graphs and the concept of admissible graph relations, the authors obtain a subcategory of RG that admits a contravariant functor to k-Alg simultaneously generalizing the covariant and contravariant functors from suitable categories of graphs to k-Alg. The same approach yields functors given by path algebras, Cohn path algebras and Toeplitz graph C*-algebras from suitable subcategories of RG, with relation morphisms illustrated by Cuntz algebras, quantum spheres and quantum balls.

What carries the argument

The relation category RG of directed graphs together with admissible graph relations, which form the subcategory carrying the unifying contravariant functor to k-Alg.

If this is right

  • The unifying functor directly recovers the standard constructions of Leavitt path algebras and graph C*-algebras.
  • Suitable subcategories of RG also give functors for path algebras, Cohn path algebras and Toeplitz graph C*-algebras.
  • Relation morphisms appear naturally in Cuntz algebras, quantum spheres and quantum balls.
  • The single functor replaces the need to switch between separate covariant and contravariant maps when both are used together.

Where Pith is reading between the lines

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

  • The admissible-relation construction may supply a uniform language for comparing different graph-algebra presentations that were previously treated separately.
  • Users working with both graph C*-algebras and Leavitt path algebras on the same underlying graph could now track morphisms inside one category rather than two.
  • The framework might extend to other graph-based algebraic objects once the admissibility conditions are checked for those objects.

Load-bearing premise

A suitable definition of admissible graph relations exists that makes them into a subcategory of RG on which the unifying functor can be defined.

What would settle it

An explicit graph relation that meets every stated admissibility condition yet produces a functor that fails to recover one of the original covariant or contravariant constructions on any concrete graph.

Figures

Figures reproduced from arXiv: 2503.23343 by Francesco D'Andrea, Gilles G. de Castro, Piotr M. Hajac.

Figure 1
Figure 1. Figure 1: S 6 q → S 7 q identity on the part of F coinciding with H and maps en+1,n+1 to n + 1. The morphism φ ′ identifies the vertex n + 2 with n + 1 and the edge ei,n+2 with ei,n+1 for all i. One verifies that ϑ ′ ∈ RMIPG(E, H) and φ ′ ∈ CRTBPOG(F, H). To end with, note that C ∗ (E) ∼= C(S 2n q ), C ∗ (F) ∼= C(S 2n+1 q ) and C ∗ (H) ∼= C(B2n q ) [15]. For n = 1, C ∗ (GR) is the C*-algebra of a quantum lens space … view at source ↗
read the original abstract

Associating graph algebras to directed graphs leads to both covariant and contravariant functors from suitable categories of graphs to the category k-Alg of algebras and algebra homomorphisms. As both functors are often used at the same time, finding a new category of graphs that allows a "common denominator" functor unifying the covariant and contravariant constructions is a fundamental problem. Herein, we solve this problem by first introducing the relation category of graphs RG, and then determining the concept of admissible graph relations that yields a subcategory of RG admitting a contravariant functor to k-Alg simultaneously generalizing the aforementioned covariant and contravariant functors. Although we focus on Leavitt path algebras and graph C*-algebras, on the way we unravel functors to k-Alg given by path algebras, Cohn path algebras and Toeplitz graph C*-algebras from suitable subcategories of RG. Better still, we illustrate relation morphisms of graphs by naturally occurring examples, including Cuntz algebras, quantum spheres and quantum balls.

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 / 2 minor

Summary. The paper introduces the relation category RG of directed graphs and the notion of admissible graph relations (Definition 3.4), which form a subcategory of RG (Proposition 3.7). From this subcategory it constructs a contravariant functor to k-Alg (Theorem 4.2) that simultaneously generalizes the covariant functor for path algebras/Cohn path algebras and the contravariant functors for Leavitt path algebras and graph C*-algebras (including Toeplitz variants). The construction is verified to restrict appropriately on subcategories of ordinary graph morphisms and relation morphisms, and is illustrated with concrete examples including the Cuntz algebra, quantum sphere, and quantum ball.

Significance. If the verifications hold, the work supplies a single categorical framework that resolves the practical need to employ both covariant and contravariant graph-to-algebra functors in the same setting. Explicit checks that the new functor recovers the path algebra, Cohn path algebra, Leavitt path algebra, and Toeplitz C*-algebra constructions on suitable subcategories, together with direct verification on standard examples, constitute a concrete strength of the manuscript.

minor comments (2)
  1. §2: the composition law in the relation category RG is defined via relational composition; a short diagram or explicit formula for the composite relation would improve readability for readers unfamiliar with relational categories.
  2. Definition 3.4 and the surrounding discussion: the admissibility conditions are stated in terms of source and range maps; clarifying whether these conditions are preserved under the relational composition operation (beyond the proof of Proposition 3.7) would help readers trace the functoriality argument in Theorem 4.2.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for the positive assessment of the manuscript, the recognition of its significance in providing a unified categorical framework, and the recommendation of minor revision. We will prepare a revised version incorporating any minor suggestions.

Circularity Check

0 steps flagged

No significant circularity identified

full rationale

The manuscript introduces the relation category RG via explicit construction in Section 2, defines admissible graph relations in Definition 3.4, proves they form a subcategory in Proposition 3.7, and constructs the contravariant functor to k-Alg in Theorem 4.2 with direct verification that it restricts to the known covariant and contravariant cases on subcategories. These steps are definitional and proof-based rather than reductions of outputs to inputs by construction, fitted parameters, or self-citation chains. Recovery of path algebras, Cohn path algebras, and specific examples (Cuntz, quantum sphere, quantum ball) is shown by concrete checks on the new structures. No load-bearing claim collapses to a prior result from the same authors or to a renaming of an existing pattern; the work is self-contained against external benchmarks.

Axiom & Free-Parameter Ledger

0 free parameters · 0 axioms · 0 invented entities

Abstract-only review supplies no information on free parameters, background axioms or invented entities beyond the new category and relations themselves.

pith-pipeline@v0.9.0 · 5708 in / 1065 out tokens · 108222 ms · 2026-05-22T23:02:12.764364+00:00 · methodology

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

24 extracted references · 24 canonical work pages · 1 internal anchor

  1. [1]

    Abrams, P

    G. Abrams, P. Ara, M. Siles Molina. Leavitt path algebras. Lecture Notes in Mathematics, 2191. Springer,London, 2017. xiii+287 pp

    work page 2017

  2. [2]

    Abrams and M

    G. Abrams and M. Tomforde, Isomorphism and Morita equivalence of graph algebras,Trans. Amer. Math. Soc.363 (2011), no. 7, 3733–3767

    work page 2011

  3. [3]

    P. Ara, M. Moreno, E. Pardo. NonstableK-theory for graph algebras.Algebr. Represent. Theory 10 (2007), no. 2, 157–178

    work page 2007

  4. [4]

    Assem, D

    I. Assem, D. Simson, A. Skowro´ nski. Elements of the representation theory of associative alge- bras. Vol. 1. Techniques of representation theory. London Mathematical Society Student Texts, 65. Cambridge University Press,Cambridge, 2006. x+458 pp

    work page 2006

  5. [5]

    Blackadar, Shape theory for C*-algebras,Math

    B. Blackadar, Shape theory for C*-algebras,Math. Scand.56 (1985), 249–275

    work page 1985

  6. [6]

    Chirvasitu, P

    A. Chirvasitu, P. M. Hajac, M. Tobolski. Non-surjective pullbacks of graph C*-algebras from non- injective pushouts of graphs.Bull. Lond. Math. Soc.53 (2021), no. 1, 1–15

    work page 2021

  7. [7]

    Cuntz, Simple C*-Algebras generated by isometries,Commun

    J. Cuntz, Simple C*-Algebras generated by isometries,Commun. Math. Phys.57, 173–185, 1977

    work page 1977

  8. [8]

    Cuntz, W

    J. Cuntz, W. Krieger, A class of C*-algebras and topological Markov chains,Invent. Math.56 (1980), no. 3, 251–268

    work page 1980

  9. [9]

    On the K-theory of the AF core of a graph C*-algebra

    F. D’Andrea, On the K-theory of the AF core of a graph C*-algebra, preprint arXiv:2410.06242

    work page internal anchor Pith review Pith/arXiv arXiv

  10. [10]

    N. J. Fowler, I. Raeburn The Toeplitz algebra of a Hilbert bimoduleIndiana Univ. Math. J.48 (1999), no. 1, 155–181. RELATION MORPHISMS OF DIRECTED GRAPHS 35

    work page 1999

  11. [11]

    K. R. Goodearl. Leavitt path algebras and direct limits.Rings, modules and representations, 165– 187, Contemp. Math., 480,Amer. Math. Soc.,Providence,RI, 2009

    work page 2009

  12. [12]

    P. M. Hajac, Y. Liu, Unital embeddings of Cuntz algebras from path homomorphisms of graphs, arXiv:2412.17167

    work page arXiv

  13. [13]

    P. M. Hajac, M. Tobolski, The covariant functoriality of graph algebras,Bull. London Math. Soc. 56 (2024), 3269–3288

    work page 2024

  14. [14]

    P. M. Hajac, M. Tobolski, From length-preserving pushouts of graphs to one-surjective pullbacks of graph algebras,J. Nonc. Geom., to appear

    work page

  15. [15]

    J. H. Hong and W. Szyma´ nski, Quantum spheres and projective spaces as graph algebras,Commun. Math. Phys.232 (2002), 157–188

    work page 2002

  16. [16]

    J. H. Hong, W. Szyma´ nski, Quantum lens spaces and graph algebras,Pacific J. Math.211 (2003) 249–263

    work page 2003

  17. [17]

    Katsura, A class of C*-algebras generalizing both graph algebras and homeomorphism C*- algebras

    T. Katsura, A class of C*-algebras generalizing both graph algebras and homeomorphism C*- algebras. II. Examples.Internat. J. Math.17 (2006), no. 7, 791–833

    work page 2006

  18. [18]

    Kawamura, Universal algebra of sectors,Internat

    K. Kawamura, Universal algebra of sectors,Internat. J. Algebra Comput., 19(3):347–371, 2009

    work page 2009

  19. [19]

    A. L. T. Paterson, Graph inverse semigroups, groupoids and their C*-algebras.J. Oper. Theory, 48 (2002) no. 3, 645–662

    work page 2002

  20. [20]

    Raeburn,Graph algebras, CBMS Regional Conference Series in Mathematics 103, AMS 2005

    I. Raeburn,Graph algebras, CBMS Regional Conference Series in Mathematics 103, AMS 2005

    work page 2005

  21. [21]

    Spielberg

    J. Spielberg. A functorial approach to theC ∗-algebras of a graph.Internat. J. Math.13 (2002), no. 3, 245–277

    work page 2002

  22. [22]

    J. R. Stallings. Topology of finite graphs.Invent. Math.71 (1983), no. 3, 551–565

    work page 1983

  23. [23]

    Tomforde, Uniqueness theorems and ideal structure for Leavitt path algebras,J

    M. Tomforde, Uniqueness theorems and ideal structure for Leavitt path algebras,J. Algebra318 (2007), no. 1, 270–299

    work page 2007

  24. [24]

    R. Caccioppoli

    S. Zakrzewski, Quantum and classical pseudogroups. I: Union pseudogroups and their quantization, Comm. Math. Phys.134 (1990), no. 2, 347–370. (G. G. de Castro)Departmento de Matem´atica, Universidade Federal de Santa Catarina, Florian´opolis, SC, 88040-900, Brazil Email address:gilles.castro@ufsc.br (F. D’Andrea)Dipartimento di Matematica e Applicazioni “...

    work page 1990