Pith. sign in

REVIEW 4 minor 40 references

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

T0 review · 0 major / 4 minor · reviewed 2026-07-12 · grok-4.5

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

Pith's one-line read An explicit inductive-limit construction of the Jiang-Su algebra yields a C*-diagonal whose spectrum is one-dimensional and not locally connected.

desk verdict Explicit inductive model of Z that produces a genuinely new one-dimensional non-locally-connected C*-diagonal, with a useful normaliser characterisation as a byproduct. read the letter →

arxiv 2607.03129 v1 pith:LWPN52SN submitted 2026-07-03 math.OA

Lukas Obermeyer , Wilhelm Winter This is my paper · ORCID
classification math.OA MSC 46L0546L3546L80
keywords Jiang-SualgebraC*-diagonalCartansubalgebradimension-dropentangledmatrixconesnormaliserexcisioninductivelimit
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 Jiang-Su algebra Z is the unique simple monotracial inductive limit of prime dimension-drop algebras, and it is the pivotal object that absorbs every other simple nuclear C*-algebra in the classification programme. Previous models of Cartan subalgebras (or C*-diagonals) inside Z either had spectrum of dimension greater than one or were obtained by abstract existence arguments that gave little control over the generators. This paper realises Z as the inductive limit of dimension-drop algebras presented by “entangled matrix cones”, writes down the connecting maps by explicit formulae for the images of a finite set of generators, and proves that the limit of a natural family of abelian subalgebras is a C*-diagonal whose spectrum is one-dimensional yet fails to be locally connected. Along the way a new characterisation of normalisers of Cartan pairs is obtained in terms of pure-state excision; the characterisation guarantees that the connecting maps preserve normalisers, so the diagonal survives the inductive limit. The construction therefore supplies a concrete, generator-level model of a Cartan pair inside Z that is topologically distinct from every previously known example.

What carries the argument

The presentation of the prime dimension-drop algebra Z̃_{L,L+1} as the universal C*-algebra generated by an L-dimensional matrix cone and a two-dimensional cone subject to the entanglement relations (R̃_L); the connecting maps are then completely determined by the images of those generators under the formulae (5)–(10).

What would settle it

Compute the first few connecting maps with the stated growth rates for (M_n) and (K_n), verify that the resulting finite-stage traces remain within the prescribed ε_n-neighbourhood of the distinguished trace au^{(L)}, and check that every non-zero positive element eventually generates the unit ideal; any failure of these numerical bounds would show that the limit is not monotracial or not simple.

Watch

Extended reading notes

Core claim

There exist sequences of integers (L_n), (M_n), (K_n) and unital *-homomorphisms Φ_{L_n,L_{n+1}} : Z̃_{L_n,L_n+1} o Z̃_{L_{n+1},L_{n+1}+1}, defined by sending a finite set of generators to explicitly written linear combinations of generators of the next algebra (equations (5)–(10)), such that the inductive limit is isomorphic to the Jiang-Su algebra Z and the inductive limit of the corresponding abelian subalgebras D̃_{L_n,L_n+1} is a C*-diagonal in Z whose spectrum is one-dimensional and not locally connected.

Load-bearing premise

The auxiliary sequences that control matrix sizes must grow fast enough (for instance M_n = n 4^n and K_n = 2^{n+3}) so that the inductive limit is simultaneously simple and has a unique trace; otherwise the identification with the Jiang-Su algebra fails.

Share X Bluesky LinkedIn Reddit HN

Editorial analysis

A structured set of objections, weighed in public.

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

Referee Report

0 major / 4 minor

Summary. The paper constructs the Jiang–Su algebra Z as an inductive limit of prime dimension-drop algebras Z̃_{L,L+1}, presented via the universal generators and relations of entangled matrix cones (Proposition 2.1). Explicit unital *-homomorphisms Φ_{L,L'} are defined by sending the generators to concrete elements (5)–(10) built from order-zero maps and piecewise-linear cut-off functions; parameters (M_n),(K_n) are chosen so that the limit is simple and monotracial, hence isomorphic to Z by the classical classification theorem (Theorem 2.2). Simultaneously, abelian subalgebras D̃_{L,L+1} (38) are shown to be C*-diagonals (Proposition 4.1); a new characterisation of normalisers via the normaliser-excision property (Theorem 3.2) is used to prove that the connecting maps preserve normalisers (Lemmas 4.4–4.6), so the inductive-limit diagonal is a C*-diagonal in Z (Theorem 4.7). Its spectrum is identified as an inverse limit of one-dimensional continua X_L and shown not to be locally connected (Proposition 5.5).

Significance. The work supplies the first fully explicit C*-algebraic generators-and-relations model of a C*-diagonal inside Z whose spectrum is one-dimensional yet not locally connected, distinguishing it from the dynamical construction of Deeley–Putnam–Strung and the Peano/Menger models of Li. The intermediate normaliser-excision characterisation (Theorem 3.2) is of independent interest for Cartan theory. All maps, growth rates (Remark 2.10) and ideal-structure arguments are written out in complete detail, making the construction reproducible and usable for further dynamical or classification questions.

minor comments (4)
  1. The visualisation in §2.2 (Figures 1–2) is helpful but informal; a short remark that the pictures are only heuristic and that the actual verification is algebraic (Proposition 2.3) would prevent any misreading.
  2. In the proof of Proposition 2.9 the claim that f(s̄*s̄) lies in the ideal generated by a non-zero positive element is established via the essential ideal J; a one-sentence reminder that J is essential (already proved in 2.8(ii)) would make the argument self-contained for a reader who skips ahead.
  3. The explicit growth rates M_n = n 4^n, K_n = 2^{n+3} appear only in Remark 2.10; placing a forward reference already in the statement of Theorem 2.2 would help readers who want concrete sequences immediately.
  4. Typographical consistency: the tilde notation for the universal algebras Z̃_{L,L+1} versus the classical Z_{p,q} is clear, but a few places (e.g., the table on p. 4) switch between the two without repeating the identification; a parenthetical reminder would improve readability.

Circularity Check

0 steps flagged · score 0.0 of 10

No significant circularity: explicit algebraic construction of maps and diagonals, with external classification used only for identification with Z

full rationale

The paper's core claims (Theorems 2.2 and 4.7) are established by direct verification: the generators (5)–(10) are shown to satisfy the universal relations (R̃_L) in Proposition 2.3 by elementary computations with order-zero maps and functional calculus; parameters (M_n), (K_n) are chosen inductively via Propositions 2.7 and 2.9 so that the limit is simple and monotracial (proof of Theorem 2.2); normalisers are preserved by the new NEP characterisation (Theorem 3.2) together with Lemmas 4.4–4.6; the spectrum analysis (Proposition 5.5) is a direct topological argument on the inverse limit of the X_L. The only external input used for the final identification Z ≅ lim Z̃_{L_n,L_n+1} is the classical Jiang–Su classification theorem (simple + unique trace), which is independent, parameter-free, and externally established. Self-citations (e.g. to [17], [34], [22]) supply background or tools but are not load-bearing for the new maps, the NEP, or the non-local-connectedness. No quantity is defined in terms of a later-recovered prediction, no uniqueness is smuggled from overlapping authors, and no ansatz is hidden behind a citation. The derivation is therefore self-contained against its own inputs.

Assumptions & free parameters 1 free parameters · 4 assumptions · 2 invented entities

The central claims rest on standard C*-algebraic facts (universal properties of cones, order-zero maps, pure-state excision, inductive limits of Cartan pairs) together with the classical classification of the Jiang-Su algebra and two growth-rate choices that are free parameters of the construction. No new physical entities are postulated; the only ad-hoc objects are the entangled-cone presentation and the NEP, both of which are defined and proved inside the paper.

free parameters (1)
  • sequences (M_n), (K_n) = M_n = n 4^n, K_n = 2^{n+3} (one admissible choice)
    Positive integers that determine the matrix sizes L_n via L' = K M L^{2} + M L. They must grow sufficiently fast (e.g. M_n = n 4^n, K_n = 2^{n+3}) to guarantee simplicity and unique trace; any slower growth may break the identification with Z.
assumptions (4)
  • domain assumption A simple monotracial inductive limit of prime dimension-drop algebras is isomorphic to the Jiang-Su algebra Z (Jiang–Su classification).
    Invoked in Theorem 2.2 and the surrounding discussion to identify the constructed limit with Z.
  • domain assumption Cartan subalgebras and C*-diagonals are preserved under inductive limits when the connecting maps preserve diagonals, normalisers and intertwine conditional expectations (Barlak–Li / Li).
    Theorem 4.2 (quoted from the literature) is the final step that upgrades the building-block diagonals to a diagonal in the limit.
  • standard math Existence of pure-state-excising sequences for pure states on separable C*-algebras (Akemann–Anderson–Pedersen).
    Used throughout Section 3 to formulate and prove the normaliser excision property.
  • domain assumption Universal property of the entangled matrix cone presentation of dimension-drop algebras (Rørdam–Winter).
    Proposition 2.1; the whole construction of the connecting maps rests on this presentation.
invented entities (2)
  • entangled matrix cones
    purpose: Universal generators-and-relations presentation of Z_{L,L+1} that avoids commutation relations and makes the connecting maps easy to write down.
    Defined in Proposition 2.1; the maps (5)–(10) are expressed directly in these generators.
  • normaliser excision property (NEP) independent evidence
    purpose: Characterises normalisers of a Cartan pair by the uniqueness of the point to which a pure state can be moved under conjugation by the element.
    Definition 3.1 and Theorem 3.2; used in Section 4 to prove that the connecting maps preserve normalisers.

how reviews work

0 comments
Cite this review

Pith. "Pith review of A C*-diagonal in the Jiang-Su algebra via entangled matrix cones." pith.science (2026). https://pith.science/paper/LWPN52SN

@misc{pith2026260703129,
  author       = {Pith},
  title        = {Pith review of: A C*-diagonal in the Jiang-Su algebra via entangled matrix cones},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/LWPN52SN}},
  note         = {Machine review of arXiv:2607.03129}
}
read the original abstract

We construct the Jiang-Su algebra Z as an inductive limit of dimension drop algebras, describing the latter as entangled matrix cones to explicitly define the connecting *-homomorphisms. This construction gives rise to a C*-diagonal in Z with one-dimensional spectrum which is not locally connected. Along the way, we give a new characterisation of normalisers in Cartan pairs in terms of state excision.

Figures

Figures reproduced from arXiv: 2607.03129 by the authors.

Figure 1
Figure 1. Visualisation of c 2 1 , . . . , c∗ L′cL′, s∗ s ∈ Z˜ L′ ,L′+1 [PITH_FULL_IMAGE:figures/full_fig_p006_1.png] view at source ↗
Figure 2
Figure 2. Illustration of the elements ˜c 2 1 , c˜ ∗ 2 c˜2, s˜ ∗ s˜ ∈ Z˜ L′ ,L′+1 for L = 2 and L ′ = L ′ (2, M, K) with M, K ≥ 2. Here, the dashed lines indicate that the respective applied function is linearly increasing or decreasing, the non-dashed parts indicate that the applied function is constant, and the shade of the colour indicates the value of the function in [0, 1]. The picture shows that [PITH_FULL_IMAGE:figure… view at source ↗
Figure 3
Figure 3. Graphs of a, b ∈ C0((0, 1]). We put σL := a(ˆσL) and σL+1 := a(ˆσL+1) using functional calculus for order zero maps from [40]. Moreover, let b ′ ∈ C0((0, 1]) with b ′ ◦ (id − id2 ) = b. Then, θ := b ′ ( ˆθ) satisfies θ(ei,i ⊗ ej,j ) = ( b(¯c ∗ i c¯i) if j = 0, πσˆL+1 (ej,0)b(¯c ∗ i c¯i)πσˆL+1 (e0,j ) if j ≥ 1. With this setup, we now identify some prominent ideals in Z˜ L,L+1, in particular, an es￾sential ideal. Thr… view at source ↗
Figures from the paper (1 more)
Figure 4
Figure 4. Figure 4: Picture of X4 [PITH_FULL_IMAGE:figures/full_fig_p028_4.png]

Discussion (0). Continue with ORCID to comment.

Reference graph

Works this paper leans on

40 extracted references · 6 linked inside Pith

  1. [1]

    Akemann, Joel Anderson, and Gert K

    Charles A. Akemann, Joel Anderson, and Gert K. Pedersen. Excising states of C ∗-algebras.Canad. J. Math., 38(5):1239–1260, 1986

    1986

  2. [2]

    Groupoid models of C ∗-algebras and the Gelfand functor.New York J

    Kyle Austin and Atish Mitra. Groupoid models of C ∗-algebras and the Gelfand functor.New York J. Math., 27:740–775, 2021

    2021

  3. [3]

    Cartan subalgebras and the UCT problem.Adv

    Sel¸ cuk Barlak and Xin Li. Cartan subalgebras and the UCT problem.Adv. Math., 316:748–769, 2017

    2017

  4. [4]

    Cartan subalgebras and the UCT problem, II.Math

    Sel¸ cuk Barlak and Xin Li. Cartan subalgebras and the UCT problem, II.Math. Ann., 378(1-2):255– 287, 2020

    2020

  5. [5]

    Cartan subalgebras in dimension drop algebras.J

    Sel¸ cuk Barlak and Sven Raum. Cartan subalgebras in dimension drop algebras.J. Inst. Math. Jussieu, 20(3):725–755, 2021

    2021

  6. [6]

    Carri´ on, James Gabe, Christopher Schafhauser, Aaron Tikuisis, and Stuart White

    Jos´ e R. Carri´ on, James Gabe, Christopher Schafhauser, Aaron Tikuisis, and Stuart White. Classifying ∗-homomorphisms I: Unital simple nuclear C ∗-algebras, ArXiv preprint, arXiv:2307.06480, 2023

    arXiv 2023

  7. [7]

    All classifiable Kirchberg algebras are C ∗- algebras of ample groupoids.Expo

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

    2020

  8. [8]

    Deeley, Ian F

    Robin J. Deeley, Ian F. Putnam, and Karen R. 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 40 references
  1. [9]

    Elliott, Guihua Gong, Huaxin Lin, and Zhuang Niu

    George A. Elliott, Guihua Gong, Huaxin Lin, and Zhuang Niu. On the classification of simple amenable C∗-algebras with finite decomposition rank, II.J. Noncommut. Geom., 19(1):73–104, 2025

    2025

  2. [10]

    Principal groupoid models for stable UCT Kirchberg algebras, ArXiv preprint, arXiv:2605.30147, 2026

    Samuel Evington and Philipp Sibbel. Principal groupoid models for stable UCT Kirchberg algebras, ArXiv preprint, arXiv:2605.30147, 2026

    2026 arXiv

  3. [11]

    C ∗-diagonals with Cantor spectrum in Cuntz algebras.J

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

    2026

  4. [12]

    On Kumjian’s C ∗-diagonal and the opaque ideal, ArXiv preprint, arXiv:2110.09445, 2021

    Ruy Exel. On Kumjian’s C ∗-diagonal and the opaque ideal, ArXiv preprint, arXiv:2110.09445, 2021

    2021 arXiv

  5. [13]

    Jacob Feldman and Calvin C. Moore. Ergodic equivalence relations, cohomology, and von Neumann algebras.Bull. Amer. Math. Soc., 81(5):921–924, 1975

    1975

  6. [14]

    Jacob Feldman and Calvin C. Moore. Ergodic equivalence relations, cohomology, and von Neumann algebras. I.Trans. Amer. Math. Soc., 234(2):289–324, 1977

    1977

  7. [15]

    Jacob Feldman and Calvin C. Moore. Ergodic equivalence relations, cohomology, and von Neumann algebras. II.Trans. Amer. Math. Soc., 234(2):325–359, 1977

    1977

  8. [16]

    A classification of finite simple amenableZ-stable C ∗- algebras, II: C ∗-algebras with rational generalized tracial rank one.C

    Guihua Gong, Huaxin Lin, and Zhuang Niu. A classification of finite simple amenableZ-stable C ∗- algebras, II: C ∗-algebras with rational generalized tracial rank one.C. R. Math. Acad. Sci. Soc. R. Can., 42(4):451–539, 2020

    2020

  9. [17]

    Noncommut

    Bhishan Jacelon and Wilhelm Winter.Zis universal.J. Noncommut. Geom., 8(4):1023–1042, 2014

    2014

  10. [18]

    On a simple unital projectionless C ∗-algebra.Amer

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

    1999

  11. [19]

    Infinite non-simple C ∗-algebras: Absorbing the Cuntz alge- brasO ∞.Adv

    Eberhard Kirchberg and Mikael Rørdam. Infinite non-simple C ∗-algebras: Absorbing the Cuntz alge- brasO ∞.Adv. Math., 167(2):195–264, 2002

    2002

  12. [20]

    Paper-folding models for the CAR algebra, to appear in Ergod

    Grigoris Kopsacheilis and Wilhelm Winter. Paper-folding models for the CAR algebra, to appear in Ergod. Theory Dyn. Syst., ArXiv preprint, arXiv:2508.04837, 2025

    2025 arXiv

  13. [21]

    On C ∗-diagonals.Canad

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

    1986

  14. [22]

    The diagonal dimension of sub-C ∗-algebras, ArXiv preprint, arXiv:2303.16762, 2023

    Kang Li, Hung-Chang Liao, and Wilhelm Winter. The diagonal dimension of sub-C ∗-algebras, ArXiv preprint, arXiv:2303.16762, 2023

    2023 arXiv

  15. [23]

    Every classifiable simple C ∗-algebra has a Cartan subalgebra.Invent

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

    2020

  16. [24]

    Constructing Menger manifold C ∗-diagonals in classifiable C ∗-algebras.Int

    Xin Li. Constructing Menger manifold C ∗-diagonals in classifiable C ∗-algebras.Int. Math. Res. Not. IMRN, (23):18992–19053, 2022

    2022

  17. [25]

    Xin Li and Ali I. Raad. Constructing C ∗-diagonals in AH-algebras.Trans. Amer. Math. Soc., 376(12):8857–8875, 2023

    2023

  18. [26]

    Cartan subalgebras in C ∗-algebras

    Xin Li and Jean Renault. Cartan subalgebras in C ∗-algebras. Existence and uniqueness.Trans. Amer. Math. Soc., 372(3):1985–2010, 2019. 34 L. OBERMEYER AND W. WINTER

    1985

  19. [27]

    Almost finiteness, comparison, and tracialZ-stability.J

    Hung-Chang Liao and Aaron Tikuisis. Almost finiteness, comparison, and tracialZ-stability.J. Funct. Anal., 282(3):Paper No. 109309, 2022

    2022

  20. [28]

    Terry A. Loring. C ∗-algebras generated by stable relations.J. Funct. Anal., 112(1):159–203, 1993

    1993

  21. [29]

    Springer, Cham, second edition, 2018

    Sergio Mac´ ıas.Topics on continua. Springer, Cham, second edition, 2018

    2018

  22. [30]

    Nadler, Jr.Continuum theory, volume 158 ofMonographs and Textbooks in Pure and Applied Mathematics

    Sam B. Nadler, Jr.Continuum theory, volume 158 ofMonographs and Textbooks in Pure and Applied Mathematics. Marcel Dekker, Inc., New York, 1992

    1992

  23. [31]

    C ∗-diagonal of inductive limit of 1-dimensional NCCW complexes, ArXiv preprint, arXiv:2505.04011, 2025

    Dolapo Oyetunbi. C ∗-diagonal of inductive limit of 1-dimensional NCCW complexes, ArXiv preprint, arXiv:2505.04011, 2025

    2025 arXiv

  24. [32]

    David R. Pitts. Normalizers and approximate units for inclusions of C ∗-algebras.Indiana Univ. Math. J., 72(5):1849–1866, 2023

    2023

  25. [33]

    Cartan subalgebras in C ∗-algebras.Irish Math

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

    2008

  26. [34]

    The Jiang–Su algebra revisited.J

    Mikael Rørdam and Wilhelm Winter. The Jiang–Su algebra revisited.J. Reine Angew. Math., 642:129– 155, 2010

    2010

  27. [35]

    McGraw-Hill Book Co., New York, third edition, 1987

    Walter Rudin.Real and complex analysis. McGraw-Hill Book Co., New York, third edition, 1987

    1987

  28. [36]

    The Rohlin property for automorphisms of the Jiang–Su algebra.J

    Yasuhiko Sato. The Rohlin property for automorphisms of the Jiang–Su algebra.J. Funct. Anal., 259(2):453–476, 2010

    2010

  29. [37]

    The Jiang–Su algebra is strongly self-absorbing revisited.J

    Andr´ e Schemaitat. The Jiang–Su algebra is strongly self-absorbing revisited.J. Funct. Anal., 282(6):Paper No. 109347, 2022

    2022

  30. [38]

    A Cantor spectrum diagonal inO 2.Proc

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

    2025

  31. [39]

    La conjecture de Baum–Connes pour les feuilletages moyennables.K-Theory, 17(3):215–264, 1999

    Jean-Louis Tu. La conjecture de Baum–Connes pour les feuilletages moyennables.K-Theory, 17(3):215–264, 1999

    1999

  32. [40]

    Completely positive maps of order zero.M¨ unster J

    Wilhelm Winter and Joachim Zacharias. Completely positive maps of order zero.M¨ unster J. Math., 2:311–324, 2009. Lukas Obermeyer, Mathematical Institute, University of M ¨unster, Einsteinstrasse 62, 48149 M¨unster, Germany Email address:lukas.obermeyer@uni-muenster.de Wilhelm...

    2009

Pith tools

Reviewed July 12, 2026 · model on record in the stance chip above.