Let Gamma be a finitely generated, amenable group. Using an idea of E Ghys, we prove that if Gamma has a nontrivial, orientation-preserving action on the real line, then Gamma has an infinite, cyclic quotient. (The converse is obvious.) This implies that if Gamma has a faithful action on the circle, then some finite-index subgroup of Gamma has the property that all of its nontrivial, finitely generated subgroups have infinite, cyclic quotients. It also means that every left-orderable, amenable group is locally indicable. This answers a question of P Linnell.
We prove that every ergodic amenable action of an algebraic group over a local field of characteristic zero is induced from an ergodic action of an amenable subgroup.
We study under which condition an amalgamated free product or an HNN-extension over a finite subgroup admits an amenable, transitive and faithful action on an infinite countable set. We show that such an action exists if the initial groups admit an amenable and almost free action with infinite orbits (e.g. virtually free groups or infinite amenable groups). Our result relies on the Baire category Theorem. We extend the result to groups acting on trees.
We construct inner amenable and ICC groups having no ergodic, free, probability-measure-preserving and stable action. This solves a problem posed by Jones-Schmidt in 1987.
We introduce two notions of algebraic entropy for actions of cancellative right amenable semigroups $S$ on discrete abelian groups $A$ by endomorphisms; these extend the classical algebraic entropy for endomorphisms of abelian groups, corresponding to the case $S=\mathbb N$. We investigate the fundamental properties of the algebraic entropy and compute it in several examples, paying special attention to the case when S is an amenable group. For actions of cancellative right amenable monoids on torsion abelian groups, we prove the so called Addition Theorem. In the same setting, we see that a B…
We study actions of discrete groups on Hilbert $C^*$-modules induced from topological actions on compact Hausdorff spaces. We show non-amenability of actions of non-amenable and non-a-T-menable groups, provided there exists a quasi-invariant probability measure which is sufficiently close to being invariant.
We study hereditary properties of the class of countable groups admitting an amenable, transitive and faithful action on a countable set. We consider mainly the case of amalgamated free products, and we show in particular that the double of amenable groups and the amalgamated free products of two amenable groups over a finite subgroup admit such actions.
We develop in this paper some general techniques to analyze action sets of small doubling for probability measure-preserving actions of amenable groups. As an application of these techniques, we prove a dynamical generalization of Kneser's celebrated density theorem for subsets in $(\bZ,+)$, valid for any countable amenable group, and we show how it can be used to establish a plethora of new inverse product set theorems for upper and lower asymptotic densities. We provide several examples demonstrating that our results are optimal for the settings under study.
We investigate the class of groups admitting an action on a set with an invariant mean. It turns out that many free products admit such an action. We give a complete characterisation of such free products in terms of a strong fixed point property.
In this short note we study the entropy for algebraic actions of certain amenable groups. The possible values for this entropy are studied. Various fundamental results about certain classes of amenable groups are reproved using elementary arguments and the entropy invariant. We provide a natural decomposition of the entropy into summands contributed by individual primes and a summand corresponding to infinity. These results extend previous work by Lind and Ward on p-adic entropy.
We say that an action of a countable discrete inverse semigroup on a locally compact Hausdorff space is amenable if its groupoid of germs is amenable in the sense of Anantharaman-Delaroche and Renault. We then show that for a given inverse semigroup $S$, the action of $S$ on its spectrum is amenable if and only if every action of $S$ is amenable.
We show that every probability-measure-preserving action of a countable amenable group G can be tiled, modulo a null set, using finitely many finite subsets of G ("shapes") with prescribed approximate invariance so that the collection of tiling centers for each shape is Borel. This is a dynamical version of the Downarowicz--Huczek--Zhang tiling theorem for countable amenable groups and strengthens the Ornstein--Weiss Rokhlin lemma. As an application we prove that, for every countably infinite amenable group G, the crossed product of a generic free minimal action of G on the Cantor set is Z-sta…
The class A of countable groups that admit a faithful, transitive, amenable -- in the sense that there is an invariant mean -- action on a set has been widely investigated in the past. In this paper, we no longer require the action to be transitive, but we ask for it to preserve a locally finite metric (and still to be faithful and amenable). The groups having such actions are those that embed into a totally disconnected amenable locally compact group. Then we focus on the subclass A 1 of groups for which the actions are moreover transitive. This class is strictly contained into A and includes…
We investigate the notion of relatively amenable topological action and show that the action of Thompson's group $T$ on $S^1$ is relatively amenable with respect to Thompson's group $F$. We use this to conclude that $F$ is exact if and only if $T$ is exact. Moreover, we prove that the groupoid of germs of the action of $T$ on $S^1$ is Borel amenable.
We consider a finitely generated group acting minimally on a compact space by homeomorphsims, and assume that the Schreier graph of at least one orbit is quasi-isometric to a line. We show that the topological full group of such an action is amenable.
It is well known that if $G$ is a countable amenable group and $G \curvearrowright (Y, ν)$ factors onto $G \curvearrowright (X, μ)$, then the entropy of the first action must be greater than or equal to the entropy of the second action. In particular, if $G \curvearrowright (X, μ)$ has infinite entropy, then the action $G \curvearrowright (Y, ν)$ does not admit any finite generating partition. On the other hand, we prove that if $G$ is a countable non-amenable group then there exists a finite integer $n$ with the following property: for every probability-measure-preserving action $G \curvearro…
We show that the class of amalgamated free products of two free groups over a cyclic subgroup admits amenable, faithful and transitive actions on infinite countable sets. This work generalizes the results on such actions for doubles of free group on 2 generators.
Let $X$ be a compact metrizable space equipped with a continuous action of a countable amenable group $G$. Suppose that the dynamical system $(X,G)$ is expansive and is the quotient by a uniformly bounded-to-one factor map of a strongly irreducible subshift. Let $τ\colon X \to X$ be a continuous map commuting with the action of $G$. We prove that if there is no pair of distinct $G$-homoclinic points in $X$ having the same image under $τ$, then $τ$ is surjective.
We study amenable minimal Cantor systems of free groups arising from the diagonal actions of the boundary actions and certain Cantor systems. It is shown that every virtually free group admits continuously many amenable minimal Cantor systems whose crossed products are mutually non-isomorphic Kirchberg algebras in the UCT class (with explicitly determined K-theory). The technique developed in our study also enables us to compute the K-theory of certain amenable minimal Cantor systems. We apply it to the diagonal actions of the boundary actions and the products of the odometer transformations, …
We provide a simple criterion for a non-singular and conservative Bernouilli action to have a weakly mixing Maharam extension. As an application, we show that every countable amenable group admits a stable type III_1 Bernoulli action, answering a recent question by Vaes and Wahl.
We prove that the amalgamated free product of two free groups of rank two over a common cyclic subgroup, admits an amenable, faithful, transitive action on an infinite countable set. We also show that any finite index subgroup admits such an action, which applies for example to surface groups and fundamental groups of surface bundles over $\mathbb{S}^1$.
We show that every finitely-generated non-amenable linear group over a field of characteristic zero admits an ergodic action which is rigid in the sense of Popa. If this group has trivial solvable radical, we prove that these actions can be chosen to be free. Moreover, we give a positive answer to a question raised by Ioana and Shalom concerning the existence of such a free action for $\mathbb{F}_2\times\Z$. More generally, we show that for groups $Γ$ considered by Fernos in \cite{Fer}, e.g. Zariski-dense subgroups in PSL$_n(\R)$, the product group $Γ\times \Z$ admit a free ergodic rigid actio…
In this note we show that if $G$ is a solvable group acting on the line, and if there is $T\in G$ having no fixed points, then there is a Radon measure $μ$ on the line quasi-invariant under $G$. In fact, our method allows for the same conclusion for $G$ inside a class of groups that is closed under extensions and contains all solvable groups and all groups of subexponential growth.
In his work on the Farrell-Jones Conjecture, Arthur Bartels introduced the concept of a "finitely $\mathcal{F}$-amenable" group action, where $\mathcal{F}$ is a family of subgroups. We show how a finitely $\mathcal{F}$-amenable action of a countable group $G$ on a compact metric space, where the asymptotic dimensions of the elements of $\mathcal{F}$ are bounded from above, gives an upper bound for the asymptotic dimension of $G$ viewed as a metric space with a proper left invariant metric. We generalize this to families $\mathcal{F}$ whose elements are contained in a collection, $\mathfrak{C}$…
After a short introduction to the general notion of Borel fields of metric spaces we introduce the notion of the action of an equivalence relation on such fields. Then, we specify the study to the Borel fields of proper CAT(0) spaces and we obtain a rigidity result for the action of an amenable equivalence relation on a Borel field of proper CAT(0) spaces. This main theorem is inspired by the result obtained by Adams and Ballmann regarding the action of an amenable group on a proper CAT(0) space.
Let $R$ be a ring, let $G$ be an amenable group and let $R\ast G$ be a crossed product. The goal of this paper is to construct, starting with a suitable additive function $L$ on the category of left modules over $R$, an additive function on a subcategory of the category of left modules over $R\ast G$, which coincides with the whole category if $L({}_RR) <\infty$. This construction can be performed using a dynamical invariant associated with the original function $L$, called algebraic $L$-entropy. We apply our results to two classical problems on group rings: the Stable Finiteness and the Zero-…
We give a simple and unified proof showing that the unrestricted wreath product of a weakly sofic, sofic, linear sofic, or hyperlinear group by an amenable group is weakly sofic, sofic, linear sofic, or hyperlinear, respectively. By means of the Kaloujnine-Krasner theorem, this implies that group extensions with amenable quotients preserve the four aforementioned metric approximation properties. We also discuss the case of co-amenable groups.
Consider two free measure preserving group actions $Γ\actson (X, μ), Δ\actson (X, μ)$, and a measure preserving action $Δ\actson^a (Z, ν)$ where $(X, μ), (Z, ν)$ are standard probability spaces. We show how to construct free measure preserving actions $Γ\actson^c (Y, m)$, $Δ\actson^d (Y, m)$ on a standard probability space such that $E_Δ^d \subset E_Γ^c$ and $d$ has $a$ as a factor. This generalizes the standard notion of co-induction of actions of groups from actions of subgroups. We then use this construction to show that if $Γ$ is a countable non-amenable group, then $Γ$ admits continuum ma…
We address the problem to characterise closed type I subgroups of the automorphism group of a tree. Even in the well-studied case of Burger-Mozes' universal groups, non-type I criteria were unknown. We prove that a huge class of groups acting properly on trees are not of type I. In the case of Burger-Mozes groups, this yields a complete classification of type I groups among them. Our key novelty is the use of von Neumann algebraic techniques to prove the stronger statement that the group von Neumann algebra of the groups under consideration is non-amenable.
It is well known that a dense subgroup $G$ of the complex unitary group $U(d)$ cannot be amenable as a discrete group when $d>1$. When $d$ is large enough we give quantitative versions of this phenomenon in connection with certain estimates of random Fourier series on the compact group $\bar G$ that is the closure of $G$. Roughly, we show that if $\bar G$ covers a large enough part of $U(d)$ in the sense of metric entropy then $G$ cannot be amenable. The results are all based on a version of a classical theorem of Jordan that says that if $G$ is finite, or amenable as a discrete group, then $G…
A topological group $G$ is B-amenable if and only if every continuous affine action of $G$ on a bounded convex subset of a locally convex space has an approximate fixed point. Similar results hold more generally for slightly uniformly continuous semigroup actions.
It is shown that the action of ${\rm SL}(3,\mathbb{Z})$ on the Stone-uCech boundary of ${\rm SL}(3,\mathbb{Z}) / {\rm SL}(2,\mathbb{Z}) $ is amenable. This confirms a prediction by Bekka and Kalantar.
We study actions of countable discrete groups which are amenable in the sense that there exists a mean on X which is invariant under the action of G. Assuming that G is nonamenable, we obtain structural results for the stabilizer subgroups of amenable actions which allow us to relate the first l2-Betti number of G with that of the stabilizer subgroups. An analogous relationship is also shown to hold for cost. This relationship becomes even more pronounced for transitive amenable actions, leading to a simple criterion for vanishing of the first l2-Betti number and triviality of cost. Moreover, …
Let $(X,μ)$ be a probability space, $G$ a countable amenable group and $(F_n)_n$ a left Følner sequence in $G$. This paper analyzes the non-conventional ergodic averages \[\frac{1}{|F_n|}\sum_{g \in F_n}\prod_{i=1}^d (f_i\circ T_1^g\cdots T_i^g)\] associated to a commuting tuple of $μ$-preserving actions $T_1$, ..., $T_d:G\curvearrowright X$ and $f_1$, ..., $f_d \in L^\infty(μ)$. We prove that these averages always converge in $\|\cdot\|_2$, and that they witness a multiple recurrence phenomenon when $f_1 = \ldots = f_d = 1_A$ for a non-negligible set $A\subseteq X$. This proves a conjecture o…
We prove that every amenable group of cohomological dimension two whose integral group ring is a domain is solvable and investigate certain homological finiteness properties of groups that satisfy the analytic zero divisor conjecture and act on an acyclic CW-complex with amenable stabilisers.
We investigate unitarisability of groups by looking at actions on the cone of positive invertible operators of a Hilbert space. This way, we give a geometric prove to a result by Gilles Pisier on the existence of some universal constants for unitarisable groups. By constructing barycenters for finite sets in a some class of geodesic metric spaces, we prove a fixed point theorem for actions of amenable groups by isometries. In particular, we show that extensions of unitarisable groups by amenable groups are unitarisable and virtual unitarisability implies unitarisability and estimate the corres…
We consider groups of automorphisms of locally finite trees, and give conditions on its subgroups that imply that they are not elementary amenable. This covers all known examples of groups that are not elementary amenable and act on the trees: groups of intermediate growths and Basilica group, by giving a more straightforward proof. Moreover, we deduce that all finitely generated branch groups are not elementary amenable, which was conjectured by Grigorchuk.
We prove a new weak mean ergodic theorem (Theorem A) for 1-cocycles associated to weakly mixing representations of amenable groups. Let $G$ be a finitely generated, discrete, amenable group $G$ which admits a controlled Folner sequence. We use Theorem A to deduce that any affine action $G\ca^T \Cal H$ on Hilbert space with weakly mixing linear part admits a sequence of almost fixed points (Theorem B). Specializing to the case that $G$ is a finitely generated group of polynomial growth, we show that convex combinations of averages of the associated 1-cocycle over $n$-balls provide a sequence of…
There are several natural families of groups acting on rooted trees for which every member is known to be amenable. It is, however, unclear what the elementary amenable members of these families look like. Towards clarifying this situation, we here study elementary amenable bounded automata groups. We are able to isolate the elementary amenable bounded automata groups in three natural subclasses of bounded automata groups. In particular, we show that iterated monodromy groups of post-critically finite polynomials are either virtually abelian or not elementary amenable.
We show that any stationary symmteric $α$-stable ($SαS$) random field indexed by a countable amenable group $G$ is weakly mixing if and only if it is generated by a null action, extending works of Samorodnitsky and Wang-Roy-Stoev for abelian groups to all amenable groups. This enables us to improve significantly the domain of a recently discovered connection to von Neumann algebras. We also establish ergodicity of stationary $SαS$ fields associated with boundary and double boundary actions of a hyperbolic group $G$, where the boundary is equipped with either the Patterson-Sullivan or the hitti…
We show that topological amenability of an action of a countable discrete group on a compact space is equivalent to the existence of an invariant mean for the action. We prove also that this is equivalent to vanishing of bounded cohomology for a class of Banach G-modules associated to the action, as well as to vanishing of a specific cohomology class. In the case when the compact space is a point our result reduces to a classic theorem of B.E. Johnson characterising amenability of groups. In the case when the compact space is the Stone-Čech compactification of the group we obtain a cohomologic…
We prove that 3-symmetric spaces of simple linear real Lie groups do not admit amenable compact Clifford-Klein forms. Our basic tool are totally non cohomologous to zero fibrations.
A topological group $G$ is extremely amenable if every continuous action of $G$ on a compact space has a fixed point. Using the concentration of measure techniques developed by Gromov and Milman, we prove that the group of automorphisms of a Lebesgue space with a non-atomic measure is extremely amenable with the weak topology but not with the uniform one. Strengthening a de la Harpe's result, we show that a von Neumann algebra is approximately finite-dimensional if and only if its unitary group with the strong topology is the product of an extremely amenable group with a compact group.
Let $X$ be a locally compact Hadamard space and $G$ be a totally disconnected group acting continuously, properly and cocompactly on $X$. We show that a closed subgroup of $G$ is amenable if and only if it is (topologically locally finite)-by-(virtually abelian). We are led to consider a set $\bdfine X$ which is a refinement of the visual boundary $\bd X$. For each $x \in \bdfine X$, the stabilizer $G_x$ is amenable.
We prove that for any infinite, maximal amenable subgroup $H$ in a hyperbolic group $G$, the von Neumann subalgebra $LH$ is maximal amenable inside $LG$. It provides many new, explicit examples of maximal amenable subalgebras in II$_1$ factors. We also prove similar maximal amenability results for direct products of relatively hyperbolic groups and orbit equivalence relations arising from measure-preserving actions of such groups.
We show that amenability of a group acting by homeomorphisms can be deduced from a certain local property of the action and recurrency of the orbital Schreier graphs. This covers amenability of a wide class groups, the amenability of which was an open problem, as well as unifies many known examples to one general proof. In particular, this includes Grigorchuk's group, Basilica group, the full topological group of Cantor minimal system, groups acting on rooted trees by bounded automorphisms, groups generated by finite automata of linear activity growth, groups that naturally appear in holomorph…
The subgroup structure of Thompson's group F is not yet fully understood. The group F is a subgroup of the group PL(I) of orientation preserving, piecewise linear self homeomorphisms of the unit interval and this larger group thus also has a poorly understood subgroup structure. It is reasonable to guess that F is the "only" subgroup of PL(I) that is not elementary amenable. In this paper, we explore the complexity of the elementary amenable subgroups of F in an attempt to understand the boundary between the elementary amenable subgroups and the non-elementary amenable. We construct an example…
We study growth of 1-cocycles of locally compact groups, with values in unitary representations. Discussing the existence of 1-cocycles with linear growth, we obtain the following alternative for a class of amenable groups G containing polycyclic groups and connected amenable Lie groups: either G has no quasi-isometric embedding into Hilbert space, or G admits a proper cocompact action on some Euclidean space. On the other hand, noting that almost coboundaries (i.e. 1-cocycles approximable by bounded 1-cocycles) have sublinear growth, we discuss the converse, which turns out to hold for amenab…
