pith. sign in

arxiv: 2510.16430 · v4 · submitted 2025-10-18 · 🧮 math.OA · math.KT· math.QA

On amplified graph C*-algebras as cores of Cuntz-Krieger algebras

Francesco D'Andrea , Sophie Emma Zegers This is my paper

Pith reviewed 2026-05-18 06:53 UTC · model grok-4.3

classification 🧮 math.OA math.KTmath.QA
keywords graph C*-algebrasCuntz-Krieger algebrasAF corequantum flag manifoldsquantum Grassmanniandirected acyclic graphsquantum teardrops
0
0 comments X

The pith

From any finite directed acyclic graph, adding loops at vertices or replacing each arrow with infinitely many arrows produces C*-algebras where one is the AF core of the other.

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

The paper starts with an arbitrary finite directed acyclic graph R and builds two new graphs from it. E_R is obtained by adding one loop at each vertex of R. F_R is obtained by replacing each arrow of R with countably infinitely many parallel arrows. The central result is that the graph C*-algebra C*(F_R) is isomorphic to the AF core of C*(E_R). This supplies concrete models for the C*-algebras of quantum flag manifolds and quantum teardrops. The same description is applied to the quantum Grassmannian Gr_q(2,4) to examine its CW-structure.

Core claim

Given a finite directed acyclic graph R, construct E_R by adding a loop at every vertex and F_R by replacing every arrow with countably infinitely many arrows. The resulting graph C*-algebras then satisfy C*(F_R) isomorphic to the AF core of C*(E_R). The isomorphism is verified for the stated constructions, and the relation is illustrated with examples drawn from quantum flag manifolds, quantum teardrops, and the quantum Grassmannian Gr_q(2,4).

What carries the argument

The pair of graph constructions E_R (loops added to vertices of R) and F_R (each arrow of R replaced by countably many arrows), which produce C*(F_R) isomorphic to the AF core of C*(E_R).

If this is right

  • C*-algebras of quantum flag manifolds arise as AF cores of the looped-graph algebras.
  • C*-algebras of quantum teardrops fit the same AF-core description.
  • The AF-core presentation of the quantum Grassmannian Gr_q(2,4) directly supports computation of its CW-structure.

Where Pith is reading between the lines

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

  • The isomorphism may supply a route to K-theory calculations for the same family of algebras by working in the AF core.
  • The pattern of amplification versus loop addition could be tested on other finite graphs that satisfy only partial acyclicity conditions.

Load-bearing premise

The starting graph R must be finite and directed acyclic for the two constructions to yield C*-algebras whose AF-core relation holds.

What would settle it

Take the smallest acyclic graph consisting of two vertices and one arrow; compute the AF core of C*(E_R) explicitly and compare it with the known C*(F_R) to see whether they match.

Figures

Figures reproduced from arXiv: 2510.16430 by Francesco D'Andrea, Sophie Emma Zegers.

Figure 1
Figure 1. Figure 1: The graph L2n−1. 1 n [PITH_FULL_IMAGE:figures/full_fig_p002_1.png] view at source ↗
Figure 4
Figure 4. Figure 4: It is natural to wonder whether C ∗ (Fen−1) is isomorphic to the core of C ∗ (Le2n−1). The answer is not obvious, since the isomorphism C ∗ (L2n−1) → C ∗ (Le2n−1) is not U(1)- equivariant with respect to the gauge actions (see e.g. the formulas in [10, Thm. 3.11]), and so it does not induce an isomorphism of cores. 1 n ∞ ∞ ∞ ∞ ∞ ∞ ∞ ∞ ∞ [PITH_FULL_IMAGE:figures/full_fig_p002_4.png] view at source ↗
Figure 3
Figure 3. Figure 3: The graph Fn−1. 1 n ∞ ∞ ∞ [PITH_FULL_IMAGE:figures/full_fig_p002_3.png] view at source ↗
Figure 5
Figure 5. Figure 5: The graph L r;1,r 3 . . . . ∞ ∞ ∞ ∞ [PITH_FULL_IMAGE:figures/full_fig_p012_5.png] view at source ↗
Figure 6
Figure 6. Figure 6: The graph F 1,r 1 of a quantum teardrop. Proposition 4.3. In the above notations, an isomorphism ϕ : C ∗ (F 1,r 1 ) −→ C ∗ (L r;1,r 3 ) U(1) is given on generators by ϕ(Pj ) := Pj ∀ 0 ≤ j ≤ r, ϕ(Sei,n ) := S n ℓ0 Sfi (S ∗ ℓi ) n+1 ∀ 1 ≤ i ≤ r, n ∈ N. Proof. Firstly, we prove that ϕ is well-defined by checking the Cuntz-Krieger relations. The proof of CK1 is a simple computation: ϕ(Sei,n ) ∗ϕ(Sei,n ) = S n+… view at source ↗
Figure 7
Figure 7. Figure 7: The graph Le2,4. 1 2 3 4 ∞ 5 6 ∞ ∞ ∞ ∞ ∞ [PITH_FULL_IMAGE:figures/full_fig_p015_7.png] view at source ↗
Figure 8
Figure 8. Figure 8: The graph Fe2,4. Similarly to the case of quantum projective spaces, one can replace R by its transitive closure R. Since the C*-algebra of an amplified graph only depends on its transitive closure, from Theorem 3.2 again we deduce that: Corollary 4.6. Cq(Gr(2, 4)) ∼= C ∗ (L2,4) U(1), where L2,4 is the graph in [PITH_FULL_IMAGE:figures/full_fig_p015_8.png] view at source ↗
Figure 9
Figure 9. Figure 9: The graph L2,4. 15 [PITH_FULL_IMAGE:figures/full_fig_p015_9.png] view at source ↗
Figure 10
Figure 10. Figure 10: The graph G1. Let F1 be the subgraph of G1 obtained by removing from it the vertex 3 and all edges with target 3, and F2 the one obtained by removing from it the vertex 4 and all edges with target 4. Observe that both F1 and F2 are isomorphic to the graph of a quantum 5-sphere ( [PITH_FULL_IMAGE:figures/full_fig_p019_10.png] view at source ↗
Figure 11
Figure 11. Figure 11: The graph G2. 5.3. The CW-structure. For the CW-structure, it is useful to have a different presen￾tation of both C ∗ (L2,4) and C ∗ (G2) in terms of Toeplitz operators. Let us introduce some notations first. We denote by (|m⟩)m∈N be the canonical basis of ℓ 2 (N), by T the unilteral shift on ℓ 2 (N), given by T |m⟩ := |m + 1⟩, 20 [PITH_FULL_IMAGE:figures/full_fig_p020_11.png] view at source ↗
read the original abstract

Given a finite directed acyclic graph $R$, we construct from it two graphs $E_R$ and $F_R$, one by adding a loop at every vertex of $R$ and one by replacing every arrow of $R$ by countably infinitely many arrows. We show that the graph C*-algebra $C^*(F_R)$ is isomorphic to the AF core of $C^*(E_R)$. Examples include C*-algebras of a quantum flag manifolds and quantum teardrops. We discuss in detail the quantum Grassmannian $Gr_q(2,4)$ and use our description as AF core to study its CW-structure.

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

2 major / 2 minor

Summary. The paper constructs, for any finite directed acyclic graph R, a row-finite graph E_R by adding a loop at each vertex of R and a (non-row-finite) graph F_R by replacing each edge of R with countably infinitely many parallel edges. The central claim is that C^*(F_R) is isomorphic to the AF core of the Cuntz-Krieger algebra C^*(E_R). The authors apply the result to examples including quantum flag manifolds and quantum teardrops, and give a detailed study of the quantum Grassmannian Gr_q(2,4) in which the AF-core description is used to analyze its CW-structure.

Significance. If the isomorphism holds, the construction supplies an explicit realization of certain non-row-finite graph C*-algebras as AF cores of row-finite ones, which may simplify K-theoretic computations or structural analysis in noncommutative geometry. The explicit graph constructions from an arbitrary finite DAG R and the concrete application to Gr_q(2,4) are strengths that make the result potentially useful beyond the abstract setting.

major comments (2)
  1. [§3] §3, proof of the main isomorphism (Theorem 3.2 or equivalent): the argument invokes the universal property of C^*(F_R) to produce a *-homomorphism into the AF core of C^*(E_R). For vertices of infinite out-degree in F_R the images of the countably many parallel partial isometries must satisfy that the sum of their range projections converges strongly to the vertex projection in the multiplier algebra of the core. The manuscript verifies the Cuntz-Krieger relations only on finite subfamilies; an explicit verification or citation establishing the required strong limit (using row-finiteness of E_R and the gauge-action fixed-point property) is needed to confirm that the map is well-defined on the whole algebra.
  2. [§5] §5, application to Gr_q(2,4): the CW-structure statements rest on the isomorphism of the main theorem. Any adjustment required to establish the strong-convergence condition in §3 would propagate to the claims about the cell decomposition and its relation to the AF core.
minor comments (2)
  1. [§2] The notation for the gauge action and its fixed-point algebra (AF core) in §2 could be made more explicit by including the precise formula for the conditional expectation onto the core.
  2. [§3] A short remark on how acyclicity of R is used to ensure that the added loops in E_R do not interfere with the grading or the core would improve readability.

Simulated Author's Rebuttal

2 responses · 0 unresolved

We thank the referee for the careful reading of the manuscript and the constructive comments. The positive assessment of the potential utility of the construction is appreciated. We address the major comments below and will revise the manuscript accordingly.

read point-by-point responses

  1. Referee: [§3] §3, proof of the main isomorphism (Theorem 3.2 or equivalent): the argument invokes the universal property of C^*(F_R) to produce a *-homomorphism into the AF core of C^*(E_R). For vertices of infinite out-degree in F_R the images of the countably many parallel partial isometries must satisfy that the sum of their range projections converges strongly to the vertex projection in the multiplier algebra of the core. The manuscript verifies the Cuntz-Krieger relations only on finite subfamilies; an explicit verification or citation establishing the required strong limit (using row-finiteness of E_R and the gauge-action fixed-point property) is needed to confirm that the map is well-defined on the whole algebra.

    Authors: We agree that an explicit verification of the strong convergence is needed for full rigor. In the revised version we will add a short argument in §3 showing that, because the AF core is the fixed-point algebra for the gauge action on the row-finite graph C*-algebra C^*(E_R), the countable sum of range projections of the images of the parallel partial isometries converges strongly to the vertex projection in the multiplier algebra. This uses only the row-finiteness of E_R and the standard properties of the gauge action, thereby confirming that the universal property applies to the whole of C^*(F_R). revision: yes

  2. Referee: [§5] §5, application to Gr_q(2,4): the CW-structure statements rest on the isomorphism of the main theorem. Any adjustment required to establish the strong-convergence condition in §3 would propagate to the claims about the cell decomposition and its relation to the AF core.

    Authors: The referee correctly notes the dependence. Once the additional verification is inserted in §3, the isomorphism remains valid and the analysis of the CW-structure of Gr_q(2,4) in §5 continues to hold without modification. We will add a brief remark in §5 confirming that the cell decomposition is derived directly from the strengthened isomorphism. revision: yes

Circularity Check

0 steps flagged

Direct constructions and isomorphism proof are self-contained

full rationale

The paper defines graphs E_R and F_R explicitly from any finite directed acyclic graph R, then proves C^*(F_R) ≅ AF-core(C^*(E_R)) using the universal property of graph C*-algebras, the gauge action, and Cuntz-Krieger relations. No step reduces the claimed isomorphism to a fitted parameter, self-referential definition, or load-bearing self-citation; the acyclicity and finiteness of R are used only to guarantee the core is AF and the relations hold, which is independent external structure. The result is a standard theorem establishing an isomorphism between two explicitly constructed objects.

Axiom & Free-Parameter Ledger

0 free parameters · 1 axioms · 0 invented entities

The paper relies on the standard theory of graph C*-algebras and Cuntz-Krieger algebras; no free parameters, new entities, or ad-hoc axioms are indicated in the abstract.

axioms (1)
  • standard math Standard definitions and properties of graph C*-algebras and their AF cores from directed graphs
    The constructions and isomorphism rest on established results in operator algebra theory for graph algebras.

pith-pipeline@v0.9.0 · 5639 in / 1467 out tokens · 36113 ms · 2026-05-18T06:53:19.428001+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

35 extracted references · 35 canonical work pages · 3 internal anchors

  1. [1]

    S.Arklint, S.EilersandE.Ruiz,Geometric classification of isomorphism of unital graphC∗-algebras, New York J. Math. 28 (2022), 927–957. www.emis.de/journals/NYJM/nyjm/j/2022/28-38.html

    work page 2022

  2. [2]

    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

  3. [3]

    Atiyah and J

    M. Atiyah and J. Todd,On complex stiefel manifolds, Math. Proc. Cambridge Phil. Soc. 56 (1960), 342–353. https://doi.org/10.1017/S0305004100034642

    work page doi:10.1017/s0305004100034642 1960

  4. [4]

    Bates, D

    T. Bates, D. Pask, I. Raeburn and W. Szymański,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

  5. [5]

    Bates, J.H

    T. Bates, J.H. Hong, I. Raeburn and W. Szymański,The ideal structure of the C*-algebras of infinite graphs, Illinois J. Math. 46 (2002) 1159–1176. https://doi.org/10.1215/ijm/1258138472

    work page doi:10.1215/ijm/1258138472 2002

  6. [6]

    Brzeziński, R

    T. Brzeziński, R. Ó Buachalla, U. Krähmer and K. Strung, in preparation

    work page

  7. [7]

    P.F. Baum, K. De Commer, and P.M. Hajac,Free actions of compact quantum groups on unital C*-algebras, Doc. Math. 22 (2017), 825–849

    work page 2017

  8. [8]

    Brzeziński and W

    T. Brzeziński and W. Szymański,The C*-algebras of quantum lens and weighted projective spaces, J. Noncommut. Geom. 12 (2018) 195–215. https://doi.org/10.4171/JNCG/274

    work page doi:10.4171/jncg/274 2018

  9. [9]

    Clark, R

    L.O. Clark, R. Hazrat and S.W. Rigby,Strongly graded groupoids and strongly graded Steinberg algebras, J. Algebra 530 (2019) 34–68. https://doi.org/10.1016/j.jalgebra.2019.03.030

    work page doi:10.1016/j.jalgebra.2019.03.030 2019

  10. [10]

    D’Andrea,Quantum spheres as graph C*-algebras: a review, Expositiones Mathematicae 42 (2024), 125632

    F. D’Andrea,Quantum spheres as graph C*-algebras: a review, Expositiones Mathematicae 42 (2024), 125632. https://doi.org/10.1016/j.exmath.2024.125632

    work page doi:10.1016/j.exmath.2024.125632 2024

  11. [11]

    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

  12. [12]

    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

    work page arXiv 2002

  13. [13]

    The C*-algebras of arbitrary graphs

    D. Drinen and M. Tomforde,Computing K-theory and Ext for graph C*-algebras, Illinois J. Math. 46 (2002), 81–91. preprint arXiv:math/0009228

    work page internal anchor Pith review Pith/arXiv arXiv 2002

  14. [14]

    Drinen and M

    D. Drinen and M. Tomforde,The C*-algebras of arbitrary graphs, Rocky Mountain J. Math. 35 (2005) 105–135. https://doi.org/10.1216/rmjm/1181069770

    work page doi:10.1216/rmjm/1181069770 2005

  15. [15]

    Amplified graph C*-algebras

    S. Eilers, E. Ruiz, A.P.W. Sørensen,Amplified graph C*-algebras, Münster J. of Math. 5 (2012), 121–150. https://doi.org/10.48550/arXiv.1110.2758 29

    work page internal anchor Pith review Pith/arXiv arXiv doi:10.48550/arxiv.1110.2758 2012

  16. [16]

    , TITLE =

    G.A. Elliott,On the classification of inductive limits of sequences of semisimple finite-dimensional algebras, J. Algebra 38 (1976), 29–44. https://doi.org/10.1016/0021-8693(76)90242-8

    work page doi:10.1016/0021-8693(76)90242-8 1976

  17. [17]

    Ellwood,A new characterisation of principal actions, Journal of Functional Analysis 173 (2000), 49–60

    D.A. Ellwood,A new characterisation of principal actions, Journal of Functional Analysis 173 (2000), 49–60

    work page 2000

  18. [18]

    Eilers, E

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

    work page arXiv 1908

  19. [19]

    Fowler, M

    N.J. Fowler, M. Laca and I. Raeburn,The C*-algebras of infinite graphs, Proc. Amer. Math. Soc. 128 (2000) 2319–2327. https://doi.org/10.1090/S0002-9939-99-05378-2

    work page doi:10.1090/s0002-9939-99-05378-2 2000

  20. [20]

    Hazrat,The graded structure of Leavitt path algebras, Israel J

    R. Hazrat,The graded structure of Leavitt path algebras, Israel J. Math. 195 (2013) 833–895. https: //doi.org/10.1007/s11856-012-0138-5

    work page doi:10.1007/s11856-012-0138-5 2013

  21. [21]

    Hajac, R

    P.M. Hajac, R. Nest, D. Pask, A. Sims and B. Zieliński,The K-theory of twisted multipullback quantum odd spheres and complex projective spaces, J. Noncommut. Geom. 12 (2018), 823–863. https://doi.org/10.4171/JNCG/292

    work page doi:10.4171/jncg/292 2018

  22. [22]

    Hajac, S

    P.M. Hajac, S. Reznikoff and M. Tobolski,Pullbacks of graph C*-algebras from admissible pushouts of graphs, Banach Center Publ. 120 (2020) 169–178. https://doi.org/10.4064/bc120-13

    work page doi:10.4064/bc120-13 2020

  23. [23]

    Hong and W

    J.H. Hong and W. Szymański,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

  24. [25]

    Hong and W

    J.H. Hong and W. Szymański,Noncommutative balls and mirror quantum spheres, J. London Math. Soc. 77 (2008), 607–626. https://doi.org/10.2140/pjm.2003.211.249

    work page doi:10.2140/pjm.2003.211.249 2008

  25. [26]

    Math.184 (1998), no

    A. Kumjian, D. Pask and I. Raeburn,Cuntz-Krieger algebras of directed graphs, Pacific J. Math. 184 (1998), 161–174. https://doi.org/10.2140/pjm.1998.184.161

    work page doi:10.2140/pjm.1998.184.161 1998

  26. [27]

    Lundström and J

    P. Lundström and J. Öinert,Strongly graded Leavitt path algebras, J. Algebra App. 21 (2022) 2250141. https://doi.org/10.1142/S0219498822501419

    work page doi:10.1142/s0219498822501419 2022

  27. [28]

    Montgomery,Hopf algebras and their actions on rings, RCSM no

    S. Montgomery,Hopf algebras and their actions on rings, RCSM no. 82, Amer. Math. Soc., Provi- dence, RI, 1993

    work page 1993

  28. [29]

    Neshveyev and L

    S. Neshveyev and L. Tuset,Quantized algebras of functions on homogeneous spaces with Poisson stabilizers, Commun. Math. Phys. 312 (2012), 223–250. https://doi.org/10.1007/s00220-012-1455-6

    work page doi:10.1007/s00220-012-1455-6 2012

  29. [30]

    Pedersen,Pullback and Pushout Constructions in C*-Algebra Theory, J

    G.K. Pedersen,Pullback and Pushout Constructions in C*-Algebra Theory, J. Funct. Anal. 167 (1999), 243–344. https://doi.org/10.1006/jfan.1999.3456

    work page doi:10.1006/jfan.1999.3456 1999

  30. [31]

    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

  31. [32]

    Rudnik,The K-theory of the triple-Toeplitz deformation of the complex projective plane, Banach Center Pub

    J. Rudnik,The K-theory of the triple-Toeplitz deformation of the complex projective plane, Banach Center Pub. 98 (2012) 303–310. https://doi.org/10.4064/bc98-0-13

    work page doi:10.4064/bc98-0-13 2012

  32. [33]

    Schneider,Principal homogeneous spaces for arbitrary Hopf algebras, Israel J

    H.-J. Schneider,Principal homogeneous spaces for arbitrary Hopf algebras, Israel J. Math. 72 (1990), 167–195. https://doi.org/10.1007/BF02764619

    work page doi:10.1007/bf02764619 1990

  33. [34]

    Strung,Realizing quantum flag manifolds as graph C*-algebras, Oberwolfach Report 36 (2022), 2066–2069

    K. Strung,Realizing quantum flag manifolds as graph C*-algebras, Oberwolfach Report 36 (2022), 2066–2069. https://doi.org/10.4171/OWR/2022/36

    work page doi:10.4171/owr/2022/36 2022

  34. [35]

    Sweedler,Hopf Algebras, Math

    M. Sweedler,Hopf Algebras, Math. lecture note series, W.A. Benjamin, 1969

    work page 1969

  35. [36]

    R. Caccioppoli

    L.L. Vaksman and Y.S. Soibelman,The algebra of functions on quantumSU(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 (F. D’Andrea)Dipartimento di Matematica e Applicazioni “R. Caccioppoli”, Università di Napoli Federico II, Napoli, Italy...

    work page 1991