Infinitely presented permutation stable groups and invariant random subgroups of metabelian groups

We prove that all invariant random subgroups of the lamplighter group L are co-sofic. It follows that L is permutation stable, providing an example of an infinitely presented such group. Our proof applies more generally to all permutational wreath products of finitely generated abelian groups. We rely on the pointwise ergodic theorem for amenable groups.

Furstenberg entropy of intersectional invariant random subgroups

We study the Furstenberg-entropy realization problem for stationary actions. It is shown that for finitely supported probability measures on free groups, any a priori possible entropy value can be realized as the entropy of an ergodic stationary action. This generalizes results of Bowen. The stationary actions we construct arise via invariant random subgroups (IRSs), based on ideas of Bowen and Kaimanovich. We provide a general framework for constructing a continuum of ergodic IRSs for a discrete group under some algebraic conditions, which gives a continuum of entropy values. Our tools apply, for example, for certain extensions of the group of finitely supported permutations and lamplighter groups, hence establishing full realization results for these groups. For the free group, we construct the IRSs via a geometric construction of subgroups, by describing their Schreier graphs. The analysis of the entropy of these spaces is obtained by studying the random walk on the appropriate Schreier graphs.