arxiv: 2605.01053 · v1 · submitted 2026-05-01 · 🧮 math.OA · math.DS

Recognition: unknown

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

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

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$ or $A = \mathrm{C}(M) \rtimes \Gamma$, where $(M, \Gamma)$ is the universal minimal set of $\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$.

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

discussion (0)

Reference graph

Works this paper leans on

25 extracted references · 19 canonical work pages

[1]

Bezuglyi, Z

S. Bezuglyi, Z. Niu, and W. Sun. C*-algebras of a Cantor system with finitely many minimal subsets: structures, K-theories, and the index map.Ergodic Theory Dynam. Systems, 41(5):1296–1341, 2021.doi: 10.1017/etds.2020.12

work page doi:10.1017/etds.2020.12 2021
[2]

Blackadar, L

B. Blackadar, L. Robert, A. P. Tikuisis, A. S. Toms, and W. Winter. An algebraic approach to the radius of comparison.Preprint, 08 2010. URL:http://arxiv.org/abs/1008.4024,arXiv:1008.4024

work page arXiv 2010
[3]

N. P. Brown and N. Ozawa.C*-algebras and finite-dimenisional approximations, volume 88 ofGraduate Studies in Mathematics. American Mathematical Society, Providence, RI, 2008. URL:https://mathscinet. ams.org/mathscinet-getitem?mr=2391387,doi:10.1090/gsm/088

work page doi:10.1090/gsm/088 2008
[4]

C. Chou. On the size of the set of left invariant means on a semigroup.Proceedings of the American Mathemat- ical Society, 23(1):199, October 1969. URL:http://dx.doi.org/10.2307/2037517,doi:10.2307/2037517

work page doi:10.2307/2037517 1969
[5]

Downarowicz, D

T. Downarowicz, D. Huczek, and G. Zhang. Tilings of amenable groups.J. Reine Angew. Math., 747:277–298, 2019. URL:https://mathscinet.ams.org/mathscinet-getitem?mr=3905135,doi:10. 1515/crelle-2016-0025. STRICT COMPARISON IN UNIFORM ROE ALGEBRA 23

2019
[6]

Downarowicz and G

T. Downarowicz and G. Zhang. The comparison property of amenable groups. 12 2017. URL:https:// arxiv.org/pdf/1712.05129,arXiv:1712.05129

work page arXiv 2017
[7]

G. A. Elliott and A. Sierakowski. K-theory of certain purely infinite crossed products.J. Math. Anal. Appl., 443(1):409–430, 2016.doi:10.1016/j.jmaa.2016.05.001

work page doi:10.1016/j.jmaa.2016.05.001 2016
[8]

R. Ellis. Universal minimal sets.Proceedings of the American Mathematical Society, 11(4):540– 543, August 1960. URL:http://dx.doi.org/10.1090/S0002-9939-1960-0117716-1,doi:10.1090/ s0002-9939-1960-0117716-1

work page doi:10.1090/s0002-9939-1960-0117716-1 1960
[9]

R. H. Herman, I. F. Putnam, and C. F. Skau. Ordered Bratteli diagrams, dimension groups and topological dynamics.Internat. J. Math., 3(6):827–864, 1992

1992
[10]

Kerr and G

D. Kerr and G. Szab´ o. Almost finiteness and the small boundary property.Comm. Math. Phys., 374(1):1–31, 2020. URL:https://mathscinet.ams.org/mathscinet-getitem?mr=4066584,doi:10.1007/ s00220-019-03519-z

2020
[11]

Li and H

K. Li and H. Liao. Classification of uniform Roe algebras of locally finite groups.Journal of Operator Theory, 80(1):25–46, 2018. URL:http://dx.doi.org/10.7900/jot.2017may23.2163,doi:10.7900/jot. 2017may23.2163

work page doi:10.7900/jot.2017may23.2163 2018
[12]

Li and R

K. Li and R. Willett. Low-dimensional properties of uniform Roe algebras.J. Lond. Math. Soc. (2), 97(1):98– 124, 2018.doi:10.1112/jlms.12100

work page doi:10.1112/jlms.12100 2018
[13]

Niu.Z-stability of transformation group C*-algebras.Trans

Z. Niu.Z-stability of transformation group C*-algebras.Trans. Amer. Math. Soc., 374(10):7525–7551, 2021. URL:https://mathscinet.ams.org/mathscinet-getitem?mr=4315611,doi:10.1090/tran/8477

work page doi:10.1090/tran/8477 2021
[14]

Z. Niu. Comparison radius and mean topological dimension: Rokhlin property, comparison of open sets, and subhomogeneous C*-algebras.J. Analyse Math., 146:595–672, 2022

2022
[15]

Z. Niu. Comparison radius and mean topological dimension:Z d-actions.Canad. J. Math., 76(4):1240–1266, 2024.doi:10.4153/S0008414X2300038X

work page doi:10.4153/s0008414x2300038x 2024
[16]

Y. T. Poon. Stable rank of some crossed product C*-algebras.Proc. Amer. Math. Soc., 105(4):868–875, 1989. URL:http://dx.doi.org/10.2307/2047045,doi:10.2307/2047045

work page doi:10.2307/2047045 1989
[17]

I. F. Putnam. The C*-algebras associated with minimal homeomorphisms of the Cantor set.Pacific J. Math., 136(2):329–353, 1989. URL:http://projecteuclid.org/getRecord?id=euclid.pjm/1102650733

work page arXiv 1989
[18]

J. Roe. An index theorem on open manifolds. I, II.J. Differential Geom., 27(1):87–113, 115–136, 1988. URL: http://projecteuclid.org/euclid.jdg/1214441652

work page arXiv 1988
[19]

J. Roe. Coarse cohomology and index theory on complete Riemannian manifolds.Mem. Amer. Math. Soc., 104(497):x+90, 1993.doi:10.1090/memo/0497

work page doi:10.1090/memo/0497 1993
[20]

M. Rørdam. On the structure of simple C*-algebras tensored with a UHF-algebra. II.J. Funct. Anal., 107(2):255–269, 1992. URL:http://dx.doi.org/10.1016/0022-1236(92)90106-S,doi:10.1016/ 0022-1236(92)90106-S

work page doi:10.1016/0022-1236(92)90106-s 1992
[21]

M. Rørdam. The stable and the real rank ofZ-absorbing C*-algebras.Internat. J. Math., 15(10):1065–1084,
[22]

URL:http://dx.doi.org/10.1142/S0129167X04002661,doi:10.1142/S0129167X04002661

work page doi:10.1142/s0129167x04002661
[23]

Scarparo

E. Scarparo. Characterizations of locally finite actions of groups on sets.Glasg. Math. J., 60(2):285–288, 2018.doi:10.1017/S001708951700009X

work page doi:10.1017/s001708951700009x 2018
[24]

S. Wei. On the quasidiagonality of Roe algebras.Sci. China Math., 54(5):1011–1018, 2011.doi:10.1007/ s11425-011-4205-x

2011
[25]

Winter and J

W. Winter and J. Zacharias. The nuclear dimension of C*-algebras.Adv. Math., 224(2):461–498, 2010. URL: http://dx.doi.org/10.1016/j.aim.2009.12.005,doi:10.1016/j.aim.2009.12.005. STRICT COMPARISON IN UNIFORM ROE ALGEBRA 24 Department of Mathematics, University of Toronto, Toronto, Ontario, Canada M5S 2E4 Email address:elliott@math.toronto.edu School of Ma...

work page doi:10.1016/j.aim.2009.12.005 2010