2107.05273
Elementary Amenability and Almost Finiteness
David Kerr, Petr Naryshkin
correcthigh confidence
- Category
- Not specified
- Journal tier
- Strong Field
- Processed
- Sep 28, 2025, 12:56 AM
- arXiv Links
- Abstract ↗PDF ↗
Audit review
The uploaded paper establishes Theorem A: every free continuous action of a countably infinite elementary amenable group on a finite-dimensional compact metrizable space is almost finite, via reduction to the zero-dimensional case and permanence of property (⋆) under countable direct limits, finite extensions (Thm 3.1), and extensions by Z (Thm 5.4), with the zero- to finite-dimensional lift supplied by Kerr–Szabó’s Theorem 7.6, exactly as outlined by the candidate. The paper states the reduction, permanence results, and the Z-extension argument with Ornstein–Weiss quasitiling and the comparison/absorption lemma, leading to the Osin-based conclusion for elementary amenable groups, and then to finite-dimensional actions via [20, Thm 7.6] (see Theorem A and its discussion, finite- and Z-extension theorems, and the proof sketch of Theorem 5.4 in the PDF ). The candidate’s solution follows this same structure. The only minor issue is a phrasing that suggests the small boundary property alone yields comparison; in fact, as summarized in the paper (equivalences from [20]), almost finiteness is equivalent to almost finiteness in measure together with comparison, so comparison is not implied by SBP alone. Because the candidate also assumes AF for the subgroup, which does imply comparison, the argument remains correct (see the definition and equivalences summarized in the paper ).
Referee report (LaTeX)
\textbf{Recommendation:} no revision
\textbf{Journal Tier:} strong field
\textbf{Justification:}
The paper proves an important and clean dynamical theorem with significant operator-algebraic consequences. The argument is well motivated, conceptually unified across several approaches (tilings, dynamic dimensions, and almost finiteness), and technically sound. The permanence results and the Z-extension step are handled with care and yield a broad generalization of prior results. Exposition is clear and self-contained at the level expected for specialists in topological dynamics and C*-algebras.