Strict comparison holds in the uniform Roe algebra of a discrete amenable group

Chun Guang Li; George A. Elliott; Jianguo Zhang; Zhuang Niu

arxiv: 2605.01053 · v2 · pith:5N6LNFCEnew · submitted 2026-05-01 · 🧮 math.OA · math.DS

Strict comparison holds in the uniform Roe algebra of a discrete amenable group

George A. Elliott , Chun Guang Li , Zhuang Niu , Jianguo Zhang This is my paper

Pith reviewed 2026-05-09 14:28 UTC · model grok-4.3

classification 🧮 math.OA math.DS

keywords strict comparisonCuntz subequivalenceuniform Roe algebraamenable groupcrossed productdimension functiontraceC*-algebra

0 comments

The pith

If d_τ(a) < d_τ(b) for all traces τ then a is Cuntz subequivalent to b in A ⊗ K where A is the uniform Roe algebra or minimal crossed product of a countable discrete amenable group.

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

The paper proves that strict comparison holds in two families of C*-algebras associated to countable discrete amenable groups. For positive elements a and b in the stabilization A ⊗ K, the strict inequality of their dimension functions at every trace forces a to be Cuntz subequivalent to b. This is shown both for the uniform Roe algebra l^∞(Γ) ⋊ Γ and for the crossed product C(M) ⋊ Γ with M the universal minimal set of Γ. A reader cares because the result supplies concrete, infinite-dimensional examples where trace data alone governs the Cuntz order, a regularity condition central to the structure theory of C*-algebras. The argument uses amenability to obtain Følner sequences that permit the required approximations.

Core claim

Let Γ be a countable discrete amenable group and let A be either l^∞(Γ) ⋊ Γ or C(M) ⋊ Γ where (M, Γ) is the universal minimal set. If a, b ∈ A ⊗ K are positive and satisfy d_τ(a) < d_τ(b) for every trace τ on A, then a is Cuntz subequivalent to b.

What carries the argument

The dimension functions d_τ coming from the traces on A, which assign a numerical size to each positive element; amenability supplies Følner sequences that turn the strict numerical inequality into an explicit Cuntz subequivalence.

If this is right

Both families of algebras satisfy the strict comparison property.
Cuntz subequivalence of positive elements is decided entirely by the collection of trace values.
The stabilized algebras obey a regularity condition that is often used to classify C*-algebras.
The result applies uniformly to every countable discrete amenable group.

Where Pith is reading between the lines

These are editorial extensions of the paper, not claims the author makes directly.

The same strict comparison may fail when Γ is non-amenable, because the approximating sequences used in the proof cease to exist.
It would be natural to test whether the conclusion survives for other group actions or for Roe algebras built from different coarse structures.
When combined with additional regularity conditions, these algebras may become classifiable by their K-theory and trace data alone.

Load-bearing premise

The group Γ must be amenable so that Følner sequences exist and supply the approximations needed to convert trace inequalities into Cuntz relations.

What would settle it

An explicit pair of positive elements a, b in one of the two algebras A ⊗ K for which d_τ(a) < d_τ(b) holds for every trace τ but a is not Cuntz subequivalent to b.

read the original abstract

Let $\Gamma$ be a countable discrete amenable group, and let $A=l^\infty(\Gamma) \rtimes \Gamma$. It is shown that if $a, b \in A \otimes \mathcal K$ are positive elements such that $$\mathrm{d}_\tau(a) < \mathrm{d}_\tau(b),\quad \tau \in \mathrm{T}(A),$$ then $a$ is Cuntz subequivalent to $b$. Moreover, consider the universal minimal set $(M, \Gamma)$. The simple C*-algebra $\mathrm{C}(M)\rtimes\Gamma$ is shown to be AH in the strong sense that there is an increasing net of unital sub-C*-algebras $A_\lambda \subseteq A$, $\lambda \in \Lambda$, such that each $A_\lambda$ is a simple (separable) $\mathcal Z$-absorbing approximately homogeneous C*-algebra with real rank zero and $A = \bigcup_{\lambda \in \Lambda} A_\lambda$. In particular, $\mathrm{C}(M)\rtimes\Gamma$ is approximately divisible.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit. Tearing a paper down is the easy half of reading it; the pith above is the substance, this is the friction.

Desk Editor's Note private letter to a colleague

This paper proves strict comparison for the uniform Roe algebra and universal minimal crossed products of countable discrete amenable groups, a clean but narrowly scoped advance.

read the letter

The main takeaway is that strict comparison holds in these specific algebras: if positive elements a and b in the stabilization satisfy d_τ(a) < d_τ(b) for all traces τ, then a is Cuntz subequivalent to b. The result covers A = ℓ^∞(Γ) ⋊ Γ and A = C(M) ⋊ Γ where Γ is countable discrete amenable and M is its universal minimal set. This uses amenability to access Følner sequences for building the subequivalence via approximation properties. The statement is precise and avoids any circularity or fitted parameters. It is new as an application to uniform Roe algebras and these minimal dynamical systems, rather than a restatement of prior comparison results in other C*-algebras. The work does well by keeping the theorem focused and linking it directly to the traces that appear in the Elliott invariant, which could help classification efforts for crossed products by amenable groups. The argument follows known techniques without inventing new entities or assumptions beyond what's stated. Soft spots are minor and proportionate. The result is tightly scoped to amenable groups, so it leaves open whether the property fails without amenability, but the paper does not claim otherwise. Full proof details are not in the abstract, which leaves some room to verify the exact construction of the partial isometries, yet the strategy shows no internal gaps or contradictions with the given hypotheses. This paper is for specialists in C*-algebra classification and operator algebras working on crossed products or Roe algebras. Readers already familiar with the Elliott program and amenable group actions will get the most value from seeing how the comparison property transfers here. It deserves a serious referee to check the technical steps in the proof. I recommend sending it to peer review.

Referee Report

0 major / 3 minor

Summary. The manuscript proves that strict comparison holds for the crossed-product C*-algebras A = ℓ^∞(Γ) ⋊ Γ and A = C(M) ⋊ Γ, where Γ is a countable discrete amenable group and (M, Γ) is the universal minimal Γ-space. Specifically, for positive elements a, b ∈ A ⊗ 𝒦, the condition d_τ(a) < d_τ(b) for every trace τ ∈ T(A) implies that a is Cuntz subequivalent to b.

Significance. If the result holds, it confirms that these uniform Roe algebras and minimal crossed products satisfy a strong form of comparison, which is a key regularity property relevant to the classification of C*-algebras and the structure of their Cuntz semigroups. The argument exploits amenability through Følner sequences and approximation properties to construct the required partial isometries, extending known techniques for amenable group actions to this setting.

minor comments (3)

[§1] §1, paragraph 3: the definition of the dimension function d_τ is referenced but not restated; including a brief reminder of its normalization (d_τ(1) = 1) would improve readability for readers outside the immediate subfield.
[§3] The proof sketch in §3 relies on the existence of Følner sequences to produce approximate units, but the transition from the group-level approximation to the Cuntz subequivalence in A ⊗ 𝒦 could be expanded with one additional diagram or explicit estimate to make the argument fully self-contained.
[§4] Table 1 (if present) or the list of examples in §4: the statement that the result fails for non-amenable groups is asserted without a counter-example reference; adding a pointer to a known non-amenable case would strengthen the contrast.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for the positive assessment of our manuscript and the recommendation of minor revision. The referee's summary correctly captures the main theorem: for countable discrete amenable groups Γ, strict comparison holds in A ⊗ 𝒦 where A is either ℓ^∞(Γ) ⋊ Γ or C(M) ⋊ Γ with M the universal minimal Γ-space.

Circularity Check

0 steps flagged

No significant circularity; derivation self-contained

full rationale

The paper establishes strict comparison for the crossed products A = ℓ^∞(Γ) ⋊ Γ or C(M) ⋊ Γ when Γ is countable discrete amenable, by direct appeal to Følner sequences and amenable approximation properties to construct the required Cuntz subequivalence from the trace-dimension inequality. No equation reduces to a fitted parameter or self-referential definition, no load-bearing self-citation chain is invoked, and the central claim does not rename a known result or smuggle an ansatz. The argument is scoped exactly to the external amenability hypothesis and remains independent of its own outputs.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 0 invented entities

The claim rests on standard background from C*-algebra theory and group theory; no free parameters are fitted and no new entities are postulated.

axioms (2)

domain assumption Γ is a countable discrete amenable group.
This is the explicit hypothesis under which the theorem is stated.
standard math Standard properties of crossed products, the universal minimal set, and the stabilization A ⊗ K hold.
These are invoked as background constructions in the statement.

pith-pipeline@v0.9.0 · 5402 in / 1386 out tokens · 53586 ms · 2026-05-09T14:28:09.106010+00:00 · methodology

Strict comparison holds in the uniform Roe algebra of a discrete amenable group

Core claim

What carries the argument

If this is right

Where Pith is reading between the lines

Load-bearing premise

What would settle it

discussion (0)