We prove that the alternating group of a topologically free action of a countably infinite group $Gamma$ on the Cantor set has the property that all of its $ell^2$-Betti numbers vanish and, in the case that $Gamma$ is amenable, is stable in the sense of Jones and Schmidt and has property Gamma (and in particular is inner amenable). We show moreover in the realm of amenable $Gamma$ that there are many such alternating groups which are simple, finitely generated, and C$^*$-simple. The device for establishing nonisomorphism among these examples is a topological version of Austins result on the invariance of measure entropy under bounded orbit equivalence.
We prove several theorems relating amenability of groups in various categories (discrete, definable, topological, automorphism group) to model-theoretic invariants (quotients by connected components, Lascar Galois group, G-compactness, ...). For example, if $M$ is a countable, $omega$-categorical structure and $Aut(M)$ is amenable, as a topological group, then the Lascar Galois group $Gal_{L}(T)$ of the theory $T$ of $M$ is compact, Hausdorff (also over any finite set of parameters), that is $T$ is G-compact. An essentially special case is that if $Aut(M)$ is extremely amenable, then $Gal_{L}(T)$ is trivial, so, by a theorem of Lascar, the theory $T$ can be recovered from its category $Mod(T)$ of models. On the side of definable groups, we prove for example that if $G$ is definable in a model $M$, and $G$ is definably amenable, then the connected components ${G^{*}}^{00}_{M}$ and ${G^{*}}^{000}_{M}$ coincide, answering positively a question from an earlier paper of the authors. We also take the opportunity to further develop the model-theoretic approach to topological dynamics, obtaining for example some new invariants for topological groups, as well as allowing a uniform approach to the theorems above and the various categories.
We prove that $Out(F_N)$ is boundary amenable. This also holds more generally for $Out(G)$, where $G$ is either a toral relatively hyperbolic group or a finitely generated right-angled Artin group. As a consequence, all these groups satisfy the Novikov conjecture on higher signatures.
We show that the universal minimimal proximal flow and the universal minimal strongly proximal flow of a discrete group can be realized as the Stone spaces of translation invariant Boolean algebras of subsets of the group satisfying a higher order notion of syndeticity. We establish algebraic, combinatorial and topological dynamical characterizations of these subsets that we use to obtain new necessary and sufficient conditions for strong amenability and amenability. We also characterize dense orbit sets, answering a question of Glasner, Tsankov, Weiss and Zucker.
Let Gamma be a discrete group satisfying the rapid decay property with respect to a length function which is conditionally negative. Then the reduced C*-algebra of Gamma has the metric approximation property. The central point of our proof is an observation that the proof of the same property for free groups due to Haagerup transfers directly to this more general situation. Examples of groups satisfying the hypotheses include free groups, surface groups, finitely generated Coxeter groups, right angled Artin groups and many small cancellation groups.
The purpose of this expository article is to revisit the notions of amenability and ergodicity, and to point out that they appear for topological groups that are not necessarily locally compact in articles by Bogolyubov (1939), Fomin (1950), Dixmier (1950), and Rickert (1967).