pith. sign in

arxiv: 2107.05273 · v3 · submitted 2021-07-12 · 🧮 math.DS · math.OA

Elementary amenability and almost finiteness

David Kerr , Petr Naryshkin This is my paper

Pith reviewed 2026-05-24 13:37 UTC · model grok-4.3

classification 🧮 math.DS math.OA
keywords elementary amenabilityalmost finitenessfree actionscrossed productsZ-stabilityElliott invariantdynamical systemscompact metrizable spaces
0
0 comments X

The pith

Every free continuous action of a countably infinite elementary amenable group on a finite-dimensional compact metrizable space is almost finite.

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

The paper proves that any free continuous action of a countably infinite elementary amenable group on a finite-dimensional compact metrizable space must be almost finite. This regularity condition on the action allows the associated crossed product C*-algebras to inherit strong structural properties from the group. For minimal actions satisfying these conditions, the crossed products become Z-stable. They can then be classified up to isomorphism by their Elliott invariant, which encodes K-theoretic data. This result links the combinatorial properties of elementary amenable groups to the classification program in operator algebras.

Core claim

We show that every free continuous action of a countably infinite elementary amenable group on a finite-dimensional compact metrizable space is almost finite. As a consequence, the crossed products of minimal such actions are Z-stable and classified by their Elliott invariant.

What carries the argument

almost finiteness, the property that permits controlled approximation of the action by finite orbits on the space

If this is right

  • The crossed products of minimal such actions are Z-stable.
  • These crossed products are classified by their Elliott invariant.
  • The result applies to all countably infinite elementary amenable groups.
  • Almost finiteness holds for all free continuous actions on finite-dimensional compact metrizable spaces.

Where Pith is reading between the lines

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

  • This provides a broad class of examples of classifiable crossed products arising from group actions.
  • The connection between elementary amenability and almost finiteness may extend to other regularity conditions in dynamical systems.
  • Non-minimal actions might still yield Z-stable crossed products under these group conditions.

Load-bearing premise

The specific definition and properties of almost finiteness capture the required regularity, and elementary amenability implies the necessary orbit approximation properties on finite-dimensional spaces.

What would settle it

A counterexample would be a free continuous action of a countably infinite elementary amenable group on a finite-dimensional compact metrizable space that is not almost finite.

read the original abstract

We show that every free continuous action of a countably infinite elementary amenable group on a finite-dimensional compact metrizable space is almost finite. As a consequence, the crossed products of minimal such actions are $\mathcal{Z}$-stable and classified by their Elliott invariant.

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.

Referee Report

0 major / 3 minor

Summary. The manuscript proves that every free continuous action of a countably infinite elementary amenable group on a finite-dimensional compact metrizable space is almost finite. As a consequence, the crossed products of minimal such actions are Z-stable and classified by their Elliott invariant.

Significance. If the result holds, it extends the scope of almost finiteness from previously treated classes (such as nilpotent groups) to all countably infinite elementary amenable groups, using their characterization via extensions and direct limits. This supplies a key input for the classification program of crossed-product C*-algebras, confirming Z-stability and Elliott-classifiability under the stated hypotheses on the action and the space. The argument structure, which reduces the general case to the known nilpotent case via finite-dimensional orbit approximation, is a natural and technically economical development of existing techniques.

minor comments (3)
  1. §2, Definition 2.3: the phrase 'sufficiently large' in the definition of almost finiteness could be replaced by an explicit quantifier on the size of the finite sets F to improve readability.
  2. Theorem 4.1: the statement of the main result would benefit from an explicit reminder that the group is assumed countably infinite (already in the abstract) to avoid any ambiguity with the finite case.
  3. References: the citation list omits the 2019 paper of Kerr and Szabó on almost finiteness for nilpotent groups; adding it would clarify the precise extension achieved here.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for their positive summary, significance assessment, and recommendation to accept the manuscript.

Circularity Check

0 steps flagged

No significant circularity

full rationale

The provided abstract and context present the central result as a theorem: every free continuous action of a countably infinite elementary amenable group on a finite-dimensional compact metrizable space is almost finite, with a consequence for crossed-product Z-stability. No equations, parameter fittings, self-definitions, or load-bearing self-citations are visible that would reduce any claimed derivation or prediction to its inputs by construction. The argument is framed as a direct mathematical claim relying on group-theoretic properties and the definition of almost finiteness, without internal reductions that match the enumerated circularity patterns. This is the expected outcome for a theorem-proof paper with no visible fitted quantities or self-referential steps.

Axiom & Free-Parameter Ledger

0 free parameters · 0 axioms · 0 invented entities

No full text is available, so free parameters, axioms, and invented entities cannot be extracted; the abstract invokes the notions of elementary amenability and almost finiteness without defining them here.

pith-pipeline@v0.9.0 · 5548 in / 1147 out tokens · 18411 ms · 2026-05-24T13:37:29.036895+00:00 · methodology

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.

Lean theorems connected to this paper

Citations machine-checked in the Pith Canon. Every link opens the source theorem in the public Lean library.

What do these tags mean?
matches
The paper's claim is directly supported by a theorem in the formal canon.
supports
The theorem supports part of the paper's argument, but the paper may add assumptions or extra steps.
extends
The paper goes beyond the formal theorem; the theorem is a base layer rather than the whole result.
uses
The paper appears to rely on the theorem as machinery.
contradicts
The paper's claim conflicts with a theorem or certificate in the canon.
unclear
Pith found a possible connection, but the passage is too broad, indirect, or ambiguous to say the theorem truly supports the claim.

Forward citations

Cited by 1 Pith paper

Reviewed papers in the Pith corpus that reference this work. Sorted by Pith novelty score.

  1. Nuclear C*-algebras: 99 problems

    math.OA 2025-06 unverdicted novelty 2.0

    A compilation of 99 open problems in the structure and classification of nuclear C*-algebras.

Reference graph

Works this paper leans on

42 extracted references · 42 canonical work pages · cited by 1 Pith paper · 3 internal anchors

  1. [1]

    Castillejos, S

    J. Castillejos, S. Evington, A. Tikuisis, S. White, and W . Winter. Nuclear dimension of simple C ∗ -algebras. Invent. Math. 224 (2021), 245–290

    work page 2021

  2. [2]

    C. Chou. Elementary amenable groups. Illinois J. Math. 24 (1980), 396–407

    work page 1980

  3. [3]

    Conley, S

    C. Conley, S. Jackson, D. Kerr, A. Marks, B. Seward, and R. Tucker-Drob. Følner tilings for actions of amenable groups. Math. Ann. 371 (2018), 663–683

    work page 2018

  4. [4]

    Conley, S

    C. Conley, S. Jackson, A. Marks, B. Seward, and R. Tucker- Drob. Borel asymptotic dimension and hyper- finite equivalence relations. arXiv:2009.06721

    work page arXiv 2009

  5. [5]

    A. Connes. Classification of injective factors. Cases II 1, II ∞ , III λ, λ ̸= 1. Ann. of Math. (2) 104 (1976), 73–115

    work page 1976

  6. [6]

    Downarowicz and G

    T. Downarowicz and G. Zhang. The comparison property of a menable groups. arXiv:1712.05129

    work page arXiv

  7. [7]

    Symbolic extensions of amenable group actions and the comparison property

    T. Downarowicz and G. Zhang. Symbolic extensions of amen able group actions and the comparison property. arXiv:1901.01457. ELEMENTARY AMENABILITY AND ALMOST FINITENESS 21

    work page internal anchor Pith review Pith/arXiv arXiv 1901

  8. [8]

    G. A. Elliott. An invariant for simple C ∗ -algebras. In Canadian Mathematical Society. 1945–1995, Vol. 3 , 61–90, Canadian Math. Soc., Ottawa, 1996

    work page 1945

  9. [9]

    G. A. Elliott and D. E. Evans. The structure of the irratio nal rotation C ∗ -algebra. Ann. of Math. (2) 138 (1993), 477–501

    work page 1993

  10. [10]

    G. A. Elliott, G. Gong, H. Lin, and Z. Niu. On the classific ation of simple amenable C ∗ -algebras with finite decomposition rank, II. arXiv:1507.03437

    work page arXiv

  11. [11]

    G. A. Elliott and Z. Niu. The C ∗ -algebra of a minimal homeomorphism of zero mean dimension. Duke Math. J. 166 (2017), 3569–3594

    work page 2017

  12. [12]

    Giol and D

    J. Giol and D. Kerr. Subshifts and perforation. J. reine angew. Math. 639 (2010), 107–119

    work page 2010

  13. [13]

    G. Gong, H. Lin, and Z. Niu. Classification of finite simpl e amenable Z-stable C∗ -algebras. arXiv:1501.00135

    work page internal anchor Pith review Pith/arXiv arXiv

  14. [14]

    R. I. Grigorchuk. Degrees of growth of finitely generate d groups and the theory of invariant means. Izv. Akad. Nauk SSSR Ser. Mat. 48 (1984), 939–985

    work page 1984

  15. [15]

    Guentner, R

    E. Guentner, R. Willett, and G. Yu. Dynamic asymptotic d imension: relation to dynamics, topology, coarse geometry, and C ∗ -algebras. Math. Ann. 367 (2017), 785–829

    work page 2017

  16. [16]

    Hirshberg, W

    I. Hirshberg, W. Winter, and J. Zacharias. Rokhlin dime nsion and C ∗ -dynamics. Comm. Math. Phys. 335 (2015), 637–670

    work page 2015

  17. [17]

    Juschenko and N

    K. Juschenko and N. Monod. Cantor systems, piecewise tr anslations and simple amenable groups. Ann. of Math. (2) 178 (2013), 775–787

    work page 2013

  18. [18]

    D. Kerr. Dimension, comparison, and almost finiteness. J. Eur. Math. Soc. 22 (2020), 3697–3745

    work page 2020

  19. [19]

    Kerr and H

    D. Kerr and H. Li. Ergodic Theory: Independence and Dichotomies . Springer, Cham, 2016

    work page 2016

  20. [20]

    Kerr and G

    D. Kerr and G. Szab´ o. Almost finiteness and the small bou ndary property. Comm. Math. Phys. 374 (2020), 1–31

    work page 2020

  21. [21]

    Kirchberg

    E. Kirchberg. The classification of purely infinite C ∗ -algebras using Kasparov’s theory. Preprint, 1994

    work page 1994

  22. [22]

    Lin and N

    H. Lin and N. C. Phillips. Crossed products by minimal ho meomorphisms. J. reine angew. Math. 641 (2010), 95–122

    work page 2010

  23. [23]

    Lin and N

    Q. Lin and N. C. Phillips. Direct limit decomposition fo r C ∗ -algebras of minimal diffeomorphisms. In: Operator Algebras and Applications , pp. 107–133. Adv. Stud. Pure Math. , 38, Math. Soc. Japan, Tokyo, 2004

    work page 2004

  24. [24]

    H. Matui. Some remarks on topological full groups of Can tor minimal systems. Internat. J. Math. 17 (2006), 231–251

    work page 2006

  25. [25]

    H. Matui. Homology and topological full groups of ´ etal e groupoids on totally disconnected spaces. Proc. Lond. Math. Soc. 104 (2012) 27–56

    work page 2012

  26. [26]

    H. Matui. Topological full groups of one-sided shifts o f finite type. J. reine angew. Math. 705 (2015), 35–84

    work page 2015

  27. [27]

    Matui and Y

    H. Matui and Y. Sato. Decomposition rank of UHF-absorbi ng C ∗ -algebras. Duke Math. J. 163 (2014), 2687–2708

    work page 2014

  28. [28]

    Nekrashevych

    V. Nekrashevych. Simple groups of dynamical origin. Ergodic Theory Dynam. Systems 39 (2019), 707–732

    work page 2019

  29. [29]

    Z. Niu. Comparison radius and mean topological dimensi on: Rokhlin property, comparison of open sets, and subhomogeneous C ∗ -algebras. To appear in J. Anal. Math

    work page

  30. [30]

    Z. Niu. Comparison radius and mean topological dimensi on: Zd-actions. arXiv:1906.09171

    work page internal anchor Pith review Pith/arXiv arXiv 1906

  31. [31]

    D. S. Ornstein and B. Weiss. Entropy and isomorphism the orems for actions of amenable groups. J. Anal. Math. 48 (1987), 1–141

    work page 1987

  32. [32]

    D. V. Osin. Elementary classes of groups. Math. Notes 72 (2002) 75–82

    work page 2002

  33. [33]

    N. C. Phillips. A classification theorem for nuclear pur ely infinite simple C ∗ -algebras. Doc. Math. 5 (2000), 49–114

    work page 2000

  34. [34]

    I. F. Putnam. On the topological stable rank of certain t ransformation group C ∗ -algebras. Ergodic Theory Dynam. Systems 10 (1990), 197–207

    work page 1990

  35. [35]

    K. R. Strung and W. Winter. Minimal dynamics and Z-stable classification. Internat. J. Math. 22 (2011), 1–23

    work page 2011

  36. [36]

    G. Szab´ o. The Rokhlin dimension of topological Zm-actions. Proc. Lond. Math. Soc. (3) 110 (2015), 673– 694

    work page 2015

  37. [37]

    Szab´ o, J

    G. Szab´ o, J. Wu, and J. Zacharias. Rokhlin dimension fo r actions of residually finite groups. Ergodic Theory Dynam. Systems 39 (2019), 2248–2304. 22 DA VID KERR AND PETR NARYSHKIN

    work page 2019

  38. [38]

    Tikuisis, S

    A. Tikuisis, S. White, and W. Winter. Quasidiagonality of nuclear C ∗ -algebras. Ann. of Math. (2) 185 (2017), 229–284

    work page 2017

  39. [39]

    A. S. Toms and W. Winter. Minimal dynamics and K-theoret ic rigidity: Elliott’s conjecture. Geom. Funct. Anal. 23 (2013), 467–481

    work page 2013

  40. [40]

    J.-L. Tu. La conjecture de Baum-Connes pour les feuille tages moyennables. K-Theory 17 (1999), 215–264

    work page 1999

  41. [41]

    W. Winter. Nuclear dimension and Z-stability of pure C ∗ -algebras. Invent. Math. 187 (2012), 259–342

    work page 2012

  42. [42]

    Winter and J

    W. Winter and J. Zacharias. The nuclear dimension of C ∗ -algebras. Adv. Math. 224 (2010), 461–498. David Kerr, Mathematisches Institut, WWU M ¨unster, Einsteinstr. 62, 48149 M ¨unster, Germany Email address : kerrd@uni-muenster.de Petr Naryshkin, Mathematisches Institut, WWU M ¨unster, Einsteinstr. 62, 48149 M ¨unster, Ger- many Email address : pnaryshk@...

    work page 2010