We show that the group of bounded automatic automorphisms of a rooted tree is amenable, which implies amenability of numerous classes of groups generated by finite automata. The proof is based on reducing the problem to showing amenability just of a certain explicit family of groups ("Mother groups") which is done by analyzing the asymptotic properties of random walks on these groups.
This article explores the interplay between the finite quotients of finitely generated residually finite groups and the concept of amenability. We construct a finitely generated, residually finite, amenable group $A$ and an uncountable family of finitely generated, residually finite non-amenable groups all of which are profinitely isomorphic to $A$. All of these groups are branch groups. Moreover, picking up Grothendieck's problem, the group $A$ embeds in these groups such that the inclusion induces an isomorphism of profinite completions. In addition, we review the concept of uniform amenabil…
In this paper we extend the approach of M. Cavaleri to effective amenability to the class of computably enumerable groups, i.e. in particular we do not assume that groups are finitely generated. In the case of computable groups we also study complexity of the set of all effective Følner sequences and effective paradoxical decomposition. In the appendix we attach a version of the paper "On decidability of amenability in computable groups" by K. Duda and A. Ivanov which covers Sections 9 and 10 from the previous version.
We adapt the notion of quasi-Hermition group to the pairs $(G,H)$ of discrete group $G$ and its subgroup $H$. We show that a quasi-Hermitian pair is amenable in the sense of Eymard.
We show that the groups of finite energy loops and paths (that is, those of Sobolev class $H^1$) with values in a compact connected Lie group, as well as their central extensions, satisfy an amenability-like property: they admit a left-invariant mean on the space of bounded functions uniformly continuous with regard to a left-invariant metric. Every strongly continuous unitary representation $π$ of such a group (which we call skew-amenable) has a conjugation-invariant state on $B({\mathcal H}_π)$.
In this paper we introduce a concept of an evacuation scheme on the Cayley graph of an infinite finitely generated group. This is a collection of infinite simple paths bringing all vertices to infinity. We impose a restriction that every edge can be used a uniformly bounded number of times in this scheme. An easy observation shows that existing of such a scheme is equivalent to non-amenability of the group. A special case happens if every edge can be used only once. These scheme are called pure. We obtain a criterion for existing of such a scheme in terms of isoperimetric constant of the graph…
We consider amenability constants of the central Fourier algebra $ZA(G)$ of a finite group $G$. This is a dual object to $ZL^1(G)$ in the sense of hypergroup algebras, and as such shares similar amenability theory. We will provide several classes of groups where $AM(ZA(G)) = AM(ZL^1(G))$, and discuss $AM(ZA(G))$ when $G$ has two conjugacy class sizes. We also produce a new counterexample that shows that unlike $AM(ZL^1(G))$, $AM(ZA(G))$ does not respect quotient groups, however the class of groups that does has $\frac{7}{4}$ as the sharp amenability constant bound.
We study skew-amenable topological groups, i.e., those admitting a left-invariant mean on the space of bounded real-valued functions left-uniformly continuous in the sense of Bourbaki. We prove characterizations of skew-amenability for topological groups of isometries and automorphisms, clarify the connection with extensive amenability of group actions, establish a Følner-type characterization, and discuss closure properties of the class of skew-amenable topological groups. Moreover, we isolate a dynamical sufficient condition for skew-amenability and provide several concrete variations of thi…
The original definition of amenability given by von Neumann in the highly non-constructive terms of means was later recast by Day using approximately invariant probability measures. Moreover, as it was conjectured by Furstenberg and proved by Kaimanovich-Vershik and Rosenblatt, the amenability of a locally compact group is actually equivalent to the existence of a single probability measure on the group with the property that the sequence of its convolution powers is asymptotically invariant. In the present article we extend this characterization of amenability to measured groupoids. It implie…
