pith. sign in

arxiv: 2604.21116 · v2 · submitted 2026-04-22 · 🧮 math.OA · math.DS

Uniqueness theorems for combinatorial C*-algebras

Charles Starling This is my paper

Pith reviewed 2026-05-14 21:02 UTC · model grok-4.3

classification 🧮 math.OA math.DS
keywords uniqueness theoremscombinatorial C*-algebrasgroupoid modelsinverse semigroupshigher-rank graphsLCM monoidsboundary quotientsleft cancellative categories
0
0 comments X

The pith

Uniqueness theorems for C*-algebras from left cancellative small categories hold via their groupoid models and tight representations of inverse semigroups.

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

The paper establishes uniqueness theorems for C*-algebras constructed from combinatorial data, a class that includes graph C*-algebras, k-graph C*-algebras, semigroup C*-algebras, and self-similar action algebras. These theorems identify when representations of the algebras are faithful by reducing the question to properties of associated groupoids and inverse semigroups. The work applies the same method to improve an earlier result on boundary quotients of right LCM monoids and to extend a known uniqueness theorem for row-finite higher-rank graphs to the finitely aligned setting.

Core claim

Spielberg's construction yields C*-algebras from left cancellative small categories; known groupoid models of these algebras together with Exel's theory of tight representations of inverse semigroups are used to prove that certain representations are faithful, thereby obtaining uniqueness theorems. The same technique improves the uniqueness result for boundary quotient C*-algebras of right LCM monoids and generalizes the Brown-Nagy-Reznikoff theorem from row-finite to finitely aligned higher-rank graphs.

What carries the argument

Groupoid models of the algebras paired with tight representations of the associated inverse semigroups, which together certify that a representation is faithful.

If this is right

  • Uniqueness holds for boundary quotient C*-algebras of right LCM monoids under weaker conditions than previously known.
  • The Brown-Nagy-Reznikoff uniqueness theorem extends from row-finite to finitely aligned higher-rank graphs.
  • The same groupoid-plus-tight-representation argument covers the full range of algebras arising from left cancellative small categories.
  • Representations of these algebras are faithful precisely when they are faithful on the underlying inverse semigroup.

Where Pith is reading between the lines

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

  • The method supplies a uniform test for faithfulness that may apply to further combinatorial constructions once their groupoid models are identified.
  • Classification programs for these C*-algebras can now use the uniqueness theorems as a common starting point rather than case-by-case arguments.
  • The reduction to inverse-semigroup data suggests that K-theoretic invariants may be computable directly from the semigroup presentation.

Load-bearing premise

These C*-algebras possess known groupoid models to which Exel's theory of tight representations applies directly.

What would settle it

An explicit combinatorial C*-algebra whose groupoid model is known but whose tight representations fail to detect a non-faithful representation, or a combinatorial algebra whose uniqueness fails despite satisfying the groupoid-model hypothesis.

read the original abstract

Spielberg's construction of C*-algebras from left cancellative small categories is a common generalization for most C*-algebras one would consider to come from ``combinatorial data,'' including graph and $k$-graph C*-algebras, Li's semigroup C*-algebras, Nekrashevych's self-similar action algebras, and more. We use known groupoid models of these algebras and Exel's theory of tight representations of inverse semigroups to prove uniqueness theorems for these C*-algebras. As applications, we improve on our previous uniqueness theorem for the boundary quotient C*-algebras of right LCM monoids, and we also generalize the uniqueness theorem of Brown, Nagy, and Reznikoff for row-finite higher-rank graphs to the finitely aligned case.

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 manuscript proves uniqueness theorems for C*-algebras constructed from left-cancellative small categories (generalizing graph, k-graph, semigroup, and self-similar action algebras) by applying known groupoid models together with Exel's theory of tight representations of inverse semigroups. Applications consist of an improved uniqueness result for boundary quotients of right-LCM monoids and an extension of the Brown-Nagy-Reznikoff theorem from row-finite to finitely aligned higher-rank graphs.

Significance. If the derivations hold, the work supplies a unified, reference-based framework for uniqueness theorems across a broad family of combinatorial C*-algebras. The explicit transport of Exel's criterion through established groupoid equivalences strengthens prior results and removes the row-finiteness restriction in the higher-rank graph case, which should facilitate further structural and classification studies.

major comments (2)
  1. [§3] §3 (general uniqueness theorem): the argument that the universal C*-algebra coincides with the groupoid C*-algebra under the tight-representation condition must explicitly verify that the inverse semigroup arising from the left-cancellative category satisfies Exel's standing hypotheses (e.g., the tight spectrum is non-empty and the representation is faithful on the unit space); the current sketch relies on citations without a self-contained check for the general case.
  2. [Application to right-LCM monoids] Application to right-LCM monoids (improved boundary-quotient theorem): the claimed relaxation of the previous uniqueness criterion is not accompanied by a concrete example or counter-example showing that the new statement is strictly stronger; without this, the improvement remains formal rather than demonstrated.
minor comments (2)
  1. The introduction should include a short table or diagram summarizing which combinatorial objects are covered by Spielberg's construction and which prior uniqueness theorems are recovered or improved.
  2. Notation for the inverse semigroup and its tight spectrum should be fixed once in §2 and used consistently; occasional re-use of symbols from the cited groupoid papers creates minor ambiguity.

Simulated Author's Rebuttal

2 responses · 0 unresolved

We thank the referee for the careful reading and constructive comments. The suggestions will strengthen the exposition, and we will revise the manuscript accordingly.

read point-by-point responses

  1. Referee: [§3] §3 (general uniqueness theorem): the argument that the universal C*-algebra coincides with the groupoid C*-algebra under the tight-representation condition must explicitly verify that the inverse semigroup arising from the left-cancellative category satisfies Exel's standing hypotheses (e.g., the tight spectrum is non-empty and the representation is faithful on the unit space); the current sketch relies on citations without a self-contained check for the general case.

    Authors: We agree that an explicit verification strengthens the argument. In the revised manuscript we will add a short subsection to §3 that directly checks Exel's hypotheses for the inverse semigroup S constructed from an arbitrary left-cancellative small category: we exhibit a non-empty tight spectrum by transporting the canonical tight representation of the groupoid model, and we verify faithfulness on the unit space by showing that the diagonal subalgebra is faithfully represented via the equivalence between the category groupoid and the inverse-semigroup groupoid. The argument adapts the standard checks from the cited references to the categorical setting without assuming additional finiteness conditions. revision: yes

  2. Referee: [Application to right-LCM monoids] Application to right-LCM monoids (improved boundary-quotient theorem): the claimed relaxation of the previous uniqueness criterion is not accompanied by a concrete example or counter-example showing that the new statement is strictly stronger; without this, the improvement remains formal rather than demonstrated.

    Authors: We accept that an explicit illustration is needed. In the revised version we will insert a new example (placed after the statement of the improved boundary-quotient theorem) consisting of a concrete right-LCM monoid arising from a self-similar action on a tree. For this monoid the older uniqueness criterion fails because the monoid is not cancellative in the required sense, yet the new criterion applies via the general theorem; the resulting boundary quotient is therefore covered by our result but not by the previous one. This shows the relaxation is strict. revision: yes

Circularity Check

0 steps flagged

No significant circularity

full rationale

The paper derives uniqueness theorems by applying Exel's external theory of tight representations of inverse semigroups to already-established groupoid models of the combinatorial C*-algebras (from Spielberg's construction on left-cancellative small categories). These models are treated as known and cited from prior literature, with the new contribution being the transport of the uniqueness criterion through the equivalence; no step reduces a claimed prediction or result to a fitted parameter or self-defined input by construction. The reference to improving on the author's prior uniqueness theorem for right-LCM monoids is confined to an application and does not load-bear the central derivation, which remains independent of the paper's own outputs.

Axiom & Free-Parameter Ledger

0 free parameters · 0 axioms · 0 invented entities

Only the abstract is available; no explicit free parameters, ad-hoc axioms, or invented entities are described. The work rests on Spielberg's construction, known groupoid models, and Exel's theory as background assumptions.

pith-pipeline@v0.9.0 · 5418 in / 1089 out tokens · 44766 ms · 2026-05-14T21:02:35.064773+00:00 · methodology

Review history (2 revisions) →

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

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

  1. [1]

    Larsen, and Nicolai Stammeier

    Zahra Afsar, Nathan Brownlowe, Nadia S. Larsen, and Nicolai Stammeier. Equilibrium states on right LCM semigroup C^* -algebras. Int. Math. Res. Not. IMRN , (6):1642--1698, 2019

    work page 2019

  2. [2]

    Larsen , and Nicolai Stammeier

    Nathan Brownlowe , Nadia S. Larsen , and Nicolai Stammeier . On C*-algebras associated to right LCM semigroups . Trans. Amer. Math. Soc. , 369:31--68, 2017

    work page 2017

  3. [3]

    Larsen, and Nicolai Stammeier

    Nathan Brownlowe, Nadia S. Larsen, and Nicolai Stammeier. C^* -algebras of algebraic dynamical systems and right LCM semigroups. Indiana Univ. Math. J. , 67(6):2453--2486, 2018

    work page 2018

  4. [4]

    Brown, Gabriel Nagy, and Sarah Reznikoff

    Jonathan H. Brown, Gabriel Nagy, and Sarah Reznikoff. A generalized C untz- K rieger uniqueness theorem for higher-rank graphs. J. Funct. Anal. , 266(4):2590--2609, 2014

    work page 2014

  5. [5]

    Brown, Gabriel Nagy, Sarah Reznikoff, Aidan Sims, and Dana P

    Jonathan H. Brown, Gabriel Nagy, Sarah Reznikoff, Aidan Sims, and Dana P. Williams. Cartan subalgebras in C^* -algebras of H ausdorff \' e tale groupoids. Integral Equations Operator Theory , 85(1):109--126, 2016

    work page 2016

  6. [6]

    On the K -theory of C^ -algebras arising from integral dynamics

    Sel c uk Barlak, Tron Omland, and Nicolai Stammeier. On the K -theory of C^ -algebras arising from integral dynamics. Ergodic Theory Dynam. Systems , 38(3):832--862, 2018

    work page 2018

  7. [7]

    The boundary quotient for algebraic dynamical systems

    Nathan Brownlowe and Nicolai Stammeier. The boundary quotient for algebraic dynamical systems. J. Math. Anal. Appl. , 438(2):772--789, 2016

    work page 2016

  8. [8]

    Corrigendum to `` A new uniqueness theorem for the tight C^* -algebra of an inverse semigroup''

    Chris Bruce and Charles Starling. Corrigendum to `` A new uniqueness theorem for the tight C^* -algebra of an inverse semigroup''. C. R. Math. Acad. Sci. Soc. R. Can. , 46(1):11--15, 2024

    work page 2024

  9. [9]

    Simplicity of algebras associated to non- H ausdorff groupoids

    Lisa Orloff Clark, Ruy Exel, Enrique Pardo, Aidan Sims, and Charles Starling. Simplicity of algebras associated to non- H ausdorff groupoids. Trans. Amer. Math. Soc. , 372(5):3669--3712, 2019

    work page 2019

  10. [10]

    A class of C *-algebras and topological M arkov chains

    Joachim Cuntz and Wolfgang Krieger. A class of C *-algebras and topological M arkov chains. Inventiones mathematicae , 56(3):251--268, 1980

    work page 1980

  11. [11]

    Isotropy fibers of ideals in groupoid C^* -algebras

    Johannes Christensen and Sergey Neshveyev. Isotropy fibers of ideals in groupoid C^* -algebras. Adv. Math. , 447:Paper No. 109696, 32, 2024

    work page 2024

  12. [12]

    A. Connes. A survey of foliations and operator algebras. In Operator algebras and applications, P art 1 ( K ingston, O nt., 1980) , volume 38 of Proc. Sympos. Pure Math. , pages 521--628. Amer. Math. Soc., Providence, RI, 1982

    work page 1980

  13. [13]

    Noncommutative geometry

    Alain Connes. Noncommutative geometry . Academic Press Inc., San Diego, CA, 1994

    work page 1994

  14. [14]

    Simple C * -algebras generated by isometries

    Joachim Cuntz. Simple C * -algebras generated by isometries. Comm. Math. Phys. , 57(2):173--185, 1977

    work page 1977

  15. [15]

    On zigzag maps and the path category of an inverse semigroup

    Allan Donsig, Jennifer Gensler, Hannah King, David Milan, and Ronen Wdowinski. On zigzag maps and the path category of an inverse semigroup. Semigroup Forum , 100(3):790--805, 2020

    work page 2020

  16. [16]

    Donsig and David Milan

    Allan P. Donsig and David Milan. Joins and covers in inverse semigroups and tight C *-algebras. Bull. Aust. Math. Soc. , 90:121--133, 8 2014

    work page 2014

  17. [17]

    Cuntz- K rieger algebras for infinite matrices

    Ruy Exel and Marcelo Laca. Cuntz- K rieger algebras for infinite matrices. J. Reine Angew. Math. , 512:119--172, 1999

    work page 1999

  18. [18]

    The tight groupoid of an inverse semigroup

    Ruy Exel and Enrique Pardo . The tight groupoid of an inverse semigroup . Semigroup Forum , 92:274 -- 303, 2016

    work page 2016

  19. [19]

    Self-similar graphs, a unified treatment of K atsura and N ekrashevych C *-algebras

    Ruy Exel and Enrique Pardo. Self-similar graphs, a unified treatment of K atsura and N ekrashevych C *-algebras. Adv. Math. , 306:1046 -- 1129, 2017

    work page 2017

  20. [20]

    Ruy Exel and David R. Pitts. Characterizing groupoid C^* -algebras of non- H ausdorff \'etale groupoids , volume 2306 of Lecture Notes in Mathematics . Springer, Cham, [2022] 2022

    work page 2022

  21. [21]

    Inverse semigroups and combinatorial C^ -algebras

    Ruy Exel. Inverse semigroups and combinatorial C^ -algebras. Bull. Braz. Math. Soc. (N.S.) , 39(2):191--313, 2008

    work page 2008

  22. [22]

    Tight and cover-to-join representations of semilattices and inverse semigroups

    Ruy Exel . Tight and cover-to-join representations of semilattices and inverse semigroups . arXiv:1903.02911 , 2019

    work page internal anchor Pith review Pith/arXiv arXiv 1903

  23. [23]

    Characterizations of zero singular ideal in étale groupoid C*-algebras via compressible maps

    Jeremy Hume . Characterizations of zero singular ideal in étale groupoid C*-algebras via compressible maps . arXiv:2509.07262 , September 2025

    work page arXiv 2025

  24. [24]

    Kennedy, S.J

    M. Kennedy, S. Kim, X. Li, S. Raum, and D. Ursu. The ideal intersection property for essential groupoid C*-algebras . arXiv:2107.03980 , 2021

    work page arXiv 2021

  25. [25]

    Essential crossed products for inverse semigroup actions: simplicity and pure infiniteness

    Bartosz Kosma Kwa\' s niewski and Ralf Meyer. Essential crossed products for inverse semigroup actions: simplicity and pure infiniteness. Doc. Math. , 26:271--335, 2021

    work page 2021

  26. [26]

    Higher rank graph C^ -algebras

    Alex Kumjian and David Pask. Higher rank graph C^ -algebras. New York J. Math. , 6:1--20, 2000

    work page 2000

  27. [27]

    Cuntz- K rieger algebras of directed graphs

    Alex Kumjian, David Pask, and Iain Raeburn. Cuntz- K rieger algebras of directed graphs. Pacific J. Math. , 184(1):161--174, 1998

    work page 1998

  28. [28]

    M.V. Lawson. Inverse Semigroups: The Theory of Partial Symmetries . World Scientific, 1998

    work page 1998

  29. [29]

    Semigroup C *-algebras and amenability of semigroups

    Xin Li. Semigroup C *-algebras and amenability of semigroups. J. Funct. Anal. , 262:4302 -- 4340, 2012

    work page 2012

  30. [30]

    Regular dilation and N ica-covariant representation on right LCM semigroups

    Boyu Li. Regular dilation and N ica-covariant representation on right LCM semigroups. Integral Equations Operator Theory , 91(4):Paper No. 36, 35, 2019

    work page 2019

  31. [31]

    Left regular representations of G arside categories I

    Xin Li. Left regular representations of G arside categories I . C *-algebras and groupoids. Glasgow Math. J, to appear , 2022

    work page 2022

  32. [32]

    Left regular representations of G arside categories I

    Xin Li. Left regular representations of G arside categories I . C ^* -algebras and groupoids. Glasg. Math. J. , 65(S1):S53--S86, 2023

    work page 2023

  33. [33]

    Amenability and functoriality of right- LCM semigroup C *-algebras

    Marcelo Laca and Boyu Li. Amenability and functoriality of right- LCM semigroup C *-algebras. Proc. Amer. Math. Soc. , 148(12):5209--5224, 2020

    work page 2020

  34. [34]

    Dilation theory for right LCM semigroup dynamical systems

    Marcelo Laca and Boyu Li. Dilation theory for right LCM semigroup dynamical systems. arXiv:2102.08439 [math.OA] , 2021

    work page arXiv 2021

  35. [35]

    Toeplitz algebras of semigroups

    Marcelo Laca and Camila Sehnem. Toeplitz algebras of semigroups. Trans. Amer. Math. Soc. , 375(10):7443--7507, 2022

    work page 2022

  36. [36]

    K MS states of self-similar k -graph C^* -algebras

    Hui Li and Dilian Yang. K MS states of self-similar k -graph C^* -algebras. J. Funct. Anal. , 276(12):3795--3831, 2019

    work page 2019

  37. [37]

    Self-similar k -graph C ^* -algebras

    Hui Li and Dilian Yang. Self-similar k -graph C ^* -algebras. Int. Math. Res. Not. IMRN , (15):11270--11305, 2021

    work page 2021

  38. [38]

    C*-algebras and self-similar groups

    Volodymyr Nekrashevych. C*-algebras and self-similar groups. J. reine angew. Math , 630:59--123, 2009

    work page 2009

  39. [39]

    A. Nica. C*-algebras generated by isometries and W iener- H opf operators. J. Operator Theory , 27:17--52, 1992

    work page 1992

  40. [40]

    Abelian core of graph algebras

    Gabriel Nagy and Sarah Reznikoff. Abelian core of graph algebras. J. Lond. Math. Soc. (2) , 85(3):889--908, 2012

    work page 2012

  41. [41]

    Pseudo-diagonals and uniqueness theorems

    Gabriel Nagy and Sarah Reznikoff. Pseudo-diagonals and uniqueness theorems. Proc. Amer. Math. Soc. , 142(1):263--275, 2014

    work page 2014

  42. [42]

    The groupoid approach to equilibrium states on right LCM semigroup C *-algebras

    Sergey Neshveyev and Nicolai Stammeier. The groupoid approach to equilibrium states on right LCM semigroup C *-algebras. arXiv:1912.03141 [math.OA] , 2019

    work page arXiv 1912

  43. [43]

    The tight groupoid of the inverse semigroups of left cancellative small categories

    Eduard Ortega and Enrique Pardo. The tight groupoid of the inverse semigroups of left cancellative small categories. Trans. Amer. Math. Soc. , 373(7):5199--5234, 2020

    work page 2020

  44. [44]

    Zappa- S z\'ep products for partial actions of groupoids on left cancellative small categories

    Eduard Ortega and Enrique Pardo. Zappa- S z\'ep products for partial actions of groupoids on left cancellative small categories. J. Noncommut. Geom. , 17(4):1335--1366, 2023

    work page 2023

  45. [45]

    A groupoid approach to C^ -algebras , volume 793 of Lecture Notes in Mathematics

    Jean Renault. A groupoid approach to C^ -algebras , volume 793 of Lecture Notes in Mathematics . Springer, Berlin, 1980

    work page 1980

  46. [46]

    The C^* -algebras of finitely aligned higher-rank graphs

    Iain Raeburn, Aidan Sims, and Trent Yeend. The C^* -algebras of finitely aligned higher-rank graphs. J. Funct. Anal. , 213(1):206--240, 2004

    work page 2004

  47. [47]

    Renault and Dana P

    Jean N. Renault and Dana P. Williams. Amenability of groupoids arising from partial semigroup actions and topological higher rank graphs. Trans. Amer. Math. Soc. , 369(4):2255--2283, 2017

    work page 2017

  48. [48]

    Hausdorff \'etale groupoids and their C *-algebras

    Aidan Sims. Hausdorff \'etale groupoids and their C *-algebras. In Francesc Perera, editor, Operator algebras and dynamics: groupoids, crossed products and R okhlin dimension , chapter 7--11, pages 63--120. Birkh \"a user, 2020

    work page 2020

  49. [49]

    Groupoids and C^* -algebras for categories of paths

    Jack Spielberg. Groupoids and C^* -algebras for categories of paths. Trans. Amer. Math. Soc. , 366(11):5771--5819, 2014

    work page 2014

  50. [50]

    Groupoids and C^* -algebras for left cancellative small categories

    Jack Spielberg. Groupoids and C^* -algebras for left cancellative small categories. Indiana Univ. Math. J. , 69(5):1579--1626, 2020

    work page 2020

  51. [51]

    On C ^* -algebras of irreversible algebraic dynamical systems

    Nicolai Stammeier. On C ^* -algebras of irreversible algebraic dynamical systems. J. Funct. Anal. , 269(4):1136--1179, 2015

    work page 2015

  52. [52]

    Boundary quotients of C *-algebras of right LCM semigroups

    Charles Starling. Boundary quotients of C *-algebras of right LCM semigroups. J. Funct. Anal. , 268(11):3326 -- 3356, 2015

    work page 2015

  53. [53]

    A boundary quotient diagram for right LCM semigroups

    Nicolai Stammeier. A boundary quotient diagram for right LCM semigroups. Semigroup Forum , 95(3):539--554, 2017

    work page 2017

  54. [54]

    A new uniqueness theorem for the tight C^* -algebra of an inverse semigroup

    Charles Starling. A new uniqueness theorem for the tight C^* -algebra of an inverse semigroup. C. R. Math. Acad. Sci. Soc. R. Can. , 44(4):88--112, 2022

    work page 2022