Pith. sign in

REVIEW 2 minor 1 cited by

Principal groupoid models for stable UCT Kirchberg algebras

T0 review · 0 major / 2 minor · reviewed 2026-06-28 · grok-4.3

Challenge this review Re-run · record.json Download PDF Read on arXiv ↗ Review JSON

Pith's one-line read Every stable UCT Kirchberg algebra has a principal étale groupoid model and therefore contains a C*-diagonal.

desk verdict The paper proves every stable UCT Kirchberg algebra has a principal étale groupoid model. read the letter →

arxiv 2605.30147 v2 pith:M3AMYCC4 submitted 2026-05-28 math.OA

Samuel Evington , Philipp Sibbel This is my paper · ORCID
classification math.OA
keywords KirchbergalgebrasUCTétalegroupoidsC*-diagonalprincipalstableC*-algebrasCuntzalgebraO_infinity
verification ladder T0 review T1 audit T2 compute T3 formal

The pith

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

The reading

The paper establishes that stable UCT Kirchberg algebras can be realized as the C*-algebras of principal étale groupoids. This provides an explicit model that automatically yields a C*-diagonal inside the algebra. The same conclusion holds for unital UCT Kirchberg algebras in which the class of the unit has infinite order in K-theory, which includes the Cuntz algebra O_infinity. A reader would care because the existence of such a model links the algebra to an étale groupoid whose structure can be studied directly.

What carries the argument

Principal étale groupoid model: an étale groupoid G whose reduced C*-algebra is isomorphic to the given Kirchberg algebra A and whose unit space is the spectrum of a maximal abelian subalgebra that is a C*-diagonal in A.

What would settle it

Exhibit a single stable UCT Kirchberg algebra that does not contain a C*-diagonal, or prove that some stable UCT Kirchberg algebra fails to arise from any principal étale groupoid.

Watch

Extended reading notes

Core claim

Every stable UCT Kirchberg algebra admits a principal étale groupoid model, and therefore contains a C*-diagonal. The same holds for every unital UCT Kirchberg algebra A in which [1_A] has infinite order in K_0(A), including the Cuntz algebra O_infinity.

Load-bearing premise

The UCT together with stability (or the stated K_0 condition in the unital case) is enough to guarantee a principal étale groupoid model without any further restrictions on the algebra.

Editorial extensions

If this is right

  • Every stable UCT Kirchberg algebra contains a C*-diagonal.
  • The Cuntz algebra O_infinity contains a C*-diagonal.
  • Unital UCT Kirchberg algebras with [1_A] of infinite order in K_0(A) contain C*-diagonals.
  • The groupoid model supplies an étale groupoid whose reduced C*-algebra recovers the original algebra.

Reading between the lines

Editorial extensions of the paper, not claims the author makes directly.

  • The result supplies a uniform groupoid picture that could be used to compare different stable UCT Kirchberg algebras via their underlying groupoids.
  • It raises the question whether the same modeling technique extends to non-stable or non-UCT Kirchberg algebras.
  • If the groupoid models are explicit enough, they might yield new computations of K-theory or traces for these algebras.
Share X Bluesky LinkedIn Reddit HN

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit.

Referee Report

0 major / 2 minor

Summary. The paper proves that every stable UCT Kirchberg algebra admits a principal étale groupoid model (hence contains a C*-diagonal). The same methods cover unital UCT Kirchberg algebras in which [1_A]_0 has infinite order in K_0(A), including the Cuntz algebra O_∞.

Significance. If the result holds, it supplies an explicit principal étale groupoid realization for the entire class of stable UCT Kirchberg algebras, thereby furnishing a C*-diagonal in each such algebra. This strengthens the link between the Kirchberg–Phillips classification and the theory of Cartan subalgebras / C*-diagonals in C*-algebras and may enable new computations via groupoid techniques.

minor comments (2)
  1. The abstract states the result for stable UCT Kirchberg algebras and separately for certain unital ones; the introduction should clarify whether the unital case is strictly contained in the stable case or requires an independent argument.
  2. Notation for the groupoid model (e.g., the precise meaning of “principal étale groupoid model”) should be fixed in §1 before the main theorem is stated.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for their positive report and recommendation to accept the manuscript. The referee's summary correctly reflects the main theorem and its scope.

Circularity Check

0 steps flagged · score 0.0 of 10

No significant circularity identified

full rationale

The paper presents a direct existence theorem establishing principal étale groupoid models for stable UCT Kirchberg algebras (and a related unital case). No equations, self-citations, or derivation steps are visible in the provided abstract or context that reduce the claimed result to its inputs by construction, fitted parameters renamed as predictions, or load-bearing self-referential uniqueness theorems. The result is framed as building on the standard Kirchberg-Phillips classification, which is externally supported and not internally forced by the paper's own definitions.

Assumptions & free parameters 0 free parameters · 0 assumptions · 0 invented entities

No information available from the abstract.

how reviews work

0 comments
Cite this review

Pith. "Pith review of Principal groupoid models for stable UCT Kirchberg algebras." pith.science (2026). https://pith.science/paper/M3AMYCC4

@misc{pith2026260530147,
  author       = {Pith},
  title        = {Pith review of: Principal groupoid models for stable UCT Kirchberg algebras},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/M3AMYCC4}},
  note         = {Machine review of arXiv:2605.30147}
}
abstract

We show that every stable UCT Kirchberg algebra has a principal \'etale groupoid model, and thus contains a C$^*$-diagonal. Every unital UCT Kirchberg algebra $A$ for which $[1_A]_0$ has infinite order in $K_0(A)$ is also covered by our methods. In particular, we obtain a principal \'etale groupoid model for the Cuntz algebra $\mathcal{O}_\infty$.

Discussion (0). Continue with ORCID to comment.

Forward citations

Cited by 1 Pith paper

Reviewed papers in the Pith corpus that reference this work. Sorted by Pith novelty score. Full citation record

  1. A C*-diagonal in the Jiang-Su algebra via entangled matrix cones

    math.OA 2026-07 accept novelty 7.0 of 10

    An explicit inductive system of entangled dimension-drop algebras realises Z and yields a C*-diagonal with one-dimensional non-locally-connected spectrum, via a new normaliser characterisation by state excision.

Reference graph

Works this paper leans on

42 extracted references · 4 canonical work pages · cited by 1 Pith paper

  1. [1]

    Barlak and X

    S. Barlak and X. Li. Cartan subalgebras and the UCT problem.Adv. Math., 316:748–769, 2017

    2017

  2. [2]

    Blackadar.K-theory for operator algebras, volume 5 ofMathematical Sciences Research Institute Publications

    B. Blackadar.K-theory for operator algebras, volume 5 ofMathematical Sciences Research Institute Publications. Cambridge University Press, Cambridge, second edition, 1998

    1998

  3. [3]

    Brown, L

    J. Brown, L. Clark, A. Sierakowski, and A. Sims. Purely infinite simple C ∗-algebras that are principal groupoid C ∗-algebras.J. Math. Anal. Appl., 439(1):213–234, 2016

    2016

  4. [4]

    R.Carri ´on, J.Gabe, C.Schafhauser, A.Tikuisisand S.White,Classifying ∗-homomorphisms I: Unital simple nuclearC ∗-algebras, preprint, arXiv:2307.06480

    J. Carri´ on, J. Gabe, C. Schafhauser, A. Tikuisis, and S. White. Classifying∗-homomorphisms I: Unital, simple, nuclear C ∗-algebras. arXiv:2307.06480, 2023

    work page Pith review arXiv 2023

  5. [5]

    Clark, J

    L. Clark, J. Fletcher, and A. an Huef. All classifiable Kirchberg algebras are C ∗-algebras of ample groupoids.Expo. Math., 38(4):559–565, 2020

    2020

  6. [6]

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

    1977

  7. [7]

    V. Deaconu. Groupoids associated with endomorphisms.Trans. Amer. Math. Soc., 347(5):1779–1786, 1995

    1995

  8. [8]

    Deeley, I

    R. Deeley, I. Putnam, and K. Strung. Constructing minimal homeomorphisms on point- like spaces and a dynamical presentation of the Jiang–Su algebra.J. Reine Angew. Math., 742:241–261, 2018

    2018

Show all 42 references
  1. [9]

    Deeley, I

    R. Deeley, I. Putnam, and K. Strung. Minimal homeomorphisms and topologicalK-theory. Groups Geom. Dyn., 17(2):501–532, 2023

    2023

  2. [10]

    G. Elliott. The classification problem for amenable C ∗-algebras. InProceedings of the Inter- national Congress of Mathematicians, Vol. 1, 2 (Z¨ urich, 1994), pages 922–932. Birkh¨ auser, Basel, 1995

    1994

  3. [11]

    G. Elliott. An invariant for simple C ∗-algebras. InCanadian Mathematical Society. 1945– 1995, Vol. 3, pages 61–90. Canadian Math. Soc., Ottawa, ON, 1996

    1945

  4. [12]

    Engelking.Dimension theory, volume 19 ofNorth-Holland Mathematical Library

    R. Engelking.Dimension theory, volume 19 ofNorth-Holland Mathematical Library. North- Holland Publishing Co., Amsterdam-Oxford-New York; PWN—Polish Scientific Publishers, Warsaw, 1978

    1978

  5. [13]

    Evington and P

    S. Evington and P. Sibbel. C ∗-diagonals with Cantor spectrum in Cuntz algebras.J. Funct. Anal., 290(12), Paper No. 111418, 2026

    2026

  6. [14]

    Evington and P

    S. Evington and P. Sibbel. Principal groupoid models for Cuntz algebras and their dynamic asymptotic dimension. arXiv:2512.01812, 2025

    2025

  7. [15]

    Fathi and M

    A. Fathi and M. Herman. Existence de diff´ eomorphismes minimaux. InDynamical systems, Vol. I—Warsaw, volume No. 49 ofAst´ erisque, pages 37–59. Soc. Math. France, Paris, 1977

    1977

  8. [16]

    Gong and H

    G. Gong and H. Lin. A review of the Elliott program of classification of simple amenable C∗-algebras. arXiv:2311.14238, 2023

    2023

  9. [17]

    Jiang and H

    X. Jiang and H. Su. On a simple unital projectionless C∗-algebra.Amer. J. Math., 121(2):359– 413, 1999

    1999

  10. [18]

    T. Katsura. A class of C ∗-algebras generalizing both graph algebras and homeomorphism C∗-algebras I, fundamental results.Trans. Amer. Math. Soc., 356(11):4287–4322, 2004

    2004

  11. [19]

    T. Katsura. A class of C ∗-algebras generalizing both graph algebras and homeomorphism C∗-algebras II, examples.Internat. J. Math., 17(7):791–833, 2006. 16 SAMUEL EVINGTON AND PHILIPP SIBBEL

    2006

  12. [20]

    T. Katsura. A class of C ∗-algebras generalizing both graph algebras and homeomorphism C∗-algebras III, ideal structures.Ergodic Theory Dynam. Systems, 26(6):1805–1854, 2006

    2006

  13. [21]

    T. Katsura. A class of C ∗-algebras generalizing both graph algebras and homeomorphism C∗-algebras IV, pure infiniteness.J. Funct. Anal., 254(5):1161–1187, 2008

    2008

  14. [22]

    Kirchberg

    E. Kirchberg. Exact C ∗-algebras, tensor products, and the classification of purely infinite algebras. InProceedings of the International Congress of Mathematicians, Vol. 1, 2 (Z¨ urich, 1994), pages 943–954. Birkh¨ auser, Basel, 1995

    1994

  15. [23]

    A. Kumjian. On C ∗-diagonals.Canad. J. Math., 38(4):969–1008, 1986

    1986

  16. [24]

    Kumjian and H

    A. Kumjian and H. Li. Twisted topological graph algebras are twisted groupoid C ∗-algebras. J. Operator Theory, 78(1):201–225, 2017

    2017

  17. [25]

    Lefschetz

    S. Lefschetz. On the fixed point formula.Ann. of Math. (2), 38(4):819–822, 1937

    1937

  18. [26]

    K. Li, H. Liao, and W. Winter. The diagonal dimension of sub-C∗-algebras. arXiv:2303.16762, 2023

    2023

  19. [27]

    X. Li. Every classifiable simple C ∗-algebra has a Cartan subalgebra.Invent. Math., 219(2):653–699, 2020

    2020

  20. [28]

    Li and J

    X. Li and J. Renault. Cartan subalgebras in C ∗-algebras. Existence and uniqueness.Trans. Amer. Math. Soc., 372(3):1985–2010, 2019

    1985

  21. [29]

    N. C. Phillips. A classification theorem for nuclear purely infinite simple C ∗-algebras.Doc. Math., 5:49–114, 2000

    2000

  22. [30]

    Renault.A groupoid approach toC ∗-algebras, volume 793 ofLecture Notes in Math

    J. Renault.A groupoid approach toC ∗-algebras, volume 793 ofLecture Notes in Math. Springer, Berlin, 1980

    1980

  23. [31]

    J. Renault. Cuntz-like algebras. InOperator theoretical methods (Timi¸ soara, 1998), pages 371–386. The Theta Foundation, Bucharest, 2000

    1998

  24. [32]

    J. Renault. Cartan subalgebras in C ∗-algebras.Irish Math. Soc. Bull., 61:29–63, 2008

    2008

  25. [33]

    M. Rørdam. Classification of nuclear, simple C ∗-algebras. InClassification of NuclearC ∗- Algebras. Entropy in Operator Algebras, volume 126 ofEncyclopaedia Math. Sci., pages 1–145. Oper. Alg. Non-commut. Geom., 7, Springer, 2002

    2002

  26. [34]

    Rosenberg and C

    J. Rosenberg and C. Schochet. The K¨ unneth theorem and the universal coefficient theorem for Kasparov’s generalizedK-functor.Duke Math. J., 55(2):431–474, 1987

    1987

  27. [35]

    Schochet

    C. Schochet. Topological methods for C∗-algebras. II. Geometric resolutions and the K¨ unneth formula.Pacific J. Math., 98(2):443–458, 1982

    1982

  28. [36]

    Sibbel and W

    P. Sibbel and W. Winter. A Cantor spectrum diagonal inO 2.Proc. Amer. Math. Soc. Ser. B, 12:210–217, 2025

    2025

  29. [37]

    Spielberg

    J. Spielberg. Graph-based models for Kirchberg algebras.J. Operator Theory, 57(2):347–374, 2007

    2007

  30. [38]

    S. White. Abstract classification theorems for amenable C ∗-algebras. InICM—International Congress of Mathematicians. Vol. 4. Sections 5–8, pages 3314–3338. EMS Press, Berlin, 2023

    2023

  31. [39]

    W. Winter. Structure of nuclear C ∗-algebras: from quasidiagonality to classification and back again. InProceedings of the International Congress of Mathematicians—Rio de Janeiro 2018. Vol. III. Invited lectures, pages 1801–1823. World Sci. Publ., Hackensack, NJ, 2018

    2018

  32. [40]

    T. Yeend. Topological higher-rank graphs and the C ∗-algebras of topological 1-graphs. In Operator theory, operator algebras, and applications, volume 414 ofContemp. Math., pages 231–244. American Mathematical Society, Providence, RI, 2006

    2006

  33. [41]

    T. Yeend. Groupoid models for the C∗-algebras of topological higher-rank graphs.J. Operator Theory, 57(1):95–120, 2007

    2007

  34. [42]

    S. Zhang. Certain C ∗-algebras with real rank zero and their corona and multiplier algebras. I.Pacific J. Math., 155(1):169–197, 1992. Samuel Evington, Mathematical Institute, University of M ¨unster, Einsteinstrasse 62, 48149 M ¨unster, Germany Email address:evington@uni-muen...

    1992

Pith tools

Reviewed June 28, 2026 · model on record in the stance chip above.