Global Glimm Problem in C*-algebras

• The Global Glimm Problem is an open challenge in C*-algebra theory, asking if every nowhere scattered algebra exhibits full nilpotent behavior via square-zero constructions.
• The topic is characterized by order-theoretic reformulations using the Cuntz semigroup, weak (2,ω)-divisibility, ideal-filteredness, and property (V) as key conditions.
• Advances in classes like stable rank one, real rank zero, and topological dimension zero highlight links between soft operators, pure infiniteness, and the resolution of the problem.

Searching arXiv for papers on the Global Glimm Problem in C*-algebras. The Global Glimm Problem is an open problem in the structure theory of non-simple $C^*$-algebras asking whether every nowhere scattered $C^*$-algebra has the Global Glimm Property. In a standard formulation, a $C^*$-algebra $A$ has the Global Glimm Property if for every positive element $a\in A_+$ and every $\varepsilon>0$ there exists an element $r\in\overline{aAa}$ such that $r^2=0$ and $(a-\varepsilon)_+\in \mathrm{Ideal}(r)$; equivalently, for each integer $k\ge 2$ one may require a nonzero $C^*$0-homomorphism

$C^*$1

whose image generates a hereditary subalgebra containing $C^*$2 (Vilalta, 15 Dec 2025). It is known that the Global Glimm Property implies nowhere scatteredness, and the central question is whether the converse holds in general (Thiel et al., 2022).

1. Historical origin and conceptual setting

The name of the problem goes back to Glimm’s work on Type I $C^*$3-algebras. In the historical account given in the recent survey literature, Glimm’s original theorem shows that a simple non-Type I algebra contains, in each nonzero hereditary subalgebra, a square-zero element whose hereditary subalgebra is full; this “Glimm lemma” is the source of the later global formulation (Vilalta, 15 Dec 2025). The modern problem emerged in the study of non-simple pure infiniteness, especially after Kirchberg and Rørdam introduced several notions of pure infiniteness for non-simple algebras and identified the Global Glimm Property as a missing regularity input (Vilalta, 15 Dec 2025).

This operator-algebraic formulation is now tied to several major regularity questions. The survey literature states that the problem has been open for over two decades and has strong ties to the weakly purely infinite problem and the non-simple Toms–Winter conjecture (Vilalta, 15 Dec 2025). A complete positive solution would therefore be more than an isolated structural theorem: it would supply a mechanism for producing square-zero or nilpotent behavior uniformly across hereditary subalgebras and ideal-quotients.

2. Formulations of the property and the obstruction

The Global Glimm Property is most often stated as an “almost full nilpotent” condition. For each $C^*$4 and $C^*$5, one asks for an element $C^*$6 with

$C^*$7

or, equivalently, for a $C^*$8-homomorphism from $C^*$9 into the hereditary subalgebra generated by $C^*$0 whose image generates the relevant ideal (Ng et al., 22 Jul 2025, Thiel et al., 2022).

The obstruction is encoded by the notion of nowhere scatteredness. In one formulation used by Thiel and Vilalta, $C^*$1 is nowhere scattered if no hereditary subalgebra of $C^*$2 admits a nonzero finite-dimensional irreducible representation (Thiel et al., 2022). In the survey formulation, $C^*$3 is nowhere scattered if no nonzero ideal-quotient $C^*$4 is elementary (Vilalta, 15 Dec 2025). The basic implication

$C^*$5

is immediate in the modern treatments; the unresolved direction is the converse (Thiel et al., 2022).

A decisive advance was the reformulation in the Cuntz semigroup. If $C^*$6, then the Global Glimm Property is equivalent to $C^*$7-divisibility: for every $C^*$8 with $C^*$9, there exist $A$0 and $A$1 such that

$A$2

By contrast, nowhere scatteredness corresponds to weak $A$3-divisibility: for every $A$4 there exist $A$5 such that

$A$6

Thus the Global Glimm Problem becomes the problem of upgrading weak $A$7-divisibility to genuine $A$8-divisibility in $A$9 (Thiel et al., 2022, Ng et al., 22 Jul 2025).

3. Order-theoretic resolution in favorable classes

The paper "The Global Glimm Property" (Thiel et al., 2022) isolates two additional order-theoretic conditions on $a\in A_+$0: ideal-filteredness and property (V). In the formulation stated there, a Cu-semigroup $a\in A_+$1 is ideal-filtered if for every $a\in A_+$2 in $a\in A_+$3 there exists $a\in A_+$4 such that

$a\in A_+$5

Property (V) is a weak sup-semilattice-type condition: whenever

$a\in A_+$6

there exist $a\in A_+$7 such that

$a\in A_+$8

With these notions in place, Thiel and Vilalta prove the central equivalence

$a\in A_+$9

if and only if

$\varepsilon>0$0

and hence if and only if

$\varepsilon>0$1

This reframes the problem as the search for general mechanisms guaranteeing ideal-filteredness and property (V) (Thiel et al., 2022).

The importance of this reformulation is methodological. Earlier proofs in special cases were often based on explicit square-zero constructions. The Cuntz-semigroup approach replaces those constructions by two abstract order properties, making it possible to recover old results and to identify genuinely new classes where the problem can be solved (Thiel et al., 2022).

4. Classes where the problem is solved

Several major classes are now known to satisfy the Global Glimm Property exactly when they are nowhere scattered.

Class of $\varepsilon>0$2-algebras	Result	Source
Stable rank one	$\varepsilon>0$3 has GGP iff $\varepsilon>0$4 is nowhere scattered	(Thiel et al., 2022)
Real rank zero	$\varepsilon>0$5 has GGP iff $\varepsilon>0$6 is nowhere scattered	(Thiel et al., 2022)
Hausdorff $\varepsilon>0$7 of finite covering dimension	Nowhere scattered implies GGP	(Vilalta, 15 Dec 2025)
Topological dimension zero	$\varepsilon>0$8 has GGP iff $\varepsilon>0$9 is nowhere scattered	(Ng et al., 22 Jul 2025)

For stable rank one and real rank zero, the point is that ideal-filteredness and property (V) become automatic. In the stable-rank-one case, $r\in\overline{aAa}$0 satisfies Riesz interpolation and is ideal-filtered; in the real-rank-zero case, $r\in\overline{aAa}$1 is zero-dimensional and compact elements come from projection classes in a refinement monoid, which yields property (V) (Thiel et al., 2022).

The most complete recent solution concerns topological dimension zero. Here

$r\in\overline{aAa}$2

equivalently, $r\in\overline{aAa}$3 has the ideal property in the sense that projections in $r\in\overline{aAa}$4 separate ideals (Ng et al., 22 Jul 2025). Ng, Thiel, and Vilalta show that for such algebras,

$r\in\overline{aAa}$5

thereby solving the Global Glimm Problem in this setting (Ng et al., 22 Jul 2025).

Their proof passes through the algebraicity of

$r\in\overline{aAa}$6

which is equivalent to topological dimension zero, and then uses a semigroup-theoretic lifting argument to upgrade weak $r\in\overline{aAa}$7-divisibility to full $r\in\overline{aAa}$8-divisibility under axioms $r\in\overline{aAa}$9–$r^2=0$0 (Ng et al., 22 Jul 2025). One corollary is that if $r^2=0$1 has finite nuclear dimension, topological dimension zero, and is nowhere scattered, then $r^2=0$2 is pure, where purity means that $r^2=0$3 is almost unperforated and almost divisible (Ng et al., 22 Jul 2025).

5. Soft operators and the current frontier

A distinct recent approach is developed in "Soft operators in $r^2=0$4-algebras" (Thiel et al., 2023). There, a $r^2=0$5-algebra is called soft if no proper closed ideal has a unital quotient, and an element $r^2=0$6 is soft if the hereditary algebra $r^2=0$7 is soft. For $r^2=0$8, softness admits a spectral characterization: $r^2=0$9 (Thiel et al., 2023).

The key intermediate notion is an abundance of soft elements: for every $(a-\varepsilon)_+\in \mathrm{Ideal}(r)$0 and $(a-\varepsilon)_+\in \mathrm{Ideal}(r)$1, there is a soft $(a-\varepsilon)_+\in \mathrm{Ideal}(r)$2 with

$(a-\varepsilon)_+\in \mathrm{Ideal}(r)$3

Thiel and Vilalta prove that the Global Glimm Property implies an abundance of soft elements, and that an abundance of soft elements implies nowhere scatteredness (Thiel et al., 2023). Thus one obtains the chain

$(a-\varepsilon)_+\in \mathrm{Ideal}(r)$4

They also show that abundance of soft elements is equivalent to a hereditary 2-splitting property and to an abundance of strongly soft elements in $(a-\varepsilon)_+\in \mathrm{Ideal}(r)$5 (Thiel et al., 2023). Moreover, abundance of soft elements together with ideal-filteredness implies the Global Glimm Property. This splits the original problem into two subquestions: whether nowhere scatteredness forces abundance of soft elements, and whether abundance automatically brings the ideal-filtered behavior needed to recover full $(a-\varepsilon)_+\in \mathrm{Ideal}(r)$6-divisibility (Thiel et al., 2023). This suggests that softness is not merely an auxiliary notion, but a candidate bridge between local hereditary structure and global divisibility.

6. Consequences, remaining open directions, and terminological scope

The broader significance of the Global Glimm Problem is twofold. First, in the non-simple pure infiniteness program, pure infiniteness is equivalent to weak pure infiniteness plus the Global Glimm Property, so a positive solution for weakly purely infinite algebras would settle the weakly purely infinite problem (Vilalta, 15 Dec 2025). Second, in the nuclear setting, Robert–Tikuisis show that if $(a-\varepsilon)_+\in \mathrm{Ideal}(r)$7 is separable of finite nuclear dimension then $(a-\varepsilon)_+\in \mathrm{Ideal}(r)$8 nowhere scattered implies the central sequence algebra $(a-\varepsilon)_+\in \mathrm{Ideal}(r)$9 is nowhere scattered, while $k\ge 2$0 having the Global Glimm Property implies that $k\ge 2$1 is $k\ge 2$2-stable (Vilalta, 15 Dec 2025). The survey therefore identifies the non-simple Toms–Winter conjecture with a Global Glimm statement for central sequence algebras.

Several open questions remain explicit in the recent literature. It is not known whether every $k\ge 2$3 automatically has property (V), nor whether ideal-filteredness holds for all nowhere scattered algebras (Vilalta, 15 Dec 2025). The soft-operator program adds further questions: whether every strongly soft Cuntz class can be realized by a soft operator, whether abundance of soft elements passes to stabilizations, and whether nowhere scatteredness itself forces abundance of soft elements (Thiel et al., 2023).

The phrase “Global Glimm Problem” also has a wider terminological range in the arXiv literature. In hyperbolic PDE and gas dynamics it is used for global existence, stability, or uniqueness questions resolved by modified Glimm or Glimm–Lax schemes, including weakly nonlinear gas dynamics (Qu et al., 2016), inhomogeneous balance laws (Christoforou, 2016), hydrodynamic escape and nozzle flows (Huang et al., 2015, Chou et al., 2016), steady Euler multi-wave and conical-shock configurations (Chen et al., 2018, Chen et al., 2020), and the uniqueness of Glimm–Lax limits for Sobolev data (Cheng et al., 4 Jan 2026). In operator algebra, however, the term has a more specific meaning: the unresolved implication

$k\ge 2$4

Within that meaning, the current state of the subject is sharply defined: the problem is solved in several regularity classes, especially stable rank one, real rank zero, and topological dimension zero, while the general case remains open and is increasingly organized around Cuntz-semigroup divisibility, ideal-filteredness, property (V), and softness (Thiel et al., 2022, Ng et al., 22 Jul 2025, Thiel et al., 2023, Vilalta, 15 Dec 2025).