Pith. sign in

REVIEW 5 minor 55 references

Nonnuclear Bunce-Deddens algebras

T0 review · 0 major / 5 minor · reviewed 2026-07-31 · grok-4.5

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

Pith's one-line read Free-group odometer crossed products stay simple, monotracial, real-rank-zero and selfless even though they are nonnuclear and not Z-stable.

desk verdict Clean transfer of selflessness/purity tech to free odometer crossed products; free-group case is fully worked and solid. read the letter →

arxiv 2607.28597 v1 pith:GGBXYL6W submitted 2026-07-30 math.OA math.DS

Jamie Bell This is my paper · ORCID
classification math.OAmath.DS MSC 46L8046L55
keywords C*-algebracrossedproductBunce–DeddensnonnuclearodometerselflessrealrankzeroK-theory
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

Classical Bunce–Deddens algebras arise from Z-odometers on a Cantor set and give simple nuclear C*-algebras of real rank zero. This paper runs the same construction for free odometer actions of nonamenable residually finite groups, producing reduced crossed products that are deliberately nonnuclear. For free groups and several larger classes, the resulting algebras still have unique trace, real rank zero, stable rank one and strict comparison; in many cases they are selfless and therefore pure. The argument uses the inductive-limit decomposition into matrix algebras over reduced group C*-algebras of the finite-index subgroups, together with permanence of selflessness and pureness, plus an explicit K-theory computation that feeds Rørdam’s real-rank-zero criterion. The examples therefore supply a large supply of simple nonnuclear monotracial C*-algebras that behave regularly without being Z-stable.

What carries the argument

The inductive-limit decomposition BD(G,σ)≅lim→ M_{[G:G_n]}(C*_λ(G_n)) coming from the inverse-limit description of the odometer; selflessness/purity/stable-rank-one of the finite-index reduced group C*-algebras then pass to the limit, while the free-group K-theory computation K_0≅Q_σ⊆Q supplies the density needed for real rank zero.

What would settle it

Exhibit a finite-index subgroup H of F_d (or of an acylindrically hyperbolic/linear/extreme-boundary group) whose reduced group C*-algebra fails to be selfless, pure or of stable rank one; the corresponding crossed-product conclusions would then fail.

Watch

Extended reading notes

Core claim

For every d≥2 and every separating normal chain σ in the free group F_d, the Bunce–Deddens algebra BD(F_d,σ)=C(Ĝ_σ)⋊_λ F_d is simple, separable, unital, nonnuclear, non-Z-stable, has real rank zero, stable rank one and a unique tracial state, and is selfless (hence pure). Parallel permanence statements hold for equicontinuous or subodometer actions of acylindrically hyperbolic, linear, and extreme-boundary groups.

Load-bearing premise

The claim that reduced group C*-algebras of all finite-index subgroups of the listed classes of groups are already selfless (or pure, or of stable rank one).

Editorial extensions

If this is right

  • Continuum many pairwise non-isomorphic nonnuclear Bunce–Deddens algebras exist over each free group F_d, distinguished by their K_0 groups Q_σ.
  • Selflessness (hence pureness and stable rank one) holds for all free odometer crossed products of the listed large classes of groups, without amenability or freeness hypotheses on every intermediate action.
  • These algebras give simple monotracial examples that are pure yet not Z-stable, separating the two properties outside the nuclear setting.
  • Real rank zero for free-group examples follows from density of the unique-trace pairing on K_0 once selflessness is known.

Reading between the lines

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

  • If Thiel’s question whether C*_λ(G) is pure for every nonamenable G has a positive answer, every nonnuclear Bunce–Deddens algebra would automatically be pure.
  • The same inductive-limit-plus-permanence strategy should produce further nonnuclear examples with real rank zero once K-theory is computed for other groups satisfying Baum–Connes.
  • Isomorphism classes of the algebras forgetting the diagonal may be coarser than structural conjugacy of the odometers, leaving an open rigidity question the paper flags but does not resolve.
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.

Referee Report

0 major / 5 minor

Summary. The paper defines nonnuclear Bunce–Deddens algebras BD(G,σ) as reduced crossed products C(Ĝ_σ) ⋊_λ G arising from free odometer actions of nonamenable countable discrete residually finite groups. Using the classical inductive-limit decomposition into matrix amplifications of reduced group C*-algebras (Prop. 3.3), together with permanence of selflessness/purity/stable rank one and freeness/minimality/unique ergodicity of free odometers, it establishes that for large classes of groups (acylindrically hyperbolic, linear with trivial amenable radical, extreme-boundary groups) these algebras are simple, monotracial, pure or selfless, and of stable rank one; non-inner-amenability yields non-Z-stability. For free groups F_d the picture is complete (Theorem A): selflessness, real rank zero (via an explicit K_0 computation feeding Rørdam’s criterion), and continuum many non-isomorphic examples (Corollary C). K-theory of BD(F_d,σ) is computed in Theorem B.

Significance. The work supplies a natural, explicitly describable family of nonnuclear simple monotracial C*-algebras that nevertheless enjoy strong regularity (selflessness/purity, SR1, RR0) while failing Z-stability. This cleanly extends the classical Bunce–Deddens and Orfanos constructions beyond amenability and gives concrete test cases for the divergence of nuclear and nonnuclear regularity. The free-group K-theory computation is explicit and immediately yields continuum many isomorphism classes. The arguments are standard, carefully cited, and make recent selflessness technology transparent to nonspecialists; the open questions on finite-index permanence and purity of C*_λ(G) are well posed.

minor comments (5)
  1. [Abstract / §4] Abstract and Theorem A list “strict comparison” among the shared properties; for the pure-but-not-necessarily-selfless range of Theorem 4.1 it would help to add a one-line pointer that Winter purity (or the Cuntz-semigroup formulation used in the cited permanence results) already encodes strict comparison, so the claim is uniform.
  2. [§5, Corollary 5.5] In the proof of Corollary 5.5 the residual 2-finiteness of F_d is used without a reference; a short citation (or a parenthetical that free groups are residually p-finite for every p) would help nonspecialists.
  3. [§5] Notation 5.1 introduces m_n and q_n; the same quantities appear earlier in the inductive-limit discussion. A forward reference or a single global notation paragraph would reduce slight repetition.
  4. [§2, Figure 1] Figure 1 is helpful but the caption could briefly recall that “free odometers” = separating normal chains, matching Definition 2.3 and Proposition 2.5.
  5. [References] Several arXiv preprints are cited for load-bearing permanence results ([36], [52], [23], [4], [37], etc.). Where journal versions now exist, updating the bibliographic data would improve longevity; otherwise the current citations are adequate.

Circularity Check

0 steps flagged · score 0.0 of 10

No significant circularity: inductive-limit permanence plus external selflessness/K-theory results, not self-referential

full rationale

The paper defines nonnuclear Bunce–Deddens algebras as reduced crossed products of free odometer actions and derives regularity via a classical inductive-limit decomposition (Prop. 3.3: BD(G,σ) ≅ lim M_{[G:G_n]}(C*_λ(G_n))), permanence of selflessness/purity/stable rank one under matrix amplifications and inductive limits (Thms 4.1, 4.3 citing Robert, Perera–Thiel–Vilalta), and external theorems that C*_λ(H) is selfless/pure/SR1 for finite-index H in free/acylindrically hyperbolic/linear groups (Cor. 4.2, 4.4 citing Ozawa, Vigdorovich, Amrutam–Gao–Elayavalli–Patchell, etc.). Simplicity and unique trace follow from freeness/minimality/unique ergodicity (Thm 3.2); non-Z-stability from non-inner-amenability (Prop. 4.7); real rank zero from the explicit K_0 ≅ Q_σ dense in R plus Rørdam’s criterion (Thm B, Prop. 5.6, Cor. 5.7). None of these steps is definitional of its conclusion, none fits a parameter and renames it a prediction, and the sole self-citation ([6]) is only comparative (Rem. 4.5), not load-bearing. The derivation is self-contained against its stated external inputs.

Assumptions & free parameters 0 free parameters · 7 assumptions · 1 invented entities

The work rests on standard C*-dynamical facts (simplicity of free minimal actions, unique trace from unique ergodicity, inductive limits of crossed products by finite actions) plus a package of recent external theorems asserting that reduced group C*-algebras of certain nonamenable groups and their finite-index subgroups are selfless or pure. No free parameters are fitted. The only invented terminology is the name ‘nonnuclear Bunce–Deddens algebra’ for an already-standard crossed-product construction.

assumptions (7)
  • standard math Reduced crossed product by a free minimal action of a discrete group on a compact Hausdorff space is simple (Archbold–Spielberg).
    Invoked in Theorem 3.2 to obtain simplicity of BD(G,σ).
  • standard math For free actions, tracial states on C(X)⋊_λ G are in bijection with G-invariant Borel probability measures (Kawamura–Takemoto–Tomiyama).
    Used with unique ergodicity of odometers to get unique trace in Theorem 3.2.
  • domain assumption C*_λ(H) is selfless (hence pure and stable-rank-one) for finite-index subgroups H of acylindrically hyperbolic groups with trivial amenable radical, nontrivial linear groups with trivial amenable radical, and groups admitting topologically free extreme boundary actions (Ozawa, Vigdorovich, Flores–Kl
    Load-bearing external input for Corollaries 4.2 and 4.4 and therefore for selflessness/purity in Theorem A.
  • standard math Selflessness, pureness and stable rank one are preserved under matrix amplification, finite direct sums and inductive limits (Robert, Perera–Thiel–Vilalta, Rieffel).
    Permanence used in Theorems 4.1 and 4.3 to pass properties from the approximating algebras to the crossed product.
  • standard math Nielsen–Schreier: a subgroup of index m in Fd is free of rank 1+m(d−1); K-theory of C*_λ(Fr) is Z in degree 0 and Z^r in degree 1 (Pimsner–Voiculescu).
    Used in Lemma 5.2 and Theorem 5.3 for the free-group K-theory computation.
  • standard math A simple unital selfless C*-algebra has real rank zero if and only if the image of K0 under the unique trace is dense in R (Rørdam’s criterion via Robert).
    Applied in Proposition 5.6 and Corollary 5.7 to obtain real rank zero for free-group Bunce–Deddens algebras.
  • domain assumption If G is not inner amenable then BD(G,σ) is not Z-stable, because Z-stability would force the GNS von Neumann algebra to be McDuff and hence G inner amenable.
    Proposition 4.7; relies on the Deprez–Vaes characterisation of inner amenability via McDuff-ness.
invented entities (1)
  • Nonnuclear Bunce–Deddens algebra BD(G,σ) independent evidence
    purpose: Name for the reduced crossed product C(bG_σ)⋊_λ G arising from a free odometer of a nonamenable residually finite group.
    Terminological counterpart of Orfanos’s generalised Bunce–Deddens algebras; the object itself is a standard crossed product, not a new analytic entity.

how reviews work

0 comments
Cite this review

Pith. "Pith review of Nonnuclear Bunce-Deddens algebras." pith.science (2026). https://pith.science/paper/GGBXYL6W

@misc{pith2026260728597,
  author       = {Pith},
  title        = {Pith review of: Nonnuclear Bunce-Deddens algebras},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/GGBXYL6W}},
  note         = {Machine review of arXiv:2607.28597}
}
read the original abstract

We introduce nonnuclear Bunce-Deddens algebras, defined as reduced crossed product C*-algebras associated with free odometer actions of nonamenable countable discrete residually finite groups on a Cantor space. These are nonnuclear counterparts to the generalised Bunce-Deddens algebras introduced by Orfanos. For large classes of groups, we show that they share many regularity properties, including real rank zero, stable rank one, strict comparison of positive elements, and admitting a unique tracial state. In many cases, we deduce that they are even selfless and hence pure. Finally, we compute the K-theory of Bunce-Deddens algebras over nonabelian free groups.

Figures

Figures reproduced from arXiv: 2607.28597 by the authors.

Figure 1
Figure 1. Hierarchy of equicontinuous actions on Stone spaces. We emphasise that the finite-index subgroups appearing in Proposition 2.2 may not be normal (when G is not abelian), so that the coset spaces G/Gn may not inherit any group structure. Also, we allow for the possibility that X is finite. We closely follow the terminology of [14, 13, 12], which also serve as useful supplemental references. Definition 2.3. Let G ↷ X … view at source ↗

Discussion (0). Continue with ORCID to comment.

Reference graph

Works this paper leans on

55 extracted references · 7 linked inside Pith

  1. [1]

    Ab´ ert and G

    M. Ab´ ert and G. Elek. Dynamical properties of profinite actions.Ergodic Theory Dynam. Systems32(2012), 1805–1835

    2012

  2. [2]

    C. A. Akemann and M. Walter. Unbounded negative definite functions.Canad. J. Math.33(1981), 862–871

    1981

  3. [3]

    Amrutam, D

    T. Amrutam, D. Gao, S. Kunnawalkam Elayavalli, and G. Patchell. Strict compar- ison in reduced groupC ∗-algebras.Invent. Math.242(2025), 639–657

    2025

  4. [4]

    Antoine, F

    R. Antoine, F. Perera, H. Thiel, and E. Vilalta. PureC ∗-algebras. arXiv:2406.11052

    arXiv

  5. [5]

    R. J. Archbold and J. S. Spielberg. Topologically free actions and ideals in discrete C ∗-dynamical systems.Proc. Edinburgh Math. Soc. (2)37(1994), 119–124

    1994

  6. [6]

    J. Bell, S. Geffen, and D. Kerr. Stable rank one in nonnuclear crossed products. arXiv:2511.20132. 7The exactness assumption is only used to ensure that all quasitraces are traces; selfless C ∗-algebras also have a unique quasitrace [47, Theorem 3.1]. 14 JAMIE BELL

    arXiv

  7. [7]

    L. G. Brown and G. K. Pedersen.C ∗-algebras of real rank zero.J. Funct. Anal.99 (1991), 131–149

    1991

  8. [8]

    N. P. Brown and N. Ozawa.C ∗-Algebras and Finite-Dimensional Approximations. Graduate Studies in Mathematics88. American Mathematical Society, Providence, RI, 2008

    2008

Show all 55 references
  1. [9]

    J. W. Bunce and J. A. Deddens. A family of simpleC ∗-algebras related to weighted shift operators.J. Funct. Anal.19(1975), 13–24

    1975

  2. [10]

    J. R. Carri´ on, J. Castillejos, S. Evington, J. Gabe, C. Schafhauser, A. Tikuisis, and S. White. Tracially completeC ∗-algebras. To appear inMem. Amer. Math. Soc

  3. [11]

    J. R. Carri´ on. Classification of a class of crossed productC ∗-algebras associated with residually finite groups.J. Funct. Anal.260(2011), 2815–2825

    2011

  4. [12]

    M. I. Cortez and T. Hauser. Minimal equicontinuous actions on Stone spaces. arXiv:2602.05756

  5. [13]

    M. I. Cortez and K. Medynets. Orbit equivalence rigidity of equicontinuous systems. J. Lond. Math. Soc. (2)94(2016), 545–556

    2016

  6. [14]

    M. I. Cortez and S. Petite.G-odometers and their almost 1-1 extensions.J. Lond. Math. Soc. (2)78(2008), 1–20

    2008

  7. [15]

    Dahmani, V

    F. Dahmani, V. Guirardel, and D. Osin. Hyperbolically embedded subgroups and rotating families in groups acting on hyperbolic spaces.Mem. Amer. Math. Soc.245 (2017), v+152

    2017

  8. [16]

    R. J. Deeley. A counterexample to the HK-conjecture that is principal.Ergodic Theory Dynam. Systems43(2023), 1829–1846

    2023

  9. [17]

    Deprez and S

    T. Deprez and S. Vaes. Inner amenability, property Gamma, McDuff II 1 factors and stable equivalence relations.Ergodic Theory Dynam. Systems38(2018), 2618–2624

    2018

  10. [18]

    E. G. Effros. Property Γ and inner amenability.Proc. Amer. Math. Soc.47(1975), 483–486

    1975

  11. [19]

    G. A. Elliott. On the classification of inductive limits of sequences of semisimple finite-dimensional algebras.J. Algebra38(1976), 29–44

    1976

  12. [20]

    G. A. Elliott. On the classification ofC ∗-algebras of real rank zero.J. Reine Angew. Math.443(1993), 179–219

    1993

  13. [21]

    G. A. Elliott and G. Gong. On the classification ofC ∗-algebras of real rank zero. II. Ann. of Math. (2)144(1996), 497–610

    1996

  14. [22]

    Evington and P

    S. Evington and P. Sibbel.C ∗-diagonals with Cantor spectrum in Cuntz algebras. J. Funct. Anal.290(2026), paper no. 111418

    2026

  15. [23]

    Flores, M

    F. Flores, M. Klisse, M. ´O Cobhthaigh, and M. Pagliero. Pureness and sta- ble rank one for reduced twisted groupC ∗-algebras of certain group extensions. arXiv:2601.19758

    arXiv

  16. [24]

    Gardella, S

    E. Gardella, S. Geffen, R. Gesing, G. Kopsacheilis, and P. Naryshkin. Essential freeness, allostery, andZ-stability of crossed products. arXiv:2405.04343

    arXiv

  17. [25]

    Gardella, S

    E. Gardella, S. Geffen, J. Kranz, and P. Naryshkin. Classifiability of crossed products by nonamenable groups.J. Reine Angew. Math.797(2023), 285–312

    2023

  18. [26]

    Giordano, I

    T. Giordano, I. F. Putnam, and C. F. Skau.Z d-odometers and cohomology.Groups Geom. Dyn.13(2019), 909–938

    2019

  19. [27]

    J. G. Glimm. On a certain class ofC ∗-algebras.Trans. Amer. Math. Soc.95(1960), 318–340

    1960

  20. [28]

    Hawkins, A

    A. Hawkins, A. Skalski, S. White, and J. Zacharias. On spectral triples on crossed products arising from equicontinuous actions.Math. Scand.113(2013), 262–291

    2013

  21. [29]

    M. Joseph. Amenable wreath products with non almost finite actions of mean di- mension zero.Trans. Amer. Math. Soc.377(2024), 1321–1333

    2024

  22. [30]

    Kawamura, H

    S. Kawamura, H. Takemoto, and J. Tomiyama. State extensions in transformation groupC ∗-algebras.Acta Sci. Math. (Szeged)54(1990), 191–200

    1990

  23. [31]

    Kerr and S

    D. Kerr and S. Petrakos. Topological full groups and stable rank one. arXiv:2607.04300. NONNUCLEAR BUNCE–DEDDENS ALGEBRAS 15

    arXiv

  24. [32]

    Lubotzky and A

    A. Lubotzky and A. Zuk. On property (τ).Notices Amer. Math. Soc.52(2005), 626–627

    2005

  25. [33]

    Minasyan and D

    A. Minasyan and D. Osin. Acylindrical hyperbolicity of groups acting on trees.Math. Ann.362(2015), 1055–1105

    2015

  26. [34]

    Minasyan and D

    A. Minasyan and D. Osin. Correction to: Acylindrical hyperbolicity of groups acting on trees.Math. Ann.373(2019), 895–900

    2019

  27. [35]

    S. Orfanos. Generalized Bunce–Deddens algebras.Proc. Amer. Math. Soc.138 (2010), 299–308

    2010

  28. [36]

    N. Ozawa. Proximality and selflessness for groupC ∗-algebras. arXiv:2508.07938

    arXiv

  29. [37]

    Perera, H

    F. Perera, H. Thiel, and E. Vilalta. Extensions of pureC ∗-algebras. arXiv:2506.10529

    arXiv

  30. [38]

    N. C. Phillips. Crossed products of the Cantor set by free minimal actions ofZ d. Comm. Math. Phys.256(2005), 1–42

    2005

  31. [39]

    S. J. Pilgrim. Isometric actions and finite approximations.Ergodic Theory Dynam. Systems43(2023), 2464–2470

    2023

  32. [40]

    M. V. Pimsner and D. Voiculescu. Exact sequences forK-groups and Ext-groups of certain cross-productC ∗-algebras.J. Operator Theory4(1980), 93–118

    1980

  33. [41]

    M. V. Pimsner and D. Voiculescu.K-groups of reduced crossed products by free groups.J. Operator Theory8(1982), 131–156

    1982

  34. [42]

    I. F. Putnam. TheC ∗-algebras associated with minimal homeomorphisms of the Cantor set.Pacific J. Math.136(1989), 329–353

    1989

  35. [43]

    S. Raum, H. Thiel, and E. Vilalta. Strict comparison for twisted groupC ∗-algebras. arXiv:2403.04649

    arXiv

  36. [44]

    S. Raum. Twisted groupC ∗-algebras of acylindrically hyperbolic groups have stable rank one. To appear inGroups Geom. Dyn

  37. [45]

    M. A. Rieffel.C ∗-algebras associated with irrational rotations.Pacific J. Math.93 (1981), 415–429

    1981

  38. [46]

    M. A. Rieffel. Dimension and stable rank in theK-theory ofC ∗-algebras.Proc. Lond. Math. Soc. (3)46(1983), 301–333

    1983

  39. [47]

    L. Robert. SelflessC ∗-algebras.Adv. Math.478(2025), paper no. 110409

    2025

  40. [48]

    Rørdam, F

    M. Rørdam, F. Larsen, and N. J. Laustsen.An Introduction toK-Theory forC ∗- Algebras. London Mathematical Society Student Texts49. Cambridge University Press, Cambridge, 2000

    2000

  41. [49]

    M. Rørdam. The stable and the real rank ofZ-absorbingC ∗-algebras.Internat. J. Math.15(2004), 1065–1084

    2004

  42. [50]

    Scarparo

    E. Scarparo. Homology of odometers.Ergodic Theory Dynam. Systems40(2020), 2541–2551

    2020

  43. [51]

    A. Selberg. On the estimation of Fourier coefficients of modular forms. InProceedings of Symposia in Pure Mathematics, Vol. VIII, 1–15, Amer. Math. Soc., Providence, RI, 1965

    1965

  44. [52]

    Vigdorovich

    I. Vigdorovich. Selfless reducedC ∗-algebras of linear groups. To appear inProc. Lond. Math. Soc. (3)

  45. [53]

    S. White. Abstract classification theorems for amenableC ∗-algebras. InProceedings of the International Congress of Mathematicians 2022, Vol. 4. Sections 5–8, 3314– 3338, EMS Press, Berlin, 2022

    2022

  46. [54]

    W. Winter. Nuclear dimension andZ-stability of pureC ∗-algebras.Invent. Math. 187(2012), 259–342

    2012

  47. [55]

    W. Winter. Structure of nuclearC ∗-algebras: from quasidiagonality to classification and back again. InProceedings of the International Congress of Mathematicians 2018 (Rio de Janeiro), Vol. 3, 1801–1823. World Sci. Publ., Hackensack, NJ, 2019. 16 JAMIE BELL Jamie Bell, Mathem...

    2018

Pith tools

Reviewed July 31, 2026 · model on record in the stance chip above.