Global Glimm Property in C*-Algebras

• The Global Glimm Property is defined by the presence of an almost full square-zero element in every hereditary subalgebra, which translates to (2,ω)-divisibility of the Cuntz semigroup.
• It is tightly linked to nowhere scatteredness and is equivalent to the property under conditions like topological dimension zero, stable rank one, and real rank zero.
• Recent developments reformulate the property using ideal-filteredness and property (V), helping to resolve key open problems in the structure theory of non-simple C*-algebras.

The Global Glimm Property is a regularity property of $C^*$-algebras introduced in the non-simple setting by Kirchberg–Rørdam and formulated in current work as a hereditary square-zero condition: every hereditary subalgebra contains an almost full square-zero element. It is tightly linked to nowhere scatteredness, to divisibility properties of the Cuntz semigroup, and to several major open problems in the structure theory of non-simple $C^*$-algebras, including the weakly purely infinite problem and non-simple variants of the Toms–Winter program (Thiel et al., 2022, Vilalta, 15 Dec 2025).

1. Definition and basic formulations

In the formulation used throughout recent work, a $C^*$-algebra $A$ has the Global Glimm Property if for every $a\in A_+$ and every $\varepsilon>0$ there exists $r\in \overline{aAa}$ such that

$$r^2=0, \qquad (a-\varepsilon)_+ \in \operatorname{Ideal}(r)=\overline{ArA}.$$

The 2025 paper on topological dimension zero notes that the abstract says “almost full nilpotent element,” while the body uses the more precise phrase “almost full square-zero element” (Ng et al., 22 Jul 2025). The 2022 paper gives the equivalent Kirchberg–Rørdam formulation: for every $a\in A_+$, every $\varepsilon>0$, and every integer $C^*$0, there exists a $C^*$1-homomorphism

$C^*$2

such that $C^*$3 belongs to the closed ideal generated by $C^*$4 (Thiel et al., 2022).

This property is a global analogue of Glimm’s square-zero phenomenon for simple non-type-I algebras. The survey emphasizes that the Global Glimm Problem asks whether there is a single correct non-simple analogue of non-elementariness, or whether nowhere scatteredness and the Global Glimm Property are genuinely distinct (Vilalta, 15 Dec 2025).

A decisive reformulation is via the Cuntz semigroup. For a $C^*$5-algebra $C^*$6,

$C^*$7

Here $C^*$8-divisibility means that for every $C^*$9 with $C^*$0, there exist $C^*$1 and $C^*$2 such that

$C^*$3

This equivalence is stated in both the 2022 structural paper and the 2025 topological-dimension-zero paper (Thiel et al., 2022, Ng et al., 22 Jul 2025).

2. Nowhere scatteredness and the Global Glimm Problem

The minimal regularity condition paired with the Global Glimm Property is nowhere scatteredness. One formulation is that $C^*$4 has no nonzero elementary ideal-quotients (Thiel et al., 2022). Another, used in the 2025 paper, is that no hereditary sub-$C^*$5-algebra of $C^*$6 admits a finite-dimensional irreducible representation (Ng et al., 22 Jul 2025). The survey records these as equivalent to several other conditions, including that no hereditary subalgebra has a one-dimensional irreducible representation and, for separable $C^*$7, that $C^*$8 is nowhere scattered as a topological space (Vilalta, 15 Dec 2025).

The Global Glimm Property always implies nowhere scatteredness. This implication is treated as known in the 2022 paper and is reiterated in the 2025 papers (Thiel et al., 2022, Ng et al., 22 Jul 2025). The Global Glimm Problem is the converse question: $C^*$9 The survey describes this problem as open for over two decades and as central to several other regularity questions (Vilalta, 15 Dec 2025).

The Cuntz-semigroup translation makes the contrast precise. Nowhere scatteredness is equivalent to weak $A$0-divisibility of $A$1, meaning that for every $A$2 with $A$3, there exist $A$4 and $A$5 such that

$A$6

Thus the Global Glimm Problem becomes the question whether weak $A$7-divisibility upgrades to full $A$8-divisibility for Cuntz semigroups arising from $A$9-algebras (Thiel et al., 2022, Ng et al., 22 Jul 2025).

The 2025 survey records several positive cases known before the most recent work: real rank zero, stable rank one, Hausdorff finite-dimensional primitive ideal space, and finite decomposition rank (Vilalta, 15 Dec 2025). The 2025 topological-dimension-zero paper adds a new broad class by proving the equivalence for all $a\in A_+$0-algebras of topological dimension zero (Ng et al., 22 Jul 2025).

3. Cuntz-semigroup mechanism: ideal-filteredness and property (V)

The 2022 paper turns the Global Glimm Problem into a purely order-theoretic question about $a\in A_+$1. Its main theorem states that for a $a\in A_+$2-algebra $a\in A_+$3,

$a\in A_+$4

Equivalently,

$a\in A_+$5

The abstract Cu-semigroup theorem is proved under axioms (O5)–(O8), which are automatic for Cuntz semigroups of $a\in A_+$6-algebras (Thiel et al., 2022).

Ideal-filteredness is a downward-directedness condition for generators of ideals. One equivalent formulation given in the paper is: whenever

$a\in A_+$7

there exists $a\in A_+$8 with

$a\in A_+$9

Property (V) is a weak two-variable replacement for a sup-semilattice structure. In the formulation used there, if

$\varepsilon>0$0

then there exist $\varepsilon>0$1 such that

$\varepsilon>0$2

These two properties identify the precise gap between weak divisibility and full divisibility (Thiel et al., 2022).

The same paper shows that ideal-filteredness and property (V) are automatic in several important classes. In particular, they hold for $\varepsilon>0$3-algebras of stable rank one and for $\varepsilon>0$4-algebras of real rank zero, thereby recovering earlier solutions of the Global Glimm Problem in those settings (Thiel et al., 2022).

4. Solved cases and the topological-dimension-zero theorem

A $\varepsilon>0$5-algebra $\varepsilon>0$6 has topological dimension zero if $\varepsilon>0$7 has a basis consisting of compact, open sets (Ng et al., 22 Jul 2025). Brown–Pedersen introduced this notion as a generalization of real rank zero, and the 2025 paper proves a sharp theorem in this class: $\varepsilon>0$8 This is stated as solving the Global Glimm Problem in that setting (Ng et al., 22 Jul 2025).

The proof passes through the Cuntz semigroup. The paper proves

$\varepsilon>0$9

Using earlier work, nowhere scatteredness gives weak $r\in \overline{aAa}$0-divisibility of $r\in \overline{aAa}$1. A new Cu-semigroup lemma then shows that weak $r\in \overline{aAa}$2-divisibility upgrades to full $r\in \overline{aAa}$3-divisibility when $r\in \overline{aAa}$4 is algebraic. Combining this with the Cuntz-semigroup characterization of the Global Glimm Property yields the theorem (Ng et al., 22 Jul 2025).

The survey situates this result among several other solved cases. It records that nowhere scattered $r\in \overline{aAa}$5-algebras with Hausdorff finite-dimensional primitive ideal space have the Global Glimm Property, and that stable rank one algebras satisfy nowhere scatteredness $r\in \overline{aAa}$6 Global Glimm Property (Vilalta, 15 Dec 2025). The 2022 paper likewise states the stable-rank-one and real-rank-zero results in the Cu-semigroup language (Thiel et al., 2022).

The topological-dimension-zero theorem has immediate consequences. One is that if $r\in \overline{aAa}$7 is nowhere scattered, has finite nuclear dimension, and has topological dimension zero, then $r\in \overline{aAa}$8 is pure (Ng et al., 22 Jul 2025). Another is that for $r\in \overline{aAa}$9-algebras of topological dimension zero,

$$r^2=0, \qquad (a-\varepsilon)_+ \in \operatorname{Ideal}(r)=\overline{ArA}.$$0

thereby resolving the weakly purely infinite problem in that regime (Ng et al., 22 Jul 2025).

5. Soft elements, purity, and related regularity phenomena

The 2023 paper on soft operators introduces a structural refinement between the Global Glimm Property and nowhere scatteredness. A $$r^2=0, \qquad (a-\varepsilon)_+ \in \operatorname{Ideal}(r)=\overline{ArA}.$$1-algebra is soft if it has no nonzero unital quotients, and an element $$r^2=0, \qquad (a-\varepsilon)_+ \in \operatorname{Ideal}(r)=\overline{ArA}.$$2 is soft if the hereditary subalgebra $$r^2=0, \qquad (a-\varepsilon)_+ \in \operatorname{Ideal}(r)=\overline{ArA}.$$3 is soft (Thiel et al., 2023). For positive elements, softness admits a spectral characterization: a positive element $$r^2=0, \qquad (a-\varepsilon)_+ \in \operatorname{Ideal}(r)=\overline{ArA}.$$4 is soft if and only if for every closed ideal $$r^2=0, \qquad (a-\varepsilon)_+ \in \operatorname{Ideal}(r)=\overline{ArA}.$$5, either $$r^2=0, \qquad (a-\varepsilon)_+ \in \operatorname{Ideal}(r)=\overline{ArA}.$$6 or $$r^2=0, \qquad (a-\varepsilon)_+ \in \operatorname{Ideal}(r)=\overline{ArA}.$$7 is a limit point of the spectrum of $$r^2=0, \qquad (a-\varepsilon)_+ \in \operatorname{Ideal}(r)=\overline{ArA}.$$8 (Thiel et al., 2023).

The same paper defines an abundance of soft elements: for every $$r^2=0, \qquad (a-\varepsilon)_+ \in \operatorname{Ideal}(r)=\overline{ArA}.$$9 and $a\in A_+$0, there exists a positive soft element $a\in A_+$1 such that

$a\in A_+$2

meaning that $a\in A_+$3 lies in the ideal generated by $a\in A_+$4 (Thiel et al., 2023). This is formally parallel to the square-zero definition of the Global Glimm Property, but with “soft” in place of “square-zero”.

The structural implications are one-sided in general: $a\in A_+$5 The first implication is proved via Cuntz-semigroup divisibility, and the second via weak $a\in A_+$6-divisibility (Thiel et al., 2023). The paper further shows

$a\in A_+$7

This identifies abundance of soft elements as a new intermediate regularity property and isolates ideal-filteredness as the remaining obstruction (Thiel et al., 2023).

The survey places these results in a broader regularity framework. It emphasizes that a positive solution of the Global Glimm Problem would imply a positive solution to the weakly purely infinite problem and would settle large parts of the non-simple Toms–Winter program, because finite nuclear dimension together with the Global Glimm Property yields pureness, hence strict comparison, and in many settings $a\in A_+$8-stability (Vilalta, 15 Dec 2025). The survey also states that for finite nuclear dimension the Global Glimm Property implies purity, and that for stable algebras pureness is equivalent to strict comparison together with divisibility of ranks (Vilalta, 15 Dec 2025).

6. Scope of the term and related Glimm-type literature

Recent $a\in A_+$9-algebra papers use “Global Glimm Property” for the hereditary square-zero condition and the associated Cuntz-semigroup divisibility problem (Thiel et al., 2022, Ng et al., 22 Jul 2025, Vilalta, 15 Dec 2025). Related literature uses “global Glimm” in other, older senses tied to Glimm spaces and orbit-space regularity.

In tensor-product theory, McConnell studies how the global topology and ideal structure encoded in the Glimm space behaves under minimal tensor products, showing that when $\varepsilon>0$0 has “good” global Glimm behavior, $\varepsilon>0$1 inherits a product-type Glimm space for every $\varepsilon>0$2 (McConnell, 2012). In work on compact subsets of $\varepsilon>0$3, Lazar describes a global control phenomenon for the entire Glimm space in terms of norm superlevel sets associated to strictly positive elements (Lazar, 2012). In the separable case, Lazar–Somerset characterize the topology of Glimm spaces of separable $\varepsilon>0$4-algebras and obtain a global decomposition into locally compact metrizable and non-locally-compact parts (Lazar et al., 2015). Ungermann, in a different direction, generalizes Glimm’s theorem for orbit spaces of hereditary Lindelöf locally compact groups and describes a “global Glimm property” for $\varepsilon>0$5-spaces in terms of almost Hausdorff orbit spaces and homogeneous orbits (Ungermann, 2012).

These uses are conceptually related through Glimm’s original concerns with non-type-I structure, quotient topology, and orbit-space regularity. A plausible implication is that the contemporary Global Glimm Property isolates the non-simple square-zero/divisibility aspect of that legacy, while the earlier literature treats global topological behavior of Glimm spaces and orbit spaces. Within current regularity theory for $\varepsilon>0$6-algebras, however, the decisive technical content is the equivalence between hereditary square-zero generation and $\varepsilon>0$7-divisibility of $\varepsilon>0$8, together with the open question whether nowhere scatteredness already forces that divisibility (Thiel et al., 2022, Vilalta, 15 Dec 2025).

The present state of the subject is therefore sharply stratified. The implication

$\varepsilon>0$9

is settled, the converse is known in several major classes, and topological dimension zero provides the broadest recent positive solution (Ng et al., 22 Jul 2025). The general problem remains open, but its reformulation through weak versus full $C^*$00-divisibility, ideal-filteredness, property (V), and abundance of soft elements has made the obstruction highly explicit (Thiel et al., 2022, Thiel et al., 2023).