The ideal structures of self-similar $k$-graph C*-algebras

Dilian Yang; Hui Li

arxiv: 1906.10658 · v1 · pith:EEEB4N2Pnew · submitted 2019-06-25 · 🧮 math.OA · math.FA

The ideal structures of self-similar k-graph C*-algebras

Hui Li , Dilian Yang This is my paper

Pith reviewed 2026-05-25 15:47 UTC · model grok-4.3

classification 🧮 math.OA math.FA

keywords self-similar k-graphsC*-algebrasideal structuregauge-invariant idealshereditary subsetsuniversal C*-algebraodometersP-graphs

0 comments

The pith

A one-to-one correspondence exists between G-hereditary and G-saturated vertex subsets of a self-similar k-graph and the gauge-invariant diagonal-invariant ideals of its universal C*-algebra.

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

The paper constructs a universal C*-algebra O_{G,Λ} from any self-similar k-graph (G, Λ) and shows that its gauge-invariant and diagonal-invariant ideals stand in bijection with the G-hereditary and G-saturated subsets of the vertex set Λ^0. This bijection reduces the algebraic question of locating invariant ideals to a combinatorial question about subsets closed under the group action and saturation conditions. A sympathetic reader cares because the ideal lattice controls the representations of the algebra and therefore the observable phenomena modeled by these self-similar systems. The same correspondence is used to characterize primitive ideals under extra hypotheses and to compute the Jacobson topology on explicit examples such as the C*-algebra of a product of odometers. The work also develops the theory of self-similar P-graph C*-algebras as an intermediate step.

Core claim

We prove that there exists a one-to-one correspondence between the set of all G-hereditary and G-saturated subsets of Λ^0 and the set of all gauge-invariant and diagonal-invariant ideals of O_{G,Λ}.

What carries the argument

The bijection between G-hereditary and G-saturated subsets of Λ^0 and gauge-invariant diagonal-invariant ideals of the universal C*-algebra O_{G,Λ}.

If this is right

Under additional conditions all primitive ideals of O_{G,Λ} admit an explicit description.
The Jacobson topology on the primitive ideal space can be described explicitly for examples that include the C*-algebra of a product of odometers.
The correspondence extends to the setting of self-similar P-graph C*-algebras.

Where Pith is reading between the lines

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

The bijection supplies a combinatorial route to the primitive ideal space that could be used to compute the spectrum or K-theory of these algebras directly from the graph data.
Similar correspondences may exist for other classes of C*-algebras arising from semigroup actions or higher-rank graphs without self-similarity.
The odometer examples suggest that the result gives a concrete tool for studying the ideal structure of C*-algebras associated to substitution systems or symbolic dynamics.

Load-bearing premise

The self-similar k-graph admits a well-defined universal C*-algebra equipped with gauge and diagonal actions, and the notions of G-hereditary and G-saturated subsets are well-defined from the group action.

What would settle it

A concrete self-similar k-graph (G, Λ) together with a G-hereditary G-saturated subset of Λ^0 whose corresponding ideal fails to be gauge-invariant or diagonal-invariant, or an invariant ideal whose corresponding subset fails to be G-hereditary or G-saturated.

read the original abstract

Let $(G, \Lambda)$ be a self-similar $k$-graph with a possibly infinite vertex set $\Lambda^0$. We associate a universal C*-algebra $\mathcal{O}_{G,\Lambda}$ to $(G,\Lambda)$. The main purpose of this paper is to investigate the ideal structures of $\mathcal{O}_{G,\Lambda}$. We prove that there exists a one-to-one correspondence between the set of all $G$-hereditary and $G$-saturated subsets of $\Lambda^0$ and the set of all gauge-invariant and diagonal-invariant ideals of $\mathcal{O}_{G,\Lambda}$. Under some conditions, we characterize all primitive ideas of $\mathcal{O}_{G,\Lambda}$. Moreover, we describe the Jacobson topology of some concrete examples, which includes the C*-algebra of the product of odometers. On the way to our main results, we study self-similar $P$-graph C*-algebras in depth.

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.

Desk Editor's Note private letter to a colleague

The paper gives a bijection between G-hereditary/G-saturated vertex subsets and gauge-plus-diagonal invariant ideals in the C*-algebra of a self-similar k-graph, extending the ordinary k-graph case and including infinite vertices plus some examples.

read the letter

The central new piece is the one-to-one correspondence between G-hereditary and G-saturated subsets of Λ^0 and the gauge-invariant plus diagonal-invariant ideals of O_{G,Λ}, stated for possibly infinite vertex sets. They also characterize primitive ideals under extra conditions and work out the Jacobson topology on concrete cases such as the C*-algebra of a product of odometers. The route to the main theorem includes a detailed study of self-similar P-graph C*-algebras as an auxiliary tool. This is a direct extension of earlier bijections for ordinary k-graphs, now incorporating the self-similar group action into the generators and relations that define the universal algebra. The subsets are defined so that they label exactly the invariant ideals, and the abstract indicates both directions of the correspondence are proved from the universal property without extra fitting. The structure looks clean on paper. The infinite-vertex case is handled explicitly, which is a plus. The examples give a check on the topology side. A minor soft spot is whether the G-hereditary and G-saturated conditions remain exactly the right ones when the self-similar action is nontrivial and the graph is infinite; the paper claims they do, but the strength of that claim rests on the details of the two directions. No load-bearing circularity or invented entities show up in the claim structure. This is for people already working on graph C*-algebras and their ideal lattices. A reader who knows the k-graph literature will see the incremental advance clearly and can use the bijection and the odometer example. It is precise enough and grounded enough to deserve referee time rather than a desk rejection.

Referee Report

0 major / 3 minor

Summary. The paper associates a universal C*-algebra O_{G,Λ} to a self-similar k-graph (G, Λ) possibly with infinite vertex set Λ^0. It proves a bijection between the G-hereditary and G-saturated subsets of Λ^0 and the gauge-invariant plus diagonal-invariant ideals of O_{G,Λ}. Under additional conditions it characterizes the primitive ideals, and it describes the Jacobson topology on concrete examples including the C*-algebra of the product of odometers. An auxiliary study of self-similar P-graph C*-algebras is developed en route.

Significance. If the stated bijection holds, the work supplies a combinatorial description of the invariant ideal lattice for this class of algebras, extending the ideal-structure theory of graph C*-algebras and k-graph C*-algebras to the self-similar setting while accommodating infinite vertex sets. The auxiliary P-graph analysis and the explicit topological descriptions of examples constitute additional strengths.

minor comments (3)

The abstract states the main correspondence but does not indicate the numbering or location of the principal theorem; adding an explicit reference (e.g., “Theorem 4.12”) would improve readability.
Notation for the two actions (gauge and diagonal) and for the subsets (G-hereditary, G-saturated) is introduced without a consolidated list of symbols; a short notation table or paragraph would aid readers.
The manuscript mentions “some conditions” under which primitive ideals are characterized; stating these conditions explicitly in the abstract or introduction would clarify the scope of that result.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for the positive assessment of our manuscript, the clear summary of its contributions, and the recommendation for minor revision. No specific major comments appear in the report.

Circularity Check

0 steps flagged

No circularity; standard structural bijection theorem

full rationale

The paper constructs the universal C*-algebra O_{G,Λ} from the self-similar k-graph via generators and relations that encode the group action, equips it with gauge and diagonal actions by definition, defines G-hereditary and G-saturated subsets directly from the action on vertices, and proves the stated bijection with invariant ideals. This is a conventional ideal-structure result in C*-algebra theory with no reduction of the central claim to fitted parameters, self-definitional equations, or load-bearing self-citations. The auxiliary study of self-similar P-graphs is presented as an intermediate tool rather than a circular premise. The derivation chain is self-contained against the definitions and does not invoke uniqueness theorems or ansatzes from prior author work in a way that collapses the result.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 0 invented entities

The paper relies on the standard construction of universal C*-algebras from graphs and the definition of self-similarity; no free parameters or invented entities are visible in the abstract.

axioms (2)

domain assumption Existence of the universal C*-algebra O_{G,Λ} associated to any self-similar k-graph (G, Λ).
Directly stated in the abstract as the object under study.
standard math Gauge and diagonal actions exist on the algebra and preserve the ideal lattice in the expected way.
Standard background in the theory of graph C*-algebras.

pith-pipeline@v0.9.0 · 5692 in / 1257 out tokens · 32767 ms · 2026-05-25T15:47:08.774116+00:00 · methodology

discussion (0)

Lean theorems connected to this paper

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

IndisputableMonolith/Foundation/RealityFromDistinction.lean reality_from_one_distinction unclear

?

unclear
Relation between the paper passage and the cited Recognition theorem.

there exists a one-to-one correspondence between the set of all G-hereditary and G-saturated subsets of Λ^0 and the set of all gauge-invariant and diagonal-invariant ideals of O_{G,Λ}
IndisputableMonolith/Cost/FunctionalEquation.lean washburn_uniqueness_aczel unclear

?

unclear
Relation between the paper passage and the cited Recognition theorem.

OG,Λ is generated by a universal pair {u,s} of representations... compatible with the underlying self-similar action

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

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

[1]

Albandik and R

S. Albandik and R. Meyer, Product systems over Ore monoids , Doc. Math. 20 (2015), 1331–1402

work page 2015
[2]

Brown, L.O

J. Brown, L.O. Clark, C. Farthing, and A. Sims, Simplicity of algebras associated to ´ etale groupoids, Semigroup Forum 88 (2014), 433–452

work page 2014
[3]

Brown and N

N.P. Brown and N. Ozawa, C ∗ -algebras and ﬁnite-dimensional approximations, America n Mathematical Society, Providence, RI, 2008, xvi+509

work page 2008
[4]

Carlsen, S

T.M. Carlsen, S. Kang, J. Shotwell, A. Sims, The primitive ideals of the Cuntz-Krieger algebra of a row-ﬁ nite higher-rank graph with no sources , J. Funct. Anal. 266 (2014), 2570–2589

work page 2014
[5]

Carlsen, N.S

T.M. Carlsen, N.S. Larsen, A. Sims, and S.T. Vittadello, Co-universal algebras associated to product systems, and gauge-invariant uniqueness theorems , Proc. Lond. Math. Soc. (3) 103 (2011), 563–600

work page 2011
[6]

Dixmier, C ∗ -algebras, Translated from the French by Francis Jellett, N orth-Holland Mathematical Library, Vol

J. Dixmier, C ∗ -algebras, Translated from the French by Francis Jellett, N orth-Holland Mathematical Library, Vol. 15, North-Holland Publishing Co., Amsterdam, 1977, xi ii+492

work page 1977
[7]

Dixmier, von Neumann algebras, With a preface by E

J. Dixmier, von Neumann algebras, With a preface by E. C. L ance, Translated from the second French edition by F. Jellett, North-Holland Publishing Co., Amsterdam-Ne w York, 1981, xxxviii+437. 22

work page 1981
[8]

Exel, Non-Hausdorﬀ ´ etale groupoids, Proc

R. Exel, Non-Hausdorﬀ ´ etale groupoids, Proc. Amer. Math. Soc. 139 (2011), 897–907

work page 2011
[9]

Exel and E

R. Exel and E. Pardo, Self-similar graphs, a uniﬁed treatment of Katsura and Nekr ashevych C∗ -algebras, Adv. Math. 306 (2017), 1046–1129

work page 2017
[10]

R. Exel, E. Pardo, and C. Starling, C*-algebras of self-similar graphs over arbitrary graphs , arXiv:1807.01686

work page internal anchor Pith review Pith/arXiv arXiv
[11]

Folland, A course in abstract harmonic analysis, C RC Press, Boca Raton, FL, 1995, x+276

G.B. Folland, A course in abstract harmonic analysis, C RC Press, Boca Raton, FL, 1995, x+276

work page 1995
[12]

Fowler, Discrete product systems of Hilbert bimodules , Paciﬁc J

N.J. Fowler, Discrete product systems of Hilbert bimodules , Paciﬁc J. Math. 204 (2002), 335–375

work page 2002
[13]

an Huef, M

A. an Huef, M. Laca, I. Raeburn, and A. Sims, KMS states on the C∗ -algebra of a higher-rank graph and periodicity in the path space , J. Funct. Anal. 268 (2015), 1840–1875

work page 2015
[14]

Hungerford, Algebra, Reprint of the 1974 original , Springer-Verlag, New York-Berlin, 1980, xxiii+502

T.W. Hungerford, Algebra, Reprint of the 1974 original , Springer-Verlag, New York-Berlin, 1980, xxiii+502

work page 1974
[15]

Kang and D

S. Kang and D. Pask, Aperiodicity and primitive ideals of row-ﬁnite k-graphs, Internat. J. Math. 25 (2014), 1450022, 25

work page 2014
[16]

Katsura, The ideal structures of crossed products of Cuntz algebras b y quasi-free actions of abelian groups , Canad

T. Katsura, The ideal structures of crossed products of Cuntz algebras b y quasi-free actions of abelian groups , Canad. J. Math. 55 (2003), 1302–1338

work page 2003
[17]

Katsura, A construction of actions on Kirchberg algebras which induc e given actions on their K-groups, J

T. Katsura, A construction of actions on Kirchberg algebras which induc e given actions on their K-groups, J. Reine Angew. Math. 617 (2008), 27–65

work page 2008
[18]

Kumjian and D

A. Kumjian and D. Pask, Higher rank graph C*-algebras , New York J. Math. 6 (2000), 1–20

work page 2000
[19]

Li and D

H. Li and D. Yang, Boundary quotient C ∗ -algebras of products of odometers , Canad. J. Math. 71, (2019), 183–212

work page 2019
[20]

Li and D

H. Li and D. Yang, Self-similar k-graph C*-algebras, Int. Math. Res. Not., IMRN, DOI: 10.1093/imrn/rnz146

work page doi:10.1093/imrn/rnz146
[21]

Li and D

H. Li and D. Yang, KMS states of self-similar k-graph C*-algebras, J. Funct. Anal. 276 (2019), 3795–3831

work page 2019
[22]

Murphy, C ∗ -algebras and Operator Theory, Academic Press Inc., Boston , MA, 1990, x+286

G.J. Murphy, C ∗ -algebras and Operator Theory, Academic Press Inc., Boston , MA, 1990, x+286

work page 1990
[23]

Nekrashevych, C*-algebras and self-similar groups , J

V. Nekrashevych, C*-algebras and self-similar groups , J. Reine Angew. Math. 630 (2009), 59–123

work page 2009
[24]

D. Pask, A. Rennie, and A. Sims, The noncommutative geometry of k-graph C∗ -algebras, J. K-theory 1 (2008), 259–304

work page 2008
[25]

Raeburn, A

I. Raeburn, A. Sims, and T. Yeend, Higher-rank graphs and their C ∗ -algebras, Proc. Edinb. Math. Soc. (2) 46 (2003), 99–115

work page 2003
[26]

Raeburn and D.P

I. Raeburn and D.P. Williams, Morita Equivalence and Co ntinuous-trace C ∗ -algebras, American Mathematical Society, Providence, RI, 1998, xiv+327

work page 1998
[27]

Rainone and A

T. Rainone and A. Sims, A dichotomy for groupoid C*-algebras , Ergodic Theory Dynam. Systems, https://doi.org/10.1017/etds.2018.52

work page doi:10.1017/etds.2018.52 2018
[28]

Renault, A groupoid approach to C ∗ -algebras, Springer, Berlin, 1980, ii+160

J. Renault, A groupoid approach to C ∗ -algebras, Springer, Berlin, 1980, ii+160

work page 1980
[29]

Williams, Crossed Products of C ∗ -algebras, American Mathematical Society, Providence, RI , 2007, xvi+528

D.P. Williams, Crossed Products of C ∗ -algebras, American Mathematical Society, Providence, RI , 2007, xvi+528

work page 2007
[30]

Yang, Periodic k-graph algebras revisited , J

D. Yang, Periodic k-graph algebras revisited , J. Aust. Math. Soc. 99 (2015), 267–286. Hui Li, Research Center for Operator Algebras and Shanghai K ey Laboratory of Pure Mathe- matics and Mathematical Practice, Department of Mathemati cs, East China Normal University, 3663 Zhongshan North Road, Putuo District, Shanghai 200062, Chi na E-mail address : lihu...

work page 2015

[1] [1]

Albandik and R

S. Albandik and R. Meyer, Product systems over Ore monoids , Doc. Math. 20 (2015), 1331–1402

work page 2015

[2] [2]

Brown, L.O

J. Brown, L.O. Clark, C. Farthing, and A. Sims, Simplicity of algebras associated to ´ etale groupoids, Semigroup Forum 88 (2014), 433–452

work page 2014

[3] [3]

Brown and N

N.P. Brown and N. Ozawa, C ∗ -algebras and ﬁnite-dimensional approximations, America n Mathematical Society, Providence, RI, 2008, xvi+509

work page 2008

[4] [4]

Carlsen, S

T.M. Carlsen, S. Kang, J. Shotwell, A. Sims, The primitive ideals of the Cuntz-Krieger algebra of a row-ﬁ nite higher-rank graph with no sources , J. Funct. Anal. 266 (2014), 2570–2589

work page 2014

[5] [5]

Carlsen, N.S

T.M. Carlsen, N.S. Larsen, A. Sims, and S.T. Vittadello, Co-universal algebras associated to product systems, and gauge-invariant uniqueness theorems , Proc. Lond. Math. Soc. (3) 103 (2011), 563–600

work page 2011

[6] [6]

Dixmier, C ∗ -algebras, Translated from the French by Francis Jellett, N orth-Holland Mathematical Library, Vol

J. Dixmier, C ∗ -algebras, Translated from the French by Francis Jellett, N orth-Holland Mathematical Library, Vol. 15, North-Holland Publishing Co., Amsterdam, 1977, xi ii+492

work page 1977

[7] [7]

Dixmier, von Neumann algebras, With a preface by E

J. Dixmier, von Neumann algebras, With a preface by E. C. L ance, Translated from the second French edition by F. Jellett, North-Holland Publishing Co., Amsterdam-Ne w York, 1981, xxxviii+437. 22

work page 1981

[8] [8]

Exel, Non-Hausdorﬀ ´ etale groupoids, Proc

R. Exel, Non-Hausdorﬀ ´ etale groupoids, Proc. Amer. Math. Soc. 139 (2011), 897–907

work page 2011

[9] [9]

Exel and E

R. Exel and E. Pardo, Self-similar graphs, a uniﬁed treatment of Katsura and Nekr ashevych C∗ -algebras, Adv. Math. 306 (2017), 1046–1129

work page 2017

[10] [10]

R. Exel, E. Pardo, and C. Starling, C*-algebras of self-similar graphs over arbitrary graphs , arXiv:1807.01686

work page internal anchor Pith review Pith/arXiv arXiv

[11] [11]

Folland, A course in abstract harmonic analysis, C RC Press, Boca Raton, FL, 1995, x+276

G.B. Folland, A course in abstract harmonic analysis, C RC Press, Boca Raton, FL, 1995, x+276

work page 1995

[12] [12]

Fowler, Discrete product systems of Hilbert bimodules , Paciﬁc J

N.J. Fowler, Discrete product systems of Hilbert bimodules , Paciﬁc J. Math. 204 (2002), 335–375

work page 2002

[13] [13]

an Huef, M

A. an Huef, M. Laca, I. Raeburn, and A. Sims, KMS states on the C∗ -algebra of a higher-rank graph and periodicity in the path space , J. Funct. Anal. 268 (2015), 1840–1875

work page 2015

[14] [14]

Hungerford, Algebra, Reprint of the 1974 original , Springer-Verlag, New York-Berlin, 1980, xxiii+502

T.W. Hungerford, Algebra, Reprint of the 1974 original , Springer-Verlag, New York-Berlin, 1980, xxiii+502

work page 1974

[15] [15]

Kang and D

S. Kang and D. Pask, Aperiodicity and primitive ideals of row-ﬁnite k-graphs, Internat. J. Math. 25 (2014), 1450022, 25

work page 2014

[16] [16]

Katsura, The ideal structures of crossed products of Cuntz algebras b y quasi-free actions of abelian groups , Canad

T. Katsura, The ideal structures of crossed products of Cuntz algebras b y quasi-free actions of abelian groups , Canad. J. Math. 55 (2003), 1302–1338

work page 2003

[17] [17]

Katsura, A construction of actions on Kirchberg algebras which induc e given actions on their K-groups, J

T. Katsura, A construction of actions on Kirchberg algebras which induc e given actions on their K-groups, J. Reine Angew. Math. 617 (2008), 27–65

work page 2008

[18] [18]

Kumjian and D

A. Kumjian and D. Pask, Higher rank graph C*-algebras , New York J. Math. 6 (2000), 1–20

work page 2000

[19] [19]

Li and D

H. Li and D. Yang, Boundary quotient C ∗ -algebras of products of odometers , Canad. J. Math. 71, (2019), 183–212

work page 2019

[20] [20]

Li and D

H. Li and D. Yang, Self-similar k-graph C*-algebras, Int. Math. Res. Not., IMRN, DOI: 10.1093/imrn/rnz146

work page doi:10.1093/imrn/rnz146

[21] [21]

Li and D

H. Li and D. Yang, KMS states of self-similar k-graph C*-algebras, J. Funct. Anal. 276 (2019), 3795–3831

work page 2019

[22] [22]

Murphy, C ∗ -algebras and Operator Theory, Academic Press Inc., Boston , MA, 1990, x+286

G.J. Murphy, C ∗ -algebras and Operator Theory, Academic Press Inc., Boston , MA, 1990, x+286

work page 1990

[23] [23]

Nekrashevych, C*-algebras and self-similar groups , J

V. Nekrashevych, C*-algebras and self-similar groups , J. Reine Angew. Math. 630 (2009), 59–123

work page 2009

[24] [24]

D. Pask, A. Rennie, and A. Sims, The noncommutative geometry of k-graph C∗ -algebras, J. K-theory 1 (2008), 259–304

work page 2008

[25] [25]

Raeburn, A

I. Raeburn, A. Sims, and T. Yeend, Higher-rank graphs and their C ∗ -algebras, Proc. Edinb. Math. Soc. (2) 46 (2003), 99–115

work page 2003

[26] [26]

Raeburn and D.P

I. Raeburn and D.P. Williams, Morita Equivalence and Co ntinuous-trace C ∗ -algebras, American Mathematical Society, Providence, RI, 1998, xiv+327

work page 1998

[27] [27]

Rainone and A

T. Rainone and A. Sims, A dichotomy for groupoid C*-algebras , Ergodic Theory Dynam. Systems, https://doi.org/10.1017/etds.2018.52

work page doi:10.1017/etds.2018.52 2018

[28] [28]

Renault, A groupoid approach to C ∗ -algebras, Springer, Berlin, 1980, ii+160

J. Renault, A groupoid approach to C ∗ -algebras, Springer, Berlin, 1980, ii+160

work page 1980

[29] [29]

Williams, Crossed Products of C ∗ -algebras, American Mathematical Society, Providence, RI , 2007, xvi+528

D.P. Williams, Crossed Products of C ∗ -algebras, American Mathematical Society, Providence, RI , 2007, xvi+528

work page 2007

[30] [30]

Yang, Periodic k-graph algebras revisited , J

D. Yang, Periodic k-graph algebras revisited , J. Aust. Math. Soc. 99 (2015), 267–286. Hui Li, Research Center for Operator Algebras and Shanghai K ey Laboratory of Pure Mathe- matics and Mathematical Practice, Department of Mathemati cs, East China Normal University, 3663 Zhongshan North Road, Putuo District, Shanghai 200062, Chi na E-mail address : lihu...

work page 2015