pith. sign in

arxiv: 2407.02169 · v3 · submitted 2024-06-26 · 🧮 math.OA · math-ph· math.DG· math.MP

The graph groupoid of a quantum sphere

Francesco D'Andrea This is my paper

Pith reviewed 2026-05-24 00:04 UTC · model grok-4.3

classification 🧮 math.OA math-phmath.DGmath.MP
keywords quantum spherespath groupoidgroupoid C*-algebrasCuntz-Krieger algebrasdirected graphsisomorphism
0
0 comments X

The pith

The path groupoid of the directed graph for quantum spheres is isomorphic to Sheu's groupoid.

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

The paper proves that the path groupoid arising from the directed graph in Hong and Szymański's 2002 construction of the quantum sphere C*-algebra is the same, up to isomorphism, as the groupoid whose C*-algebra Sheu identified with that of the quantum sphere in 1997. This equivalence shows that the two independent descriptions of the underlying structure coincide exactly. A sympathetic reader would see value in the result because it merges a combinatorial graph model with an earlier groupoid model, allowing any property established in one setting to hold in the other without further proof.

Core claim

The path groupoid of the directed graph of Hong and Szymański is isomorphic to the groupoid discovered by Sheu. The isomorphism is obtained by matching the explicit constructions of each groupoid so that there is a bijective correspondence that preserves the groupoid multiplication and inversion operations.

What carries the argument

The isomorphism between the path groupoid of the Hong-Szymański directed graph and Sheu's groupoid, which equates the two presentations of the quantum sphere.

If this is right

  • The C*-algebra of the quantum sphere arises as the groupoid C*-algebra of either construction.
  • Any result obtained from the path groupoid transfers directly to Sheu's groupoid and conversely.
  • The directed graph supplies an explicit combinatorial model for the elements of Sheu's groupoid.

Where Pith is reading between the lines

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

  • The graph paths now give a concrete listing of the elements of Sheu's groupoid.
  • Combinatorial techniques from the graph can be used to compute invariants of the quantum sphere that were previously studied only through the abstract groupoid.

Load-bearing premise

The explicit definitions of the path groupoid and of Sheu's groupoid allow a bijection that preserves the groupoid operations.

What would settle it

An element of one groupoid whose image under the proposed map does not satisfy the multiplication or inversion rules of the other groupoid.

read the original abstract

Quantum spheres are among the most studied examples of compact quantum spaces, described by C*-algebras which are Cuntz-Krieger algebras of a directed graph, as proved by Hong and Szyma\'nski in 2002. About five years earlier, in 1997, Sheu proved that the C*-algebra of a quantum sphere is a groupoid C*-algebra. Here we show that the path groupoid of the directed graph of Hong and Szyma\'nski is isomorphic to the groupoid discovered by Sheu.

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 proves that the path groupoid of the directed graph whose Cuntz-Krieger algebra realizes the quantum sphere (Hong-Szymański, 2002) is isomorphic as a topological groupoid to the groupoid whose C*-algebra is the quantum sphere (Sheu, 1997). The central claim is the existence of a bijection between the underlying sets that intertwines source, range, and partial multiplication maps and is a homeomorphism.

Significance. The result directly links two independent constructions of the same C*-algebra via an explicit groupoid isomorphism, connecting the combinatorial graph approach with the groupoid approach. This strengthens the structural understanding of quantum sphere C*-algebras without introducing new parameters or ad-hoc definitions. The manuscript supplies the required correspondence between the standard definitions of the two groupoids.

minor comments (2)
  1. [Abstract] Abstract: the statement that the constructions are 'five years' apart could be made precise by including the exact publication years (1997 and 2002) already present in the body.
  2. The verification that the proposed bijection preserves the topology (i.e., is a homeomorphism) should be stated explicitly in the main theorem, even if it follows from the set bijection and the standard topologies on path and Sheu groupoids.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for the positive assessment of the manuscript and the recommendation to accept.

Circularity Check

0 steps flagged

No significant circularity

full rationale

The paper proves an explicit isomorphism between the path groupoid of the Hong-Szymański directed graph (2002) and Sheu's groupoid (1997). Both objects are taken from independent prior literature with no self-citation load-bearing on the central claim, no fitted parameters renamed as predictions, no self-definitional loops, and no ansatz smuggled via citation. The derivation consists of constructing a bijection that preserves source, range, and partial multiplication, which is a standard comparison of externally defined structures and does not reduce to its own inputs by construction.

Axiom & Free-Parameter Ledger

0 free parameters · 1 axioms · 0 invented entities

The paper is a pure mathematical proof in operator algebras relying on standard background theory with no fitted parameters or new entities introduced.

axioms (1)
  • standard math Standard definitions and properties of groupoids, Cuntz-Krieger algebras, and C*-algebras of groupoids from prior literature.
    The isomorphism proof invokes established constructions in the field without new axioms.

pith-pipeline@v0.9.0 · 5609 in / 1172 out tokens · 22601 ms · 2026-05-24T00:04:08.887706+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

16 extracted references · 16 canonical work pages

  1. [1]

    Arici, F

    F. Arici, F. D’Andrea, P .M. Hajac and M. Tobolski,An equivariant pullback structure of trimmable graph C*-algebras, J. Noncommut. Geom. 16(2022), 761–785. https://doi.org/10.4171/JNCG/421

    work page doi:10.4171/jncg/421 2022

  2. [2]

    Austin and A

    K. Austin and A. Mitra, Groupoid models of C*-algebras and the Gelfand functor , New York J. Math. 27 (2021), 740–775. https://nyjm.albany.edu/j/2021/27-28.html

    work page 2021

  3. [3]

    Bates, D

    T. Bates, D. Pask, I. Raeburn and W. Szyma ´nski, The C*-algebras of row finite graphs, New York J. Math. 6 (2000), 307–324. https://www.emis.de/journals/NYJM/nyjm/nyjm/j/2000/6-14.html

    work page 2000

  4. [4]

    Bonechi, N

    F. Bonechi, N. Ciccoli and J. Qiu, Quantization of Poisson manifolds from the integrability of the modular function , Commun. Math. Phys. 331 (2014), 851–885. https://doi.org/10.1007/s00220-014-2050-9

    work page doi:10.1007/s00220-014-2050-9 2014

  5. [5]

    Dade, Deux groupes finis distincts ayant la mˆ eme alg` ebre de groupe sur tout corps, Math

    E.C. Dade, Deux groupes finis distincts ayant la mˆ eme alg` ebre de groupe sur tout corps, Math. Z. 119 (1971) 345–348. https://doi.org/10.1007/BF01109886 16

    work page doi:10.1007/bf01109886 1971

  6. [6]

    D’Andrea, Quantum spheres as graph C*-algebras: a review (2023), preprint arXiv:2312.16481 [math.OA]

    F. D’Andrea, Quantum spheres as graph C*-algebras: a review (2023), preprint arXiv:2312.16481 [math.OA]

    work page arXiv 2023

  7. [7]

    D’Andrea, Isomorphisms of quantum spheres (2024), preprint arXiv:2406.17288 [math.QA]

    F. D’Andrea, Isomorphisms of quantum spheres (2024), preprint arXiv:2406.17288 [math.QA]

    work page arXiv 2024

  8. [8]

    D’Andrea, P .M

    F. D’Andrea, P .M. Hajac, T. Maszczyk, A. Sheu and B. Zielinski, The K-theory type of quantum CW-complexes , preprint arXiv:2002.09015 [math.KT]

    work page arXiv 2002

  9. [9]

    Noncommutative Geometry and Physics 3

    F. D’Andrea and G. Landi, Geometry of quantum projective spaces , Keio COE Lecture Series on Mathematical Science “Noncommutative Geometry and Physics 3” (2013), 373–416. https://doi.org/10.1142/9789814425018 0014

    work page doi:10.1142/9789814425018 2013

  10. [10]

    Hong and W

    J.H. Hong and W. Szyma ´nski, Quantum spheres and projective spaces as graph algebras, Commun. Math. Phys. 232 (2002), 157–188. https://doi.org/10.1007/s00220-002-0732-1

    work page doi:10.1007/s00220-002-0732-1 2002

  11. [11]

    Kumjian, D

    A. Kumjian, D. Pask, I. Raeburn and J. Renault, Graphs, groupoids, and Cuntz-Krieger algebras , J. Funct. Anal. 144 (1997), 505–541. https://doi.org/10.1006/jfan.1996.3001

    work page doi:10.1006/jfan.1996.3001 1997

  12. [12]

    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. https:// isbnsearch.org/isbn/9780821836606

    work page arXiv 2005

  13. [13]

    Sheu, Compact quantum groups and groupoid C*-algebras, J

    A.J.L. Sheu, Compact quantum groups and groupoid C*-algebras, J. Funct. Anal. 144 (1997), 371–393. https://doi. org/10.1006/jfan.1996.2999

    work page doi:10.1006/jfan.1996.2999 1997

  14. [14]

    Sheu, Quantum spheres as groupoid C*-algebras, The Quarterly Journal of Mathematics 48 (1997), 503–510

    A.J.L. Sheu, Quantum spheres as groupoid C*-algebras, The Quarterly Journal of Mathematics 48 (1997), 503–510. https://doi.org/10.1093/qmath/48.4.503

    work page doi:10.1093/qmath/48.4.503 1997

  15. [15]

    Sheu, Projections over quantum homogeneous odd-dimensional spheres , J

    A. Sheu, Projections over quantum homogeneous odd-dimensional spheres , J. Funct. Anal. 277 (2019), 3491–3512. https://doi.org/10.1016/j.jfa.2019.05.006

    work page doi:10.1016/j.jfa.2019.05.006 2019

  16. [16]

    Vaksman and Y.S

    L.L. Vaksman and Y.S. Soibelman, The algebra of functions on quantum SU(n + 1) group and odd-dimensional quantum spheres, Leningrad Math. J. 2 (1991) 1023–1042; translation from Algebra i Analiz 2 (1990), 101–120. http://mi.mathnet.ru/aa208 17

    work page 1991