Search

A long standing open problem in the theory of hyperfinite equivalence relations asks if the orbit equivalence relation generated by a Borel action of a countable amenable group is hyperfinite. In this paper we prove that this question always has a positive answer when the acting group is polycyclic, and we obtain a positive answer for all free actions of a large class of groups including the lamplighter group and all virtually solvable groups having finite Pr\"ufer rank. This marks the first time that a group of exponential volume-growth has been verified to have this property. In obtaining this result we introduce a new tool for studying Borel equivalence relations by extending Gromov's notion of asymptotic dimension to the Borel setting. We show that countable Borel equivalence relations of finite Borel asymptotic dimension are hyperfinite, and more generally we prove under a mild compatibility assumption that increasing unions of such equivalence relations are hyperfinite. As part of our main theorem, we prove for a large class of solvable groups that all of their free Borel actions have finite Borel asymptotic dimension (and finite dynamic asymptotic dimension in the case of a continuous action on a zero-dimensional space). We also provide applications to Borel chromatic numbers, Borel and continuous Folner tilings, topological dynamics, and $C^*$-algebras., Comment: Corrected a typo in the proof of Theorem 4.8

We show that the class $\mathscr{B}$, of discrete groups which satisfy the conclusion of Popa's Cocycle Superrigidity Theorem for Bernoulli actions, is invariant under measure equivalence. We generalize this to the setting of discrete p.m.p. groupoids, and as a consequence we deduce that any nonamenable lattice in a product of two noncompact, locally compact second countable groups, must belong to $\mathscr{B}$. We also introduce a measure-conjugacy invariant called Weak Pinsker entropy and show that, if G is a group in the class $\mathscr{B}$, then Weak Pinsker entropy is an orbit-equivalence invariant of every essentially free p.m.p. action of G., Comment: This new version adds more context in the introduction and fixes minor typos

The goal of this note is to announce certain results in orbit equivalence theory, especially concerning the approximation of p.m.p. standard equivalence relations by increasing sequence of sub-relations, with applications to the behavior of the Bernoulli percolation on graphs at the threshold pu. R\'esum\'e en Fran\c{c}ais. Approximations de relations d'\'equivalence standards et percolation de Bernoulli \`a p\_u.

We show that for any infinite countable group $G$ and for any free Borel action $G \curvearrowright X$ there exists an equivariant class-bijective Borel map from $X$ to the free part $\mathrm{Free}(2^G)$ of the $2$-shift $G \curvearrowright 2^G$. This implies that any Borel structurability which holds for the equivalence relation generated by $G \curvearrowright \mathrm{Free}(2^G)$ must hold a fortiori for all equivalence relations coming from free Borel actions of $G$. A related consequence is that the Borel chromatic number of $\mathrm{Free}(2^G)$ is the maximum among Borel chromatic numbers of free actions of $G$. This answers a question of Marks. Our construction is flexible and, using an appropriate notion of genericity, we are able to show that in fact the generic $G$-equivariant map to $2^G$ lands in the free part. As a corollary we obtain that for every $\epsilon > 0$, every free pmp action of $G$ has a free factor which admits a $2$-piece generating partition with Shannon entropy less than $\epsilon$. This generalizes a result of Danilenko and Park.