The Global Glimm Property for C*-algebras of topological dimension zero

Eduard Vilalta; Hannes Thiel; Ping Wong Ng

REVIEW 2 major objections 4 minor 19 references

The Global Glimm Property for C*-algebras of topological dimension zero

T0 review · 2 major / 4 minor · reviewed 2026-08-06 · deepseek-v4-flash

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

Pith's one-line read Theorem 2.3: For zero-dimensional C*-algebras, the Global Glimm Property and nowhere scatteredness coincide.

desk verdict Settles the Global Glimm Problem for topological dimension zero; likely correct, but the key lift in Lemma 2.2 needs verification against the cited [TV24, Prop. 7.8]. read the letter →

arxiv 2507.16261 v2 pith:5DR7TFZM submitted 2025-07-22 math.OA

Ping Wong Ng , Hannes Thiel , Eduard Vilalta This is my paper · ORCID

classification math.OA MSC 46L0519K1446L8046L85

keywords C*-algebrasGlobalGlimmPropertynowherescatteredCuntzsemigroupstopologicaldimensionzeropuritypurelyinfinitemultiplieralgebras

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

This paper proves that the Global Glimm Problem has a positive answer for every C*-algebra with topological dimension zero, meaning its primitive ideal space has a basis of compact open sets. For such an algebra, having the Global Glimm Property—every hereditary subalgebra (a subalgebra cut out by a positive element) contains an almost full square-zero element—is shown to be equivalent to being nowhere scattered, that is, having no hereditary subalgebra that admits a finite-dimensional representation. The forward implication was already known, so the paper supplies the missing converse, and it does so through the Cuntz semigroup, an ordered monoid that encodes the subequivalence of positive elements. A direct consequence is that nowhere scattered C*-algebras with finite nuclear dimension and topological dimension zero are pure, and that several multiplier algebras not covered by earlier results now fall under the theorem.

What carries the argument

The machinery is the Cuntz semigroup $\mathrm{Cu}(A)$, the ordered monoid that tracks subequivalence of positive elements, together with its tensor product with the two-element monoid $\{0,\infty\}$. The condition that $\mathrm{Cu}(A) \otimes \{0,\infty\}$ is algebraic—that elements satisfying $x \ll x$ are sup-dense—is exactly the Cuntz-semigroup expression of topological dimension zero. Lemma 2.2 is the load-bearing step: under this algebraicity hypothesis it upgrades weak $(2,\omega)$-divisibility (the Cuntz-semigroup fingerprint of nowhere scatteredness) to $(2,\omega)$-divisibility (the fingerprint of the Global Glimm Property), using the almost algebraic order property (O5) and a lifting result for inequalities in quotient Cuntz semigroups.

What would settle it

Exhibit a C*-algebra with topological dimension zero that is nowhere scattered but whose Cuntz semigroup is not (2,ω)-divisible—equivalently, a hereditary subalgebra containing no almost full square-zero element—since Theorem 2.3 predicts no such algebra exists. A concrete route is to find a Cu-semigroup S satisfying (O5)-(O8) with S ⊗ {0,∞} algebraic, weakly (2,ω)-divisible, but not (2,ω)-divisible; Lemma 2.2 asserts this is impossible.

Watch

Extended reading notes

Core claim

The central claim is Theorem 2.3: if A is a C*-algebra with topological dimension zero, then A has the Global Glimm Property if and only if A is nowhere scattered. Because the Global Glimm Property is already known to imply nowhere scatteredness for every C*-algebra, the theorem's content is the converse. The proof translates both properties into divisibility conditions on the Cuntz semigroup Cu(A): nowhere scatteredness is recorded by weak (2,ω)-divisibility, and the Global Glimm Property by (2,ω)-divisibility. The new algebraic step, Lemma 2.2, shows that a weakly (2,ω)-divisible Cu-semigroup whose tensor product with {0,∞} is algebraic must be (2,ω)-divisible; topological dimension zero enters through the algebraicity of Cu(A) ⊗ {0,∞}, established for all C*-algebras in Proposition 2.1.

Load-bearing premise

The theorem depends on previously established characterizations that link nowhere scatteredness and the Global Glimm Property to divisibility properties of the Cuntz semigroup, and on a lifting step inside that semigroup; these results are cited from prior work and are not re-proved here, and the argument treats them as valid for all C*-algebras, including nonseparable ones.

Editorial extensions

If this is right

Every nowhere scattered C*-algebra of topological dimension zero has the Global Glimm Property, so every hereditary subalgebra contains an almost full square-zero element.
Nowhere scattered C*-algebras with finite nuclear dimension and topological dimension zero are pure.
Weakly purely infinite C*-algebras with topological dimension zero are purely infinite, recovering the Elliott-Rouzbehani theorem.
The multiplier algebra of a σ-unital purely infinite C*-algebra of real rank zero is purely infinite, resolving the Kirchberg-Rørdam question in this case.
The multiplier algebra of a σ-unital nowhere scattered C*-algebra of real rank zero has the Global Glimm Property.

Reading between the lines

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

Beyond the paper, the Cuntz-semigroup translation suggests that the unresolved cases of the Global Glimm Problem may be reduced purely to a question about Cu-semigroups: whether weak (2,ω)-divisibility plus algebraicity of the tensor product by {0,∞} is the only obstruction to (2,ω)-divisibility.
A natural test of the method is whether the conclusion survives for algebras whose primitive ideal space is one-dimensional; the proof here would need a replacement for the algebraicity of Cu(A) ⊗ {0,∞}.
If Theorem 2.3 is right, then the ideal property—which implies topological dimension zero—should also force nowhere scattered algebras to have the Global Glimm Property, a route that could be checked by examining algebras with the weak ideal property.

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.

Desk Editor's Note

read the letter

Here's my take on arXiv:2507.16261. The main theorem is genuinely new: for C*-algebras with topological dimension zero, the Global Glimm Property and nowhere scatteredness coincide. That covers nonseparable algebras and goes beyond real rank zero, stable rank one, Hausdorff finite-dimensional primitive ideal space, and finite decomposition rank. The multiplier algebra corollaries are also real: purely infinite real rank zero algebras have purely infinite multiplier algebras, which addresses a Kirchberg-Rørdam question in that case. And the paper is cleanly written; Proposition 2.1 removing separability from the algebraic characterization is a nice touch.

The structure is straightforward: Proposition 2.1 gives algebraicity of Cu(A)⊗{0,∞}, Lemma 2.2 upgrades weak (2,ω)-divisibility to (2,ω)-divisibility under that algebraicity, and Theorem 2.3 quotes the known equivalences. The proof of Lemma 2.2 is where the work happens, and it's also where I got stuck. The text applies [TV24, Prop. 7.8] to lift the relation 2d ≤ f +∞e from the quotient by the ideal generated by e. The element e is only known to satisfy e≪∞e′, along with e′≪e and c′≪e′≪e≪c. That does not obviously imply e≪e, and if the proposition requires the generator to be compact, the argument as written is incomplete. The authors don't state the hypotheses of Prop. 7.8, so a referee needs to check that. This is a load-bearing step, not a cosmetic gap.

A secondary point: the proof leans heavily on the authors' own prior framework ([TV23], [TV24]). That's not a flaw by itself, and the cited results are published, but it means the verification burden is concentrated in references rather than in this note. A referee should verify that [TV24, Thm 8.9] and [TV23, Thm 3.6] indeed apply to nonseparable algebras as used here. Proposition 2.1 explicitly removes separability for the algebraicity step, and the rest of the chain should too.

Overall, I think the result is likely correct and deserves a serious referee. The gap in Lemma 2.2 is the kind of thing that can be fixed by stating the proposition and checking one condition, or by supplying a small argument that e is compact for this purpose. I would not desk-reject this; I'd send it out, with attention focused on Lemma 2.2 and on the precise hypotheses of [TV24, Prop. 7.8].

Referee Report

2 major / 4 minor

Summary. The paper proves Theorem 2.3: a C*-algebra with topological dimension zero has the Global Glimm Property if and only if it is nowhere scattered. The forward implication is already known, so the new content is the converse. The proof proceeds in two steps: Proposition 2.1 removes the separability assumption from the characterization of topological dimension zero in terms of the algebraicity of Cu(A) ⊗ {0,∞}, and Lemma 2.2 shows that a weakly (2,ω)-divisible Cu-semigroup whose tensor product with {0,∞} is algebraic must be (2,ω)-divisible. The paper then derives applications to purity, weak pure infiniteness, and multiplier algebras of σ-unital real rank zero C*-algebras.

Significance. If the proof is correct, this solves the Global Glimm Problem for the large class of C*-algebras with topological dimension zero, subsuming the real rank zero case and recovering the Elliott–Rouzbehani theorem on weakly purely infinite algebras. The multiplier algebra applications (Corollaries 2.7 and 2.8) are also valuable. The paper is concise and the main idea of using Cuntz semigroup techniques is natural and well motivated. However, the proof relies heavily on prior results of the same authors, and one step in the central lemma is not fully justified in the text.

major comments (2)

[Lemma 2.2, proof] The step 'Using [TV24, Proposition 7.8] to lift the relation 2d ≤ f+∞e from the quotient by the ideal generated by e' is not justified in the text: the hypotheses of [TV24, Proposition 7.8] are not stated, and the proof only establishes e≪∞e′, which is generally weaker than e≪e in an arbitrary Cu-semigroup. If the proposition requires strict compactness of e or some related condition, the lifting argument may not apply. Since Lemma 2.2 is the core new step and Theorem 2.3 depends entirely on it, the authors must either verify the hypotheses explicitly or supply a proof of the lifting fact in this setting.
[Theorem 2.3, proof] The proof invokes [TV24, Theorem 8.9] and [TV23, Theorem 3.6] to translate nowhere scatteredness into weak (2,ω)-divisibility and (2,ω)-divisibility into the Global Glimm Property. These characterizations are applied to arbitrary (possibly nonseparable) C*-algebras, and the manuscript does not confirm that the stated results hold without separability assumptions. Please state the exact hypotheses of these cited theorems or indicate explicitly that they are known for all C*-algebras, since otherwise the scope of Theorem 2.3 is not fully substantiated.

minor comments (4)

[Title] The header on the first page reads 'THE GLOBAL GLIMM PROPER TY FOR C*-ALGEBRAS OF TOPOLOGICAL DIMENSION ZERO'; 'PROPER TY' should be 'PROPERTY'.
[Corollary 2.8] There is a punctuation error: 'a σ-unital, purely infinite C∗-algebra of real rank zero, Then' should have a period or semicolon before 'Then'.
[Abstract and Introduction] The abstract uses 'almost full nilpotent element' while the introduction defines the Global Glimm Property using 'almost full square-zero element'. Please align the terminology, since these are not identical in general.
[Proposition 2.1, proof] The phrase 'standard Cuntz semigroup techniques' could be replaced with a precise reference for the inequalities involving (a−ε)+, (c−ε/2)+, and a, to make the proof easier to verify.

Circularity Check

0 steps flagged · score 1.0 of 10

No circularity: the new bridge Lemma 2.2 supplies the missing implication, while the cited Cuntz-semigroup characterizations are independent prior results.

full rationale

Theorem 2.3 does not define or fit its conclusion into an input. The converse assumes nowhere scatteredness and topological dimension zero, converts these to Cu-semigroup statements via the published characterizations [TV24, Theorem 8.9] and [TV23, Theorem 3.6], and then proves the required (2,omega)-divisibility by the new Cu-semigroup argument in Lemma 2.2 (using [TV23, Proposition 6.2], [TV23, Lemma 4.16], the (O5) axiom, and [TV24, Proposition 7.8]). The cited characterizations are parameter-free, published, and their hypotheses do not include the conclusion of Theorem 2.3; under the stated rules they count as independent evidence rather than self-citation circularity. The proof does rely heavily on the authors' own prior work, and the appeal to [TV24, Proposition 7.8] is terse about hypotheses, but a possible gap in verification is a correctness concern, not a circularity. No step in the manuscript equates the theorem with one of its inputs by construction, and no fitted or renormalized quantity is presented as a prediction. Accordingly the appropriate finding is no significant circularity.

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

The central claim introduces no fitted constants, no ad hoc assumptions, and no new entities. It is a theorem about arbitrary C*-algebras with topological dimension zero, proved using previously established characterizations from Cuntz semigroup theory. The entries above record the prior theorems that carry the load.

assumptions (9)

domain assumption A C*-algebra is nowhere scattered iff its Cuntz semigroup is weakly (2,omega)-divisible.
Invoked in Theorem 2.3; taken from [TV24, Theorem 8.9] and not reproved.
domain assumption A C*-algebra has the Global Glimm Property iff its Cuntz semigroup is (2,omega)-divisible.
Invoked in Theorem 2.3; taken from [TV23, Theorem 3.6] and not reproved.
domain assumption The Cuntz semigroup of every C*-algebra satisfies axioms (O5)-(O8).
Needed for Lemma 2.2; cited to [APT18, APRT21, TV24].
domain assumption Pseudocompact elements are dense in A+ in the sense of [RT17, Lemma 7.12].
Used in Proposition 2.1 to find c with (c-epsilon/2)+ pseudocompact.
domain assumption Algebraicity of Cu(A) tensor {0, infinity} is detected by compact ideal generation [TV23, Lemma 4.16].
Used in Proposition 2.1 and Lemma 2.2 to pass between algebraicity and the existence of elements e' and e with e way below infinity e'.
domain assumption Ideal-filtered Cu-semigroups satisfy the m-divisibility decomposition and lifting results [TV23, Lemma 4.17, Proposition 6.2] and [TV24, Proposition 7.8].
Core of Lemma 2.2; these give the elements c and d and the lifted element g.
domain assumption Zhang's theorem: the multiplier algebra of a sigma-unital real rank zero C*-algebra has topological dimension zero.
Used in Theorem 2.6; based on [Zha90, Theorem 2.2].
domain assumption The multiplier algebra of a sigma-unital nowhere scattered C*-algebra is nowhere scattered [Vil23, Theorem 5.12].
Used in Corollary 2.7.
domain assumption Kirchberg and Rordam's results on weakly purely infinite algebras and the Global Glimm Property [KR02, Propositions 4.11 and 4.15].
Used in Corollaries 2.5 and 2.8.

how reviews work

0 comments

Cite this review

Pith. "Pith review of The Global Glimm Property for C*-algebras of topological dimension zero." pith.science (2026). https://pith.science/paper/5DR7TFZM

@misc{pith2026250716261,
  author       = {Pith},
  title        = {Pith review of: The Global Glimm Property for C*-algebras of topological dimension zero},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/5DR7TFZM}},
  note         = {Machine review of arXiv:2507.16261}
}

read the original abstract

We show that a C*-algebra with topological dimension zero has the Global Glimm Property (every hereditary subalgebra contains an almost full nilpotent element) if and only if it is nowhere scattered (no hereditary subalgebra admits a finite-dimensional representation). This solves the Global Glimm Problem in this setting. It follows that nowhere scattered C*-algebras with finite nuclear dimension and topological dimension zero are pure.

Discussion (0). Continue with ORCID to comment.

Reference graph

Works this paper leans on

19 extracted references · 16 canonical work pages

[1]

Antoine , F

R. Antoine , F. Perera , L. Robert , and H. Thiel , Edwards' condition for quasitraces on s , Proc. Roy. Soc. Edinburgh Sect. A 151 (2021), 525--547

work page 2021
[2]

Antoine , F

R. Antoine , F. Perera , L. Robert , and H. Thiel , s of stable rank one and their C untz semigroups, Duke Math. J. 171 (2022), 33--99

work page 2022
[3]

Antoine , F

R. Antoine , F. Perera , and H. Thiel , Tensor products and regularity properties of C untz semigroups, Mem. Amer. Math. Soc. 251 (2018), viii+191

work page 2018
[4]

Antoine , F

R. Antoine , F. Perera , H. Thiel , and E. Vilalta , Pure s , preprint (arXiv:2406.11052 [math.OA]), 2024

arXiv 2024
[5]

Blanchard and E

E. Blanchard and E. Kirchberg , Global G limm halving for C^* -bundles, J. Operator Theory 52 (2004), 385--420

work page 2004
[6]

L. G. Brown and G. K. Pedersen , Limits and s of low rank or dimension, J. Operator Theory 61 (2009), 381--417

work page 2009
[7]

G. A. Elliott and M. R rdam , Perturbation of H ausdorff moment sequences, and an application to the theory of s of real rank zero, in Operator A lgebras: T he A bel S ymposium 2004 , Abel Symp. 1, Springer, Berlin, 2006, pp. 97--115

work page 2004
[8]

Enstad and E

U. Enstad and E. Vilalta , Z -stability of twisted group s of nilpotent groups, preprint (arXiv:2503.18088 [math.OA]), 2025

arXiv 2025

Show all 19 references

[9]

Gardella and F

E. Gardella and F. Perera , The modern theory of C untz semigroups of s , EMS Surv. Math. Sci. (to appear), DOI: 10.4171/EMSS/84, 2024

2024 doi
[10]

Kirchberg and M

E. Kirchberg and M. R rdam , Infinite non-simple s : absorbing the C untz algebra O _ , Adv. Math. 167 (2002), 195--264

2002
[11]

Pasnicu and N

C. Pasnicu and N. C. Phillips , The weak ideal property and topological dimension zero, Canad. J. Math. 69 (2017), 1385--1421

2017
[12]

Pasnicu and M

C. Pasnicu and M. R rdam , Purely infinite s of real rank zero, J. Reine Angew. Math. 613 (2007), 51--73

2007
[13]

Robert and M

L. Robert and M. R rdam , Divisibility properties for s , Proc. Lond. Math. Soc. (3) 106 (2013), 1330--1370

2013
[14]

Robert and A

L. Robert and A. Tikuisis , Nuclear dimension and Z -stability of non-simple s , Trans. Amer. Math. Soc. 369 (2017), 4631--4670

2017
[15]

Thiel , Real rank of some multiplier algebras, Isr

H. Thiel , Real rank of some multiplier algebras, Isr. J. Math. (to appear), preprint (arXiv:2402.01022), 2024

2024 arXiv
[16]

Thiel and E

H. Thiel and E. Vilalta , The G lobal G limm P roperty, Trans. Amer. Math. Soc. 376 (2023), 4713--4744

2023
[17]

Thiel and E

H. Thiel and E. Vilalta , Nowhere scattered s , J. Noncommut. Geom. 18 (2024), 231--263

2024
[18]

Vilalta , Nowhere scattered multiplier algebras, Proc

E. Vilalta , Nowhere scattered multiplier algebras, Proc. Roy. Soc. Edinburgh Sect. A (to appear), DOI: 10.1017/prm.2023.123, 2023

2023 doi
[19]

Zhang , A R iesz decomposition property and ideal structure of multiplier algebras, J

S. Zhang , A R iesz decomposition property and ideal structure of multiplier algebras, J. Operator Theory 24 (1990), 209--225

1990

Pith tools

Reviewed August 6, 2026 · model on record in the stance chip above.

[1] [1]

Antoine , F

R. Antoine , F. Perera , L. Robert , and H. Thiel , Edwards' condition for quasitraces on s , Proc. Roy. Soc. Edinburgh Sect. A 151 (2021), 525--547

work page 2021

[2] [2]

Antoine , F

R. Antoine , F. Perera , L. Robert , and H. Thiel , s of stable rank one and their C untz semigroups, Duke Math. J. 171 (2022), 33--99

work page 2022

[3] [3]

Antoine , F

R. Antoine , F. Perera , and H. Thiel , Tensor products and regularity properties of C untz semigroups, Mem. Amer. Math. Soc. 251 (2018), viii+191

work page 2018

[4] [4]

Antoine , F

R. Antoine , F. Perera , H. Thiel , and E. Vilalta , Pure s , preprint (arXiv:2406.11052 [math.OA]), 2024

arXiv 2024

[5] [5]

Blanchard and E

E. Blanchard and E. Kirchberg , Global G limm halving for C^* -bundles, J. Operator Theory 52 (2004), 385--420

work page 2004

[6] [6]

L. G. Brown and G. K. Pedersen , Limits and s of low rank or dimension, J. Operator Theory 61 (2009), 381--417

work page 2009

[7] [7]

G. A. Elliott and M. R rdam , Perturbation of H ausdorff moment sequences, and an application to the theory of s of real rank zero, in Operator A lgebras: T he A bel S ymposium 2004 , Abel Symp. 1, Springer, Berlin, 2006, pp. 97--115

work page 2004

[8] [8]

Enstad and E

U. Enstad and E. Vilalta , Z -stability of twisted group s of nilpotent groups, preprint (arXiv:2503.18088 [math.OA]), 2025

arXiv 2025