Abstract
Working within the framework of free actions of countable amenable groups on compact metrizable spaces, we show that the small boundary property is equivalent to a density version of almost finiteness, which we call almost finiteness in measure, and that under this hypothesis the properties of almost finiteness, comparison, and m-comparison for some nonnegative integer m are all equivalent. The proof combines an Ornstein–Weiss tiling argument with the use of zero-dimensional extensions which are measure-isomorphic over singleton fibres. These kinds of extensions are also employed to show that if every free action of a given group on a zero-dimensional space is almost finite then so are all free actions of the group on spaces with finite covering dimension. Combined with recent results of Downarowicz–Zhang and Conley–Jackson–Marks–Seward–Tucker-Drob on dynamical tilings and of Castillejos–Evington–Tikuisis–White–Winter on the Toms–Winter conjecture, this implies that crossed product \(\hbox {C}^*\)-algebras arising from free minimal actions of groups with local subexponential growth on finite-dimensional spaces are classifiable in the sense of Elliott’s program. We show furthermore that, for free actions of countably infinite amenable groups, the small boundary property implies that the crossed product has uniform property \(\Gamma \), which confirms the Toms–Winter conjecture for such crossed products in the minimal case.
Similar content being viewed by others
Notes
The first proof of this fact was given by Connes as an application of his celebrated result [7] that injectivity implies hyperfiniteness, whose full force is still needed to prove hyperfiniteness of the group von Neumann algebra itself.
Whether or not this subequivalence is itself implemented in an approximately central way is roughly what separates \({\mathscr {Z}}\)-stability from its specialization to the nuclear setting.
Nuclearity is automatic in this case since the acting group is amenable.
In fact, this is more generally proved for actions satisfying the so-called topological small boundary property, which is known to be automatic for free actions on finite-dimensional spaces by Theorem 3.8 of [41].
The arguments there are carried out for \(G={\mathbb Z}\) but the authors make a point that they also apply more generally to all amenable groups.
References
Bartels, A.: Coarse flow spaces for relatively hyperbolic groups. Compos. Math. 153, 745–779 (2017)
Bosa, J., Brown, N., Sato, Y., Tikuisis, A., White, S., Winter, W.: Covering dimension of \(\text{ C }^*\)-algebras and 2-coloured classification. Mem. Am. Math. Soc. 257, 1–97 (2019)
Breuillard, E., Green, B., Tao, T.: The structure of approximate groups. Publ. Math. Inst. Hautes Études Sci. 116, 115–221 (2012)
Castillejos, J., Evington, S., Tikuisis, A., White, S., Winter, W.: Nuclear dimension of simple \(\text{ C }^*\)-algebras. arXiv:1901.05853
Castillejos, J. et al. Strict closures of nuclear \(\text{ C }^*\)-algebras and uniform property \(\Gamma \). In preparation
Conley, C., Jackson, S., Kerr, D., Marks, A., Seward, B., Tucker-Drob, R.: Følner tilings for actions of amenable groups. Math. Ann. 371, 663–683 (2018)
Connes, A.: Classification of injective factors. Cases \(\text{ II }_1\), \(\text{ II }_\infty \), \(\text{ III }_\lambda \), \(\lambda \ne 1\). Ann. Math. 104, 73–115 (1976)
Connes, A., Jones, V.F.R.: A \(\text{ II }_1\) factor with two nonconjugate Cartan subalgebras. Bull. Am. Math. Soc. 6, 211–212 (1982)
Downarowicz, T., Glasner, E.: Isomorphic extensions and applications. Topol. Methods Nonlinear Anal. 48, 321–338 (2016)
Downarowicz, T., Huczek, D., Zhang, G.: Tilings of amenable groups. J. Reine Angew. Math. 747, 277–298 (2019)
Downarowicz, T., Zhang, G.: The comparison property of amenable groups. arXiv:1712.05129
Elliott, G., Gong, G., Lin, H., Niu, Z.: On the classification of simple amenable \(\text{ C }^*\)-algebras with finite decomposition rank, II. arXiv:1507.03437
Elliott, G.A., Niu, Z.: The \(\text{ C }^*\)-algebra of a minimal homeomorphism of zero mean dimension. Duke Math. J. 166, 3569–3594 (2017)
Giol, J., Kerr, D.: Subshifts and perforation. J. Reine Angew. Math. 639, 107–119 (2010)
Gong, G., Lin, H., Niu, Z.: Classification of finite simple amenable \({{\mathscr {Z}}}\)-stable \(\text{ C }^*\)-algebras. arXiv:1501.00135
Grigorchuk, R., Pak, I.: Groups of intermediate growth: an introduction. Enseign. Math. 54, 251–272 (2008)
Gromov, M.: Groups of polynomial growth and expanding maps. Inst. Hautes Études Sci. Publ. Math. 53, 53–73 (1981)
Gromov, M.: Topological invariants of dynamical systems and spaces of holomorphic maps: I. Math. Phys. Anal. Geom. 2, 323–415 (1999)
Guentner, E., Willett, R., Yu, G.: Dynamic asymptotic dimension: relation to dynamics, topology, coarse geometry, and \(\text{ C }^*\)-algebras. Math. Ann. 367, 785–829 (2017)
Gutman, Y.: Embedding \({{\mathbb{Z}}}^k\)-actions in cubical shifts and \({{\mathbb{Z}}}^k\)-symbolic extensions. Ergod. Theory Dyn. Syst. 31, 383–403 (2011)
Gutman, Y.: Embedding topological dynamical systems with periodic points in cubical shifts. Ergod. Theory Dyn. Syst. 37, 512–538 (2017)
Gutman, Y., Lindenstrauss, E., Tsukamoto, M.: Mean dimension of \(\mathbb{Z}^k\)-actions. Geom. Funct. Anal. 26, 778–817 (2016)
Hirshberg, I., Orovitz, J.: Tracially \({{\mathscr {Z}}}\)-absorbing \(\text{ C }^*\)-algebras. J. Funct. Anal. 265, 765–785 (2013)
Kechris, A.S.: Classical Descriptive Set Theory. Graduate Texts in Mathematics, 156. Springer, New York (1995)
Kerr, D.: Dimension, comparison, and almost finiteness. To appear in J. Eur. Math. Soc. arXiv:1710.00393
Kerr, D., Li, H.: Ergodic Theory: Independence and Dichotomies. Springer, Cham (2016)
Kirchberg, E.: The classification of purely infinite \(\text{ C }^*\)-algebras using Kasparov’s theory. Preprint (1994)
Kirchberg, E., Rørdam, M.: Central sequence \(\text{ C }^*\)-algebras and tensorial absorption of the Jiang–Su algebra. J. Reine Angew. Math. 695, 175–214 (2014)
Kulesza, J.: Zero-dimensional covers of finite-dimensional dynamical systems. Ergod. Theory Dyn. Syst. 15, 939–950 (1995)
Lin, H., Phillips, N.C.: Crossed products by minimal homeomorphisms. J. Reine Angew. Math. 641, 95–122 (2010)
Lin, Q., Phillips, N.C.: Direct limit decomposition for \(\text{ C }^*\)-algebras of minimal diffeomorphisms. In: Operator Algebras and Applications, pp. 107–133. Adv. Stud. Pure Math., 38, Math. Soc. Japan, Tokyo (2004)
Lindenstrauss, E.: Mean dimension, small entropy factors and an embedding theorem. Inst. Hautes Études Sci. Publ. Math. 89, 227–262 (1999)
Lindenstrauss, E., Weiss, B.: Mean topological dimension. Israel J. Math. 115, 1–24 (2000)
Matui, H.: Homology and topological full groups of étale groupoids on totally disconnected spaces. Proc. Lond. Math. Soc. 104, 27–56 (2012)
Matui, H., Sato, Y.: Strict comparison and \({{\mathscr {Z}}}\)-absorption of nuclear \(\text{ C }^*\)-algebras. Acta Math. 209, 179–196 (2012)
Matui, H., Sato, Y.: Decomposition rank of UHF-absorbing \(\text{ C }^*\)-algebras. Duke Math. J. 163, 2687–2708 (2014)
Ornstein, D.S., Weiss, B.: Entropy and isomorphism theorems for actions of amenable groups. J. Anal. Math. 48, 1–141 (1987)
Phillips, N.C.: A classification theorem for nuclear purely infinite simple \(\text{ C }^*\)-algebras. Doc. Math. 5, 49–114 (2000)
Putnam, I.F.: On the topological stable rank of certain transformation group \(\text{ C }^*\)-algebras. Ergod. Theory Dyn. Syst. 10, 197–207 (1990)
Shub, M., Weiss, B.: Can one always lower topological entropy? Ergod. Theory Dyn. Syst. 11, 535–546 (1991)
Szabó, G.: The Rokhlin dimension of topological \({{\mathbb{Z}}}^m\)-actions. Proc. Lond. Math. Soc. 110, 673–694 (2015)
Szabó, G., Zacharias, J., Wu, J.: Rokhlin dimension for actions of residually finite groups. Ergod. Theory Dyn. Syst. 39(8), 2248–2304 (2017). https://doi.org/10.1017/etds.2017.113
Tikuisis, A., White, S., Winter, W.: Quasidiagonality of nuclear \(\text{ C }^*\)-algebras. Ann. Math. 185, 229–284 (2017)
Toms, A.S., Winter, W.: Minimal dynamics and K-theoretic rigidity: Elliott’s conjecture. Geom. Funct. Anal. 23, 467–481 (2013)
Tu, J.-L.: La conjecture de Baum-Connes pour les feuilletages moyennables. K-Theory 17, 215–264 (1999)
Winter, W.: Nuclear dimension and \({{\mathscr {Z}}}\)-stability of pure \(\text{ C }^*\)-algebras. Invent. Math. 187, 259–342 (2012)
Acknowledgements
The first author was partially supported by NSF Grant DMS-1500593. A portion of the work was carried out during his six-month stay in 2017–2018 at the ENS de Lyon, during which time he held ENS and CNRS visiting professorships and was supported by Labex MILYON/ANR-10-LABX-0070. He thanks Damien Gaboriau and Mikael de la Salle at the ENS for their generous hospitality. The second author was supported by EPSRC Grant EP/N00874X/1, the Danish National Research Foundation through the Centre for Symmetry and Deformation (DNRF92), the European Union’s Horizon 2020 research and innovation programme under the Grant MSCA-IF-2016-746272-SCCD, and a start-up Grant of KU Leuven. Part of the work was carried out during the second author’s visit to Texas A&M in June 2017, and he thanks the first author for his hospitality. Both authors would like to thank Jianchao Wu for stimulating discussions on the subject of this paper.
Author information
Authors and Affiliations
Corresponding author
Additional information
Communicated by Y. Kawahigashi
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Rights and permissions
About this article
Cite this article
Kerr, D., Szabó, G. Almost Finiteness and the Small Boundary Property. Commun. Math. Phys. 374, 1–31 (2020). https://doi.org/10.1007/s00220-019-03519-z
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s00220-019-03519-z